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/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.dudf-real.result 

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


[startup+0 s]
/proc/loadavg: 1.07 1.20 1.14 4/34 3257
/proc/meminfo: memFree=360216/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=11044 CPUtime=0.01
/proc/3257/stat : 3257 (java) R 3256 3256 1511 34817 1511 4202496 664 0 0 0 0 1 0 0 25 0 1 0 5237099 11309056 400 1283457024 134512640 134550932 4291524032 18446744073709551615 4160468706 0 0 0 0 0 0 0 17 0 0 0 0
/proc/3257/statm: 2761 400 178 10 0 1103 0

[startup+0.175287 s]
/proc/loadavg: 1.07 1.20 1.14 4/34 3257
/proc/meminfo: memFree=360216/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=409796 CPUtime=0.17
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 4015 0 1 0 14 3 0 0 25 0 9 0 5237099 419631104 3442 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102449 3442 1922 10 0 96597 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 412364

[startup+0.205287 s]
/proc/loadavg: 1.07 1.20 1.14 4/34 3257
/proc/meminfo: memFree=360216/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=409796 CPUtime=0.21
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 4079 0 1 0 18 3 0 0 25 0 9 0 5237099 419631104 3506 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102449 3506 1922 10 0 96597 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412364

[startup+0.305308 s]
/proc/loadavg: 1.07 1.20 1.14 4/34 3257
/proc/meminfo: memFree=360216/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=410380 CPUtime=0.31
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 4436 0 1 0 28 3 0 0 25 0 9 0 5237099 420229120 3863 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102595 3863 1944 10 0 96743 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412948

[startup+0.705371 s]
/proc/loadavg: 1.07 1.20 1.14 4/34 3257
/proc/meminfo: memFree=360216/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=410652 CPUtime=0.71
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 12242 0 1 0 66 5 0 0 25 0 9 0 5237099 420507648 11482 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102663 11482 2901 10 0 96811 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413220

[startup+1.50552 s]
/proc/loadavg: 1.07 1.20 1.14 2/43 3266
/proc/meminfo: memFree=301356/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=410784 CPUtime=1.5
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 25809 0 1 0 142 8 0 0 25 0 9 0 5237099 420642816 25049 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102696 25049 2901 10 0 96844 0
[pid=3257/tid=3259] ppid=3256 vsize=410784 CPUtime=0.8
/proc/3257/task/3259/stat : 3259 (java) R 3256 3256 1511 34817 1511 4202560 6818 0 1 0 78 2 0 0 25 0 9 0 5237100 420642816 25049 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3257/tid=3260] ppid=3256 vsize=410784 CPUtime=0.63
/proc/3257/task/3260/stat : 3260 (java) R 3256 3256 1511 34817 1511 4202560 17604 0 0 0 59 4 0 0 18 0 9 0 5237101 420642816 25049 1283457024 134512640 134550932 4291524032 18446744073709551615 4151120054 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3257/tid=3261] ppid=3256 vsize=410784 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3256 3256 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 5237101 420642816 25049 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3262] ppid=3256 vsize=410784 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 5237101 420642816 25049 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3263] ppid=3256 vsize=410784 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5237102 420642816 25049 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3264] ppid=3256 vsize=410784 CPUtime=0.05
/proc/3257/task/3264/stat : 3264 (java) S 3256 3256 1511 34817 1511 4202560 446 0 0 0 5 0 0 0 17 0 9 0 5237102 420642816 25049 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3265] ppid=3256 vsize=410784 CPUtime=0
/proc/3257/task/3265/stat : 3265 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5237102 420642816 25049 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3266] ppid=3256 vsize=410784 CPUtime=0
/proc/3257/task/3266/stat : 3266 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 5237102 420642816 25049 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413352

[startup+3.10567 s]
/proc/loadavg: 1.07 1.20 1.14 2/43 3266
/proc/meminfo: memFree=226832/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=410916 CPUtime=3.1
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 46704 0 1 0 296 14 0 0 25 0 9 0 5237099 420777984 45944 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102729 45944 2901 10 0 96877 0
[pid=3257/tid=3259] ppid=3256 vsize=410916 CPUtime=1.42
/proc/3257/task/3259/stat : 3259 (java) R 3256 3256 1511 34817 1511 4202560 11930 0 1 0 138 4 0 0 25 0 9 0 5237100 420777984 45944 1283457024 134512640 134550932 4291524032 18446744073709551615 4115512449 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3257/tid=3260] ppid=3256 vsize=410916 CPUtime=1.61
/proc/3257/task/3260/stat : 3260 (java) S 3256 3256 1511 34817 1511 4202560 33384 0 0 0 152 9 0 0 16 0 9 0 5237101 420777984 45944 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3261] ppid=3256 vsize=410916 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3256 3256 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 5237101 420777984 45944 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3262] ppid=3256 vsize=410916 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 5237101 420777984 45944 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3263] ppid=3256 vsize=410916 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5237102 420777984 45944 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3264] ppid=3256 vsize=410916 CPUtime=0.06
/proc/3257/task/3264/stat : 3264 (java) S 3256 3256 1511 34817 1511 4202560 449 0 0 0 6 0 0 0 15 0 9 0 5237102 420777984 45944 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3265] ppid=3256 vsize=410916 CPUtime=0
/proc/3257/task/3265/stat : 3265 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5237102 420777984 45944 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3266] ppid=3256 vsize=410916 CPUtime=0
/proc/3257/task/3266/stat : 3266 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 5237102 420777984 45944 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413484

[startup+6.3068 s]
/proc/loadavg: 1.07 1.20 1.14 2/43 3266
/proc/meminfo: memFree=92416/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=411384 CPUtime=6.3
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 70738 0 1 0 606 24 0 0 25 0 10 0 5237099 421257216 69884 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102846 69884 2917 10 0 96991 0
[pid=3257/tid=3259] ppid=3256 vsize=411384 CPUtime=3.03
/proc/3257/task/3259/stat : 3259 (java) R 3256 3256 1511 34817 1511 4202560 14537 0 1 0 299 4 0 0 25 0 10 0 5237100 421257216 69884 1283457024 134512640 134550932 4291524032 18446744073709551615 4115987424 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3257/tid=3260] ppid=3256 vsize=411384 CPUtime=3.12
/proc/3257/task/3260/stat : 3260 (java) S 3256 3256 1511 34817 1511 4202560 54733 0 0 0 294 18 0 0 16 0 10 0 5237101 421257216 69884 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3261] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3256 3256 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 5237101 421257216 69884 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3262] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5237101 421257216 69884 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3263] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69884 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3264] ppid=3256 vsize=411384 CPUtime=0.12
/proc/3257/task/3264/stat : 3264 (java) S 3256 3256 1511 34817 1511 4202560 522 0 0 0 12 0 0 0 15 0 10 0 5237102 421257216 69884 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3265] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3265/stat : 3265 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69884 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3266] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3266/stat : 3266 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5237102 421257216 69884 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413952

[startup+12.7091 s]
/proc/loadavg: 1.06 1.20 1.14 2/44 3267
/proc/meminfo: memFree=92044/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=411384 CPUtime=12.69
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 70782 0 1 0 1245 24 0 0 25 0 10 0 5237099 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102846 69928 2920 10 0 96991 0
[pid=3257/tid=3259] ppid=3256 vsize=411384 CPUtime=9.27
/proc/3257/task/3259/stat : 3259 (java) R 3256 3256 1511 34817 1511 4202560 14544 0 1 0 923 4 0 0 25 0 10 0 5237100 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4116043924 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3257/tid=3260] ppid=3256 vsize=411384 CPUtime=3.22
/proc/3257/task/3260/stat : 3260 (java) S 3256 3256 1511 34817 1511 4202560 54735 0 0 0 304 18 0 0 16 0 10 0 5237101 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3261] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3256 3256 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 5237101 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3262] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5237101 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3263] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3264] ppid=3256 vsize=411384 CPUtime=0.17
/proc/3257/task/3264/stat : 3264 (java) S 3256 3256 1511 34817 1511 4202560 557 0 0 0 17 0 0 0 15 0 10 0 5237102 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3265] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3265/stat : 3265 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3266] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3266/stat : 3266 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5237102 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3267] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5237655 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413952

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

[startup+12.8092 s]
/proc/loadavg: 1.06 1.20 1.14 2/44 3267
/proc/meminfo: memFree=92044/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=411384 CPUtime=12.78
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 70782 0 1 0 1254 24 0 0 25 0 10 0 5237099 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102846 69928 2920 10 0 96991 0
[pid=3257/tid=3259] ppid=3256 vsize=411384 CPUtime=9.36
/proc/3257/task/3259/stat : 3259 (java) R 3256 3256 1511 34817 1511 4202560 14544 0 1 0 932 4 0 0 25 0 10 0 5237100 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4115878656 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3257/tid=3260] ppid=3256 vsize=411384 CPUtime=3.22
/proc/3257/task/3260/stat : 3260 (java) S 3256 3256 1511 34817 1511 4202560 54735 0 0 0 304 18 0 0 16 0 10 0 5237101 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3261] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3256 3256 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 5237101 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3262] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5237101 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3263] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3264] ppid=3256 vsize=411384 CPUtime=0.17
/proc/3257/task/3264/stat : 3264 (java) S 3256 3256 1511 34817 1511 4202560 557 0 0 0 17 0 0 0 15 0 10 0 5237102 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3265] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3265/stat : 3265 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3266] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3266/stat : 3266 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5237102 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3267] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5237655 421257216 69928 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 413952

[startup+14.4096 s]
/proc/loadavg: 1.06 1.19 1.14 2/44 3267
/proc/meminfo: memFree=92044/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=411384 CPUtime=14.38
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 70784 0 1 0 1414 24 0 0 25 0 10 0 5237099 421257216 69930 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102846 69930 2920 10 0 96991 0
[pid=3257/tid=3259] ppid=3256 vsize=411384 CPUtime=10.93
/proc/3257/task/3259/stat : 3259 (java) R 3256 3256 1511 34817 1511 4202560 14544 0 1 0 1089 4 0 0 25 0 10 0 5237100 421257216 69930 1283457024 134512640 134550932 4291524032 18446744073709551615 4116085637 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3257/tid=3260] ppid=3256 vsize=411384 CPUtime=3.25
/proc/3257/task/3260/stat : 3260 (java) S 3256 3256 1511 34817 1511 4202560 54735 0 0 0 307 18 0 0 15 0 10 0 5237101 421257216 69930 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3261] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3256 3256 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 5237101 421257216 69930 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3262] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5237101 421257216 69930 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3263] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69930 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3264] ppid=3256 vsize=411384 CPUtime=0.17
/proc/3257/task/3264/stat : 3264 (java) S 3256 3256 1511 34817 1511 4202560 559 0 0 0 17 0 0 0 15 0 10 0 5237102 421257216 69930 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3265] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3265/stat : 3265 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69930 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3266] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3266/stat : 3266 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5237102 421257216 69930 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3267] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5237655 421257216 69930 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.38
Current children cumulated vsize (KiB) 413952

[startup+16.01 s]
/proc/loadavg: 1.06 1.19 1.14 2/44 3267
/proc/meminfo: memFree=92044/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=411384 CPUtime=15.98
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 70785 0 1 0 1574 24 0 0 25 0 10 0 5237099 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102846 69931 2920 10 0 96991 0
[pid=3257/tid=3259] ppid=3256 vsize=411384 CPUtime=12.49
/proc/3257/task/3259/stat : 3259 (java) R 3256 3256 1511 34817 1511 4202560 14544 0 1 0 1245 4 0 0 25 0 10 0 5237100 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4115972548 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3257/tid=3260] ppid=3256 vsize=411384 CPUtime=3.28
/proc/3257/task/3260/stat : 3260 (java) S 3256 3256 1511 34817 1511 4202560 54735 0 0 0 310 18 0 0 15 0 10 0 5237101 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3261] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3256 3256 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 5237101 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3262] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5237101 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3263] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3264] ppid=3256 vsize=411384 CPUtime=0.17
/proc/3257/task/3264/stat : 3264 (java) S 3256 3256 1511 34817 1511 4202560 560 0 0 0 17 0 0 0 15 0 10 0 5237102 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3265] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3265/stat : 3265 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3266] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3266/stat : 3266 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5237102 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3267] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5237655 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.98
Current children cumulated vsize (KiB) 413952

[startup+16.4101 s]
/proc/loadavg: 1.06 1.19 1.14 2/44 3267
/proc/meminfo: memFree=92044/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=411384 CPUtime=16.38
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 70785 0 1 0 1614 24 0 0 25 0 10 0 5237099 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102846 69931 2920 10 0 96991 0
[pid=3257/tid=3259] ppid=3256 vsize=411384 CPUtime=12.89
/proc/3257/task/3259/stat : 3259 (java) R 3256 3256 1511 34817 1511 4202560 14544 0 1 0 1285 4 0 0 25 0 10 0 5237100 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4115946985 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3257/tid=3260] ppid=3256 vsize=411384 CPUtime=3.28
/proc/3257/task/3260/stat : 3260 (java) S 3256 3256 1511 34817 1511 4202560 54735 0 0 0 310 18 0 0 15 0 10 0 5237101 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3261] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3256 3256 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 5237101 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3262] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5237101 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3263] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3264] ppid=3256 vsize=411384 CPUtime=0.17
/proc/3257/task/3264/stat : 3264 (java) S 3256 3256 1511 34817 1511 4202560 560 0 0 0 17 0 0 0 15 0 10 0 5237102 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3265] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3265/stat : 3265 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3266] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3266/stat : 3266 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5237102 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3267] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5237655 421257216 69931 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.38
Current children cumulated vsize (KiB) 413952

[startup+16.8101 s]
/proc/loadavg: 1.06 1.19 1.14 3/44 3267
/proc/meminfo: memFree=92044/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=411384 CPUtime=16.78
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 70786 0 1 0 1654 24 0 0 25 0 10 0 5237099 421257216 69932 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102846 69932 2920 10 0 96991 0
[pid=3257/tid=3259] ppid=3256 vsize=411384 CPUtime=13.29
/proc/3257/task/3259/stat : 3259 (java) R 3256 3256 1511 34817 1511 4202560 14544 0 1 0 1325 4 0 0 25 0 10 0 5237100 421257216 69932 1283457024 134512640 134550932 4291524032 18446744073709551615 4115959130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3257/tid=3260] ppid=3256 vsize=411384 CPUtime=3.28
/proc/3257/task/3260/stat : 3260 (java) S 3256 3256 1511 34817 1511 4202560 54735 0 0 0 310 18 0 0 16 0 10 0 5237101 421257216 69932 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3261] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3256 3256 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 5237101 421257216 69932 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3262] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5237101 421257216 69932 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3263] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69932 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3264] ppid=3256 vsize=411384 CPUtime=0.17
/proc/3257/task/3264/stat : 3264 (java) S 3256 3256 1511 34817 1511 4202560 561 0 0 0 17 0 0 0 15 0 10 0 5237102 421257216 69932 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3265] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3265/stat : 3265 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5237102 421257216 69932 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3266] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3266/stat : 3266 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5237102 421257216 69932 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3267] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3267/stat : 3267 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5237655 421257216 69932 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (KiB) 413952

[startup+16.9023 s]
/proc/loadavg: 1.06 1.19 1.14 3/44 3267
/proc/meminfo: memFree=92044/1048576 swapFree=0/0
[pid=3256] ppid=3255 vsize=2568 CPUtime=0
/proc/3256/stat : 3256 (gj-trendy-solve) S 3255 3256 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 5237099 2629632 269 1283457024 134512640 135304128 4294295872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3256/statm: 642 269 229 194 0 29 0
[pid=3257] ppid=3256 vsize=411384 CPUtime=16.82
/proc/3257/stat : 3257 (java) S 3256 3256 1511 34817 1511 4202496 70795 0 1 0 1658 24 0 0 25 0 9 0 5237099 421257216 69941 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3257/statm: 102846 69941 2921 10 0 96991 0
[pid=3257/tid=3259] ppid=3256 vsize=411384 CPUtime=13.33
/proc/3257/task/3259/stat : 3259 (java) S 3256 3256 1511 34817 1511 4202560 14544 0 1 0 1329 4 0 0 25 0 9 0 5237100 421257216 69941 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3260] ppid=3256 vsize=411384 CPUtime=3.28
/proc/3257/task/3260/stat : 3260 (java) S 3256 3256 1511 34817 1511 4202560 54735 0 0 0 310 18 0 0 16 0 9 0 5237101 421257216 69941 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3261] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3261/stat : 3261 (java) S 3256 3256 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 9 0 5237101 421257216 69941 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3262] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3262/stat : 3262 (java) S 3256 3256 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 5237101 421257216 69941 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3263] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3263/stat : 3263 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5237102 421257216 69941 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3264] ppid=3256 vsize=411384 CPUtime=0.18
/proc/3257/task/3264/stat : 3264 (java) S 3256 3256 1511 34817 1511 4202560 569 0 0 0 18 0 0 0 16 0 9 0 5237102 421257216 69941 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3265] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3265/stat : 3265 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5237102 421257216 69941 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3257/tid=3266] ppid=3256 vsize=411384 CPUtime=0
/proc/3257/task/3266/stat : 3266 (java) S 3256 3256 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 5237102 421257216 69941 1283457024 134512640 134550932 4291524032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.82
Current children cumulated vsize (KiB) 413952

Child status: 0
Real time (s): 16.9375
CPU time (s): 16.8571
CPU user time (s): 16.589
CPU system time (s): 0.268016
CPU usage (%): 99.5249
Max. virtual memory (cumulated for all children) (KiB): 413952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.589
system time used= 0.268016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71182
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= 1126
involuntary context switches= 1403

runsolver used 0 second user time and 0 second system time

The end