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/rand58.cudf.s-e-l.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l/rand58.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand58.cudf.s-e-l.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.02 1.00 1.00 5/36 15725
/proc/meminfo: memFree=549120/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) R 15723 15724 1511 34817 1511 4202496 355 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 268 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/15724/statm: 642 268 228 194 0 29 0
[pid=15725] ppid=15724 vsize=2568 CPUtime=0
/proc/15725/stat : 15725 (gj-trendy-solve) R 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 3664216 2629632 40 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/15725/statm: 642 40 0 194 0 29 0

[startup+0.193544 s]
/proc/loadavg: 1.02 1.00 1.00 5/36 15725
/proc/meminfo: memFree=549120/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=410100 CPUtime=0.18
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 4646 0 1 0 16 2 0 0 25 0 9 0 3664216 419942400 4077 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102525 4077 1929 10 0 96673 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412668

[startup+0.211639 s]
/proc/loadavg: 1.02 1.00 1.00 5/36 15725
/proc/meminfo: memFree=549120/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=410100 CPUtime=0.19
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 5274 0 1 0 16 3 0 0 25 0 9 0 3664216 419942400 4705 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102525 4705 1933 10 0 96673 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 412668

[startup+0.303566 s]
/proc/loadavg: 1.02 1.00 1.00 5/36 15725
/proc/meminfo: memFree=549120/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=410100 CPUtime=0.29
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 5279 0 1 0 26 3 0 0 25 0 9 0 3664216 419942400 4709 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102525 4709 1935 10 0 96673 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 412668

[startup+0.703696 s]
/proc/loadavg: 1.02 1.00 1.00 5/36 15725
/proc/meminfo: memFree=549120/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=410716 CPUtime=0.69
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 12882 0 1 0 65 4 0 0 25 0 9 0 3664216 420573184 12128 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102679 12128 2895 10 0 96827 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 413284

[startup+1.50393 s]
/proc/loadavg: 1.10 1.02 1.01 2/45 15734
/proc/meminfo: memFree=489516/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=410716 CPUtime=1.5
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 27956 0 1 0 140 10 0 0 25 0 9 0 3664216 420573184 27202 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102679 27202 2896 10 0 96827 0
[pid=15725/tid=15726] ppid=15724 vsize=410716 CPUtime=0.78
/proc/15725/task/15726/stat : 15726 (java) S 15724 15724 1511 34817 1511 4202560 6818 0 1 0 76 2 0 0 25 0 9 0 3664216 420573184 27202 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=410716 CPUtime=0.67
/proc/15725/task/15728/stat : 15728 (java) R 15724 15724 1511 34817 1511 4202560 19768 0 0 0 60 7 0 0 19 0 9 0 3664217 420573184 27202 1283457024 134512640 134550932 4292439776 18446744073709551615 4151167935 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=410716 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 3664217 420573184 27202 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=410716 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 3664217 420573184 27202 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=410716 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3664218 420573184 27202 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=410716 CPUtime=0.02
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 430 0 0 0 2 0 0 0 17 0 9 0 3664218 420573184 27202 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=410716 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 3664218 420573184 27202 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=410716 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 3664218 420573184 27202 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413284

[startup+3.11452 s]
/proc/loadavg: 1.10 1.02 1.01 2/45 15734
/proc/meminfo: memFree=414992/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=410848 CPUtime=3.1
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 49244 0 1 0 296 14 0 0 25 0 9 0 3664216 420708352 48487 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102712 48487 2897 10 0 96860 0
[pid=15725/tid=15726] ppid=15724 vsize=410848 CPUtime=1.37
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14269 0 1 0 132 5 0 0 25 0 9 0 3664216 420708352 48487 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=410848 CPUtime=1.68
/proc/15725/task/15728/stat : 15728 (java) R 15724 15724 1511 34817 1511 4202560 33585 0 0 0 160 8 0 0 15 0 9 0 3664217 420708352 48487 1283457024 134512640 134550932 4292439776 18446744073709551615 4151168029 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=410848 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 3664217 420708352 48487 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=410848 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 3664217 420708352 48487 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=410848 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3664218 420708352 48487 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=410848 CPUtime=0.03
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 450 0 0 0 3 0 0 0 15 0 9 0 3664218 420708352 48487 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=410848 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 3664218 420708352 48487 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=410848 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 3664218 420708352 48487 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413416

[startup+6.30561 s]
/proc/loadavg: 1.09 1.02 1.00 2/46 15735
/proc/meminfo: memFree=312932/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=6.3
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 62610 0 1 0 610 20 0 0 25 0 10 0 3664216 421052416 61774 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 61774 2921 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=4.15
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14524 0 1 0 410 5 0 0 25 0 10 0 3664216 421052416 61774 1283457024 134512640 134550932 4292439776 18446744073709551615 4115696010 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=2
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 46605 0 0 0 187 13 0 0 16 0 10 0 3664217 421052416 61774 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 61774 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 61774 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 61774 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.13
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 536 0 0 0 12 1 0 0 15 0 10 0 3664218 421052416 61774 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 61774 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 61774 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 61774 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413752

[startup+12.7069 s]
/proc/loadavg: 1.08 1.02 1.00 2/46 15736
/proc/meminfo: memFree=294712/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=12.68
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67122 0 1 0 1248 20 0 0 25 0 10 0 3664216 421052416 66277 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66277 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=10.06
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 1001 5 0 0 25 0 10 0 3664216 421052416 66277 1283457024 134512640 134550932 4292439776 18446744073709551615 4115040792 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=2.47
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 233 14 0 0 16 0 10 0 3664217 421052416 66277 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66277 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66277 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66277 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.15
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 542 0 0 0 14 1 0 0 15 0 10 0 3664218 421052416 66277 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66277 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66277 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66277 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 413752

[startup+25.5108 s]
/proc/loadavg: 1.06 1.01 1.00 2/45 15736
/proc/meminfo: memFree=294728/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=25.47
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67126 0 1 0 2527 20 0 0 25 0 10 0 3664216 421052416 66281 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66281 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=22.56
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 2251 5 0 0 25 0 10 0 3664216 421052416 66281 1283457024 134512640 134550932 4292439776 18446744073709551615 4115467301 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=2.75
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 261 14 0 0 15 0 10 0 3664217 421052416 66281 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66281 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66281 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66281 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 546 0 0 0 15 1 0 0 15 0 10 0 3664218 421052416 66281 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66281 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66281 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66281 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 413752

[startup+51.1068 s]
/proc/loadavg: 1.04 1.01 1.00 2/45 15739
/proc/meminfo: memFree=294356/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=51.03
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67127 0 1 0 5083 20 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66282 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=47.57
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 4752 5 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4115900734 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=3.3
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 316 14 0 0 15 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 547 0 0 0 15 1 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 413752

[startup+102.308 s]
/proc/loadavg: 1.02 1.01 1.00 3/44 15739
/proc/meminfo: memFree=294364/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=102.16
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67127 0 1 0 10195 21 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66282 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=97.97
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 9791 6 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4115301911 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=4.03
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 389 14 0 0 15 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 547 0 0 0 15 1 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) R 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 413752

[startup+162.313 s]
/proc/loadavg: 1.06 1.02 1.00 2/44 15739
/proc/meminfo: memFree=294364/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=162.1
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67127 0 1 0 16189 21 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66282 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=157.44
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 15738 6 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4115781898 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=4.49
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 435 14 0 0 15 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 547 0 0 0 15 1 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 413752

[startup+222.309 s]
/proc/loadavg: 1.13 1.04 1.01 2/44 15739
/proc/meminfo: memFree=294364/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=222.06
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67127 0 1 0 22185 21 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66282 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=216.92
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 21686 6 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4115728043 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=4.97
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 483 14 0 0 15 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 547 0 0 0 15 1 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 413752

[startup+282.314 s]
/proc/loadavg: 1.04 1.03 1.00 2/44 15739
/proc/meminfo: memFree=294364/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=282.02
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67127 0 1 0 28181 21 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66282 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=276.41
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 27635 6 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4115781936 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=5.44
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 530 14 0 0 15 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 547 0 0 0 15 1 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) R 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.02
Current children cumulated vsize (KiB) 413752

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

[startup+283.214 s]
/proc/loadavg: 1.04 1.03 1.00 2/44 15739
/proc/meminfo: memFree=294364/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=282.92
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67127 0 1 0 28271 21 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66282 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=277.31
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 27725 6 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4115753771 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=5.44
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 530 14 0 0 15 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 547 0 0 0 15 1 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) R 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.92
Current children cumulated vsize (KiB) 413752

[startup+284.014 s]
/proc/loadavg: 1.04 1.03 1.00 3/44 15739
/proc/meminfo: memFree=294364/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=283.72
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67127 0 1 0 28351 21 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66282 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=278.11
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 27805 6 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4115781828 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=5.44
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 530 14 0 0 15 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 547 0 0 0 15 1 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.72
Current children cumulated vsize (KiB) 413752

[startup+284.806 s]
/proc/loadavg: 1.04 1.03 1.00 3/44 15739
/proc/meminfo: memFree=294364/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=284.51
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67127 0 1 0 28430 21 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66282 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=278.9
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 27884 6 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4115735245 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=5.44
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 530 14 0 0 15 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 547 0 0 0 15 1 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.51
Current children cumulated vsize (KiB) 413752

[startup+285.006 s]
/proc/loadavg: 1.04 1.03 1.00 2/44 15739
/proc/meminfo: memFree=294364/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=284.71
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67127 0 1 0 28450 21 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66282 2916 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=279.1
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 27904 6 0 0 25 0 10 0 3664216 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4115687578 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=5.44
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 530 14 0 0 15 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3664217 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 547 0 0 0 15 1 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 3664218 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15735] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15735/stat : 15735 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3664615 421052416 66282 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.71
Current children cumulated vsize (KiB) 413752

[startup+285.106 s]
/proc/loadavg: 1.04 1.03 1.00 2/44 15739
/proc/meminfo: memFree=294364/1048576 swapFree=0/0
[pid=15724] ppid=15723 vsize=2568 CPUtime=0
/proc/15724/stat : 15724 (gj-trendy-solve) S 15723 15724 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 3664215 2629632 269 1283457024 134512640 135304128 4292317088 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15724/statm: 642 269 229 194 0 29 0
[pid=15725] ppid=15724 vsize=411184 CPUtime=284.81
/proc/15725/stat : 15725 (java) S 15724 15724 1511 34817 1511 4202496 67128 0 1 0 28460 21 0 0 25 0 9 0 3664216 421052416 66283 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15725/statm: 102796 66283 2917 10 0 96941 0
[pid=15725/tid=15726] ppid=15724 vsize=411184 CPUtime=279.2
/proc/15725/task/15726/stat : 15726 (java) R 15724 15724 1511 34817 1511 4202560 14525 0 1 0 27914 6 0 0 25 0 9 0 3664216 421052416 66283 1283457024 134512640 134550932 4292439776 18446744073709551615 4115912261 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15725/tid=15728] ppid=15724 vsize=411184 CPUtime=5.44
/proc/15725/task/15728/stat : 15728 (java) S 15724 15724 1511 34817 1511 4202560 51110 0 0 0 530 14 0 0 15 0 9 0 3664217 421052416 66283 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 0 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15729] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15729/stat : 15729 (java) S 15724 15724 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 3664217 421052416 66283 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15730] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15730/stat : 15730 (java) S 15724 15724 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 3664217 421052416 66283 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15731] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15731/stat : 15731 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3664218 421052416 66283 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15732] ppid=15724 vsize=411184 CPUtime=0.16
/proc/15725/task/15732/stat : 15732 (java) S 15724 15724 1511 34817 1511 4202560 547 0 0 0 15 1 0 0 15 0 9 0 3664218 421052416 66283 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15733] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15733/stat : 15733 (java) S 15724 15724 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 3664218 421052416 66283 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
[pid=15725/tid=15734] ppid=15724 vsize=411184 CPUtime=0
/proc/15725/task/15734/stat : 15734 (java) S 15724 15724 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 3664218 421052416 66283 1283457024 134512640 134550932 4292439776 18446744073709551615 4294960130 0 4 0 16800975 18446612133097740160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.81
Current children cumulated vsize (KiB) 413752

Child status: 0
Real time (s): 285.152
CPU time (s): 284.858
CPU user time (s): 284.626
CPU system time (s): 0.232014
CPU usage (%): 99.8969
Max. virtual memory (cumulated for all children) (KiB): 413752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.626
system time used= 0.232014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67515
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= 5948
involuntary context switches= 8841

runsolver used 0.012 second user time and 0 second system time

The end