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 (11044 MiB free)
memory of node 1: 16384 MiB (11804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292811-1532293810/watcher-4292811-1532293810 -o /tmp/evaluation-result-4292811-1532293810/solver-4292811-1532293810 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1373014047 HOME/instance-4292811-1532293810.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5244, runsolver pid=5239
Current StackSize limit: 8192 KiB
[startup+0.100215 s]*
/proc/loadavg: 0.95 1.24 1.66 4/213 5319
/proc/meminfo: memFree=23369560/32770624 swapFree=67108860/67108860
[pid=5244] ppid=5239 vsize=113256 memory=1608 CPUtime=0.07 cores=1,3,5,7
/proc/5244/stat : 5244 (bash) S 5239 5244 5182 0 -1 4202496 918 11222 0 1 0 0 5 2 20 0 1 0 46944239 115974144 402 33554432000 4194304 5098028 140728320647824 140728320641048 140069389929472 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 22704128 140728320656555 140728320656680 140728320656680 140728320659438 0
/proc/5244/statm: 28314 402 318 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1608 KiB
[startup+0.212283 s]*
/proc/loadavg: 0.95 1.24 1.66 8/219 5377
/proc/meminfo: memFree=23348592/32770624 swapFree=67108860/67108860
[pid=5244] ppid=5239 vsize=10818904 memory=37104 CPUtime=0.22 cores=1,3,5,7
/proc/5244/stat : 5244 (java) S 5239 5244 5182 0 -1 1077944320 6494 13246 0 1 13 1 5 3 20 0 15 0 46944239 11078557696 9276 33554432000 4194304 4196468 140731610292880 140731610275424 140259888135927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
/proc/5244/statm: 2704726 9276 2939 1 0 2667149 0
[pid=5244/tid=5350] ppid=5239 vsize=10818904 memory=7377246124687064083 CPUtime=0.16 cores=1,3,5,7
/proc/5244/task/5350/stat : 5350 (java) R 5239 5244 5182 0 -1 4202560 3057 13246 0 1 8 0 5 3 20 0 15 0 46944251 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259859952384 140259888157853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5352] ppid=5239 vsize=10818904 memory=4211973764015426954 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5352/stat : 5352 (java) S 5239 5244 5182 0 -1 1077944384 2 13246 0 1 0 0 5 3 20 0 15 0 46944252 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259892378256 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5353] ppid=5239 vsize=10818904 memory=140037810636416 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5353/stat : 5353 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944252 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259811129872 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5354] ppid=5239 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5354/stat : 5354 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944252 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259810077072 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5355] ppid=5239 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5355/stat : 5355 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944252 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259809024272 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5360] ppid=5239 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5360/stat : 5360 (java) S 5239 5244 5182 0 -1 1077944384 2 13246 0 1 0 0 5 3 20 0 15 0 46944253 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259414821744 140259888147074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5363] ppid=5239 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5363/stat : 5363 (java) S 5239 5244 5182 0 -1 1077944384 13 13246 0 1 0 0 5 3 20 0 15 0 46944254 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259002148384 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5365] ppid=5239 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5365/stat : 5365 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944254 11078557696 9276 33554432000 4194304 4196468 140731610292880 140258733712752 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5367] ppid=5239 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5367/stat : 5367 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11078557696 9276 33554432000 4194304 4196468 140731610292880 140258426313040 140259888154523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5369] ppid=5239 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5244/task/5369/stat : 5369 (java) S 5239 5244 5182 0 -1 1077944384 423 13246 0 1 1 0 5 3 20 0 15 0 46944257 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259413768560 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5372] ppid=5239 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/5244/task/5372/stat : 5372 (java) S 5239 5244 5182 0 -1 1077944384 192 13246 0 1 1 0 5 3 20 0 15 0 46944257 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259412715760 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5373] ppid=5239 vsize=10818904 memory=140037810636416 CPUtime=0.1 cores=1,3,5,7
/proc/5244/task/5373/stat : 5373 (java) S 5239 5244 5182 0 -1 1077944384 605 13246 0 1 2 0 5 3 20 0 15 0 46944257 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259411662960 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5375] ppid=5239 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5375/stat : 5375 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11078557696 9276 33554432000 4194304 4196468 140731610292880 140258392754400 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5377] ppid=5239 vsize=10818904 memory=140037810636416 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5377/stat : 5377 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944257 11078557696 9276 33554432000 4194304 4196468 140731610292880 140259410611376 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 37104 KiB
[startup+0.310579 s]*
/proc/loadavg: 0.95 1.24 1.66 6/219 5377
/proc/meminfo: memFree=23321960/32770624 swapFree=67108860/67108860
[pid=5244] ppid=5239 vsize=10819352 memory=50880 CPUtime=0.35 cores=1,3,5,7
/proc/5244/stat : 5244 (java) S 5239 5244 5182 0 -1 1077944320 9658 13246 0 1 25 2 5 3 20 0 15 0 46944239 11079016448 12720 33554432000 4194304 4196468 140731610292880 140731610275424 140259888135927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
/proc/5244/statm: 2704838 12720 3068 1 0 2667149 0
[pid=5244/tid=5350] ppid=5239 vsize=10819352 memory=576567874760998942 CPUtime=0.26 cores=1,3,5,7
/proc/5244/task/5350/stat : 5350 (java) R 5239 5244 5182 0 -1 1077944384 6194 13246 0 1 17 1 5 3 20 0 15 0 46944251 11079016448 12720 33554432000 4194304 4196468 140731610292880 140259859946496 140259880815149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5352] ppid=5239 vsize=10819352 memory=298 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5352/stat : 5352 (java) S 5239 5244 5182 0 -1 1077944384 2 13246 0 1 0 0 5 3 20 0 15 0 46944252 11079016448 12720 33554432000 4194304 4196468 140731610292880 140259892378256 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5353] ppid=5239 vsize=10819352 memory=140037810640432 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5353/stat : 5353 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944252 11079016448 12720 33554432000 4194304 4196468 140731610292880 140259811129872 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5354] ppid=5239 vsize=10819384 memory=-7457052372387209120 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5354/stat : 5354 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944252 11079049216 12720 33554432000 4194304 4196468 140731610292880 140259810077072 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5355] ppid=5239 vsize=10819384 memory=3472328128895805256 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5355/stat : 5355 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944252 11079049216 12722 33554432000 4194304 4196468 140731610292880 140259809024272 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5360] ppid=5239 vsize=10819352 memory=3472468334035763428 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5360/stat : 5360 (java) S 5239 5244 5182 0 -1 1077944384 2 13246 0 1 0 0 5 3 20 0 15 0 46944253 11079016448 12722 33554432000 4194304 4196468 140731610292880 140259414821744 140259888147074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5363] ppid=5239 vsize=10819352 memory=7016453692698331749 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5363/stat : 5363 (java) S 5239 5244 5182 0 -1 1077944384 13 13246 0 1 0 0 5 3 20 0 15 0 46944254 11079016448 12722 33554432000 4194304 4196468 140731610292880 140259002148384 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5365] ppid=5239 vsize=10819352 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5365/stat : 5365 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944254 11079016448 12722 33554432000 4194304 4196468 140731610292880 140258733712752 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5367] ppid=5239 vsize=10819352 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5367/stat : 5367 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11079016448 12722 33554432000 4194304 4196468 140731610292880 140258426313040 140259888154523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5369] ppid=5239 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5244/task/5369/stat : 5369 (java) S 5239 5244 5182 0 -1 1077944384 426 13246 0 1 1 0 5 3 20 0 15 0 46944257 11079016448 12722 33554432000 4194304 4196468 140731610292880 140259413768560 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5372] ppid=5239 vsize=10819352 memory=734122147930189855 CPUtime=0.09 cores=1,3,5,7
/proc/5244/task/5372/stat : 5372 (java) S 5239 5244 5182 0 -1 1077944384 195 13246 0 1 1 0 5 3 20 0 15 0 46944257 11079016448 12722 33554432000 4194304 4196468 140731610292880 140259412715760 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5373] ppid=5239 vsize=10819352 memory=140037810636416 CPUtime=0.12 cores=1,3,5,7
/proc/5244/task/5373/stat : 5373 (java) S 5239 5244 5182 0 -1 1077944384 640 13246 0 1 4 0 5 3 20 0 15 0 46944257 11079016448 12722 33554432000 4194304 4196468 140731610292880 140259411662960 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5375] ppid=5239 vsize=10819384 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5375/stat : 5375 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11079049216 12722 33554432000 4194304 4196468 140731610292880 140258392754400 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5377] ppid=5239 vsize=10819384 memory=140037810636416 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5377/stat : 5377 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944257 11079049216 12722 33554432000 4194304 4196468 140731610292880 140259410611376 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 50880 KiB
[startup+0.700846 s]
/proc/loadavg: 0.95 1.24 1.66 3/219 5377
/proc/meminfo: memFree=23295484/32770624 swapFree=67108860/67108860
[pid=5244] ppid=5239 vsize=10819352 memory=88344 CPUtime=0.96 cores=1,3,5,7
/proc/5244/stat : 5244 (java) S 5239 5244 5182 0 -1 1077944320 16677 13246 0 1 84 4 5 3 20 0 15 0 46944239 11079016448 22086 33554432000 4194304 4196468 140731610292880 140731610275424 140259888135927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
/proc/5244/statm: 2704838 22086 3240 1 0 2667149 0
[pid=5244/tid=5350] ppid=5239 vsize=10819352 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/5244/task/5350/stat : 5350 (java) R 5239 5244 5182 0 -1 4202560 12076 13246 0 1 53 3 5 3 20 0 15 0 46944251 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259859963808 140259869689240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5352] ppid=5239 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5352/stat : 5352 (java) S 5239 5244 5182 0 -1 1077944384 2 13246 0 1 0 0 5 3 20 0 15 0 46944252 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259892378256 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5353] ppid=5239 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5353/stat : 5353 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944252 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259811129872 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5354] ppid=5239 vsize=10819352 memory=140037677379360 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5354/stat : 5354 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944252 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259810077072 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5355] ppid=5239 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5355/stat : 5355 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944252 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259809024272 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5360] ppid=5239 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5360/stat : 5360 (java) S 5239 5244 5182 0 -1 1077944384 5 13246 0 1 0 0 5 3 20 0 15 0 46944253 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259414821744 140259888147074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5363] ppid=5239 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5363/stat : 5363 (java) S 5239 5244 5182 0 -1 1077944384 13 13246 0 1 0 0 5 3 20 0 15 0 46944254 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259002148384 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5365] ppid=5239 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5365/stat : 5365 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944254 11079016448 22086 33554432000 4194304 4196468 140731610292880 140258733712752 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5367] ppid=5239 vsize=10819352 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5367/stat : 5367 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11079016448 22086 33554432000 4194304 4196468 140731610292880 140258426313040 140259888154523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5369] ppid=5239 vsize=10819352 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/5244/task/5369/stat : 5369 (java) S 5239 5244 5182 0 -1 1077944384 843 13246 0 1 7 0 5 3 20 0 15 0 46944257 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259413768560 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5372] ppid=5239 vsize=10819352 memory=140037677387448 CPUtime=0.18 cores=1,3,5,7
/proc/5244/task/5372/stat : 5372 (java) S 5239 5244 5182 0 -1 1077944384 799 13246 0 1 10 0 5 3 20 0 15 0 46944257 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259412715760 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5373] ppid=5239 vsize=10819352 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/5244/task/5373/stat : 5373 (java) S 5239 5244 5182 0 -1 1077944384 735 13246 0 1 13 0 5 3 20 0 15 0 46944257 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259411662960 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5375] ppid=5239 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5375/stat : 5375 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11079016448 22086 33554432000 4194304 4196468 140731610292880 140258392754400 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5377] ppid=5239 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5377/stat : 5377 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944257 11079016448 22086 33554432000 4194304 4196468 140731610292880 140259410611376 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88344 KiB
[startup+1.50073 s]
/proc/loadavg: 0.95 1.24 1.66 8/219 5377
/proc/meminfo: memFree=23208380/32770624 swapFree=67108860/67108860
[pid=5244] ppid=5239 vsize=10834252 memory=179284 CPUtime=2.27 cores=1,3,5,7
/proc/5244/stat : 5244 (java) S 5239 5244 5182 0 -1 1077944320 23863 13246 0 1 209 10 5 3 20 0 15 0 46944239 11094274048 44821 33554432000 4194304 4196468 140731610292880 140731610275424 140259888135927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
/proc/5244/statm: 2708563 44821 3468 1 0 2670221 0
[pid=5244/tid=5350] ppid=5239 vsize=10834252 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/5244/task/5350/stat : 5350 (java) R 5239 5244 5182 0 -1 4202560 17548 13246 0 1 126 5 5 3 20 0 15 0 46944251 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259859967328 140259872216414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5352] ppid=5239 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5244/task/5352/stat : 5352 (java) S 5239 5244 5182 0 -1 1077944384 34 13246 0 1 1 0 5 3 20 0 15 0 46944252 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259892378256 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5353] ppid=5239 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5244/task/5353/stat : 5353 (java) S 5239 5244 5182 0 -1 1077944384 20 13246 0 1 1 0 5 3 20 0 15 0 46944252 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259811129872 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5354] ppid=5239 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5244/task/5354/stat : 5354 (java) S 5239 5244 5182 0 -1 1077944384 59 13246 0 1 1 0 5 3 20 0 15 0 46944252 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259810077072 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5355] ppid=5239 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5244/task/5355/stat : 5355 (java) S 5239 5244 5182 0 -1 1077944384 197 13246 0 1 1 0 5 3 20 0 15 0 46944252 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259809024272 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5360] ppid=5239 vsize=10834252 memory=280075354553648 CPUtime=0.09 cores=1,3,5,7
/proc/5244/task/5360/stat : 5360 (java) S 5239 5244 5182 0 -1 1077944384 58 13246 0 1 1 0 5 3 20 0 15 0 46944253 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259414821744 140259888147074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5363] ppid=5239 vsize=10834252 memory=288230621803970871 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5363/stat : 5363 (java) S 5239 5244 5182 0 -1 1077944384 13 13246 0 1 0 0 5 3 20 0 15 0 46944254 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259002148448 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5365] ppid=5239 vsize=10834252 memory=14414808732666269 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5365/stat : 5365 (java) S 5239 5244 5182 0 -1 1077944384 2 13246 0 1 0 0 5 3 20 0 15 0 46944254 11094274048 44821 33554432000 4194304 4196468 140731610292880 140258733712768 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5367] ppid=5239 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5367/stat : 5367 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11094274048 44821 33554432000 4194304 4196468 140731610292880 140258426313040 140259888154523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5369] ppid=5239 vsize=10834252 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/5244/task/5369/stat : 5369 (java) S 5239 5244 5182 0 -1 1077944384 1388 13246 0 1 22 0 5 3 20 0 15 0 46944257 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259413768560 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5372] ppid=5239 vsize=10834252 memory=664970774542265242 CPUtime=0.27 cores=1,3,5,7
/proc/5244/task/5372/stat : 5372 (java) S 5239 5244 5182 0 -1 1077944384 997 13246 0 1 19 0 5 3 20 0 15 0 46944257 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259412715760 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5373] ppid=5239 vsize=10834252 memory=88344 CPUtime=0.4 cores=1,3,5,7
/proc/5244/task/5373/stat : 5373 (java) S 5239 5244 5182 0 -1 1077944384 1348 13246 0 1 32 0 5 3 20 0 15 0 46944257 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259411662960 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5375] ppid=5239 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5375/stat : 5375 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11094274048 44821 33554432000 4194304 4196468 140731610292880 140258392754400 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5377] ppid=5239 vsize=10834252 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5377/stat : 5377 (java) S 5239 5244 5182 0 -1 1077944384 1 13246 0 1 0 0 5 3 20 0 15 0 46944257 11094274048 44821 33554432000 4194304 4196468 140731610292880 140259410611376 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 179284 KiB
[startup+3.11088 s]
/proc/loadavg: 1.12 1.27 1.66 10/219 5377
/proc/meminfo: memFree=22876196/32770624 swapFree=67108860/67108860
[pid=5244] ppid=5239 vsize=10844512 memory=296824 CPUtime=6.38 cores=1,3,5,7
/proc/5244/stat : 5244 (java) S 5239 5244 5182 0 -1 1077944320 34078 13246 0 1 613 17 5 3 20 0 15 0 46944239 11104780288 74206 33554432000 4194304 4196468 140731610292880 140731610275424 140259888135927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
/proc/5244/statm: 2711128 74206 3491 1 0 2672781 0
[pid=5244/tid=5350] ppid=5239 vsize=10844512 memory=152 CPUtime=2.98 cores=1,3,5,7
/proc/5244/task/5350/stat : 5350 (java) R 5239 5244 5182 0 -1 4202560 22733 13246 0 1 282 8 5 3 20 0 15 0 46944251 11104780288 74206 33554432000 4194304 4196468 140731610292880 140259859965712 140259498942690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
################
# More data... #
################
/proc/5244/task/5350/stat : 5350 (java) R 5239 5244 5182 0 -1 4202560 67608 13246 0 1 243316 21 5 3 20 0 15 0 46944251 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259859969744 140259502667341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5352] ppid=5239 vsize=10912096 memory=457684 CPUtime=3.5 cores=1,3,5,7
/proc/5244/task/5352/stat : 5352 (java) S 5239 5244 5182 0 -1 1077944384 10319 13246 0 1 324 18 5 3 20 0 15 0 46944252 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259892378256 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5353] ppid=5239 vsize=10912096 memory=457684 CPUtime=3.52 cores=1,3,5,7
/proc/5244/task/5353/stat : 5353 (java) S 5239 5244 5182 0 -1 1077944384 9470 13246 0 1 325 19 5 3 20 0 15 0 46944252 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259811129872 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5354] ppid=5239 vsize=10912096 memory=464356 CPUtime=3.51 cores=1,3,5,7
/proc/5244/task/5354/stat : 5354 (java) S 5239 5244 5182 0 -1 1077944384 7705 13246 0 1 322 21 5 3 20 0 15 0 46944252 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259810077072 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5355] ppid=5239 vsize=10912096 memory=464356 CPUtime=3.51 cores=1,3,5,7
/proc/5244/task/5355/stat : 5355 (java) S 5239 5244 5182 0 -1 1077944384 8555 13246 0 1 323 20 5 3 20 0 15 0 46944252 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259809024272 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5360] ppid=5239 vsize=10912096 memory=457684 CPUtime=3.37 cores=1,3,5,7
/proc/5244/task/5360/stat : 5360 (java) S 5239 5244 5182 0 -1 1077944384 11690 13246 0 1 311 18 5 3 20 0 15 0 46944253 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259414821744 140259888147074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5363] ppid=5239 vsize=10912096 memory=457684 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5363/stat : 5363 (java) S 5239 5244 5182 0 -1 1077944384 17 13246 0 1 0 0 5 3 20 0 15 0 46944254 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259002148448 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5365] ppid=5239 vsize=10912096 memory=457684 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5365/stat : 5365 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944254 11173986304 114421 33554432000 4194304 4196468 140731610292880 140258733712768 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5367] ppid=5239 vsize=10912096 memory=3833887632941462111 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5367/stat : 5367 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11173986304 114421 33554432000 4194304 4196468 140731610292880 140258426313040 140259888154523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5369] ppid=5239 vsize=10912096 memory=457684 CPUtime=3.38 cores=1,3,5,7
/proc/5244/task/5369/stat : 5369 (java) S 5239 5244 5182 0 -1 1077944384 12656 13246 0 1 328 2 5 3 20 0 15 0 46944257 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259413768560 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5372] ppid=5239 vsize=10912096 memory=457684 CPUtime=3.26 cores=1,3,5,7
/proc/5244/task/5372/stat : 5372 (java) S 5239 5244 5182 0 -1 1077944384 20172 13246 0 1 316 2 5 3 20 0 15 0 46944257 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259412715760 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5373] ppid=5239 vsize=10912096 memory=8112282956445269571 CPUtime=1.65 cores=1,3,5,7
/proc/5244/task/5373/stat : 5373 (java) S 5239 5244 5182 0 -1 1077944384 17164 13246 0 1 153 4 5 3 20 0 15 0 46944257 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259411662960 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5375] ppid=5239 vsize=10912096 memory=2240 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5375/stat : 5375 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11173986304 114421 33554432000 4194304 4196468 140731610292880 140258392754400 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5377] ppid=5239 vsize=10912096 memory=457684 CPUtime=0.82 cores=1,3,5,7
/proc/5244/task/5377/stat : 5377 (java) S 5239 5244 5182 0 -1 1077944384 1506 13246 0 1 38 36 5 3 20 0 15 0 46944257 11173986304 114421 33554432000 4194304 4196468 140731610292880 140259410611376 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
Current children cumulated CPU time: 2459.35 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 457684 KiB
[startup+2502.3 s]
/proc/loadavg: 1.08 1.21 1.29 5/216 5579
/proc/meminfo: memFree=22562300/32770624 swapFree=67108860/67108860
[pid=5244] ppid=5239 vsize=10912096 memory=459732 CPUtime=2519.6 cores=1,3,5,7
/proc/5244/stat : 5244 (java) S 5239 5244 5182 0 -1 1077944320 169573 13246 0 1 251807 145 5 3 20 0 15 0 46944239 11173986304 114933 33554432000 4194304 4196468 140731610292880 140731610275424 140259888135927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
/proc/5244/statm: 2728024 114933 3523 1 0 2689677 0
[pid=5244/tid=5350] ppid=5239 vsize=10912096 memory=459732 CPUtime=2493.18 cores=1,3,5,7
/proc/5244/task/5350/stat : 5350 (java) R 5239 5244 5182 0 -1 4202560 67864 13246 0 1 249288 22 5 3 20 0 15 0 46944251 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259859969904 140259502400883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5352] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.6 cores=1,3,5,7
/proc/5244/task/5352/stat : 5352 (java) S 5239 5244 5182 0 -1 1077944384 10321 13246 0 1 333 19 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259892378256 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5353] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.62 cores=1,3,5,7
/proc/5244/task/5353/stat : 5353 (java) S 5239 5244 5182 0 -1 1077944384 9685 13246 0 1 334 20 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259811129872 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5354] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.61 cores=1,3,5,7
/proc/5244/task/5354/stat : 5354 (java) S 5239 5244 5182 0 -1 1077944384 7714 13246 0 1 331 22 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259810077072 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5355] ppid=5239 vsize=10912096 memory=164 CPUtime=3.61 cores=1,3,5,7
/proc/5244/task/5355/stat : 5355 (java) S 5239 5244 5182 0 -1 1077944384 8563 13246 0 1 332 21 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259809024272 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5360] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.46 cores=1,3,5,7
/proc/5244/task/5360/stat : 5360 (java) S 5239 5244 5182 0 -1 1077944384 11705 13246 0 1 319 19 5 3 20 0 15 0 46944253 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259414821744 140259888147074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5363] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5363/stat : 5363 (java) S 5239 5244 5182 0 -1 1077944384 17 13246 0 1 0 0 5 3 20 0 15 0 46944254 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259002148448 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5365] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5365/stat : 5365 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944254 11173986304 114933 33554432000 4194304 4196468 140731610292880 140258733712768 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5367] ppid=5239 vsize=10912096 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5367/stat : 5367 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140258426313040 140259888154523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5369] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.38 cores=1,3,5,7
/proc/5244/task/5369/stat : 5369 (java) S 5239 5244 5182 0 -1 1077944384 12656 13246 0 1 328 2 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259413768560 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5372] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.26 cores=1,3,5,7
/proc/5244/task/5372/stat : 5372 (java) S 5239 5244 5182 0 -1 1077944384 20172 13246 0 1 316 2 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259412715760 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5373] ppid=5239 vsize=10912096 memory=459732 CPUtime=1.65 cores=1,3,5,7
/proc/5244/task/5373/stat : 5373 (java) S 5239 5244 5182 0 -1 1077944384 17164 13246 0 1 153 4 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259411662960 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5375] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5375/stat : 5375 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140258392754400 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5377] ppid=5239 vsize=10912096 memory=15668 CPUtime=0.84 cores=1,3,5,7
/proc/5244/task/5377/stat : 5377 (java) S 5239 5244 5182 0 -1 1077944384 1510 13246 0 1 39 37 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259410611376 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
Current children cumulated CPU time: 2519.6 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 459732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502.7 s]
/proc/loadavg: 1.08 1.21 1.29 5/216 5579
/proc/meminfo: memFree=22562300/32770624 swapFree=67108860/67108860
[pid=5244] ppid=5239 vsize=10912096 memory=459732 CPUtime=2520 cores=1,3,5,7
/proc/5244/stat : 5244 (java) S 5239 5244 5182 0 -1 1077944320 169574 13246 0 1 251847 145 5 3 20 0 15 0 46944239 11173986304 114933 33554432000 4194304 4196468 140731610292880 140731610275424 140259888135927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
/proc/5244/statm: 2728024 114933 3523 1 0 2689677 0
[pid=5244/tid=5350] ppid=5239 vsize=10912096 memory=459732 CPUtime=2493.58 cores=1,3,5,7
/proc/5244/task/5350/stat : 5350 (java) R 5239 5244 5182 0 -1 4202560 67865 13246 0 1 249328 22 5 3 20 0 15 0 46944251 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259859969856 140259502726983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5352] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.61 cores=1,3,5,7
/proc/5244/task/5352/stat : 5352 (java) S 5239 5244 5182 0 -1 1077944384 10321 13246 0 1 334 19 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259892378256 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5353] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.62 cores=1,3,5,7
/proc/5244/task/5353/stat : 5353 (java) S 5239 5244 5182 0 -1 1077944384 9685 13246 0 1 334 20 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259811129872 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5354] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.62 cores=1,3,5,7
/proc/5244/task/5354/stat : 5354 (java) S 5239 5244 5182 0 -1 1077944384 7714 13246 0 1 332 22 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259810077072 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5355] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.61 cores=1,3,5,7
/proc/5244/task/5355/stat : 5355 (java) S 5239 5244 5182 0 -1 1077944384 8563 13246 0 1 332 21 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259809024272 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5360] ppid=5239 vsize=10912096 memory=164 CPUtime=3.46 cores=1,3,5,7
/proc/5244/task/5360/stat : 5360 (java) S 5239 5244 5182 0 -1 1077944384 11705 13246 0 1 319 19 5 3 20 0 15 0 46944253 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259414821744 140259888147074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5363] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5363/stat : 5363 (java) S 5239 5244 5182 0 -1 1077944384 17 13246 0 1 0 0 5 3 20 0 15 0 46944254 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259002148448 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5365] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5365/stat : 5365 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944254 11173986304 114933 33554432000 4194304 4196468 140731610292880 140258733712768 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5367] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5367/stat : 5367 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140258426313040 140259888154523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5369] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.38 cores=1,3,5,7
/proc/5244/task/5369/stat : 5369 (java) S 5239 5244 5182 0 -1 1077944384 12656 13246 0 1 328 2 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259413768560 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5372] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.26 cores=1,3,5,7
/proc/5244/task/5372/stat : 5372 (java) S 5239 5244 5182 0 -1 1077944384 20172 13246 0 1 316 2 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259412715760 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5373] ppid=5239 vsize=10912096 memory=459732 CPUtime=1.65 cores=1,3,5,7
/proc/5244/task/5373/stat : 5373 (java) S 5239 5244 5182 0 -1 1077944384 17164 13246 0 1 153 4 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259411662960 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5375] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5375/stat : 5375 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140258392754400 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5377] ppid=5239 vsize=10912096 memory=4140 CPUtime=0.84 cores=1,3,5,7
/proc/5244/task/5377/stat : 5377 (java) S 5239 5244 5182 0 -1 1077944384 1510 13246 0 1 39 37 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259410611376 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 459732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.72 s]
# the end of solver process 5244 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.55 s, system=1.4919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.7 s]
/proc/loadavg: 1.08 1.21 1.29 5/216 5579
/proc/meminfo: memFree=22562300/32770624 swapFree=67108860/67108860
[pid=5244] ppid=5239 vsize=10912096 memory=459732 CPUtime=2520 cores=1,3,5,7
/proc/5244/stat : 5244 (java) S 5239 5244 5182 0 -1 1077944320 169574 13246 0 1 251847 145 5 3 20 0 15 0 46944239 11173986304 114933 33554432000 4194304 4196468 140731610292880 140731610275424 140259888135927 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
/proc/5244/statm: 2728024 114933 3523 1 0 2689677 0
[pid=5244/tid=5350] ppid=5239 vsize=10912096 memory=459732 CPUtime=2493.58 cores=1,3,5,7
/proc/5244/task/5350/stat : 5350 (java) R 5239 5244 5182 0 -1 4202560 67865 13246 0 1 249328 22 5 3 20 0 15 0 46944251 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259859969856 140259502726983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5352] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.61 cores=1,3,5,7
/proc/5244/task/5352/stat : 5352 (java) S 5239 5244 5182 0 -1 1077944384 10321 13246 0 1 334 19 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259892378256 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5353] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.62 cores=1,3,5,7
/proc/5244/task/5353/stat : 5353 (java) S 5239 5244 5182 0 -1 1077944384 9685 13246 0 1 334 20 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259811129872 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5354] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.62 cores=1,3,5,7
/proc/5244/task/5354/stat : 5354 (java) S 5239 5244 5182 0 -1 1077944384 7714 13246 0 1 332 22 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259810077072 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5355] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.61 cores=1,3,5,7
/proc/5244/task/5355/stat : 5355 (java) S 5239 5244 5182 0 -1 1077944384 8563 13246 0 1 332 21 5 3 20 0 15 0 46944252 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259809024272 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5360] ppid=5239 vsize=10912096 memory=164 CPUtime=3.46 cores=1,3,5,7
/proc/5244/task/5360/stat : 5360 (java) S 5239 5244 5182 0 -1 1077944384 11705 13246 0 1 319 19 5 3 20 0 15 0 46944253 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259414821744 140259888147074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5363] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5363/stat : 5363 (java) S 5239 5244 5182 0 -1 1077944384 17 13246 0 1 0 0 5 3 20 0 15 0 46944254 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259002148448 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5365] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5365/stat : 5365 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944254 11173986304 114933 33554432000 4194304 4196468 140731610292880 140258733712768 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5367] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5367/stat : 5367 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140258426313040 140259888154523 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5369] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.38 cores=1,3,5,7
/proc/5244/task/5369/stat : 5369 (java) S 5239 5244 5182 0 -1 1077944384 12656 13246 0 1 328 2 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259413768560 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5372] ppid=5239 vsize=10912096 memory=459732 CPUtime=3.26 cores=1,3,5,7
/proc/5244/task/5372/stat : 5372 (java) S 5239 5244 5182 0 -1 1077944384 20172 13246 0 1 316 2 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259412715760 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5373] ppid=5239 vsize=10912096 memory=459732 CPUtime=1.65 cores=1,3,5,7
/proc/5244/task/5373/stat : 5373 (java) S 5239 5244 5182 0 -1 1077944384 17164 13246 0 1 153 4 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259411662960 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5375] ppid=5239 vsize=10912096 memory=459732 CPUtime=0.08 cores=1,3,5,7
/proc/5244/task/5375/stat : 5375 (java) S 5239 5244 5182 0 -1 1077944384 3 13246 0 1 0 0 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140258392754400 140259888146133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
[pid=5244/tid=5377] ppid=5239 vsize=10912096 memory=4140 CPUtime=0.84 cores=1,3,5,7
/proc/5244/task/5377/stat : 5377 (java) S 5239 5244 5182 0 -1 1077944384 1510 13246 0 1 39 37 5 3 20 0 15 0 46944257 11173986304 114933 33554432000 4194304 4196468 140731610292880 140259410611376 140259888147074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8908800 140731610298990 140731610301788 140731610301788 140731610304463 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 459732 KiB
Child status: 143
Real time (s): 2502.72
CPU time (s): 2520.04
CPU user time (s): 2518.55
CPU system time (s): 1.4919
CPU usage (%): 100.692
Max. virtual memory (cumulated for all children) (KiB): 10914804
Max. memory (cumulated for all children) (KiB): 614616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.55
system time used= 1.4919
maximum resident set size= 616676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183934
page faults= 1
swaps= 0
block input operations= 504
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129592
involuntary context switches= 5074
# summary of solver processes directly reported to runsolver:
# pid: 5244
# total CPU time (s): 2520.04
# total CPU user time (s): 2518.55
# total CPU system time (s): 1.4919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3651 second user time and 21.8349 second system time
The end