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 (9841 MiB free)
memory of node 1: 16384 MiB (13660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302447-1532898640/watcher-4302447-1532898640 -o /tmp/evaluation-result-4302447-1532898640/solver-4302447-1532898640 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1210256745 HOME/instance-4302447-1532898640.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21885, runsolver pid=21882
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.16 1.52 1.68 3/207 21942
/proc/meminfo: memFree=24060704/32770624 swapFree=67108860/67108860
[pid=21885] ppid=21882 vsize=10005480 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/21885/stat : 21885 (java) S 21882 21885 12183 0 -1 1077944320 4264 13259 0 0 1 0 5 2 20 0 6 0 107427192 10245611520 4648 33554432000 4194304 4196468 140725766799232 140725766781776 139870529314551 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
/proc/21885/statm: 2501370 4648 1935 1 0 2489808 0
[pid=21885/tid=21938] ppid=21882 vsize=10005480 memory=4279135703946986127 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21938/stat : 21938 (java) R 21882 21885 12183 0 -1 4202560 2077 13259 0 0 0 0 5 2 20 0 6 0 107427201 10245611520 4648 33554432000 4194304 4196468 140725766799232 139870501151312 139870529336477 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21939] ppid=21882 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21939/stat : 21939 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 6 0 107427201 10245611520 4648 33554432000 4194304 4196468 140725766799232 139870533556752 139870529324757 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21940] ppid=21882 vsize=10005480 memory=140092468557440 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21940/stat : 21940 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 6 0 107427201 10245611520 4648 33554432000 4194304 4196468 140725766799232 139870388275856 139870529324757 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21941] ppid=21882 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21941/stat : 21941 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 6 0 107427201 10245611520 4648 33554432000 4194304 4196468 140725766799232 139870387222800 139870529324757 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21942] ppid=21882 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21942/stat : 21942 (java) S 21882 21885 12183 0 -1 1077944384 2 13259 0 0 0 0 5 2 20 0 6 0 107427201 10245611520 4648 33554432000 4194304 4196468 140725766799232 139870386170256 139870529324757 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18592 KiB
[startup+0.209942 s]*
/proc/loadavg: 1.16 1.52 1.68 3/216 21951
/proc/meminfo: memFree=24037080/32770624 swapFree=67108860/67108860
[pid=21885] ppid=21882 vsize=10982744 memory=44600 CPUtime=0.25 cores=1,3,5,7
/proc/21885/stat : 21885 (java) S 21882 21885 12183 0 -1 1077944320 7900 13259 0 0 17 1 5 2 20 0 15 0 107427192 11246329856 11150 33554432000 4194304 4196468 140725766799232 140725766781776 139870529314551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
/proc/21885/statm: 2745686 11150 2947 1 0 2708109 0
[pid=21885/tid=21938] ppid=21882 vsize=10983736 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/21885/task/21938/stat : 21938 (java) R 21882 21885 12183 0 -1 4202560 4622 13259 0 0 10 1 5 2 20 0 15 0 107427201 11247345664 11348 33554432000 4194304 4196468 140725766799232 139870501139360 139870521994269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21939] ppid=21882 vsize=10983736 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21939/stat : 21939 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427201 11247345664 11348 33554432000 4194304 4196468 140725766799232 139870533556752 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21940] ppid=21882 vsize=10983736 memory=140092468557440 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21940/stat : 21940 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427201 11247345664 11348 33554432000 4194304 4196468 140725766799232 139870388275856 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21941] ppid=21882 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21941/stat : 21941 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427201 11247345664 11414 33554432000 4194304 4196468 140725766799232 139870387222800 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21942] ppid=21882 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21942/stat : 21942 (java) S 21882 21885 12183 0 -1 1077944384 2 13259 0 0 0 0 5 2 20 0 15 0 107427201 11247345664 11414 33554432000 4194304 4196468 140725766799232 139870386170256 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21943] ppid=21882 vsize=10983736 memory=140092468557440 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21943/stat : 21943 (java) S 21882 21885 12183 0 -1 1077944384 2 13259 0 0 0 0 5 2 20 0 15 0 107427203 11247345664 11414 33554432000 4194304 4196468 140725766799232 139869498206960 139870529325698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21944] ppid=21882 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21944/stat : 21944 (java) S 21882 21885 12183 0 -1 1077944384 13 13259 0 0 0 0 5 2 20 0 15 0 107427203 11249012736 11414 33554432000 4194304 4196468 140725766799232 139869368084128 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21945] ppid=21882 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21945/stat : 21945 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427203 11249012736 11414 33554432000 4194304 4196468 140725766799232 139869166757104 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21946] ppid=21882 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21946/stat : 21946 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11249012736 11480 33554432000 4194304 4196468 140725766799232 139868859357648 139870529333147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21947] ppid=21882 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21885/task/21947/stat : 21947 (java) S 21882 21885 12183 0 -1 1077944384 364 13259 0 0 1 0 5 2 20 0 15 0 107427206 11249012736 11480 33554432000 4194304 4196468 140725766799232 139869497153776 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21948] ppid=21882 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21948/stat : 21948 (java) S 21882 21885 12183 0 -1 1077944384 242 13259 0 0 0 0 5 2 20 0 15 0 107427206 11249012736 11480 33554432000 4194304 4196468 140725766799232 139869496101232 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21949] ppid=21882 vsize=10985364 memory=140092468557440 CPUtime=0.1 cores=1,3,5,7
/proc/21885/task/21949/stat : 21949 (java) S 21882 21885 12183 0 -1 1077944384 629 13259 0 0 3 0 5 2 20 0 15 0 107427206 11249012736 11480 33554432000 4194304 4196468 140725766799232 139869495048176 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21950] ppid=21882 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21950/stat : 21950 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11249012736 11546 33554432000 4194304 4196468 140725766799232 139868428560736 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21951] ppid=21882 vsize=10985364 memory=140092468557440 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21951/stat : 21951 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427207 11249012736 11546 33554432000 4194304 4196468 140725766799232 139869493996592 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44600 KiB
[startup+0.310258 s]*
/proc/loadavg: 1.16 1.52 1.68 3/216 21951
/proc/meminfo: memFree=24025296/32770624 swapFree=67108860/67108860
[pid=21885] ppid=21882 vsize=10983192 memory=55304 CPUtime=0.38 cores=1,3,5,7
/proc/21885/stat : 21885 (java) S 21882 21885 12183 0 -1 1077944320 10410 13259 0 0 29 2 5 2 20 0 15 0 107427192 11246788608 13826 33554432000 4194304 4196468 140725766799232 140725766781776 139870529314551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
/proc/21885/statm: 2745798 13826 3066 1 0 2708109 0
[pid=21885/tid=21938] ppid=21882 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/21885/task/21938/stat : 21938 (java) R 21882 21885 12183 0 -1 4202560 6943 13259 0 0 20 1 5 2 20 0 15 0 107427201 11246788608 13826 33554432000 4194304 4196468 140725766799232 139870501126560 139870513395038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21939] ppid=21882 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21939/stat : 21939 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427201 11246788608 13826 33554432000 4194304 4196468 140725766799232 139870533556752 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21940] ppid=21882 vsize=10983192 memory=2080 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21940/stat : 21940 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427201 11246788608 13826 33554432000 4194304 4196468 140725766799232 139870388275856 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21941] ppid=21882 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21941/stat : 21941 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427201 11246788608 13826 33554432000 4194304 4196468 140725766799232 139870387222800 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21942] ppid=21882 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21942/stat : 21942 (java) S 21882 21885 12183 0 -1 1077944384 2 13259 0 0 0 0 5 2 20 0 15 0 107427201 11246788608 13826 33554432000 4194304 4196468 140725766799232 139870386170256 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21943] ppid=21882 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21943/stat : 21943 (java) S 21882 21885 12183 0 -1 1077944384 2 13259 0 0 0 0 5 2 20 0 15 0 107427203 11246788608 13826 33554432000 4194304 4196468 140725766799232 139869498206960 139870529325698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21944] ppid=21882 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21944/stat : 21944 (java) S 21882 21885 12183 0 -1 1077944384 13 13259 0 0 0 0 5 2 20 0 15 0 107427203 11246788608 13826 33554432000 4194304 4196468 140725766799232 139869368084128 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21945] ppid=21882 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21945/stat : 21945 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427203 11246788608 13826 33554432000 4194304 4196468 140725766799232 139869166757104 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21946] ppid=21882 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21946/stat : 21946 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11246788608 13826 33554432000 4194304 4196468 140725766799232 139868859357648 139870529333147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21947] ppid=21882 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21885/task/21947/stat : 21947 (java) S 21882 21885 12183 0 -1 1077944384 366 13259 0 0 1 0 5 2 20 0 15 0 107427206 11246788608 13826 33554432000 4194304 4196468 140725766799232 139869497153776 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21948] ppid=21882 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21885/task/21948/stat : 21948 (java) S 21882 21885 12183 0 -1 1077944384 245 13259 0 0 1 0 5 2 20 0 15 0 107427206 11246788608 13826 33554432000 4194304 4196468 140725766799232 139869496101232 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21949] ppid=21882 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21885/task/21949/stat : 21949 (java) R 21882 21885 12183 0 -1 1077944384 644 13259 0 0 5 0 5 2 20 0 15 0 107427206 11246788608 13826 33554432000 4194304 4196468 140725766799232 139869495048176 139870529325698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21950] ppid=21882 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21950/stat : 21950 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11246788608 13826 33554432000 4194304 4196468 140725766799232 139868428560736 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21951] ppid=21882 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21951/stat : 21951 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427207 11246788608 13826 33554432000 4194304 4196468 140725766799232 139869493996592 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55304 KiB
[startup+0.700781 s]
/proc/loadavg: 1.16 1.52 1.68 3/216 21951
/proc/meminfo: memFree=24013520/32770624 swapFree=67108860/67108860
[pid=21885] ppid=21882 vsize=10983192 memory=88620 CPUtime=0.98 cores=1,3,5,7
/proc/21885/stat : 21885 (java) S 21882 21885 12183 0 -1 1077944320 16740 13259 0 0 87 4 5 2 20 0 15 0 107427192 11246788608 22155 33554432000 4194304 4196468 140725766799232 140725766781776 139870529314551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
/proc/21885/statm: 2745798 22155 3238 1 0 2708109 0
[pid=21885/tid=21938] ppid=21882 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/21885/task/21938/stat : 21938 (java) R 21882 21885 12183 0 -1 4202560 12185 13259 0 0 56 3 5 2 20 0 15 0 107427201 11246788608 22155 33554432000 4194304 4196468 140725766799232 139870501135376 139870510878150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21939] ppid=21882 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21939/stat : 21939 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427201 11246788608 22155 33554432000 4194304 4196468 140725766799232 139870533556752 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21940] ppid=21882 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21940/stat : 21940 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427201 11246788608 22155 33554432000 4194304 4196468 140725766799232 139870388275856 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21941] ppid=21882 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21941/stat : 21941 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427201 11246788608 22155 33554432000 4194304 4196468 140725766799232 139870387222800 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21942] ppid=21882 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21942/stat : 21942 (java) S 21882 21885 12183 0 -1 1077944384 2 13259 0 0 0 0 5 2 20 0 15 0 107427201 11246788608 22155 33554432000 4194304 4196468 140725766799232 139870386170256 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21943] ppid=21882 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21943/stat : 21943 (java) S 21882 21885 12183 0 -1 1077944384 5 13259 0 0 0 0 5 2 20 0 15 0 107427203 11246788608 22155 33554432000 4194304 4196468 140725766799232 139869498206960 139870529325698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21944] ppid=21882 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21944/stat : 21944 (java) S 21882 21885 12183 0 -1 1077944384 13 13259 0 0 0 0 5 2 20 0 15 0 107427203 11246788608 22155 33554432000 4194304 4196468 140725766799232 139869368084128 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21945] ppid=21882 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21945/stat : 21945 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427203 11246788608 22155 33554432000 4194304 4196468 140725766799232 139869166757104 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21946] ppid=21882 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21946/stat : 21946 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11246788608 22155 33554432000 4194304 4196468 140725766799232 139868859357648 139870529333147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21947] ppid=21882 vsize=10983192 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/21885/task/21947/stat : 21947 (java) S 21882 21885 12183 0 -1 1077944384 912 13259 0 0 9 0 5 2 20 0 15 0 107427206 11246788608 22155 33554432000 4194304 4196468 140725766799232 139869497153776 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21948] ppid=21882 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/21885/task/21948/stat : 21948 (java) S 21882 21885 12183 0 -1 1077944384 685 13259 0 0 7 0 5 2 20 0 15 0 107427206 11246788608 22155 33554432000 4194304 4196468 140725766799232 139869496101232 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21949] ppid=21882 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/21885/task/21949/stat : 21949 (java) S 21882 21885 12183 0 -1 1077944384 737 13259 0 0 13 0 5 2 20 0 15 0 107427206 11246788608 22155 33554432000 4194304 4196468 140725766799232 139869495048176 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21950] ppid=21882 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21950/stat : 21950 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11246788608 22155 33554432000 4194304 4196468 140725766799232 139868428560736 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21951] ppid=21882 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21951/stat : 21951 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427207 11246788608 22155 33554432000 4194304 4196468 140725766799232 139869493996592 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88620 KiB
[startup+1.50175 s]
/proc/loadavg: 1.16 1.52 1.68 4/216 21951
/proc/meminfo: memFree=23967332/32770624 swapFree=67108860/67108860
[pid=21885] ppid=21882 vsize=10991948 memory=241248 CPUtime=3.17 cores=1,3,5,7
/proc/21885/stat : 21885 (java) S 21882 21885 12183 0 -1 1077944320 24732 13259 0 0 300 10 5 2 20 0 15 0 107427192 11255754752 60312 33554432000 4194304 4196468 140725766799232 140725766781776 139870529314551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
/proc/21885/statm: 2747987 60312 3472 1 0 2709645 0
[pid=21885/tid=21938] ppid=21882 vsize=10991948 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/21885/task/21938/stat : 21938 (java) R 21882 21885 12183 0 -1 4202560 15155 13259 0 0 130 6 5 2 20 0 15 0 107427201 11255754752 60312 33554432000 4194304 4196468 140725766799232 139870501145408 139870060049131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21939] ppid=21882 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21885/task/21939/stat : 21939 (java) S 21882 21885 12183 0 -1 1077944384 256 13259 0 0 1 0 5 2 20 0 15 0 107427201 11255754752 60312 33554432000 4194304 4196468 140725766799232 139870533556752 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21940] ppid=21882 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21885/task/21940/stat : 21940 (java) S 21882 21885 12183 0 -1 1077944384 31 13259 0 0 1 0 5 2 20 0 15 0 107427201 11255754752 60312 33554432000 4194304 4196468 140725766799232 139870388275856 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21941] ppid=21882 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21941/stat : 21941 (java) S 21882 21885 12183 0 -1 1077944384 4 13259 0 0 0 0 5 2 20 0 15 0 107427201 11255754752 60312 33554432000 4194304 4196468 140725766799232 139870387222800 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21942] ppid=21882 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21885/task/21942/stat : 21942 (java) S 21882 21885 12183 0 -1 1077944384 26 13259 0 0 1 0 5 2 20 0 15 0 107427201 11255754752 60312 33554432000 4194304 4196468 140725766799232 139870386170256 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21943] ppid=21882 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21943/stat : 21943 (java) S 21882 21885 12183 0 -1 1077944384 95 13259 0 0 0 0 5 2 20 0 15 0 107427203 11255754752 60312 33554432000 4194304 4196468 140725766799232 139869498206960 139870529325698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21944] ppid=21882 vsize=10991948 memory=280184741767424 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21944/stat : 21944 (java) S 21882 21885 12183 0 -1 1077944384 13 13259 0 0 0 0 5 2 20 0 15 0 107427203 11255754752 60312 33554432000 4194304 4196468 140725766799232 139869368084128 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21945] ppid=21882 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21945/stat : 21945 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427203 11255754752 60312 33554432000 4194304 4196468 140725766799232 139869166757104 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21946] ppid=21882 vsize=10991948 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21946/stat : 21946 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11255754752 60312 33554432000 4194304 4196468 140725766799232 139868859357648 139870529333147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21947] ppid=21882 vsize=10991948 memory=1232 CPUtime=0.65 cores=1,3,5,7
/proc/21885/task/21947/stat : 21947 (java) R 21882 21885 12183 0 -1 4202560 2359 13259 0 0 58 0 5 2 20 0 15 0 107427206 11255754752 60312 33554432000 4194304 4196468 140725766799232 139869497146968 139870513711696 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21948] ppid=21882 vsize=10991948 memory=8560 CPUtime=0.68 cores=1,3,5,7
/proc/21885/task/21948/stat : 21948 (java) R 21882 21885 12183 0 -1 4202560 2991 13259 0 0 60 1 5 2 20 0 15 0 107427206 11255754752 60312 33554432000 4194304 4196468 140725766799232 139869496087256 139870514438586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21949] ppid=21882 vsize=10991948 memory=1712 CPUtime=0.5 cores=1,3,5,7
/proc/21885/task/21949/stat : 21949 (java) S 21882 21885 12183 0 -1 1077944384 1604 13259 0 0 43 0 5 2 20 0 15 0 107427206 11255754752 60312 33554432000 4194304 4196468 140725766799232 139869495048176 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21950] ppid=21882 vsize=10991948 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21950/stat : 21950 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11255754752 60312 33554432000 4194304 4196468 140725766799232 139868428560736 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21951] ppid=21882 vsize=10991948 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21951/stat : 21951 (java) S 21882 21885 12183 0 -1 1077944384 1 13259 0 0 0 0 5 2 20 0 15 0 107427207 11255754752 60312 33554432000 4194304 4196468 140725766799232 139869493996592 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/21885/task/21938/stat : 21938 (java) R 21882 21885 12183 0 -1 4202560 53102 13259 0 0 10048 40 5 2 20 0 15 0 107427201 11280941056 734847 33554432000 4194304 4196468 140725766799232 139870501144736 139870068190519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21939] ppid=21882 vsize=11016544 memory=2939388 CPUtime=1.18 cores=1,3,5,7
/proc/21885/task/21939/stat : 21939 (java) S 21882 21885 12183 0 -1 1077944384 2313 13259 0 0 90 21 5 2 20 0 15 0 107427201 11280941056 734847 33554432000 4194304 4196468 140725766799232 139870533556752 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21940] ppid=21882 vsize=11016544 memory=2939388 CPUtime=1.18 cores=1,3,5,7
/proc/21885/task/21940/stat : 21940 (java) S 21882 21885 12183 0 -1 1077944384 1526 13259 0 0 91 20 5 2 20 0 15 0 107427201 11280941056 734847 33554432000 4194304 4196468 140725766799232 139870388275856 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21941] ppid=21882 vsize=11016544 memory=140092371475601 CPUtime=1.13 cores=1,3,5,7
/proc/21885/task/21941/stat : 21941 (java) S 21882 21885 12183 0 -1 1077944384 1013 13259 0 0 86 20 5 2 20 0 15 0 107427201 11280941056 734847 33554432000 4194304 4196468 140725766799232 139870387222800 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21942] ppid=21882 vsize=11016544 memory=2939388 CPUtime=1.17 cores=1,3,5,7
/proc/21885/task/21942/stat : 21942 (java) S 21882 21885 12183 0 -1 1077944384 2329 13259 0 0 89 21 5 2 20 0 15 0 107427201 11280941056 734847 33554432000 4194304 4196468 140725766799232 139870386170256 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21943] ppid=21882 vsize=11016544 memory=2939388 CPUtime=0.18 cores=1,3,5,7
/proc/21885/task/21943/stat : 21943 (java) S 21882 21885 12183 0 -1 1077944384 3870 13259 0 0 11 0 5 2 20 0 15 0 107427203 11280941056 734847 33554432000 4194304 4196468 140725766799232 139869498206960 139870529325698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21944] ppid=21882 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21944/stat : 21944 (java) S 21882 21885 12183 0 -1 1077944384 18 13259 0 0 0 0 5 2 20 0 15 0 107427203 11280941056 734847 33554432000 4194304 4196468 140725766799232 139869368084192 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21945] ppid=21882 vsize=11016544 memory=2937340 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21945/stat : 21945 (java) S 21882 21885 12183 0 -1 1077944384 12 13259 0 0 0 0 5 2 20 0 15 0 107427203 11280941056 734847 33554432000 4194304 4196468 140725766799232 139869166757120 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21946] ppid=21882 vsize=11016544 memory=2939388 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21946/stat : 21946 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11280941056 734847 33554432000 4194304 4196468 140725766799232 139868859357648 139870529333147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21947] ppid=21882 vsize=11016544 memory=2939388 CPUtime=12.59 cores=1,3,5,7
/proc/21885/task/21947/stat : 21947 (java) S 21882 21885 12183 0 -1 1077944384 19397 13259 0 0 1249 3 5 2 20 0 15 0 107427206 11280941056 734847 33554432000 4194304 4196468 140725766799232 139869497153776 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21948] ppid=21882 vsize=11016544 memory=4513 CPUtime=12.61 cores=1,3,5,7
/proc/21885/task/21948/stat : 21948 (java) S 21882 21885 12183 0 -1 1077944384 22370 13259 0 0 1250 4 5 2 20 0 15 0 107427206 11280941056 734847 33554432000 4194304 4196468 140725766799232 139869496101232 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21949] ppid=21882 vsize=11016544 memory=4420 CPUtime=3.53 cores=1,3,5,7
/proc/21885/task/21949/stat : 21949 (java) S 21882 21885 12183 0 -1 1077944384 14678 13259 0 0 341 5 5 2 20 0 15 0 107427206 11280941056 734847 33554432000 4194304 4196468 140725766799232 139869495048176 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21950] ppid=21882 vsize=11016544 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21950/stat : 21950 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11280941056 734847 33554432000 4194304 4196468 140725766799232 139868428560736 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21951] ppid=21882 vsize=11016544 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21885/task/21951/stat : 21951 (java) S 21882 21885 12183 0 -1 1077944384 127 13259 0 0 3 2 5 2 20 0 15 0 107427207 11280941056 734847 33554432000 4194304 4196468 140725766799232 139869493996592 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
Current children cumulated CPU time: 134.11 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2939388 KiB
[startup+162.301 s]
/proc/loadavg: 1.59 1.56 1.67 3/216 22084
/proc/meminfo: memFree=18922436/32770624 swapFree=67108860/67108860
[pid=21885] ppid=21882 vsize=11016544 memory=3003976 CPUtime=197.26 cores=1,3,5,7
/proc/21885/stat : 21885 (java) S 21882 21885 12183 0 -1 1077944320 142479 13259 0 0 19563 156 5 2 20 0 15 0 107427192 11280941056 750994 33554432000 4194304 4196468 140725766799232 140725766781776 139870529314551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
/proc/21885/statm: 2754136 750994 3537 1 0 2715789 0
[pid=21885/tid=21938] ppid=21882 vsize=11016544 memory=280184743391072 CPUtime=160.7 cores=1,3,5,7
/proc/21885/task/21938/stat : 21938 (java) R 21882 21885 12183 0 -1 4202560 58143 13259 0 0 16022 41 5 2 20 0 15 0 107427201 11280941056 750994 33554432000 4194304 4196468 140725766799232 139870501150512 139870075152672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21939] ppid=21882 vsize=11016544 memory=3003648 CPUtime=1.4 cores=1,3,5,7
/proc/21885/task/21939/stat : 21939 (java) S 21882 21885 12183 0 -1 1077944384 2566 13259 0 0 110 23 5 2 20 0 15 0 107427201 11280941056 750994 33554432000 4194304 4196468 140725766799232 139870533556752 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21940] ppid=21882 vsize=11016544 memory=3003648 CPUtime=1.4 cores=1,3,5,7
/proc/21885/task/21940/stat : 21940 (java) S 21882 21885 12183 0 -1 1077944384 2256 13259 0 0 111 22 5 2 20 0 15 0 107427201 11280941056 750994 33554432000 4194304 4196468 140725766799232 139870388275856 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21941] ppid=21882 vsize=11016544 memory=3003816 CPUtime=1.36 cores=1,3,5,7
/proc/21885/task/21941/stat : 21941 (java) S 21882 21885 12183 0 -1 1077944384 2088 13259 0 0 106 23 5 2 20 0 15 0 107427201 11280941056 750994 33554432000 4194304 4196468 140725766799232 139870387222800 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21942] ppid=21882 vsize=11016544 memory=3003676 CPUtime=1.39 cores=1,3,5,7
/proc/21885/task/21942/stat : 21942 (java) S 21882 21885 12183 0 -1 1077944384 2630 13259 0 0 108 24 5 2 20 0 15 0 107427201 11280941056 750994 33554432000 4194304 4196468 140725766799232 139870386170256 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21943] ppid=21882 vsize=11016544 memory=3003904 CPUtime=0.19 cores=1,3,5,7
/proc/21885/task/21943/stat : 21943 (java) S 21882 21885 12183 0 -1 1077944384 4139 13259 0 0 12 0 5 2 20 0 15 0 107427203 11280941056 750994 33554432000 4194304 4196468 140725766799232 139869498206960 139870529325698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21944] ppid=21882 vsize=11016544 memory=3003940 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21944/stat : 21944 (java) S 21882 21885 12183 0 -1 1077944384 18 13259 0 0 0 0 5 2 20 0 15 0 107427203 11280941056 750994 33554432000 4194304 4196468 140725766799232 139869368084192 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21945] ppid=21882 vsize=11016544 memory=3003940 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21945/stat : 21945 (java) S 21882 21885 12183 0 -1 1077944384 12 13259 0 0 0 0 5 2 20 0 15 0 107427203 11280941056 750994 33554432000 4194304 4196468 140725766799232 139869166757120 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21946] ppid=21882 vsize=11016544 memory=3003976 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21946/stat : 21946 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11280941056 750994 33554432000 4194304 4196468 140725766799232 139868859357648 139870529333147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21947] ppid=21882 vsize=11016544 memory=0 CPUtime=13.63 cores=1,3,5,7
/proc/21885/task/21947/stat : 21947 (java) S 21882 21885 12183 0 -1 1077944384 23884 13259 0 0 1352 4 5 2 20 0 15 0 107427206 11280941056 750994 33554432000 4194304 4196468 140725766799232 139869497153776 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21948] ppid=21882 vsize=11016544 memory=3003976 CPUtime=13.71 cores=1,3,5,7
/proc/21885/task/21948/stat : 21948 (java) S 21882 21885 12183 0 -1 1077944384 26607 13259 0 0 1359 5 5 2 20 0 15 0 107427206 11280941056 750994 33554432000 4194304 4196468 140725766799232 139869496101232 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21949] ppid=21882 vsize=11016544 memory=3003648 CPUtime=3.84 cores=1,3,5,7
/proc/21885/task/21949/stat : 21949 (java) S 21882 21885 12183 0 -1 1077944384 17774 13259 0 0 371 6 5 2 20 0 15 0 107427206 11280941056 750994 33554432000 4194304 4196468 140725766799232 139869495048176 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21950] ppid=21882 vsize=11016544 memory=3003940 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21950/stat : 21950 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11280941056 750994 33554432000 4194304 4196468 140725766799232 139868428560736 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21951] ppid=21882 vsize=11016544 memory=3003816 CPUtime=0.15 cores=1,3,5,7
/proc/21885/task/21951/stat : 21951 (java) S 21882 21885 12183 0 -1 1077944384 166 13259 0 0 4 4 5 2 20 0 15 0 107427207 11280941056 750994 33554432000 4194304 4196468 140725766799232 139869493996592 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
Current children cumulated CPU time: 197.26 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3003976 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+214.501 s]
/proc/loadavg: 1.54 1.55 1.66 3/216 22085
/proc/meminfo: memFree=18875288/32770624 swapFree=67108860/67108860
[pid=21885] ppid=21882 vsize=11016544 memory=3009300 CPUtime=252.05 cores=1,3,5,7
/proc/21885/stat : 21885 (java) S 21882 21885 12183 0 -1 1077944320 161452 13259 0 0 25037 161 5 2 20 0 15 0 107427192 11280941056 752325 33554432000 4194304 4196468 140725766799232 140725766781776 139870529314551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
/proc/21885/statm: 2754136 752325 3537 1 0 2715789 0
[pid=21885/tid=21938] ppid=21882 vsize=11016544 memory=3009300 CPUtime=212.79 cores=1,3,5,7
/proc/21885/task/21938/stat : 21938 (java) R 21882 21885 12183 0 -1 4202560 63037 13259 0 0 21229 43 5 2 20 0 15 0 107427201 11280941056 752325 33554432000 4194304 4196468 140725766799232 139870501145472 139870079190554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21939] ppid=21882 vsize=11016544 memory=3009300 CPUtime=1.49 cores=1,3,5,7
/proc/21885/task/21939/stat : 21939 (java) S 21882 21885 12183 0 -1 1077944384 3190 13259 0 0 119 23 5 2 20 0 15 0 107427201 11280941056 752325 33554432000 4194304 4196468 140725766799232 139870533556752 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21940] ppid=21882 vsize=11016544 memory=3009300 CPUtime=1.5 cores=1,3,5,7
/proc/21885/task/21940/stat : 21940 (java) S 21882 21885 12183 0 -1 1077944384 3397 13259 0 0 121 22 5 2 20 0 15 0 107427201 11280941056 752325 33554432000 4194304 4196468 140725766799232 139870388275856 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21941] ppid=21882 vsize=11016544 memory=3007252 CPUtime=1.46 cores=1,3,5,7
/proc/21885/task/21941/stat : 21941 (java) S 21882 21885 12183 0 -1 1077944384 2160 13259 0 0 116 23 5 2 20 0 15 0 107427201 11280941056 752325 33554432000 4194304 4196468 140725766799232 139870387222800 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21942] ppid=21882 vsize=11016544 memory=3009300 CPUtime=1.49 cores=1,3,5,7
/proc/21885/task/21942/stat : 21942 (java) S 21882 21885 12183 0 -1 1077944384 2813 13259 0 0 118 24 5 2 20 0 15 0 107427201 11280941056 752325 33554432000 4194304 4196468 140725766799232 139870386170256 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21943] ppid=21882 vsize=11016544 memory=4612 CPUtime=0.2 cores=1,3,5,7
/proc/21885/task/21943/stat : 21943 (java) S 21882 21885 12183 0 -1 1077944384 4437 13259 0 0 13 0 5 2 20 0 15 0 107427203 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869498206960 139870529325698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21944] ppid=21882 vsize=11016544 memory=3009300 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21944/stat : 21944 (java) S 21882 21885 12183 0 -1 1077944384 18 13259 0 0 0 0 5 2 20 0 15 0 107427203 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869368084192 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21945] ppid=21882 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21945/stat : 21945 (java) S 21882 21885 12183 0 -1 1077944384 12 13259 0 0 0 0 5 2 20 0 15 0 107427203 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869166757120 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21946] ppid=21882 vsize=11016544 memory=3009300 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21946/stat : 21946 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11280941056 752325 33554432000 4194304 4196468 140725766799232 139868859357648 139870529333147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21947] ppid=21882 vsize=11016544 memory=3007252 CPUtime=14.57 cores=1,3,5,7
/proc/21885/task/21947/stat : 21947 (java) S 21882 21885 12183 0 -1 1077944384 28518 13259 0 0 1446 4 5 2 20 0 15 0 107427206 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869497153776 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21948] ppid=21882 vsize=11016544 memory=3009300 CPUtime=14.7 cores=1,3,5,7
/proc/21885/task/21948/stat : 21948 (java) S 21882 21885 12183 0 -1 1077944384 30335 13259 0 0 1458 5 5 2 20 0 15 0 107427206 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869496101232 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21949] ppid=21882 vsize=11016544 memory=4140 CPUtime=4.18 cores=1,3,5,7
/proc/21885/task/21949/stat : 21949 (java) S 21882 21885 12183 0 -1 1077944384 21128 13259 0 0 404 7 5 2 20 0 15 0 107427206 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869495048176 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21950] ppid=21882 vsize=11016544 memory=1836 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21950/stat : 21950 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11280941056 752325 33554432000 4194304 4196468 140725766799232 139868428560736 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21951] ppid=21882 vsize=11016544 memory=13044 CPUtime=0.19 cores=1,3,5,7
/proc/21885/task/21951/stat : 21951 (java) S 21882 21885 12183 0 -1 1077944384 211 13259 0 0 6 6 5 2 20 0 15 0 107427207 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869493996592 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3009300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+214.544 s]
# the end of solver process 21885 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.448 s, system=1.67055 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+214.501 s]
/proc/loadavg: 1.54 1.55 1.66 3/216 22085
/proc/meminfo: memFree=18875288/32770624 swapFree=67108860/67108860
[pid=21885] ppid=21882 vsize=11016544 memory=3009300 CPUtime=252.05 cores=1,3,5,7
/proc/21885/stat : 21885 (java) S 21882 21885 12183 0 -1 1077944320 161452 13259 0 0 25037 161 5 2 20 0 15 0 107427192 11280941056 752325 33554432000 4194304 4196468 140725766799232 140725766781776 139870529314551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
/proc/21885/statm: 2754136 752325 3537 1 0 2715789 0
[pid=21885/tid=21938] ppid=21882 vsize=11016544 memory=3009300 CPUtime=212.79 cores=1,3,5,7
/proc/21885/task/21938/stat : 21938 (java) R 21882 21885 12183 0 -1 4202560 63037 13259 0 0 21229 43 5 2 20 0 15 0 107427201 11280941056 752325 33554432000 4194304 4196468 140725766799232 139870501145472 139870079190554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21939] ppid=21882 vsize=11016544 memory=3009300 CPUtime=1.49 cores=1,3,5,7
/proc/21885/task/21939/stat : 21939 (java) S 21882 21885 12183 0 -1 1077944384 3190 13259 0 0 119 23 5 2 20 0 15 0 107427201 11280941056 752325 33554432000 4194304 4196468 140725766799232 139870533556752 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21940] ppid=21882 vsize=11016544 memory=3009300 CPUtime=1.5 cores=1,3,5,7
/proc/21885/task/21940/stat : 21940 (java) S 21882 21885 12183 0 -1 1077944384 3397 13259 0 0 121 22 5 2 20 0 15 0 107427201 11280941056 752325 33554432000 4194304 4196468 140725766799232 139870388275856 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21941] ppid=21882 vsize=11016544 memory=3007252 CPUtime=1.46 cores=1,3,5,7
/proc/21885/task/21941/stat : 21941 (java) S 21882 21885 12183 0 -1 1077944384 2160 13259 0 0 116 23 5 2 20 0 15 0 107427201 11280941056 752325 33554432000 4194304 4196468 140725766799232 139870387222800 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21942] ppid=21882 vsize=11016544 memory=3009300 CPUtime=1.49 cores=1,3,5,7
/proc/21885/task/21942/stat : 21942 (java) S 21882 21885 12183 0 -1 1077944384 2813 13259 0 0 118 24 5 2 20 0 15 0 107427201 11280941056 752325 33554432000 4194304 4196468 140725766799232 139870386170256 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21943] ppid=21882 vsize=11016544 memory=4612 CPUtime=0.2 cores=1,3,5,7
/proc/21885/task/21943/stat : 21943 (java) S 21882 21885 12183 0 -1 1077944384 4437 13259 0 0 13 0 5 2 20 0 15 0 107427203 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869498206960 139870529325698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21944] ppid=21882 vsize=11016544 memory=3009300 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21944/stat : 21944 (java) S 21882 21885 12183 0 -1 1077944384 18 13259 0 0 0 0 5 2 20 0 15 0 107427203 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869368084192 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21945] ppid=21882 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21945/stat : 21945 (java) S 21882 21885 12183 0 -1 1077944384 12 13259 0 0 0 0 5 2 20 0 15 0 107427203 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869166757120 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21946] ppid=21882 vsize=11016544 memory=3009300 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21946/stat : 21946 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11280941056 752325 33554432000 4194304 4196468 140725766799232 139868859357648 139870529333147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21947] ppid=21882 vsize=11016544 memory=3007252 CPUtime=14.57 cores=1,3,5,7
/proc/21885/task/21947/stat : 21947 (java) S 21882 21885 12183 0 -1 1077944384 28518 13259 0 0 1446 4 5 2 20 0 15 0 107427206 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869497153776 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21948] ppid=21882 vsize=11016544 memory=3009300 CPUtime=14.7 cores=1,3,5,7
/proc/21885/task/21948/stat : 21948 (java) S 21882 21885 12183 0 -1 1077944384 30335 13259 0 0 1458 5 5 2 20 0 15 0 107427206 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869496101232 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21949] ppid=21882 vsize=11016544 memory=4140 CPUtime=4.18 cores=1,3,5,7
/proc/21885/task/21949/stat : 21949 (java) S 21882 21885 12183 0 -1 1077944384 21128 13259 0 0 404 7 5 2 20 0 15 0 107427206 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869495048176 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21950] ppid=21882 vsize=11016544 memory=1836 CPUtime=0.07 cores=1,3,5,7
/proc/21885/task/21950/stat : 21950 (java) S 21882 21885 12183 0 -1 1077944384 3 13259 0 0 0 0 5 2 20 0 15 0 107427206 11280941056 752325 33554432000 4194304 4196468 140725766799232 139868428560736 139870529324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
[pid=21885/tid=21951] ppid=21882 vsize=11016544 memory=13044 CPUtime=0.19 cores=1,3,5,7
/proc/21885/task/21951/stat : 21951 (java) S 21882 21885 12183 0 -1 1077944384 211 13259 0 0 6 6 5 2 20 0 15 0 107427207 11280941056 752325 33554432000 4194304 4196468 140725766799232 139869493996592 139870529325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36966400 140725766802033 140725766804833 140725766804833 140725766807503 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3009300 KiB
Child status: 143
Real time (s): 214.544
CPU time (s): 252.118
CPU user time (s): 250.448
CPU system time (s): 1.67055
CPU usage (%): 117.514
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 3009300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.448
system time used= 1.67055
maximum resident set size= 3013536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175447
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20378
involuntary context switches= 348
# summary of solver processes directly reported to runsolver:
# pid: 21885
# total CPU time (s): 252.118
# total CPU user time (s): 250.448
# total CPU system time (s): 1.67055
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31018 second user time and 2.06655 second system time
The end