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/rand917.cudf.s-e-l-s-s.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l-s-s//rand917.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand917.cudf.s-e-l-s-s.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.00 1.00 1.00 5/34 15217
/proc/meminfo: memFree=484924/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) R 15215 15216 1511 34817 1511 4202496 354 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 267 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/15216/statm: 641 267 228 194 0 28 0
[pid=15217] ppid=15216 vsize=2564 CPUtime=0
/proc/15217/stat : 15217 (gj-trendy-solve) R 15216 15216 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 39 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/15217/statm: 641 39 0 194 0 28 0

[startup+0.205679 s]
/proc/loadavg: 1.00 1.00 1.00 5/34 15217
/proc/meminfo: memFree=484924/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=410088 CPUtime=0.15
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 4050 0 1 0 12 3 0 0 25 0 9 0 3443540 419930112 3481 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 102522 3481 1918 10 0 96670 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 412652

[startup+0.305699 s]
/proc/loadavg: 1.00 1.00 1.00 5/34 15217
/proc/meminfo: memFree=484924/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=410088 CPUtime=0.25
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 4284 0 1 0 22 3 0 0 25 0 9 0 3443540 419930112 3715 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 102522 3715 1918 10 0 96670 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 412652

[startup+0.405739 s]
/proc/loadavg: 1.00 1.00 1.00 5/34 15217
/proc/meminfo: memFree=484924/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=410240 CPUtime=0.35
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 5807 0 1 0 32 3 0 0 25 0 9 0 3443540 420085760 5237 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 102560 5237 1938 10 0 96708 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 412804

[startup+0.705802 s]
/proc/loadavg: 1.00 1.00 1.00 5/34 15217
/proc/meminfo: memFree=484924/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=410712 CPUtime=0.65
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 11787 0 1 0 60 5 0 0 25 0 9 0 3443540 420569088 11033 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 102678 11033 2895 10 0 96826 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 413276

[startup+1.50596 s]
/proc/loadavg: 1.00 1.00 1.00 2/43 15226
/proc/meminfo: memFree=425212/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=410712 CPUtime=1.46
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 25530 0 1 0 138 8 0 0 25 0 9 0 3443540 420569088 24776 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 102678 24776 2896 10 0 96826 0
[pid=15217/tid=15219] ppid=15216 vsize=410712 CPUtime=0.76
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 6823 0 1 0 73 3 0 0 25 0 9 0 3443544 420569088 24776 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=410712 CPUtime=0.63
/proc/15217/task/15220/stat : 15220 (java) R 15216 15216 1511 34817 1511 4202560 17325 0 0 0 59 4 0 0 19 0 9 0 3443544 420569088 24776 1283457024 134512640 134550932 4294219904 18446744073709551615 4151150520 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=410712 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 3443545 420569088 24776 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=410712 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 3443545 420569088 24776 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=410712 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3443546 420569088 24776 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=410712 CPUtime=0.05
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 441 0 0 0 5 0 0 0 16 0 9 0 3443546 420569088 24776 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=410712 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3443546 420569088 24776 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=410712 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 3443546 420569088 24776 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 413276

[startup+3.10633 s]
/proc/loadavg: 1.00 1.00 1.00 2/43 15226
/proc/meminfo: memFree=350192/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=410844 CPUtime=3.05
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 47550 0 1 0 294 11 0 0 25 0 9 0 3443540 420704256 46796 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 102711 46796 2896 10 0 96859 0
[pid=15217/tid=15219] ppid=15216 vsize=410844 CPUtime=1.37
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 12643 0 1 0 133 4 0 0 25 0 9 0 3443544 420704256 46796 1283457024 134512640 134550932 4294219904 18446744073709551615 4115327681 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=410844 CPUtime=1.62
/proc/15217/task/15220/stat : 15220 (java) S 15216 15216 1511 34817 1511 4202560 33522 0 0 0 156 6 0 0 17 0 9 0 3443544 420704256 46796 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=410844 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 3443545 420704256 46796 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=410844 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 3443545 420704256 46796 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=410844 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3443546 420704256 46796 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=410844 CPUtime=0.05
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 444 0 0 0 5 0 0 0 16 0 9 0 3443546 420704256 46796 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=410844 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3443546 420704256 46796 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=410844 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 3443546 420704256 46796 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 413408

[startup+6.30698 s]
/proc/loadavg: 1.00 1.00 1.00 3/43 15226
/proc/meminfo: memFree=214916/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=432888 CPUtime=6.25
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 76451 0 1 0 605 20 0 0 25 0 9 0 3443540 443277312 75694 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 108222 75694 2897 10 0 102370 0
[pid=15217/tid=15219] ppid=15216 vsize=432888 CPUtime=2.34
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14257 0 1 0 228 6 0 0 25 0 9 0 3443544 443277312 75694 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=432888 CPUtime=3.84
/proc/15217/task/15220/stat : 15220 (java) R 15216 15216 1511 34817 1511 4202560 60790 0 0 0 370 14 0 0 16 0 9 0 3443544 443277312 75694 1283457024 134512640 134550932 4294219904 18446744073709551615 4152641616 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=432888 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 3443545 443277312 75694 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=432888 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 3443545 443277312 75694 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=432888 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3443546 443277312 75694 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=432888 CPUtime=0.06
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 463 0 0 0 6 0 0 0 15 0 9 0 3443546 443277312 75694 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=432888 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3443546 443277312 75694 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=432888 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 3443546 443277312 75694 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 435452

[startup+12.7099 s]
/proc/loadavg: 1.15 1.03 1.01 2/44 15227
/proc/meminfo: memFree=202880/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=421904 CPUtime=12.63
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 96494 0 1 0 1234 29 0 0 25 0 10 0 3443540 432029696 73101 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 105476 73101 2912 10 0 99621 0
[pid=15217/tid=15219] ppid=15216 vsize=421904 CPUtime=4.02
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14504 0 1 0 396 6 0 0 25 0 10 0 3443544 432029696 73101 1283457024 134512640 134550932 4294219904 18446744073709551615 4115733156 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=421904 CPUtime=8.5
/proc/15217/task/15220/stat : 15220 (java) S 15216 15216 1511 34817 1511 4202560 80528 0 0 0 827 23 0 0 16 0 10 0 3443544 432029696 73101 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73101 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73101 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73101 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=421904 CPUtime=0.1
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 516 0 0 0 10 0 0 0 16 0 10 0 3443546 432029696 73101 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73101 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3443546 432029696 73101 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15227] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15227/stat : 15227 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3444748 432029696 73101 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 424468

[startup+25.5044 s]
/proc/loadavg: 1.13 1.03 1.01 2/44 15227
/proc/meminfo: memFree=202880/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=421904 CPUtime=25.4
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 96537 0 1 0 2511 29 0 0 25 0 10 0 3443540 432029696 73144 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 105476 73144 2915 10 0 99621 0
[pid=15217/tid=15219] ppid=15216 vsize=421904 CPUtime=16.69
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14511 0 1 0 1663 6 0 0 25 0 10 0 3443544 432029696 73144 1283457024 134512640 134550932 4294219904 18446744073709551615 4115720244 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=421904 CPUtime=8.59
/proc/15217/task/15220/stat : 15220 (java) S 15216 15216 1511 34817 1511 4202560 80530 0 0 0 836 23 0 0 15 0 10 0 3443544 432029696 73144 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73144 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73144 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73144 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=421904 CPUtime=0.12
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 550 0 0 0 12 0 0 0 16 0 10 0 3443546 432029696 73144 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73144 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3443546 432029696 73144 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15227] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15227/stat : 15227 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3444748 432029696 73144 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 424468

[startup+51.111 s]
/proc/loadavg: 1.08 1.03 1.01 2/44 15227
/proc/meminfo: memFree=202880/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=421904 CPUtime=51
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 96546 0 1 0 5069 31 0 0 25 0 10 0 3443540 432029696 73153 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 105476 73153 2915 10 0 99621 0
[pid=15217/tid=15219] ppid=15216 vsize=421904 CPUtime=41.71
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14512 0 1 0 4163 8 0 0 25 0 10 0 3443544 432029696 73153 1283457024 134512640 134550932 4294219904 18446744073709551615 4115818327 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=421904 CPUtime=9.16
/proc/15217/task/15220/stat : 15220 (java) S 15216 15216 1511 34817 1511 4202560 80530 0 0 0 893 23 0 0 16 0 10 0 3443544 432029696 73153 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73153 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73153 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73153 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=421904 CPUtime=0.13
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 558 0 0 0 13 0 0 0 15 0 10 0 3443546 432029696 73153 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73153 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3443546 432029696 73153 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15227] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15227/stat : 15227 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3444748 432029696 73153 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 424468

[startup+102.305 s]
/proc/loadavg: 1.12 1.04 1.01 2/44 15227
/proc/meminfo: memFree=202756/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=421904 CPUtime=102.14
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 96554 0 1 0 10181 33 0 0 25 0 10 0 3443540 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 105476 73161 2915 10 0 99621 0
[pid=15217/tid=15219] ppid=15216 vsize=421904 CPUtime=91.74
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14512 0 1 0 9166 8 0 0 25 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4115851909 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=421904 CPUtime=10.25
/proc/15217/task/15220/stat : 15220 (java) S 15216 15216 1511 34817 1511 4202560 80530 0 0 0 1000 25 0 0 16 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=421904 CPUtime=0.14
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 566 0 0 0 14 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15227] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15227/stat : 15227 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3444748 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 424468

[startup+162.313 s]
/proc/loadavg: 1.04 1.03 1.00 2/46 15233
/proc/meminfo: memFree=202484/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=421904 CPUtime=162.1
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 96554 0 1 0 16176 34 0 0 25 0 10 0 3443540 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 105476 73161 2915 10 0 99621 0
[pid=15217/tid=15219] ppid=15216 vsize=421904 CPUtime=151.11
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14512 0 1 0 15102 9 0 0 25 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4115839676 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=421904 CPUtime=10.84
/proc/15217/task/15220/stat : 15220 (java) S 15216 15216 1511 34817 1511 4202560 80530 0 0 0 1059 25 0 0 15 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=421904 CPUtime=0.14
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 566 0 0 0 14 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15227] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15227/stat : 15227 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3444748 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 424468

[startup+222.312 s]
/proc/loadavg: 1.01 1.02 1.00 3/45 15238
/proc/meminfo: memFree=202500/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=421904 CPUtime=222.06
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 96554 0 1 0 22172 34 0 0 25 0 10 0 3443540 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 105476 73161 2915 10 0 99621 0
[pid=15217/tid=15219] ppid=15216 vsize=421904 CPUtime=210.19
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14512 0 1 0 21010 9 0 0 25 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4115717172 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=421904 CPUtime=11.72
/proc/15217/task/15220/stat : 15220 (java) S 15216 15216 1511 34817 1511 4202560 80530 0 0 0 1147 25 0 0 15 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=421904 CPUtime=0.14
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 566 0 0 0 14 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) R 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15227] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15227/stat : 15227 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3444748 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 424468

[startup+282.309 s]
/proc/loadavg: 1.00 1.02 1.00 3/44 15238
/proc/meminfo: memFree=202508/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=421904 CPUtime=282.01
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 96554 0 1 0 28167 34 0 0 25 0 10 0 3443540 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 105476 73161 2915 10 0 99621 0
[pid=15217/tid=15219] ppid=15216 vsize=421904 CPUtime=269.66
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14512 0 1 0 26957 9 0 0 25 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4115732813 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=421904 CPUtime=12.21
/proc/15217/task/15220/stat : 15220 (java) S 15216 15216 1511 34817 1511 4202560 80530 0 0 0 1196 25 0 0 16 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=421904 CPUtime=0.14
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 566 0 0 0 14 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15227] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15227/stat : 15227 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3444748 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 424468

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

[startup+283.21 s]
/proc/loadavg: 1.00 1.02 1.00 2/44 15238
/proc/meminfo: memFree=202508/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=421904 CPUtime=282.91
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 96554 0 1 0 28257 34 0 0 25 0 10 0 3443540 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 105476 73161 2915 10 0 99621 0
[pid=15217/tid=15219] ppid=15216 vsize=421904 CPUtime=270.55
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14512 0 1 0 27046 9 0 0 25 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4115754698 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=421904 CPUtime=12.21
/proc/15217/task/15220/stat : 15220 (java) S 15216 15216 1511 34817 1511 4202560 80530 0 0 0 1196 25 0 0 15 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=421904 CPUtime=0.14
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 566 0 0 0 14 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15227] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15227/stat : 15227 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3444748 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.91
Current children cumulated vsize (KiB) 424468

[startup+284.81 s]
/proc/loadavg: 1.00 1.02 1.00 2/44 15238
/proc/meminfo: memFree=202508/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=421904 CPUtime=284.5
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 96554 0 1 0 28416 34 0 0 25 0 10 0 3443540 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 105476 73161 2915 10 0 99621 0
[pid=15217/tid=15219] ppid=15216 vsize=421904 CPUtime=272.15
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14512 0 1 0 27206 9 0 0 25 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4115755398 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=421904 CPUtime=12.21
/proc/15217/task/15220/stat : 15220 (java) S 15216 15216 1511 34817 1511 4202560 80530 0 0 0 1196 25 0 0 15 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=421904 CPUtime=0.14
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 566 0 0 0 14 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15227] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15227/stat : 15227 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3444748 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.5
Current children cumulated vsize (KiB) 424468

[startup+285.21 s]
/proc/loadavg: 1.00 1.02 1.00 3/44 15238
/proc/meminfo: memFree=202508/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=421904 CPUtime=284.9
/proc/15217/stat : 15217 (java) S 15216 15216 1511 34817 1511 4202496 96554 0 1 0 28456 34 0 0 25 0 10 0 3443540 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 105476 73161 2915 10 0 99621 0
[pid=15217/tid=15219] ppid=15216 vsize=421904 CPUtime=272.34
/proc/15217/task/15219/stat : 15219 (java) R 15216 15216 1511 34817 1511 4202560 14512 0 1 0 27225 9 0 0 25 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15220] ppid=15216 vsize=421904 CPUtime=12.42
/proc/15217/task/15220/stat : 15220 (java) R 15216 15216 1511 34817 1511 4202560 80530 0 0 0 1217 25 0 0 16 0 10 0 3443544 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4153260405 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=15217/tid=15221] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15221/stat : 15221 (java) S 15216 15216 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15222] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15222/stat : 15222 (java) S 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3443545 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15223] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15223/stat : 15223 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15224] ppid=15216 vsize=421904 CPUtime=0.14
/proc/15217/task/15224/stat : 15224 (java) S 15216 15216 1511 34817 1511 4202560 566 0 0 0 14 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15225/stat : 15225 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15226] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15226/stat : 15226 (java) S 15216 15216 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3443546 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 18446612133097741056 0 0 -1 0 0 0 0
[pid=15217/tid=15227] ppid=15216 vsize=421904 CPUtime=0
/proc/15217/task/15227/stat : 15227 (java) R 15216 15216 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3444748 432029696 73161 1283457024 134512640 134550932 4294219904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.9
Current children cumulated vsize (KiB) 424468

[startup+285.604 s]
/proc/loadavg: 1.00 1.02 1.00 3/44 15238
/proc/meminfo: memFree=202508/1048576 swapFree=0/0
[pid=15216] ppid=15215 vsize=2564 CPUtime=0
/proc/15216/stat : 15216 (gj-trendy-solve) S 15215 15216 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 3443540 2625536 268 1283457024 134512640 135304128 4291022416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15216/statm: 641 268 229 194 0 28 0
[pid=15217] ppid=15216 vsize=0 CPUtime=285.24
/proc/15217/stat : 15217 (java) Z 15216 15216 1511 34817 1511 4202508 96568 0 1 0 28488 36 0 0 18 0 2 0 3443540 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15217/statm: 0 0 0 0 0 0 0
[pid=15217/tid=15225] ppid=15216 vsize=0 CPUtime=0.02
/proc/15217/task/15225/stat : 15225 (java) R 15216 15216 1511 34817 1511 4203588 1 0 0 0 0 2 0 0 18 0 2 0 3443546 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.24
Current children cumulated vsize (KiB) 2564

Child status: 0
Real time (s): 285.604
CPU time (s): 285.266
CPU user time (s): 284.89
CPU system time (s): 0.376023
CPU usage (%): 99.8815
Max. virtual memory (cumulated for all children) (KiB): 445664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.89
system time used= 0.376023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96950
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= 6261
involuntary context switches= 9312

runsolver used 0 second user time and 0 second system time

The end