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 (7234 MiB free)
memory of node 1: 16384 MiB (10445 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292776-1532293260/watcher-4292776-1532293260 -o /tmp/evaluation-result-4292776-1532293260/solver-4292776-1532293260 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532293260-9185 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=68360016 -superng HOME/instance-4292776-1532293260.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9217, runsolver pid=9210
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 2.00 2.02 1.98 4/214 9290
/proc/meminfo: memFree=18079940/32770624 swapFree=67108860/67108860
[pid=9217] ppid=9210 vsize=113256 memory=1612 CPUtime=0.01 cores=1,3,5,7
/proc/9217/stat : 9217 (bash) S 9210 9217 3751 0 -1 4202496 876 5670 0 0 0 0 0 1 20 0 1 0 46888958 115974144 403 33554432000 4194304 5098028 140730204208304 140730204202312 140406050843648 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 8134656 140730204214423 140730204214568 140730204214568 140730204217326 0
/proc/9217/statm: 28314 403 319 221 0 119 0
[pid=9269] ppid=9217 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/9269/stat : 9269 (bash) S 9217 9217 3751 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 46888962 115974144 178 33554432000 4194304 5098028 140730204208304 140730204200984 140406050669180 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8134656 140730204214423 140730204214568 140730204214568 140730204217326 0
/proc/9269/statm: 28314 178 94 221 0 119 0
[pid=9271] ppid=9269 vsize=10260324 memory=21560 CPUtime=0.04 cores=1,3,5,7
/proc/9271/stat : 9271 (java) S 9269 9217 3751 0 -1 1077944320 4192 0 0 0 3 1 0 0 20 0 9 0 46888962 10506571776 5390 33554432000 4194304 4196468 140734203400368 140734203382912 140070152126199 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14585856 140734203405603 140734203405617 140734203405617 140734203408335 0
/proc/9271/statm: 2565081 5390 2161 1 0 2527622 0
[pid=9271/tid=9275] ppid=9269 vsize=10260324 memory=-8412654372658052764 CPUtime=0.03 cores=1,3,5,7
/proc/9271/task/9275/stat : 9275 (java) R 9269 9217 3751 0 -1 4202560 2852 0 0 0 3 0 0 0 20 0 9 0 46888962 10506571776 5390 33554432000 4194304 4196468 140734203400368 140070156361296 140070136206686 0 4 0 16800971 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140734203405603 140734203405617 140734203405617 140734203408335 0
[pid=9271/tid=9277] ppid=9269 vsize=10260324 memory=664964232733811010 CPUtime=0 cores=1,3,5,7
/proc/9271/task/9277/stat : 9277 (java) S 9269 9217 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 46888965 10506571776 5390 33554432000 4194304 4196468 140734203400368 140070094129424 140070152136405 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14585856 140734203405603 140734203405617 140734203405617 140734203408335 0
[pid=9271/tid=9279] ppid=9269 vsize=10260324 memory=139834878875264 CPUtime=0 cores=1,3,5,7
/proc/9271/task/9279/stat : 9279 (java) S 9269 9217 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 46888965 10506571776 5390 33554432000 4194304 4196468 140734203400368 140070093076880 140070152136405 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140734203405603 140734203405617 140734203405617 140734203408335 0
[pid=9271/tid=9281] ppid=9269 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9271/task/9281/stat : 9281 (java) S 9269 9217 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 46888965 10506571776 5390 33554432000 4194304 4196468 140734203400368 140070092024336 140070152136405 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14585856 140734203405603 140734203405617 140734203405617 140734203408335 0
[pid=9271/tid=9283] ppid=9269 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9271/task/9283/stat : 9283 (java) S 9269 9217 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 46888965 10506571776 5390 33554432000 4194304 4196468 140734203400368 140069756000912 140070152136405 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14585856 140734203405603 140734203405617 140734203405617 140734203408335 0
[pid=9271/tid=9285] ppid=9269 vsize=10260324 memory=139834878875264 CPUtime=0 cores=1,3,5,7
/proc/9271/task/9285/stat : 9285 (java) S 9269 9217 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 46888966 10506571776 5390 33554432000 4194304 4196468 140734203400368 140069711321584 140070152137346 0 0 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140734203405603 140734203405617 140734203405617 140734203408335 0
[pid=9271/tid=9287] ppid=9269 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9271/task/9287/stat : 9287 (java) S 9269 9217 3751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 46888967 10506571776 5390 33554432000 4194304 4196468 140734203400368 140069710267808 140070152136405 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140734203405603 140734203405617 140734203405617 140734203408335 0
[pid=9271/tid=9290] ppid=9269 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9271/task/9290/stat : 9290 (java) S 9269 9217 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 46888967 10506571776 5390 33554432000 4194304 4196468 140734203400368 140069709215216 140070152136405 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14585856 140734203405603 140734203405617 140734203405617 140734203408335 0
[pid=9272] ppid=9269 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/9272/stat : 9272 (awk) S 9269 9217 3751 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 46888962 116211712 243 33554432000 4194304 4609284 140722616536144 140722616535320 140701908630528 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 23195648 140722616542547 140722616542577 140722616542577 140722616545263 0
/proc/9272/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 24856 KiB
[startup+0.210751 s]*
/proc/loadavg: 2.00 2.02 1.98 5/220 9348
/proc/meminfo: memFree=18061472/32770624 swapFree=67108860/67108860
[pid=9217] ppid=9210 vsize=10818856 memory=32136 CPUtime=0.19 cores=1,3,5,7
/proc/9217/stat : 9217 (java) S 9210 9217 3751 0 -1 1077944320 6294 13220 0 0 10 1 5 3 20 0 15 0 46888958 11078508544 8034 33554432000 4194304 4196468 140723915510224 140723915492768 140340753723127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
/proc/9217/statm: 2704714 8034 2875 1 0 2667149 0
[pid=9217/tid=9321] ppid=9210 vsize=10818856 memory=7022364594140610616 CPUtime=0.15 cores=1,3,5,7
/proc/9217/task/9321/stat : 9321 (java) R 9210 9217 3751 0 -1 4202560 2999 13220 0 0 7 0 5 3 20 0 15 0 46888972 11078508544 8034 33554432000 4194304 4196468 140723915510224 140340725546816 140340355239148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9323] ppid=9210 vsize=10818856 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9323/stat : 9323 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888972 11078508544 8034 33554432000 4194304 4196468 140723915510224 140340757965840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9324] ppid=9210 vsize=10818856 memory=139834878884728 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9324/stat : 9324 (java) S 9210 9217 3751 0 -1 1077944384 2 13220 0 0 0 0 5 3 20 0 15 0 46888972 11078508544 8034 33554432000 4194304 4196468 140723915510224 140340676717712 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9325] ppid=9210 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9325/stat : 9325 (java) S 9210 9217 3751 0 -1 1077944384 2 13220 0 0 0 0 5 3 20 0 15 0 46888972 11078508544 8034 33554432000 4194304 4196468 140723915510224 140340675664656 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9326] ppid=9210 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9326/stat : 9326 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888972 11078508544 8034 33554432000 4194304 4196468 140723915510224 140340324391824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9331] ppid=9210 vsize=10818856 memory=139834878875264 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9331/stat : 9331 (java) S 9210 9217 3751 0 -1 1077944384 2 13220 0 0 0 0 5 3 20 0 15 0 46888974 11078508544 8034 33554432000 4194304 4196468 140723915510224 140340025493744 140340753734274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9332] ppid=9210 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9332/stat : 9332 (java) S 9210 9217 3751 0 -1 1077944384 13 13220 0 0 0 0 5 3 20 0 15 0 46888974 11078508544 8034 33554432000 4194304 4196468 140723915510224 140339935437984 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9333] ppid=9210 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9333/stat : 9333 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888975 11078508544 8034 33554432000 4194304 4196468 140723915510224 140339801219824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9337] ppid=9210 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9337/stat : 9337 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11078508544 8034 33554432000 4194304 4196468 140723915510224 140339292493776 140340753741723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9338] ppid=9210 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9338/stat : 9338 (java) R 9210 9217 3751 0 -1 1077944384 458 13220 0 0 0 0 5 3 20 0 15 0 46888977 11078508544 8034 33554432000 4194304 4196468 140723915510224 140340024441680 140340753733333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9339] ppid=9210 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9339/stat : 9339 (java) R 9210 9217 3751 0 -1 4202560 93 13220 0 0 0 0 5 3 20 0 15 0 46888977 11078508544 8034 33554432000 4194304 4196468 140723915510224 140340023380544 140340745960254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9340] ppid=9210 vsize=10818856 memory=139834878875264 CPUtime=0.09 cores=1,3,5,7
/proc/9217/task/9340/stat : 9340 (java) R 9210 9217 3751 0 -1 4202560 542 13220 0 0 1 0 5 3 20 0 15 0 46888977 11078508544 8034 33554432000 4194304 4196468 140723915510224 140340022330288 140340730949073 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9341] ppid=9210 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9341/stat : 9341 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11078508544 8034 33554432000 4194304 4196468 140723915510224 140339258936160 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9342] ppid=9210 vsize=10818856 memory=139834878875264 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9342/stat : 9342 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888978 11078508544 8034 33554432000 4194304 4196468 140723915510224 140340021283376 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 32136 KiB
[startup+0.310781 s]*
/proc/loadavg: 2.00 2.02 1.98 5/220 9348
/proc/meminfo: memFree=18030136/32770624 swapFree=67108860/67108860
[pid=9217] ppid=9210 vsize=10819352 memory=48480 CPUtime=0.34 cores=1,3,5,7
/proc/9217/stat : 9217 (java) S 9210 9217 3751 0 -1 1077944320 9582 13220 0 0 24 2 5 3 20 0 15 0 46888958 11079016448 12120 33554432000 4194304 4196468 140723915510224 140723915492768 140340753723127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
/proc/9217/statm: 2704838 12120 3082 1 0 2667149 0
[pid=9217/tid=9321] ppid=9210 vsize=10819352 memory=8390339637985935414 CPUtime=0.25 cores=1,3,5,7
/proc/9217/task/9321/stat : 9321 (java) R 9210 9217 3751 0 -1 4202560 6201 13220 0 0 16 1 5 3 20 0 15 0 46888972 11079016448 12120 33554432000 4194304 4196468 140723915510224 140340725544240 140340753745053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9323] ppid=9210 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9323/stat : 9323 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888972 11079016448 12120 33554432000 4194304 4196468 140723915510224 140340757965840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9324] ppid=9210 vsize=10819352 memory=15822179438965256 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9324/stat : 9324 (java) S 9210 9217 3751 0 -1 1077944384 2 13220 0 0 0 0 5 3 20 0 15 0 46888972 11079016448 12185 33554432000 4194304 4196468 140723915510224 140340676717712 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9325] ppid=9210 vsize=10819352 memory=7595128826945300836 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9325/stat : 9325 (java) S 9210 9217 3751 0 -1 1077944384 2 13220 0 0 0 0 5 3 20 0 15 0 46888972 11079016448 12185 33554432000 4194304 4196468 140723915510224 140340675664656 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9326] ppid=9210 vsize=10819352 memory=3907213732399429423 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9326/stat : 9326 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888972 11079016448 12185 33554432000 4194304 4196468 140723915510224 140340324391824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9331] ppid=9210 vsize=10819352 memory=3979129707881467312 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9331/stat : 9331 (java) S 9210 9217 3751 0 -1 1077944384 2 13220 0 0 0 0 5 3 20 0 15 0 46888974 11079016448 12185 33554432000 4194304 4196468 140723915510224 140340025493744 140340753734274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9332] ppid=9210 vsize=10819352 memory=2560 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9332/stat : 9332 (java) S 9210 9217 3751 0 -1 1077944384 13 13220 0 0 0 0 5 3 20 0 15 0 46888974 11079016448 12185 33554432000 4194304 4196468 140723915510224 140339935437984 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9333] ppid=9210 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9333/stat : 9333 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888975 11079016448 12185 33554432000 4194304 4196468 140723915510224 140339801219824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9337] ppid=9210 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9337/stat : 9337 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11079016448 12185 33554432000 4194304 4196468 140723915510224 140339292493776 140340753741723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9338] ppid=9210 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9338/stat : 9338 (java) R 9210 9217 3751 0 -1 1077944384 480 13220 0 0 0 0 5 3 20 0 15 0 46888977 11079016448 12185 33554432000 4194304 4196468 140723915510224 140340024441584 140340753734274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9339] ppid=9210 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9217/task/9339/stat : 9339 (java) S 9210 9217 3751 0 -1 1077944384 106 13220 0 0 1 0 5 3 20 0 15 0 46888977 11079016448 12185 33554432000 4194304 4196468 140723915510224 140340023389040 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9340] ppid=9210 vsize=10819352 memory=139834878875264 CPUtime=0.12 cores=1,3,5,7
/proc/9217/task/9340/stat : 9340 (java) S 9210 9217 3751 0 -1 1077944384 581 13220 0 0 4 0 5 3 20 0 15 0 46888977 11079016448 12185 33554432000 4194304 4196468 140723915510224 140340022335984 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9341] ppid=9210 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9341/stat : 9341 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11079016448 12185 33554432000 4194304 4196468 140723915510224 140339258936160 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9342] ppid=9210 vsize=10819352 memory=139834878875264 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9342/stat : 9342 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888978 11079016448 12185 33554432000 4194304 4196468 140723915510224 140340021283376 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 48480 KiB
[startup+0.70073 s]
/proc/loadavg: 2.00 2.02 1.98 6/225 9357
/proc/meminfo: memFree=18005440/32770624 swapFree=67108860/67108860
[pid=9217] ppid=9210 vsize=10819352 memory=86344 CPUtime=0.94 cores=1,3,5,7
/proc/9217/stat : 9217 (java) S 9210 9217 3751 0 -1 1077944320 16627 13220 0 0 83 3 5 3 20 0 15 0 46888958 11079016448 21586 33554432000 4194304 4196468 140723915510224 140723915492768 140340753723127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
/proc/9217/statm: 2704838 21586 3246 1 0 2667149 0
[pid=9217/tid=9321] ppid=9210 vsize=10819352 memory=2276 CPUtime=0.62 cores=1,3,5,7
/proc/9217/task/9321/stat : 9321 (java) R 9210 9217 3751 0 -1 4202560 12136 13220 0 0 52 2 5 3 20 0 15 0 46888972 11079016448 21586 33554432000 4194304 4196468 140723915510224 140340725546128 140340737803614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9323] ppid=9210 vsize=10819352 memory=65 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9323/stat : 9323 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888972 11079016448 21586 33554432000 4194304 4196468 140723915510224 140340757965840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9324] ppid=9210 vsize=10819352 memory=12852 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9324/stat : 9324 (java) S 9210 9217 3751 0 -1 1077944384 2 13220 0 0 0 0 5 3 20 0 15 0 46888972 11079016448 21586 33554432000 4194304 4196468 140723915510224 140340676717712 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9325] ppid=9210 vsize=10819352 memory=25345 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9325/stat : 9325 (java) S 9210 9217 3751 0 -1 1077944384 2 13220 0 0 0 0 5 3 20 0 15 0 46888972 11079016448 21586 33554432000 4194304 4196468 140723915510224 140340675664656 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9326] ppid=9210 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9326/stat : 9326 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888972 11079016448 21586 33554432000 4194304 4196468 140723915510224 140340324391824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9331] ppid=9210 vsize=10819352 memory=279669479833840 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9331/stat : 9331 (java) S 9210 9217 3751 0 -1 1077944384 5 13220 0 0 0 0 5 3 20 0 15 0 46888974 11079016448 21586 33554432000 4194304 4196468 140723915510224 140340025493744 140340753734274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9332] ppid=9210 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9332/stat : 9332 (java) S 9210 9217 3751 0 -1 1077944384 13 13220 0 0 0 0 5 3 20 0 15 0 46888974 11079016448 21586 33554432000 4194304 4196468 140723915510224 140339935437984 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9333] ppid=9210 vsize=10819352 memory=-2746958450906831424 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9333/stat : 9333 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888975 11079016448 21586 33554432000 4194304 4196468 140723915510224 140339801219824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9337] ppid=9210 vsize=10819352 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9337/stat : 9337 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11079016448 21586 33554432000 4194304 4196468 140723915510224 140339292493776 140340753741723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9338] ppid=9210 vsize=10819352 memory=6656426216303648864 CPUtime=0.15 cores=1,3,5,7
/proc/9217/task/9338/stat : 9338 (java) S 9210 9217 3751 0 -1 1077944384 859 13220 0 0 7 0 5 3 20 0 15 0 46888977 11079016448 21586 33554432000 4194304 4196468 140723915510224 140340024441584 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9339] ppid=9210 vsize=10819352 memory=6944652177228980320 CPUtime=0.17 cores=1,3,5,7
/proc/9217/task/9339/stat : 9339 (java) R 9210 9217 3751 0 -1 4202560 736 13220 0 0 9 0 5 3 20 0 15 0 46888977 11079016448 21586 33554432000 4194304 4196468 140723915510224 140340023376720 140340735267303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9340] ppid=9210 vsize=10819352 memory=6944656592455360604 CPUtime=0.21 cores=1,3,5,7
/proc/9217/task/9340/stat : 9340 (java) S 9210 9217 3751 0 -1 1077944384 680 13220 0 0 13 0 5 3 20 0 15 0 46888977 11079016448 21586 33554432000 4194304 4196468 140723915510224 140340022335984 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9341] ppid=9210 vsize=10819352 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9341/stat : 9341 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11079016448 21586 33554432000 4194304 4196468 140723915510224 140339258936160 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9342] ppid=9210 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9342/stat : 9342 (java) S 9210 9217 3751 0 -1 1077944384 1 13220 0 0 0 0 5 3 20 0 15 0 46888978 11079016448 21586 33554432000 4194304 4196468 140723915510224 140340021283376 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86344 KiB
[startup+1.50071 s]
/proc/loadavg: 2.00 2.02 1.98 6/220 9369
/proc/meminfo: memFree=17919592/32770624 swapFree=67108860/67108860
[pid=9217] ppid=9210 vsize=10834252 memory=178428 CPUtime=2.23 cores=1,3,5,7
/proc/9217/stat : 9217 (java) S 9210 9217 3751 0 -1 1077944320 23688 13220 0 0 206 9 5 3 20 0 15 0 46888958 11094274048 44607 33554432000 4194304 4196468 140723915510224 140723915492768 140340753723127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
/proc/9217/statm: 2708563 44607 3469 1 0 2670221 0
[pid=9217/tid=9321] ppid=9210 vsize=10834252 memory=8 CPUtime=1.38 cores=1,3,5,7
/proc/9217/task/9321/stat : 9321 (java) R 9210 9217 3751 0 -1 4202560 17552 13220 0 0 125 5 5 3 20 0 15 0 46888972 11094274048 44607 33554432000 4194304 4196468 140723915510224 140340725554240 140340737803614 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9323] ppid=9210 vsize=10834252 memory=2321 CPUtime=0.09 cores=1,3,5,7
/proc/9217/task/9323/stat : 9323 (java) S 9210 9217 3751 0 -1 1077944384 23 13220 0 0 1 0 5 3 20 0 15 0 46888972 11094274048 44607 33554432000 4194304 4196468 140723915510224 140340757965840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9324] ppid=9210 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9217/task/9324/stat : 9324 (java) S 9210 9217 3751 0 -1 1077944384 30 13220 0 0 1 0 5 3 20 0 15 0 46888972 11094274048 44607 33554432000 4194304 4196468 140723915510224 140340676717712 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9325] ppid=9210 vsize=10834252 memory=5787217125581022546 CPUtime=0.09 cores=1,3,5,7
/proc/9217/task/9325/stat : 9325 (java) S 9210 9217 3751 0 -1 1077944384 201 13220 0 0 1 0 5 3 20 0 15 0 46888972 11094274048 44607 33554432000 4194304 4196468 140723915510224 140340675664656 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9326] ppid=9210 vsize=10834252 memory=1788 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9326/stat : 9326 (java) S 9210 9217 3751 0 -1 1077944384 59 13220 0 0 0 0 5 3 20 0 15 0 46888972 11094274048 44607 33554432000 4194304 4196468 140723915510224 140340324391824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9331] ppid=9210 vsize=10834252 memory=2241 CPUtime=0.09 cores=1,3,5,7
/proc/9217/task/9331/stat : 9331 (java) S 9210 9217 3751 0 -1 1077944384 58 13220 0 0 1 0 5 3 20 0 15 0 46888974 11094274048 44607 33554432000 4194304 4196468 140723915510224 140340025493744 140340753734274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9332] ppid=9210 vsize=10834252 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9332/stat : 9332 (java) S 9210 9217 3751 0 -1 1077944384 13 13220 0 0 0 0 5 3 20 0 15 0 46888974 11094274048 44607 33554432000 4194304 4196468 140723915510224 140339935437984 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9333] ppid=9210 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
################
# More data... #
################
/proc/9217/task/9321/stat : 9321 (java) R 9210 9217 3751 0 -1 4202560 84107 13220 0 0 237394 36 5 3 20 0 15 0 46888972 11176083456 228043 33554432000 4194304 4196468 140723915510224 140340725556880 140340369155479 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9323] ppid=9210 vsize=10914144 memory=912172 CPUtime=4.42 cores=1,3,5,7
/proc/9217/task/9323/stat : 9323 (java) S 9210 9217 3751 0 -1 1077944384 11513 13220 0 0 411 23 5 3 20 0 15 0 46888972 11176083456 228043 33554432000 4194304 4196468 140723915510224 140340757965840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9324] ppid=9210 vsize=10914144 memory=912172 CPUtime=4.42 cores=1,3,5,7
/proc/9217/task/9324/stat : 9324 (java) S 9210 9217 3751 0 -1 1077944384 6939 13220 0 0 411 23 5 3 20 0 15 0 46888972 11176083456 228043 33554432000 4194304 4196468 140723915510224 140340676717712 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9325] ppid=9210 vsize=10914144 memory=912172 CPUtime=4.44 cores=1,3,5,7
/proc/9217/task/9325/stat : 9325 (java) S 9210 9217 3751 0 -1 1077944384 13154 13220 0 0 414 22 5 3 20 0 15 0 46888972 11176083456 228043 33554432000 4194304 4196468 140723915510224 140340675664656 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9326] ppid=9210 vsize=10914144 memory=912172 CPUtime=4.43 cores=1,3,5,7
/proc/9217/task/9326/stat : 9326 (java) S 9210 9217 3751 0 -1 1077944384 6590 13220 0 0 413 22 5 3 20 0 15 0 46888972 11176083456 228043 33554432000 4194304 4196468 140723915510224 140340324391824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9331] ppid=9210 vsize=10914144 memory=912172 CPUtime=2.32 cores=1,3,5,7
/proc/9217/task/9331/stat : 9331 (java) S 9210 9217 3751 0 -1 1077944384 12926 13220 0 0 207 17 5 3 20 0 15 0 46888974 11176083456 228043 33554432000 4194304 4196468 140723915510224 140340025493744 140340753734274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9332] ppid=9210 vsize=10914144 memory=10476 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9332/stat : 9332 (java) S 9210 9217 3751 0 -1 1077944384 14 13220 0 0 0 0 5 3 20 0 15 0 46888974 11176083456 228043 33554432000 4194304 4196468 140723915510224 140339935438112 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9333] ppid=9210 vsize=10914144 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9333/stat : 9333 (java) S 9210 9217 3751 0 -1 1077944384 7 13220 0 0 0 0 5 3 20 0 15 0 46888975 11176083456 228043 33554432000 4194304 4196468 140723915510224 140339801219840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9337] ppid=9210 vsize=10914144 memory=912172 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9337/stat : 9337 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11176083456 228043 33554432000 4194304 4196468 140723915510224 140339292493776 140340753741723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9338] ppid=9210 vsize=10914144 memory=912172 CPUtime=4.09 cores=1,3,5,7
/proc/9217/task/9338/stat : 9338 (java) S 9210 9217 3751 0 -1 1077944384 21317 13220 0 0 398 3 5 3 20 0 15 0 46888977 11176083456 228043 33554432000 4194304 4196468 140723915510224 140340024441584 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9339] ppid=9210 vsize=10914144 memory=2304 CPUtime=4.08 cores=1,3,5,7
/proc/9217/task/9339/stat : 9339 (java) S 9210 9217 3751 0 -1 1077944384 26838 13220 0 0 396 4 5 3 20 0 15 0 46888977 11176083456 228043 33554432000 4194304 4196468 140723915510224 140340023389040 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9340] ppid=9210 vsize=10914144 memory=1404 CPUtime=1.81 cores=1,3,5,7
/proc/9217/task/9340/stat : 9340 (java) S 9210 9217 3751 0 -1 1077944384 17420 13220 0 0 169 4 5 3 20 0 15 0 46888977 11176083456 228043 33554432000 4194304 4196468 140723915510224 140340022335984 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9341] ppid=9210 vsize=10914144 memory=952 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9341/stat : 9341 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11176083456 228043 33554432000 4194304 4196468 140723915510224 140339258936160 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9342] ppid=9210 vsize=10914144 memory=1236 CPUtime=1.34 cores=1,3,5,7
/proc/9217/task/9342/stat : 9342 (java) S 9210 9217 3751 0 -1 1077944384 1537 13220 0 0 54 72 5 3 20 0 15 0 46888978 11176083456 228043 33554432000 4194304 4196468 140723915510224 140340021283376 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
Current children cumulated CPU time: 2405.14 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 912172 KiB
[startup+2442.3 s]
/proc/loadavg: 1.16 1.29 1.39 3/216 9697
/proc/meminfo: memFree=16639884/32770624 swapFree=67108860/67108860
[pid=9217] ppid=9210 vsize=10914144 memory=912228 CPUtime=2465.49 cores=1,3,5,7
/proc/9217/stat : 9217 (java) S 9210 9217 3751 0 -1 1077944320 205697 13220 0 0 246332 209 5 3 20 0 15 0 46888958 11176083456 228057 33554432000 4194304 4196468 140723915510224 140723915492768 140340753723127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
/proc/9217/statm: 2728536 228057 3523 1 0 2690189 0
[pid=9217/tid=9321] ppid=9210 vsize=10914144 memory=4140 CPUtime=2434.16 cores=1,3,5,7
/proc/9217/task/9321/stat : 9321 (java) R 9210 9217 3751 0 -1 4202560 84539 13220 0 0 243372 36 5 3 20 0 15 0 46888972 11176083456 228057 33554432000 4194304 4196468 140723915510224 140340725557792 140340371253865 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9323] ppid=9210 vsize=10914144 memory=4008 CPUtime=4.55 cores=1,3,5,7
/proc/9217/task/9323/stat : 9323 (java) S 9210 9217 3751 0 -1 1077944384 11534 13220 0 0 423 24 5 3 20 0 15 0 46888972 11176083456 228057 33554432000 4194304 4196468 140723915510224 140340757965840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9324] ppid=9210 vsize=10914144 memory=912228 CPUtime=4.55 cores=1,3,5,7
/proc/9217/task/9324/stat : 9324 (java) S 9210 9217 3751 0 -1 1077944384 7030 13220 0 0 423 24 5 3 20 0 15 0 46888972 11176083456 228057 33554432000 4194304 4196468 140723915510224 140340676717712 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9325] ppid=9210 vsize=10914144 memory=912228 CPUtime=4.56 cores=1,3,5,7
/proc/9217/task/9325/stat : 9325 (java) S 9210 9217 3751 0 -1 1077944384 13392 13220 0 0 425 23 5 3 20 0 15 0 46888972 11176083456 228057 33554432000 4194304 4196468 140723915510224 140340675664656 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9326] ppid=9210 vsize=10914144 memory=912228 CPUtime=4.55 cores=1,3,5,7
/proc/9217/task/9326/stat : 9326 (java) S 9210 9217 3751 0 -1 1077944384 6725 13220 0 0 425 22 5 3 20 0 15 0 46888972 11176083456 228057 33554432000 4194304 4196468 140723915510224 140340324391824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9331] ppid=9210 vsize=10914144 memory=912228 CPUtime=2.38 cores=1,3,5,7
/proc/9217/task/9331/stat : 9331 (java) S 9210 9217 3751 0 -1 1077944384 13126 13220 0 0 213 17 5 3 20 0 15 0 46888974 11176083456 228057 33554432000 4194304 4196468 140723915510224 140340025493744 140340753734274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9332] ppid=9210 vsize=10914144 memory=912228 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9332/stat : 9332 (java) S 9210 9217 3751 0 -1 1077944384 14 13220 0 0 0 0 5 3 20 0 15 0 46888974 11176083456 228057 33554432000 4194304 4196468 140723915510224 140339935438112 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9333] ppid=9210 vsize=10914144 memory=912228 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9333/stat : 9333 (java) S 9210 9217 3751 0 -1 1077944384 7 13220 0 0 0 0 5 3 20 0 15 0 46888975 11176083456 228057 33554432000 4194304 4196468 140723915510224 140339801219840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9337] ppid=9210 vsize=10914144 memory=912228 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9337/stat : 9337 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11176083456 228057 33554432000 4194304 4196468 140723915510224 140339292493776 140340753741723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9338] ppid=9210 vsize=10914144 memory=912228 CPUtime=4.09 cores=1,3,5,7
/proc/9217/task/9338/stat : 9338 (java) S 9210 9217 3751 0 -1 1077944384 21319 13220 0 0 398 3 5 3 20 0 15 0 46888977 11176083456 228057 33554432000 4194304 4196468 140723915510224 140340024441584 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9339] ppid=9210 vsize=10914144 memory=912228 CPUtime=4.08 cores=1,3,5,7
/proc/9217/task/9339/stat : 9339 (java) S 9210 9217 3751 0 -1 1077944384 26840 13220 0 0 396 4 5 3 20 0 15 0 46888977 11176083456 228057 33554432000 4194304 4196468 140723915510224 140340023389040 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9340] ppid=9210 vsize=10914144 memory=912228 CPUtime=1.81 cores=1,3,5,7
/proc/9217/task/9340/stat : 9340 (java) S 9210 9217 3751 0 -1 1077944384 17422 13220 0 0 169 4 5 3 20 0 15 0 46888977 11176083456 228057 33554432000 4194304 4196468 140723915510224 140340022335984 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9341] ppid=9210 vsize=10914144 memory=912228 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9341/stat : 9341 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11176083456 228057 33554432000 4194304 4196468 140723915510224 140339258936160 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9342] ppid=9210 vsize=10914144 memory=912228 CPUtime=1.38 cores=1,3,5,7
/proc/9217/task/9342/stat : 9342 (java) S 9210 9217 3751 0 -1 1077944384 1555 13220 0 0 56 74 5 3 20 0 15 0 46888978 11176083456 228057 33554432000 4194304 4196468 140723915510224 140340021283376 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
Current children cumulated CPU time: 2465.49 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 912228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.5 s]
/proc/loadavg: 1.11 1.25 1.37 3/216 9698
/proc/meminfo: memFree=16654404/32770624 swapFree=67108860/67108860
[pid=9217] ppid=9210 vsize=10914144 memory=896480 CPUtime=2520.05 cores=1,3,5,7
/proc/9217/stat : 9217 (java) S 9210 9217 3751 0 -1 1077944320 207258 13220 0 0 251786 211 5 3 20 0 15 0 46888958 11176083456 224120 33554432000 4194304 4196468 140723915510224 140723915492768 140340753723127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
/proc/9217/statm: 2728536 224120 3523 1 0 2690189 0
[pid=9217/tid=9321] ppid=9210 vsize=10914144 memory=896992 CPUtime=2488.16 cores=1,3,5,7
/proc/9217/task/9321/stat : 9321 (java) R 9210 9217 3751 0 -1 4202560 85253 13220 0 0 248772 36 5 3 20 0 15 0 46888972 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340725557280 140340370071808 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9323] ppid=9210 vsize=10914144 memory=910332 CPUtime=4.66 cores=1,3,5,7
/proc/9217/task/9323/stat : 9323 (java) S 9210 9217 3751 0 -1 1077944384 11583 13220 0 0 434 24 5 3 20 0 15 0 46888972 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340757965840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9324] ppid=9210 vsize=10914144 memory=896480 CPUtime=4.67 cores=1,3,5,7
/proc/9217/task/9324/stat : 9324 (java) S 9210 9217 3751 0 -1 1077944384 7157 13220 0 0 435 24 5 3 20 0 15 0 46888972 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340676717712 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9325] ppid=9210 vsize=10914144 memory=913920 CPUtime=4.68 cores=1,3,5,7
/proc/9217/task/9325/stat : 9325 (java) S 9210 9217 3751 0 -1 1077944384 13781 13220 0 0 437 23 5 3 20 0 15 0 46888972 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340675664656 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9326] ppid=9210 vsize=10914144 memory=912284 CPUtime=4.66 cores=1,3,5,7
/proc/9217/task/9326/stat : 9326 (java) S 9210 9217 3751 0 -1 1077944384 6784 13220 0 0 436 22 5 3 20 0 15 0 46888972 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340324391824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9331] ppid=9210 vsize=10914144 memory=896992 CPUtime=2.45 cores=1,3,5,7
/proc/9217/task/9331/stat : 9331 (java) S 9210 9217 3751 0 -1 1077944384 13324 13220 0 0 219 18 5 3 20 0 15 0 46888974 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340025493744 140340753734274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9332] ppid=9210 vsize=10914144 memory=896480 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9332/stat : 9332 (java) S 9210 9217 3751 0 -1 1077944384 14 13220 0 0 0 0 5 3 20 0 15 0 46888974 11176083456 224120 33554432000 4194304 4196468 140723915510224 140339935438112 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9333] ppid=9210 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9333/stat : 9333 (java) S 9210 9217 3751 0 -1 1077944384 7 13220 0 0 0 0 5 3 20 0 15 0 46888975 11176083456 224120 33554432000 4194304 4196468 140723915510224 140339801219840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9337] ppid=9210 vsize=10914144 memory=8171047515587176017 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9337/stat : 9337 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11176083456 224120 33554432000 4194304 4196468 140723915510224 140339292493776 140340753741723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9338] ppid=9210 vsize=10914144 memory=896992 CPUtime=4.09 cores=1,3,5,7
/proc/9217/task/9338/stat : 9338 (java) S 9210 9217 3751 0 -1 1077944384 21321 13220 0 0 398 3 5 3 20 0 15 0 46888977 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340024441584 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9339] ppid=9210 vsize=10914144 memory=898020 CPUtime=4.08 cores=1,3,5,7
/proc/9217/task/9339/stat : 9339 (java) S 9210 9217 3751 0 -1 1077944384 26843 13220 0 0 396 4 5 3 20 0 15 0 46888977 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340023389040 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9340] ppid=9210 vsize=10914144 memory=898020 CPUtime=1.81 cores=1,3,5,7
/proc/9217/task/9340/stat : 9340 (java) S 9210 9217 3751 0 -1 1077944384 17424 13220 0 0 169 4 5 3 20 0 15 0 46888977 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340022335984 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9341] ppid=9210 vsize=10914144 memory=899044 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9341/stat : 9341 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11176083456 224120 33554432000 4194304 4196468 140723915510224 140339258936160 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9342] ppid=9210 vsize=10914144 memory=4140 CPUtime=1.4 cores=1,3,5,7
/proc/9217/task/9342/stat : 9342 (java) S 9210 9217 3751 0 -1 1077944384 1573 13220 0 0 57 75 5 3 20 0 15 0 46888978 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340021283376 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 896480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.53 s]
# the end of solver process 9217 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.94 s, system=2.15849 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2496.5 s]
/proc/loadavg: 1.11 1.25 1.37 3/216 9698
/proc/meminfo: memFree=16654404/32770624 swapFree=67108860/67108860
[pid=9217] ppid=9210 vsize=10914144 memory=896480 CPUtime=2520.05 cores=1,3,5,7
/proc/9217/stat : 9217 (java) S 9210 9217 3751 0 -1 1077944320 207258 13220 0 0 251786 211 5 3 20 0 15 0 46888958 11176083456 224120 33554432000 4194304 4196468 140723915510224 140723915492768 140340753723127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
/proc/9217/statm: 2728536 224120 3523 1 0 2690189 0
[pid=9217/tid=9321] ppid=9210 vsize=10914144 memory=896992 CPUtime=2488.16 cores=1,3,5,7
/proc/9217/task/9321/stat : 9321 (java) R 9210 9217 3751 0 -1 4202560 85253 13220 0 0 248772 36 5 3 20 0 15 0 46888972 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340725557280 140340370071808 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9323] ppid=9210 vsize=10914144 memory=910332 CPUtime=4.66 cores=1,3,5,7
/proc/9217/task/9323/stat : 9323 (java) S 9210 9217 3751 0 -1 1077944384 11583 13220 0 0 434 24 5 3 20 0 15 0 46888972 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340757965840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9324] ppid=9210 vsize=10914144 memory=896480 CPUtime=4.67 cores=1,3,5,7
/proc/9217/task/9324/stat : 9324 (java) S 9210 9217 3751 0 -1 1077944384 7157 13220 0 0 435 24 5 3 20 0 15 0 46888972 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340676717712 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9325] ppid=9210 vsize=10914144 memory=913920 CPUtime=4.68 cores=1,3,5,7
/proc/9217/task/9325/stat : 9325 (java) S 9210 9217 3751 0 -1 1077944384 13781 13220 0 0 437 23 5 3 20 0 15 0 46888972 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340675664656 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9326] ppid=9210 vsize=10914144 memory=912284 CPUtime=4.66 cores=1,3,5,7
/proc/9217/task/9326/stat : 9326 (java) S 9210 9217 3751 0 -1 1077944384 6784 13220 0 0 436 22 5 3 20 0 15 0 46888972 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340324391824 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9331] ppid=9210 vsize=10914144 memory=896992 CPUtime=2.45 cores=1,3,5,7
/proc/9217/task/9331/stat : 9331 (java) S 9210 9217 3751 0 -1 1077944384 13324 13220 0 0 219 18 5 3 20 0 15 0 46888974 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340025493744 140340753734274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9332] ppid=9210 vsize=10914144 memory=896480 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9332/stat : 9332 (java) S 9210 9217 3751 0 -1 1077944384 14 13220 0 0 0 0 5 3 20 0 15 0 46888974 11176083456 224120 33554432000 4194304 4196468 140723915510224 140339935438112 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9333] ppid=9210 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9333/stat : 9333 (java) S 9210 9217 3751 0 -1 1077944384 7 13220 0 0 0 0 5 3 20 0 15 0 46888975 11176083456 224120 33554432000 4194304 4196468 140723915510224 140339801219840 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9337] ppid=9210 vsize=10914144 memory=8171047515587176017 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9337/stat : 9337 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11176083456 224120 33554432000 4194304 4196468 140723915510224 140339292493776 140340753741723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9338] ppid=9210 vsize=10914144 memory=896992 CPUtime=4.09 cores=1,3,5,7
/proc/9217/task/9338/stat : 9338 (java) S 9210 9217 3751 0 -1 1077944384 21321 13220 0 0 398 3 5 3 20 0 15 0 46888977 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340024441584 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9339] ppid=9210 vsize=10914144 memory=898020 CPUtime=4.08 cores=1,3,5,7
/proc/9217/task/9339/stat : 9339 (java) S 9210 9217 3751 0 -1 1077944384 26843 13220 0 0 396 4 5 3 20 0 15 0 46888977 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340023389040 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9340] ppid=9210 vsize=10914144 memory=898020 CPUtime=1.81 cores=1,3,5,7
/proc/9217/task/9340/stat : 9340 (java) S 9210 9217 3751 0 -1 1077944384 17424 13220 0 0 169 4 5 3 20 0 15 0 46888977 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340022335984 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9341] ppid=9210 vsize=10914144 memory=899044 CPUtime=0.08 cores=1,3,5,7
/proc/9217/task/9341/stat : 9341 (java) S 9210 9217 3751 0 -1 1077944384 3 13220 0 0 0 0 5 3 20 0 15 0 46888977 11176083456 224120 33554432000 4194304 4196468 140723915510224 140339258936160 140340753733333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
[pid=9217/tid=9342] ppid=9210 vsize=10914144 memory=4140 CPUtime=1.4 cores=1,3,5,7
/proc/9217/task/9342/stat : 9342 (java) S 9210 9217 3751 0 -1 1077944384 1573 13220 0 0 57 75 5 3 20 0 15 0 46888978 11176083456 224120 33554432000 4194304 4196468 140723915510224 140340021283376 140340753734274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18231296 140723915511981 140723915515228 140723915515228 140723915517903 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 896480 KiB
Child status: 143
Real time (s): 2496.53
CPU time (s): 2520.1
CPU user time (s): 2517.94
CPU system time (s): 2.15849
CPU usage (%): 100.944
Max. virtual memory (cumulated for all children) (KiB): 10914804
Max. memory (cumulated for all children) (KiB): 1612688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.94
system time used= 2.15849
maximum resident set size= 1616784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221134
page faults= 0
swaps= 0
block input operations= 2120
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108253
involuntary context switches= 5428
# summary of solver processes directly reported to runsolver:
# pid: 9217
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.94
# total CPU system time (s): 2.15849
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.549 second user time and 23.1586 second system time
The end