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 (11080 MiB free)
memory of node 1: 16384 MiB (15852 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299225-1532796370/watcher-4299225-1532796370 -o /tmp/evaluation-result-4299225-1532796370/solver-4299225-1532796370 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532776307-29142 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299225-1532796370.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
Current StackSize limit: 8192 KiB
solver pid=31487, runsolver pid=31484
[startup+0.100096 s]*
/proc/loadavg: 2.25 1.57 1.46 5/215 31502
/proc/meminfo: memFree=27565004/32770624 swapFree=67108860/67108860
[pid=31487] ppid=31484 vsize=10658972 memory=25724 CPUtime=0.13 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31484 31487 29110 0 -1 1077944320 5355 0 0 0 12 1 0 0 20 0 15 0 97200204 10914787328 6431 33554432000 4194304 4196468 140731134018576 140731134001120 140330033872631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
/proc/31487/statm: 2664743 6431 2822 1 0 2627263 0
[pid=31487/tid=31489] ppid=31484 vsize=10658972 memory=-8413741653617185660 CPUtime=0.09 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31484 31487 29110 0 -1 4202560 3165 0 0 0 9 0 0 0 20 0 15 0 97200204 10914787328 6431 33554432000 4194304 4196468 140731134018576 140330038102112 140330033893978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31490] ppid=31484 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200205 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329640921360 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31491] ppid=31484 vsize=10658972 memory=139795789792896 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200205 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329639868816 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31492] ppid=31484 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200205 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329638816272 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31493] ppid=31484 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31484 31487 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97200205 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329637763728 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31494] ppid=31484 vsize=10658972 memory=139795789792896 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31484 31487 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97200206 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329526196720 140330033883778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31495] ppid=31484 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31484 31487 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97200207 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329525142944 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31496] ppid=31484 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31484 31487 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97200207 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329524090352 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31497] ppid=31484 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200209 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329523038928 140330033891227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31498] ppid=31484 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) R 31484 31487 29110 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 97200209 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329521985616 140330033882837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31499] ppid=31484 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) R 31484 31487 29110 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 15 0 97200209 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329520924480 140330017408672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31500] ppid=31484 vsize=10658972 memory=139795789792896 CPUtime=0.02 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) R 31484 31487 29110 0 -1 4202560 385 0 0 0 2 0 0 0 20 0 15 0 97200209 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329519880432 140330013587404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31501] ppid=31484 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200210 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329518828128 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31502] ppid=31484 vsize=10658972 memory=139795789792896 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) R 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200210 10914787328 6431 33554432000 4194304 4196468 140731134018576 140329517775664 140330033883778 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 25724 KiB
[startup+0.210612 s]*
/proc/loadavg: 2.25 1.57 1.46 5/215 31502
/proc/meminfo: memFree=27552288/32770624 swapFree=67108860/67108860
[pid=31487] ppid=31484 vsize=10658972 memory=38632 CPUtime=0.33 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31484 31487 29110 0 -1 1077944320 8229 0 0 0 31 2 0 0 20 0 15 0 97200204 10914787328 9658 33554432000 4194304 4196468 140731134018576 140731134001120 140330033872631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
/proc/31487/statm: 2664743 9658 2975 1 0 2627263 0
[pid=31487/tid=31489] ppid=31484 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31484 31487 29110 0 -1 4202560 5130 0 0 0 19 1 0 0 20 0 15 0 97200204 10914787328 9658 33554432000 4194304 4196468 140731134018576 140330038104328 140330033894557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31490] ppid=31484 vsize=10658972 memory=331 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200205 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329640921360 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31491] ppid=31484 vsize=10658972 memory=139795790317870 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200205 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329639868816 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31492] ppid=31484 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200205 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329638816272 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31493] ppid=31484 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31484 31487 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97200205 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329637763728 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31494] ppid=31484 vsize=10658972 memory=139795789792896 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31484 31487 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97200206 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329526196720 140330033883778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31495] ppid=31484 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31484 31487 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97200207 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329525142944 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31496] ppid=31484 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31484 31487 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97200207 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329524090352 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31497] ppid=31484 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200209 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329523038928 140330033891227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31498] ppid=31484 vsize=10658972 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) R 31484 31487 29110 0 -1 4202560 686 0 0 0 2 0 0 0 20 0 15 0 97200209 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329521985520 140330026162013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31499] ppid=31484 vsize=10658972 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) R 31484 31487 29110 0 -1 4202560 118 0 0 0 1 0 0 0 20 0 15 0 97200209 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329520932976 140330026162080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31500] ppid=31484 vsize=10658972 memory=139795789792896 CPUtime=0.07 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31484 31487 29110 0 -1 1077944384 951 0 0 0 7 0 0 0 20 0 15 0 97200209 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329519880432 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31501] ppid=31484 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200210 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329518828128 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31502] ppid=31484 vsize=10658972 memory=139795789792896 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200210 10914787328 9658 33554432000 4194304 4196468 140731134018576 140329517775664 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 38632 KiB
[startup+0.319907 s]*
/proc/loadavg: 2.25 1.57 1.46 6/215 31502
/proc/meminfo: memFree=27538400/32770624 swapFree=67108860/67108860
[pid=31487] ppid=31484 vsize=10659048 memory=52060 CPUtime=0.64 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31484 31487 29110 0 -1 1077944320 9606 0 0 0 61 3 0 0 20 0 15 0 97200204 10914865152 13015 33554432000 4194304 4196468 140731134018576 140731134001120 140330033872631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
/proc/31487/statm: 2664762 13015 3055 1 0 2627263 0
[pid=31487/tid=31489] ppid=31484 vsize=10659048 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31484 31487 29110 0 -1 4202560 5470 0 0 0 29 1 0 0 20 0 15 0 97200204 10914865152 13015 33554432000 4194304 4196468 140731134018576 140330038106992 140329671507920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31490] ppid=31484 vsize=10659048 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200205 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329640921360 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31491] ppid=31484 vsize=10659048 memory=139795790317869 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200205 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329639868816 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31492] ppid=31484 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200205 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329638816272 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31493] ppid=31484 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31484 31487 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97200205 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329637763728 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31494] ppid=31484 vsize=10659048 memory=139795789792896 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31484 31487 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97200206 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329526196720 140330033883778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31495] ppid=31484 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31484 31487 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329525142944 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31496] ppid=31484 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31484 31487 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329524090352 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31497] ppid=31484 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200209 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329523038928 140330033891227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31498] ppid=31484 vsize=10659048 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) R 31484 31487 29110 0 -1 4202560 972 0 0 0 8 0 0 0 20 0 15 0 97200209 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329521972064 140330014562528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31499] ppid=31484 vsize=10659048 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) R 31484 31487 29110 0 -1 4202560 348 0 0 0 8 0 0 0 20 0 15 0 97200209 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329520919376 140330011626513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31500] ppid=31484 vsize=10659048 memory=139795789792896 CPUtime=0.14 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) R 31484 31487 29110 0 -1 4202560 1448 0 0 0 14 0 0 0 20 0 15 0 97200209 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329519877368 140330012819088 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31501] ppid=31484 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200210 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329518828128 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31502] ppid=31484 vsize=10659048 memory=139795789792896 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200210 10914865152 13015 33554432000 4194304 4196468 140731134018576 140329517775664 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 52060 KiB
[startup+0.70095 s]
/proc/loadavg: 2.25 1.57 1.46 5/215 31502
/proc/meminfo: memFree=27483544/32770624 swapFree=67108860/67108860
[pid=31487] ppid=31484 vsize=10659048 memory=213968 CPUtime=1.83 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31484 31487 29110 0 -1 1077944320 11829 0 0 0 176 7 0 0 20 0 15 0 97200204 10914865152 53492 33554432000 4194304 4196468 140731134018576 140731134001120 140330033872631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
/proc/31487/statm: 2664762 53492 3119 1 0 2627263 0
[pid=31487/tid=31489] ppid=31484 vsize=10659048 memory=15708 CPUtime=0.65 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31484 31487 29110 0 -1 4202560 5629 0 0 0 62 3 0 0 20 0 15 0 97200204 10914865152 53492 33554432000 4194304 4196468 140731134018576 140330038110408 140329674579104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31490] ppid=31484 vsize=10659048 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31484 31487 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97200205 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329640921360 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31491] ppid=31484 vsize=10659048 memory=1584 CPUtime=0.01 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31484 31487 29110 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 97200205 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329639868816 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31492] ppid=31484 vsize=10659048 memory=496 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31484 31487 29110 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 97200205 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329638816272 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31493] ppid=31484 vsize=10659048 memory=928 CPUtime=0.01 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31484 31487 29110 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 97200205 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329637763728 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31494] ppid=31484 vsize=10659048 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31484 31487 29110 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 97200206 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329526196720 140330033883778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31495] ppid=31484 vsize=10659048 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31484 31487 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329525142944 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31496] ppid=31484 vsize=10659048 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31484 31487 29110 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329524090352 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31497] ppid=31484 vsize=10659048 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200209 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329523038928 140330033891227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31498] ppid=31484 vsize=10659048 memory=6081108994580573287 CPUtime=0.44 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) R 31484 31487 29110 0 -1 4202560 1693 0 0 0 44 0 0 0 20 0 15 0 97200209 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329521976800 140330018989808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31499] ppid=31484 vsize=10659048 memory=6148935659200796009 CPUtime=0.39 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31484 31487 29110 0 -1 1077944384 1002 0 0 0 39 0 0 0 20 0 15 0 97200209 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329520932976 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31500] ppid=31484 vsize=10659048 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31484 31487 29110 0 -1 1077944384 1973 0 0 0 26 0 0 0 20 0 15 0 97200209 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329519880432 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31501] ppid=31484 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200210 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329518828128 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31502] ppid=31484 vsize=10659048 memory=756 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31484 31487 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97200210 10914865152 53492 33554432000 4194304 4196468 140731134018576 140329517775664 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 213968 KiB
[startup+1.50095 s]
/proc/loadavg: 2.25 1.57 1.46 5/215 31502
/proc/meminfo: memFree=27296500/32770624 swapFree=67108860/67108860
[pid=31487] ppid=31484 vsize=10659048 memory=335988 CPUtime=3.89 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31484 31487 29110 0 -1 1077944320 13335 0 0 0 376 13 0 0 20 0 15 0 97200204 10914865152 83997 33554432000 4194304 4196468 140731134018576 140731134001120 140330033872631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
/proc/31487/statm: 2664762 83997 3136 1 0 2627263 0
[pid=31487/tid=31489] ppid=31484 vsize=10659048 memory=294856 CPUtime=1.41 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31484 31487 29110 0 -1 4202560 5781 0 0 0 137 4 0 0 20 0 15 0 97200204 10914865152 83997 33554432000 4194304 4196468 140731134018576 140330038106624 140329671540983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31490] ppid=31484 vsize=10659048 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31484 31487 29110 0 -1 1077944384 148 0 0 0 2 2 0 0 20 0 15 0 97200205 10914865152 83997 33554432000 4194304 4196468 140731134018576 140329640921360 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31491] ppid=31484 vsize=10659048 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31484 31487 29110 0 -1 1077944384 123 0 0 0 2 2 0 0 20 0 15 0 97200205 10914865152 83997 33554432000 4194304 4196468 140731134018576 140329639868816 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31492] ppid=31484 vsize=10659048 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31484 31487 29110 0 -1 1077944384 136 0 0 0 2 2 0 0 20 0 15 0 97200205 10914865152 83997 33554432000 4194304 4196468 140731134018576 140329638816272 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31493] ppid=31484 vsize=10659048 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31484 31487 29110 0 -1 1077944384 50 0 0 0 2 1 0 0 20 0 15 0 97200205 10914865152 83997 33554432000 4194304 4196468 140731134018576 140329637763728 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31494] ppid=31484 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31484 31487 29110 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 97200206 10914865152 83997 33554432000 4194304 4196468 140731134018576 140329526196720 140330033883778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
################
# More data... #
################
/proc/31487/task/31489/stat : 31489 (java) R 31484 31487 29110 0 -1 4202560 65709 0 0 0 237074 58 0 0 20 0 15 0 97200204 10914865152 550075 33554432000 4194304 4196468 140731134018576 140330038112624 140329675906554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31490] ppid=31484 vsize=10659048 memory=2200300 CPUtime=5.46 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31484 31487 29110 0 -1 1077944384 23032 0 0 0 514 32 0 0 20 0 15 0 97200205 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329640921360 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31491] ppid=31484 vsize=10659048 memory=2200300 CPUtime=5.46 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31484 31487 29110 0 -1 1077944384 21919 0 0 0 516 30 0 0 20 0 15 0 97200205 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329639868816 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31492] ppid=31484 vsize=10659048 memory=2200300 CPUtime=5.49 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31484 31487 29110 0 -1 1077944384 18292 0 0 0 517 32 0 0 20 0 15 0 97200205 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329638816272 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31493] ppid=31484 vsize=10659048 memory=2200300 CPUtime=5.47 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31484 31487 29110 0 -1 1077944384 22621 0 0 0 518 29 0 0 20 0 15 0 97200205 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329637763728 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31494] ppid=31484 vsize=10659048 memory=2198252 CPUtime=3.22 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31484 31487 29110 0 -1 1077944384 25076 0 0 0 295 27 0 0 20 0 15 0 97200206 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329526196720 140330033883778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31495] ppid=31484 vsize=10659048 memory=2198252 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31484 31487 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329525143008 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31496] ppid=31484 vsize=10659048 memory=2198252 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31484 31487 29110 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329524090352 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31497] ppid=31484 vsize=10659048 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200209 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329523038928 140330033891227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31498] ppid=31484 vsize=10659048 memory=2200300 CPUtime=1.2 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31484 31487 29110 0 -1 1077944384 5635 0 0 0 119 1 0 0 20 0 15 0 97200209 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329521985520 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31499] ppid=31484 vsize=10659048 memory=2200300 CPUtime=1.35 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31484 31487 29110 0 -1 1077944384 9096 0 0 0 133 2 0 0 20 0 15 0 97200209 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329520932976 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31500] ppid=31484 vsize=10659048 memory=2200300 CPUtime=0.41 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31484 31487 29110 0 -1 1077944384 7595 0 0 0 40 1 0 0 20 0 15 0 97200209 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329519880432 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31501] ppid=31484 vsize=10659048 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200210 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329518828128 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31502] ppid=31484 vsize=10659048 memory=2200300 CPUtime=1.41 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31484 31487 29110 0 -1 1077944384 2734 0 0 0 64 77 0 0 20 0 15 0 97200210 10914865152 550075 33554432000 4194304 4196468 140731134018576 140329517775664 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
Current children cumulated CPU time: 2400.87 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2200300 KiB
[startup+2442.3 s]
/proc/loadavg: 1.66 1.38 1.38 3/215 31680
/proc/meminfo: memFree=25694720/32770624 swapFree=67108860/67108860
[pid=31487] ppid=31484 vsize=10659048 memory=2204396 CPUtime=2461.44 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31484 31487 29110 0 -1 1077944320 207116 0 0 0 245890 254 0 0 20 0 15 0 97200204 10914865152 551099 33554432000 4194304 4196468 140731134018576 140731134001120 140330033872631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
/proc/31487/statm: 2664762 551099 3152 1 0 2627263 0
[pid=31487/tid=31489] ppid=31484 vsize=10659048 memory=2204396 CPUtime=2430.94 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31484 31487 29110 0 -1 4202560 66604 0 0 0 243035 59 0 0 20 0 15 0 97200204 10914865152 551099 33554432000 4194304 4196468 140731134018576 140330038112512 140329675906465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31490] ppid=31484 vsize=10659048 memory=2204396 CPUtime=5.67 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31484 31487 29110 0 -1 1077944384 23701 0 0 0 534 33 0 0 20 0 15 0 97200205 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329640921360 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31491] ppid=31484 vsize=10659048 memory=2204396 CPUtime=5.67 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31484 31487 29110 0 -1 1077944384 22408 0 0 0 536 31 0 0 20 0 15 0 97200205 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329639868816 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31492] ppid=31484 vsize=10659048 memory=2200300 CPUtime=5.69 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31484 31487 29110 0 -1 1077944384 18747 0 0 0 536 33 0 0 20 0 15 0 97200205 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329638816272 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31493] ppid=31484 vsize=10659048 memory=2202348 CPUtime=5.67 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31484 31487 29110 0 -1 1077944384 23570 0 0 0 537 30 0 0 20 0 15 0 97200205 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329637763728 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31494] ppid=31484 vsize=10659048 memory=1240 CPUtime=3.32 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31484 31487 29110 0 -1 1077944384 25600 0 0 0 304 28 0 0 20 0 15 0 97200206 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329526196720 140330033883778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31495] ppid=31484 vsize=10659048 memory=2202348 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31484 31487 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329525143008 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31496] ppid=31484 vsize=10659048 memory=2202348 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31484 31487 29110 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329524090352 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31497] ppid=31484 vsize=10659048 memory=2202348 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200209 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329523038928 140330033891227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31498] ppid=31484 vsize=10659048 memory=2204396 CPUtime=1.2 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31484 31487 29110 0 -1 1077944384 5641 0 0 0 119 1 0 0 20 0 15 0 97200209 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329521985520 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31499] ppid=31484 vsize=10659048 memory=2204396 CPUtime=1.35 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31484 31487 29110 0 -1 1077944384 9102 0 0 0 133 2 0 0 20 0 15 0 97200209 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329520932976 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31500] ppid=31484 vsize=10659048 memory=2204396 CPUtime=0.41 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31484 31487 29110 0 -1 1077944384 7601 0 0 0 40 1 0 0 20 0 15 0 97200209 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329519880432 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31501] ppid=31484 vsize=10659048 memory=2204396 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200210 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329518828128 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31502] ppid=31484 vsize=10659048 memory=2204396 CPUtime=1.46 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31484 31487 29110 0 -1 1077944384 2781 0 0 0 67 79 0 0 20 0 15 0 97200210 10914865152 551099 33554432000 4194304 4196468 140731134018576 140329517775664 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
Current children cumulated CPU time: 2461.44 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2204396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2500.3 s]
/proc/loadavg: 1.45 1.37 1.38 3/215 31680
/proc/meminfo: memFree=25543380/32770624 swapFree=67108860/67108860
[pid=31487] ppid=31484 vsize=10659048 memory=2208492 CPUtime=2520 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31484 31487 29110 0 -1 1077944320 211191 0 0 0 251741 259 0 0 20 0 15 0 97200204 10914865152 552123 33554432000 4194304 4196468 140731134018576 140731134001120 140330033872631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
/proc/31487/statm: 2664762 552123 3152 1 0 2627263 0
[pid=31487/tid=31489] ppid=31484 vsize=10659048 memory=2208492 CPUtime=2488.57 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31484 31487 29110 0 -1 4202560 67407 0 0 0 248798 59 0 0 20 0 15 0 97200204 10914865152 552123 33554432000 4194304 4196468 140731134018576 140330038112624 140329675906533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31490] ppid=31484 vsize=10659048 memory=2208492 CPUtime=5.87 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31484 31487 29110 0 -1 1077944384 24630 0 0 0 553 34 0 0 20 0 15 0 97200205 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329640921360 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31491] ppid=31484 vsize=10659048 memory=2208492 CPUtime=5.87 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31484 31487 29110 0 -1 1077944384 22929 0 0 0 556 31 0 0 20 0 15 0 97200205 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329639868816 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31492] ppid=31484 vsize=10659048 memory=141 CPUtime=5.87 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31484 31487 29110 0 -1 1077944384 19458 0 0 0 553 34 0 0 20 0 15 0 97200205 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329638816272 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31493] ppid=31484 vsize=10659048 memory=279591366343104 CPUtime=5.87 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31484 31487 29110 0 -1 1077944384 24111 0 0 0 556 31 0 0 20 0 15 0 97200205 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329637763728 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31494] ppid=31484 vsize=10659048 memory=2206444 CPUtime=3.42 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31484 31487 29110 0 -1 1077944384 26104 0 0 0 313 29 0 0 20 0 15 0 97200206 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329526196720 140330033883778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31495] ppid=31484 vsize=10659048 memory=2206444 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31484 31487 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329525143008 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31496] ppid=31484 vsize=10659048 memory=56 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31484 31487 29110 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329524090352 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31497] ppid=31484 vsize=10659048 memory=2206444 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200209 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329523038928 140330033891227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31498] ppid=31484 vsize=10659048 memory=2206444 CPUtime=1.2 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31484 31487 29110 0 -1 1077944384 5647 0 0 0 119 1 0 0 20 0 15 0 97200209 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329521985520 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31499] ppid=31484 vsize=10659048 memory=2206444 CPUtime=1.35 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31484 31487 29110 0 -1 1077944384 9108 0 0 0 133 2 0 0 20 0 15 0 97200209 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329520932976 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31500] ppid=31484 vsize=10659048 memory=2206444 CPUtime=0.41 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31484 31487 29110 0 -1 1077944384 7607 0 0 0 40 1 0 0 20 0 15 0 97200209 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329519880432 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31501] ppid=31484 vsize=10659048 memory=2208492 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200210 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329518828128 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31502] ppid=31484 vsize=10659048 memory=2208492 CPUtime=1.49 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31484 31487 29110 0 -1 1077944384 2829 0 0 0 68 81 0 0 20 0 15 0 97200210 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329517775664 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2208492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2500.33 s]
# the end of solver process 31487 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.44 s, system=2.61124 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2500.3 s]
/proc/loadavg: 1.45 1.37 1.38 3/215 31680
/proc/meminfo: memFree=25543380/32770624 swapFree=67108860/67108860
[pid=31487] ppid=31484 vsize=10659048 memory=2208492 CPUtime=2520 cores=1,3,5,7
/proc/31487/stat : 31487 (java) S 31484 31487 29110 0 -1 1077944320 211191 0 0 0 251741 259 0 0 20 0 15 0 97200204 10914865152 552123 33554432000 4194304 4196468 140731134018576 140731134001120 140330033872631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
/proc/31487/statm: 2664762 552123 3152 1 0 2627263 0
[pid=31487/tid=31489] ppid=31484 vsize=10659048 memory=2208492 CPUtime=2488.57 cores=1,3,5,7
/proc/31487/task/31489/stat : 31489 (java) R 31484 31487 29110 0 -1 4202560 67407 0 0 0 248798 59 0 0 20 0 15 0 97200204 10914865152 552123 33554432000 4194304 4196468 140731134018576 140330038112624 140329675906533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31490] ppid=31484 vsize=10659048 memory=2208492 CPUtime=5.87 cores=1,3,5,7
/proc/31487/task/31490/stat : 31490 (java) S 31484 31487 29110 0 -1 1077944384 24630 0 0 0 553 34 0 0 20 0 15 0 97200205 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329640921360 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31491] ppid=31484 vsize=10659048 memory=2208492 CPUtime=5.87 cores=1,3,5,7
/proc/31487/task/31491/stat : 31491 (java) S 31484 31487 29110 0 -1 1077944384 22929 0 0 0 556 31 0 0 20 0 15 0 97200205 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329639868816 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31492] ppid=31484 vsize=10659048 memory=141 CPUtime=5.87 cores=1,3,5,7
/proc/31487/task/31492/stat : 31492 (java) S 31484 31487 29110 0 -1 1077944384 19458 0 0 0 553 34 0 0 20 0 15 0 97200205 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329638816272 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31493] ppid=31484 vsize=10659048 memory=279591366343104 CPUtime=5.87 cores=1,3,5,7
/proc/31487/task/31493/stat : 31493 (java) S 31484 31487 29110 0 -1 1077944384 24111 0 0 0 556 31 0 0 20 0 15 0 97200205 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329637763728 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31494] ppid=31484 vsize=10659048 memory=2206444 CPUtime=3.42 cores=1,3,5,7
/proc/31487/task/31494/stat : 31494 (java) S 31484 31487 29110 0 -1 1077944384 26104 0 0 0 313 29 0 0 20 0 15 0 97200206 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329526196720 140330033883778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31495] ppid=31484 vsize=10659048 memory=2206444 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31495/stat : 31495 (java) S 31484 31487 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329525143008 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31496] ppid=31484 vsize=10659048 memory=56 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31496/stat : 31496 (java) S 31484 31487 29110 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97200207 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329524090352 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31497] ppid=31484 vsize=10659048 memory=2206444 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31497/stat : 31497 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200209 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329523038928 140330033891227 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31498] ppid=31484 vsize=10659048 memory=2206444 CPUtime=1.2 cores=1,3,5,7
/proc/31487/task/31498/stat : 31498 (java) S 31484 31487 29110 0 -1 1077944384 5647 0 0 0 119 1 0 0 20 0 15 0 97200209 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329521985520 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31499] ppid=31484 vsize=10659048 memory=2206444 CPUtime=1.35 cores=1,3,5,7
/proc/31487/task/31499/stat : 31499 (java) S 31484 31487 29110 0 -1 1077944384 9108 0 0 0 133 2 0 0 20 0 15 0 97200209 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329520932976 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31500] ppid=31484 vsize=10659048 memory=2206444 CPUtime=0.41 cores=1,3,5,7
/proc/31487/task/31500/stat : 31500 (java) S 31484 31487 29110 0 -1 1077944384 7607 0 0 0 40 1 0 0 20 0 15 0 97200209 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329519880432 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31501] ppid=31484 vsize=10659048 memory=2208492 CPUtime=0 cores=1,3,5,7
/proc/31487/task/31501/stat : 31501 (java) S 31484 31487 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97200210 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329518828128 140330033882837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
[pid=31487/tid=31502] ppid=31484 vsize=10659048 memory=2208492 CPUtime=1.49 cores=1,3,5,7
/proc/31487/task/31502/stat : 31502 (java) S 31484 31487 29110 0 -1 1077944384 2829 0 0 0 68 81 0 0 20 0 15 0 97200210 10914865152 552123 33554432000 4194304 4196468 140731134018576 140329517775664 140330033883778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32477184 140731134026925 140731134027017 140731134027017 140731134029775 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2208492 KiB
Child status: 143
Real time (s): 2500.33
CPU time (s): 2520.05
CPU user time (s): 2517.44
CPU system time (s): 2.61124
CPU usage (%): 100.789
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 2672116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.44
system time used= 2.61124
maximum resident set size= 2674164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211544
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151777
involuntary context switches= 4439
# summary of solver processes directly reported to runsolver:
# pid: 31487
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.44
# total CPU system time (s): 2.61124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3819 second user time and 26.3967 second system time
The end