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 (10668 MiB free)
memory of node 1: 16384 MiB (14210 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293761-1532325628/watcher-4293761-1532325628 -o /tmp/evaluation-result-4293761-1532325628/solver-4293761-1532325628 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3500 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1638816788 -superng HOME/instance-4293761-1532325628.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9135, runsolver pid=9132
[startup+0.100141 s]*
/proc/loadavg: 1.46 1.52 1.38 3/206 9192
/proc/meminfo: memFree=25467260/32770624 swapFree=67108860/67108860
[pid=9135] ppid=9132 vsize=9972712 memory=18856 CPUtime=0.08 cores=1,3,5,7
/proc/9135/stat : 9135 (java) S 9132 9135 3468 0 -1 1077944320 4328 13288 0 0 1 0 5 2 20 0 6 0 50125995 10212057088 4714 33554432000 4194304 4196468 140725390266256 140725390248800 140022834847479 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
/proc/9135/statm: 2493178 4714 1944 1 0 2481616 0
[pid=9135/tid=9188] ppid=9132 vsize=9972712 memory=4718545630382498451 CPUtime=0.08 cores=1,3,5,7
/proc/9135/task/9188/stat : 9188 (java) R 9132 9135 3468 0 -1 4202560 2151 13288 0 0 1 0 5 2 20 0 6 0 50126004 10212057088 4714 33554432000 4194304 4196468 140725390266256 140022806684240 140022819877712 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9189] ppid=9132 vsize=9977852 memory=5793855615521491385 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9189/stat : 9189 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 6 0 50126005 10217320448 4714 33554432000 4194304 4196468 140725390266256 140022839089424 140022834857685 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9190] ppid=9132 vsize=9983652 memory=140364511598208 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9190/stat : 9190 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 6 0 50126005 10223259648 4714 33554432000 4194304 4196468 140725390266256 140022727362960 140022834857685 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9191] ppid=9132 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9191/stat : 9191 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 6 0 50126005 10228523008 4714 33554432000 4194304 4196468 140725390266256 140022726310416 140022834857685 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9192] ppid=9132 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9192/stat : 9192 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 6 0 50126005 10228523008 4714 33554432000 4194304 4196468 140725390266256 140022725257872 140022834857685 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB
[startup+0.209952 s]*
/proc/loadavg: 1.46 1.52 1.38 3/215 9201
/proc/meminfo: memFree=25444144/32770624 swapFree=67108860/67108860
[pid=9135] ppid=9132 vsize=10818904 memory=47264 CPUtime=0.25 cores=1,3,5,7
/proc/9135/stat : 9135 (java) S 9132 9135 3468 0 -1 1077944320 9260 13288 0 0 16 2 5 2 20 0 15 0 50125995 11078557696 11816 33554432000 4194304 4196468 140725390266256 140725390248800 140022834847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
/proc/9135/statm: 2704726 11816 2941 1 0 2667149 0
[pid=9135/tid=9188] ppid=9132 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/9135/task/9188/stat : 9188 (java) R 9132 9135 3468 0 -1 4202560 5874 13288 0 0 10 1 5 2 20 0 15 0 50126004 11078557696 11816 33554432000 4194304 4196468 140725390266256 140022806672288 140022394404551 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9189] ppid=9132 vsize=10818904 memory=4211974090716388746 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9189/stat : 9189 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11078557696 11816 33554432000 4194304 4196468 140725390266256 140022839089424 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9190] ppid=9132 vsize=10818904 memory=140364511598208 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9190/stat : 9190 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126005 11078557696 11816 33554432000 4194304 4196468 140725390266256 140022727362960 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9191] ppid=9132 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9191/stat : 9191 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11078557696 11816 33554432000 4194304 4196468 140725390266256 140022726310416 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9192] ppid=9132 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9192/stat : 9192 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11078557696 11816 33554432000 4194304 4196468 140725390266256 140022725257872 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9193] ppid=9132 vsize=10818904 memory=140364511598208 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9193/stat : 9193 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126006 11078557696 11816 33554432000 4194304 4196468 140725390266256 140022293395952 140022834858626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9194] ppid=9132 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9194/stat : 9194 (java) S 9132 9135 3468 0 -1 1077944384 33 13288 0 0 0 0 5 2 20 0 15 0 50126006 11078557696 11816 33554432000 4194304 4196468 140725390266256 140022292342176 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9195] ppid=9132 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9195/stat : 9195 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126007 11078557696 11816 33554432000 4194304 4196468 140725390266256 140022174967280 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9196] ppid=9132 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9196/stat : 9196 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126009 11078557696 11816 33554432000 4194304 4196468 140725390266256 140021570988752 140022834866075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9197] ppid=9132 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9135/task/9197/stat : 9197 (java) S 9132 9135 3468 0 -1 1077944384 510 13288 0 0 1 0 5 2 20 0 15 0 50126009 11078557696 11816 33554432000 4194304 4196468 140725390266256 140022258784240 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9198] ppid=9132 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9198/stat : 9198 (java) S 9132 9135 3468 0 -1 1077944384 56 13288 0 0 0 0 5 2 20 0 15 0 50126009 11078557696 11816 33554432000 4194304 4196468 140725390266256 140022257731696 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9199] ppid=9132 vsize=10819044 memory=140364511598208 CPUtime=0.1 cores=1,3,5,7
/proc/9135/task/9199/stat : 9199 (java) R 9132 9135 3468 0 -1 4202560 591 13288 0 0 3 0 5 2 20 0 15 0 50126009 11078701056 11816 33554432000 4194304 4196468 140725390266256 140022256674208 140022834868826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9200] ppid=9132 vsize=10819044 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9200/stat : 9200 (java) S 9132 9135 3468 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 50126009 11078701056 11816 33554432000 4194304 4196468 140725390266256 140021101226592 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9201] ppid=9132 vsize=10819044 memory=140364511598208 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9201/stat : 9201 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126010 11078701056 11816 33554432000 4194304 4196468 140725390266256 140022255627056 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 47264 KiB
[startup+0.310569 s]*
/proc/loadavg: 1.50 1.53 1.39 3/215 9201
/proc/meminfo: memFree=25431988/32770624 swapFree=67108860/67108860
[pid=9135] ppid=9132 vsize=10819352 memory=55400 CPUtime=0.38 cores=1,3,5,7
/proc/9135/stat : 9135 (java) S 9132 9135 3468 0 -1 1077944320 10467 13288 0 0 29 2 5 2 20 0 15 0 50125995 11079016448 13850 33554432000 4194304 4196468 140725390266256 140725390248800 140022834847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
/proc/9135/statm: 2704838 13850 3077 1 0 2667149 0
[pid=9135/tid=9188] ppid=9132 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/9135/task/9188/stat : 9188 (java) R 9132 9135 3468 0 -1 4202560 7054 13288 0 0 20 1 5 2 20 0 15 0 50126004 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022806659488 140022816411017 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9189] ppid=9132 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9189/stat : 9189 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022839089424 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9190] ppid=9132 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9190/stat : 9190 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126005 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022727362960 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9191] ppid=9132 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9191/stat : 9191 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022726310416 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9192] ppid=9132 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9192/stat : 9192 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022725257872 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9193] ppid=9132 vsize=10819352 memory=140364511598207 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9193/stat : 9193 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126006 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022293395952 140022834858626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9194] ppid=9132 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9194/stat : 9194 (java) S 9132 9135 3468 0 -1 1077944384 33 13288 0 0 0 0 5 2 20 0 15 0 50126006 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022292342176 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9195] ppid=9132 vsize=10819352 memory=140364511598208 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9195/stat : 9195 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126007 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022174967280 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9196] ppid=9132 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9196/stat : 9196 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126009 11079016448 13850 33554432000 4194304 4196468 140725390266256 140021570988752 140022834866075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9197] ppid=9132 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9135/task/9197/stat : 9197 (java) S 9132 9135 3468 0 -1 1077944384 510 13288 0 0 1 0 5 2 20 0 15 0 50126009 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022258784240 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9198] ppid=9132 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9135/task/9198/stat : 9198 (java) S 9132 9135 3468 0 -1 1077944384 57 13288 0 0 1 0 5 2 20 0 15 0 50126009 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022257731696 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9199] ppid=9132 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9135/task/9199/stat : 9199 (java) S 9132 9135 3468 0 -1 1077944384 608 13288 0 0 5 0 5 2 20 0 15 0 50126009 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022256679152 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9200] ppid=9132 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9200/stat : 9200 (java) S 9132 9135 3468 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 50126009 11079016448 13850 33554432000 4194304 4196468 140725390266256 140021101226592 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9201] ppid=9132 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9201/stat : 9201 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126010 11079016448 13850 33554432000 4194304 4196468 140725390266256 140022255627056 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55400 KiB
[startup+0.700814 s]
/proc/loadavg: 1.50 1.53 1.39 3/215 9201
/proc/meminfo: memFree=25422560/32770624 swapFree=67108860/67108860
[pid=9135] ppid=9132 vsize=10819352 memory=88700 CPUtime=0.98 cores=1,3,5,7
/proc/9135/stat : 9135 (java) S 9132 9135 3468 0 -1 1077944320 16764 13288 0 0 88 3 5 2 20 0 15 0 50125995 11079016448 22175 33554432000 4194304 4196468 140725390266256 140725390248800 140022834847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
/proc/9135/statm: 2704838 22175 3241 1 0 2667149 0
[pid=9135/tid=9188] ppid=9132 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/9135/task/9188/stat : 9188 (java) R 9132 9135 3468 0 -1 4202560 12268 13288 0 0 56 2 5 2 20 0 15 0 50126004 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022806668304 140022834861366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9189] ppid=9132 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9189/stat : 9189 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022839089424 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9190] ppid=9132 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9190/stat : 9190 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126005 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022727362960 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9191] ppid=9132 vsize=10819352 memory=3472468659782489907 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9191/stat : 9191 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022726310416 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9192] ppid=9132 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9192/stat : 9192 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022725257872 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9193] ppid=9132 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9193/stat : 9193 (java) S 9132 9135 3468 0 -1 1077944384 5 13288 0 0 0 0 5 2 20 0 15 0 50126006 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022293395952 140022834858626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9194] ppid=9132 vsize=10819352 memory=280728726430272 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9194/stat : 9194 (java) S 9132 9135 3468 0 -1 1077944384 33 13288 0 0 0 0 5 2 20 0 15 0 50126006 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022292342176 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9195] ppid=9132 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9195/stat : 9195 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126007 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022174967280 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9196] ppid=9132 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9196/stat : 9196 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126009 11079016448 22175 33554432000 4194304 4196468 140725390266256 140021570988752 140022834866075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9197] ppid=9132 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/9135/task/9197/stat : 9197 (java) S 9132 9135 3468 0 -1 1077944384 1123 13288 0 0 10 0 5 2 20 0 15 0 50126009 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022258784240 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9198] ppid=9132 vsize=10819352 memory=2241 CPUtime=0.14 cores=1,3,5,7
/proc/9135/task/9198/stat : 9198 (java) S 9132 9135 3468 0 -1 1077944384 431 13288 0 0 7 0 5 2 20 0 15 0 50126009 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022257731696 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9199] ppid=9132 vsize=10819352 memory=280728726166560 CPUtime=0.2 cores=1,3,5,7
/proc/9135/task/9199/stat : 9199 (java) S 9132 9135 3468 0 -1 1077944384 701 13288 0 0 13 0 5 2 20 0 15 0 50126009 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022256679152 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9200] ppid=9132 vsize=10819352 memory=11524 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9200/stat : 9200 (java) S 9132 9135 3468 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 50126009 11079016448 22175 33554432000 4194304 4196468 140725390266256 140021101226592 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9201] ppid=9132 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9201/stat : 9201 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126010 11079016448 22175 33554432000 4194304 4196468 140725390266256 140022255627056 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88700 KiB
[startup+1.50075 s]
/proc/loadavg: 1.50 1.53 1.39 3/215 9201
/proc/meminfo: memFree=25375980/32770624 swapFree=67108860/67108860
[pid=9135] ppid=9132 vsize=10832204 memory=184404 CPUtime=2.94 cores=1,3,5,7
/proc/9135/stat : 9135 (java) S 9132 9135 3468 0 -1 1077944320 24577 13288 0 0 280 7 5 2 20 0 15 0 50125995 11092176896 46101 33554432000 4194304 4196468 140725390266256 140725390248800 140022834847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
/proc/9135/statm: 2708051 46101 3456 1 0 2669709 0
[pid=9135/tid=9188] ppid=9132 vsize=10832204 memory=102868 CPUtime=1.45 cores=1,3,5,7
/proc/9135/task/9188/stat : 9188 (java) R 9132 9135 3468 0 -1 4202560 17195 13288 0 0 132 6 5 2 20 0 15 0 50126004 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022806679008 140022834869405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9189] ppid=9132 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9189/stat : 9189 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022839089424 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9190] ppid=9132 vsize=10832204 memory=280728726495616 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9190/stat : 9190 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126005 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022727362960 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9191] ppid=9132 vsize=10832204 memory=140364363089664 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9191/stat : 9191 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022726310416 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9192] ppid=9132 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9192/stat : 9192 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126005 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022725257872 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9193] ppid=9132 vsize=10832204 memory=288230621803970871 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9193/stat : 9193 (java) S 9132 9135 3468 0 -1 1077944384 12 13288 0 0 0 0 5 2 20 0 15 0 50126006 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022293395952 140022834858626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9194] ppid=9132 vsize=10832204 memory=14977762981055007 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9194/stat : 9194 (java) S 9132 9135 3468 0 -1 1077944384 33 13288 0 0 0 0 5 2 20 0 15 0 50126006 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022292342176 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9195] ppid=9132 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9195/stat : 9195 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126007 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022174967280 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9196] ppid=9132 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9196/stat : 9196 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126009 11092176896 46101 33554432000 4194304 4196468 140725390266256 140021570988752 140022834866075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9197] ppid=9132 vsize=10832204 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/9135/task/9197/stat : 9197 (java) S 9132 9135 3468 0 -1 1077944384 2114 13288 0 0 52 0 5 2 20 0 15 0 50126009 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022258784240 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9198] ppid=9132 vsize=10832204 memory=-2127758814724055176 CPUtime=0.6 cores=1,3,5,7
/proc/9135/task/9198/stat : 9198 (java) R 9132 9135 3468 0 -1 4202560 1527 13288 0 0 53 0 5 2 20 0 15 0 50126009 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022257731696 140022820861800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9199] ppid=9132 vsize=10832204 memory=242 CPUtime=0.48 cores=1,3,5,7
/proc/9135/task/9199/stat : 9199 (java) S 9132 9135 3468 0 -1 1077944384 1493 13288 0 0 41 0 5 2 20 0 15 0 50126009 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022256679152 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9200] ppid=9132 vsize=10832204 memory=118 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9200/stat : 9200 (java) S 9132 9135 3468 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 50126009 11092176896 46101 33554432000 4194304 4196468 140725390266256 140021101226592 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9201] ppid=9132 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9201/stat : 9201 (java) S 9132 9135 3468 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 50126010 11092176896 46101 33554432000 4194304 4196468 140725390266256 140022255627056 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/9135/task/9188/stat : 9188 (java) R 9132 9135 3468 0 -1 4202560 119748 13288 0 0 229452 39 5 2 20 0 15 0 50126004 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022806682688 140022407534712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9189] ppid=9132 vsize=10850656 memory=4772844 CPUtime=26.53 cores=1,3,5,7
/proc/9135/task/9189/stat : 9189 (java) S 9132 9135 3468 0 -1 1077944384 9979 13288 0 0 2543 103 5 2 20 0 15 0 50126005 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022839089424 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9190] ppid=9132 vsize=10850656 memory=0 CPUtime=26.51 cores=1,3,5,7
/proc/9135/task/9190/stat : 9190 (java) S 9132 9135 3468 0 -1 1077944384 5696 13288 0 0 2545 99 5 2 20 0 15 0 50126005 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022727362960 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9191] ppid=9132 vsize=10850656 memory=4140 CPUtime=26.6 cores=1,3,5,7
/proc/9135/task/9191/stat : 9191 (java) S 9132 9135 3468 0 -1 1077944384 10140 13288 0 0 2553 100 5 2 20 0 15 0 50126005 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022726310416 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9192] ppid=9132 vsize=10850656 memory=16492 CPUtime=26.63 cores=1,3,5,7
/proc/9135/task/9192/stat : 9192 (java) S 9132 9135 3468 0 -1 1077944384 6004 13288 0 0 2553 103 5 2 20 0 15 0 50126005 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022725257872 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9193] ppid=9132 vsize=10850656 memory=4359468 CPUtime=0.68 cores=1,3,5,7
/proc/9135/task/9193/stat : 9193 (java) S 9132 9135 3468 0 -1 1077944384 22956 13288 0 0 55 6 5 2 20 0 15 0 50126006 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022293395952 140022834858626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9194] ppid=9132 vsize=10850656 memory=4215948 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9194/stat : 9194 (java) S 9132 9135 3468 0 -1 1077944384 45 13288 0 0 0 0 5 2 20 0 15 0 50126006 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022292342240 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9195] ppid=9132 vsize=10850656 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9195/stat : 9195 (java) S 9132 9135 3468 0 -1 1077944384 17 13288 0 0 0 0 5 2 20 0 15 0 50126007 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022174967296 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9196] ppid=9132 vsize=10850656 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9196/stat : 9196 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126009 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140021570988752 140022834866075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9197] ppid=9132 vsize=10850656 memory=4772872 CPUtime=10.58 cores=1,3,5,7
/proc/9135/task/9197/stat : 9197 (java) S 9132 9135 3468 0 -1 1077944384 26784 13288 0 0 1046 5 5 2 20 0 15 0 50126009 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022258784240 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9198] ppid=9132 vsize=10850656 memory=4772872 CPUtime=10.33 cores=1,3,5,7
/proc/9135/task/9198/stat : 9198 (java) S 9132 9135 3468 0 -1 1077944384 24517 13288 0 0 1021 5 5 2 20 0 15 0 50126009 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022257731696 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9199] ppid=9132 vsize=10850656 memory=2344 CPUtime=3.09 cores=1,3,5,7
/proc/9135/task/9199/stat : 9199 (java) S 9132 9135 3468 0 -1 1077944384 22180 13288 0 0 296 6 5 2 20 0 15 0 50126009 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022256679152 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9200] ppid=9132 vsize=10850656 memory=4772844 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9200/stat : 9200 (java) S 9132 9135 3468 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 50126009 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140021101226592 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9201] ppid=9132 vsize=10850656 memory=1792 CPUtime=1.4 cores=1,3,5,7
/proc/9135/task/9201/stat : 9201 (java) S 9132 9135 3468 0 -1 1077944384 1908 13288 0 0 51 82 5 2 20 0 15 0 50126010 11111071744 1193211 33554432000 4194304 4196468 140725390266256 140022255627056 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
Current children cumulated CPU time: 2426.81 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4772844 KiB
[startup+2382.3 s]
/proc/loadavg: 0.76 1.26 1.93 2/194 9470
/proc/meminfo: memFree=23792912/32770624 swapFree=67108860/67108860
[pid=9135] ppid=9132 vsize=10850656 memory=5353544 CPUtime=2504.36 cores=1,3,5,7
/proc/9135/stat : 9135 (java) S 9132 9135 3468 0 -1 1077944320 259914 13288 0 0 249861 568 5 2 20 0 15 0 50125995 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140725390248800 140022834847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
/proc/9135/statm: 2712664 1338386 3535 1 0 2674317 0
[pid=9135/tid=9188] ppid=9132 vsize=10850656 memory=5300300 CPUtime=2349.38 cores=1,3,5,7
/proc/9135/task/9188/stat : 9188 (java) S 9132 9135 3468 0 -1 1077944384 122211 13288 0 0 234891 40 5 2 20 0 15 0 50126004 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022806683280 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9189] ppid=9132 vsize=10850656 memory=5077004 CPUtime=32.08 cores=1,3,5,7
/proc/9135/task/9189/stat : 9189 (java) R 9132 9135 3468 0 -1 4202560 10516 13288 0 0 3091 110 5 2 20 0 15 0 50126005 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022839089424 140022816473247 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9190] ppid=9132 vsize=10850656 memory=6944656592455360604 CPUtime=32.04 cores=1,3,5,7
/proc/9135/task/9190/stat : 9190 (java) R 9132 9135 3468 0 -1 4202560 6364 13288 0 0 3095 102 5 2 20 0 15 0 50126005 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022727363160 140022819869600 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9191] ppid=9132 vsize=10850656 memory=5353544 CPUtime=32.14 cores=1,3,5,7
/proc/9135/task/9191/stat : 9191 (java) R 9132 9135 3468 0 -1 4202560 10751 13288 0 0 3102 105 5 2 20 0 15 0 50126005 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022726310416 140022816473556 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9192] ppid=9132 vsize=10850656 memory=5353544 CPUtime=32.18 cores=1,3,5,7
/proc/9135/task/9192/stat : 9192 (java) R 9132 9135 3468 0 -1 4202560 6811 13288 0 0 3099 112 5 2 20 0 15 0 50126005 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022725257872 140022819869600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9193] ppid=9132 vsize=10850656 memory=5300296 CPUtime=0.7 cores=1,3,5,7
/proc/9135/task/9193/stat : 9193 (java) S 9132 9135 3468 0 -1 1077944384 23086 13288 0 0 57 6 5 2 20 0 15 0 50126006 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022293394464 140022834857685 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9194] ppid=9132 vsize=10850656 memory=5201920 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9194/stat : 9194 (java) S 9132 9135 3468 0 -1 1077944384 50 13288 0 0 0 0 5 2 20 0 15 0 50126006 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022292342240 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9195] ppid=9132 vsize=10850656 memory=5156872 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9195/stat : 9195 (java) S 9132 9135 3468 0 -1 1077944384 24 13288 0 0 0 0 5 2 20 0 15 0 50126007 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022174967296 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9196] ppid=9132 vsize=10850656 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9196/stat : 9196 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126009 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140021570988752 140022834866075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9197] ppid=9132 vsize=10850656 memory=1004 CPUtime=10.96 cores=1,3,5,7
/proc/9135/task/9197/stat : 9197 (java) S 9132 9135 3468 0 -1 1077944384 27650 13288 0 0 1084 5 5 2 20 0 15 0 50126009 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022258784240 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9198] ppid=9132 vsize=10850656 memory=5353544 CPUtime=10.73 cores=1,3,5,7
/proc/9135/task/9198/stat : 9198 (java) S 9132 9135 3468 0 -1 1077944384 25540 13288 0 0 1061 5 5 2 20 0 15 0 50126009 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022257731696 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9199] ppid=9132 vsize=10850656 memory=10768 CPUtime=3.21 cores=1,3,5,7
/proc/9135/task/9199/stat : 9199 (java) S 9132 9135 3468 0 -1 1077944384 22801 13288 0 0 308 6 5 2 20 0 15 0 50126009 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022256679152 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9200] ppid=9132 vsize=10850656 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9200/stat : 9200 (java) S 9132 9135 3468 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 50126009 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140021101226592 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9201] ppid=9132 vsize=10850656 memory=8112282956445269571 CPUtime=1.44 cores=1,3,5,7
/proc/9135/task/9201/stat : 9201 (java) S 9132 9135 3468 0 -1 1077944384 1914 13288 0 0 53 84 5 2 20 0 15 0 50126010 11111071744 1338386 33554432000 4194304 4196468 140725390266256 140022255627056 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
Current children cumulated CPU time: 2504.36 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 5353544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2394.9 s]
/proc/loadavg: 0.79 1.25 1.92 2/194 9470
/proc/meminfo: memFree=23635464/32770624 swapFree=67108860/67108860
[pid=9135] ppid=9132 vsize=10850656 memory=5511244 CPUtime=2520.03 cores=1,3,5,7
/proc/9135/stat : 9135 (java) S 9132 9135 3468 0 -1 1077944320 269472 13288 0 0 251421 575 5 2 20 0 15 0 50125995 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140725390248800 140022834847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
/proc/9135/statm: 2712664 1377811 3535 1 0 2674317 0
[pid=9135/tid=9188] ppid=9132 vsize=10850656 memory=5511240 CPUtime=2361 cores=1,3,5,7
/proc/9135/task/9188/stat : 9188 (java) R 9132 9135 3468 0 -1 4202560 123918 13288 0 0 236053 40 5 2 20 0 15 0 50126004 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022806681280 140022411890557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9189] ppid=9132 vsize=10850656 memory=5511240 CPUtime=33.05 cores=1,3,5,7
/proc/9135/task/9189/stat : 9189 (java) S 9132 9135 3468 0 -1 1077944384 11596 13288 0 0 3187 111 5 2 20 0 15 0 50126005 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022839089424 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9190] ppid=9132 vsize=10850656 memory=5511240 CPUtime=33.02 cores=1,3,5,7
/proc/9135/task/9190/stat : 9190 (java) S 9132 9135 3468 0 -1 1077944384 9700 13288 0 0 3191 104 5 2 20 0 15 0 50126005 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022727362960 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9191] ppid=9132 vsize=10850656 memory=5509204 CPUtime=33.11 cores=1,3,5,7
/proc/9135/task/9191/stat : 9191 (java) S 9132 9135 3468 0 -1 1077944384 11007 13288 0 0 3197 107 5 2 20 0 15 0 50126005 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022726310416 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9192] ppid=9132 vsize=10850656 memory=6944656592455360604 CPUtime=33.16 cores=1,3,5,7
/proc/9135/task/9192/stat : 9192 (java) S 9132 9135 3468 0 -1 1077944384 7087 13288 0 0 3196 113 5 2 20 0 15 0 50126005 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022725257872 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9193] ppid=9132 vsize=10850656 memory=5077004 CPUtime=0.71 cores=1,3,5,7
/proc/9135/task/9193/stat : 9193 (java) S 9132 9135 3468 0 -1 1077944384 23361 13288 0 0 58 6 5 2 20 0 15 0 50126006 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022293395952 140022834858626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9194] ppid=9132 vsize=10850656 memory=5300300 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9194/stat : 9194 (java) S 9132 9135 3468 0 -1 1077944384 50 13288 0 0 0 0 5 2 20 0 15 0 50126006 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022292342240 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9195] ppid=9132 vsize=10850656 memory=5511240 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9195/stat : 9195 (java) S 9132 9135 3468 0 -1 1077944384 24 13288 0 0 0 0 5 2 20 0 15 0 50126007 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022174967296 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9196] ppid=9132 vsize=10850656 memory=11161197750 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9196/stat : 9196 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126009 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140021570988752 140022834866075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9197] ppid=9132 vsize=10850656 memory=5300296 CPUtime=11.01 cores=1,3,5,7
/proc/9135/task/9197/stat : 9197 (java) S 9132 9135 3468 0 -1 1077944384 28097 13288 0 0 1089 5 5 2 20 0 15 0 50126009 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022258784240 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9198] ppid=9132 vsize=10850656 memory=5300296 CPUtime=10.79 cores=1,3,5,7
/proc/9135/task/9198/stat : 9198 (java) S 9132 9135 3468 0 -1 1077944384 27469 13288 0 0 1067 5 5 2 20 0 15 0 50126009 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022257731696 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9199] ppid=9132 vsize=10850656 memory=5300284 CPUtime=3.23 cores=1,3,5,7
/proc/9135/task/9199/stat : 9199 (java) S 9132 9135 3468 0 -1 1077944384 23021 13288 0 0 310 6 5 2 20 0 15 0 50126009 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022256679152 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9200] ppid=9132 vsize=10850656 memory=5300284 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9200/stat : 9200 (java) S 9132 9135 3468 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 50126009 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140021101226592 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9201] ppid=9132 vsize=10850656 memory=4140 CPUtime=1.45 cores=1,3,5,7
/proc/9135/task/9201/stat : 9201 (java) S 9132 9135 3468 0 -1 1077944384 1946 13288 0 0 54 84 5 2 20 0 15 0 50126010 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022255627056 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 5511244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2394.96 s]
# the end of solver process 9135 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.3 s, system=5.81219 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2394.9 s]
/proc/loadavg: 0.79 1.25 1.92 2/194 9470
/proc/meminfo: memFree=23635464/32770624 swapFree=67108860/67108860
[pid=9135] ppid=9132 vsize=10850656 memory=5511244 CPUtime=2520.03 cores=1,3,5,7
/proc/9135/stat : 9135 (java) S 9132 9135 3468 0 -1 1077944320 269472 13288 0 0 251421 575 5 2 20 0 15 0 50125995 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140725390248800 140022834847479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
/proc/9135/statm: 2712664 1377811 3535 1 0 2674317 0
[pid=9135/tid=9188] ppid=9132 vsize=10850656 memory=5511240 CPUtime=2361 cores=1,3,5,7
/proc/9135/task/9188/stat : 9188 (java) R 9132 9135 3468 0 -1 4202560 123918 13288 0 0 236053 40 5 2 20 0 15 0 50126004 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022806681280 140022411890557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9189] ppid=9132 vsize=10850656 memory=5511240 CPUtime=33.05 cores=1,3,5,7
/proc/9135/task/9189/stat : 9189 (java) S 9132 9135 3468 0 -1 1077944384 11596 13288 0 0 3187 111 5 2 20 0 15 0 50126005 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022839089424 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9190] ppid=9132 vsize=10850656 memory=5511240 CPUtime=33.02 cores=1,3,5,7
/proc/9135/task/9190/stat : 9190 (java) S 9132 9135 3468 0 -1 1077944384 9700 13288 0 0 3191 104 5 2 20 0 15 0 50126005 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022727362960 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9191] ppid=9132 vsize=10850656 memory=5509204 CPUtime=33.11 cores=1,3,5,7
/proc/9135/task/9191/stat : 9191 (java) S 9132 9135 3468 0 -1 1077944384 11007 13288 0 0 3197 107 5 2 20 0 15 0 50126005 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022726310416 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9192] ppid=9132 vsize=10850656 memory=6944656592455360604 CPUtime=33.16 cores=1,3,5,7
/proc/9135/task/9192/stat : 9192 (java) S 9132 9135 3468 0 -1 1077944384 7087 13288 0 0 3196 113 5 2 20 0 15 0 50126005 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022725257872 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9193] ppid=9132 vsize=10850656 memory=5077004 CPUtime=0.71 cores=1,3,5,7
/proc/9135/task/9193/stat : 9193 (java) S 9132 9135 3468 0 -1 1077944384 23361 13288 0 0 58 6 5 2 20 0 15 0 50126006 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022293395952 140022834858626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9194] ppid=9132 vsize=10850656 memory=5300300 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9194/stat : 9194 (java) S 9132 9135 3468 0 -1 1077944384 50 13288 0 0 0 0 5 2 20 0 15 0 50126006 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022292342240 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9195] ppid=9132 vsize=10850656 memory=5511240 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9195/stat : 9195 (java) S 9132 9135 3468 0 -1 1077944384 24 13288 0 0 0 0 5 2 20 0 15 0 50126007 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022174967296 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9196] ppid=9132 vsize=10850656 memory=11161197750 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9196/stat : 9196 (java) S 9132 9135 3468 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 50126009 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140021570988752 140022834866075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9197] ppid=9132 vsize=10850656 memory=5300296 CPUtime=11.01 cores=1,3,5,7
/proc/9135/task/9197/stat : 9197 (java) S 9132 9135 3468 0 -1 1077944384 28097 13288 0 0 1089 5 5 2 20 0 15 0 50126009 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022258784240 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9198] ppid=9132 vsize=10850656 memory=5300296 CPUtime=10.79 cores=1,3,5,7
/proc/9135/task/9198/stat : 9198 (java) S 9132 9135 3468 0 -1 1077944384 27469 13288 0 0 1067 5 5 2 20 0 15 0 50126009 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022257731696 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9199] ppid=9132 vsize=10850656 memory=5300284 CPUtime=3.23 cores=1,3,5,7
/proc/9135/task/9199/stat : 9199 (java) S 9132 9135 3468 0 -1 1077944384 23021 13288 0 0 310 6 5 2 20 0 15 0 50126009 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022256679152 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9200] ppid=9132 vsize=10850656 memory=5300284 CPUtime=0.07 cores=1,3,5,7
/proc/9135/task/9200/stat : 9200 (java) S 9132 9135 3468 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 50126009 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140021101226592 140022834857685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
[pid=9135/tid=9201] ppid=9132 vsize=10850656 memory=4140 CPUtime=1.45 cores=1,3,5,7
/proc/9135/task/9201/stat : 9201 (java) S 9132 9135 3468 0 -1 1077944384 1946 13288 0 0 54 84 5 2 20 0 15 0 50126010 11111071744 1377811 33554432000 4194304 4196468 140725390266256 140022255627056 140022834858626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25018368 140725390272683 140725390275932 140725390275932 140725390278607 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 5511244 KiB
Child status: 143
Real time (s): 2394.96
CPU time (s): 2520.12
CPU user time (s): 2514.3
CPU system time (s): 5.81219
CPU usage (%): 105.226
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 5511244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.3
system time used= 5.81219
maximum resident set size= 5515388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66126
involuntary context switches= 1930
# summary of solver processes directly reported to runsolver:
# pid: 9135
# total CPU time (s): 2520.12
# total CPU user time (s): 2514.3
# total CPU system time (s): 5.81219
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2786 second user time and 20.081 second system time
The end