runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13277 MiB free)
memory of node 1: 16384 MiB (15711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395748-1568398696/watcher-4395748-1568398696 -o /tmp/evaluation-result-4395748-1568398696/solver-4395748-1568398696 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568393484-30986 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=233428409 HOME/instance-4395748-1568398696.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32760, runsolver pid=32757
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.56 1.45 1.38 3/220 353
/proc/meminfo: memFree=29726284/32770624 swapFree=67004208/67108860
[pid=32760] ppid=32757 vsize=9988792 memory=19524 CPUtime=0.08 cores=1,3,5,7
/proc/32760/stat : 32760 (java) S 32757 32760 30411 0 -1 1077944320 4596 13147 0 0 1 0 4 3 20 0 6 0 416031202 10228523008 4881 33554432000 4194304 4196468 140733074349056 140733074331600 140090631188215 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
/proc/32760/statm: 2497198 4881 1973 1 0 2485636 0
[pid=32760/tid=349] ppid=32757 vsize=9988792 memory=4279135703980081808 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/349/stat : 349 (java) R 32757 32760 30411 0 -1 4202560 2390 13147 0 0 1 0 4 3 20 0 6 0 416031211 10228523008 4881 33554432000 4194304 4196468 140733074349056 140090603024976 140090616700925 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=350] ppid=32757 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/350/stat : 350 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 6 0 416031212 10228523008 4881 33554432000 4194304 4196468 140733074349056 140090635431056 140090631198421 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=351] ppid=32757 vsize=9988792 memory=139968758556288 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/351/stat : 351 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 6 0 416031212 10228523008 4881 33554432000 4194304 4196468 140733074349056 140090560736272 140090631198421 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=352] ppid=32757 vsize=9989820 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/352/stat : 352 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 6 0 416031212 10229575680 4881 33554432000 4194304 4196468 140733074349056 140090203102096 140090631198421 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=353] ppid=32757 vsize=9989820 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/353/stat : 353 (java) S 32757 32760 30411 0 -1 1077944384 2 13147 0 0 0 0 4 3 20 0 7 0 416031212 10229575680 4881 33554432000 4194304 4196468 140733074349056 140090202049296 140090631198421 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=354] ppid=32757 vsize=9989820 memory=139968758556288 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/354/stat : 354 (java) R 32757 32760 30411 0 -1 4202560 1 13147 0 0 0 0 4 3 20 0 7 0 416031213 10229575680 4881 33554432000 4194304 4196468 140733074349056 140090603024976 140090631202506 0 0 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9988792 KiB
Current children cumulated memory: 19524 KiB
[startup+0.209943 s]*
/proc/loadavg: 1.56 1.45 1.38 3/229 362
/proc/meminfo: memFree=29706328/32770624 swapFree=67004208/67108860
[pid=32760] ppid=32757 vsize=10819664 memory=43228 CPUtime=0.26 cores=1,3,5,7
/proc/32760/stat : 32760 (java) S 32757 32760 30411 0 -1 1077944320 7105 13147 0 0 17 2 4 3 20 0 15 0 416031202 11079335936 10807 33554432000 4194304 4196468 140733074349056 140733074331600 140090631188215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
/proc/32760/statm: 2704916 10807 3172 1 0 2667149 0
[pid=32760/tid=349] ppid=32757 vsize=10819664 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/32760/task/349/stat : 349 (java) R 32757 32760 30411 0 -1 4202560 3592 13147 0 0 10 1 4 3 20 0 15 0 416031211 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090603021088 140090615268702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=350] ppid=32757 vsize=10819664 memory=288230613314699634 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/350/stat : 350 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031212 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090635431056 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=351] ppid=32757 vsize=10819664 memory=3906935555921050713 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/351/stat : 351 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031212 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090560736272 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=352] ppid=32757 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/352/stat : 352 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031212 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090203102096 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=353] ppid=32757 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/353/stat : 353 (java) S 32757 32760 30411 0 -1 1077944384 2 13147 0 0 0 0 4 3 20 0 15 0 416031212 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090202049296 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=354] ppid=32757 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/354/stat : 354 (java) S 32757 32760 30411 0 -1 1077944384 2 13147 0 0 0 0 4 3 20 0 15 0 416031213 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090157795696 140090631199362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=355] ppid=32757 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/355/stat : 355 (java) S 32757 32760 30411 0 -1 1077944384 13 13147 0 0 0 0 4 3 20 0 15 0 416031213 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090089137184 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=356] ppid=32757 vsize=10819664 memory=139968758556288 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/356/stat : 356 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031214 11079335936 10807 33554432000 4194304 4196468 140733074349056 140089418048368 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=357] ppid=32757 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/357/stat : 357 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031216 11079335936 10807 33554432000 4194304 4196468 140733074349056 140089177757520 140090631206811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=358] ppid=32757 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/358/stat : 358 (java) S 32757 32760 30411 0 -1 1077944384 336 13147 0 0 1 0 4 3 20 0 15 0 416031216 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090055580528 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=359] ppid=32757 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/359/stat : 359 (java) R 32757 32760 30411 0 -1 1077944384 315 13147 0 0 1 0 4 3 20 0 15 0 416031216 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090054527728 140090631199362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=360] ppid=32757 vsize=10819664 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/32760/task/360/stat : 360 (java) R 32757 32760 30411 0 -1 4202560 632 13147 0 0 3 0 4 3 20 0 15 0 416031216 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090053474928 140090631209562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=361] ppid=32757 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/361/stat : 361 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031217 11079335936 10807 33554432000 4194304 4196468 140733074349056 140089144199904 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=362] ppid=32757 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/362/stat : 362 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031217 11079335936 10807 33554432000 4194304 4196468 140733074349056 140090052422320 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 43228 KiB
[startup+0.310333 s]*
/proc/loadavg: 1.56 1.45 1.38 3/229 362
/proc/meminfo: memFree=29693780/32770624 swapFree=67004208/67108860
[pid=32760] ppid=32757 vsize=10820148 memory=52304 CPUtime=0.4 cores=1,3,5,7
/proc/32760/stat : 32760 (java) S 32757 32760 30411 0 -1 1077944320 10794 13147 0 0 29 4 4 3 20 0 15 0 416031202 11079831552 13076 33554432000 4194304 4196468 140733074349056 140733074331600 140090631188215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
/proc/32760/statm: 2705037 13076 3306 1 0 2667149 0
[pid=32760/tid=349] ppid=32757 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/32760/task/349/stat : 349 (java) R 32757 32760 30411 0 -1 4202560 7247 13147 0 0 19 3 4 3 20 0 15 0 416031211 11079831552 13076 33554432000 4194304 4196468 140733074349056 140090603013744 140090615268702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=350] ppid=32757 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/350/stat : 350 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031212 11079831552 13076 33554432000 4194304 4196468 140733074349056 140090635431056 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=351] ppid=32757 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/351/stat : 351 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031212 11079831552 13076 33554432000 4194304 4196468 140733074349056 140090560736272 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=352] ppid=32757 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/352/stat : 352 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031212 11079831552 13076 33554432000 4194304 4196468 140733074349056 140090203102096 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=353] ppid=32757 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/353/stat : 353 (java) S 32757 32760 30411 0 -1 1077944384 2 13147 0 0 0 0 4 3 20 0 15 0 416031212 11079831552 13076 33554432000 4194304 4196468 140733074349056 140090202049296 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=354] ppid=32757 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/354/stat : 354 (java) S 32757 32760 30411 0 -1 1077944384 2 13147 0 0 0 0 4 3 20 0 15 0 416031213 11079831552 13076 33554432000 4194304 4196468 140733074349056 140090157795696 140090631199362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=355] ppid=32757 vsize=10820152 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/355/stat : 355 (java) S 32757 32760 30411 0 -1 1077944384 13 13147 0 0 0 0 4 3 20 0 15 0 416031213 11079835648 13076 33554432000 4194304 4196468 140733074349056 140090089137184 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=356] ppid=32757 vsize=10820152 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/356/stat : 356 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031214 11079835648 13076 33554432000 4194304 4196468 140733074349056 140089418048368 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=357] ppid=32757 vsize=10820152 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/357/stat : 357 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031216 11079835648 13076 33554432000 4194304 4196468 140733074349056 140089177757520 140090631206811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=358] ppid=32757 vsize=10820152 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/358/stat : 358 (java) S 32757 32760 30411 0 -1 1077944384 336 13147 0 0 1 0 4 3 20 0 15 0 416031216 11079835648 13076 33554432000 4194304 4196468 140733074349056 140090055580528 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=359] ppid=32757 vsize=10820152 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/32760/task/359/stat : 359 (java) S 32757 32760 30411 0 -1 1077944384 325 13147 0 0 2 0 4 3 20 0 15 0 416031216 11079835648 13076 33554432000 4194304 4196468 140733074349056 140090054527728 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=360] ppid=32757 vsize=10820196 memory=139968758556288 CPUtime=0.12 cores=1,3,5,7
/proc/32760/task/360/stat : 360 (java) S 32757 32760 30411 0 -1 1077944384 653 13147 0 0 5 0 4 3 20 0 15 0 416031216 11079880704 13076 33554432000 4194304 4196468 140733074349056 140090053474928 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=361] ppid=32757 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/361/stat : 361 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031217 11079880704 13076 33554432000 4194304 4196468 140733074349056 140089144199904 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=362] ppid=32757 vsize=10820196 memory=139968758556288 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/362/stat : 362 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031217 11079880704 13076 33554432000 4194304 4196468 140733074349056 140090052422320 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 52304 KiB
[startup+0.700707 s]
/proc/loadavg: 1.56 1.45 1.38 3/229 362
/proc/meminfo: memFree=29678476/32770624 swapFree=67004208/67108860
[pid=32760] ppid=32757 vsize=10824360 memory=85548 CPUtime=1.13 cores=1,3,5,7
/proc/32760/stat : 32760 (java) S 32757 32760 30411 0 -1 1077944320 15082 13147 0 0 100 6 4 3 20 0 15 0 416031202 11084144640 21387 33554432000 4194304 4196468 140733074349056 140733074331600 140090631188215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
/proc/32760/statm: 2706090 21387 3499 1 0 2668173 0
[pid=32760/tid=349] ppid=32757 vsize=10824360 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32760/task/349/stat : 349 (java) D 32757 32760 30411 0 -1 1077944384 10432 13147 0 0 54 5 4 3 20 0 15 0 416031211 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090603015376 140090631212093 0 4 0 16800975 18446744072101608996 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=350] ppid=32757 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/350/stat : 350 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031212 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090635431056 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=351] ppid=32757 vsize=10824360 memory=2533963597569 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/351/stat : 351 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031212 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090560736272 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=352] ppid=32757 vsize=10824360 memory=31607204 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/352/stat : 352 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031212 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090203102096 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=353] ppid=32757 vsize=10824360 memory=-8628789465997925488 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/353/stat : 353 (java) S 32757 32760 30411 0 -1 1077944384 2 13147 0 0 0 0 4 3 20 0 15 0 416031212 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090202049296 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=354] ppid=32757 vsize=10824360 memory=7517741783662482256 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/354/stat : 354 (java) S 32757 32760 30411 0 -1 1077944384 5 13147 0 0 0 0 4 3 20 0 15 0 416031213 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090157795696 140090631199362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=355] ppid=32757 vsize=10824360 memory=7380106142448641111 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/355/stat : 355 (java) S 32757 32760 30411 0 -1 1077944384 13 13147 0 0 0 0 4 3 20 0 15 0 416031213 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090089137184 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=356] ppid=32757 vsize=10824360 memory=19176 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/356/stat : 356 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031214 11084144640 21387 33554432000 4194304 4196468 140733074349056 140089418048368 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=357] ppid=32757 vsize=10824360 memory=14068 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/357/stat : 357 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031216 11084144640 21387 33554432000 4194304 4196468 140733074349056 140089177757520 140090631206811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=358] ppid=32757 vsize=10824360 memory=2120 CPUtime=0.21 cores=1,3,5,7
/proc/32760/task/358/stat : 358 (java) S 32757 32760 30411 0 -1 1077944384 804 13147 0 0 14 0 4 3 20 0 15 0 416031216 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090055580528 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=359] ppid=32757 vsize=10824360 memory=504 CPUtime=0.2 cores=1,3,5,7
/proc/32760/task/359/stat : 359 (java) R 32757 32760 30411 0 -1 4202560 760 13147 0 0 13 0 4 3 20 0 15 0 416031216 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090054514272 140090623477504 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=360] ppid=32757 vsize=10824360 memory=1560 CPUtime=0.23 cores=1,3,5,7
/proc/32760/task/360/stat : 360 (java) S 32757 32760 30411 0 -1 1077944384 850 13147 0 0 16 0 4 3 20 0 15 0 416031216 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090053474928 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=361] ppid=32757 vsize=10824360 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/361/stat : 361 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031217 11084144640 21387 33554432000 4194304 4196468 140733074349056 140089144199904 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=362] ppid=32757 vsize=10824360 memory=1692 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/362/stat : 362 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031217 11084144640 21387 33554432000 4194304 4196468 140733074349056 140090052422320 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85548 KiB
[startup+1.50079 s]
/proc/loadavg: 1.56 1.45 1.38 6/229 362
/proc/meminfo: memFree=29612900/32770624 swapFree=67004208/67108860
[pid=32760] ppid=32757 vsize=10832628 memory=219020 CPUtime=2.91 cores=1,3,5,7
/proc/32760/stat : 32760 (java) S 32757 32760 30411 0 -1 1077944320 23537 13147 0 0 273 11 4 3 20 0 15 0 416031202 11092611072 54755 33554432000 4194304 4196468 140733074349056 140733074331600 140090631188215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
/proc/32760/statm: 2708157 54755 3581 1 0 2670221 0
[pid=32760/tid=349] ppid=32757 vsize=10832628 memory=6791534058613427641 CPUtime=1.42 cores=1,3,5,7
/proc/32760/task/349/stat : 349 (java) R 32757 32760 30411 0 -1 4202560 15202 13147 0 0 129 6 4 3 20 0 15 0 416031211 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090602997184 140090612561664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=350] ppid=32757 vsize=10832628 memory=276 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/350/stat : 350 (java) S 32757 32760 30411 0 -1 1077944384 85 13147 0 0 1 0 4 3 20 0 15 0 416031212 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090635431056 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=351] ppid=32757 vsize=10832628 memory=18788 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/351/stat : 351 (java) S 32757 32760 30411 0 -1 1077944384 27 13147 0 0 1 0 4 3 20 0 15 0 416031212 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090560736272 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=352] ppid=32757 vsize=10832628 memory=28337 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/352/stat : 352 (java) S 32757 32760 30411 0 -1 1077944384 294 13147 0 0 1 0 4 3 20 0 15 0 416031212 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090203102096 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=353] ppid=32757 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/353/stat : 353 (java) S 32757 32760 30411 0 -1 1077944384 61 13147 0 0 1 0 4 3 20 0 15 0 416031212 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090202049296 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=354] ppid=32757 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/354/stat : 354 (java) S 32757 32760 30411 0 -1 1077944384 647 13147 0 0 1 0 4 3 20 0 15 0 416031213 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090157795696 140090631199362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=355] ppid=32757 vsize=10832628 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/355/stat : 355 (java) S 32757 32760 30411 0 -1 1077944384 14 13147 0 0 0 0 4 3 20 0 15 0 416031213 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090089137248 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=356] ppid=32757 vsize=10832628 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/356/stat : 356 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031214 11092611072 54755 33554432000 4194304 4196468 140733074349056 140089418048384 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=357] ppid=32757 vsize=10832628 memory=468 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/357/stat : 357 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031216 11092611072 54755 33554432000 4194304 4196468 140733074349056 140089177757520 140090631206811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=358] ppid=32757 vsize=10832628 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/32760/task/358/stat : 358 (java) S 32757 32760 30411 0 -1 1077944384 1631 13147 0 0 46 0 4 3 20 0 15 0 416031216 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090055580528 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=359] ppid=32757 vsize=10832628 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/32760/task/359/stat : 359 (java) S 32757 32760 30411 0 -1 1077944384 1487 13147 0 0 46 0 4 3 20 0 15 0 416031216 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090054527728 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=360] ppid=32757 vsize=10832628 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/32760/task/360/stat : 360 (java) S 32757 32760 30411 0 -1 1077944384 1876 13147 0 0 42 1 4 3 20 0 15 0 416031216 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090053474928 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=361] ppid=32757 vsize=10832628 memory=5788348644297118596 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/361/stat : 361 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031217 11092611072 54755 33554432000 4194304 4196468 140733074349056 140089144199904 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=362] ppid=32757 vsize=10832628 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/362/stat : 362 (java) S 32757 32760 30411 0 -1 1077944384 1 13147 0 0 0 0 4 3 20 0 15 0 416031217 11092611072 54755 33554432000 4194304 4196468 140733074349056 140090052422320 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10832628 KiB
Current children cumulated memory: 219020 KiB
[startup+3.11079 s]
/proc/loadavg: 1.56 1.45 1.38 5/229 362
/proc/meminfo: memFree=29465368/32770624 swapFree=67004208/67108860
[pid=32760] ppid=32757 vsize=10842888 memory=300556 CPUtime=7.24 cores=1,3,5,7
/proc/32760/stat : 32760 (java) S 32757 32760 30411 0 -1 1077944320 40310 13147 0 0 700 17 4 3 20 0 15 0 416031202 11103117312 75139 33554432000 4194304 4196468 140733074349056 140733074331600 140090631188215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
/proc/32760/statm: 2710722 75139 3608 1 0 2672781 0
[pid=32760/tid=349] ppid=32757 vsize=10842888 memory=54 CPUtime=3.01 cores=1,3,5,7
/proc/32760/task/349/stat : 349 (java) R 32757 32760 30411 0 -1 4202560 22135 13147 0 0 286 8 4 3 20 0 15 0 416031211 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090603021704 140090239996679 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=350] ppid=32757 vsize=10842888 memory=-6804530832991035292 CPUtime=0.09 cores=1,3,5,7
/proc/32760/task/350/stat : 350 (java) S 32757 32760 30411 0 -1 1077944384 96 13147 0 0 2 0 4 3 20 0 15 0 416031212 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090635431056 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=351] ppid=32757 vsize=10842888 memory=8305311027921445216 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/351/stat : 351 (java) S 32757 32760 30411 0 -1 1077944384 53 13147 0 0 1 0 4 3 20 0 15 0 416031212 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090560736272 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=352] ppid=32757 vsize=10842888 memory=7234576917979478634 CPUtime=0.08 cores=1,3,5,7
/proc/32760/task/352/stat : 352 (java) S 32757 32760 30411 0 -1 1077944384 378 13147 0 0 1 0 4 3 20 0 15 0 416031212 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090203102096 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=353] ppid=32757 vsize=10842888 memory=-9001733975035308135 CPUtime=0.09 cores=1,3,5,7
/proc/32760/task/353/stat : 353 (java) S 32757 32760 30411 0 -1 1077944384 75 13147 0 0 2 0 4 3 20 0 15 0 416031212 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090202049296 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=354] ppid=32757 vsize=10842888 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32760/task/354/stat : 354 (java) S 32757 32760 30411 0 -1 1077944384 736 13147 0 0 2 0 4 3 20 0 15 0 416031213 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090157795696 140090631199362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=355] ppid=32757 vsize=10842888 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/355/stat : 355 (java) S 32757 32760 30411 0 -1 1077944384 17 13147 0 0 0 0 4 3 20 0 15 0 416031213 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090089137248 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=356] ppid=32757 vsize=10842888 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/356/stat : 356 (java) S 32757 32760 30411 0 -1 1077944384 4 13147 0 0 0 0 4 3 20 0 15 0 416031214 11103117312 75139 33554432000 4194304 4196468 140733074349056 140089418048384 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=357] ppid=32757 vsize=10842888 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/357/stat : 357 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031216 11103117312 75139 33554432000 4194304 4196468 140733074349056 140089177757520 140090631206811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=358] ppid=32757 vsize=10842888 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/32760/task/358/stat : 358 (java) R 32757 32760 30411 0 -1 4202560 4017 13147 0 0 140 1 4 3 20 0 15 0 416031216 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090055565040 140090612732712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=359] ppid=32757 vsize=10842888 memory=0 CPUtime=1.61 cores=1,3,5,7
/proc/32760/task/359/stat : 359 (java) R 32757 32760 30411 0 -1 4202560 4919 13147 0 0 153 1 4 3 20 0 15 0 416031216 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090054514160 140090616303461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=360] ppid=32757 vsize=10842888 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/32760/task/360/stat : 360 (java) R 32757 32760 30411 0 -1 4202560 5663 13147 0 0 107 2 4 3 20 0 15 0 416031216 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090053474928 140090615268702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=361] ppid=32757 vsize=10842888 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/361/stat : 361 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031217 11103117312 75139 33554432000 4194304 4196468 140733074349056 140089144199904 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=362] ppid=32757 vsize=10842888 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/362/stat : 362 (java) S 32757 32760 30411 0 -1 1077944384 7 13147 0 0 0 0 4 3 20 0 15 0 416031217 11103117312 75139 33554432000 4194304 4196468 140733074349056 140090052422320 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
Current children cumulated CPU time: 7.24 s
Current children cumulated vsize: 10842888 KiB
Current children cumulated memory: 300556 KiB
[startup+3.7279 s]
# the end of solver process 32760 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.67097 s, system=0.2325 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20333 s]
/proc/loadavg: 1.56 1.45 1.38 5/229 362
/proc/meminfo: memFree=29465368/32770624 swapFree=67004208/67108860
[pid=32760] ppid=32757 vsize=10844936 memory=302216 CPUtime=7.48 cores=1,3,5,7
/proc/32760/stat : 32760 (java) S 32757 32760 30411 0 -1 1077944320 40812 13147 0 0 724 17 4 3 20 0 15 0 416031202 11105214464 75554 33554432000 4194304 4196468 140733074349056 140733074331600 140090631188215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
/proc/32760/statm: 2711234 75554 3611 1 0 2673293 0
[pid=32760/tid=349] ppid=32757 vsize=10844936 memory=0 CPUtime=3.09 cores=1,3,5,7
/proc/32760/task/349/stat : 349 (java) S 32757 32760 30411 0 -1 1077944384 22407 13147 0 0 294 8 4 3 20 0 15 0 416031211 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090603013696 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=350] ppid=32757 vsize=10844936 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/32760/task/350/stat : 350 (java) R 32757 32760 30411 0 -1 4202560 117 13147 0 0 3 0 4 3 20 0 15 0 416031212 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090635431056 140090615885854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=351] ppid=32757 vsize=10844936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32760/task/351/stat : 351 (java) R 32757 32760 30411 0 -1 4202560 67 13147 0 0 2 0 4 3 20 0 15 0 416031212 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090560736168 140090623816423 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=352] ppid=32757 vsize=10844936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32760/task/352/stat : 352 (java) R 32757 32760 30411 0 -1 4202560 401 13147 0 0 2 0 4 3 20 0 15 0 416031212 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090203102096 140090612784638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=353] ppid=32757 vsize=10844936 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/32760/task/353/stat : 353 (java) R 32757 32760 30411 0 -1 4202560 89 13147 0 0 3 0 4 3 20 0 15 0 416031212 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090202049296 140090615885854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=354] ppid=32757 vsize=10844936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32760/task/354/stat : 354 (java) S 32757 32760 30411 0 -1 1077944384 750 13147 0 0 2 0 4 3 20 0 15 0 416031213 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090157793984 140090631198421 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=355] ppid=32757 vsize=10844936 memory=3588 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/355/stat : 355 (java) S 32757 32760 30411 0 -1 1077944384 17 13147 0 0 0 0 4 3 20 0 15 0 416031213 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090089137248 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=356] ppid=32757 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/356/stat : 356 (java) S 32757 32760 30411 0 -1 1077944384 4 13147 0 0 0 0 4 3 20 0 15 0 416031214 11105214464 75554 33554432000 4194304 4196468 140733074349056 140089418048384 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=357] ppid=32757 vsize=10844936 memory=14832975321766952 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/357/stat : 357 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031216 11105214464 75554 33554432000 4194304 4196468 140733074349056 140089177757520 140090631206811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=358] ppid=32757 vsize=10844936 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/32760/task/358/stat : 358 (java) S 32757 32760 30411 0 -1 1077944384 4037 13147 0 0 146 1 4 3 20 0 15 0 416031216 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090055565520 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=359] ppid=32757 vsize=10844936 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/32760/task/359/stat : 359 (java) S 32757 32760 30411 0 -1 1077944384 4940 13147 0 0 157 1 4 3 20 0 15 0 416031216 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090054527728 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=360] ppid=32757 vsize=10844936 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/32760/task/360/stat : 360 (java) S 32757 32760 30411 0 -1 1077944384 5765 13147 0 0 111 2 4 3 20 0 15 0 416031216 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090053474928 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=361] ppid=32757 vsize=10844936 memory=7809523229951467574 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/361/stat : 361 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031217 11105214464 75554 33554432000 4194304 4196468 140733074349056 140089144199904 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=362] ppid=32757 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/362/stat : 362 (java) S 32757 32760 30411 0 -1 1077944384 7 13147 0 0 0 0 4 3 20 0 15 0 416031217 11105214464 75554 33554432000 4194304 4196468 140733074349056 140090052422320 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 302216 KiB
[startup+3.60175 s]
/proc/loadavg: 1.56 1.45 1.38 5/229 362
/proc/meminfo: memFree=29465368/32770624 swapFree=67004208/67108860
[pid=32760] ppid=32757 vsize=10844936 memory=308220 CPUtime=8.7 cores=1,3,5,7
/proc/32760/stat : 32760 (java) S 32757 32760 30411 0 -1 1077944320 43764 13147 0 0 845 18 4 3 20 0 15 0 416031202 11105214464 77055 33554432000 4194304 4196468 140733074349056 140733074331600 140090631188215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
/proc/32760/statm: 2711234 77055 3614 1 0 2673293 0
[pid=32760/tid=349] ppid=32757 vsize=10844936 memory=2503898826241 CPUtime=3.46 cores=1,3,5,7
/proc/32760/task/349/stat : 349 (java) R 32757 32760 30411 0 -1 4202560 22964 13147 0 0 330 9 4 3 20 0 15 0 416031211 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090603022720 140090610995233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=350] ppid=32757 vsize=10844936 memory=2508193793537 CPUtime=0.11 cores=1,3,5,7
/proc/32760/task/350/stat : 350 (java) S 32757 32760 30411 0 -1 1077944384 118 13147 0 0 4 0 4 3 20 0 15 0 416031212 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090635431056 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=351] ppid=32757 vsize=10844936 memory=2529668629761 CPUtime=0.1 cores=1,3,5,7
/proc/32760/task/351/stat : 351 (java) S 32757 32760 30411 0 -1 1077944384 67 13147 0 0 3 0 4 3 20 0 15 0 416031212 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090560736272 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=352] ppid=32757 vsize=10844936 memory=2110319229293172 CPUtime=0.11 cores=1,3,5,7
/proc/32760/task/352/stat : 352 (java) S 32757 32760 30411 0 -1 1077944384 402 13147 0 0 4 0 4 3 20 0 15 0 416031212 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090203102096 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=353] ppid=32757 vsize=10844936 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32760/task/353/stat : 353 (java) S 32757 32760 30411 0 -1 1077944384 89 13147 0 0 4 0 4 3 20 0 15 0 416031212 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090202049296 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=354] ppid=32757 vsize=10844936 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/32760/task/354/stat : 354 (java) S 32757 32760 30411 0 -1 1077944384 2207 13147 0 0 3 0 4 3 20 0 15 0 416031213 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090157795696 140090631199362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=355] ppid=32757 vsize=10844936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/355/stat : 355 (java) S 32757 32760 30411 0 -1 1077944384 17 13147 0 0 0 0 4 3 20 0 15 0 416031213 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090089137248 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=356] ppid=32757 vsize=10844936 memory=4113 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/356/stat : 356 (java) S 32757 32760 30411 0 -1 1077944384 4 13147 0 0 0 0 4 3 20 0 15 0 416031214 11105214464 77055 33554432000 4194304 4196468 140733074349056 140089418048384 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=357] ppid=32757 vsize=10844936 memory=13252 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/357/stat : 357 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031216 11105214464 77055 33554432000 4194304 4196468 140733074349056 140089177757520 140090631206811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=358] ppid=32757 vsize=10844936 memory=54 CPUtime=1.84 cores=1,3,5,7
/proc/32760/task/358/stat : 358 (java) R 32757 32760 30411 0 -1 4202560 4354 13147 0 0 176 1 4 3 20 0 15 0 416031216 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090055572368 140090615581702 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=359] ppid=32757 vsize=10844936 memory=2241 CPUtime=2 cores=1,3,5,7
/proc/32760/task/359/stat : 359 (java) R 32757 32760 30411 0 -1 4202560 5301 13147 0 0 192 1 4 3 20 0 15 0 416031216 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090054506160 140090612732319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=360] ppid=32757 vsize=10844936 memory=2244 CPUtime=1.33 cores=1,3,5,7
/proc/32760/task/360/stat : 360 (java) S 32757 32760 30411 0 -1 1077944384 6023 13147 0 0 124 2 4 3 20 0 15 0 416031216 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090053474928 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=361] ppid=32757 vsize=10844936 memory=139968622158628 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/361/stat : 361 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 15 0 416031217 11105214464 77055 33554432000 4194304 4196468 140733074349056 140089144199904 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=362] ppid=32757 vsize=10844936 memory=279937244201200 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/362/stat : 362 (java) S 32757 32760 30411 0 -1 1077944384 7 13147 0 0 0 0 4 3 20 0 15 0 416031217 11105214464 77055 33554432000 4194304 4196468 140733074349056 140090052422320 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
Current children cumulated CPU time: 8.7 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 308220 KiB
[startup+3.70061 s]
/proc/loadavg: 1.56 1.45 1.38 5/229 362
/proc/meminfo: memFree=29465368/32770624 swapFree=67004208/67108860
[pid=32760] ppid=32757 vsize=10914720 memory=314308 CPUtime=8.86 cores=1,3,5,7
/proc/32760/stat : 32760 (java) S 32757 32760 30411 0 -1 1077944320 45307 13147 0 0 861 18 4 3 20 0 13 0 416031202 11176673280 78577 33554432000 4194304 4196468 140733074349056 140733074331600 140090631188215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
/proc/32760/statm: 2728680 78577 3618 1 0 2690739 0
[pid=32760/tid=349] ppid=32757 vsize=10914720 memory=279937244351744 CPUtime=3.48 cores=1,3,5,7
/proc/32760/task/349/stat : 349 (java) S 32757 32760 30411 0 -1 1077944384 23121 13147 0 0 332 9 4 3 20 0 13 0 416031211 11176673280 78577 33554432000 4194304 4196468 140733074349056 140090603031696 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=350] ppid=32757 vsize=10914720 memory=1846768830209 CPUtime=0.11 cores=1,3,5,7
/proc/32760/task/350/stat : 350 (java) S 32757 32760 30411 0 -1 1077944384 118 13147 0 0 4 0 4 3 20 0 13 0 416031212 11176673280 78577 33554432000 4194304 4196468 140733074349056 140090635431056 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=351] ppid=32757 vsize=10914720 memory=1936963143425 CPUtime=0.1 cores=1,3,5,7
/proc/32760/task/351/stat : 351 (java) S 32757 32760 30411 0 -1 1077944384 67 13147 0 0 3 0 4 3 20 0 13 0 416031212 11176673280 78577 33554432000 4194304 4196468 140733074349056 140090560736272 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=352] ppid=32757 vsize=10914720 memory=2349280003841 CPUtime=0.11 cores=1,3,5,7
/proc/32760/task/352/stat : 352 (java) S 32757 32760 30411 0 -1 1077944384 402 13147 0 0 4 0 4 3 20 0 13 0 416031212 11176673280 78577 33554432000 4194304 4196468 140733074349056 140090203102096 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=353] ppid=32757 vsize=10914720 memory=2443769284353 CPUtime=0.11 cores=1,3,5,7
/proc/32760/task/353/stat : 353 (java) S 32757 32760 30411 0 -1 1077944384 89 13147 0 0 4 0 4 3 20 0 13 0 416031212 11176673280 78577 33554432000 4194304 4196468 140733074349056 140090202049296 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=354] ppid=32757 vsize=10914720 memory=2460949153537 CPUtime=0.1 cores=1,3,5,7
/proc/32760/task/354/stat : 354 (java) S 32757 32760 30411 0 -1 1077944384 2207 13147 0 0 3 0 4 3 20 0 13 0 416031213 11176673280 78577 33554432000 4194304 4196468 140733074349056 140090157795904 140090631199362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=355] ppid=32757 vsize=10914720 memory=2482423990017 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/355/stat : 355 (java) S 32757 32760 30411 0 -1 1077944384 17 13147 0 0 0 0 4 3 20 0 13 0 416031213 11176673280 78577 33554432000 4194304 4196468 140733074349056 140090089137248 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=356] ppid=32757 vsize=10914720 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/356/stat : 356 (java) S 32757 32760 30411 0 -1 1077944384 4 13147 0 0 0 0 4 3 20 0 13 0 416031214 11176673280 78577 33554432000 4194304 4196468 140733074349056 140089418048384 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=358] ppid=32757 vsize=10914720 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/32760/task/358/stat : 358 (java) S 32757 32760 30411 0 -1 1077944384 4398 13147 0 0 178 1 4 3 20 0 13 0 416031216 11176673280 78577 33554432000 4194304 4196468 140733074349056 140090055569504 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=359] ppid=32757 vsize=10914720 memory=2168 CPUtime=2.1 cores=1,3,5,7
/proc/32760/task/359/stat : 359 (java) R 32757 32760 30411 0 -1 4202560 6552 13147 0 0 202 1 4 3 20 0 13 0 416031216 11176673280 78577 33554432000 4194304 4196468 140733074349056 140090054513744 140090612710439 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=360] ppid=32757 vsize=10914720 memory=2 CPUtime=1.34 cores=1,3,5,7
/proc/32760/task/360/stat : 360 (java) S 32757 32760 30411 0 -1 1077944384 6078 13147 0 0 125 2 4 3 20 0 13 0 416031216 11176673280 78577 33554432000 4194304 4196468 140733074349056 140090053474928 140090631199362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
[pid=32760/tid=361] ppid=32757 vsize=10914720 memory=670 CPUtime=0.07 cores=1,3,5,7
/proc/32760/task/361/stat : 361 (java) S 32757 32760 30411 0 -1 1077944384 3 13147 0 0 0 0 4 3 20 0 13 0 416031217 11176673280 78577 33554432000 4194304 4196468 140733074349056 140089144199904 140090631198421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24997888 140733074356976 140733074359493 140733074359493 140733074362319 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 10914720 KiB
Current children cumulated memory: 314308 KiB
Child status: 0
Real time (s): 3.72795
CPU time (s): 8.90347
CPU user time (s): 8.67097
CPU system time (s): 0.2325
CPU usage (%): 238.83
Max. virtual memory (cumulated for all children) (KiB): 10914720
Max. memory (cumulated for all children) (KiB): 314308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.67097
system time used= 0.2325
maximum resident set size= 314512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5458
involuntary context switches= 54
# summary of solver processes directly reported to runsolver:
# pid: 32760
# total CPU time (s): 8.90347
# total CPU user time (s): 8.67097
# total CPU system time (s): 0.2325
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041226 second user time and 0.079081 second system time
The end