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 (7985 MiB free)
memory of node 1: 16384 MiB (15610 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257910-1502649043/watcher-4257910-1502649043 -o /tmp/evaluation-result-4257910-1502649043/solver-4257910-1502649043 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257910-1502649043.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=14173, runsolver pid=14170
[startup+0.100083 s]*
/proc/loadavg: 3.71 3.49 3.64 5/196 14175
/proc/meminfo: memFree=24159580/32770624 swapFree=67108860/67108860
[pid=14173] ppid=14170 vsize=9936560 memory=16220 CPUtime=0 cores=1,3,5,7
/proc/14173/stat : 14173 (java) S 14170 14173 17093 0 -1 1077944320 3377 0 0 0 0 0 0 0 20 0 6 0 67097617 10175037440 4055 18446744073709551615 4194304 4196468 140733657882928 140733657865472 139829628284663 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
/proc/14173/statm: 2484140 4055 1910 1 0 2473637 0
[pid=14173/tid=14175] ppid=14170 vsize=9936560 memory=4206751525541407381 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14175/stat : 14175 (java) R 14170 14173 17093 0 -1 4202560 2103 0 0 0 0 0 0 0 20 0 6 0 67097627 10175037440 4632 18446744073709551615 4194304 4196468 140733657882928 139829632520784 139829628306589 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14176] ppid=14170 vsize=9936560 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14176/stat : 14176 (java) S 14170 14173 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 67097627 10175037440 4632 18446744073709551615 4194304 4196468 140733657882928 139829574634000 139829628294869 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14177] ppid=14170 vsize=9936560 memory=140393391814272 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14177/stat : 14177 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 67097627 10175037440 4632 18446744073709551615 4194304 4196468 140733657882928 139829573581456 139829628294869 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14178] ppid=14170 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14178/stat : 14178 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 67097627 10175037440 4632 18446744073709551615 4194304 4196468 140733657882928 139829237831952 139829628294869 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14179] ppid=14170 vsize=9936560 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14179/stat : 14179 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 67097628 10175037440 4632 18446744073709551615 4194304 4196468 140733657882928 139829236779408 139829628294869 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 16220 KiB
[startup+0.209998 s]*
/proc/loadavg: 3.71 3.49 3.64 5/208 14187
/proc/meminfo: memFree=24150860/32770624 swapFree=67108860/67108860
[pid=14173] ppid=14170 vsize=10551056 memory=22528 CPUtime=0.05 cores=1,3,5,7
/proc/14173/stat : 14173 (java) S 14170 14173 17093 0 -1 1077944320 4608 0 0 0 5 0 0 0 20 0 15 0 67097617 10804281344 5632 18446744073709551615 4194304 4196468 140733657882928 140733657865472 139829628284663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
/proc/14173/statm: 2637764 5632 2577 1 0 2627261 0
[pid=14173/tid=14175] ppid=14170 vsize=10551156 memory=8318255677412212789 CPUtime=0.04 cores=1,3,5,7
/proc/14173/task/14175/stat : 14175 (java) R 14170 14173 17093 0 -1 4202560 2761 0 0 0 4 0 0 0 20 0 15 0 67097627 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139829632526944 139829628306589 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14176] ppid=14170 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14176/stat : 14176 (java) S 14170 14173 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67097627 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139829574634000 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14177] ppid=14170 vsize=10551156 memory=288370769543526016 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14177/stat : 14177 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097627 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139829573581456 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14178] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14178/stat : 14178 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097627 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139829237831952 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14179] ppid=14170 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14179/stat : 14179 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097628 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139829236779408 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14180] ppid=14170 vsize=10551156 memory=140393391814272 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14180/stat : 14180 (java) S 14170 14173 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67097629 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139828869724912 139829628295810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14181] ppid=14170 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14181/stat : 14181 (java) S 14170 14173 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67097629 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139828868671136 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14182] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14182/stat : 14182 (java) S 14170 14173 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67097630 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139828867618032 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14183] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14183/stat : 14183 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139828866566608 139829628303259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14184] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14184/stat : 14184 (java) S 14170 14173 17093 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 67097632 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139828865513712 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14185] ppid=14170 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14185/stat : 14185 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097632 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139828864461168 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14186] ppid=14170 vsize=10551156 memory=140393391814272 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14186/stat : 14186 (java) S 14170 14173 17093 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 67097632 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139828863408112 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14187] ppid=14170 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14187/stat : 14187 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139828862355808 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14188] ppid=14170 vsize=10551156 memory=140393391814272 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14188/stat : 14188 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097639 10804383744 5697 18446744073709551615 4194304 4196468 140733657882928 139828861303856 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10551056 KiB
Current children cumulated memory: 22528 KiB
[startup+0.310011 s]*
/proc/loadavg: 3.71 3.49 3.64 6/209 14188
/proc/meminfo: memFree=24139200/32770624 swapFree=67108860/67108860
[pid=14173] ppid=14170 vsize=10551156 memory=35476 CPUtime=0.21 cores=1,3,5,7
/proc/14173/stat : 14173 (java) S 14170 14173 17093 0 -1 1077944320 8153 0 0 0 19 2 0 0 20 0 15 0 67097617 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 140733657865472 139829628284663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
/proc/14173/statm: 2637789 8869 2852 1 0 2627261 0
[pid=14173/tid=14175] ppid=14170 vsize=10551156 memory=-7677926825137650786 CPUtime=0.14 cores=1,3,5,7
/proc/14173/task/14175/stat : 14175 (java) R 14170 14173 17093 0 -1 4202560 5806 0 0 0 13 1 0 0 20 0 15 0 67097627 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139829632505968 139829612365150 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14176] ppid=14170 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14176/stat : 14176 (java) S 14170 14173 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67097627 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139829574634000 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14177] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14177/stat : 14177 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097627 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139829573581456 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14178] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14178/stat : 14178 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097627 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139829237831952 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14179] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14179/stat : 14179 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097628 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139829236779408 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14180] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14180/stat : 14180 (java) S 14170 14173 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67097629 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139828869724912 139829628295810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14181] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14181/stat : 14181 (java) S 14170 14173 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67097629 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139828868671136 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14182] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14182/stat : 14182 (java) S 14170 14173 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67097630 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139828867618032 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14183] ppid=14170 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14183/stat : 14183 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139828866566608 139829628303259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14184] ppid=14170 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14173/task/14184/stat : 14184 (java) S 14170 14173 17093 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 67097632 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139828865513712 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14185] ppid=14170 vsize=10551156 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14173/task/14185/stat : 14185 (java) S 14170 14173 17093 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 15 0 67097632 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139828864461168 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14186] ppid=14170 vsize=10551156 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/14173/task/14186/stat : 14186 (java) S 14170 14173 17093 0 -1 1077944384 436 0 0 0 3 0 0 0 20 0 15 0 67097632 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139828863408112 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14187] ppid=14170 vsize=10551156 memory=140393391814272 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14187/stat : 14187 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139828862355808 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14188] ppid=14170 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14188/stat : 14188 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097639 10804383744 8869 18446744073709551615 4194304 4196468 140733657882928 139828861303856 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 35476 KiB
[startup+0.701379 s]
/proc/loadavg: 3.71 3.49 3.64 10/209 14188
/proc/meminfo: memFree=24116384/32770624 swapFree=67108860/67108860
[pid=14173] ppid=14170 vsize=10551232 memory=110688 CPUtime=1.22 cores=1,3,5,7
/proc/14173/stat : 14173 (java) S 14170 14173 17093 0 -1 1077944320 12084 0 0 0 119 3 0 0 20 0 15 0 67097617 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 140733657865472 139829628284663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
/proc/14173/statm: 2637808 27672 3054 1 0 2627261 0
[pid=14173/tid=14175] ppid=14170 vsize=10551232 memory=6297835844906604903 CPUtime=0.51 cores=1,3,5,7
/proc/14173/task/14175/stat : 14175 (java) R 14170 14173 17093 0 -1 4202560 6760 0 0 0 49 2 0 0 20 0 15 0 67097627 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139829632520104 139829256484054 0 4 1 16800974 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14176] ppid=14170 vsize=10551232 memory=7308028628335813952 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14176/stat : 14176 (java) S 14170 14173 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67097627 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139829574634000 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14177] ppid=14170 vsize=10551232 memory=7596259004554634560 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14177/stat : 14177 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097627 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139829573581456 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14178] ppid=14170 vsize=10551232 memory=7302135314614015848 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14178/stat : 14178 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097627 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139829237831952 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14179] ppid=14170 vsize=10551232 memory=2286 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14179/stat : 14179 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097628 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139829236779408 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14180] ppid=14170 vsize=10551232 memory=302 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14180/stat : 14180 (java) S 14170 14173 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67097629 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139828869724912 139829628295810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14181] ppid=14170 vsize=10551232 memory=860 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14181/stat : 14181 (java) S 14170 14173 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67097629 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139828868671136 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14182] ppid=14170 vsize=10551232 memory=57 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14182/stat : 14182 (java) S 14170 14173 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67097630 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139828867618032 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14183] ppid=14170 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14183/stat : 14183 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139828866566608 139829628303259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14184] ppid=14170 vsize=10551232 memory=108 CPUtime=0.25 cores=1,3,5,7
/proc/14173/task/14184/stat : 14184 (java) R 14170 14173 17093 0 -1 4202560 1600 0 0 0 25 0 0 0 20 0 15 0 67097632 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139828865501392 139829608984960 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14185] ppid=14170 vsize=10551232 memory=3904 CPUtime=0.25 cores=1,3,5,7
/proc/14173/task/14185/stat : 14185 (java) R 14170 14173 17093 0 -1 4202560 1149 0 0 0 25 0 0 0 20 0 15 0 67097632 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139828864460352 139829607977759 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14186] ppid=14170 vsize=10551232 memory=-7677926825137650786 CPUtime=0.19 cores=1,3,5,7
/proc/14173/task/14186/stat : 14186 (java) S 14170 14173 17093 0 -1 1077944384 1209 0 0 0 19 0 0 0 20 0 15 0 67097632 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139828863408112 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14187] ppid=14170 vsize=10551232 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14187/stat : 14187 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139828862355808 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14188] ppid=14170 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14188/stat : 14188 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097639 10804461568 27672 18446744073709551615 4194304 4196468 140733657882928 139828861303856 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 110688 KiB
[startup+1.50136 s]
/proc/loadavg: 3.71 3.49 3.64 6/209 14188
/proc/meminfo: memFree=24008344/32770624 swapFree=67108860/67108860
[pid=14173] ppid=14170 vsize=10551232 memory=299728 CPUtime=3.58 cores=1,3,5,7
/proc/14173/stat : 14173 (java) S 14170 14173 17093 0 -1 1077944320 20649 0 0 0 345 13 0 0 20 0 15 0 67097617 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 140733657865472 139829628284663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
/proc/14173/statm: 2637808 74932 3090 1 0 2627261 0
[pid=14173/tid=14175] ppid=14170 vsize=10551232 memory=280786574233472 CPUtime=1.2 cores=1,3,5,7
/proc/14173/task/14175/stat : 14175 (java) S 14170 14173 17093 0 -1 1077944384 7845 0 0 0 116 4 0 0 20 0 15 0 67097627 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139829632517856 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14176] ppid=14170 vsize=10551232 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/14173/task/14176/stat : 14176 (java) R 14170 14173 17093 0 -1 4202560 37 0 0 0 5 1 0 0 20 0 15 0 67097627 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139829574633888 139829613312824 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14177] ppid=14170 vsize=10551232 memory=5857 CPUtime=0.06 cores=1,3,5,7
/proc/14173/task/14177/stat : 14177 (java) R 14170 14173 17093 0 -1 4202560 37 0 0 0 5 1 0 0 20 0 15 0 67097627 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139829573581656 139829613308366 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14178] ppid=14170 vsize=10551232 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14173/task/14178/stat : 14178 (java) R 14170 14173 17093 0 -1 4202560 169 0 0 0 7 1 0 0 20 0 15 0 67097627 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139829237832152 139829609932182 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14179] ppid=14170 vsize=10551232 memory=280786574328096 CPUtime=0.09 cores=1,3,5,7
/proc/14173/task/14179/stat : 14179 (java) R 14170 14173 17093 0 -1 4202560 173 0 0 0 7 2 0 0 20 0 15 0 67097628 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139829236779608 139829613312537 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14180] ppid=14170 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14180/stat : 14180 (java) S 14170 14173 17093 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 67097629 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139828869723424 139829628294869 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14181] ppid=14170 vsize=10551232 memory=13563795322702378 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14181/stat : 14181 (java) S 14170 14173 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67097629 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139828868671136 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14182] ppid=14170 vsize=10551232 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14182/stat : 14182 (java) S 14170 14173 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67097630 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139828867618032 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14183] ppid=14170 vsize=10551232 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14183/stat : 14183 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139828866566608 139829628303259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14184] ppid=14170 vsize=10551232 memory=16448 CPUtime=0.91 cores=1,3,5,7
/proc/14173/task/14184/stat : 14184 (java) S 14170 14173 17093 0 -1 1077944384 5298 0 0 0 90 1 0 0 20 0 15 0 67097632 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139828865498704 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14185] ppid=14170 vsize=10551232 memory=2752 CPUtime=0.84 cores=1,3,5,7
/proc/14173/task/14185/stat : 14185 (java) S 14170 14173 17093 0 -1 1077944384 4235 0 0 0 84 0 0 0 20 0 15 0 67097632 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139828864452448 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14186] ppid=14170 vsize=10551232 memory=2860 CPUtime=0.27 cores=1,3,5,7
/proc/14173/task/14186/stat : 14186 (java) S 14170 14173 17093 0 -1 1077944384 1410 0 0 0 27 0 0 0 20 0 15 0 67097632 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139828863408112 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14187] ppid=14170 vsize=10551232 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14187/stat : 14187 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139828862355808 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14188] ppid=14170 vsize=10551232 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14188/stat : 14188 (java) S 14170 14173 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67097639 10804461568 74932 18446744073709551615 4194304 4196468 140733657882928 139828861303856 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
Current children cumulated CPU time: 3.58 s
Current children cumulated vsize: 10551232 KiB
################
# More data... #
################
[pid=14173/tid=14179] ppid=14170 vsize=10551232 memory=0 CPUtime=47.32 cores=1,3,5,7
/proc/14173/task/14179/stat : 14179 (java) R 14170 14173 17093 0 -1 4202560 41414 0 0 0 4603 129 0 0 20 0 15 0 67097628 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829236779408 139829613281156 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14180] ppid=14170 vsize=10551232 memory=6944656592455360604 CPUtime=18.41 cores=1,3,5,7
/proc/14173/task/14180/stat : 14180 (java) S 14170 14173 17093 0 -1 1077944384 18452 0 0 0 1840 1 0 0 20 0 15 0 67097629 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828869723456 139829628294869 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14181] ppid=14170 vsize=10551232 memory=5666160 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14181/stat : 14181 (java) S 14170 14173 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 67097629 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828868671200 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14182] ppid=14170 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14182/stat : 14182 (java) S 14170 14173 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 67097630 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828867618048 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14183] ppid=14170 vsize=10551232 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14183/stat : 14183 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828866566608 139829628303259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14184] ppid=14170 vsize=10551232 memory=7845844 CPUtime=1.85 cores=1,3,5,7
/proc/14173/task/14184/stat : 14184 (java) S 14170 14173 17093 0 -1 1077944384 9222 0 0 0 184 1 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828865513760 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14185] ppid=14170 vsize=10551232 memory=37768 CPUtime=1.91 cores=1,3,5,7
/proc/14173/task/14185/stat : 14185 (java) S 14170 14173 17093 0 -1 1077944384 10022 0 0 0 190 1 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828864460928 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14186] ppid=14170 vsize=10551232 memory=1296 CPUtime=0.33 cores=1,3,5,7
/proc/14173/task/14186/stat : 14186 (java) S 14170 14173 17093 0 -1 1077944384 1878 0 0 0 33 0 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828863408160 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14187] ppid=14170 vsize=10551232 memory=991 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14187/stat : 14187 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828862355808 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14188] ppid=14170 vsize=10551232 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14173/task/14188/stat : 14188 (java) S 14170 14173 17093 0 -1 1077944384 1172 0 0 0 3 2 0 0 20 0 15 0 67097639 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828861303856 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
Current children cumulated CPU time: 248.04 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8052784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+103.301 s]
/proc/loadavg: 4.86 3.79 3.73 6/209 14266
/proc/meminfo: memFree=16324728/32770624 swapFree=67108860/67108860
[pid=14173] ppid=14170 vsize=10551232 memory=8052784 CPUtime=252.02 cores=1,3,5,7
/proc/14173/stat : 14173 (java) S 14170 14173 17093 0 -1 1077944320 165672 0 0 0 24676 526 0 0 20 0 15 0 67097617 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 140733657865472 139829628284663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
/proc/14173/statm: 2637808 2013196 3128 1 0 2627261 0
[pid=14173/tid=14175] ppid=14170 vsize=10551232 memory=7406444 CPUtime=35.7 cores=1,3,5,7
/proc/14173/task/14175/stat : 14175 (java) S 14170 14173 17093 0 -1 1077944384 19781 0 0 0 3554 16 0 0 20 0 15 0 67097627 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829632517072 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14176] ppid=14170 vsize=10551232 memory=8052784 CPUtime=48.51 cores=1,3,5,7
/proc/14173/task/14176/stat : 14176 (java) R 14170 14173 17093 0 -1 4202560 21886 0 0 0 4728 123 0 0 20 0 15 0 67097627 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829574634200 139829613281030 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14177] ppid=14170 vsize=10551232 memory=56 CPUtime=48.22 cores=1,3,5,7
/proc/14173/task/14177/stat : 14177 (java) R 14170 14173 17093 0 -1 4202560 19128 0 0 0 4692 130 0 0 20 0 15 0 67097627 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829573581656 139829613281327 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14178] ppid=14170 vsize=10551232 memory=8052784 CPUtime=48.62 cores=1,3,5,7
/proc/14173/task/14178/stat : 14178 (java) R 14170 14173 17093 0 -1 4202560 21304 0 0 0 4743 119 0 0 20 0 15 0 67097627 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829237831952 139829612742254 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14179] ppid=14170 vsize=10551232 memory=7845844 CPUtime=48.32 cores=1,3,5,7
/proc/14173/task/14179/stat : 14179 (java) R 14170 14173 17093 0 -1 4202560 41414 0 0 0 4703 129 0 0 20 0 15 0 67097628 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829236779296 139829612983408 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14180] ppid=14170 vsize=10551232 memory=37768 CPUtime=18.41 cores=1,3,5,7
/proc/14173/task/14180/stat : 14180 (java) S 14170 14173 17093 0 -1 1077944384 18452 0 0 0 1840 1 0 0 20 0 15 0 67097629 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828869723456 139829628294869 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14181] ppid=14170 vsize=10551232 memory=991 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14181/stat : 14181 (java) S 14170 14173 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 67097629 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828868671200 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14182] ppid=14170 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14182/stat : 14182 (java) S 14170 14173 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 67097630 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828867618048 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14183] ppid=14170 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14183/stat : 14183 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828866566608 139829628303259 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14184] ppid=14170 vsize=10551232 memory=6944656592455360604 CPUtime=1.85 cores=1,3,5,7
/proc/14173/task/14184/stat : 14184 (java) S 14170 14173 17093 0 -1 1077944384 9222 0 0 0 184 1 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828865513760 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14185] ppid=14170 vsize=10551232 memory=796 CPUtime=1.91 cores=1,3,5,7
/proc/14173/task/14185/stat : 14185 (java) S 14170 14173 17093 0 -1 1077944384 10022 0 0 0 190 1 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828864460928 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14186] ppid=14170 vsize=10551232 memory=8944 CPUtime=0.33 cores=1,3,5,7
/proc/14173/task/14186/stat : 14186 (java) S 14170 14173 17093 0 -1 1077944384 1878 0 0 0 33 0 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828863408160 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14187] ppid=14170 vsize=10551232 memory=6113 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14187/stat : 14187 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828862355808 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14188] ppid=14170 vsize=10551232 memory=1195 CPUtime=0.05 cores=1,3,5,7
/proc/14173/task/14188/stat : 14188 (java) S 14170 14173 17093 0 -1 1077944384 1172 0 0 0 3 2 0 0 20 0 15 0 67097639 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828861303856 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8052784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+104.532 s]
# the end of solver process 14173 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.442 s, system=5.30899 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+104.001 s]*
/proc/loadavg: 4.95 3.83 3.74 5/209 14266
/proc/meminfo: memFree=16197504/32770624 swapFree=67108860/67108860
[pid=14173] ppid=14170 vsize=10551232 memory=8052784 CPUtime=254.81 cores=1,3,5,7
/proc/14173/stat : 14173 (java) S 14170 14173 17093 0 -1 1077944320 165676 0 0 0 24955 526 0 0 20 0 15 0 67097617 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 140733657865472 139829628284663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
/proc/14173/statm: 2637808 2013196 3128 1 0 2627261 0
[pid=14173/tid=14175] ppid=14170 vsize=10551232 memory=-7677926825137650786 CPUtime=35.7 cores=1,3,5,7
/proc/14173/task/14175/stat : 14175 (java) S 14170 14173 17093 0 -1 1077944384 19781 0 0 0 3554 16 0 0 20 0 15 0 67097627 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829632517072 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14176] ppid=14170 vsize=10551232 memory=4872558044660077418 CPUtime=49.22 cores=1,3,5,7
/proc/14173/task/14176/stat : 14176 (java) R 14170 14173 17093 0 -1 4202560 21886 0 0 0 4799 123 0 0 20 0 15 0 67097627 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829574634200 139829612985325 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14177] ppid=14170 vsize=10551232 memory=6944656575208382560 CPUtime=48.91 cores=1,3,5,7
/proc/14173/task/14177/stat : 14177 (java) R 14170 14173 17093 0 -1 4202560 19128 0 0 0 4761 130 0 0 20 0 15 0 67097627 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829573581576 139829620912871 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14178] ppid=14170 vsize=10551232 memory=6656426216303648864 CPUtime=49.3 cores=1,3,5,7
/proc/14173/task/14178/stat : 14178 (java) R 14170 14173 17093 0 -1 4202560 21304 0 0 0 4811 119 0 0 20 0 15 0 67097627 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829237832072 139829620912871 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14179] ppid=14170 vsize=10551232 memory=6944656592455359580 CPUtime=49.02 cores=1,3,5,7
/proc/14173/task/14179/stat : 14179 (java) R 14170 14173 17093 0 -1 4202560 41414 0 0 0 4773 129 0 0 20 0 15 0 67097628 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139829236779528 139829620912871 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14180] ppid=14170 vsize=10551232 memory=6944656592387989600 CPUtime=18.41 cores=1,3,5,7
/proc/14173/task/14180/stat : 14180 (java) S 14170 14173 17093 0 -1 1077944384 18452 0 0 0 1840 1 0 0 20 0 15 0 67097629 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828869723456 139829628294869 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14181] ppid=14170 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14181/stat : 14181 (java) S 14170 14173 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 67097629 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828868671200 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14182] ppid=14170 vsize=10551232 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14182/stat : 14182 (java) S 14170 14173 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 67097630 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828867618048 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14183] ppid=14170 vsize=10551232 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14183/stat : 14183 (java) S 14170 14173 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828866566256 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14184] ppid=14170 vsize=10551232 memory=7966768 CPUtime=1.85 cores=1,3,5,7
/proc/14173/task/14184/stat : 14184 (java) S 14170 14173 17093 0 -1 1077944384 9222 0 0 0 184 1 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828865513760 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14185] ppid=14170 vsize=10551232 memory=4028 CPUtime=1.91 cores=1,3,5,7
/proc/14173/task/14185/stat : 14185 (java) S 14170 14173 17093 0 -1 1077944384 10022 0 0 0 190 1 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828864460928 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14186] ppid=14170 vsize=10551232 memory=37768 CPUtime=0.33 cores=1,3,5,7
/proc/14173/task/14186/stat : 14186 (java) S 14170 14173 17093 0 -1 1077944384 1878 0 0 0 33 0 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828863408160 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14187] ppid=14170 vsize=10551232 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14187/stat : 14187 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67097632 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828862355808 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14188] ppid=14170 vsize=10551232 memory=2420 CPUtime=0.05 cores=1,3,5,7
/proc/14173/task/14188/stat : 14188 (java) S 14170 14173 17093 0 -1 1077944384 1172 0 0 0 3 2 0 0 20 0 15 0 67097639 10804461568 2013196 18446744073709551615 4194304 4196468 140733657882928 139828861303856 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
Current children cumulated CPU time: 254.81 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8052784 KiB
[startup+104.401 s]
/proc/loadavg: 4.95 3.83 3.74 5/209 14266
/proc/meminfo: memFree=16197504/32770624 swapFree=67108860/67108860
[pid=14173] ppid=14170 vsize=10750924 memory=8052816 CPUtime=255.6 cores=1,3,5,7
/proc/14173/stat : 14173 (java) S 14170 14173 17093 0 -1 1077944320 165807 0 0 0 25034 526 0 0 20 0 17 0 67097617 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 140733657865472 139829628284663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
/proc/14173/statm: 2687731 2013204 3130 1 0 2677184 0
[pid=14173/tid=14175] ppid=14170 vsize=10750924 memory=-8774313645642428999 CPUtime=35.82 cores=1,3,5,7
/proc/14173/task/14175/stat : 14175 (java) R 14170 14173 17093 0 -1 4202560 19781 0 0 0 3566 16 0 0 20 0 17 0 67097627 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139829632517072 139829254103856 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14176] ppid=14170 vsize=10750924 memory=4048 CPUtime=49.36 cores=1,3,5,7
/proc/14173/task/14176/stat : 14176 (java) S 14170 14173 17093 0 -1 1077944384 21886 0 0 0 4813 123 0 0 20 0 17 0 67097627 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139829574634000 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14177] ppid=14170 vsize=10750924 memory=21256 CPUtime=49.04 cores=1,3,5,7
/proc/14173/task/14177/stat : 14177 (java) S 14170 14173 17093 0 -1 1077944384 19128 0 0 0 4774 130 0 0 20 0 17 0 67097627 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139829573581456 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14178] ppid=14170 vsize=10750924 memory=1788 CPUtime=49.43 cores=1,3,5,7
/proc/14173/task/14178/stat : 14178 (java) S 14170 14173 17093 0 -1 1077944384 21304 0 0 0 4824 119 0 0 20 0 17 0 67097627 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139829237831952 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14179] ppid=14170 vsize=10750924 memory=640 CPUtime=49.15 cores=1,3,5,7
/proc/14173/task/14179/stat : 14179 (java) S 14170 14173 17093 0 -1 1077944384 41414 0 0 0 4786 129 0 0 20 0 17 0 67097628 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139829236779408 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14180] ppid=14170 vsize=10750924 memory=1788 CPUtime=18.55 cores=1,3,5,7
/proc/14173/task/14180/stat : 14180 (java) S 14170 14173 17093 0 -1 1077944384 18452 0 0 0 1854 1 0 0 20 0 17 0 67097629 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139828869724912 139829628295810 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14181] ppid=14170 vsize=10750924 memory=640 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14181/stat : 14181 (java) S 14170 14173 17093 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 67097629 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139828868671200 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14182] ppid=14170 vsize=10750924 memory=960 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14182/stat : 14182 (java) S 14170 14173 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 17 0 67097630 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139828867618048 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14183] ppid=14170 vsize=10750924 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14183/stat : 14183 (java) S 14170 14173 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 67097632 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139828866566608 139829628303259 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14184] ppid=14170 vsize=10750924 memory=2248 CPUtime=1.85 cores=1,3,5,7
/proc/14173/task/14184/stat : 14184 (java) S 14170 14173 17093 0 -1 1077944384 9222 0 0 0 184 1 0 0 20 0 17 0 67097632 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139828865513712 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14185] ppid=14170 vsize=10750924 memory=4300 CPUtime=1.91 cores=1,3,5,7
/proc/14173/task/14185/stat : 14185 (java) S 14170 14173 17093 0 -1 1077944384 10022 0 0 0 190 1 0 0 20 0 17 0 67097632 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139828864461168 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14186] ppid=14170 vsize=10750924 memory=932 CPUtime=0.33 cores=1,3,5,7
/proc/14173/task/14186/stat : 14186 (java) S 14170 14173 17093 0 -1 1077944384 1879 0 0 0 33 0 0 0 20 0 17 0 67097632 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139828863408112 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14187] ppid=14170 vsize=10750924 memory=56 CPUtime=0 cores=1,3,5,7
/proc/14173/task/14187/stat : 14187 (java) S 14170 14173 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67097632 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139828862355808 139829628294869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
[pid=14173/tid=14188] ppid=14170 vsize=10750924 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14173/task/14188/stat : 14188 (java) S 14170 14173 17093 0 -1 1077944384 1172 0 0 0 3 2 0 0 20 0 17 0 67097639 11008946176 2013204 18446744073709551615 4194304 4196468 140733657882928 139828861303856 139829628295810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28311552 140733657891221 140733657891374 140733657891374 140733657894863 0
Current children cumulated CPU time: 255.6 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8052816 KiB
[startup+104.501 s]*
/proc/loadavg: 4.95 3.83 3.74 3/196 14269
/proc/meminfo: memFree=18431720/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 104.532
CPU time (s): 255.751
CPU user time (s): 250.442
CPU system time (s): 5.30899
CPU usage (%): 244.662
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 8052816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.442
system time used= 5.30899
maximum resident set size= 8053344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6212
involuntary context switches= 2691
# summary of solver processes directly reported to runsolver:
# pid: 14173
# total CPU time (s): 255.751
# total CPU user time (s): 250.442
# total CPU system time (s): 5.30899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.615239 second user time and 1.0488 second system time
The end