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 (8761 MiB free)
memory of node 1: 16384 MiB (12495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290110-1532267511/watcher-4290110-1532267511 -o /tmp/evaluation-result-4290110-1532267511/solver-4290110-1532267511 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532260283-32672 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290110-1532267511.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=1227, runsolver pid=1224
[startup+0.100722 s]*
/proc/loadavg: 2.00 2.04 2.47 2/218 1242
/proc/meminfo: memFree=21751296/32770624 swapFree=67108860/67108860
[pid=1227] ppid=1224 vsize=10659012 memory=30064 CPUtime=0.12 cores=0,2,4,6
/proc/1227/stat : 1227 (java) S 1224 1227 32641 0 -1 1077944320 6593 0 0 0 11 1 0 0 20 0 15 0 44314277 10914828288 7516 33554432000 4194304 4196468 140736062936352 140736062918896 140397383245559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
/proc/1227/statm: 2664753 7516 2818 1 0 2627263 0
[pid=1227/tid=1229] ppid=1224 vsize=10659012 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/1227/task/1229/stat : 1229 (java) R 1224 1227 32641 0 -1 4202560 4422 0 0 0 8 1 0 0 20 0 15 0 44314278 10914828288 7516 33554432000 4194304 4196468 140736062936352 140397387459552 140397367326046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1230] ppid=1224 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1230/stat : 1230 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914828288 7516 33554432000 4194304 4196468 140736062936352 140397319936784 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1231] ppid=1224 vsize=10659012 memory=139789093209728 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1231/stat : 1231 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914828288 7516 33554432000 4194304 4196468 140736062936352 140397318884240 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1232] ppid=1224 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1232/stat : 1232 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914828288 7516 33554432000 4194304 4196468 140736062936352 140397317831696 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1233] ppid=1224 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1233/stat : 1233 (java) S 1224 1227 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44314278 10914828288 7516 33554432000 4194304 4196468 140736062936352 140397316779152 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1234] ppid=1224 vsize=10659012 memory=139789093209728 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1234/stat : 1234 (java) S 1224 1227 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44314280 10914828288 7516 33554432000 4194304 4196468 140736062936352 140396485949424 140397383256706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1235] ppid=1224 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1235/stat : 1235 (java) S 1224 1227 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44314280 10914828288 7516 33554432000 4194304 4196468 140736062936352 140396484895648 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1236] ppid=1224 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1236/stat : 1236 (java) S 1224 1227 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44314280 10914828288 7516 33554432000 4194304 4196468 140736062936352 140396483843056 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1237] ppid=1224 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1237/stat : 1237 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44314283 10914828288 7516 33554432000 4194304 4196468 140736062936352 140396482791632 140397383264155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1238] ppid=1224 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1238/stat : 1238 (java) S 1224 1227 32641 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 44314283 10914828288 7516 33554432000 4194304 4196468 140736062936352 140396481739248 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1239] ppid=1224 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1239/stat : 1239 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44314283 10914828288 7516 33554432000 4194304 4196468 140736062936352 140396480686704 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1240] ppid=1224 vsize=10659012 memory=139789093209728 CPUtime=0.02 cores=0,2,4,6
/proc/1227/task/1240/stat : 1240 (java) S 1224 1227 32641 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 44314283 10914828288 7516 33554432000 4194304 4196468 140736062936352 140396479634160 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1241] ppid=1224 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1241/stat : 1241 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44314283 10914828288 7516 33554432000 4194304 4196468 140736062936352 140396478581856 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1242] ppid=1224 vsize=10659012 memory=139789093209728 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1242/stat : 1242 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314283 10914828288 7516 33554432000 4194304 4196468 140736062936352 140396477528368 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30064 KiB
[startup+0.21067 s]*
/proc/loadavg: 2.00 2.04 2.47 3/218 1242
/proc/meminfo: memFree=21740348/32770624 swapFree=67108860/67108860
[pid=1227] ppid=1224 vsize=10659012 memory=42036 CPUtime=0.33 cores=0,2,4,6
/proc/1227/stat : 1227 (java) S 1224 1227 32641 0 -1 1077944320 8093 0 0 0 31 2 0 0 20 0 15 0 44314277 10914828288 10509 33554432000 4194304 4196468 140736062936352 140736062918896 140397383245559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
/proc/1227/statm: 2664753 10509 3007 1 0 2627263 0
[pid=1227/tid=1229] ppid=1224 vsize=10659012 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/1227/task/1229/stat : 1229 (java) R 1224 1227 32641 0 -1 4202560 5004 0 0 0 19 1 0 0 20 0 15 0 44314278 10914828288 10509 33554432000 4194304 4196468 140736062936352 140397387480816 140397367289189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1230] ppid=1224 vsize=10659012 memory=4294967627 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1230/stat : 1230 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914828288 10509 33554432000 4194304 4196468 140736062936352 140397319936784 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1231] ppid=1224 vsize=10659012 memory=139789093233449 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1231/stat : 1231 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914828288 10509 33554432000 4194304 4196468 140736062936352 140397318884240 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1232] ppid=1224 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1232/stat : 1232 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914828288 10509 33554432000 4194304 4196468 140736062936352 140397317831696 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1233] ppid=1224 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1233/stat : 1233 (java) S 1224 1227 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44314278 10914828288 10509 33554432000 4194304 4196468 140736062936352 140397316779152 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1234] ppid=1224 vsize=10659012 memory=139789093209728 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1234/stat : 1234 (java) S 1224 1227 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44314280 10914828288 10509 33554432000 4194304 4196468 140736062936352 140396485949424 140397383256706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1235] ppid=1224 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1235/stat : 1235 (java) S 1224 1227 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44314280 10914828288 10509 33554432000 4194304 4196468 140736062936352 140396484895648 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1236] ppid=1224 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1236/stat : 1236 (java) S 1224 1227 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44314280 10914828288 10509 33554432000 4194304 4196468 140736062936352 140396483843056 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1237] ppid=1224 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1237/stat : 1237 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44314283 10914828288 10509 33554432000 4194304 4196468 140736062936352 140396482791632 140397383264155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1238] ppid=1224 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1227/task/1238/stat : 1238 (java) S 1224 1227 32641 0 -1 1077944384 648 0 0 0 2 0 0 0 20 0 15 0 44314283 10914828288 10509 33554432000 4194304 4196468 140736062936352 140396481739248 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1239] ppid=1224 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1227/task/1239/stat : 1239 (java) S 1224 1227 32641 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 44314283 10914828288 10509 33554432000 4194304 4196468 140736062936352 140396480686704 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1240] ppid=1224 vsize=10659012 memory=139789093209728 CPUtime=0.07 cores=0,2,4,6
/proc/1227/task/1240/stat : 1240 (java) R 1224 1227 32641 0 -1 4202560 738 0 0 0 7 0 0 0 20 0 15 0 44314283 10914828288 10509 33554432000 4194304 4196468 140736062936352 140396479634160 140397367326046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1241] ppid=1224 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1241/stat : 1241 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44314283 10914828288 10509 33554432000 4194304 4196468 140736062936352 140396478581856 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1242] ppid=1224 vsize=10659012 memory=139789093209728 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1242/stat : 1242 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314283 10914828288 10509 33554432000 4194304 4196468 140736062936352 140396477528368 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42036 KiB
[startup+0.310604 s]*
/proc/loadavg: 2.00 2.04 2.47 5/218 1242
/proc/meminfo: memFree=21733192/32770624 swapFree=67108860/67108860
[pid=1227] ppid=1224 vsize=10659088 memory=47420 CPUtime=0.52 cores=0,2,4,6
/proc/1227/stat : 1227 (java) S 1224 1227 32641 0 -1 1077944320 8923 0 0 0 50 2 0 0 20 0 15 0 44314277 10914906112 11855 33554432000 4194304 4196468 140736062936352 140736062918896 140397383245559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
/proc/1227/statm: 2664772 11855 3048 1 0 2627263 0
[pid=1227/tid=1229] ppid=1224 vsize=10659088 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/1227/task/1229/stat : 1229 (java) R 1224 1227 32641 0 -1 4202560 5634 0 0 0 29 1 0 0 20 0 15 0 44314278 10914906112 11879 33554432000 4194304 4196468 140736062936352 140397387480624 140397383257494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1230] ppid=1224 vsize=10659088 memory=16436 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1230/stat : 1230 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914906112 11879 33554432000 4194304 4196468 140736062936352 140397319936784 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1231] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1231/stat : 1231 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914906112 11879 33554432000 4194304 4196468 140736062936352 140397318884240 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1232] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1232/stat : 1232 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914906112 11879 33554432000 4194304 4196468 140736062936352 140397317831696 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1233] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1233/stat : 1233 (java) S 1224 1227 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44314278 10914906112 11879 33554432000 4194304 4196468 140736062936352 140397316779152 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1234] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1234/stat : 1234 (java) S 1224 1227 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44314280 10914906112 11879 33554432000 4194304 4196468 140736062936352 140396485949424 140397383256706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1235] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1235/stat : 1235 (java) S 1224 1227 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44314280 10914906112 11879 33554432000 4194304 4196468 140736062936352 140396484895648 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1236] ppid=1224 vsize=10659088 memory=139788971780591 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1236/stat : 1236 (java) S 1224 1227 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44314280 10914906112 11879 33554432000 4194304 4196468 140736062936352 140396483843056 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1237] ppid=1224 vsize=10659088 memory=67 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1237/stat : 1237 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44314283 10914906112 11879 33554432000 4194304 4196468 140736062936352 140396482791632 140397383264155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1238] ppid=1224 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/1227/task/1238/stat : 1238 (java) S 1224 1227 32641 0 -1 1077944384 692 0 0 0 5 0 0 0 20 0 15 0 44314283 10914906112 11879 33554432000 4194304 4196468 140736062936352 140396481739248 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1239] ppid=1224 vsize=10659088 memory=139788971766767 CPUtime=0.04 cores=0,2,4,6
/proc/1227/task/1239/stat : 1239 (java) S 1224 1227 32641 0 -1 1077944384 425 0 0 0 4 0 0 0 20 0 15 0 44314283 10914906112 11879 33554432000 4194304 4196468 140736062936352 140396480686704 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1240] ppid=1224 vsize=10659088 memory=279578064985696 CPUtime=0.12 cores=0,2,4,6
/proc/1227/task/1240/stat : 1240 (java) S 1224 1227 32641 0 -1 1077944384 814 0 0 0 12 0 0 0 20 0 15 0 44314283 10914906112 11879 33554432000 4194304 4196468 140736062936352 140396479634160 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1241] ppid=1224 vsize=10659088 memory=139788971771407 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1241/stat : 1241 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44314283 10914906112 11879 33554432000 4194304 4196468 140736062936352 140396478581856 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1242] ppid=1224 vsize=10659088 memory=139789093209739 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1242/stat : 1242 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314283 10914906112 11879 33554432000 4194304 4196468 140736062936352 140396477528368 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47420 KiB
[startup+0.700721 s]
/proc/loadavg: 2.00 2.04 2.47 5/218 1242
/proc/meminfo: memFree=21699376/32770624 swapFree=67108860/67108860
[pid=1227] ppid=1224 vsize=10659088 memory=162300 CPUtime=1.67 cores=0,2,4,6
/proc/1227/stat : 1227 (java) S 1224 1227 32641 0 -1 1077944320 12236 0 0 0 162 5 0 0 20 0 15 0 44314277 10914906112 40575 33554432000 4194304 4196468 140736062936352 140736062918896 140397383245559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
/proc/1227/statm: 2664772 40575 3109 1 0 2627263 0
[pid=1227/tid=1229] ppid=1224 vsize=10659088 memory=145088961321009 CPUtime=0.67 cores=0,2,4,6
/proc/1227/task/1229/stat : 1229 (java) R 1224 1227 32641 0 -1 4202560 5993 0 0 0 63 4 0 0 20 0 15 0 44314278 10914906112 40575 33554432000 4194304 4196468 140736062936352 140397387480792 140396997922463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1230] ppid=1224 vsize=10659088 memory=247608 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1230/stat : 1230 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914906112 40575 33554432000 4194304 4196468 140736062936352 140397319936784 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1231] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1231/stat : 1231 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914906112 40575 33554432000 4194304 4196468 140736062936352 140397318884240 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1232] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1232/stat : 1232 (java) S 1224 1227 32641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44314278 10914906112 40575 33554432000 4194304 4196468 140736062936352 140397317831696 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1233] ppid=1224 vsize=10659088 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1233/stat : 1233 (java) S 1224 1227 32641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44314278 10914906112 40575 33554432000 4194304 4196468 140736062936352 140397316779152 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1234] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1234/stat : 1234 (java) S 1224 1227 32641 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44314280 10914906112 40575 33554432000 4194304 4196468 140736062936352 140396485949424 140397383256706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1235] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1235/stat : 1235 (java) S 1224 1227 32641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44314280 10914906112 40575 33554432000 4194304 4196468 140736062936352 140396484895648 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1236] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1236/stat : 1236 (java) S 1224 1227 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44314280 10914906112 40575 33554432000 4194304 4196468 140736062936352 140396483843056 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1237] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1237/stat : 1237 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44314283 10914906112 40575 33554432000 4194304 4196468 140736062936352 140396482791632 140397383264155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1238] ppid=1224 vsize=10659088 memory=7524855942533206745 CPUtime=0.37 cores=0,2,4,6
/proc/1227/task/1238/stat : 1238 (java) R 1224 1227 32641 0 -1 4202560 1922 0 0 0 37 0 0 0 20 0 15 0 44314283 10914906112 40575 33554432000 4194304 4196468 140736062936352 140396481725648 140397368124114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1239] ppid=1224 vsize=10659088 memory=-2897801490638248215 CPUtime=0.36 cores=0,2,4,6
/proc/1227/task/1239/stat : 1239 (java) R 1224 1227 32641 0 -1 4202560 1650 0 0 0 36 0 0 0 20 0 15 0 44314283 10914906112 40575 33554432000 4194304 4196468 140736062936352 140396480666984 140397375535013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1240] ppid=1224 vsize=10659088 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/1227/task/1240/stat : 1240 (java) R 1224 1227 32641 0 -1 1077944384 1297 0 0 0 25 0 0 0 20 0 15 0 44314283 10914906112 40575 33554432000 4194304 4196468 140736062936352 140396479634160 140397383256706 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1241] ppid=1224 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1241/stat : 1241 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44314283 10914906112 40575 33554432000 4194304 4196468 140736062936352 140396478581856 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1242] ppid=1224 vsize=10659088 memory=8364 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1242/stat : 1242 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44314283 10914906112 40575 33554432000 4194304 4196468 140736062936352 140396477528368 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 162300 KiB
[startup+1.5008 s]
/proc/loadavg: 2.08 2.05 2.47 5/218 1242
/proc/meminfo: memFree=21563544/32770624 swapFree=67108860/67108860
[pid=1227] ppid=1224 vsize=10727700 memory=286024 CPUtime=4.2 cores=0,2,4,6
/proc/1227/stat : 1227 (java) S 1224 1227 32641 0 -1 1077944320 19383 0 0 0 408 12 0 0 20 0 16 0 44314277 10985164800 71506 33554432000 4194304 4196468 140736062936352 140736062918896 140397383245559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
/proc/1227/statm: 2681925 71506 3145 1 0 2644416 0
[pid=1227/tid=1229] ppid=1224 vsize=10727700 memory=4140 CPUtime=1.35 cores=0,2,4,6
/proc/1227/task/1229/stat : 1229 (java) R 1224 1227 32641 0 -1 4202560 6102 0 0 0 131 4 0 0 20 0 16 0 44314278 10985164800 71506 33554432000 4194304 4196468 140736062936352 140397387482000 140396999354639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1230] ppid=1224 vsize=10727700 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/1227/task/1230/stat : 1230 (java) S 1224 1227 32641 0 -1 1077944384 62 0 0 0 5 1 0 0 20 0 16 0 44314278 10985164800 71506 33554432000 4194304 4196468 140736062936352 140397319936784 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1231] ppid=1224 vsize=10727700 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/1227/task/1231/stat : 1231 (java) S 1224 1227 32641 0 -1 1077944384 53 0 0 0 5 1 0 0 20 0 16 0 44314278 10985164800 71506 33554432000 4194304 4196468 140736062936352 140397318884240 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1232] ppid=1224 vsize=10727700 memory=2244 CPUtime=0.06 cores=0,2,4,6
/proc/1227/task/1232/stat : 1232 (java) S 1224 1227 32641 0 -1 1077944384 59 0 0 0 5 1 0 0 20 0 16 0 44314278 10985164800 71506 33554432000 4194304 4196468 140736062936352 140397317831696 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1233] ppid=1224 vsize=10727700 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1227/task/1233/stat : 1233 (java) S 1224 1227 32641 0 -1 1077944384 318 0 0 0 6 1 0 0 20 0 16 0 44314278 10985164800 71506 33554432000 4194304 4196468 140736062936352 140397316779152 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1234] ppid=1224 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1234/stat : 1234 (java) S 1224 1227 32641 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 16 0 44314280 10985164800 71506 33554432000 4194304 4196468 140736062936352 140396485949424 140397383256706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
################
# More data... #
################
/proc/1227/task/1232/stat : 1232 (java) S 1224 1227 32641 0 -1 1077944384 777 0 0 0 56 12 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397317831696 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1233] ppid=1224 vsize=10727700 memory=279577945203072 CPUtime=0.7 cores=0,2,4,6
/proc/1227/task/1233/stat : 1233 (java) S 1224 1227 32641 0 -1 1077944384 1363 0 0 0 57 13 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397316779152 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1234] ppid=1224 vsize=10727700 memory=8112282956445269571 CPUtime=0.15 cores=0,2,4,6
/proc/1227/task/1234/stat : 1234 (java) S 1224 1227 32641 0 -1 1077944384 5987 0 0 0 13 2 0 0 20 0 16 0 44314280 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396485949424 140397383256706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1235] ppid=1224 vsize=10727700 memory=916 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1235/stat : 1235 (java) S 1224 1227 32641 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 44314280 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396484895712 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1236] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1236/stat : 1236 (java) S 1224 1227 32641 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 44314280 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396483843072 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1237] ppid=1224 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1237/stat : 1237 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396482791632 140397383264155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1238] ppid=1224 vsize=10727700 memory=4140 CPUtime=1.49 cores=0,2,4,6
/proc/1227/task/1238/stat : 1238 (java) S 1224 1227 32641 0 -1 1077944384 10530 0 0 0 147 2 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396481739248 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1239] ppid=1224 vsize=10727700 memory=15076 CPUtime=1.55 cores=0,2,4,6
/proc/1227/task/1239/stat : 1239 (java) S 1224 1227 32641 0 -1 1077944384 10349 0 0 0 153 2 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396480686704 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1240] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0.43 cores=0,2,4,6
/proc/1227/task/1240/stat : 1240 (java) S 1224 1227 32641 0 -1 1077944384 5396 0 0 0 42 1 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396479634160 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1241] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1241/stat : 1241 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396478581856 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1242] ppid=1224 vsize=10727700 memory=1027024 CPUtime=1.34 cores=0,2,4,6
/proc/1227/task/1242/stat : 1242 (java) S 1224 1227 32641 0 -1 1077944384 2535 0 0 0 67 67 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396477528368 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1243] ppid=1224 vsize=10727700 memory=15076 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1243/stat : 1243 (java) S 1224 1227 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44314404 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396474377008 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
Current children cumulated CPU time: 2329.06 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1027024 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.04 2.07 3/218 1426
/proc/meminfo: memFree=20390444/32770624 swapFree=67108860/67108860
[pid=1227] ppid=1224 vsize=10727700 memory=1027024 CPUtime=2389.1 cores=0,2,4,6
/proc/1227/stat : 1227 (java) S 1224 1227 32641 0 -1 1077944320 62371 0 0 0 238783 127 0 0 20 0 16 0 44314277 10985164800 256756 33554432000 4194304 4196468 140736062936352 140736062918896 140397383245559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
/proc/1227/statm: 2681925 256756 3179 1 0 2644416 0
[pid=1227/tid=1229] ppid=1224 vsize=10727700 memory=1027024 CPUtime=2381.23 cores=0,2,4,6
/proc/1227/task/1229/stat : 1229 (java) R 1224 1227 32641 0 -1 4202560 21573 0 0 0 238110 13 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397387484480 140396999354304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1230] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0.69 cores=0,2,4,6
/proc/1227/task/1230/stat : 1230 (java) S 1224 1227 32641 0 -1 1077944384 1052 0 0 0 56 13 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397319936784 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1231] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0.69 cores=0,2,4,6
/proc/1227/task/1231/stat : 1231 (java) S 1224 1227 32641 0 -1 1077944384 1331 0 0 0 57 12 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397318884240 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1232] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0.68 cores=0,2,4,6
/proc/1227/task/1232/stat : 1232 (java) S 1224 1227 32641 0 -1 1077944384 777 0 0 0 56 12 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397317831696 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1233] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0.7 cores=0,2,4,6
/proc/1227/task/1233/stat : 1233 (java) S 1224 1227 32641 0 -1 1077944384 1363 0 0 0 57 13 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397316779152 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1234] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0.16 cores=0,2,4,6
/proc/1227/task/1234/stat : 1234 (java) S 1224 1227 32641 0 -1 1077944384 5996 0 0 0 14 2 0 0 20 0 16 0 44314280 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396485949424 140397383256706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1235] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1235/stat : 1235 (java) S 1224 1227 32641 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 44314280 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396484895712 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1236] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1236/stat : 1236 (java) S 1224 1227 32641 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 44314280 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396483843072 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1237] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1237/stat : 1237 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396482791632 140397383264155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1238] ppid=1224 vsize=10727700 memory=1027024 CPUtime=1.49 cores=0,2,4,6
/proc/1227/task/1238/stat : 1238 (java) S 1224 1227 32641 0 -1 1077944384 10533 0 0 0 147 2 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396481739248 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1239] ppid=1224 vsize=10727700 memory=1027024 CPUtime=1.55 cores=0,2,4,6
/proc/1227/task/1239/stat : 1239 (java) S 1224 1227 32641 0 -1 1077944384 10352 0 0 0 153 2 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396480686704 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1240] ppid=1224 vsize=10727700 memory=15076 CPUtime=0.43 cores=0,2,4,6
/proc/1227/task/1240/stat : 1240 (java) S 1224 1227 32641 0 -1 1077944384 5409 0 0 0 42 1 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396479634160 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1241] ppid=1224 vsize=10727700 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1241/stat : 1241 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396478581856 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1242] ppid=1224 vsize=10727700 memory=1404 CPUtime=1.39 cores=0,2,4,6
/proc/1227/task/1242/stat : 1242 (java) S 1224 1227 32641 0 -1 1077944384 2576 0 0 0 69 70 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396477528368 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1243] ppid=1224 vsize=10727700 memory=3320 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1243/stat : 1243 (java) S 1224 1227 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44314404 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396474377008 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
Current children cumulated CPU time: 2389.1 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1027024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2393.2 s]
/proc/loadavg: 2.04 2.04 2.07 3/218 1426
/proc/meminfo: memFree=20304304/32770624 swapFree=67108860/67108860
[pid=1227] ppid=1224 vsize=10727700 memory=1027024 CPUtime=2400.01 cores=0,2,4,6
/proc/1227/stat : 1227 (java) S 1224 1227 32641 0 -1 1077944320 62477 0 0 0 239874 127 0 0 20 0 16 0 44314277 10985164800 256756 33554432000 4194304 4196468 140736062936352 140736062918896 140397383245559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
/proc/1227/statm: 2681925 256756 3179 1 0 2644416 0
[pid=1227/tid=1229] ppid=1224 vsize=10727700 memory=15261432669275616 CPUtime=2392.13 cores=0,2,4,6
/proc/1227/task/1229/stat : 1229 (java) R 1224 1227 32641 0 -1 4202560 21679 0 0 0 239200 13 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397387484480 140396999127331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1230] ppid=1224 vsize=10727700 memory=1576 CPUtime=0.69 cores=0,2,4,6
/proc/1227/task/1230/stat : 1230 (java) S 1224 1227 32641 0 -1 1077944384 1052 0 0 0 56 13 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397319936784 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1231] ppid=1224 vsize=10727700 memory=928 CPUtime=0.69 cores=0,2,4,6
/proc/1227/task/1231/stat : 1231 (java) S 1224 1227 32641 0 -1 1077944384 1331 0 0 0 57 12 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397318884240 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1232] ppid=1224 vsize=10727700 memory=2240 CPUtime=0.68 cores=0,2,4,6
/proc/1227/task/1232/stat : 1232 (java) S 1224 1227 32641 0 -1 1077944384 777 0 0 0 56 12 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397317831696 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1233] ppid=1224 vsize=10727700 memory=4124 CPUtime=0.7 cores=0,2,4,6
/proc/1227/task/1233/stat : 1233 (java) S 1224 1227 32641 0 -1 1077944384 1363 0 0 0 57 13 0 0 20 0 16 0 44314278 10985164800 256756 33554432000 4194304 4196468 140736062936352 140397316779152 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1234] ppid=1224 vsize=10727700 memory=2200 CPUtime=0.16 cores=0,2,4,6
/proc/1227/task/1234/stat : 1234 (java) S 1224 1227 32641 0 -1 1077944384 5996 0 0 0 14 2 0 0 20 0 16 0 44314280 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396485949424 140397383256706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1235] ppid=1224 vsize=10727700 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1235/stat : 1235 (java) S 1224 1227 32641 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 44314280 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396484895712 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1236] ppid=1224 vsize=10727700 memory=840 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1236/stat : 1236 (java) S 1224 1227 32641 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 44314280 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396483843072 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1237] ppid=1224 vsize=10727700 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1237/stat : 1237 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396482791632 140397383264155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1238] ppid=1224 vsize=10727700 memory=916 CPUtime=1.49 cores=0,2,4,6
/proc/1227/task/1238/stat : 1238 (java) S 1224 1227 32641 0 -1 1077944384 10533 0 0 0 147 2 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396481739248 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1239] ppid=1224 vsize=10727700 memory=3848 CPUtime=1.55 cores=0,2,4,6
/proc/1227/task/1239/stat : 1239 (java) S 1224 1227 32641 0 -1 1077944384 10352 0 0 0 153 2 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396480686704 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1240] ppid=1224 vsize=10727700 memory=2588 CPUtime=0.43 cores=0,2,4,6
/proc/1227/task/1240/stat : 1240 (java) S 1224 1227 32641 0 -1 1077944384 5409 0 0 0 42 1 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396479634160 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1241] ppid=1224 vsize=10727700 memory=1027024 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1241/stat : 1241 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396478581856 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1242] ppid=1224 vsize=10727700 memory=1027024 CPUtime=1.39 cores=0,2,4,6
/proc/1227/task/1242/stat : 1242 (java) S 1224 1227 32641 0 -1 1077944384 2576 0 0 0 69 70 0 0 20 0 16 0 44314283 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396477528368 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1243] ppid=1224 vsize=10727700 memory=15261432669275616 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1243/stat : 1243 (java) S 1224 1227 32641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44314404 10985164800 256756 33554432000 4194304 4196468 140736062936352 140396474377008 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1027024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2393.44 s]
# the end of solver process 1227 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.79 s, system=1.28514 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.4 s]
/proc/loadavg: 2.04 2.04 2.07 3/218 1426
/proc/meminfo: memFree=20304304/32770624 swapFree=67108860/67108860
[pid=1227] ppid=1224 vsize=10927392 memory=1027256 CPUtime=2400.03 cores=0,2,4,6
/proc/1227/stat : 1227 (java) S 1224 1227 32641 0 -1 1077944320 63022 0 0 0 239875 128 0 0 20 0 17 0 44314277 11189649408 256814 33554432000 4194304 4196468 140736062936352 140736062918896 140397383245559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
/proc/1227/statm: 2731848 256814 3182 1 0 2694339 0
[pid=1227/tid=1229] ppid=1224 vsize=10927392 memory=7165352523810944057 CPUtime=2392.14 cores=0,2,4,6
/proc/1227/task/1229/stat : 1229 (java) S 1224 1227 32641 0 -1 1077944384 21713 0 0 0 239201 13 0 0 20 0 17 0 44314278 11189649408 256814 33554432000 4194304 4196468 140736062936352 140397387488432 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1230] ppid=1224 vsize=10927392 memory=7165352523810747961 CPUtime=0.69 cores=0,2,4,6
/proc/1227/task/1230/stat : 1230 (java) S 1224 1227 32641 0 -1 1077944384 1052 0 0 0 56 13 0 0 20 0 17 0 44314278 11189649408 256814 33554432000 4194304 4196468 140736062936352 140397319936784 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1231] ppid=1224 vsize=10927392 memory=7165352523811141689 CPUtime=0.69 cores=0,2,4,6
/proc/1227/task/1231/stat : 1231 (java) S 1224 1227 32641 0 -1 1077944384 1331 0 0 0 57 12 0 0 20 0 17 0 44314278 11189649408 256814 33554432000 4194304 4196468 140736062936352 140397318884240 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1232] ppid=1224 vsize=10927392 memory=7883313791549059377 CPUtime=0.68 cores=0,2,4,6
/proc/1227/task/1232/stat : 1232 (java) S 1224 1227 32641 0 -1 1077944384 777 0 0 0 56 12 0 0 20 0 17 0 44314278 11189649408 256814 33554432000 4194304 4196468 140736062936352 140397317831696 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1233] ppid=1224 vsize=10927392 memory=7526543310001761893 CPUtime=0.7 cores=0,2,4,6
/proc/1227/task/1233/stat : 1233 (java) S 1224 1227 32641 0 -1 1077944384 1363 0 0 0 57 13 0 0 20 0 17 0 44314278 11189649408 256814 33554432000 4194304 4196468 140736062936352 140397316779152 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1234] ppid=1224 vsize=10927392 memory=8463010557534891653 CPUtime=0.16 cores=0,2,4,6
/proc/1227/task/1234/stat : 1234 (java) S 1224 1227 32641 0 -1 1077944384 5996 0 0 0 14 2 0 0 20 0 17 0 44314280 11189649408 256814 33554432000 4194304 4196468 140736062936352 140396485949424 140397383256706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1235] ppid=1224 vsize=10927392 memory=7019606877012800833 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1235/stat : 1235 (java) S 1224 1227 32641 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 44314280 11189649408 256814 33554432000 4194304 4196468 140736062936352 140396484895712 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1236] ppid=1224 vsize=10927392 memory=7597616690170442545 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1236/stat : 1236 (java) S 1224 1227 32641 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 44314280 11189649408 256814 33554432000 4194304 4196468 140736062936352 140396483843072 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1237] ppid=1224 vsize=10927392 memory=8104553123210081073 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1237/stat : 1237 (java) S 1224 1227 32641 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 17 0 44314283 11189649408 256814 33554432000 4194304 4196468 140736062936352 140396482791632 140397383264155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1238] ppid=1224 vsize=10927392 memory=7526543310035185893 CPUtime=1.49 cores=0,2,4,6
/proc/1227/task/1238/stat : 1238 (java) S 1224 1227 32641 0 -1 1077944384 10533 0 0 0 147 2 0 0 20 0 17 0 44314283 11189649408 256814 33554432000 4194304 4196468 140736062936352 140396481739248 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1239] ppid=1224 vsize=10927392 memory=8463010557568315653 CPUtime=1.55 cores=0,2,4,6
/proc/1227/task/1239/stat : 1239 (java) S 1224 1227 32641 0 -1 1077944384 10352 0 0 0 153 2 0 0 20 0 17 0 44314283 11189649408 256814 33554432000 4194304 4196468 140736062936352 140396480686704 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1240] ppid=1224 vsize=10927392 memory=7162524756873471589 CPUtime=0.43 cores=0,2,4,6
/proc/1227/task/1240/stat : 1240 (java) S 1224 1227 32641 0 -1 1077944384 5462 0 0 0 42 1 0 0 20 0 17 0 44314283 11189649408 256814 33554432000 4194304 4196468 140736062936352 140396479634160 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1241] ppid=1224 vsize=10927392 memory=7162524756873471589 CPUtime=0 cores=0,2,4,6
/proc/1227/task/1241/stat : 1241 (java) S 1224 1227 32641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 44314283 11189649408 256814 33554432000 4194304 4196468 140736062936352 140396478581856 140397383255765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
[pid=1227/tid=1242] ppid=1224 vsize=10927392 memory=279578065267712 CPUtime=1.39 cores=0,2,4,6
/proc/1227/task/1242/stat : 1242 (java) S 1224 1227 32641 0 -1 1077944384 2576 0 0 0 69 70 0 0 20 0 17 0 44314283 11189649408 256814 33554432000 4194304 4196468 140736062936352 140396477528368 140397383256706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15233024 140736062940273 140736062940425 140736062940425 140736062943183 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1027256 KiB
Child status: 143
Real time (s): 2393.44
CPU time (s): 2400.07
CPU user time (s): 2398.79
CPU system time (s): 1.28514
CPU usage (%): 100.277
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1027256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.79
system time used= 1.28514
maximum resident set size= 1027580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54316
involuntary context switches= 3311
# summary of solver processes directly reported to runsolver:
# pid: 1227
# total CPU time (s): 2400.07
# total CPU user time (s): 2398.79
# total CPU system time (s): 1.28514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6748 second user time and 23.2002 second system time
The end