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 (15205 MiB free)
memory of node 1: 16384 MiB (15429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273590-1502812315/watcher-4273590-1502812315 -o /tmp/evaluation-result-4273590-1502812315/solver-4273590-1502812315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1474289620 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273590-1502812315.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21247, runsolver pid=21244
[startup+0.10019 s]*
/proc/loadavg: 1.47 1.38 1.37 3/200 21253
/proc/meminfo: memFree=31364256/32770624 swapFree=67108860/67108860
[pid=21247] ppid=21244 vsize=13507100 memory=16260 CPUtime=0.02 cores=0,2,4,6
/proc/21247/stat : 21247 (java) S 21244 21247 2357 0 -1 1077944320 3930 0 0 0 2 0 0 0 20 0 8 0 8846630 13831270400 4065 18446744073709551615 4194304 4196468 140725612563568 140725612546112 139846506381047 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
/proc/21247/statm: 3376775 4065 2058 1 0 3366272 0
[pid=21247/tid=21249] ppid=21244 vsize=13507100 memory=-6439968830534014599 CPUtime=0.02 cores=0,2,4,6
/proc/21247/task/21249/stat : 21249 (java) R 21244 21247 2357 0 -1 4202560 2580 0 0 0 2 0 0 0 20 0 8 0 8846639 13831270400 4065 18446744073709551615 4194304 4196468 140725612563568 139846510614184 139846098169644 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21250] ppid=21244 vsize=13507100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21250/stat : 21250 (java) S 21244 21247 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 8846639 13831270400 4065 18446744073709551615 4194304 4196468 140725612563568 139846425794832 139846506391253 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21251] ppid=21244 vsize=13507100 memory=139770248869504 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21251/stat : 21251 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 8846639 13831270400 4065 18446744073709551615 4194304 4196468 140725612563568 139846424742288 139846506391253 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21252] ppid=21244 vsize=13507100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21252/stat : 21252 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 8846639 13831270400 4065 18446744073709551615 4194304 4196468 140725612563568 139846423689744 139846506391253 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21253] ppid=21244 vsize=13507100 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21253/stat : 21253 (java) S 21244 21247 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 8846639 13831270400 4065 18446744073709551615 4194304 4196468 140725612563568 139846422637200 139846506391253 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21254] ppid=21244 vsize=13507100 memory=139770248869504 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21254/stat : 21254 (java) S 21244 21247 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 8846641 13831270400 4065 18446744073709551615 4194304 4196468 140725612563568 139845691984368 139846506392194 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21255] ppid=21244 vsize=13508128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21255/stat : 21255 (java) S 21244 21247 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 8 0 8846641 13832323072 4065 18446744073709551615 4194304 4196468 140725612563568 139845690930592 139846506391253 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21256] ppid=21244 vsize=13508128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21256/stat : 21256 (java) R 21244 21247 2357 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 9 0 8846641 13832323072 4065 18446744073709551615 4194304 4196468 140725612563568 139846510614184 139846499120897 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13507100 KiB
Current children cumulated memory: 16260 KiB
[startup+0.209967 s]*
/proc/loadavg: 1.47 1.38 1.37 4/209 21262
/proc/meminfo: memFree=31354188/32770624 swapFree=67108860/67108860
[pid=21247] ppid=21244 vsize=13976944 memory=34536 CPUtime=0.12 cores=0,2,4,6
/proc/21247/stat : 21247 (java) S 21244 21247 2357 0 -1 1077944320 9135 0 0 0 10 2 0 0 20 0 15 0 8846630 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 140725612546112 139846506381047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
/proc/21247/statm: 3494236 8634 3385 1 0 3483015 0
[pid=21247/tid=21249] ppid=21244 vsize=13976944 memory=7077796292425249400 CPUtime=0.09 cores=0,2,4,6
/proc/21247/task/21249/stat : 21249 (java) R 21244 21247 2357 0 -1 4202560 7079 0 0 0 8 1 0 0 20 0 15 0 8846639 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139846510570496 139846499060765 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21250] ppid=21244 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21250/stat : 21250 (java) S 21244 21247 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8846639 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139846425794832 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21251] ppid=21244 vsize=13976944 memory=139770248869504 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21251/stat : 21251 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846639 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139846424742288 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21252] ppid=21244 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21252/stat : 21252 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846639 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139846423689744 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21253] ppid=21244 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21253/stat : 21253 (java) S 21244 21247 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8846639 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139846422637200 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21254] ppid=21244 vsize=13976944 memory=139770248869504 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21254/stat : 21254 (java) S 21244 21247 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8846641 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139845691984368 139846506392194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21255] ppid=21244 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21255/stat : 21255 (java) S 21244 21247 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8846641 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139845690930592 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21256] ppid=21244 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21256/stat : 21256 (java) S 21244 21247 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8846641 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139845689878000 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21257] ppid=21244 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21257/stat : 21257 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139845688826576 139846506399643 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21258] ppid=21244 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21258/stat : 21258 (java) S 21244 21247 2357 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 8846644 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139845687773168 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21259] ppid=21244 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21259/stat : 21259 (java) S 21244 21247 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8846644 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139845686720624 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21260] ppid=21244 vsize=13976944 memory=139770248869504 CPUtime=0.01 cores=0,2,4,6
/proc/21247/task/21260/stat : 21260 (java) S 21244 21247 2357 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 15 0 8846644 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139845685668080 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21261] ppid=21244 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21261/stat : 21261 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139845684615776 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21262] ppid=21244 vsize=13976944 memory=139770248869504 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21262/stat : 21262 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846648 14312390656 8634 18446744073709551615 4194304 4196468 140725612563568 139845683563312 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 34536 KiB
[startup+0.311527 s]*
/proc/loadavg: 1.47 1.38 1.37 3/209 21262
/proc/meminfo: memFree=31343996/32770624 swapFree=67108860/67108860
[pid=21247] ppid=21244 vsize=13975920 memory=43012 CPUtime=0.28 cores=0,2,4,6
/proc/21247/stat : 21247 (java) S 21244 21247 2357 0 -1 1077944320 10929 0 0 0 25 3 0 0 20 0 15 0 8846630 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 140725612546112 139846506381047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
/proc/21247/statm: 3493980 10753 3603 1 0 3482759 0
[pid=21247/tid=21249] ppid=21244 vsize=13975920 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/21247/task/21249/stat : 21249 (java) R 21244 21247 2357 0 -1 4202560 8466 0 0 0 16 3 0 0 20 0 15 0 8846639 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139846510593776 139846490461534 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21250] ppid=21244 vsize=13975920 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21250/stat : 21250 (java) S 21244 21247 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8846639 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139846425794832 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21251] ppid=21244 vsize=13975920 memory=-6519619645245871518 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21251/stat : 21251 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846639 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139846424742288 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21252] ppid=21244 vsize=13975920 memory=-8182008474416553333 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21252/stat : 21252 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846639 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139846423689744 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21253] ppid=21244 vsize=13975920 memory=8110268428378128441 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21253/stat : 21253 (java) S 21244 21247 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8846639 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139846422637200 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21254] ppid=21244 vsize=13975920 memory=1398720917958146503 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21254/stat : 21254 (java) S 21244 21247 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8846641 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139845691984368 139846506392194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21255] ppid=21244 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21255/stat : 21255 (java) S 21244 21247 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8846641 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139845690930592 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21256] ppid=21244 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21256/stat : 21256 (java) S 21244 21247 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8846641 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139845689878000 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21257] ppid=21244 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21257/stat : 21257 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139845688826576 139846506399643 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21258] ppid=21244 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21247/task/21258/stat : 21258 (java) R 21244 21247 2357 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 15 0 8846644 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139845687773168 139846506392194 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21259] ppid=21244 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21247/task/21259/stat : 21259 (java) R 21244 21247 2357 0 -1 4202560 210 0 0 0 1 0 0 0 20 0 15 0 8846644 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139845686720624 139846487081344 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21260] ppid=21244 vsize=13975920 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/21247/task/21260/stat : 21260 (java) R 21244 21247 2357 0 -1 4202560 466 0 0 0 5 0 0 0 20 0 15 0 8846644 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139845685668080 139846506402394 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21261] ppid=21244 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21261/stat : 21261 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139845684615776 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21262] ppid=21244 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21262/stat : 21262 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846648 14311342080 10753 18446744073709551615 4194304 4196468 140725612563568 139845683563312 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43012 KiB
[startup+0.703251 s]
/proc/loadavg: 1.47 1.38 1.37 3/209 21262
/proc/meminfo: memFree=31329280/32770624 swapFree=67108860/67108860
[pid=21247] ppid=21244 vsize=13977988 memory=108884 CPUtime=1.14 cores=0,2,4,6
/proc/21247/stat : 21247 (java) S 21244 21247 2357 0 -1 1077944320 14720 0 0 0 107 7 0 0 20 0 15 0 8846630 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 140725612546112 139846506381047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
/proc/21247/statm: 3494497 27221 3727 1 0 3483271 0
[pid=21247/tid=21249] ppid=21244 vsize=13977988 memory=2541614008065 CPUtime=0.57 cores=0,2,4,6
/proc/21247/task/21249/stat : 21249 (java) R 21244 21247 2357 0 -1 4202560 10251 0 0 0 51 6 0 0 20 0 15 0 8846639 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139846510608448 139846506402973 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21250] ppid=21244 vsize=13977988 memory=2563088844545 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21250/stat : 21250 (java) S 21244 21247 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8846639 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139846425794832 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21251] ppid=21244 vsize=13977988 memory=2571678779137 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21251/stat : 21251 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846639 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139846424742288 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21252] ppid=21244 vsize=13977988 memory=448874192 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21252/stat : 21252 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846639 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139846423689744 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21253] ppid=21244 vsize=13977988 memory=-8556738499077758064 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21253/stat : 21253 (java) S 21244 21247 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8846639 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139846422637200 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21254] ppid=21244 vsize=13977988 memory=7956285308106002773 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21254/stat : 21254 (java) S 21244 21247 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139845691984368 139846506392194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21255] ppid=21244 vsize=13977988 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21255/stat : 21255 (java) S 21244 21247 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139845690930592 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21256] ppid=21244 vsize=13977988 memory=279540228452064 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21256/stat : 21256 (java) S 21244 21247 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139845689878000 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21257] ppid=21244 vsize=13977988 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21257/stat : 21257 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139845688826576 139846506399643 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21258] ppid=21244 vsize=13977988 memory=14128948577568424 CPUtime=0.2 cores=0,2,4,6
/proc/21247/task/21258/stat : 21258 (java) S 21244 21247 2357 0 -1 1077944384 1488 0 0 0 20 0 0 0 20 0 15 0 8846644 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139845687773168 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21259] ppid=21244 vsize=13977988 memory=8684 CPUtime=0.17 cores=0,2,4,6
/proc/21247/task/21259/stat : 21259 (java) S 21244 21247 2357 0 -1 1077944384 815 0 0 0 17 0 0 0 20 0 15 0 8846644 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139845686720624 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21260] ppid=21244 vsize=13977988 memory=1200 CPUtime=0.18 cores=0,2,4,6
/proc/21247/task/21260/stat : 21260 (java) S 21244 21247 2357 0 -1 1077944384 784 0 0 0 18 0 0 0 20 0 15 0 8846644 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139845685668080 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21261] ppid=21244 vsize=13977988 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21261/stat : 21261 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139845684615776 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21262] ppid=21244 vsize=13977988 memory=4016 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21262/stat : 21262 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846648 14313459712 27221 18446744073709551615 4194304 4196468 140725612563568 139845683563312 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 108884 KiB
[startup+1.50097 s]
/proc/loadavg: 1.47 1.38 1.37 5/209 21262
/proc/meminfo: memFree=31206072/32770624 swapFree=67108860/67108860
[pid=21247] ppid=21244 vsize=13977988 memory=306928 CPUtime=3.35 cores=0,2,4,6
/proc/21247/stat : 21247 (java) S 21244 21247 2357 0 -1 1077944320 16937 0 0 0 317 18 0 0 20 0 15 0 8846630 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 140725612546112 139846506381047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
/proc/21247/statm: 3494497 76732 3784 1 0 3483271 0
[pid=21247/tid=21249] ppid=21244 vsize=13977988 memory=74 CPUtime=1.3 cores=0,2,4,6
/proc/21247/task/21249/stat : 21249 (java) R 21244 21247 2357 0 -1 4202560 10456 0 0 0 122 8 0 0 20 0 15 0 8846639 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139846510615920 139846098242544 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21250] ppid=21244 vsize=13977988 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/21247/task/21250/stat : 21250 (java) S 21244 21247 2357 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 15 0 8846639 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139846425794832 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21251] ppid=21244 vsize=13977988 memory=115 CPUtime=0.03 cores=0,2,4,6
/proc/21247/task/21251/stat : 21251 (java) S 21244 21247 2357 0 -1 1077944384 60 0 0 0 2 1 0 0 20 0 15 0 8846639 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139846424742288 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21252] ppid=21244 vsize=13977988 memory=16 CPUtime=0.06 cores=0,2,4,6
/proc/21247/task/21252/stat : 21252 (java) S 21244 21247 2357 0 -1 1077944384 82 0 0 0 4 2 0 0 20 0 15 0 8846639 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139846423689744 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21253] ppid=21244 vsize=13977988 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21247/task/21253/stat : 21253 (java) S 21244 21247 2357 0 -1 1077944384 70 0 0 0 5 2 0 0 20 0 15 0 8846639 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139846422637200 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21254] ppid=21244 vsize=13977988 memory=6 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21254/stat : 21254 (java) S 21244 21247 2357 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139845691984368 139846506392194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21255] ppid=21244 vsize=13977988 memory=3 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21255/stat : 21255 (java) S 21244 21247 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139845690930592 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21256] ppid=21244 vsize=13977988 memory=6 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21256/stat : 21256 (java) S 21244 21247 2357 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139845689878000 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21257] ppid=21244 vsize=13977988 memory=7 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21257/stat : 21257 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139845688826576 139846506399643 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21258] ppid=21244 vsize=13977988 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/21247/task/21258/stat : 21258 (java) S 21244 21247 2357 0 -1 1077944384 1828 0 0 0 72 0 0 0 20 0 15 0 8846644 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139845687773168 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21259] ppid=21244 vsize=13977988 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/21247/task/21259/stat : 21259 (java) S 21244 21247 2357 0 -1 1077944384 1769 0 0 0 72 0 0 0 20 0 15 0 8846644 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139845686720624 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21260] ppid=21244 vsize=13977988 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/21247/task/21260/stat : 21260 (java) S 21244 21247 2357 0 -1 1077944384 1107 0 0 0 33 0 0 0 20 0 15 0 8846644 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139845685668080 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21261] ppid=21244 vsize=13977988 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21261/stat : 21261 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139845684615776 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21262] ppid=21244 vsize=13977988 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21262/stat : 21262 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846648 14313459712 76732 18446744073709551615 4194304 4196468 140725612563568 139845683563312 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
Current children cumulated CPU time: 3.35 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 306928 KiB
[startup+2.22057 s]
# the end of solver process 21247 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.95853 s, system=0.232984 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60083 s]
/proc/loadavg: 1.47 1.38 1.37 5/209 21262
/proc/meminfo: memFree=31206072/32770624 swapFree=67108860/67108860
[pid=21247] ppid=21244 vsize=13977988 memory=314228 CPUtime=3.6 cores=0,2,4,6
/proc/21247/stat : 21247 (java) S 21244 21247 2357 0 -1 1077944320 17279 0 0 0 341 19 0 0 20 0 15 0 8846630 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 140725612546112 139846506381047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
/proc/21247/statm: 3494497 78557 3784 1 0 3483271 0
[pid=21247/tid=21249] ppid=21244 vsize=13977988 memory=6944656592455097440 CPUtime=1.39 cores=0,2,4,6
/proc/21247/task/21249/stat : 21249 (java) R 21244 21247 2357 0 -1 4202560 10582 0 0 0 131 8 0 0 20 0 15 0 8846639 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139846510614784 139846101716668 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21250] ppid=21244 vsize=13977988 memory=6655300316396806240 CPUtime=0.06 cores=0,2,4,6
/proc/21247/task/21250/stat : 21250 (java) S 21244 21247 2357 0 -1 1077944384 107 0 0 0 4 2 0 0 20 0 15 0 8846639 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139846425794832 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21251] ppid=21244 vsize=13977988 memory=279540228440496 CPUtime=0.03 cores=0,2,4,6
/proc/21247/task/21251/stat : 21251 (java) S 21244 21247 2357 0 -1 1077944384 60 0 0 0 2 1 0 0 20 0 15 0 8846639 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139846424742288 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21252] ppid=21244 vsize=13977988 memory=1156 CPUtime=0.06 cores=0,2,4,6
/proc/21247/task/21252/stat : 21252 (java) S 21244 21247 2357 0 -1 1077944384 82 0 0 0 4 2 0 0 20 0 15 0 8846639 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139846423689744 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21253] ppid=21244 vsize=13977988 memory=2400 CPUtime=0.07 cores=0,2,4,6
/proc/21247/task/21253/stat : 21253 (java) S 21244 21247 2357 0 -1 1077944384 70 0 0 0 5 2 0 0 20 0 15 0 8846639 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139846422637200 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21254] ppid=21244 vsize=13977988 memory=190680 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21254/stat : 21254 (java) S 21244 21247 2357 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139845691984368 139846506392194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21255] ppid=21244 vsize=13977988 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21255/stat : 21255 (java) S 21244 21247 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139845690930592 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21256] ppid=21244 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21256/stat : 21256 (java) S 21244 21247 2357 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139845689878000 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21257] ppid=21244 vsize=13977988 memory=11204 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21257/stat : 21257 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139845688826576 139846506399643 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21258] ppid=21244 vsize=13977988 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/21247/task/21258/stat : 21258 (java) R 21244 21247 2357 0 -1 4202560 1845 0 0 0 75 0 0 0 20 0 15 0 8846644 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139845687758128 139846487080560 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21259] ppid=21244 vsize=13977988 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/21247/task/21259/stat : 21259 (java) R 21244 21247 2357 0 -1 4202560 1789 0 0 0 76 0 0 0 20 0 15 0 8846644 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139845686707408 139846487902391 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21260] ppid=21244 vsize=13977988 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/21247/task/21260/stat : 21260 (java) S 21244 21247 2357 0 -1 1077944384 1286 0 0 0 39 0 0 0 20 0 15 0 8846644 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139845685668080 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21261] ppid=21244 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21261/stat : 21261 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139845684615776 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21262] ppid=21244 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21262/stat : 21262 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846648 14313459712 78557 18446744073709551615 4194304 4196468 140725612563568 139845683563312 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
Current children cumulated CPU time: 3.6 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 314228 KiB
[startup+2.00078 s]*
/proc/loadavg: 1.59 1.41 1.38 3/209 21262
/proc/meminfo: memFree=30981916/32770624 swapFree=67108860/67108860
[pid=21247] ppid=21244 vsize=13977988 memory=404224 CPUtime=4.84 cores=0,2,4,6
/proc/21247/stat : 21247 (java) S 21244 21247 2357 0 -1 1077944320 18292 0 0 0 462 22 0 0 20 0 15 0 8846630 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 140725612546112 139846506381047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
/proc/21247/statm: 3494497 101056 3798 1 0 3483271 0
[pid=21247/tid=21249] ppid=21244 vsize=13977988 memory=7077796292425249400 CPUtime=1.76 cores=0,2,4,6
/proc/21247/task/21249/stat : 21249 (java) R 21244 21247 2357 0 -1 4202560 10616 0 0 0 168 8 0 0 20 0 15 0 8846639 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139846510618064 139846491462046 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21250] ppid=21244 vsize=13977988 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21247/task/21250/stat : 21250 (java) S 21244 21247 2357 0 -1 1077944384 121 0 0 0 7 2 0 0 20 0 15 0 8846639 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139846425794832 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21251] ppid=21244 vsize=13977988 memory=139770248869504 CPUtime=0.07 cores=0,2,4,6
/proc/21247/task/21251/stat : 21251 (java) S 21244 21247 2357 0 -1 1077944384 74 0 0 0 5 2 0 0 20 0 15 0 8846639 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139846424742288 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21252] ppid=21244 vsize=13977988 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21247/task/21252/stat : 21252 (java) S 21244 21247 2357 0 -1 1077944384 133 0 0 0 5 2 0 0 20 0 15 0 8846639 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139846423689744 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21253] ppid=21244 vsize=13977988 memory=8242257093008242740 CPUtime=0.08 cores=0,2,4,6
/proc/21247/task/21253/stat : 21253 (java) S 21244 21247 2357 0 -1 1077944384 80 0 0 0 6 2 0 0 20 0 15 0 8846639 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139846422637200 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21254] ppid=21244 vsize=13977988 memory=4049779844806799280 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21254/stat : 21254 (java) S 21244 21247 2357 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139845691984368 139846506392194 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21255] ppid=21244 vsize=13977988 memory=667679 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21255/stat : 21255 (java) S 21244 21247 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139845690930656 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21256] ppid=21244 vsize=13977988 memory=-9104156803730873717 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21256/stat : 21256 (java) S 21244 21247 2357 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 8846641 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139845689878000 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21257] ppid=21244 vsize=13977988 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21257/stat : 21257 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139845688826576 139846506399643 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21258] ppid=21244 vsize=13977988 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/21247/task/21258/stat : 21258 (java) S 21244 21247 2357 0 -1 1077944384 2221 0 0 0 112 0 0 0 20 0 15 0 8846644 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139845687773168 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21259] ppid=21244 vsize=13977988 memory=3472323898181169199 CPUtime=1.12 cores=0,2,4,6
/proc/21247/task/21259/stat : 21259 (java) S 21244 21247 2357 0 -1 1077944384 2127 0 0 0 112 0 0 0 20 0 15 0 8846644 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139845686720624 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21260] ppid=21244 vsize=13977988 memory=4116490527084965814 CPUtime=0.42 cores=0,2,4,6
/proc/21247/task/21260/stat : 21260 (java) S 21244 21247 2357 0 -1 1077944384 1336 0 0 0 42 0 0 0 20 0 15 0 8846644 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139845685668080 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21261] ppid=21244 vsize=13977988 memory=6199840864897871924 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21261/stat : 21261 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139845684615776 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21262] ppid=21244 vsize=13977988 memory=3472467899144021200 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21262/stat : 21262 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846648 14313459712 101056 18446744073709551615 4194304 4196468 140725612563568 139845683563312 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 404224 KiB
[startup+2.20273 s]
/proc/loadavg: 1.59 1.41 1.38 3/209 21262
/proc/meminfo: memFree=30981916/32770624 swapFree=67108860/67108860
[pid=21247] ppid=21244 vsize=13980036 memory=407324 CPUtime=5.17 cores=0,2,4,6
/proc/21247/stat : 21247 (java) S 21244 21247 2357 0 -1 1077944320 19083 0 0 0 495 22 0 0 20 0 15 0 8846630 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 140725612546112 139846506381047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
/proc/21247/statm: 3495009 101831 3799 1 0 3483783 0
[pid=21247/tid=21249] ppid=21244 vsize=13980036 memory=301741394966621493 CPUtime=1.96 cores=0,2,4,6
/proc/21247/task/21249/stat : 21249 (java) R 21244 21247 2357 0 -1 4202560 11307 0 0 0 187 9 0 0 20 0 15 0 8846639 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139846510615936 139846491546686 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21250] ppid=21244 vsize=13980036 memory=87997 CPUtime=0.09 cores=0,2,4,6
/proc/21247/task/21250/stat : 21250 (java) S 21244 21247 2357 0 -1 1077944384 121 0 0 0 7 2 0 0 20 0 15 0 8846639 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139846425794832 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21251] ppid=21244 vsize=13980036 memory=5792570720846829153 CPUtime=0.07 cores=0,2,4,6
/proc/21247/task/21251/stat : 21251 (java) S 21244 21247 2357 0 -1 1077944384 74 0 0 0 5 2 0 0 20 0 15 0 8846639 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139846424742288 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21252] ppid=21244 vsize=13980036 memory=8470556299110360193 CPUtime=0.07 cores=0,2,4,6
/proc/21247/task/21252/stat : 21252 (java) S 21244 21247 2357 0 -1 1077944384 133 0 0 0 5 2 0 0 20 0 15 0 8846639 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139846423689744 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21253] ppid=21244 vsize=13980036 memory=4629546024076873078 CPUtime=0.08 cores=0,2,4,6
/proc/21247/task/21253/stat : 21253 (java) S 21244 21247 2357 0 -1 1077944384 80 0 0 0 6 2 0 0 20 0 15 0 8846639 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139846422637200 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21254] ppid=21244 vsize=13980036 memory=4134606225630022328 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21254/stat : 21254 (java) S 21244 21247 2357 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 8846641 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139845691984368 139846506392194 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21255] ppid=21244 vsize=13980036 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21255/stat : 21255 (java) S 21244 21247 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8846641 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139845690930656 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21256] ppid=21244 vsize=13980036 memory=7232886968738802340 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21256/stat : 21256 (java) S 21244 21247 2357 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 8846641 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139845689878000 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21257] ppid=21244 vsize=13980036 memory=-6876588627878687573 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21257/stat : 21257 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139845688826576 139846506399643 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21258] ppid=21244 vsize=13980036 memory=8187704045996132563 CPUtime=1.17 cores=0,2,4,6
/proc/21247/task/21258/stat : 21258 (java) R 21244 21247 2357 0 -1 4202560 2249 0 0 0 117 0 0 0 20 0 15 0 8846644 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139845687766192 139846506402394 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21259] ppid=21244 vsize=13980036 memory=-2895008908443675764 CPUtime=1.18 cores=0,2,4,6
/proc/21247/task/21259/stat : 21259 (java) R 21244 21247 2357 0 -1 4202560 2146 0 0 0 118 0 0 0 20 0 15 0 8846644 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139845686720752 139846506402394 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21260] ppid=21244 vsize=13980036 memory=6943526294502006880 CPUtime=0.45 cores=0,2,4,6
/proc/21247/task/21260/stat : 21260 (java) R 21244 21247 2357 0 -1 1077944384 1389 0 0 0 45 0 0 0 20 0 15 0 8846644 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139845685668080 139846506392194 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21261] ppid=21244 vsize=13980036 memory=-8253362664378451622 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21261/stat : 21261 (java) S 21244 21247 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8846644 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139845684615776 139846506391253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
[pid=21247/tid=21262] ppid=21244 vsize=13980036 memory=7440904711408594991 CPUtime=0 cores=0,2,4,6
/proc/21247/task/21262/stat : 21262 (java) S 21244 21247 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8846648 14315556864 101831 18446744073709551615 4194304 4196468 140725612563568 139845683563312 139846506392194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28803072 140725612568945 140725612569132 140725612569132 140725612572623 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 407324 KiB
Child status: 0
Real time (s): 2.22061
CPU time (s): 5.19151
CPU user time (s): 4.95853
CPU system time (s): 0.232984
CPU usage (%): 233.788
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 407324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.95853
system time used= 0.232984
maximum resident set size= 408408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2235
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 21247
# total CPU time (s): 5.19151
# total CPU user time (s): 4.95853
# total CPU system time (s): 0.232984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042891 second user time and 0.058035 second system time
The end