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 (8800 MiB free)
memory of node 1: 16384 MiB (10159 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300116-1532794996/watcher-4300116-1532794996 -o /tmp/evaluation-result-4300116-1532794996/solver-4300116-1532794996 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27028 --watchdog 2580 nacre_mini_release HOME/instance-4300116-1532794996.xml -ca -l100 -cm
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=29807, runsolver pid=29804
[startup+0.100161 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29808
/proc/meminfo: memFree=19409740/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=32432 memory=8624 CPUtime=0.1 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2639 0 0 0 10 0 0 0 20 0 1 0 97062815 33210368 2156 33554432000 4194304 4933779 140723316698992 140723316695992 4388401 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 8108 2156 619 181 0 1725 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32432 KiB
Current children cumulated memory: 8624 KiB
[startup+0.20954 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29808
/proc/meminfo: memFree=19408624/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=33372 memory=9416 CPUtime=0.21 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2873 0 0 0 21 0 0 0 20 0 1 0 97062815 34172928 2354 33554432000 4194304 4933779 140723316698992 140723316695992 140485348338661 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 8343 2354 619 181 0 1960 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33372 KiB
Current children cumulated memory: 9416 KiB
[startup+0.309215 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29808
/proc/meminfo: memFree=19407220/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=34432 memory=10472 CPUtime=0.31 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 3129 0 0 0 31 0 0 0 20 0 1 0 97062815 35258368 2618 33554432000 4194304 4933779 140723316698992 140723316695992 140485348338661 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 8608 2618 619 181 0 2225 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34432 KiB
Current children cumulated memory: 10472 KiB
[startup+0.700315 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29808
/proc/meminfo: memFree=19405360/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=38024 memory=14168 CPUtime=0.69 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 4027 0 0 0 69 0 0 0 20 0 1 0 97062815 38936576 3542 33554432000 4194304 4933779 140723316698992 140723316696760 4475748 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 9506 3542 619 181 0 3123 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38024 KiB
Current children cumulated memory: 14168 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29808
/proc/meminfo: memFree=19400564/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=45740 memory=21824 CPUtime=1.49 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 5940 0 0 0 148 1 0 0 20 0 1 0 97062815 46837760 5456 33554432000 4194304 4933779 140723316698992 140723316696760 4393117 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 11435 5456 619 181 0 5052 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45740 KiB
Current children cumulated memory: 21824 KiB
[startup+3.10942 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29808
/proc/meminfo: memFree=19375920/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=65320 memory=41340 CPUtime=3.1 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 16320 0 0 0 308 2 0 0 20 0 1 0 97062815 66887680 10335 33554432000 4194304 4933779 140723316698992 140723316696744 140485348338661 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 16330 10335 619 181 0 9947 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 65320 KiB
Current children cumulated memory: 41340 KiB
[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29809
/proc/meminfo: memFree=19356532/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=83956 memory=59944 CPUtime=6.29 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 28935 0 0 0 626 3 0 0 20 0 1 0 97062815 85970944 14986 33554432000 4194304 4933779 140723316698992 140723316696744 4388544 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 20989 14986 619 181 0 14606 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 83956 KiB
Current children cumulated memory: 59944 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29809
/proc/meminfo: memFree=19334336/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=107036 memory=83044 CPUtime=12.69 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 47793 0 0 0 1264 5 0 0 20 0 1 0 97062815 109604864 20761 33554432000 4194304 4933779 140723316698992 140723316696760 4437567 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 26759 20761 619 181 0 20376 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 107036 KiB
Current children cumulated memory: 83044 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29809
/proc/meminfo: memFree=19285480/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=151052 memory=126812 CPUtime=25.49 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 95192 0 0 0 2540 9 0 0 20 0 1 0 97062815 154677248 31703 33554432000 4194304 4933779 140723316698992 140723316696744 4388736 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 37763 31703 619 181 0 31380 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 151052 KiB
Current children cumulated memory: 126812 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29809
/proc/meminfo: memFree=19263160/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=171436 memory=147204 CPUtime=51.1 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 137326 0 0 0 5098 12 0 0 20 0 1 0 97062815 175550464 36801 33554432000 4194304 4933779 140723316698992 140723316696744 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 42859 36801 619 181 0 36476 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 171436 KiB
Current children cumulated memory: 147204 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29810
/proc/meminfo: memFree=19229320/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=199656 memory=175168 CPUtime=102.29 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 179340 0 0 0 10212 17 0 0 20 0 1 0 97062815 204447744 43792 33554432000 4194304 4933779 140723316698992 140723316696760 4393199 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 49914 43792 619 181 0 43531 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 199656 KiB
Current children cumulated memory: 175168 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29812
/proc/meminfo: memFree=18694768/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=730420 memory=706164 CPUtime=162.28 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 357209 0 0 0 16187 41 0 0 20 0 1 0 97062815 747950080 176541 33554432000 4194304 4933779 140723316698992 140723316696696 140485354530008 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 182605 176541 619 181 0 176222 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 730420 KiB
Current children cumulated memory: 706164 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29813
/proc/meminfo: memFree=18584024/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=821628 memory=796544 CPUtime=222.29 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 422181 0 0 0 22182 47 0 0 20 0 1 0 97062815 841347072 199136 33554432000 4194304 4933779 140723316698992 140723316696680 140485349085940 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 205407 199136 619 181 0 199024 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 821628 KiB
Current children cumulated memory: 796544 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29814
/proc/meminfo: memFree=18520028/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=866920 memory=841800 CPUtime=282.29 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 455652 0 0 0 28179 50 0 0 20 0 1 0 97062815 887726080 210450 33554432000 4194304 4933779 140723316698992 140723316696504 4437570 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 216730 210450 619 181 0 210347 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 866920 KiB
Current children cumulated memory: 841800 KiB
[startup+342.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/187 29816
/proc/meminfo: memFree=18453952/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=919932 memory=894976 CPUtime=342.28 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 486511 0 0 0 34174 54 0 0 20 0 1 0 97062815 942010368 223744 33554432000 4194304 4933779 140723316698992 140723316696744 4362489 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 229983 223744 619 181 0 223600 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 919932 KiB
Current children cumulated memory: 894976 KiB
[startup+402.3 s]
/proc/loadavg: 2.32 2.14 2.09 3/187 29878
/proc/meminfo: memFree=19150544/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=999284 memory=974324 CPUtime=402.28 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 535749 0 0 0 40166 62 0 0 20 0 1 0 97062815 1023266816 243581 33554432000 4194304 4933779 140723316698992 140723316696696 4437538 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 249821 243581 619 181 0 243438 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 999284 KiB
Current children cumulated memory: 974324 KiB
[startup+462.3 s]
/proc/loadavg: 2.12 2.11 2.08 3/189 29888
/proc/meminfo: memFree=18391288/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=1706260 memory=1681344 CPUtime=462.25 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 783777 0 0 0 46138 87 0 0 20 0 1 0 97062815 1747210240 420336 33554432000 4194304 4933779 140723316698992 140723316696696 140485349194139 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 426565 420336 619 181 0 420182 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 1706260 KiB
Current children cumulated memory: 1681344 KiB
################
# More data... #
################
/proc/29807/statm: 658387 651957 619 181 0 652004 0
Current children cumulated CPU time: 1721.96 s
Current children cumulated vsize: 2633548 KiB
Current children cumulated memory: 2607828 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29924
/proc/meminfo: memFree=16859396/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2634952 memory=2609068 CPUtime=1781.95 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2357279 0 0 0 177948 247 0 0 20 0 1 0 97062815 2698190848 652267 33554432000 4194304 4933779 140723316698992 140723316696504 4388544 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 658738 652267 619 181 0 652355 0
Current children cumulated CPU time: 1781.95 s
Current children cumulated vsize: 2634952 KiB
Current children cumulated memory: 2609068 KiB
[startup+1842.3 s]
/proc/loadavg: 2.45 2.15 2.09 3/187 29925
/proc/meminfo: memFree=16849448/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2635248 memory=2609392 CPUtime=1841.92 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2376407 0 0 0 183944 248 0 0 20 0 1 0 97062815 2698493952 652348 33554432000 4194304 4933779 140723316698992 140723316696680 4437796 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 658812 652348 619 181 0 652429 0
Current children cumulated CPU time: 1841.92 s
Current children cumulated vsize: 2635248 KiB
Current children cumulated memory: 2609392 KiB
[startup+1902.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/187 29926
/proc/meminfo: memFree=16846116/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2635956 memory=2610092 CPUtime=1901.91 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2386140 0 0 0 189942 249 0 0 20 0 1 0 97062815 2699218944 652523 33554432000 4194304 4933779 140723316698992 140723316696680 4437536 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 658989 652523 619 181 0 652606 0
Current children cumulated CPU time: 1901.91 s
Current children cumulated vsize: 2635956 KiB
Current children cumulated memory: 2610092 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/187 29928
/proc/meminfo: memFree=16842144/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2637452 memory=2612880 CPUtime=1961.89 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2390936 0 0 0 195940 249 0 0 20 0 1 0 97062815 2700750848 653220 33554432000 4194304 4933779 140723316698992 140723316696504 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 659363 653220 619 181 0 652980 0
Current children cumulated CPU time: 1961.89 s
Current children cumulated vsize: 2637452 KiB
Current children cumulated memory: 2612880 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 29929
/proc/meminfo: memFree=16840688/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2637880 memory=2613188 CPUtime=2021.89 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2393656 0 0 0 201939 250 0 0 20 0 1 0 97062815 2701189120 653297 33554432000 4194304 4933779 140723316698992 140723316696680 4437570 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 659470 653297 619 181 0 653087 0
Current children cumulated CPU time: 2021.89 s
Current children cumulated vsize: 2637880 KiB
Current children cumulated memory: 2613188 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 29930
/proc/meminfo: memFree=16691316/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2745948 memory=2721276 CPUtime=2081.89 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2432214 0 0 0 207933 256 0 0 20 0 1 0 97062815 2811850752 680319 33554432000 4194304 4933779 140723316698992 140723316696744 4475748 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 686487 680319 619 181 0 680104 0
Current children cumulated CPU time: 2081.89 s
Current children cumulated vsize: 2745948 KiB
Current children cumulated memory: 2721276 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/186 29932
/proc/meminfo: memFree=16543560/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2882888 memory=2858252 CPUtime=2141.89 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2490419 0 0 0 213924 265 0 0 20 0 1 0 97062815 2952077312 714563 33554432000 4194304 4933779 140723316698992 140723316696696 4437570 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 720722 714563 619 181 0 714339 0
Current children cumulated CPU time: 2141.89 s
Current children cumulated vsize: 2882888 KiB
Current children cumulated memory: 2858252 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 29934
/proc/meminfo: memFree=16497452/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2886048 memory=2861248 CPUtime=2201.89 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2517398 0 0 0 219922 267 0 0 20 0 1 0 97062815 2955313152 715312 33554432000 4194304 4933779 140723316698992 140723316696680 4437570 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 721512 715312 619 181 0 715129 0
Current children cumulated CPU time: 2201.89 s
Current children cumulated vsize: 2886048 KiB
Current children cumulated memory: 2861248 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 29944
/proc/meminfo: memFree=16495124/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2886432 memory=2861616 CPUtime=2261.89 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2534185 0 0 0 225920 269 0 0 20 0 1 0 97062815 2955706368 715404 33554432000 4194304 4933779 140723316698992 140723316696680 4437581 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 721608 715404 619 181 0 715225 0
Current children cumulated CPU time: 2261.89 s
Current children cumulated vsize: 2886432 KiB
Current children cumulated memory: 2861616 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 29968
/proc/meminfo: memFree=16491876/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2886692 memory=2861880 CPUtime=2321.89 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2555987 0 0 0 231917 272 0 0 20 0 1 0 97062815 2955972608 715470 33554432000 4194304 4933779 140723316698992 140723316696680 4437564 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 721673 715470 619 181 0 715290 0
Current children cumulated CPU time: 2321.89 s
Current children cumulated vsize: 2886692 KiB
Current children cumulated memory: 2861880 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 29969
/proc/meminfo: memFree=16491160/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2886692 memory=2862012 CPUtime=2381.89 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2574262 0 0 0 237914 275 0 0 20 0 1 0 97062815 2955972608 715503 33554432000 4194304 4933779 140723316698992 140723316696680 4360918 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 721673 715503 619 181 0 715290 0
Current children cumulated CPU time: 2381.89 s
Current children cumulated vsize: 2886692 KiB
Current children cumulated memory: 2862012 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 29970
/proc/meminfo: memFree=16489940/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2887016 memory=2862212 CPUtime=2441.9 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2590533 0 0 0 243912 278 0 0 20 0 1 0 97062815 2956304384 715553 33554432000 4194304 4933779 140723316698992 140723316696680 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 721754 715553 619 181 0 715371 0
Current children cumulated CPU time: 2441.9 s
Current children cumulated vsize: 2887016 KiB
Current children cumulated memory: 2862212 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 29971
/proc/meminfo: memFree=16471928/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2887272 memory=2862472 CPUtime=2501.9 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2605005 0 0 0 249910 280 0 0 20 0 1 0 97062815 2956566528 715618 33554432000 4194304 4933779 140723316698992 140723316696680 4437567 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 721818 715618 619 181 0 715435 0
Current children cumulated CPU time: 2501.9 s
Current children cumulated vsize: 2887272 KiB
Current children cumulated memory: 2862472 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 29971
/proc/meminfo: memFree=16470456/32770624 swapFree=67108860/67108860
[pid=29807] ppid=29804 vsize=2887272 memory=2862472 CPUtime=2519.61 cores=1,3,5,7
/proc/29807/stat : 29807 (nacre_mini_rele) R 29804 29807 26996 0 -1 4202496 2608202 0 0 0 251680 281 0 0 20 0 1 0 97062815 2956566528 715618 33554432000 4194304 4933779 140723316698992 140723316696680 4437564 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 23900160 140723316704408 140723316704508 140723316704508 140723316707266 0
/proc/29807/statm: 721818 715618 619 181 0 715435 0
Current children cumulated CPU time: 2519.61 s
Current children cumulated vsize: 2887272 KiB
Current children cumulated memory: 2862472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 29807 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.8 s, system=2.83798 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.03
CPU time (s): 2519.64
CPU user time (s): 2516.8
CPU system time (s): 2.83798
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 2887272
Max. memory (cumulated for all children) (KiB): 2862472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.8
system time used= 2.83798
maximum resident set size= 2862528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2608255
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 874
involuntary context switches= 1803
# summary of solver processes directly reported to runsolver:
# pid: 29807
# total CPU time (s): 2519.64
# total CPU user time (s): 2516.8
# total CPU system time (s): 2.83798
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.79067 second user time and 18.1621 second system time
The end