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 (5400 MiB free)
memory of node 1: 16384 MiB (13201 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293326-1532313441/watcher-4293326-1532313441 -o /tmp/evaluation-result-4293326-1532313441/solver-4293326-1532313441 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16112 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1274337447 -superng HOME/instance-4293326-1532313441.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=19291, runsolver pid=19288
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 1.61 1.76 1.77 3/210 19348
/proc/meminfo: memFree=19042832/32770624 swapFree=67108860/67108860
[pid=19291] ppid=19288 vsize=9972712 memory=16548 CPUtime=0.08 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 16080 0 -1 1077944320 4300 12948 0 0 1 0 5 2 20 0 6 0 48907315 10212057088 4137 33554432000 4194304 4196468 140734178912640 140734178895184 139797510246135 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
/proc/19291/statm: 2493178 4137 1932 1 0 2481616 0
[pid=19291/tid=19344] ppid=19288 vsize=9972712 memory=5853394876260712605 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19344/stat : 19344 (java) R 19288 19291 16080 0 -1 4202560 2153 12948 0 0 0 0 5 2 20 0 6 0 48907324 10212057088 4203 33554432000 4194304 4196468 140734178912640 139797482082896 139797510268061 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19345] ppid=19288 vsize=9972712 memory=5793855327646325177 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19345/stat : 19345 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 6 0 48907325 10212057088 4203 33554432000 4194304 4196468 140734178912640 139797514488592 139797510256341 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19346] ppid=19288 vsize=9972712 memory=140076636432000 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19346/stat : 19346 (java) S 19288 19291 16080 0 -1 1077944384 2 12948 0 0 0 0 5 2 20 0 6 0 48907325 10212057088 4203 33554432000 4194304 4196468 140734178912640 139797429308304 139797510256341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19347] ppid=19288 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19347/stat : 19347 (java) S 19288 19291 16080 0 -1 1077944384 2 12948 0 0 0 0 5 2 20 0 6 0 48907325 10212057088 4203 33554432000 4194304 4196468 140734178912640 139797082070032 139797510256341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19348] ppid=19288 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19348/stat : 19348 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 6 0 48907325 10212057088 4203 33554432000 4194304 4196468 140734178912640 139797081017488 139797510256341 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210383 s]*
/proc/loadavg: 1.61 1.76 1.77 3/219 19357
/proc/meminfo: memFree=19019428/32770624 swapFree=67108860/67108860
[pid=19291] ppid=19288 vsize=10818904 memory=43892 CPUtime=0.25 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 16080 0 -1 1077944320 8175 12948 0 0 15 3 5 2 20 0 15 0 48907315 11078557696 10973 33554432000 4194304 4196468 140734178912640 140734178895184 139797510246135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
/proc/19291/statm: 2704726 10973 2970 1 0 2667149 0
[pid=19291/tid=19344] ppid=19288 vsize=10819896 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/19291/task/19344/stat : 19344 (java) R 19288 19291 16080 0 -1 4202560 4864 12948 0 0 9 2 5 2 20 0 15 0 48907324 11079573504 11039 33554432000 4194304 4196468 140734178912640 139797482070944 139797502925853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19345] ppid=19288 vsize=10819896 memory=4211973802841222538 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19345/stat : 19345 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079573504 11039 33554432000 4194304 4196468 140734178912640 139797514488592 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19346] ppid=19288 vsize=10819896 memory=140076636432000 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19346/stat : 19346 (java) S 19288 19291 16080 0 -1 1077944384 2 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079573504 11039 33554432000 4194304 4196468 140734178912640 139797429308304 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19347] ppid=19288 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19347/stat : 19347 (java) S 19288 19291 16080 0 -1 1077944384 2 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079573504 11039 33554432000 4194304 4196468 140734178912640 139797082070032 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19348] ppid=19288 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19348/stat : 19348 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079573504 11039 33554432000 4194304 4196468 140734178912640 139797081017488 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19349] ppid=19288 vsize=10819896 memory=140076636432000 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19349/stat : 19349 (java) S 19288 19291 16080 0 -1 1077944384 2 12948 0 0 0 0 5 2 20 0 15 0 48907326 11079573504 11105 33554432000 4194304 4196468 140734178912640 139796782118896 139797510257282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19350] ppid=19288 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19350/stat : 19350 (java) S 19288 19291 16080 0 -1 1077944384 13 12948 0 0 0 0 5 2 20 0 15 0 48907327 11079573504 11105 33554432000 4194304 4196468 140734178912640 139796689183648 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19351] ppid=19288 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19351/stat : 19351 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907327 11079573504 11105 33554432000 4194304 4196468 140734178912640 139796554966000 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19352] ppid=19288 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19352/stat : 19352 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11079573504 11105 33554432000 4194304 4196468 140734178912640 139796046239952 139797510264731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19353] ppid=19288 vsize=10819896 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19291/task/19353/stat : 19353 (java) S 19288 19291 16080 0 -1 1077944384 494 12948 0 0 1 0 5 2 20 0 15 0 48907330 11079573504 11171 33554432000 4194304 4196468 140734178912640 139796781066736 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19354] ppid=19288 vsize=10819896 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19291/task/19354/stat : 19354 (java) S 19288 19291 16080 0 -1 1077944384 87 12948 0 0 1 0 5 2 20 0 15 0 48907330 11079573504 11171 33554432000 4194304 4196468 140734178912640 139796780014192 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19355] ppid=19288 vsize=10819896 memory=140076636432000 CPUtime=0.1 cores=1,3,5,7
/proc/19291/task/19355/stat : 19355 (java) S 19288 19291 16080 0 -1 1077944384 555 12948 0 0 3 0 5 2 20 0 15 0 48907330 11079573504 11171 33554432000 4194304 4196468 140734178912640 139796778961648 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19356] ppid=19288 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19356/stat : 19356 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11079573504 11171 33554432000 4194304 4196468 140734178912640 139796012682336 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19357] ppid=19288 vsize=10819896 memory=140076636432000 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19357/stat : 19357 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907330 11079573504 11171 33554432000 4194304 4196468 140734178912640 139796777908528 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43892 KiB
[startup+0.310401 s]*
/proc/loadavg: 1.61 1.76 1.77 3/219 19357
/proc/meminfo: memFree=19008280/32770624 swapFree=67108860/67108860
[pid=19291] ppid=19288 vsize=10819352 memory=54524 CPUtime=0.37 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 16080 0 -1 1077944320 10669 12948 0 0 27 3 5 2 20 0 15 0 48907315 11079016448 13631 33554432000 4194304 4196468 140734178912640 140734178895184 139797510246135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
/proc/19291/statm: 2704838 13631 3089 1 0 2667149 0
[pid=19291/tid=19344] ppid=19288 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/19291/task/19344/stat : 19344 (java) R 19288 19291 16080 0 -1 4202560 7318 12948 0 0 18 2 5 2 20 0 15 0 48907324 11079016448 13631 33554432000 4194304 4196468 140734178912640 139797482058144 139797493639472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19345] ppid=19288 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19345/stat : 19345 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079016448 13631 33554432000 4194304 4196468 140734178912640 139797514488592 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19346] ppid=19288 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19346/stat : 19346 (java) S 19288 19291 16080 0 -1 1077944384 2 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079016448 13631 33554432000 4194304 4196468 140734178912640 139797429308304 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19347] ppid=19288 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19347/stat : 19347 (java) S 19288 19291 16080 0 -1 1077944384 2 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079016448 13631 33554432000 4194304 4196468 140734178912640 139797082070032 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19348] ppid=19288 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19348/stat : 19348 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079016448 13631 33554432000 4194304 4196468 140734178912640 139797081017488 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19349] ppid=19288 vsize=10819352 memory=140076636431999 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19349/stat : 19349 (java) S 19288 19291 16080 0 -1 1077944384 2 12948 0 0 0 0 5 2 20 0 15 0 48907326 11079016448 13631 33554432000 4194304 4196468 140734178912640 139796782118896 139797510257282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19350] ppid=19288 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19350/stat : 19350 (java) S 19288 19291 16080 0 -1 1077944384 13 12948 0 0 0 0 5 2 20 0 15 0 48907327 11079016448 13631 33554432000 4194304 4196468 140734178912640 139796689183648 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19351] ppid=19288 vsize=10819352 memory=140076636432000 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19351/stat : 19351 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907327 11079016448 13631 33554432000 4194304 4196468 140734178912640 139796554966000 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19352] ppid=19288 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19352/stat : 19352 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11079016448 13631 33554432000 4194304 4196468 140734178912640 139796046239952 139797510264731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19353] ppid=19288 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19291/task/19353/stat : 19353 (java) S 19288 19291 16080 0 -1 1077944384 495 12948 0 0 1 0 5 2 20 0 15 0 48907330 11079016448 13631 33554432000 4194304 4196468 140734178912640 139796781066736 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19354] ppid=19288 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19291/task/19354/stat : 19354 (java) R 19288 19291 16080 0 -1 4202560 87 12948 0 0 1 0 5 2 20 0 15 0 48907330 11079016448 13631 33554432000 4194304 4196468 140734178912640 139796780014192 139797494354225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19355] ppid=19288 vsize=10819352 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/19291/task/19355/stat : 19355 (java) S 19288 19291 16080 0 -1 1077944384 560 12948 0 0 4 0 5 2 20 0 15 0 48907330 11079016448 13631 33554432000 4194304 4196468 140734178912640 139796778961648 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19356] ppid=19288 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19356/stat : 19356 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11079016448 13631 33554432000 4194304 4196468 140734178912640 139796012682336 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19357] ppid=19288 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19357/stat : 19357 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907330 11079016448 13631 33554432000 4194304 4196468 140734178912640 139796777908528 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54524 KiB
[startup+0.700745 s]
/proc/loadavg: 1.61 1.76 1.77 3/219 19357
/proc/meminfo: memFree=18997240/32770624 swapFree=67108860/67108860
[pid=19291] ppid=19288 vsize=10819352 memory=86680 CPUtime=0.99 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 16080 0 -1 1077944320 16777 12948 0 0 87 5 5 2 20 0 15 0 48907315 11079016448 21670 33554432000 4194304 4196468 140734178912640 140734178895184 139797510246135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
/proc/19291/statm: 2704838 21670 3237 1 0 2667149 0
[pid=19291/tid=19344] ppid=19288 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/19291/task/19344/stat : 19344 (java) R 19288 19291 16080 0 -1 4202560 12340 12948 0 0 55 4 5 2 20 0 15 0 48907324 11079016448 21670 33554432000 4194304 4196468 140734178912640 139797482066960 139797491809695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19345] ppid=19288 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19345/stat : 19345 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079016448 21670 33554432000 4194304 4196468 140734178912640 139797514488592 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19346] ppid=19288 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19346/stat : 19346 (java) S 19288 19291 16080 0 -1 1077944384 2 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079016448 21670 33554432000 4194304 4196468 140734178912640 139797429308304 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19347] ppid=19288 vsize=10819352 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19347/stat : 19347 (java) S 19288 19291 16080 0 -1 1077944384 2 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079016448 21670 33554432000 4194304 4196468 140734178912640 139797082070032 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19348] ppid=19288 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19348/stat : 19348 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907325 11079016448 21670 33554432000 4194304 4196468 140734178912640 139797081017488 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19349] ppid=19288 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19349/stat : 19349 (java) S 19288 19291 16080 0 -1 1077944384 6 12948 0 0 0 0 5 2 20 0 15 0 48907326 11079016448 21670 33554432000 4194304 4196468 140734178912640 139796782118896 139797510257282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19350] ppid=19288 vsize=10819352 memory=140076533163248 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19350/stat : 19350 (java) S 19288 19291 16080 0 -1 1077944384 13 12948 0 0 0 0 5 2 20 0 15 0 48907327 11079016448 21670 33554432000 4194304 4196468 140734178912640 139796689183648 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19351] ppid=19288 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19351/stat : 19351 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907327 11079016448 21670 33554432000 4194304 4196468 140734178912640 139796554966000 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19352] ppid=19288 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19352/stat : 19352 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11079016448 21670 33554432000 4194304 4196468 140734178912640 139796046239952 139797510264731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19353] ppid=19288 vsize=10819352 memory=6944656575208382560 CPUtime=0.16 cores=1,3,5,7
/proc/19291/task/19353/stat : 19353 (java) S 19288 19291 16080 0 -1 1077944384 1090 12948 0 0 9 0 5 2 20 0 15 0 48907330 11079016448 21670 33554432000 4194304 4196468 140734178912640 139796781066736 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19354] ppid=19288 vsize=10819352 memory=6656426216303648864 CPUtime=0.15 cores=1,3,5,7
/proc/19291/task/19354/stat : 19354 (java) S 19288 19291 16080 0 -1 1077944384 510 12948 0 0 8 0 5 2 20 0 15 0 48907330 11079016448 21670 33554432000 4194304 4196468 140734178912640 139796780014192 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19355] ppid=19288 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19291/task/19355/stat : 19355 (java) S 19288 19291 16080 0 -1 1077944384 616 12948 0 0 13 0 5 2 20 0 15 0 48907330 11079016448 21670 33554432000 4194304 4196468 140734178912640 139796778961648 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19356] ppid=19288 vsize=10819352 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19356/stat : 19356 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11079016448 21670 33554432000 4194304 4196468 140734178912640 139796012682336 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19357] ppid=19288 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19357/stat : 19357 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907330 11079016448 21670 33554432000 4194304 4196468 140734178912640 139796777908528 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86680 KiB
[startup+1.50072 s]
/proc/loadavg: 1.61 1.76 1.77 3/219 19357
/proc/meminfo: memFree=18950660/32770624 swapFree=67108860/67108860
[pid=19291] ppid=19288 vsize=10834252 memory=195564 CPUtime=2.91 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 16080 0 -1 1077944320 27006 12948 0 0 273 11 5 2 20 0 15 0 48907315 11094274048 48891 33554432000 4194304 4196468 140734178912640 140734178895184 139797510246135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
/proc/19291/statm: 2708563 48891 3484 1 0 2670221 0
[pid=19291/tid=19344] ppid=19288 vsize=10834252 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/19291/task/19344/stat : 19344 (java) R 19288 19291 16080 0 -1 4202560 17766 12948 0 0 128 6 5 2 20 0 15 0 48907324 11094274048 48891 33554432000 4194304 4196468 140734178912640 139797482063488 139797502483262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19345] ppid=19288 vsize=10834252 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/19291/task/19345/stat : 19345 (java) S 19288 19291 16080 0 -1 1077944384 170 12948 0 0 1 0 5 2 20 0 15 0 48907325 11094274048 48891 33554432000 4194304 4196468 140734178912640 139797514488592 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19346] ppid=19288 vsize=10834252 memory=16296 CPUtime=0.08 cores=1,3,5,7
/proc/19291/task/19346/stat : 19346 (java) S 19288 19291 16080 0 -1 1077944384 23 12948 0 0 1 0 5 2 20 0 15 0 48907325 11094274048 48891 33554432000 4194304 4196468 140734178912640 139797429308304 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19347] ppid=19288 vsize=10834252 memory=1292 CPUtime=0.08 cores=1,3,5,7
/proc/19291/task/19347/stat : 19347 (java) S 19288 19291 16080 0 -1 1077944384 69 12948 0 0 1 0 5 2 20 0 15 0 48907325 11094274048 48891 33554432000 4194304 4196468 140734178912640 139797082070032 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19348] ppid=19288 vsize=10834252 memory=100656 CPUtime=0.08 cores=1,3,5,7
/proc/19291/task/19348/stat : 19348 (java) S 19288 19291 16080 0 -1 1077944384 13 12948 0 0 1 0 5 2 20 0 15 0 48907325 11094274048 48891 33554432000 4194304 4196468 140734178912640 139797081017488 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19349] ppid=19288 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19291/task/19349/stat : 19349 (java) S 19288 19291 16080 0 -1 1077944384 839 12948 0 0 1 0 5 2 20 0 15 0 48907326 11094274048 48891 33554432000 4194304 4196468 140734178912640 139796782118896 139797510257282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19350] ppid=19288 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19350/stat : 19350 (java) S 19288 19291 16080 0 -1 1077944384 14 12948 0 0 0 0 5 2 20 0 15 0 48907327 11094274048 48891 33554432000 4194304 4196468 140734178912640 139796689183712 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19351] ppid=19288 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19351/stat : 19351 (java) S 19288 19291 16080 0 -1 1077944384 1 12948 0 0 0 0 5 2 20 0 15 0 48907327 11094274048 48891 33554432000 4194304 4196468 140734178912640 139796554966016 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19352] ppid=19288 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19352/stat : 19352 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11094274048 48891 33554432000 4194304 4196468 140734178912640 139796046239952 139797510264731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19353] ppid=19288 vsize=10834252 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/19291/task/19353/stat : 19353 (java) S 19288 19291 16080 0 -1 1077944384 2426 12948 0 0 46 0 5 2 20 0 15 0 48907330 11094274048 48891 33554432000 4194304 4196468 140734178912640 139796781066736 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19354] ppid=19288 vsize=10834252 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/19291/task/19354/stat : 19354 (java) S 19288 19291 16080 0 -1 1077944384 1881 12948 0 0 49 0 5 2 20 0 15 0 48907330 11094274048 48891 33554432000 4194304 4196468 140734178912640 139796780014192 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19355] ppid=19288 vsize=10834252 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/19291/task/19355/stat : 19355 (java) S 19288 19291 16080 0 -1 1077944384 1608 12948 0 0 39 0 5 2 20 0 15 0 48907330 11094274048 48891 33554432000 4194304 4196468 140734178912640 139796778961648 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19356] ppid=19288 vsize=10834252 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19356/stat : 19356 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11094274048 48891 33554432000 4194304 4196468 140734178912640 139796012682336 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19357] ppid=19288 vsize=10834252 memory=16100360058046859 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19357/stat : 19357 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11094274048 48891 33554432000 4194304 4196468 140734178912640 139796777908528 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/19291/task/19344/stat : 19344 (java) R 19288 19291 16080 0 -1 4202560 120695 12948 0 0 236420 26 5 2 20 0 15 0 48907324 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797482081280 139797127054736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19345] ppid=19288 vsize=10914144 memory=2089400 CPUtime=14.96 cores=1,3,5,7
/proc/19291/task/19345/stat : 19345 (java) S 19288 19291 16080 0 -1 1077944384 28021 12948 0 0 1410 79 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797514488592 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19346] ppid=19288 vsize=10914144 memory=2089400 CPUtime=14.95 cores=1,3,5,7
/proc/19291/task/19346/stat : 19346 (java) S 19288 19291 16080 0 -1 1077944384 33656 12948 0 0 1405 83 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797429308304 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19347] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15.01 cores=1,3,5,7
/proc/19291/task/19347/stat : 19347 (java) S 19288 19291 16080 0 -1 1077944384 27430 12948 0 0 1414 80 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797082070032 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19348] ppid=19288 vsize=10914144 memory=2089400 CPUtime=14.96 cores=1,3,5,7
/proc/19291/task/19348/stat : 19348 (java) S 19288 19291 16080 0 -1 1077944384 31733 12948 0 0 1409 80 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797081017488 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19349] ppid=19288 vsize=10914144 memory=2089400 CPUtime=1.89 cores=1,3,5,7
/proc/19291/task/19349/stat : 19349 (java) S 19288 19291 16080 0 -1 1077944384 24397 12948 0 0 168 14 5 2 20 0 15 0 48907326 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796782118896 139797510257282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19350] ppid=19288 vsize=10914144 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19350/stat : 19350 (java) S 19288 19291 16080 0 -1 1077944384 14 12948 0 0 0 0 5 2 20 0 15 0 48907327 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796689183712 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19351] ppid=19288 vsize=10914144 memory=2089400 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19351/stat : 19351 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907327 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796554966016 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19352] ppid=19288 vsize=10914144 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19352/stat : 19352 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796046239952 139797510264731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19353] ppid=19288 vsize=10914144 memory=16368 CPUtime=7.76 cores=1,3,5,7
/proc/19291/task/19353/stat : 19353 (java) S 19288 19291 16080 0 -1 1077944384 30561 12948 0 0 765 4 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796781066736 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19354] ppid=19288 vsize=10914144 memory=2089400 CPUtime=7.86 cores=1,3,5,7
/proc/19291/task/19354/stat : 19354 (java) S 19288 19291 16080 0 -1 1077944384 31966 12948 0 0 773 6 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796780014192 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19355] ppid=19288 vsize=10914144 memory=4132 CPUtime=3.56 cores=1,3,5,7
/proc/19291/task/19355/stat : 19355 (java) S 19288 19291 16080 0 -1 1077944384 37255 12948 0 0 341 8 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796778961648 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19356] ppid=19288 vsize=10914144 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19356/stat : 19356 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796012682336 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19357] ppid=19288 vsize=10914144 memory=288230596050944315 CPUtime=1.32 cores=1,3,5,7
/proc/19291/task/19357/stat : 19357 (java) S 19288 19291 16080 0 -1 1077944384 1613 12948 0 0 59 66 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796777908528 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
Current children cumulated CPU time: 2446.25 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 2089400 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.69 1.69 3/218 19710
/proc/meminfo: memFree=15107704/32770624 swapFree=67108860/67108860
[pid=19291] ppid=19288 vsize=10914144 memory=2089400 CPUtime=2506.39 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 16080 0 -1 1077944320 372529 12948 0 0 250202 430 5 2 20 0 15 0 48907315 11176083456 522350 33554432000 4194304 4196468 140734178912640 140734178895184 139797510246135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
/proc/19291/statm: 2728536 522350 3531 1 0 2690189 0
[pid=19291/tid=19344] ppid=19288 vsize=10914144 memory=2089400 CPUtime=2424.45 cores=1,3,5,7
/proc/19291/task/19344/stat : 19344 (java) R 19288 19291 16080 0 -1 4202560 122128 12948 0 0 242412 26 5 2 20 0 15 0 48907324 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797482081584 139797127053694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19345] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15 cores=1,3,5,7
/proc/19291/task/19345/stat : 19345 (java) S 19288 19291 16080 0 -1 1077944384 28622 12948 0 0 1414 79 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797514488592 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19346] ppid=19288 vsize=10914144 memory=2089400 CPUtime=14.99 cores=1,3,5,7
/proc/19291/task/19346/stat : 19346 (java) S 19288 19291 16080 0 -1 1077944384 33927 12948 0 0 1409 83 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797429308304 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19347] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15.05 cores=1,3,5,7
/proc/19291/task/19347/stat : 19347 (java) S 19288 19291 16080 0 -1 1077944384 27491 12948 0 0 1418 80 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797082070032 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19348] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15 cores=1,3,5,7
/proc/19291/task/19348/stat : 19348 (java) S 19288 19291 16080 0 -1 1077944384 31973 12948 0 0 1413 80 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797081017488 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19349] ppid=19288 vsize=10914144 memory=288230574492221466 CPUtime=1.91 cores=1,3,5,7
/proc/19291/task/19349/stat : 19349 (java) S 19288 19291 16080 0 -1 1077944384 24744 12948 0 0 170 14 5 2 20 0 15 0 48907326 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796782118896 139797510257282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19350] ppid=19288 vsize=10914144 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19350/stat : 19350 (java) S 19288 19291 16080 0 -1 1077944384 14 12948 0 0 0 0 5 2 20 0 15 0 48907327 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796689183712 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19351] ppid=19288 vsize=10914144 memory=2089400 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19351/stat : 19351 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907327 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796554966016 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19352] ppid=19288 vsize=10914144 memory=8388 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19352/stat : 19352 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796046239952 139797510264731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19353] ppid=19288 vsize=10914144 memory=2089400 CPUtime=7.76 cores=1,3,5,7
/proc/19291/task/19353/stat : 19353 (java) S 19288 19291 16080 0 -1 1077944384 30563 12948 0 0 765 4 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796781066736 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19354] ppid=19288 vsize=10914144 memory=2089400 CPUtime=7.86 cores=1,3,5,7
/proc/19291/task/19354/stat : 19354 (java) S 19288 19291 16080 0 -1 1077944384 31969 12948 0 0 773 6 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796780014192 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19355] ppid=19288 vsize=10914144 memory=2089400 CPUtime=3.56 cores=1,3,5,7
/proc/19291/task/19355/stat : 19355 (java) S 19288 19291 16080 0 -1 1077944384 37257 12948 0 0 341 8 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796778961648 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19356] ppid=19288 vsize=10914144 memory=2089400 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19356/stat : 19356 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796012682336 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19357] ppid=19288 vsize=10914144 memory=4132 CPUtime=1.35 cores=1,3,5,7
/proc/19291/task/19357/stat : 19357 (java) S 19288 19291 16080 0 -1 1077944384 1644 12948 0 0 60 68 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796777908528 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
Current children cumulated CPU time: 2506.39 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 2089400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2455.9 s]
/proc/loadavg: 1.59 1.68 1.68 3/218 19710
/proc/meminfo: memFree=15107476/32770624 swapFree=67108860/67108860
[pid=19291] ppid=19288 vsize=10914144 memory=2089400 CPUtime=2520.02 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 16080 0 -1 1077944320 372791 12948 0 0 251565 430 5 2 20 0 15 0 48907315 11176083456 522350 33554432000 4194304 4196468 140734178912640 140734178895184 139797510246135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
/proc/19291/statm: 2728536 522350 3531 1 0 2690189 0
[pid=19291/tid=19344] ppid=19288 vsize=10914144 memory=2089400 CPUtime=2438.04 cores=1,3,5,7
/proc/19291/task/19344/stat : 19344 (java) R 19288 19291 16080 0 -1 4202560 122359 12948 0 0 243771 26 5 2 20 0 15 0 48907324 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797482080848 139797119341074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19345] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15 cores=1,3,5,7
/proc/19291/task/19345/stat : 19345 (java) S 19288 19291 16080 0 -1 1077944384 28625 12948 0 0 1414 79 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797514488592 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19346] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15 cores=1,3,5,7
/proc/19291/task/19346/stat : 19346 (java) S 19288 19291 16080 0 -1 1077944384 33933 12948 0 0 1410 83 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797429308304 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19347] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15.05 cores=1,3,5,7
/proc/19291/task/19347/stat : 19347 (java) S 19288 19291 16080 0 -1 1077944384 27491 12948 0 0 1418 80 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797082070032 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19348] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15.01 cores=1,3,5,7
/proc/19291/task/19348/stat : 19348 (java) S 19288 19291 16080 0 -1 1077944384 31983 12948 0 0 1414 80 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797081017488 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19349] ppid=19288 vsize=10914144 memory=2089400 CPUtime=1.91 cores=1,3,5,7
/proc/19291/task/19349/stat : 19349 (java) S 19288 19291 16080 0 -1 1077944384 24754 12948 0 0 170 14 5 2 20 0 15 0 48907326 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796782118896 139797510257282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19350] ppid=19288 vsize=10914144 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19350/stat : 19350 (java) S 19288 19291 16080 0 -1 1077944384 14 12948 0 0 0 0 5 2 20 0 15 0 48907327 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796689183712 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19351] ppid=19288 vsize=10914144 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19351/stat : 19351 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907327 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796554966016 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19352] ppid=19288 vsize=10914144 memory=1704 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19352/stat : 19352 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796046239952 139797510264731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19353] ppid=19288 vsize=10914144 memory=2089400 CPUtime=7.76 cores=1,3,5,7
/proc/19291/task/19353/stat : 19353 (java) S 19288 19291 16080 0 -1 1077944384 30563 12948 0 0 765 4 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796781066736 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19354] ppid=19288 vsize=10914144 memory=2089400 CPUtime=7.86 cores=1,3,5,7
/proc/19291/task/19354/stat : 19354 (java) S 19288 19291 16080 0 -1 1077944384 31969 12948 0 0 773 6 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796780014192 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19355] ppid=19288 vsize=10914144 memory=2089400 CPUtime=3.56 cores=1,3,5,7
/proc/19291/task/19355/stat : 19355 (java) S 19288 19291 16080 0 -1 1077944384 37257 12948 0 0 341 8 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796778961648 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19356] ppid=19288 vsize=10914144 memory=2089400 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19356/stat : 19356 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796012682336 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19357] ppid=19288 vsize=10914144 memory=2444 CPUtime=1.36 cores=1,3,5,7
/proc/19291/task/19357/stat : 19357 (java) S 19288 19291 16080 0 -1 1077944384 1646 12948 0 0 61 68 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796777908528 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 2089400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2455.93 s]
# the end of solver process 19291 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.73 s, system=4.3477 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2455.9 s]
/proc/loadavg: 1.59 1.68 1.68 3/218 19710
/proc/meminfo: memFree=15107476/32770624 swapFree=67108860/67108860
[pid=19291] ppid=19288 vsize=10914144 memory=2089400 CPUtime=2520.02 cores=1,3,5,7
/proc/19291/stat : 19291 (java) S 19288 19291 16080 0 -1 1077944320 372791 12948 0 0 251565 430 5 2 20 0 15 0 48907315 11176083456 522350 33554432000 4194304 4196468 140734178912640 140734178895184 139797510246135 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
/proc/19291/statm: 2728536 522350 3531 1 0 2690189 0
[pid=19291/tid=19344] ppid=19288 vsize=10914144 memory=2089400 CPUtime=2438.04 cores=1,3,5,7
/proc/19291/task/19344/stat : 19344 (java) R 19288 19291 16080 0 -1 4202560 122359 12948 0 0 243771 26 5 2 20 0 15 0 48907324 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797482080848 139797119341074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19345] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15 cores=1,3,5,7
/proc/19291/task/19345/stat : 19345 (java) S 19288 19291 16080 0 -1 1077944384 28625 12948 0 0 1414 79 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797514488592 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19346] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15 cores=1,3,5,7
/proc/19291/task/19346/stat : 19346 (java) S 19288 19291 16080 0 -1 1077944384 33933 12948 0 0 1410 83 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797429308304 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19347] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15.05 cores=1,3,5,7
/proc/19291/task/19347/stat : 19347 (java) S 19288 19291 16080 0 -1 1077944384 27491 12948 0 0 1418 80 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797082070032 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19348] ppid=19288 vsize=10914144 memory=2089400 CPUtime=15.01 cores=1,3,5,7
/proc/19291/task/19348/stat : 19348 (java) S 19288 19291 16080 0 -1 1077944384 31983 12948 0 0 1414 80 5 2 20 0 15 0 48907325 11176083456 522350 33554432000 4194304 4196468 140734178912640 139797081017488 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19349] ppid=19288 vsize=10914144 memory=2089400 CPUtime=1.91 cores=1,3,5,7
/proc/19291/task/19349/stat : 19349 (java) S 19288 19291 16080 0 -1 1077944384 24754 12948 0 0 170 14 5 2 20 0 15 0 48907326 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796782118896 139797510257282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19350] ppid=19288 vsize=10914144 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19350/stat : 19350 (java) S 19288 19291 16080 0 -1 1077944384 14 12948 0 0 0 0 5 2 20 0 15 0 48907327 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796689183712 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19351] ppid=19288 vsize=10914144 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19351/stat : 19351 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907327 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796554966016 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19352] ppid=19288 vsize=10914144 memory=1704 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19352/stat : 19352 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796046239952 139797510264731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19353] ppid=19288 vsize=10914144 memory=2089400 CPUtime=7.76 cores=1,3,5,7
/proc/19291/task/19353/stat : 19353 (java) S 19288 19291 16080 0 -1 1077944384 30563 12948 0 0 765 4 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796781066736 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19354] ppid=19288 vsize=10914144 memory=2089400 CPUtime=7.86 cores=1,3,5,7
/proc/19291/task/19354/stat : 19354 (java) S 19288 19291 16080 0 -1 1077944384 31969 12948 0 0 773 6 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796780014192 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19355] ppid=19288 vsize=10914144 memory=2089400 CPUtime=3.56 cores=1,3,5,7
/proc/19291/task/19355/stat : 19355 (java) S 19288 19291 16080 0 -1 1077944384 37257 12948 0 0 341 8 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796778961648 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19356] ppid=19288 vsize=10914144 memory=2089400 CPUtime=0.07 cores=1,3,5,7
/proc/19291/task/19356/stat : 19356 (java) S 19288 19291 16080 0 -1 1077944384 3 12948 0 0 0 0 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796012682336 139797510256341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
[pid=19291/tid=19357] ppid=19288 vsize=10914144 memory=2444 CPUtime=1.36 cores=1,3,5,7
/proc/19291/task/19357/stat : 19357 (java) S 19288 19291 16080 0 -1 1077944384 1646 12948 0 0 61 68 5 2 20 0 15 0 48907330 11176083456 522350 33554432000 4194304 4196468 140734178912640 139796777908528 139797510257282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140734178916523 140734178919772 140734178919772 140734178922447 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 2089400 KiB
Child status: 143
Real time (s): 2455.93
CPU time (s): 2520.08
CPU user time (s): 2515.73
CPU system time (s): 4.3477
CPU usage (%): 102.612
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 2787732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.73
system time used= 4.3477
maximum resident set size= 2787732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387024
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94596
involuntary context switches= 5963
# summary of solver processes directly reported to runsolver:
# pid: 19291
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.73
# total CPU system time (s): 4.3477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3255 second user time and 18.879 second system time
The end