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 (13651 MiB free)
memory of node 1: 16384 MiB (15740 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401341-1568679394/watcher-4401341-1568679394 -o /tmp/evaluation-result-4401341-1568679394/solver-4401341-1568679394 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568673443-12496 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1910530933 HOME/instance-4401341-1568679394.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=16042, runsolver pid=16039
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 1.88 1.55 1.45 3/217 16099
/proc/meminfo: memFree=30090976/32770624 swapFree=66922472/67108860
[pid=16042] ppid=16039 vsize=9972712 memory=16816 CPUtime=0.09 cores=1,3,5,7
/proc/16042/stat : 16042 (java) S 16039 16042 12464 0 -1 1077944320 4450 13323 0 0 1 0 5 3 20 0 6 0 444208112 10212057088 4204 33554432000 4194304 4196468 140736677316592 140736677299136 139944754564855 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
/proc/16042/statm: 2493178 4204 1935 1 0 2481616 0
[pid=16042/tid=16095] ppid=16039 vsize=9972712 memory=4279135704013571469 CPUtime=0.09 cores=1,3,5,7
/proc/16042/task/16095/stat : 16095 (java) R 16039 16042 12464 0 -1 4202560 2254 13323 0 0 1 0 5 3 20 0 6 0 444208121 10212057088 4204 33554432000 4194304 4196468 140736677316592 139944726401616 139944738645342 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16096] ppid=16039 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16096/stat : 16096 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 6 0 444208122 10212057088 4204 33554432000 4194304 4196468 140736677316592 139944758807440 139944754575061 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16097] ppid=16039 vsize=9972712 memory=139693505541760 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16097/stat : 16097 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 6 0 444208122 10212057088 4204 33554432000 4194304 4196468 140736677316592 139944673626896 139944754575061 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16098] ppid=16039 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16098/stat : 16098 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 6 0 444208122 10212057088 4204 33554432000 4194304 4196468 140736677316592 139944672574608 139944754575061 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16099] ppid=16039 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16099/stat : 16099 (java) S 16039 16042 12464 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 6 0 444208122 10212057088 4204 33554432000 4194304 4196468 140736677316592 139944671521808 139944754575061 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210015 s]*
/proc/loadavg: 1.88 1.55 1.45 4/226 16108
/proc/meminfo: memFree=30071568/32770624 swapFree=66922472/67108860
[pid=16042] ppid=16039 vsize=10820184 memory=41460 CPUtime=0.27 cores=1,3,5,7
/proc/16042/stat : 16042 (java) S 16039 16042 12464 0 -1 1077944320 7330 13323 0 0 17 2 5 3 20 0 15 0 444208112 11079868416 10365 33554432000 4194304 4196468 140736677316592 140736677299136 139944754564855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
/proc/16042/statm: 2705046 10365 3284 1 0 2667149 0
[pid=16042/tid=16095] ppid=16039 vsize=10820196 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/16042/task/16095/stat : 16095 (java) R 16039 16042 12464 0 -1 4202560 3856 13323 0 0 10 1 5 3 20 0 15 0 444208121 11079880704 10365 33554432000 4194304 4196468 140736677316592 139944726388016 139944754586781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16096] ppid=16039 vsize=10820196 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16096/stat : 16096 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208122 11079880704 10365 33554432000 4194304 4196468 140736677316592 139944758807440 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16097] ppid=16039 vsize=10820196 memory=139693505541760 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16097/stat : 16097 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208122 11079880704 10365 33554432000 4194304 4196468 140736677316592 139944673626896 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16098] ppid=16039 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16098/stat : 16098 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208122 11079880704 10365 33554432000 4194304 4196468 140736677316592 139944672574608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16099] ppid=16039 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16099/stat : 16099 (java) S 16039 16042 12464 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 444208122 11079880704 10365 33554432000 4194304 4196468 140736677316592 139944671521808 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16100] ppid=16039 vsize=10820196 memory=139693505541760 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16100/stat : 16100 (java) S 16039 16042 12464 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 444208123 11079880704 10365 33554432000 4194304 4196468 140736677316592 139944280918128 139944754576002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16101] ppid=16039 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16101/stat : 16101 (java) S 16039 16042 12464 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 444208124 11079880704 10365 33554432000 4194304 4196468 140736677316592 139943724704544 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16102] ppid=16039 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16102/stat : 16102 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208124 11079880704 10365 33554432000 4194304 4196468 140736677316592 139943523378288 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16103] ppid=16039 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16103/stat : 16103 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11079880704 10365 33554432000 4194304 4196468 140736677316592 139943283087440 139944754583451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16104] ppid=16039 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16042/task/16104/stat : 16104 (java) R 16039 16042 12464 0 -1 4202560 477 13323 0 0 1 0 5 3 20 0 15 0 444208127 11079880704 10365 33554432000 4194304 4196468 140736677316592 139944279865968 139944739465170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16105] ppid=16039 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/16042/task/16105/stat : 16105 (java) S 16039 16042 12464 0 -1 1077944384 185 13323 0 0 1 0 5 3 20 0 15 0 444208127 11079880704 10365 33554432000 4194304 4196468 140736677316592 139944278813168 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16106] ppid=16039 vsize=10820196 memory=139693505541760 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16106/stat : 16106 (java) S 16039 16042 12464 0 -1 1077944384 591 13323 0 0 3 0 5 3 20 0 15 0 444208127 11079880704 10365 33554432000 4194304 4196468 140736677316592 139944277760880 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16107] ppid=16039 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16107/stat : 16107 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11079880704 10365 33554432000 4194304 4196468 140736677316592 139943249529824 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16108] ppid=16039 vsize=10820196 memory=139693505541760 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16108/stat : 16108 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208127 11079880704 10365 33554432000 4194304 4196468 140736677316592 139944276707760 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820184 KiB
Current children cumulated memory: 41460 KiB
[startup+0.31048 s]*
/proc/loadavg: 1.88 1.55 1.45 3/226 16108
/proc/meminfo: memFree=30058984/32770624 swapFree=66922472/67108860
[pid=16042] ppid=16039 vsize=10820196 memory=50024 CPUtime=0.4 cores=1,3,5,7
/proc/16042/stat : 16042 (java) S 16039 16042 12464 0 -1 1077944320 10740 13323 0 0 29 3 5 3 20 0 15 0 444208112 11079880704 12506 33554432000 4194304 4196468 140736677316592 140736677299136 139944754564855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
/proc/16042/statm: 2705049 12506 3308 1 0 2667149 0
[pid=16042/tid=16095] ppid=16039 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/16042/task/16095/stat : 16095 (java) R 16039 16042 12464 0 -1 4202560 7227 13323 0 0 18 3 5 3 20 0 15 0 444208121 11079880704 12506 33554432000 4194304 4196468 140736677316592 139944726373808 139944738645342 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16096] ppid=16039 vsize=10820196 memory=7228928657774891088 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16096/stat : 16096 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208122 11079880704 12506 33554432000 4194304 4196468 140736677316592 139944758807440 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16097] ppid=16039 vsize=10820196 memory=2080 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16097/stat : 16097 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208122 11079880704 12506 33554432000 4194304 4196468 140736677316592 139944673626896 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16098] ppid=16039 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16098/stat : 16098 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208122 11079880704 12506 33554432000 4194304 4196468 140736677316592 139944672574608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16099] ppid=16039 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16099/stat : 16099 (java) S 16039 16042 12464 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 444208122 11079880704 12506 33554432000 4194304 4196468 140736677316592 139944671521808 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16100] ppid=16039 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16100/stat : 16100 (java) S 16039 16042 12464 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 444208123 11079880704 12506 33554432000 4194304 4196468 140736677316592 139944280918128 139944754576002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16101] ppid=16039 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16101/stat : 16101 (java) S 16039 16042 12464 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 444208124 11079880704 12506 33554432000 4194304 4196468 140736677316592 139943724704544 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16102] ppid=16039 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16102/stat : 16102 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208124 11079880704 12506 33554432000 4194304 4196468 140736677316592 139943523378288 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16103] ppid=16039 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16103/stat : 16103 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11079880704 12506 33554432000 4194304 4196468 140736677316592 139943283087440 139944754583451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16104] ppid=16039 vsize=10820196 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16104/stat : 16104 (java) S 16039 16042 12464 0 -1 1077944384 487 13323 0 0 3 0 5 3 20 0 15 0 444208127 11079880704 12506 33554432000 4194304 4196468 140736677316592 139944279865968 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16105] ppid=16039 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16042/task/16105/stat : 16105 (java) R 16039 16042 12464 0 -1 1077944384 185 13323 0 0 1 0 5 3 20 0 15 0 444208127 11079880704 12506 33554432000 4194304 4196468 140736677316592 139944278813168 139944754576002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16106] ppid=16039 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/16042/task/16106/stat : 16106 (java) S 16039 16042 12464 0 -1 1077944384 609 13323 0 0 5 0 5 3 20 0 15 0 444208127 11079880704 12506 33554432000 4194304 4196468 140736677316592 139944277760880 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16107] ppid=16039 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16107/stat : 16107 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11079880704 12506 33554432000 4194304 4196468 140736677316592 139943249529824 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16108] ppid=16039 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16108/stat : 16108 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208127 11079880704 12506 33554432000 4194304 4196468 140736677316592 139944276707760 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50024 KiB
[startup+0.702553 s]
/proc/loadavg: 1.88 1.55 1.45 4/226 16108
/proc/meminfo: memFree=30043464/32770624 swapFree=66922472/67108860
[pid=16042] ppid=16039 vsize=10824364 memory=83800 CPUtime=1.16 cores=1,3,5,7
/proc/16042/stat : 16042 (java) S 16039 16042 12464 0 -1 1077944320 15163 13323 0 0 103 5 5 3 20 0 15 0 444208112 11084148736 20922 33554432000 4194304 4196468 140736677316592 140736677299136 139944754564855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
/proc/16042/statm: 2706091 20922 3503 1 0 2668173 0
[pid=16042/tid=16095] ppid=16039 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16042/task/16095/stat : 16095 (java) R 16039 16042 12464 0 -1 4202560 10563 13323 0 0 55 4 5 3 20 0 15 0 444208121 11084148736 20950 33554432000 4194304 4196468 140736677316592 139944726392016 139944736464694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16096] ppid=16039 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16096/stat : 16096 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208122 11084148736 20950 33554432000 4194304 4196468 140736677316592 139944758807440 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16097] ppid=16039 vsize=10824364 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16097/stat : 16097 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208122 11084148736 20950 33554432000 4194304 4196468 140736677316592 139944673626896 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16098] ppid=16039 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16098/stat : 16098 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208122 11084148736 20950 33554432000 4194304 4196468 140736677316592 139944672574608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16099] ppid=16039 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16099/stat : 16099 (java) S 16039 16042 12464 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 444208122 11084148736 20950 33554432000 4194304 4196468 140736677316592 139944671521808 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16100] ppid=16039 vsize=10824364 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16100/stat : 16100 (java) S 16039 16042 12464 0 -1 1077944384 5 13323 0 0 0 0 5 3 20 0 15 0 444208123 11084148736 20950 33554432000 4194304 4196468 140736677316592 139944280918128 139944754576002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16101] ppid=16039 vsize=10824364 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16101/stat : 16101 (java) S 16039 16042 12464 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 444208124 11084148736 20950 33554432000 4194304 4196468 140736677316592 139943724704544 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16102] ppid=16039 vsize=10824364 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16102/stat : 16102 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208124 11084148736 20950 33554432000 4194304 4196468 140736677316592 139943523378288 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16103] ppid=16039 vsize=10824364 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16103/stat : 16103 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11084148736 20950 33554432000 4194304 4196468 140736677316592 139943283087440 139944754583451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16104] ppid=16039 vsize=10824364 memory=13252 CPUtime=0.21 cores=1,3,5,7
/proc/16042/task/16104/stat : 16104 (java) R 16039 16042 12464 0 -1 4202560 893 13323 0 0 13 0 5 3 20 0 15 0 444208127 11084148736 20950 33554432000 4194304 4196468 140736677316592 139944279847536 139944738471480 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16105] ppid=16039 vsize=10824364 memory=15460 CPUtime=0.23 cores=1,3,5,7
/proc/16042/task/16105/stat : 16105 (java) R 16039 16042 12464 0 -1 4202560 650 13323 0 0 15 0 5 3 20 0 15 0 444208127 11084148736 20950 33554432000 4194304 4196468 140736677316592 139944278813168 139944736109089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16106] ppid=16039 vsize=10824364 memory=17668 CPUtime=0.25 cores=1,3,5,7
/proc/16042/task/16106/stat : 16106 (java) R 16039 16042 12464 0 -1 4202560 822 13323 0 0 17 0 5 3 20 0 15 0 444208127 11084148736 20950 33554432000 4194304 4196468 140736677316592 139944277760880 139944747669533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16107] ppid=16039 vsize=10824364 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16107/stat : 16107 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11084148736 20950 33554432000 4194304 4196468 140736677316592 139943249529824 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16108] ppid=16039 vsize=10824364 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16108/stat : 16108 (java) R 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208127 11084148736 20950 33554432000 4194304 4196468 140736677316592 139944276707760 139944754576002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83800 KiB
[startup+1.5008 s]
/proc/loadavg: 1.88 1.55 1.45 3/226 16108
/proc/meminfo: memFree=29999920/32770624 swapFree=66922472/67108860
[pid=16042] ppid=16039 vsize=10834680 memory=179956 CPUtime=2.65 cores=1,3,5,7
/proc/16042/stat : 16042 (java) S 16039 16042 12464 0 -1 1077944320 23034 13323 0 0 245 12 5 3 20 0 15 0 444208112 11094712320 44989 33554432000 4194304 4196468 140736677316592 140736677299136 139944754564855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
/proc/16042/statm: 2708670 44989 3591 1 0 2670733 0
[pid=16042/tid=16095] ppid=16039 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/16042/task/16095/stat : 16095 (java) R 16039 16042 12464 0 -1 4202560 15436 13323 0 0 128 7 5 3 20 0 15 0 444208121 11094712320 44989 33554432000 4194304 4196468 140736677316592 139944726388768 139944754576790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16096] ppid=16039 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16042/task/16096/stat : 16096 (java) S 16039 16042 12464 0 -1 1077944384 73 13323 0 0 1 0 5 3 20 0 15 0 444208122 11094712320 44989 33554432000 4194304 4196468 140736677316592 139944758807440 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16097] ppid=16039 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16042/task/16097/stat : 16097 (java) S 16039 16042 12464 0 -1 1077944384 311 13323 0 0 1 0 5 3 20 0 15 0 444208122 11094712320 44989 33554432000 4194304 4196468 140736677316592 139944673626896 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16098] ppid=16039 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16042/task/16098/stat : 16098 (java) S 16039 16042 12464 0 -1 1077944384 27 13323 0 0 1 0 5 3 20 0 15 0 444208122 11094712320 44989 33554432000 4194304 4196468 140736677316592 139944672574608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16099] ppid=16039 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16042/task/16099/stat : 16099 (java) S 16039 16042 12464 0 -1 1077944384 73 13323 0 0 1 0 5 3 20 0 15 0 444208122 11094712320 44989 33554432000 4194304 4196468 140736677316592 139944671521808 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16100] ppid=16039 vsize=10834680 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/16042/task/16100/stat : 16100 (java) S 16039 16042 12464 0 -1 1077944384 130 13323 0 0 1 0 5 3 20 0 15 0 444208123 11094712320 44989 33554432000 4194304 4196468 140736677316592 139944280918128 139944754576002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16101] ppid=16039 vsize=10834680 memory=279386817374464 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16101/stat : 16101 (java) S 16039 16042 12464 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 444208124 11094712320 44989 33554432000 4194304 4196468 140736677316592 139943724704544 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16102] ppid=16039 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16102/stat : 16102 (java) S 16039 16042 12464 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 444208124 11094712320 44989 33554432000 4194304 4196468 140736677316592 139943523378288 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16103] ppid=16039 vsize=10834680 memory=4096 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16103/stat : 16103 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11094712320 44989 33554432000 4194304 4196468 140736677316592 139943283087440 139944754583451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16104] ppid=16039 vsize=10834680 memory=2832 CPUtime=0.42 cores=1,3,5,7
/proc/16042/task/16104/stat : 16104 (java) S 16039 16042 12464 0 -1 1077944384 1803 13323 0 0 34 0 5 3 20 0 15 0 444208127 11094712320 44989 33554432000 4194304 4196468 140736677316592 139944279865968 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16105] ppid=16039 vsize=10834680 memory=772 CPUtime=0.4 cores=1,3,5,7
/proc/16042/task/16105/stat : 16105 (java) S 16039 16042 12464 0 -1 1077944384 1243 13323 0 0 32 0 5 3 20 0 15 0 444208127 11094712320 44989 33554432000 4194304 4196468 140736677316592 139944278813168 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16106] ppid=16039 vsize=10834680 memory=1060 CPUtime=0.5 cores=1,3,5,7
/proc/16042/task/16106/stat : 16106 (java) R 16039 16042 12464 0 -1 4202560 1710 13323 0 0 41 1 5 3 20 0 15 0 444208127 11094712320 44989 33554432000 4194304 4196468 140736677316592 139944277760880 139944754586202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16107] ppid=16039 vsize=10834680 memory=1484 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16107/stat : 16107 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11094712320 44989 33554432000 4194304 4196468 140736677316592 139943249529824 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16108] ppid=16039 vsize=10834680 memory=1096 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16108/stat : 16108 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208127 11094712320 44989 33554432000 4194304 4196468 140736677316592 139944276707760 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 179956 KiB
[startup+3.11059 s]
/proc/loadavg: 2.13 1.61 1.47 5/226 16108
/proc/meminfo: memFree=29854988/32770624 swapFree=66922472/67108860
[pid=16042] ppid=16039 vsize=10844940 memory=259352 CPUtime=7.04 cores=1,3,5,7
/proc/16042/stat : 16042 (java) S 16039 16042 12464 0 -1 1077944320 37737 13323 0 0 679 17 5 3 20 0 15 0 444208112 11105218560 64838 33554432000 4194304 4196468 140736677316592 140736677299136 139944754564855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
/proc/16042/statm: 2711235 64838 3612 1 0 2673293 0
[pid=16042/tid=16095] ppid=16039 vsize=10844940 memory=279386817793344 CPUtime=2.98 cores=1,3,5,7
/proc/16042/task/16095/stat : 16095 (java) R 16039 16042 12464 0 -1 4202560 20270 13323 0 0 282 8 5 3 20 0 15 0 444208121 11105218560 64838 33554432000 4194304 4196468 140736677316592 139944726399680 139944738608485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16096] ppid=16039 vsize=10844940 memory=388 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16096/stat : 16096 (java) S 16039 16042 12464 0 -1 1077944384 82 13323 0 0 3 0 5 3 20 0 15 0 444208122 11105218560 64838 33554432000 4194304 4196468 140736677316592 139944758807440 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16097] ppid=16039 vsize=10844940 memory=6943526294502006880 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16097/stat : 16097 (java) S 16039 16042 12464 0 -1 1077944384 329 13323 0 0 3 0 5 3 20 0 15 0 444208122 11105218560 64838 33554432000 4194304 4196468 140736677316592 139944673626896 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16098] ppid=16039 vsize=10844940 memory=56 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16098/stat : 16098 (java) S 16039 16042 12464 0 -1 1077944384 46 13323 0 0 3 0 5 3 20 0 15 0 444208122 11105218560 64838 33554432000 4194304 4196468 140736677316592 139944672574608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16099] ppid=16039 vsize=10844940 memory=8389687274634359602 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16099/stat : 16099 (java) S 16039 16042 12464 0 -1 1077944384 108 13323 0 0 3 0 5 3 20 0 15 0 444208122 11105218560 64838 33554432000 4194304 4196468 140736677316592 139944671521808 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16100] ppid=16039 vsize=10844940 memory=7093353225314366150 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16100/stat : 16100 (java) S 16039 16042 12464 0 -1 1077944384 1594 13323 0 0 3 0 5 3 20 0 15 0 444208123 11105218560 64838 33554432000 4194304 4196468 140736677316592 139944280918128 139944754576002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16101] ppid=16039 vsize=10844940 memory=7449279377443992626 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16101/stat : 16101 (java) S 16039 16042 12464 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 444208124 11105218560 64838 33554432000 4194304 4196468 140736677316592 139943724704608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16102] ppid=16039 vsize=10844940 memory=279386817627648 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16102/stat : 16102 (java) S 16039 16042 12464 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 444208124 11105218560 64838 33554432000 4194304 4196468 140736677316592 139943523378304 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16103] ppid=16039 vsize=10844940 memory=7956567955459234152 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16103/stat : 16103 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11105218560 64838 33554432000 4194304 4196468 140736677316592 139943283087440 139944754583451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16104] ppid=16039 vsize=10844940 memory=6940161746071283796 CPUtime=1.32 cores=1,3,5,7
/proc/16042/task/16104/stat : 16104 (java) S 16039 16042 12464 0 -1 1077944384 3601 13323 0 0 123 1 5 3 20 0 15 0 444208127 11105218560 64838 33554432000 4194304 4196468 140736677316592 139944279865968 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16105] ppid=16039 vsize=10844940 memory=7447093755344479056 CPUtime=1.37 cores=1,3,5,7
/proc/16042/task/16105/stat : 16105 (java) R 16039 16042 12464 0 -1 4202560 3927 13323 0 0 129 0 5 3 20 0 15 0 444208127 11105218560 64838 33554432000 4194304 4196468 140736677316592 139944278794160 139944738032816 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16106] ppid=16039 vsize=10844940 memory=288230574492221466 CPUtime=1.35 cores=1,3,5,7
/proc/16042/task/16106/stat : 16106 (java) S 16039 16042 12464 0 -1 1077944384 5555 13323 0 0 125 2 5 3 20 0 15 0 444208127 11105218560 64838 33554432000 4194304 4196468 140736677316592 139944277760880 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16107] ppid=16039 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16107/stat : 16107 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11105218560 64838 33554432000 4194304 4196468 140736677316592 139943249529824 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16108] ppid=16039 vsize=10844940 memory=2193 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16108/stat : 16108 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208127 11105218560 64838 33554432000 4194304 4196468 140736677316592 139944276707760 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
Current children cumulated CPU time: 7.04 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 259352 KiB
[startup+4.30958 s]
# the end of solver process 16042 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.3704 s, system=0.26307 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2016 s]
/proc/loadavg: 2.13 1.61 1.47 5/226 16108
/proc/meminfo: memFree=29854988/32770624 swapFree=66922472/67108860
[pid=16042] ppid=16039 vsize=10846988 memory=262588 CPUtime=7.29 cores=1,3,5,7
/proc/16042/stat : 16042 (java) S 16039 16042 12464 0 -1 1077944320 39408 13323 0 0 703 18 5 3 20 0 15 0 444208112 11107315712 65647 33554432000 4194304 4196468 140736677316592 140736677299136 139944754564855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
/proc/16042/statm: 2711747 65647 3612 1 0 2673805 0
[pid=16042/tid=16095] ppid=16039 vsize=10846988 memory=0 CPUtime=3.08 cores=1,3,5,7
/proc/16042/task/16095/stat : 16095 (java) R 16039 16042 12464 0 -1 4202560 20694 13323 0 0 291 9 5 3 20 0 15 0 444208121 11107315712 65647 33554432000 4194304 4196468 140736677316592 139944726389568 139944677621408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16096] ppid=16039 vsize=10846988 memory=6656426216303648864 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16096/stat : 16096 (java) S 16039 16042 12464 0 -1 1077944384 82 13323 0 0 3 0 5 3 20 0 15 0 444208122 11107315712 65647 33554432000 4194304 4196468 140736677316592 139944758807440 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16097] ppid=16039 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16097/stat : 16097 (java) S 16039 16042 12464 0 -1 1077944384 329 13323 0 0 3 0 5 3 20 0 15 0 444208122 11107315712 65647 33554432000 4194304 4196468 140736677316592 139944673626896 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16098] ppid=16039 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16098/stat : 16098 (java) S 16039 16042 12464 0 -1 1077944384 46 13323 0 0 3 0 5 3 20 0 15 0 444208122 11107315712 65647 33554432000 4194304 4196468 140736677316592 139944672574608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16099] ppid=16039 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16099/stat : 16099 (java) S 16039 16042 12464 0 -1 1077944384 108 13323 0 0 3 0 5 3 20 0 15 0 444208122 11107315712 65658 33554432000 4194304 4196468 140736677316592 139944671521808 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16100] ppid=16039 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16100/stat : 16100 (java) S 16039 16042 12464 0 -1 1077944384 1594 13323 0 0 3 0 5 3 20 0 15 0 444208123 11107315712 65658 33554432000 4194304 4196468 140736677316592 139944280918128 139944754576002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16101] ppid=16039 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16101/stat : 16101 (java) S 16039 16042 12464 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 444208124 11107315712 65658 33554432000 4194304 4196468 140736677316592 139943724704608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16102] ppid=16039 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16102/stat : 16102 (java) S 16039 16042 12464 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 444208124 11107315712 65658 33554432000 4194304 4196468 140736677316592 139943523378304 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16103] ppid=16039 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16103/stat : 16103 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11107315712 65658 33554432000 4194304 4196468 140736677316592 139943283087440 139944754583451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16104] ppid=16039 vsize=10846988 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/16042/task/16104/stat : 16104 (java) S 16039 16042 12464 0 -1 1077944384 3618 13323 0 0 127 1 5 3 20 0 15 0 444208127 11107315712 65658 33554432000 4194304 4196468 140736677316592 139944279865968 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16105] ppid=16039 vsize=10846988 memory=780 CPUtime=1.47 cores=1,3,5,7
/proc/16042/task/16105/stat : 16105 (java) R 16039 16042 12464 0 -1 4202560 5098 13323 0 0 138 1 5 3 20 0 15 0 444208127 11107315712 65658 33554432000 4194304 4196468 140736677316592 139944278794776 139944738061639 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16106] ppid=16039 vsize=10846988 memory=14008 CPUtime=1.38 cores=1,3,5,7
/proc/16042/task/16106/stat : 16106 (java) R 16039 16042 12464 0 -1 4202560 5778 13323 0 0 128 2 5 3 20 0 15 0 444208127 11107315712 65658 33554432000 4194304 4196468 140736677316592 139944277760880 139944733522618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16107] ppid=16039 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16107/stat : 16107 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11107315712 65658 33554432000 4194304 4196468 140736677316592 139943249529824 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16108] ppid=16039 vsize=10846988 memory=6788 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16108/stat : 16108 (java) S 16039 16042 12464 0 -1 1077944384 1 13323 0 0 0 0 5 3 20 0 15 0 444208127 11107315712 65658 33554432000 4194304 4196468 140736677316592 139944276707760 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
Current children cumulated CPU time: 7.29 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 262588 KiB
[startup+4.00064 s]*
/proc/loadavg: 2.13 1.61 1.47 6/226 16108
/proc/meminfo: memFree=29806132/32770624 swapFree=66922472/67108860
[pid=16042] ppid=16039 vsize=10849048 memory=291820 CPUtime=10.02 cores=1,3,5,7
/proc/16042/stat : 16042 (java) S 16039 16042 12464 0 -1 1077944320 55959 13323 0 0 973 21 5 3 20 0 15 0 444208112 11109425152 72955 33554432000 4194304 4196468 140736677316592 140736677299136 139944754564855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
/proc/16042/statm: 2712262 72955 3618 1 0 2674317 0
[pid=16042/tid=16095] ppid=16039 vsize=10849048 memory=-6517102902069810590 CPUtime=3.88 cores=1,3,5,7
/proc/16042/task/16095/stat : 16095 (java) R 16039 16042 12464 0 -1 4202560 25971 13323 0 0 370 10 5 3 20 0 15 0 444208121 11109425152 72955 33554432000 4194304 4196468 140736677316592 139944726398352 139944359876193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16096] ppid=16039 vsize=10849048 memory=4122819170707441977 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16096/stat : 16096 (java) S 16039 16042 12464 0 -1 1077944384 82 13323 0 0 3 0 5 3 20 0 15 0 444208122 11109425152 72955 33554432000 4194304 4196468 140736677316592 139944758807440 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16097] ppid=16039 vsize=10849048 memory=3756194783571978676 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16097/stat : 16097 (java) S 16039 16042 12464 0 -1 1077944384 329 13323 0 0 3 0 5 3 20 0 15 0 444208122 11109425152 72955 33554432000 4194304 4196468 140736677316592 139944673626896 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16098] ppid=16039 vsize=10849048 memory=4351691527157721392 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16098/stat : 16098 (java) S 16039 16042 12464 0 -1 1077944384 46 13323 0 0 3 0 5 3 20 0 15 0 444208122 11109425152 72955 33554432000 4194304 4196468 140736677316592 139944672574608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16099] ppid=16039 vsize=10849048 memory=68899865363432 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16099/stat : 16099 (java) S 16039 16042 12464 0 -1 1077944384 108 13323 0 0 3 0 5 3 20 0 15 0 444208122 11109425152 72955 33554432000 4194304 4196468 140736677316592 139944671521808 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16100] ppid=16039 vsize=10849048 memory=3540059298705435873 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16100/stat : 16100 (java) S 16039 16042 12464 0 -1 1077944384 2759 13323 0 0 3 0 5 3 20 0 15 0 444208123 11109425152 72955 33554432000 4194304 4196468 140736677316592 139944280918128 139944754576002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16101] ppid=16039 vsize=10849048 memory=3617573799168319540 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16101/stat : 16101 (java) S 16039 16042 12464 0 -1 1077944384 13 13323 0 0 0 0 5 3 20 0 15 0 444208124 11109425152 72955 33554432000 4194304 4196468 140736677316592 139943724704608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16102] ppid=16039 vsize=10849048 memory=8030032920035421292 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16102/stat : 16102 (java) S 16039 16042 12464 0 -1 1077944384 2 13323 0 0 0 0 5 3 20 0 15 0 444208124 11109425152 72955 33554432000 4194304 4196468 140736677316592 139943523378304 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16103] ppid=16039 vsize=10849048 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16103/stat : 16103 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11109425152 72955 33554432000 4194304 4196468 140736677316592 139943283087440 139944754583451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16104] ppid=16039 vsize=10849048 memory=0 CPUtime=2.06 cores=1,3,5,7
/proc/16042/task/16104/stat : 16104 (java) R 16039 16042 12464 0 -1 4202560 5078 13323 0 0 197 1 5 3 20 0 15 0 444208127 11109425152 72955 33554432000 4194304 4196468 140736677316592 139944279852752 139944738090573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16105] ppid=16039 vsize=10849048 memory=4 CPUtime=2.27 cores=1,3,5,7
/proc/16042/task/16105/stat : 16105 (java) R 16039 16042 12464 0 -1 4202560 11356 13323 0 0 218 1 5 3 20 0 15 0 444208127 11109425152 72955 33554432000 4194304 4196468 140736677316592 139944278799600 139944736087777 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16106] ppid=16039 vsize=10849048 memory=56 CPUtime=1.79 cores=1,3,5,7
/proc/16042/task/16106/stat : 16106 (java) S 16039 16042 12464 0 -1 1077944384 7996 13323 0 0 168 3 5 3 20 0 15 0 444208127 11109425152 72955 33554432000 4194304 4196468 140736677316592 139944277760880 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16107] ppid=16039 vsize=10849048 memory=134 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16107/stat : 16107 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 15 0 444208127 11109425152 72955 33554432000 4194304 4196468 140736677316592 139943249529824 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16108] ppid=16039 vsize=10849048 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16108/stat : 16108 (java) S 16039 16042 12464 0 -1 1077944384 7 13323 0 0 0 0 5 3 20 0 15 0 444208127 11109425152 72955 33554432000 4194304 4196468 140736677316592 139944276707760 139944754576002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
Current children cumulated CPU time: 10.02 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 291820 KiB
[startup+4.20068 s]
/proc/loadavg: 2.13 1.61 1.47 6/226 16108
/proc/meminfo: memFree=29806132/32770624 swapFree=66922472/67108860
[pid=16042] ppid=16039 vsize=10914584 memory=325532 CPUtime=10.61 cores=1,3,5,7
/proc/16042/stat : 16042 (java) S 16039 16042 12464 0 -1 1077944320 56709 13323 0 0 1031 22 5 3 20 0 13 0 444208112 11176534016 81383 33554432000 4194304 4196468 140736677316592 140736677299136 139944754564855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
/proc/16042/statm: 2728646 81383 3625 1 0 2690701 0
[pid=16042/tid=16095] ppid=16039 vsize=10914584 memory=303148769816609083 CPUtime=4.06 cores=1,3,5,7
/proc/16042/task/16095/stat : 16095 (java) S 16039 16042 12464 0 -1 1077944384 26046 13323 0 0 387 11 5 3 20 0 13 0 444208121 11176534016 81383 33554432000 4194304 4196468 140736677316592 139944726408336 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16096] ppid=16039 vsize=10914584 memory=15823283127847325 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16096/stat : 16096 (java) S 16039 16042 12464 0 -1 1077944384 239 13323 0 0 3 0 5 3 20 0 13 0 444208122 11176534016 81383 33554432000 4194304 4196468 140736677316592 139944758807440 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16097] ppid=16039 vsize=10914584 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16097/stat : 16097 (java) S 16039 16042 12464 0 -1 1077944384 342 13323 0 0 3 0 5 3 20 0 13 0 444208122 11176534016 81383 33554432000 4194304 4196468 140736677316592 139944673626896 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16098] ppid=16039 vsize=10914584 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16098/stat : 16098 (java) S 16039 16042 12464 0 -1 1077944384 49 13323 0 0 3 0 5 3 20 0 13 0 444208122 11176534016 81383 33554432000 4194304 4196468 140736677316592 139944672574608 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16099] ppid=16039 vsize=10914584 memory=8761640388318109335 CPUtime=0.11 cores=1,3,5,7
/proc/16042/task/16099/stat : 16099 (java) S 16039 16042 12464 0 -1 1077944384 131 13323 0 0 3 0 5 3 20 0 13 0 444208122 11176534016 81383 33554432000 4194304 4196468 140736677316592 139944671521808 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16100] ppid=16039 vsize=10914584 memory=7016714186490735262 CPUtime=0.12 cores=1,3,5,7
/proc/16042/task/16100/stat : 16100 (java) S 16039 16042 12464 0 -1 1077944384 2781 13323 0 0 4 0 5 3 20 0 13 0 444208123 11176534016 81383 33554432000 4194304 4196468 140736677316592 139944280918336 139944754576002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16101] ppid=16039 vsize=10914584 memory=8761640388318109335 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16101/stat : 16101 (java) S 16039 16042 12464 0 -1 1077944384 14 13323 0 0 0 0 5 3 20 0 13 0 444208124 11176534016 81383 33554432000 4194304 4196468 140736677316592 139943724704672 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16102] ppid=16039 vsize=10914584 memory=-7384994778349281184 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16102/stat : 16102 (java) S 16039 16042 12464 0 -1 1077944384 6 13323 0 0 0 0 5 3 20 0 13 0 444208124 11176534016 81383 33554432000 4194304 4196468 140736677316592 139943523378304 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16104] ppid=16039 vsize=10914584 memory=7682744562830902074 CPUtime=2.24 cores=1,3,5,7
/proc/16042/task/16104/stat : 16104 (java) S 16039 16042 12464 0 -1 1077944384 5151 13323 0 0 215 1 5 3 20 0 13 0 444208127 11176534016 81383 33554432000 4194304 4196468 140736677316592 139944279851040 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16105] ppid=16039 vsize=10914584 memory=6944613755495348631 CPUtime=2.44 cores=1,3,5,7
/proc/16042/task/16105/stat : 16105 (java) S 16039 16042 12464 0 -1 1077944384 11481 13323 0 0 235 1 5 3 20 0 13 0 444208127 11176534016 81383 33554432000 4194304 4196468 140736677316592 139944278802400 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16106] ppid=16039 vsize=10914584 memory=0 CPUtime=1.83 cores=1,3,5,7
/proc/16042/task/16106/stat : 16106 (java) S 16039 16042 12464 0 -1 1077944384 8216 13323 0 0 172 3 5 3 20 0 13 0 444208127 11176534016 81383 33554432000 4194304 4196468 140736677316592 139944277760448 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
[pid=16042/tid=16107] ppid=16039 vsize=10914584 memory=139693408951089 CPUtime=0.08 cores=1,3,5,7
/proc/16042/task/16107/stat : 16107 (java) S 16039 16042 12464 0 -1 1077944384 3 13323 0 0 0 0 5 3 20 0 13 0 444208127 11176534016 81383 33554432000 4194304 4196468 140736677316592 139943249529824 139944754575061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15601664 140736677325551 140736677328069 140736677328069 140736677330895 0
Current children cumulated CPU time: 10.61 s
Current children cumulated vsize: 10914584 KiB
Current children cumulated memory: 325532 KiB
Child status: 0
Real time (s): 4.30962
CPU time (s): 10.6335
CPU user time (s): 10.3704
CPU system time (s): 0.26307
CPU usage (%): 246.738
Max. virtual memory (cumulated for all children) (KiB): 10914584
Max. memory (cumulated for all children) (KiB): 325532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3704
system time used= 0.26307
maximum resident set size= 327524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6205
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 16042
# total CPU time (s): 10.6335
# total CPU user time (s): 10.3704
# total CPU system time (s): 0.26307
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040425 second user time and 0.09395 second system time
The end