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 (8392 MiB free)
memory of node 1: 16384 MiB (15189 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273960-1502744383/watcher-4273960-1502744383 -o /tmp/evaluation-result-4273960-1502744383/solver-4273960-1502744383 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 723223566 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273960-1502744383.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21211, runsolver pid=21208
[startup+0.100093 s]*
/proc/loadavg: 2.26 2.05 1.83 3/205 21217
/proc/meminfo: memFree=24143236/32770624 swapFree=67108860/67108860
[pid=21211] ppid=21208 vsize=13440536 memory=15724 CPUtime=0.01 cores=1,3,5,7
/proc/21211/stat : 21211 (java) S 21208 21211 8289 0 -1 1077944320 3767 0 0 0 1 0 0 0 20 0 7 0 122253461 13763108864 3931 18446744073709551615 4194304 4196468 140721339516080 140721339498624 140264816754423 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
/proc/21211/statm: 3360134 3931 2011 1 0 3349631 0
[pid=21211/tid=21213] ppid=21208 vsize=13440536 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/21211/task/21213/stat : 21213 (java) R 21208 21211 8289 0 -1 4202560 2458 0 0 0 1 0 0 0 20 0 7 0 122253470 13763108864 3931 18446744073709551615 4194304 4196468 140721339516080 140264820996880 140264800834910 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21214] ppid=21208 vsize=13440536 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21214/stat : 21214 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 122253470 13763108864 3931 18446744073709551615 4194304 4196468 140721339516080 140264417192720 140264816764629 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21215] ppid=21208 vsize=13440536 memory=140673228633728 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21215/stat : 21215 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 122253470 13763108864 3931 18446744073709551615 4194304 4196468 140721339516080 140264416140176 140264816764629 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21216] ppid=21208 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21216/stat : 21216 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 122253470 13763108864 3931 18446744073709551615 4194304 4196468 140721339516080 140264415087632 140264816764629 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21217] ppid=21208 vsize=13440536 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21217/stat : 21217 (java) S 21208 21211 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 122253470 13763108864 3931 18446744073709551615 4194304 4196468 140721339516080 140264414035088 140264816764629 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21218] ppid=21208 vsize=13440536 memory=140673228633728 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21218/stat : 21218 (java) S 21208 21211 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 122253472 13763108864 3931 18446744073709551615 4194304 4196468 140721339516080 140264295327728 140264816765570 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 15724 KiB
[startup+0.21008 s]*
/proc/loadavg: 2.26 2.05 1.83 4/214 21226
/proc/meminfo: memFree=24134956/32770624 swapFree=67108860/67108860
[pid=21211] ppid=21208 vsize=13975920 memory=30544 CPUtime=0.09 cores=1,3,5,7
/proc/21211/stat : 21211 (java) S 21208 21211 8289 0 -1 1077944320 6929 0 0 0 8 1 0 0 20 0 15 0 122253461 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140721339498624 140264816754423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
/proc/21211/statm: 3493980 7636 3369 1 0 3482759 0
[pid=21211/tid=21213] ppid=21208 vsize=13975920 memory=7077796292425249400 CPUtime=0.07 cores=1,3,5,7
/proc/21211/task/21213/stat : 21213 (java) R 21208 21211 8289 0 -1 4202560 4961 0 0 0 6 1 0 0 20 0 15 0 122253470 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264820983800 140264816776349 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21214] ppid=21208 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21214/stat : 21214 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264417192720 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21215] ppid=21208 vsize=13975920 memory=140673228633728 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21215/stat : 21215 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264416140176 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21216] ppid=21208 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21216/stat : 21216 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264415087632 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21217] ppid=21208 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21217/stat : 21217 (java) S 21208 21211 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122253470 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264414035088 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21218] ppid=21208 vsize=13975920 memory=140673228633728 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21218/stat : 21218 (java) S 21208 21211 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122253472 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264295327728 140264816765570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21219] ppid=21208 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21219/stat : 21219 (java) S 21208 21211 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122253472 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264294273952 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21220] ppid=21208 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21220/stat : 21220 (java) S 21208 21211 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122253472 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264293221360 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21221] ppid=21208 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21221/stat : 21221 (java) S 21208 21211 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122253475 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264292169936 140264816773019 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21222] ppid=21208 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21222/stat : 21222 (java) S 21208 21211 8289 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 122253475 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264291117552 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21223] ppid=21208 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21223/stat : 21223 (java) S 21208 21211 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122253475 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264290065008 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21224] ppid=21208 vsize=13975920 memory=140673228633728 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21224/stat : 21224 (java) S 21208 21211 8289 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 122253475 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264289012464 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21225] ppid=21208 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21225/stat : 21225 (java) S 21208 21211 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122253475 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264287960160 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21226] ppid=21208 vsize=13975920 memory=140673228633728 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21226/stat : 21226 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253480 14311342080 7636 18446744073709551615 4194304 4196468 140721339516080 140264286906672 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30544 KiB
[startup+0.31131 s]*
/proc/loadavg: 2.26 2.05 1.83 4/214 21226
/proc/meminfo: memFree=24122140/32770624 swapFree=67108860/67108860
[pid=21211] ppid=21208 vsize=13975920 memory=39736 CPUtime=0.25 cores=1,3,5,7
/proc/21211/stat : 21211 (java) S 21208 21211 8289 0 -1 1077944320 10448 0 0 0 22 3 0 0 20 0 15 0 122253461 14311342080 9934 18446744073709551615 4194304 4196468 140721339516080 140721339498624 140264816754423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
/proc/21211/statm: 3493980 9934 3516 1 0 3482759 0
[pid=21211/tid=21213] ppid=21208 vsize=13976944 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/21211/task/21213/stat : 21213 (java) R 21208 21211 8289 0 -1 4202560 8260 0 0 0 15 2 0 0 20 0 15 0 122253470 14312390656 9934 18446744073709551615 4194304 4196468 140721339516080 140264820954048 140264809434141 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21214] ppid=21208 vsize=13976944 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21214/stat : 21214 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14312390656 9934 18446744073709551615 4194304 4196468 140721339516080 140264417192720 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21215] ppid=21208 vsize=13975920 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21215/stat : 21215 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14311342080 9934 18446744073709551615 4194304 4196468 140721339516080 140264416140176 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21216] ppid=21208 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21216/stat : 21216 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14311342080 9934 18446744073709551615 4194304 4196468 140721339516080 140264415087632 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21217] ppid=21208 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21217/stat : 21217 (java) S 21208 21211 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122253470 14311342080 9934 18446744073709551615 4194304 4196468 140721339516080 140264414035088 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21218] ppid=21208 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21218/stat : 21218 (java) S 21208 21211 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 122253472 14312390656 9934 18446744073709551615 4194304 4196468 140721339516080 140264295327728 140264816765570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21219] ppid=21208 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21219/stat : 21219 (java) S 21208 21211 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122253472 14312390656 9934 18446744073709551615 4194304 4196468 140721339516080 140264294273952 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21220] ppid=21208 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21220/stat : 21220 (java) S 21208 21211 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122253472 14312390656 9934 18446744073709551615 4194304 4196468 140721339516080 140264293221360 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21221] ppid=21208 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21221/stat : 21221 (java) S 21208 21211 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122253475 14311342080 9934 18446744073709551615 4194304 4196468 140721339516080 140264292169936 140264816773019 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21222] ppid=21208 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21211/task/21222/stat : 21222 (java) S 21208 21211 8289 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 122253475 14311342080 9934 18446744073709551615 4194304 4196468 140721339516080 140264291117552 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21223] ppid=21208 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21211/task/21223/stat : 21223 (java) S 21208 21211 8289 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 15 0 122253475 14311342080 9934 18446744073709551615 4194304 4196468 140721339516080 140264290065008 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21224] ppid=21208 vsize=13976944 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21211/task/21224/stat : 21224 (java) S 21208 21211 8289 0 -1 1077944384 377 0 0 0 4 0 0 0 20 0 15 0 122253475 14312390656 9934 18446744073709551615 4194304 4196468 140721339516080 140264289012464 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21225] ppid=21208 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21225/stat : 21225 (java) S 21208 21211 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122253475 14312390656 9934 18446744073709551615 4194304 4196468 140721339516080 140264287960160 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21226] ppid=21208 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21226/stat : 21226 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253480 14312390656 9934 18446744073709551615 4194304 4196468 140721339516080 140264286906672 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39736 KiB
[startup+0.700694 s]
/proc/loadavg: 2.26 2.05 1.83 4/214 21226
/proc/meminfo: memFree=24107536/32770624 swapFree=67108860/67108860
[pid=21211] ppid=21208 vsize=13977988 memory=68860 CPUtime=0.92 cores=1,3,5,7
/proc/21211/stat : 21211 (java) S 21208 21211 8289 0 -1 1077944320 14019 0 0 0 87 5 0 0 20 0 15 0 122253461 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140721339498624 140264816754423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
/proc/21211/statm: 3494497 17215 3715 1 0 3483271 0
[pid=21211/tid=21213] ppid=21208 vsize=13977988 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/21211/task/21213/stat : 21213 (java) R 21208 21211 8289 0 -1 4202560 10693 0 0 0 51 3 0 0 20 0 15 0 122253470 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264820990048 140264800834910 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21214] ppid=21208 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21214/stat : 21214 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264417192720 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21215] ppid=21208 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21215/stat : 21215 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264416140176 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21216] ppid=21208 vsize=13977988 memory=7813587196152592437 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21216/stat : 21216 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264415087632 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21217] ppid=21208 vsize=13977988 memory=281346261995424 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21217/stat : 21217 (java) S 21208 21211 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122253470 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264414035088 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21218] ppid=21208 vsize=13977988 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21218/stat : 21218 (java) S 21208 21211 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 122253472 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264295327728 140264816765570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21219] ppid=21208 vsize=13977988 memory=15825482134324680 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21219/stat : 21219 (java) S 21208 21211 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122253472 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264294273952 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21220] ppid=21208 vsize=13977988 memory=11152 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21220/stat : 21220 (java) S 21208 21211 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122253472 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264293221360 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21221] ppid=21208 vsize=13977988 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21221/stat : 21221 (java) S 21208 21211 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122253475 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264292169936 140264816773019 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21222] ppid=21208 vsize=13977988 memory=4612 CPUtime=0.09 cores=1,3,5,7
/proc/21211/task/21222/stat : 21222 (java) S 21208 21211 8289 0 -1 1077944384 717 0 0 0 9 0 0 0 20 0 15 0 122253475 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264291117552 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21223] ppid=21208 vsize=13977988 memory=1436 CPUtime=0.1 cores=1,3,5,7
/proc/21211/task/21223/stat : 21223 (java) S 21208 21211 8289 0 -1 1077944384 581 0 0 0 10 0 0 0 20 0 15 0 122253475 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264290065008 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21224] ppid=21208 vsize=13977988 memory=1200 CPUtime=0.15 cores=1,3,5,7
/proc/21211/task/21224/stat : 21224 (java) S 21208 21211 8289 0 -1 1077944384 646 0 0 0 15 0 0 0 20 0 15 0 122253475 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264289012464 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21225] ppid=21208 vsize=13977988 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21225/stat : 21225 (java) S 21208 21211 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122253475 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264287960160 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21226] ppid=21208 vsize=13977988 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21226/stat : 21226 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253480 14313459712 17215 18446744073709551615 4194304 4196468 140721339516080 140264286906672 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68860 KiB
[startup+0.819773 s]
# the end of solver process 21211 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.03034 s, system=0.072841 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800808 s]
/proc/loadavg: 2.26 2.05 1.83 4/214 21226
/proc/meminfo: memFree=24107536/32770624 swapFree=67108860/67108860
[pid=21211] ppid=21208 vsize=13980036 memory=80148 CPUtime=1.07 cores=1,3,5,7
/proc/21211/stat : 21211 (java) S 21208 21211 8289 0 -1 1077944320 16256 0 0 0 101 6 0 0 20 0 15 0 122253461 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140721339498624 140264816754423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
/proc/21211/statm: 3495009 20037 3728 1 0 3483783 0
[pid=21211/tid=21213] ppid=21208 vsize=13980036 memory=-2605811476043407915 CPUtime=0.64 cores=1,3,5,7
/proc/21211/task/21213/stat : 21213 (java) R 21208 21211 8289 0 -1 4202560 12850 0 0 0 60 4 0 0 20 0 15 0 122253470 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264820984144 140264816776349 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21214] ppid=21208 vsize=13980036 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21214/stat : 21214 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264417192720 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21215] ppid=21208 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21215/stat : 21215 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264416140176 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21216] ppid=21208 vsize=13980036 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21216/stat : 21216 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253470 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264415087632 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21217] ppid=21208 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21217/stat : 21217 (java) S 21208 21211 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122253470 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264414035088 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21218] ppid=21208 vsize=13980036 memory=15114029542677544 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21218/stat : 21218 (java) S 21208 21211 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 122253472 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264295327728 140264816765570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21219] ppid=21208 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21219/stat : 21219 (java) S 21208 21211 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122253472 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264294273952 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21220] ppid=21208 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21220/stat : 21220 (java) S 21208 21211 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122253472 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264293221360 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21221] ppid=21208 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21221/stat : 21221 (java) S 21208 21211 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122253475 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264292169936 140264816773019 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21222] ppid=21208 vsize=13980036 memory=7809523229951467574 CPUtime=0.1 cores=1,3,5,7
/proc/21211/task/21222/stat : 21222 (java) S 21208 21211 8289 0 -1 1077944384 724 0 0 0 10 0 0 0 20 0 15 0 122253475 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264291117552 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21223] ppid=21208 vsize=13980036 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/21211/task/21223/stat : 21223 (java) S 21208 21211 8289 0 -1 1077944384 587 0 0 0 11 0 0 0 20 0 15 0 122253475 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264290065008 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21224] ppid=21208 vsize=13980036 memory=4948504468806802048 CPUtime=0.18 cores=1,3,5,7
/proc/21211/task/21224/stat : 21224 (java) S 21208 21211 8289 0 -1 1077944384 713 0 0 0 18 0 0 0 20 0 15 0 122253475 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264289012464 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21225] ppid=21208 vsize=13980036 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21225/stat : 21225 (java) S 21208 21211 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122253475 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264287960160 140264816764629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
[pid=21211/tid=21226] ppid=21208 vsize=13980036 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/21211/task/21226/stat : 21226 (java) S 21208 21211 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122253480 14315556864 20037 18446744073709551615 4194304 4196468 140721339516080 140264286906672 140264816765570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7987200 140721339519343 140721339519529 140721339519529 140721339523023 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 80148 KiB
Child status: 0
Real time (s): 0.819824
CPU time (s): 1.10318
CPU user time (s): 1.03034
CPU system time (s): 0.072841
CPU usage (%): 134.563
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 80148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.03034
system time used= 0.072841
maximum resident set size= 83156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16356
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= 1516
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 21211
# total CPU time (s): 1.10318
# total CPU user time (s): 1.03034
# total CPU system time (s): 0.072841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028024 second user time and 0.048559 second system time
The end