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 (10417 MiB free)
memory of node 1: 16384 MiB (8668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290165-1532220509/watcher-4290165-1532220509 -o /tmp/evaluation-result-4290165-1532220509/solver-4290165-1532220509 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532209965-29591 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290165-1532220509.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=31222, runsolver pid=31219
[startup+0.100172 s]*
/proc/loadavg: 2.49 3.45 3.18 3/216 31237
/proc/meminfo: memFree=19526372/32770624 swapFree=67108860/67108860
[pid=31222] ppid=31219 vsize=10659012 memory=29512 CPUtime=0.13 cores=0,2,4,6
/proc/31222/stat : 31222 (java) S 31219 31222 26594 0 -1 1077944320 6488 0 0 0 12 1 0 0 20 0 15 0 39614036 10914828288 7378 33554432000 4194304 4196468 140735076037952 140735076020496 140477676338935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
/proc/31222/statm: 2664753 7378 2818 1 0 2627263 0
[pid=31222/tid=31224] ppid=31219 vsize=10659012 memory=-8125511277465343102 CPUtime=0.08 cores=0,2,4,6
/proc/31222/task/31224/stat : 31224 (java) R 31219 31222 26594 0 -1 4202560 4284 0 0 0 8 0 0 0 20 0 15 0 39614037 10914828288 7378 33554432000 4194304 4196468 140735076037952 140477680543600 140477676360861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31225] ppid=31219 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31225/stat : 31225 (java) S 31219 31222 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39614037 10914828288 7378 33554432000 4194304 4196468 140735076037952 140477643897232 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31226] ppid=31219 vsize=10659012 memory=139893457467008 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31226/stat : 31226 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914828288 7378 33554432000 4194304 4196468 140735076037952 140477282576656 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31227] ppid=31219 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31227/stat : 31227 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914828288 7378 33554432000 4194304 4196468 140735076037952 140477281524368 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31228] ppid=31219 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31228/stat : 31228 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914828288 7378 33554432000 4194304 4196468 140735076037952 140477280471568 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31229] ppid=31219 vsize=10659012 memory=139893457467008 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31229/stat : 31229 (java) S 31219 31222 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39614039 10914828288 7378 33554432000 4194304 4196468 140735076037952 140476914051696 140477676350082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31230] ppid=31219 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31230/stat : 31230 (java) S 31219 31222 26594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39614039 10914828288 7378 33554432000 4194304 4196468 140735076037952 140476912997664 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31231] ppid=31219 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31231/stat : 31231 (java) S 31219 31222 26594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39614039 10914828288 7378 33554432000 4194304 4196468 140735076037952 140476911945328 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31232] ppid=31219 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31232/stat : 31232 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39614042 10914828288 7378 33554432000 4194304 4196468 140735076037952 140476910893648 140477676357531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31233] ppid=31219 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31233/stat : 31233 (java) S 31219 31222 26594 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 39614042 10914828288 7378 33554432000 4194304 4196468 140735076037952 140476909840496 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31234] ppid=31219 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31234/stat : 31234 (java) S 31219 31222 26594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39614042 10914828288 7378 33554432000 4194304 4196468 140735076037952 140476908787696 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31235] ppid=31219 vsize=10659012 memory=139893457467008 CPUtime=0.02 cores=0,2,4,6
/proc/31222/task/31235/stat : 31235 (java) S 31219 31222 26594 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 39614042 10914828288 7378 33554432000 4194304 4196468 140735076037952 140476907735408 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31236] ppid=31219 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31236/stat : 31236 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39614042 10914828288 7378 33554432000 4194304 4196468 140735076037952 140476906682848 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31237] ppid=31219 vsize=10659012 memory=139893457467008 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31237/stat : 31237 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614042 10914828288 7378 33554432000 4194304 4196468 140735076037952 140476837522352 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29512 KiB
[startup+0.210679 s]*
/proc/loadavg: 2.49 3.45 3.18 4/216 31237
/proc/meminfo: memFree=19516932/32770624 swapFree=67108860/67108860
[pid=31222] ppid=31219 vsize=10659012 memory=41092 CPUtime=0.33 cores=0,2,4,6
/proc/31222/stat : 31222 (java) S 31219 31222 26594 0 -1 1077944320 7858 0 0 0 31 2 0 0 20 0 15 0 39614036 10914828288 10273 33554432000 4194304 4196468 140735076037952 140735076020496 140477676338935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
/proc/31222/statm: 2664753 10273 3007 1 0 2627263 0
[pid=31222/tid=31224] ppid=31219 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31222/task/31224/stat : 31224 (java) R 31219 31222 26594 0 -1 4202560 4634 0 0 0 19 1 0 0 20 0 15 0 39614037 10914828288 10273 33554432000 4194304 4196468 140735076037952 140477680566192 140477676350870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31225] ppid=31219 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31225/stat : 31225 (java) S 31219 31222 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39614037 10914828288 10273 33554432000 4194304 4196468 140735076037952 140477643897232 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31226] ppid=31219 vsize=10659012 memory=139893457496865 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31226/stat : 31226 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914828288 10273 33554432000 4194304 4196468 140735076037952 140477282576656 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31227] ppid=31219 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31227/stat : 31227 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914828288 10273 33554432000 4194304 4196468 140735076037952 140477281524368 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31228] ppid=31219 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31228/stat : 31228 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914828288 10273 33554432000 4194304 4196468 140735076037952 140477280471568 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31229] ppid=31219 vsize=10659012 memory=139893457467008 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31229/stat : 31229 (java) S 31219 31222 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39614039 10914828288 10273 33554432000 4194304 4196468 140735076037952 140476914051696 140477676350082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31230] ppid=31219 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31230/stat : 31230 (java) S 31219 31222 26594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39614039 10914828288 10273 33554432000 4194304 4196468 140735076037952 140476912997664 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31231] ppid=31219 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31231/stat : 31231 (java) S 31219 31222 26594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39614039 10914828288 10273 33554432000 4194304 4196468 140735076037952 140476911945328 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31232] ppid=31219 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31232/stat : 31232 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39614042 10914828288 10273 33554432000 4194304 4196468 140735076037952 140476910893648 140477676357531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31233] ppid=31219 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31222/task/31233/stat : 31233 (java) R 31219 31222 26594 0 -1 1077944384 807 0 0 0 2 0 0 0 20 0 15 0 39614042 10914828288 10273 33554432000 4194304 4196468 140735076037952 140476909840496 140477676350082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31234] ppid=31219 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31222/task/31234/stat : 31234 (java) S 31219 31222 26594 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 15 0 39614042 10914828288 10273 33554432000 4194304 4196468 140735076037952 140476908787696 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31235] ppid=31219 vsize=10659012 memory=139893457467008 CPUtime=0.07 cores=0,2,4,6
/proc/31222/task/31235/stat : 31235 (java) R 31219 31222 26594 0 -1 4202560 808 0 0 0 7 0 0 0 20 0 15 0 39614042 10914828288 10273 33554432000 4194304 4196468 140735076037952 140476907735408 140477676360282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31236] ppid=31219 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31236/stat : 31236 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39614042 10914828288 10273 33554432000 4194304 4196468 140735076037952 140476906682848 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31237] ppid=31219 vsize=10659012 memory=139893457467008 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31237/stat : 31237 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614042 10914828288 10273 33554432000 4194304 4196468 140735076037952 140476837522352 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41092 KiB
[startup+0.310569 s]*
/proc/loadavg: 2.49 3.45 3.18 3/216 31237
/proc/meminfo: memFree=19509364/32770624 swapFree=67108860/67108860
[pid=31222] ppid=31219 vsize=10659088 memory=46776 CPUtime=0.52 cores=0,2,4,6
/proc/31222/stat : 31222 (java) S 31219 31222 26594 0 -1 1077944320 8758 0 0 0 49 3 0 0 20 0 15 0 39614036 10914906112 11694 33554432000 4194304 4196468 140735076037952 140735076020496 140477676338935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
/proc/31222/statm: 2664772 11694 3059 1 0 2627263 0
[pid=31222/tid=31224] ppid=31219 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/31222/task/31224/stat : 31224 (java) R 31219 31222 26594 0 -1 4202560 5252 0 0 0 28 1 0 0 20 0 15 0 39614037 10914906112 11694 33554432000 4194304 4196468 140735076037952 140477680576048 140477676350870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31225] ppid=31219 vsize=10659088 memory=288230591823085591 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31225/stat : 31225 (java) S 31219 31222 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39614037 10914906112 11694 33554432000 4194304 4196468 140735076037952 140477643897232 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31226] ppid=31219 vsize=10659088 memory=139893457496856 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31226/stat : 31226 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914906112 11694 33554432000 4194304 4196468 140735076037952 140477282576656 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31227] ppid=31219 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31227/stat : 31227 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914906112 11694 33554432000 4194304 4196468 140735076037952 140477281524368 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31228] ppid=31219 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31228/stat : 31228 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914906112 11694 33554432000 4194304 4196468 140735076037952 140477280471568 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31229] ppid=31219 vsize=10659088 memory=139893457467008 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31229/stat : 31229 (java) S 31219 31222 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39614039 10914906112 11694 33554432000 4194304 4196468 140735076037952 140476914051696 140477676350082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31230] ppid=31219 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31230/stat : 31230 (java) S 31219 31222 26594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39614039 10914906112 11694 33554432000 4194304 4196468 140735076037952 140476912997664 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31231] ppid=31219 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31231/stat : 31231 (java) S 31219 31222 26594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39614039 10914906112 11694 33554432000 4194304 4196468 140735076037952 140476911945328 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31232] ppid=31219 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31232/stat : 31232 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39614042 10914906112 11694 33554432000 4194304 4196468 140735076037952 140476910893648 140477676357531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31233] ppid=31219 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31222/task/31233/stat : 31233 (java) S 31219 31222 26594 0 -1 1077944384 905 0 0 0 4 0 0 0 20 0 15 0 39614042 10914906112 11694 33554432000 4194304 4196468 140735076037952 140476909840496 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31234] ppid=31219 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/31222/task/31234/stat : 31234 (java) S 31219 31222 26594 0 -1 1077944384 285 0 0 0 4 0 0 0 20 0 15 0 39614042 10914906112 11694 33554432000 4194304 4196468 140735076037952 140476908787696 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31235] ppid=31219 vsize=10659088 memory=139893457467008 CPUtime=0.11 cores=0,2,4,6
/proc/31222/task/31235/stat : 31235 (java) R 31219 31222 26594 0 -1 4202560 950 0 0 0 11 0 0 0 20 0 15 0 39614042 10914906112 11694 33554432000 4194304 4196468 140735076037952 140476907735408 140477660419422 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31236] ppid=31219 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31236/stat : 31236 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39614042 10914906112 11694 33554432000 4194304 4196468 140735076037952 140476906682848 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31237] ppid=31219 vsize=10659088 memory=139893457467008 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31237/stat : 31237 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614042 10914906112 11694 33554432000 4194304 4196468 140735076037952 140476837522352 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46776 KiB
[startup+0.700834 s]
/proc/loadavg: 2.49 3.45 3.18 5/216 31237
/proc/meminfo: memFree=19485152/32770624 swapFree=67108860/67108860
[pid=31222] ppid=31219 vsize=10659088 memory=96032 CPUtime=1.59 cores=0,2,4,6
/proc/31222/stat : 31222 (java) S 31219 31222 26594 0 -1 1077944320 12413 0 0 0 155 4 0 0 20 0 15 0 39614036 10914906112 24008 33554432000 4194304 4196468 140735076037952 140735076020496 140477676338935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
/proc/31222/statm: 2664772 24008 3101 1 0 2627263 0
[pid=31222/tid=31224] ppid=31219 vsize=10659088 memory=1728 CPUtime=0.68 cores=0,2,4,6
/proc/31222/task/31224/stat : 31224 (java) R 31219 31222 26594 0 -1 4202560 5375 0 0 0 66 2 0 0 20 0 15 0 39614037 10914906112 24008 33554432000 4194304 4196468 140735076037952 140477680577008 140477657988014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31225] ppid=31219 vsize=10659088 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31225/stat : 31225 (java) S 31219 31222 26594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39614037 10914906112 24008 33554432000 4194304 4196468 140735076037952 140477643897232 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31226] ppid=31219 vsize=10659088 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31226/stat : 31226 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914906112 24008 33554432000 4194304 4196468 140735076037952 140477282576656 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31227] ppid=31219 vsize=10659088 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31227/stat : 31227 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914906112 24008 33554432000 4194304 4196468 140735076037952 140477281524368 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31228] ppid=31219 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31228/stat : 31228 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614037 10914906112 24008 33554432000 4194304 4196468 140735076037952 140477280471568 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31229] ppid=31219 vsize=10659088 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31229/stat : 31229 (java) S 31219 31222 26594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39614039 10914906112 24008 33554432000 4194304 4196468 140735076037952 140476914051696 140477676350082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31230] ppid=31219 vsize=10659088 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31230/stat : 31230 (java) S 31219 31222 26594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39614039 10914906112 24008 33554432000 4194304 4196468 140735076037952 140476912997664 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31231] ppid=31219 vsize=10659088 memory=8372 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31231/stat : 31231 (java) S 31219 31222 26594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39614039 10914906112 24008 33554432000 4194304 4196468 140735076037952 140476911945328 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31232] ppid=31219 vsize=10659088 memory=12972 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31232/stat : 31232 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39614042 10914906112 24008 33554432000 4194304 4196468 140735076037952 140476910893648 140477676357531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31233] ppid=31219 vsize=10659088 memory=7662705889289527641 CPUtime=0.38 cores=0,2,4,6
/proc/31222/task/31233/stat : 31233 (java) R 31219 31222 26594 0 -1 4202560 3200 0 0 0 37 1 0 0 20 0 15 0 39614042 10914906112 24008 33554432000 4194304 4196468 140735076037952 140476909826552 140477655595723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31234] ppid=31219 vsize=10659088 memory=7597685182856913236 CPUtime=0.3 cores=0,2,4,6
/proc/31222/task/31234/stat : 31234 (java) S 31219 31222 26594 0 -1 1077944384 1162 0 0 0 30 0 0 0 20 0 15 0 39614042 10914906112 24008 33554432000 4194304 4196468 140735076037952 140476908787696 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31235] ppid=31219 vsize=10659088 memory=7440061282865139792 CPUtime=0.21 cores=0,2,4,6
/proc/31222/task/31235/stat : 31235 (java) S 31219 31222 26594 0 -1 1077944384 1306 0 0 0 21 0 0 0 20 0 15 0 39614042 10914906112 24008 33554432000 4194304 4196468 140735076037952 140476907735408 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31236] ppid=31219 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31236/stat : 31236 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39614042 10914906112 24008 33554432000 4194304 4196468 140735076037952 140476906682848 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31237] ppid=31219 vsize=10659088 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31237/stat : 31237 (java) S 31219 31222 26594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39614042 10914906112 24008 33554432000 4194304 4196468 140735076037952 140476837522352 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 96032 KiB
[startup+1.50114 s]
/proc/loadavg: 2.49 3.45 3.18 5/216 31237
/proc/meminfo: memFree=19376624/32770624 swapFree=67108860/67108860
[pid=31222] ppid=31219 vsize=10659088 memory=290548 CPUtime=4.09 cores=0,2,4,6
/proc/31222/stat : 31222 (java) S 31219 31222 26594 0 -1 1077944320 24337 0 0 0 396 13 0 0 20 0 15 0 39614036 10914906112 72637 33554432000 4194304 4196468 140735076037952 140735076020496 140477676338935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
/proc/31222/statm: 2664772 72637 3138 1 0 2627263 0
[pid=31222/tid=31224] ppid=31219 vsize=10659088 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/31222/task/31224/stat : 31224 (java) R 31219 31222 26594 0 -1 4202560 5534 0 0 0 133 3 0 0 20 0 15 0 39614037 10914906112 72637 33554432000 4194304 4196468 140735076037952 140477680565600 140477316967810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31225] ppid=31219 vsize=10659088 memory=-6951259422114956437 CPUtime=0.07 cores=0,2,4,6
/proc/31222/task/31225/stat : 31225 (java) S 31219 31222 26594 0 -1 1077944384 116 0 0 0 6 1 0 0 20 0 15 0 39614037 10914906112 72637 33554432000 4194304 4196468 140735076037952 140477643897232 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31226] ppid=31219 vsize=10659088 memory=-6509546260019855295 CPUtime=0.05 cores=0,2,4,6
/proc/31222/task/31226/stat : 31226 (java) S 31219 31222 26594 0 -1 1077944384 45 0 0 0 4 1 0 0 20 0 15 0 39614037 10914906112 72637 33554432000 4194304 4196468 140735076037952 140477282576656 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31227] ppid=31219 vsize=10659088 memory=-7390251449858225344 CPUtime=0.1 cores=0,2,4,6
/proc/31222/task/31227/stat : 31227 (java) S 31219 31222 26594 0 -1 1077944384 383 0 0 0 9 1 0 0 20 0 15 0 39614037 10914906112 72637 33554432000 4194304 4196468 140735076037952 140477281524368 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31228] ppid=31219 vsize=10659088 memory=4134692831991786133 CPUtime=0.09 cores=0,2,4,6
/proc/31222/task/31228/stat : 31228 (java) S 31219 31222 26594 0 -1 1077944384 221 0 0 0 8 1 0 0 20 0 15 0 39614037 10914906112 72637 33554432000 4194304 4196468 140735076037952 140477280471568 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31229] ppid=31219 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31229/stat : 31229 (java) S 31219 31222 26594 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 39614039 10914906112 72637 33554432000 4194304 4196468 140735076037952 140476914051696 140477676350082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
################
# More data... #
################
/proc/31222/task/31227/stat : 31227 (java) S 31219 31222 26594 0 -1 1077944384 20460 0 0 0 3528 122 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477281524368 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31228] ppid=31219 vsize=10725652 memory=7580624 CPUtime=36.33 cores=0,2,4,6
/proc/31222/task/31228/stat : 31228 (java) S 31219 31222 26594 0 -1 1077944384 20444 0 0 0 3514 119 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477280471568 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31229] ppid=31219 vsize=10725652 memory=7580624 CPUtime=17.25 cores=0,2,4,6
/proc/31222/task/31229/stat : 31229 (java) S 31219 31222 26594 0 -1 1077944384 26729 0 0 0 1721 4 0 0 20 0 16 0 39614039 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476914051696 140477676350082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31230] ppid=31219 vsize=10725652 memory=7580624 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31230/stat : 31230 (java) S 31219 31222 26594 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 39614039 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476912997728 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31231] ppid=31219 vsize=10725652 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31231/stat : 31231 (java) S 31219 31222 26594 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 16 0 39614039 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476911945344 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31232] ppid=31219 vsize=10725652 memory=7580624 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31232/stat : 31232 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476910893648 140477676357531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31233] ppid=31219 vsize=10725652 memory=3472468189487340208 CPUtime=2.39 cores=0,2,4,6
/proc/31222/task/31233/stat : 31233 (java) S 31219 31222 26594 0 -1 1077944384 14160 0 0 0 237 2 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476909840496 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31234] ppid=31219 vsize=10725652 memory=7580624 CPUtime=2.52 cores=0,2,4,6
/proc/31222/task/31234/stat : 31234 (java) S 31219 31222 26594 0 -1 1077944384 14985 0 0 0 250 2 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476908787696 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31235] ppid=31219 vsize=10725652 memory=7580624 CPUtime=0.46 cores=0,2,4,6
/proc/31222/task/31235/stat : 31235 (java) S 31219 31222 26594 0 -1 1077944384 5222 0 0 0 44 2 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476907735408 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31236] ppid=31219 vsize=10725652 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31236/stat : 31236 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476906682848 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31237] ppid=31219 vsize=10725652 memory=14000 CPUtime=1.47 cores=0,2,4,6
/proc/31222/task/31237/stat : 31237 (java) S 31219 31222 26594 0 -1 1077944384 2440 0 0 0 73 74 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476837522352 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31239] ppid=31219 vsize=10725652 memory=7580624 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31239/stat : 31239 (java) S 31219 31222 26594 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39620817 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476836467888 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
Current children cumulated CPU time: 2317.86 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 7580624 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.46 2.29 2/195 31501
/proc/meminfo: memFree=14310100/32770624 swapFree=67108860/67108860
[pid=31222] ppid=31219 vsize=10725652 memory=7580624 CPUtime=2377.91 cores=0,2,4,6
/proc/31222/stat : 31222 (java) S 31219 31222 26594 0 -1 1077944320 317732 0 0 0 237216 575 0 0 20 0 16 0 39614036 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140735076020496 140477676338935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
/proc/31222/statm: 2681413 1895156 3194 1 0 2643904 0
[pid=31222/tid=31224] ppid=31219 vsize=10725652 memory=5408 CPUtime=2208.31 cores=0,2,4,6
/proc/31222/task/31224/stat : 31224 (java) R 31219 31222 26594 0 -1 4202560 179403 0 0 0 220793 38 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477680577888 140477318150750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31225] ppid=31219 vsize=10725652 memory=7580624 CPUtime=36.3 cores=0,2,4,6
/proc/31222/task/31225/stat : 31225 (java) S 31219 31222 26594 0 -1 1077944384 18196 0 0 0 3514 116 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477643897232 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31226] ppid=31219 vsize=10725652 memory=7580624 CPUtime=36.25 cores=0,2,4,6
/proc/31222/task/31226/stat : 31226 (java) S 31219 31222 26594 0 -1 1077944384 14126 0 0 0 3512 113 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477282576656 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31227] ppid=31219 vsize=10725652 memory=7580624 CPUtime=36.5 cores=0,2,4,6
/proc/31222/task/31227/stat : 31227 (java) S 31219 31222 26594 0 -1 1077944384 20460 0 0 0 3528 122 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477281524368 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31228] ppid=31219 vsize=10725652 memory=7580624 CPUtime=36.33 cores=0,2,4,6
/proc/31222/task/31228/stat : 31228 (java) S 31219 31222 26594 0 -1 1077944384 20444 0 0 0 3514 119 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477280471568 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31229] ppid=31219 vsize=10725652 memory=7580624 CPUtime=17.26 cores=0,2,4,6
/proc/31222/task/31229/stat : 31229 (java) S 31219 31222 26594 0 -1 1077944384 26739 0 0 0 1722 4 0 0 20 0 16 0 39614039 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476914051696 140477676350082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31230] ppid=31219 vsize=10725652 memory=7580624 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31230/stat : 31230 (java) S 31219 31222 26594 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 39614039 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476912997728 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31231] ppid=31219 vsize=10725652 memory=7580624 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31231/stat : 31231 (java) S 31219 31222 26594 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 16 0 39614039 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476911945344 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31232] ppid=31219 vsize=10725652 memory=7580624 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31232/stat : 31232 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476910893648 140477676357531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31233] ppid=31219 vsize=10725652 memory=7580624 CPUtime=2.39 cores=0,2,4,6
/proc/31222/task/31233/stat : 31233 (java) S 31219 31222 26594 0 -1 1077944384 14163 0 0 0 237 2 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476909840496 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31234] ppid=31219 vsize=10725652 memory=7580624 CPUtime=2.52 cores=0,2,4,6
/proc/31222/task/31234/stat : 31234 (java) S 31219 31222 26594 0 -1 1077944384 14998 0 0 0 250 2 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476908787696 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31235] ppid=31219 vsize=10725652 memory=7580624 CPUtime=0.46 cores=0,2,4,6
/proc/31222/task/31235/stat : 31235 (java) S 31219 31222 26594 0 -1 1077944384 5225 0 0 0 44 2 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476907735408 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31236] ppid=31219 vsize=10725652 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31236/stat : 31236 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476906682848 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31237] ppid=31219 vsize=10725652 memory=1228 CPUtime=1.51 cores=0,2,4,6
/proc/31222/task/31237/stat : 31237 (java) S 31219 31222 26594 0 -1 1077944384 2480 0 0 0 76 75 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476837522352 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31239] ppid=31219 vsize=10725652 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31239/stat : 31239 (java) S 31219 31222 26594 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39620817 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476836467888 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
Current children cumulated CPU time: 2377.91 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 7580624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2284.4 s]
/proc/loadavg: 1.00 1.43 2.26 2/195 31502
/proc/meminfo: memFree=14309968/32770624 swapFree=67108860/67108860
[pid=31222] ppid=31219 vsize=10725652 memory=7580624 CPUtime=2400.02 cores=0,2,4,6
/proc/31222/stat : 31222 (java) S 31219 31222 26594 0 -1 1077944320 318532 0 0 0 239427 575 0 0 20 0 16 0 39614036 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140735076020496 140477676338935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
/proc/31222/statm: 2681413 1895156 3194 1 0 2643904 0
[pid=31222/tid=31224] ppid=31219 vsize=10725652 memory=6791534058613427641 CPUtime=2230.41 cores=0,2,4,6
/proc/31222/task/31224/stat : 31224 (java) R 31219 31222 26594 0 -1 4202560 180199 0 0 0 223003 38 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477680577888 140477318301006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31225] ppid=31219 vsize=10725652 memory=7580624 CPUtime=36.3 cores=0,2,4,6
/proc/31222/task/31225/stat : 31225 (java) S 31219 31222 26594 0 -1 1077944384 18196 0 0 0 3514 116 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477643897232 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31226] ppid=31219 vsize=10725652 memory=4126316290023845779 CPUtime=36.25 cores=0,2,4,6
/proc/31222/task/31226/stat : 31226 (java) S 31219 31222 26594 0 -1 1077944384 14126 0 0 0 3512 113 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477282576656 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31227] ppid=31219 vsize=10725652 memory=1728 CPUtime=36.5 cores=0,2,4,6
/proc/31222/task/31227/stat : 31227 (java) S 31219 31222 26594 0 -1 1077944384 20460 0 0 0 3528 122 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477281524368 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31228] ppid=31219 vsize=10725652 memory=6791534058613427641 CPUtime=36.33 cores=0,2,4,6
/proc/31222/task/31228/stat : 31228 (java) S 31219 31222 26594 0 -1 1077944384 20444 0 0 0 3514 119 0 0 20 0 16 0 39614037 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140477280471568 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31229] ppid=31219 vsize=10725652 memory=4126316290023845779 CPUtime=17.26 cores=0,2,4,6
/proc/31222/task/31229/stat : 31229 (java) S 31219 31222 26594 0 -1 1077944384 26739 0 0 0 1722 4 0 0 20 0 16 0 39614039 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476914051696 140477676350082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31230] ppid=31219 vsize=10725652 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31230/stat : 31230 (java) S 31219 31222 26594 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 39614039 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476912997728 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31231] ppid=31219 vsize=10725652 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31231/stat : 31231 (java) S 31219 31222 26594 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 16 0 39614039 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476911945344 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31232] ppid=31219 vsize=10725652 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31232/stat : 31232 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476910893648 140477676357531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31233] ppid=31219 vsize=10725652 memory=1228 CPUtime=2.39 cores=0,2,4,6
/proc/31222/task/31233/stat : 31233 (java) S 31219 31222 26594 0 -1 1077944384 14163 0 0 0 237 2 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476909840496 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31234] ppid=31219 vsize=10725652 memory=1944 CPUtime=2.52 cores=0,2,4,6
/proc/31222/task/31234/stat : 31234 (java) S 31219 31222 26594 0 -1 1077944384 14998 0 0 0 250 2 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476908787696 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31235] ppid=31219 vsize=10725652 memory=6791534058613427641 CPUtime=0.46 cores=0,2,4,6
/proc/31222/task/31235/stat : 31235 (java) S 31219 31222 26594 0 -1 1077944384 5225 0 0 0 44 2 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476907735408 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31236] ppid=31219 vsize=10725652 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31236/stat : 31236 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476906682848 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31237] ppid=31219 vsize=10725652 memory=920 CPUtime=1.53 cores=0,2,4,6
/proc/31222/task/31237/stat : 31237 (java) S 31219 31222 26594 0 -1 1077944384 2484 0 0 0 77 76 0 0 20 0 16 0 39614042 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476837522352 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31239] ppid=31219 vsize=10725652 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31239/stat : 31239 (java) S 31219 31222 26594 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39620817 10983067648 1895156 33554432000 4194304 4196468 140735076037952 140476836467888 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 7580624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2284.66 s]
# the end of solver process 31222 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2394.33 s, system=5.7902 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2284.6 s]
/proc/loadavg: 1.00 1.43 2.26 2/195 31502
/proc/meminfo: memFree=14309968/32770624 swapFree=67108860/67108860
[pid=31222] ppid=31219 vsize=10925344 memory=7580936 CPUtime=2400.04 cores=0,2,4,6
/proc/31222/stat : 31222 (java) S 31219 31222 26594 0 -1 1077944320 319523 0 0 0 239429 575 0 0 20 0 17 0 39614036 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140735076020496 140477676338935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
/proc/31222/statm: 2731336 1895234 3196 1 0 2693827 0
[pid=31222/tid=31224] ppid=31219 vsize=10925344 memory=1408 CPUtime=2230.43 cores=0,2,4,6
/proc/31222/task/31224/stat : 31224 (java) S 31219 31222 26594 0 -1 1077944384 180315 0 0 0 223005 38 0 0 20 0 17 0 39614037 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140477680581808 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31225] ppid=31219 vsize=10925344 memory=3208 CPUtime=36.3 cores=0,2,4,6
/proc/31222/task/31225/stat : 31225 (java) S 31219 31222 26594 0 -1 1077944384 18196 0 0 0 3514 116 0 0 20 0 17 0 39614037 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140477643897232 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31226] ppid=31219 vsize=10925344 memory=7580624 CPUtime=36.25 cores=0,2,4,6
/proc/31222/task/31226/stat : 31226 (java) S 31219 31222 26594 0 -1 1077944384 14126 0 0 0 3512 113 0 0 20 0 17 0 39614037 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140477282576656 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31227] ppid=31219 vsize=10925344 memory=4100 CPUtime=36.5 cores=0,2,4,6
/proc/31222/task/31227/stat : 31227 (java) S 31219 31222 26594 0 -1 1077944384 20460 0 0 0 3528 122 0 0 20 0 17 0 39614037 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140477281524368 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31228] ppid=31219 vsize=10925344 memory=4132 CPUtime=36.33 cores=0,2,4,6
/proc/31222/task/31228/stat : 31228 (java) S 31219 31222 26594 0 -1 1077944384 20444 0 0 0 3514 119 0 0 20 0 17 0 39614037 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140477280471568 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31229] ppid=31219 vsize=10925344 memory=2200 CPUtime=17.26 cores=0,2,4,6
/proc/31222/task/31229/stat : 31229 (java) S 31219 31222 26594 0 -1 1077944384 26778 0 0 0 1722 4 0 0 20 0 17 0 39614039 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140476914051696 140477676350082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31230] ppid=31219 vsize=10925344 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31230/stat : 31230 (java) S 31219 31222 26594 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 39614039 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140476912997728 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31231] ppid=31219 vsize=10925344 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31231/stat : 31231 (java) S 31219 31222 26594 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 17 0 39614039 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140476911945344 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31232] ppid=31219 vsize=10925344 memory=13573695205542171 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31232/stat : 31232 (java) S 31219 31222 26594 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 17 0 39614042 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140476910893648 140477676357531 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31233] ppid=31219 vsize=10925344 memory=1696 CPUtime=2.39 cores=0,2,4,6
/proc/31222/task/31233/stat : 31233 (java) S 31219 31222 26594 0 -1 1077944384 14163 0 0 0 237 2 0 0 20 0 17 0 39614042 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140476909840496 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31234] ppid=31219 vsize=10925344 memory=920 CPUtime=2.52 cores=0,2,4,6
/proc/31222/task/31234/stat : 31234 (java) S 31219 31222 26594 0 -1 1077944384 14998 0 0 0 250 2 0 0 20 0 17 0 39614042 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140476908787696 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31235] ppid=31219 vsize=10925344 memory=3848 CPUtime=0.46 cores=0,2,4,6
/proc/31222/task/31235/stat : 31235 (java) S 31219 31222 26594 0 -1 1077944384 5538 0 0 0 44 2 0 0 20 0 17 0 39614042 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140476907735408 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31236] ppid=31219 vsize=10925344 memory=2852 CPUtime=0 cores=0,2,4,6
/proc/31222/task/31236/stat : 31236 (java) S 31219 31222 26594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39614042 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140476906682848 140477676349141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
[pid=31222/tid=31237] ppid=31219 vsize=10925344 memory=1408 CPUtime=1.53 cores=0,2,4,6
/proc/31222/task/31237/stat : 31237 (java) S 31219 31222 26594 0 -1 1077944384 2484 0 0 0 77 76 0 0 20 0 17 0 39614042 11187552256 1895234 33554432000 4194304 4196468 140735076037952 140476837522352 140477676350082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33685504 140735076045937 140735076046089 140735076046089 140735076048847 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 7580936 KiB
Child status: 143
Real time (s): 2284.66
CPU time (s): 2400.12
CPU user time (s): 2394.33
CPU system time (s): 5.7902
CPU usage (%): 105.053
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 7580936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.33
system time used= 5.7902
maximum resident set size= 7581008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53812
involuntary context switches= 3884
# summary of solver processes directly reported to runsolver:
# pid: 31222
# total CPU time (s): 2400.12
# total CPU user time (s): 2394.33
# total CPU system time (s): 5.7902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9914 second user time and 22.4879 second system time
The end