runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/80cfe9a6-9b1b-11df-965e-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//80cfe9a6-9b1b-11df-965e-00163e46d37a.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/80cfe9a6-9b1b-11df-965e-00163e46d37a.cudf.dudf-real.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.29 1.21 1.12 4/36 27883
/proc/meminfo: memFree=280180/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=11040 CPUtime=0.01
/proc/27883/stat : 27883 (java) R 27882 27882 1511 34817 1511 4202496 696 0 0 0 0 1 0 0 25 0 1 0 4860873 11304960 432 1283457024 134512640 134550932 4287261104 18446744073709551615 4160419554 0 0 0 0 0 0 0 17 0 0 0 0
/proc/27883/statm: 2760 432 180 10 0 1102 0

[startup+0.205519 s]
/proc/loadavg: 1.29 1.21 1.12 4/36 27883
/proc/meminfo: memFree=280180/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=409796 CPUtime=0.21
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 4081 0 1 0 18 3 0 0 25 0 9 0 4860873 419631104 3508 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102449 3508 1922 10 0 96597 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412368

[startup+0.305543 s]
/proc/loadavg: 1.29 1.21 1.12 4/36 27883
/proc/meminfo: memFree=280180/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=410380 CPUtime=0.31
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 4422 0 1 0 28 3 0 0 25 0 9 0 4860873 420229120 3849 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102595 3849 1944 10 0 96743 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412952

[startup+0.405616 s]
/proc/loadavg: 1.29 1.21 1.12 4/36 27883
/proc/meminfo: memFree=280180/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=410380 CPUtime=0.41
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 6183 0 1 0 36 5 0 0 25 0 9 0 4860873 420229120 5609 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102595 5609 1956 10 0 96743 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 412952

[startup+0.705738 s]
/proc/loadavg: 1.29 1.21 1.12 4/36 27883
/proc/meminfo: memFree=280180/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=410652 CPUtime=0.7
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 12193 0 1 0 64 6 0 0 25 0 9 0 4860873 420507648 11433 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102663 11433 2901 10 0 96811 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413224

[startup+1.50603 s]
/proc/loadavg: 1.29 1.21 1.12 2/45 27892
/proc/meminfo: memFree=221320/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=410784 CPUtime=1.5
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 26389 0 1 0 138 12 0 0 25 0 9 0 4860873 420642816 25629 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102696 25629 2901 10 0 96844 0
[pid=27883/tid=27885] ppid=27882 vsize=410784 CPUtime=0.85
/proc/27883/task/27885/stat : 27885 (java) R 27882 27882 1511 34817 1511 4202560 6834 0 1 0 81 4 0 0 25 0 9 0 4860874 420642816 25629 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27883/tid=27886] ppid=27882 vsize=410784 CPUtime=0.6
/proc/27883/task/27886/stat : 27886 (java) R 27882 27882 1511 34817 1511 4202560 18168 0 0 0 54 6 0 0 18 0 9 0 4860874 420642816 25629 1283457024 134512640 134550932 4287261104 18446744073709551615 4151595936 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27883/tid=27887] ppid=27882 vsize=410784 CPUtime=0
/proc/27883/task/27887/stat : 27887 (java) S 27882 27882 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4860874 420642816 25629 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27888] ppid=27882 vsize=410784 CPUtime=0
/proc/27883/task/27888/stat : 27888 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4860874 420642816 25629 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27889] ppid=27882 vsize=410784 CPUtime=0
/proc/27883/task/27889/stat : 27889 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4860876 420642816 25629 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27890] ppid=27882 vsize=410784 CPUtime=0.02
/proc/27883/task/27890/stat : 27890 (java) S 27882 27882 1511 34817 1511 4202560 446 0 0 0 2 0 0 0 18 0 9 0 4860876 420642816 25629 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27891] ppid=27882 vsize=410784 CPUtime=0
/proc/27883/task/27891/stat : 27891 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4860876 420642816 25629 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27892] ppid=27882 vsize=410784 CPUtime=0
/proc/27883/task/27892/stat : 27892 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4860876 420642816 25629 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413356

[startup+3.12648 s]
/proc/loadavg: 1.29 1.21 1.12 4/45 27892
/proc/meminfo: memFree=142084/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=410916 CPUtime=3.13
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 49341 0 1 0 297 16 0 0 25 0 9 0 4860873 420777984 48575 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102729 48575 2902 10 0 96877 0
[pid=27883/tid=27885] ppid=27882 vsize=410916 CPUtime=1.51
/proc/27883/task/27885/stat : 27885 (java) R 27882 27882 1511 34817 1511 4202560 14291 0 1 0 146 5 0 0 25 0 9 0 4860874 420777984 48575 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27883/tid=27886] ppid=27882 vsize=410916 CPUtime=1.56
/proc/27883/task/27886/stat : 27886 (java) R 27882 27882 1511 34817 1511 4202560 33641 0 0 0 147 9 0 0 15 0 9 0 4860874 420777984 48575 1283457024 134512640 134550932 4287261104 18446744073709551615 4152992000 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27883/tid=27887] ppid=27882 vsize=410916 CPUtime=0
/proc/27883/task/27887/stat : 27887 (java) S 27882 27882 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4860874 420777984 48575 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27888] ppid=27882 vsize=410916 CPUtime=0
/proc/27883/task/27888/stat : 27888 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4860874 420777984 48575 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27889] ppid=27882 vsize=410916 CPUtime=0
/proc/27883/task/27889/stat : 27889 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4860876 420777984 48575 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27890] ppid=27882 vsize=410916 CPUtime=0.02
/proc/27883/task/27890/stat : 27890 (java) S 27882 27882 1511 34817 1511 4202560 468 0 0 0 2 0 0 0 15 0 9 0 4860876 420777984 48575 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27891] ppid=27882 vsize=410916 CPUtime=0
/proc/27883/task/27891/stat : 27891 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4860876 420777984 48575 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27892] ppid=27882 vsize=410916 CPUtime=0
/proc/27883/task/27892/stat : 27892 (java) R 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4860876 420777984 48575 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 413488

[startup+6.30774 s]
/proc/loadavg: 1.27 1.20 1.12 2/46 27894
/proc/meminfo: memFree=43868/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=411252 CPUtime=6.31
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 62896 0 1 0 608 23 0 0 25 0 10 0 4860873 421122048 62051 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102813 62051 2926 10 0 96958 0
[pid=27883/tid=27885] ppid=27882 vsize=411252 CPUtime=4.31
/proc/27883/task/27885/stat : 27885 (java) R 27882 27882 1511 34817 1511 4202560 14545 0 1 0 426 5 0 0 25 0 10 0 4860874 421122048 62051 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27883/tid=27886] ppid=27882 vsize=411252 CPUtime=1.87
/proc/27883/task/27886/stat : 27886 (java) S 27882 27882 1511 34817 1511 4202560 46864 0 0 0 171 16 0 0 16 0 10 0 4860874 421122048 62051 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27887] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27887/stat : 27887 (java) S 27882 27882 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4860874 421122048 62051 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27888] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27888/stat : 27888 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4860874 421122048 62051 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27889] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27889/stat : 27889 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4860876 421122048 62051 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27890] ppid=27882 vsize=411252 CPUtime=0.1
/proc/27883/task/27890/stat : 27890 (java) S 27882 27882 1511 34817 1511 4202560 541 0 0 0 10 0 0 0 15 0 10 0 4860876 421122048 62051 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27891] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27891/stat : 27891 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4860876 421122048 62051 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27892] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27892/stat : 27892 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4860876 421122048 62051 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27893] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27893/stat : 27893 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4861254 421122048 62051 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 413824

Solver just ended. Dumping a history of the last processes samples

[startup+6.50767 s]
/proc/loadavg: 1.27 1.20 1.12 2/46 27894
/proc/meminfo: memFree=43868/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=411252 CPUtime=6.51
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 62899 0 1 0 628 23 0 0 25 0 10 0 4860873 421122048 62054 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102813 62054 2926 10 0 96958 0
[pid=27883/tid=27885] ppid=27882 vsize=411252 CPUtime=4.51
/proc/27883/task/27885/stat : 27885 (java) R 27882 27882 1511 34817 1511 4202560 14545 0 1 0 446 5 0 0 25 0 10 0 4860874 421122048 62054 1283457024 134512640 134550932 4287261104 18446744073709551615 4115881792 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27883/tid=27886] ppid=27882 vsize=411252 CPUtime=1.87
/proc/27883/task/27886/stat : 27886 (java) S 27882 27882 1511 34817 1511 4202560 46864 0 0 0 171 16 0 0 16 0 10 0 4860874 421122048 62054 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27887] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27887/stat : 27887 (java) S 27882 27882 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4860874 421122048 62054 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27888] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27888/stat : 27888 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4860874 421122048 62054 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27889] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27889/stat : 27889 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4860876 421122048 62054 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27890] ppid=27882 vsize=411252 CPUtime=0.1
/proc/27883/task/27890/stat : 27890 (java) S 27882 27882 1511 34817 1511 4202560 544 0 0 0 10 0 0 0 15 0 10 0 4860876 421122048 62054 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27891] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27891/stat : 27891 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4860876 421122048 62054 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27892] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27892/stat : 27892 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4860876 421122048 62054 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27893] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27893/stat : 27893 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4861254 421122048 62054 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 413824

[startup+8.10829 s]
/proc/loadavg: 1.27 1.20 1.12 2/46 27894
/proc/meminfo: memFree=37668/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=411252 CPUtime=8.11
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 64430 0 1 0 788 23 0 0 25 0 10 0 4860873 421122048 63585 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102813 63585 2926 10 0 96958 0
[pid=27883/tid=27885] ppid=27882 vsize=411252 CPUtime=6.05
/proc/27883/task/27885/stat : 27885 (java) R 27882 27882 1511 34817 1511 4202560 14545 0 1 0 600 5 0 0 25 0 10 0 4860874 421122048 63585 1283457024 134512640 134550932 4287261104 18446744073709551615 4115975177 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27883/tid=27886] ppid=27882 vsize=411252 CPUtime=1.93
/proc/27883/task/27886/stat : 27886 (java) S 27882 27882 1511 34817 1511 4202560 48393 0 0 0 177 16 0 0 16 0 10 0 4860874 421122048 63585 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27887] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27887/stat : 27887 (java) S 27882 27882 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4860874 421122048 63585 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27888] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27888/stat : 27888 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4860874 421122048 63585 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27889] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27889/stat : 27889 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4860876 421122048 63585 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27890] ppid=27882 vsize=411252 CPUtime=0.1
/proc/27883/task/27890/stat : 27890 (java) S 27882 27882 1511 34817 1511 4202560 546 0 0 0 10 0 0 0 15 0 10 0 4860876 421122048 63585 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27891] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27891/stat : 27891 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4860876 421122048 63585 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27892] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27892/stat : 27892 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4860876 421122048 63585 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27893] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27893/stat : 27893 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4861254 421122048 63585 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 413824

[startup+8.90857 s]
/proc/loadavg: 1.27 1.20 1.12 2/46 27894
/proc/meminfo: memFree=29864/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=411252 CPUtime=8.9
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 66372 0 1 0 866 24 0 0 25 0 10 0 4860873 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102813 65527 2926 10 0 96958 0
[pid=27883/tid=27885] ppid=27882 vsize=411252 CPUtime=6.8
/proc/27883/task/27885/stat : 27885 (java) R 27882 27882 1511 34817 1511 4202560 14545 0 1 0 675 5 0 0 25 0 10 0 4860874 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4115919967 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27883/tid=27886] ppid=27882 vsize=411252 CPUtime=1.98
/proc/27883/task/27886/stat : 27886 (java) S 27882 27882 1511 34817 1511 4202560 50333 0 0 0 180 18 0 0 16 0 10 0 4860874 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27887] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27887/stat : 27887 (java) S 27882 27882 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4860874 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27888] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27888/stat : 27888 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4860874 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27889] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27889/stat : 27889 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4860876 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27890] ppid=27882 vsize=411252 CPUtime=0.1
/proc/27883/task/27890/stat : 27890 (java) S 27882 27882 1511 34817 1511 4202560 548 0 0 0 10 0 0 0 15 0 10 0 4860876 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27891] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27891/stat : 27891 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4860876 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27892] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27892/stat : 27892 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4860876 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27893] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27893/stat : 27893 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4861254 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.9
Current children cumulated vsize (KiB) 413824

[startup+9.10861 s]
/proc/loadavg: 1.27 1.20 1.12 2/46 27894
/proc/meminfo: memFree=29864/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=411252 CPUtime=9.1
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 66372 0 1 0 886 24 0 0 25 0 10 0 4860873 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102813 65527 2926 10 0 96958 0
[pid=27883/tid=27885] ppid=27882 vsize=411252 CPUtime=7
/proc/27883/task/27885/stat : 27885 (java) R 27882 27882 1511 34817 1511 4202560 14545 0 1 0 695 5 0 0 25 0 10 0 4860874 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4115904394 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27883/tid=27886] ppid=27882 vsize=411252 CPUtime=1.98
/proc/27883/task/27886/stat : 27886 (java) S 27882 27882 1511 34817 1511 4202560 50333 0 0 0 180 18 0 0 16 0 10 0 4860874 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27887] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27887/stat : 27887 (java) S 27882 27882 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4860874 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27888] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27888/stat : 27888 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4860874 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27889] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27889/stat : 27889 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4860876 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27890] ppid=27882 vsize=411252 CPUtime=0.1
/proc/27883/task/27890/stat : 27890 (java) S 27882 27882 1511 34817 1511 4202560 548 0 0 0 10 0 0 0 15 0 10 0 4860876 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27891] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27891/stat : 27891 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4860876 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27892] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27892/stat : 27892 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4860876 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27893] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27893/stat : 27893 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4861254 421122048 65527 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.1
Current children cumulated vsize (KiB) 413824

[startup+9.20865 s]
/proc/loadavg: 1.27 1.20 1.12 2/46 27894
/proc/meminfo: memFree=29864/1048576 swapFree=0/0
[pid=27882] ppid=27881 vsize=2572 CPUtime=0
/proc/27882/stat : 27882 (gj-trendy-solve) S 27881 27882 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4860873 2633728 270 1283457024 134512640 135304128 4289754352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27882/statm: 643 270 229 194 0 30 0
[pid=27883] ppid=27882 vsize=411252 CPUtime=9.2
/proc/27883/stat : 27883 (java) S 27882 27882 1511 34817 1511 4202496 66375 0 1 0 896 24 0 0 25 0 9 0 4860873 421122048 65530 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27883/statm: 102813 65530 2927 10 0 96958 0
[pid=27883/tid=27885] ppid=27882 vsize=411252 CPUtime=7.1
/proc/27883/task/27885/stat : 27885 (java) R 27882 27882 1511 34817 1511 4202560 14546 0 1 0 705 5 0 0 25 0 9 0 4860874 421122048 65530 1283457024 134512640 134550932 4287261104 18446744073709551615 4115500228 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27883/tid=27886] ppid=27882 vsize=411252 CPUtime=1.98
/proc/27883/task/27886/stat : 27886 (java) S 27882 27882 1511 34817 1511 4202560 50333 0 0 0 180 18 0 0 16 0 9 0 4860874 421122048 65530 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27887] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27887/stat : 27887 (java) S 27882 27882 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4860874 421122048 65530 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27888] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27888/stat : 27888 (java) S 27882 27882 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4860874 421122048 65530 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27889] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27889/stat : 27889 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4860876 421122048 65530 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27890] ppid=27882 vsize=411252 CPUtime=0.1
/proc/27883/task/27890/stat : 27890 (java) S 27882 27882 1511 34817 1511 4202560 549 0 0 0 10 0 0 0 15 0 9 0 4860876 421122048 65530 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27891] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27891/stat : 27891 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4860876 421122048 65530 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27883/tid=27892] ppid=27882 vsize=411252 CPUtime=0
/proc/27883/task/27892/stat : 27892 (java) S 27882 27882 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4860876 421122048 65530 1283457024 134512640 134550932 4287261104 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 413824

Child status: 0
Real time (s): 9.25163
CPU time (s): 9.21658
CPU user time (s): 8.96056
CPU system time (s): 0.256016
CPU usage (%): 99.6211
Max. virtual memory (cumulated for all children) (KiB): 413824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.96056
system time used= 0.256016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66763
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 904
involuntary context switches= 1087

runsolver used 0 second user time and 0 second system time

The end