runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709761-1338125699/watcher-3709761-1338125699 -o /tmp/evaluation-result-3709761-1338125699/solver-3709761-1338125699 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709761-1338125699.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.09 2.05 3/194 21527
/proc/meminfo: memFree=29279284/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/21527/stat : 21527 (java) R 21525 21527 19004 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 278694805 23793664 708 33554432000 1073741824 1073778376 140736888619216 140736888608280 240555963752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 5809 708 522 9 0 128 0
[startup+0.058107 s]
/proc/loadavg: 2.09 2.09 2.05 3/194 21527
/proc/meminfo: memFree=29279284/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=9558380 CPUtime=0.05 cores=1,3,5,7
/proc/21527/stat : 21527 (java) S 21525 21527 19004 0 -1 4202496 3214 0 1 0 4 1 0 0 20 0 18 0 278694805 9787781120 3911 33554432000 1073741824 1073778376 140736888619216 140736888610352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 2389595 3911 1745 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558380
[startup+0.100342 s]
/proc/loadavg: 2.09 2.09 2.05 3/194 21527
/proc/meminfo: memFree=29279284/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/21527/stat : 21527 (java) S 21525 21527 19004 0 -1 4202496 4322 0 1 0 9 1 0 0 20 0 18 0 278694805 9787842560 5018 33554432000 1073741824 1073778376 140736888619216 140736888610352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 2389610 5019 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300302 s]
/proc/loadavg: 2.09 2.09 2.05 3/194 21527
/proc/meminfo: memFree=29279284/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/21527/stat : 21527 (java) S 21525 21527 19004 0 -1 4202496 5421 0 1 0 44 1 0 0 20 0 18 0 278694805 9787842560 7820 33554432000 1073741824 1073778376 140736888619216 140736888610352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 2389610 7820 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440
[startup+0.700251 s]
/proc/loadavg: 2.09 2.09 2.05 3/194 21527
/proc/meminfo: memFree=29279284/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=9625004 CPUtime=1.24 cores=1,3,5,7
/proc/21527/stat : 21527 (java) S 21525 21527 19004 0 -1 4202496 8526 0 1 0 121 3 0 0 20 0 19 0 278694805 9856004096 11118 33554432000 1073741824 1073778376 140736888619216 140736888610352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 2406251 11118 2281 9 0 2396937 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9625004
[startup+1.50067 s]
/proc/loadavg: 2.09 2.09 2.05 3/214 21547
/proc/meminfo: memFree=29243452/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=9625004 CPUtime=2.09 cores=1,3,5,7
/proc/21527/stat : 21527 (java) S 21525 21527 19004 0 -1 4202496 8545 0 1 0 206 3 0 0 20 0 19 0 278694805 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140736888610352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 2406251 11135 2281 9 0 2396937 0
[pid=21527/tid=21529] ppid=21525 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/21527/task/21529/stat : 21529 (java) R 21525 21527 19004 0 -1 4202560 2585 0 1 0 142 1 0 0 20 0 19 0 278694806 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415308243208 140415180660848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21530] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21530/stat : 21530 (java) S 21525 21527 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415151765672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21531] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21531/stat : 21531 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415150713128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21532] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21532/stat : 21532 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415149660584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21533] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21533/stat : 21533 (java) S 21525 21527 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415148608040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21534] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21534/stat : 21534 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415147555496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21535] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21535/stat : 21535 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415146502952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21536] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21536/stat : 21536 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415145450408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21537] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21537/stat : 21537 (java) S 21525 21527 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415144397864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21538] ppid=21525 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21527/task/21538/stat : 21538 (java) S 21525 21527 19004 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 278694808 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415132199016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21539] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21539/stat : 21539 (java) S 21525 21527 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415131145336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21540] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21540/stat : 21540 (java) S 21525 21527 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415130092680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21541] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21541/stat : 21541 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415129041424 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21542] ppid=21525 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/21527/task/21542/stat : 21542 (java) S 21525 21527 19004 0 -1 4202560 1677 0 0 0 25 0 0 0 20 0 19 0 278694811 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415127988792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21543] ppid=21525 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/21527/task/21543/stat : 21543 (java) S 21525 21527 19004 0 -1 4202560 3039 0 0 0 31 0 0 0 20 0 19 0 278694811 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415126936248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21544] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21544/stat : 21544 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415125883896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21545] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21545/stat : 21545 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415124831560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21546] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21546/stat : 21546 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278694836 9856004096 11135 33554432000 1073741824 1073778376 140736888619216 140415123776296 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9625004
[startup+3.10067 s]
/proc/loadavg: 2.09 2.09 2.05 3/214 21547
/proc/meminfo: memFree=29240024/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=9625004 CPUtime=3.74 cores=1,3,5,7
/proc/21527/stat : 21527 (java) S 21525 21527 19004 0 -1 4202496 8828 0 1 0 371 3 0 0 20 0 19 0 278694805 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140736888610352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 2406251 12180 2281 9 0 2396937 0
[pid=21527/tid=21529] ppid=21525 vsize=9625004 CPUtime=2.98 cores=1,3,5,7
/proc/21527/task/21529/stat : 21529 (java) R 21525 21527 19004 0 -1 4202560 2587 0 1 0 297 1 0 0 20 0 19 0 278694806 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415308243248 140415180661024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21530] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21530/stat : 21530 (java) S 21525 21527 19004 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415151765672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21531] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21531/stat : 21531 (java) S 21525 21527 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415150713128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21532] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21532/stat : 21532 (java) S 21525 21527 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415149660584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21533] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21533/stat : 21533 (java) S 21525 21527 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415148608040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21534] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21534/stat : 21534 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415147555496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21535] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21535/stat : 21535 (java) S 21525 21527 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415146502952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21536] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21536/stat : 21536 (java) S 21525 21527 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415145450408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21537] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21537/stat : 21537 (java) S 21525 21527 19004 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415144397864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21538] ppid=21525 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/21527/task/21538/stat : 21538 (java) S 21525 21527 19004 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 278694808 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415132199016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21539] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21539/stat : 21539 (java) S 21525 21527 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415131145336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21540] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21540/stat : 21540 (java) S 21525 21527 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415130092680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21541] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21541/stat : 21541 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415129041424 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21542] ppid=21525 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21527/task/21542/stat : 21542 (java) S 21525 21527 19004 0 -1 4202560 1945 0 0 0 29 0 0 0 20 0 19 0 278694811 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415127988792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21543] ppid=21525 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/21527/task/21543/stat : 21543 (java) S 21525 21527 19004 0 -1 4202560 3039 0 0 0 31 0 0 0 20 0 19 0 278694811 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415126936248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21544] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21544/stat : 21544 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415125883896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21545] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21545/stat : 21545 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415124831560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21546] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21546/stat : 21546 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278694836 9856004096 12180 33554432000 1073741824 1073778376 140736888619216 140415123776296 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9625004
[startup+6.30068 s]
/proc/loadavg: 2.08 2.08 2.05 3/214 21547
/proc/meminfo: memFree=29237976/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=9625004 CPUtime=6.97 cores=1,3,5,7
/proc/21527/stat : 21527 (java) S 21525 21527 19004 0 -1 4202496 8859 0 1 0 694 3 0 0 20 0 19 0 278694805 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140736888610352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 2406251 12151 2281 9 0 2396937 0
[pid=21527/tid=21529] ppid=21525 vsize=9625004 CPUtime=6.11 cores=1,3,5,7
/proc/21527/task/21529/stat : 21529 (java) R 21525 21527 19004 0 -1 4202560 2592 0 1 0 610 1 0 0 20 0 19 0 278694806 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415308243248 140415180696508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21530] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21530/stat : 21530 (java) S 21525 21527 19004 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415151765672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21531] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21531/stat : 21531 (java) S 21525 21527 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415150713128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21532] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21532/stat : 21532 (java) S 21525 21527 19004 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415149660584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21533] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21533/stat : 21533 (java) S 21525 21527 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415148608040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21534] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21534/stat : 21534 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415147555496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21535] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21535/stat : 21535 (java) S 21525 21527 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415146502952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21536] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21536/stat : 21536 (java) S 21525 21527 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415145450408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21537] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21537/stat : 21537 (java) S 21525 21527 19004 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 278694807 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415144397864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21538] ppid=21525 vsize=9625004 CPUtime=0.1 cores=1,3,5,7
/proc/21527/task/21538/stat : 21538 (java) S 21525 21527 19004 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 19 0 278694808 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415132199016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21539] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21539/stat : 21539 (java) S 21525 21527 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415131145336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21540] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21540/stat : 21540 (java) S 21525 21527 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415130092680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21541] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21541/stat : 21541 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415129041424 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21542] ppid=21525 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/21527/task/21542/stat : 21542 (java) S 21525 21527 19004 0 -1 4202560 1945 0 0 0 29 0 0 0 20 0 19 0 278694811 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415127988792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21543] ppid=21525 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/21527/task/21543/stat : 21543 (java) S 21525 21527 19004 0 -1 4202560 3039 0 0 0 31 0 0 0 20 0 19 0 278694811 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415126936248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21544] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21544/stat : 21544 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415125883896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21545] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21545/stat : 21545 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415124831560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21546] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21546/stat : 21546 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278694836 9856004096 12151 33554432000 1073741824 1073778376 140736888619216 140415123776296 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
/proc/21527/task/21537/stat : 21537 (java) S 21525 21527 19004 0 -1 4202560 40 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415144397864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21538] ppid=21525 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/21527/task/21538/stat : 21538 (java) S 21525 21527 19004 0 -1 4202560 64 0 0 0 94 0 0 0 20 0 19 0 278694808 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415132199016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21539] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21539/stat : 21539 (java) S 21525 21527 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415131145336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21540] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21540/stat : 21540 (java) S 21525 21527 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415130092680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21541] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21541/stat : 21541 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415129041424 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21542] ppid=21525 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/21527/task/21542/stat : 21542 (java) S 21525 21527 19004 0 -1 4202560 9958 0 0 0 75 2 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415127988792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21543] ppid=21525 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21527/task/21543/stat : 21543 (java) S 21525 21527 19004 0 -1 4202560 3040 0 0 0 33 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415126936248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21544] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21544/stat : 21544 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415125883896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21545] ppid=21525 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21527/task/21545/stat : 21545 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415124831560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21546] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21546/stat : 21546 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278694836 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415123776296 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 115.12
Current children cumulated vsize (KiB) 9625004
[startup+114.301 s]
/proc/loadavg: 2.11 2.08 2.05 3/213 21547
/proc/meminfo: memFree=29006192/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=9625004 CPUtime=115.93 cores=1,3,5,7
/proc/21527/stat : 21527 (java) S 21525 21527 19004 0 -1 4202496 17190 0 1 0 11584 9 0 0 20 0 19 0 278694805 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140736888610352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 2406251 20007 2283 9 0 2396937 0
[pid=21527/tid=21529] ppid=21525 vsize=9625004 CPUtime=112.75 cores=1,3,5,7
/proc/21527/task/21529/stat : 21529 (java) R 21525 21527 19004 0 -1 4202560 2635 0 1 0 11273 2 0 0 20 0 19 0 278694806 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415308243248 140415180670815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21530] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21530/stat : 21530 (java) S 21525 21527 19004 0 -1 4202560 70 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415151765672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21531] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21531/stat : 21531 (java) S 21525 21527 19004 0 -1 4202560 13 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415150713128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21532] ppid=21525 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/21527/task/21532/stat : 21532 (java) S 21525 21527 19004 0 -1 4202560 26 0 0 0 9 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415149660584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21533] ppid=21525 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/21527/task/21533/stat : 21533 (java) S 21525 21527 19004 0 -1 4202560 38 0 0 0 9 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415148608040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21534] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21534/stat : 21534 (java) S 21525 21527 19004 0 -1 4202560 64 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415147555496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21535] ppid=21525 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/21527/task/21535/stat : 21535 (java) S 21525 21527 19004 0 -1 4202560 23 0 0 0 6 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415146502952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21536] ppid=21525 vsize=9625004 CPUtime=0.1 cores=1,3,5,7
/proc/21527/task/21536/stat : 21536 (java) S 21525 21527 19004 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415145450408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21537] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21537/stat : 21537 (java) S 21525 21527 19004 0 -1 4202560 40 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415144397864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21538] ppid=21525 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/21527/task/21538/stat : 21538 (java) S 21525 21527 19004 0 -1 4202560 64 0 0 0 94 0 0 0 20 0 19 0 278694808 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415132199016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21539] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21539/stat : 21539 (java) S 21525 21527 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415131145336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21540] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21540/stat : 21540 (java) S 21525 21527 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415130092680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21541] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21541/stat : 21541 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415129041424 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21542] ppid=21525 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/21527/task/21542/stat : 21542 (java) S 21525 21527 19004 0 -1 4202560 9958 0 0 0 75 2 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415127988792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21543] ppid=21525 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21527/task/21543/stat : 21543 (java) S 21525 21527 19004 0 -1 4202560 3040 0 0 0 33 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415126936248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21544] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21544/stat : 21544 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415125883896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21545] ppid=21525 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21527/task/21545/stat : 21545 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415124831560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21546] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21546/stat : 21546 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278694836 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415123776296 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 115.93
Current children cumulated vsize (KiB) 9625004
[startup+114.701 s]
/proc/loadavg: 2.11 2.08 2.05 3/213 21547
/proc/meminfo: memFree=29006192/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=9625004 CPUtime=116.32 cores=1,3,5,7
/proc/21527/stat : 21527 (java) S 21525 21527 19004 0 -1 4202496 17190 0 1 0 11623 9 0 0 20 0 19 0 278694805 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140736888610352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 2406251 20007 2283 9 0 2396937 0
[pid=21527/tid=21529] ppid=21525 vsize=9625004 CPUtime=113.15 cores=1,3,5,7
/proc/21527/task/21529/stat : 21529 (java) R 21525 21527 19004 0 -1 4202560 2635 0 1 0 11313 2 0 0 20 0 19 0 278694806 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415308243248 140415180753919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21530] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21530/stat : 21530 (java) S 21525 21527 19004 0 -1 4202560 70 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415151765672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21531] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21531/stat : 21531 (java) S 21525 21527 19004 0 -1 4202560 13 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415150713128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21532] ppid=21525 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/21527/task/21532/stat : 21532 (java) S 21525 21527 19004 0 -1 4202560 26 0 0 0 9 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415149660584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21533] ppid=21525 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/21527/task/21533/stat : 21533 (java) S 21525 21527 19004 0 -1 4202560 38 0 0 0 9 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415148608040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21534] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21534/stat : 21534 (java) S 21525 21527 19004 0 -1 4202560 64 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415147555496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21535] ppid=21525 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/21527/task/21535/stat : 21535 (java) S 21525 21527 19004 0 -1 4202560 23 0 0 0 6 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415146502952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21536] ppid=21525 vsize=9625004 CPUtime=0.1 cores=1,3,5,7
/proc/21527/task/21536/stat : 21536 (java) S 21525 21527 19004 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415145450408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21537] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21537/stat : 21537 (java) S 21525 21527 19004 0 -1 4202560 40 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415144397864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21538] ppid=21525 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/21527/task/21538/stat : 21538 (java) S 21525 21527 19004 0 -1 4202560 64 0 0 0 94 0 0 0 20 0 19 0 278694808 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415132199016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21539] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21539/stat : 21539 (java) S 21525 21527 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415131145336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21540] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21540/stat : 21540 (java) S 21525 21527 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415130092680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21541] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21541/stat : 21541 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415129041424 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21542] ppid=21525 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/21527/task/21542/stat : 21542 (java) S 21525 21527 19004 0 -1 4202560 9958 0 0 0 75 2 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415127988792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21543] ppid=21525 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21527/task/21543/stat : 21543 (java) S 21525 21527 19004 0 -1 4202560 3040 0 0 0 33 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415126936248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21544] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21544/stat : 21544 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415125883896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21545] ppid=21525 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21527/task/21545/stat : 21545 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415124831560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21546] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21546/stat : 21546 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278694836 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415123776296 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 116.32
Current children cumulated vsize (KiB) 9625004
[startup+115.101 s]
/proc/loadavg: 2.11 2.08 2.05 3/213 21547
/proc/meminfo: memFree=29006192/32873844 swapFree=7116/7116
[pid=21527] ppid=21525 vsize=9625004 CPUtime=116.72 cores=1,3,5,7
/proc/21527/stat : 21527 (java) S 21525 21527 19004 0 -1 4202496 17190 0 1 0 11663 9 0 0 20 0 19 0 278694805 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140736888610352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21527/statm: 2406251 20007 2283 9 0 2396937 0
[pid=21527/tid=21529] ppid=21525 vsize=9625004 CPUtime=113.54 cores=1,3,5,7
/proc/21527/task/21529/stat : 21529 (java) R 21525 21527 19004 0 -1 4202560 2635 0 1 0 11352 2 0 0 20 0 19 0 278694806 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415308243248 140415180740448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21530] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21530/stat : 21530 (java) S 21525 21527 19004 0 -1 4202560 70 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415151765672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21531] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21531/stat : 21531 (java) S 21525 21527 19004 0 -1 4202560 13 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415150713128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21532] ppid=21525 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/21527/task/21532/stat : 21532 (java) S 21525 21527 19004 0 -1 4202560 26 0 0 0 9 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415149660584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21533] ppid=21525 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/21527/task/21533/stat : 21533 (java) S 21525 21527 19004 0 -1 4202560 38 0 0 0 9 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415148608040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21534] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21534/stat : 21534 (java) S 21525 21527 19004 0 -1 4202560 64 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415147555496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21535] ppid=21525 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/21527/task/21535/stat : 21535 (java) S 21525 21527 19004 0 -1 4202560 23 0 0 0 6 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415146502952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21527/tid=21536] ppid=21525 vsize=9625004 CPUtime=0.1 cores=1,3,5,7
/proc/21527/task/21536/stat : 21536 (java) S 21525 21527 19004 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415145450408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21527/tid=21537] ppid=21525 vsize=9625004 CPUtime=0.08 cores=1,3,5,7
/proc/21527/task/21537/stat : 21537 (java) S 21525 21527 19004 0 -1 4202560 40 0 0 0 8 0 0 0 20 0 19 0 278694807 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415144397864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21538] ppid=21525 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/21527/task/21538/stat : 21538 (java) S 21525 21527 19004 0 -1 4202560 64 0 0 0 94 0 0 0 20 0 19 0 278694808 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415132199016 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21539] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21539/stat : 21539 (java) S 21525 21527 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415131145336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21540] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21540/stat : 21540 (java) S 21525 21527 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278694809 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415130092680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21541] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21541/stat : 21541 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415129041424 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21542] ppid=21525 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/21527/task/21542/stat : 21542 (java) S 21525 21527 19004 0 -1 4202560 9958 0 0 0 75 2 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415127988792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21543] ppid=21525 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/21527/task/21543/stat : 21543 (java) S 21525 21527 19004 0 -1 4202560 3040 0 0 0 33 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415126936248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21544] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21544/stat : 21544 (java) S 21525 21527 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415125883896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21527/tid=21545] ppid=21525 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21527/task/21545/stat : 21545 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 278694811 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415124831560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21527/tid=21546] ppid=21525 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21527/task/21546/stat : 21546 (java) S 21525 21527 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278694836 9856004096 20007 33554432000 1073741824 1073778376 140736888619216 140415123776296 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 116.72
Current children cumulated vsize (KiB) 9625004
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21527 and gives
# childrusage.ru_utime.tv_sec=116
# childrusage.ru_utime.tv_usec=434299
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=172973
# CPU time returned by wait4() is 116.607
# while last known CPU time is 116.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 115.194
CPU time (s): 116.72
CPU user time (s): 116.63
CPU system time (s): 0.09
CPU usage (%): 101.325
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.434
system time used= 0.172973
maximum resident set size= 80084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17209
page faults= 1
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3947
involuntary context switches= 4046
runsolver used 0.506922 second user time and 1.2768 second system time
The end