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/978532fa-c730-11df-b070-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//978532fa-c730-11df-b070-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/978532fa-c730-11df-b070-00163e3d3b7c.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.15 1.11 1.09 3/35 29245
/proc/meminfo: memFree=373832/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=188 CPUtime=0
/proc/29245/stat : 29245 (java) D 29244 29244 1511 34817 1511 4194304 94 0 0 0 0 0 0 0 18 0 1 0 4950692 192512 34 1283457024 134512640 134550932 4294101248 18446744073709551615 4159896404 0 0 0 0 18446744071564252162 0 0 17 0 0 0 0
/proc/29245/statm: 47 34 26 10 0 7 0

[startup+0.157454 s]
/proc/loadavg: 1.15 1.11 1.09 3/35 29245
/proc/meminfo: memFree=373832/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=409928 CPUtime=0.12
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 3910 0 1 0 12 0 0 0 25 0 9 0 4950692 419766272 3338 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102482 3338 1925 10 0 96630 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412500

[startup+0.207456 s]
/proc/loadavg: 1.15 1.11 1.09 3/35 29245
/proc/meminfo: memFree=373832/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=409928 CPUtime=0.16
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 4022 0 1 0 16 0 0 0 25 0 9 0 4950692 419766272 3450 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102482 3450 1925 10 0 96630 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412500

[startup+0.307473 s]
/proc/loadavg: 1.15 1.11 1.09 3/35 29245
/proc/meminfo: memFree=373832/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=409928 CPUtime=0.26
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 4250 0 1 0 26 0 0 0 25 0 9 0 4950692 419766272 3678 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102482 3678 1925 10 0 96630 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 412500

[startup+0.707571 s]
/proc/loadavg: 1.15 1.11 1.09 3/35 29245
/proc/meminfo: memFree=373832/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=410748 CPUtime=0.66
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 11450 0 1 0 65 1 0 0 25 0 9 0 4950692 420605952 10691 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102687 10691 2901 10 0 96835 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 413320

[startup+1.50777 s]
/proc/loadavg: 1.15 1.11 1.09 3/44 29254
/proc/meminfo: memFree=314600/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=410748 CPUtime=1.46
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 24921 0 1 0 141 5 0 0 25 0 9 0 4950692 420605952 24162 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102687 24162 2901 10 0 96835 0
[pid=29245/tid=29247] ppid=29244 vsize=410748 CPUtime=0.82
/proc/29245/task/29247/stat : 29247 (java) R 29244 29244 1511 34817 1511 4202560 6787 0 1 0 80 2 0 0 25 0 9 0 4950695 420605952 24162 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=410748 CPUtime=0.6
/proc/29245/task/29248/stat : 29248 (java) R 29244 29244 1511 34817 1511 4202560 16747 0 0 0 58 2 0 0 18 0 9 0 4950696 420605952 24162 1283457024 134512640 134550932 4294752480 18446744073709551615 4151260080 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=410748 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4950696 420605952 24162 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=410748 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4950696 420605952 24162 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=410748 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4950698 420605952 24162 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=410748 CPUtime=0.02
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 448 0 0 0 2 0 0 0 19 0 9 0 4950698 420605952 24162 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=410748 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4950698 420605952 24162 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=410748 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4950698 420605952 24162 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 413320

[startup+3.10824 s]
/proc/loadavg: 1.14 1.11 1.09 2/44 29254
/proc/meminfo: memFree=240448/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=410880 CPUtime=3.06
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 47151 0 1 0 295 11 0 0 25 0 9 0 4950692 420741120 46392 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102720 46392 2901 10 0 96868 0
[pid=29245/tid=29247] ppid=29244 vsize=410880 CPUtime=1.45
/proc/29245/task/29247/stat : 29247 (java) R 29244 29244 1511 34817 1511 4202560 12559 0 1 0 140 5 0 0 25 0 9 0 4950695 420741120 46392 1283457024 134512640 134550932 4294752480 18446744073709551615 4115138191 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=410880 CPUtime=1.56
/proc/29245/task/29248/stat : 29248 (java) S 29244 29244 1511 34817 1511 4202560 33202 0 0 0 151 5 0 0 16 0 9 0 4950696 420741120 46392 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=410880 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4950696 420741120 46392 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=410880 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4950696 420741120 46392 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=410880 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4950698 420741120 46392 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=410880 CPUtime=0.02
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 451 0 0 0 2 0 0 0 15 0 9 0 4950698 420741120 46392 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=410880 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4950698 420741120 46392 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=410880 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) R 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4950698 420741120 46392 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 413452

[startup+6.3024 s]
/proc/loadavg: 1.14 1.11 1.09 3/44 29254
/proc/meminfo: memFree=110124/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=411216 CPUtime=6.23
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 71096 0 1 0 605 18 0 0 25 0 10 0 4950692 421085184 70243 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102804 70243 2917 10 0 96949 0
[pid=29245/tid=29247] ppid=29244 vsize=411216 CPUtime=2.86
/proc/29245/task/29247/stat : 29247 (java) R 29244 29244 1511 34817 1511 4202560 14491 0 1 0 278 8 0 0 25 0 10 0 4950695 421085184 70243 1283457024 134512640 134550932 4294752480 18446744073709551615 4115573220 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=411216 CPUtime=3.26
/proc/29245/task/29248/stat : 29248 (java) S 29244 29244 1511 34817 1511 4202560 55135 0 0 0 316 10 0 0 16 0 10 0 4950696 421085184 70243 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70243 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70243 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70243 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=411216 CPUtime=0.09
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 526 0 0 0 9 0 0 0 15 0 10 0 4950698 421085184 70243 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70243 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4950698 421085184 70243 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 413788

[startup+12.7044 s]
/proc/loadavg: 1.12 1.11 1.09 2/45 29255
/proc/meminfo: memFree=102560/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=411216 CPUtime=12.63
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 71348 0 1 0 1245 18 0 0 25 0 10 0 4950692 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102804 70495 2918 10 0 96949 0
[pid=29245/tid=29247] ppid=29244 vsize=411216 CPUtime=8.74
/proc/29245/task/29247/stat : 29247 (java) R 29244 29244 1511 34817 1511 4202560 14597 0 1 0 866 8 0 0 25 0 10 0 4950695 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4115564340 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=411216 CPUtime=3.75
/proc/29245/task/29248/stat : 29248 (java) S 29244 29244 1511 34817 1511 4202560 55247 0 0 0 365 10 0 0 15 0 10 0 4950696 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=411216 CPUtime=0.12
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 560 0 0 0 12 0 0 0 15 0 10 0 4950698 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4950698 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29255] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29255/stat : 29255 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4951282 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 413788

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

[startup+12.8044 s]
/proc/loadavg: 1.12 1.11 1.09 2/45 29255
/proc/meminfo: memFree=102560/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=411216 CPUtime=12.73
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 71348 0 1 0 1255 18 0 0 25 0 10 0 4950692 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102804 70495 2918 10 0 96949 0
[pid=29245/tid=29247] ppid=29244 vsize=411216 CPUtime=8.84
/proc/29245/task/29247/stat : 29247 (java) R 29244 29244 1511 34817 1511 4202560 14597 0 1 0 876 8 0 0 25 0 10 0 4950695 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4115504839 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=411216 CPUtime=3.75
/proc/29245/task/29248/stat : 29248 (java) S 29244 29244 1511 34817 1511 4202560 55247 0 0 0 365 10 0 0 15 0 10 0 4950696 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=411216 CPUtime=0.12
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 560 0 0 0 12 0 0 0 15 0 10 0 4950698 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4950698 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29255] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29255/stat : 29255 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4951282 421085184 70495 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 413788

[startup+16.0052 s]
/proc/loadavg: 1.12 1.11 1.09 2/45 29255
/proc/meminfo: memFree=102560/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=411216 CPUtime=15.93
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 71354 0 1 0 1575 18 0 0 25 0 10 0 4950692 421085184 70501 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102804 70501 2920 10 0 96949 0
[pid=29245/tid=29247] ppid=29244 vsize=411216 CPUtime=11.94
/proc/29245/task/29247/stat : 29247 (java) R 29244 29244 1511 34817 1511 4202560 14597 0 1 0 1186 8 0 0 25 0 10 0 4950695 421085184 70501 1283457024 134512640 134550932 4294752480 18446744073709551615 4115564372 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=411216 CPUtime=3.85
/proc/29245/task/29248/stat : 29248 (java) S 29244 29244 1511 34817 1511 4202560 55249 0 0 0 375 10 0 0 16 0 10 0 4950696 421085184 70501 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70501 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70501 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70501 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=411216 CPUtime=0.12
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 564 0 0 0 12 0 0 0 15 0 10 0 4950698 421085184 70501 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70501 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4950698 421085184 70501 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29255] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29255/stat : 29255 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4951282 421085184 70501 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.93
Current children cumulated vsize (KiB) 413788

[startup+17.6055 s]
/proc/loadavg: 1.11 1.11 1.09 2/45 29255
/proc/meminfo: memFree=102560/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=411216 CPUtime=17.53
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 71356 0 1 0 1735 18 0 0 25 0 10 0 4950692 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102804 70503 2920 10 0 96949 0
[pid=29245/tid=29247] ppid=29244 vsize=411216 CPUtime=13.54
/proc/29245/task/29247/stat : 29247 (java) R 29244 29244 1511 34817 1511 4202560 14597 0 1 0 1346 8 0 0 25 0 10 0 4950695 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4115573021 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=411216 CPUtime=3.85
/proc/29245/task/29248/stat : 29248 (java) S 29244 29244 1511 34817 1511 4202560 55249 0 0 0 375 10 0 0 15 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=411216 CPUtime=0.12
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 566 0 0 0 12 0 0 0 15 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29255] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29255/stat : 29255 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4951282 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.53
Current children cumulated vsize (KiB) 413788

[startup+18.4057 s]
/proc/loadavg: 1.11 1.11 1.09 2/45 29255
/proc/meminfo: memFree=102560/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=411216 CPUtime=18.33
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 71356 0 1 0 1813 20 0 0 25 0 10 0 4950692 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102804 70503 2920 10 0 96949 0
[pid=29245/tid=29247] ppid=29244 vsize=411216 CPUtime=14.3
/proc/29245/task/29247/stat : 29247 (java) R 29244 29244 1511 34817 1511 4202560 14597 0 1 0 1421 9 0 0 25 0 10 0 4950695 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4115524432 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=411216 CPUtime=3.88
/proc/29245/task/29248/stat : 29248 (java) S 29244 29244 1511 34817 1511 4202560 55249 0 0 0 378 10 0 0 16 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=411216 CPUtime=0.12
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 566 0 0 0 12 0 0 0 15 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29255] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29255/stat : 29255 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4951282 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.33
Current children cumulated vsize (KiB) 413788

[startup+19.2059 s]
/proc/loadavg: 1.11 1.11 1.09 2/45 29255
/proc/meminfo: memFree=102560/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=411216 CPUtime=19.13
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 71356 0 1 0 1893 20 0 0 25 0 10 0 4950692 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102804 70503 2920 10 0 96949 0
[pid=29245/tid=29247] ppid=29244 vsize=411216 CPUtime=15.1
/proc/29245/task/29247/stat : 29247 (java) R 29244 29244 1511 34817 1511 4202560 14597 0 1 0 1501 9 0 0 25 0 10 0 4950695 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4115701620 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=411216 CPUtime=3.88
/proc/29245/task/29248/stat : 29248 (java) S 29244 29244 1511 34817 1511 4202560 55249 0 0 0 378 10 0 0 15 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=411216 CPUtime=0.12
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 566 0 0 0 12 0 0 0 15 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29255] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29255/stat : 29255 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4951282 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.13
Current children cumulated vsize (KiB) 413788

[startup+19.606 s]
/proc/loadavg: 1.11 1.11 1.09 2/45 29255
/proc/meminfo: memFree=102560/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=411216 CPUtime=19.53
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 71356 0 1 0 1933 20 0 0 25 0 10 0 4950692 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102804 70503 2920 10 0 96949 0
[pid=29245/tid=29247] ppid=29244 vsize=411216 CPUtime=15.5
/proc/29245/task/29247/stat : 29247 (java) R 29244 29244 1511 34817 1511 4202560 14597 0 1 0 1541 9 0 0 25 0 10 0 4950695 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4115573297 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=411216 CPUtime=3.88
/proc/29245/task/29248/stat : 29248 (java) S 29244 29244 1511 34817 1511 4202560 55249 0 0 0 378 10 0 0 15 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4950696 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=411216 CPUtime=0.12
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 566 0 0 0 12 0 0 0 15 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4950698 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29255] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29255/stat : 29255 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4951282 421085184 70503 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.53
Current children cumulated vsize (KiB) 413788

[startup+19.7027 s]
/proc/loadavg: 1.11 1.11 1.09 2/45 29255
/proc/meminfo: memFree=102560/1048576 swapFree=0/0
[pid=29244] ppid=29243 vsize=2572 CPUtime=0
/proc/29244/stat : 29244 (gj-trendy-solve) S 29243 29244 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4950692 2633728 270 1283457024 134512640 135304128 4291405440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29244/statm: 643 270 229 194 0 30 0
[pid=29245] ppid=29244 vsize=411216 CPUtime=19.59
/proc/29245/stat : 29245 (java) S 29244 29244 1511 34817 1511 4202496 71364 0 1 0 1938 21 0 0 25 0 9 0 4950692 421085184 70511 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29245/statm: 102804 70511 2921 10 0 96949 0
[pid=29245/tid=29247] ppid=29244 vsize=411216 CPUtime=15.55
/proc/29245/task/29247/stat : 29247 (java) S 29244 29244 1511 34817 1511 4202560 14597 0 1 0 1546 9 0 0 25 0 9 0 4950695 421085184 70511 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29248] ppid=29244 vsize=411216 CPUtime=3.88
/proc/29245/task/29248/stat : 29248 (java) S 29244 29244 1511 34817 1511 4202560 55249 0 0 0 378 10 0 0 15 0 9 0 4950696 421085184 70511 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 0 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29249] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29249/stat : 29249 (java) S 29244 29244 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4950696 421085184 70511 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29250] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29250/stat : 29250 (java) S 29244 29244 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4950696 421085184 70511 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29251] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29251/stat : 29251 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4950698 421085184 70511 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29252] ppid=29244 vsize=411216 CPUtime=0.13
/proc/29245/task/29252/stat : 29252 (java) S 29244 29244 1511 34817 1511 4202560 573 0 0 0 13 0 0 0 16 0 9 0 4950698 421085184 70511 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29253] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29253/stat : 29253 (java) S 29244 29244 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4950698 421085184 70511 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
[pid=29245/tid=29254] ppid=29244 vsize=411216 CPUtime=0
/proc/29245/task/29254/stat : 29254 (java) S 29244 29244 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4950698 421085184 70511 1283457024 134512640 134550932 4294752480 18446744073709551615 4294960130 0 4 0 16800975 18446612132479880128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.59
Current children cumulated vsize (KiB) 413788

Child status: 0
Real time (s): 19.7344
CPU time (s): 19.6172
CPU user time (s): 19.3892
CPU system time (s): 0.228014
CPU usage (%): 99.4062
Max. virtual memory (cumulated for all children) (KiB): 413788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.3892
system time used= 0.228014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71752
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= 1138
involuntary context switches= 1416

runsolver used 0 second user time and 0 second system time

The end