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 (12653 MiB free)
memory of node 1: 16384 MiB (13274 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391474-1568309576/watcher-4391474-1568309576 -o /tmp/evaluation-result-4391474-1568309576/solver-4391474-1568309576 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568307015-16994 --watchdog 2560 nacre_mini_release HOME/instance-4391474-1568309576.xml -ca -l100 -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17901, runsolver pid=17898
[startup+0.100416 s]*
/proc/loadavg: 2.00 2.00 1.95 3/200 17902
/proc/meminfo: memFree=26540268/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=35700 memory=12036 CPUtime=0.09 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 3934 0 0 0 9 0 0 0 20 0 1 0 407204959 36556800 3009 33554432000 4194304 4935366 140723720225664 140723720223240 140081890675712 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 8925 3009 567 181 0 2542 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35700 KiB
Current children cumulated memory: 12036 KiB
[startup+0.209812 s]*
/proc/loadavg: 2.00 2.00 1.95 3/200 17902
/proc/meminfo: memFree=26529548/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=47216 memory=23216 CPUtime=0.2 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 6953 0 0 0 20 0 0 0 20 0 1 0 407204959 48349184 5804 33554432000 4194304 4935366 140723720225664 140723720223240 140081890675712 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 11804 5804 567 181 0 5421 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47216 KiB
Current children cumulated memory: 23216 KiB
[startup+0.309651 s]*
/proc/loadavg: 2.00 2.00 1.95 3/200 17902
/proc/meminfo: memFree=26523968/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=52812 memory=28232 CPUtime=0.3 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 8246 0 0 0 30 0 0 0 20 0 1 0 407204959 54079488 7058 33554432000 4194304 4935366 140723720225664 140723720223240 140081890675712 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 13203 7058 567 181 0 6820 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52812 KiB
Current children cumulated memory: 28232 KiB
[startup+0.700331 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 17902
/proc/meminfo: memFree=26512064/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=76668 memory=50936 CPUtime=0.68 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 13878 0 0 0 67 1 0 0 20 0 1 0 407204959 78508032 12734 33554432000 4194304 4935366 140723720225664 140723720223240 4635568 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 19167 12734 567 181 0 12784 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76668 KiB
Current children cumulated memory: 50936 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 17902
/proc/meminfo: memFree=26485280/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=126716 memory=97664 CPUtime=1.48 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 25583 0 0 0 145 3 0 0 20 0 1 0 407204959 129757184 24416 33554432000 4194304 4935366 140723720225664 140723720221832 4635327 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 31679 24416 567 181 0 25296 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126716 KiB
Current children cumulated memory: 97664 KiB
[startup+3.10962 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 17902
/proc/meminfo: memFree=26368848/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=221116 memory=186376 CPUtime=3.1 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 56049 0 0 0 303 7 0 0 20 0 1 0 407204959 226422784 46594 33554432000 4194304 4935366 140723720225664 140723720223240 4212032 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 55279 46594 586 181 0 48896 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 221116 KiB
Current children cumulated memory: 186376 KiB
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 17902
/proc/meminfo: memFree=26365300/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=221116 memory=186444 CPUtime=6.29 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 122220 0 0 0 619 10 0 0 20 0 1 0 407204959 226422784 46611 33554432000 4194304 4935366 140723720225664 140723720224184 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 55279 46611 603 181 0 48896 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 221116 KiB
Current children cumulated memory: 186444 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 17902
/proc/meminfo: memFree=26365096/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=221116 memory=186444 CPUtime=12.69 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 166133 0 0 0 1257 12 0 0 20 0 1 0 407204959 226422784 46611 33554432000 4194304 4935366 140723720225664 140723720224184 4400891 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 55279 46611 603 181 0 48896 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 221116 KiB
Current children cumulated memory: 186444 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 17904
/proc/meminfo: memFree=26364008/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=221116 memory=186444 CPUtime=25.48 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 254385 0 0 0 2532 16 0 0 20 0 1 0 407204959 226422784 46611 33554432000 4194304 4935366 140723720225664 140723720224184 140081890230067 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 55279 46611 603 181 0 48896 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 221116 KiB
Current children cumulated memory: 186444 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 17905
/proc/meminfo: memFree=26362924/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=221116 memory=186444 CPUtime=51.09 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 299581 0 0 0 5091 18 0 0 20 0 1 0 407204959 226422784 46611 33554432000 4194304 4935366 140723720225664 140723720224184 4400862 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 55279 46611 603 181 0 48896 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 221116 KiB
Current children cumulated memory: 186444 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/200 17909
/proc/meminfo: memFree=26360516/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=221952 memory=187696 CPUtime=102.28 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 345313 0 0 0 10207 21 0 0 20 0 1 0 407204959 227278848 46924 33554432000 4194304 4935366 140723720225664 140723720223416 140081891102171 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 55488 46924 603 181 0 49105 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 221952 KiB
Current children cumulated memory: 187696 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/200 17915
/proc/meminfo: memFree=26357368/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=224328 memory=189820 CPUtime=162.27 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 391387 0 0 0 16204 23 0 0 20 0 1 0 407204959 229711872 47455 33554432000 4194304 4935366 140723720225664 140723720223432 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 56082 47455 603 181 0 49699 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 224328 KiB
Current children cumulated memory: 189820 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/199 17919
/proc/meminfo: memFree=26351420/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=225512 memory=194012 CPUtime=222.25 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 437793 0 0 0 22200 25 0 0 20 0 1 0 407204959 230924288 48503 33554432000 4194304 4935366 140723720225664 140723720223416 140081891100209 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 56378 48503 603 181 0 49995 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 225512 KiB
Current children cumulated memory: 194012 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/199 17923
/proc/meminfo: memFree=26343784/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=226500 memory=200760 CPUtime=282.22 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 466290 0 0 0 28195 27 0 0 20 0 1 0 407204959 231936000 50190 33554432000 4194304 4935366 140723720225664 140723720223416 4400723 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 56625 50190 603 181 0 50242 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 226500 KiB
Current children cumulated memory: 200760 KiB
[startup+342.3 s]
/proc/loadavg: 1.97 2.01 1.96 3/199 17929
/proc/meminfo: memFree=26340556/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=227632 memory=204024 CPUtime=342.21 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 471833 0 0 0 34194 27 0 0 20 0 1 0 407204959 233095168 51006 33554432000 4194304 4935366 140723720225664 140723720223352 4400723 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 56908 51006 603 181 0 50525 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 227632 KiB
Current children cumulated memory: 204024 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 17933
/proc/meminfo: memFree=26339032/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=228604 memory=205120 CPUtime=402.2 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 473452 0 0 0 40193 27 0 0 20 0 1 0 407204959 234090496 51280 33554432000 4194304 4935366 140723720225664 140723720223352 140081890229928 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 57151 51280 603 181 0 50768 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 228604 KiB
Current children cumulated memory: 205120 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 17937
/proc/meminfo: memFree=26338064/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=229392 memory=205796 CPUtime=462.19 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 475186 0 0 0 46192 27 0 0 20 0 1 0 407204959 234897408 51449 33554432000 4194304 4935366 140723720225664 140723720223352 4400751 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 57348 51449 603 181 0 50965 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 229392 KiB
Current children cumulated memory: 205796 KiB
################
# More data... #
################
Current children cumulated memory: 214088 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 18034
/proc/meminfo: memFree=26322444/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=237884 memory=214448 CPUtime=1482.12 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 501638 0 0 0 148182 30 0 0 20 0 1 0 407204959 243593216 53612 33554432000 4194304 4935366 140723720225664 140723720223352 140081896436648 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 59471 53612 603 181 0 53088 0
Current children cumulated CPU time: 1482.12 s
Current children cumulated vsize: 237884 KiB
Current children cumulated memory: 214448 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 18038
/proc/meminfo: memFree=26321684/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=238144 memory=214784 CPUtime=1542.11 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 503543 0 0 0 154181 30 0 0 20 0 1 0 407204959 243859456 53696 33554432000 4194304 4935366 140723720225664 140723720223352 4400723 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 59536 53696 603 181 0 53153 0
Current children cumulated CPU time: 1542.11 s
Current children cumulated vsize: 238144 KiB
Current children cumulated memory: 214784 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 18045
/proc/meminfo: memFree=26321544/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=238400 memory=215080 CPUtime=1602.11 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 505502 0 0 0 160181 30 0 0 20 0 1 0 407204959 244121600 53770 33554432000 4194304 4935366 140723720225664 140723720223352 140081890235165 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 59600 53770 603 181 0 53217 0
Current children cumulated CPU time: 1602.11 s
Current children cumulated vsize: 238400 KiB
Current children cumulated memory: 215080 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 18049
/proc/meminfo: memFree=26320268/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=238696 memory=215196 CPUtime=1662.1 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 507532 0 0 0 166180 30 0 0 20 0 1 0 407204959 244424704 53799 33554432000 4194304 4935366 140723720225664 140723720223352 140081890246666 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 59674 53799 603 181 0 53291 0
Current children cumulated CPU time: 1662.1 s
Current children cumulated vsize: 238696 KiB
Current children cumulated memory: 215196 KiB
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/201 18126
/proc/meminfo: memFree=26372964/32770624 swapFree=66927120/67108860
[pid=17901] ppid=17898 vsize=239200 memory=215868 CPUtime=1722.09 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 509662 0 0 0 172177 32 0 0 20 0 1 0 407204959 244940800 53967 33554432000 4194304 4935366 140723720225664 140723720223352 4400704 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 59800 53967 603 181 0 53417 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 239200 KiB
Current children cumulated memory: 215868 KiB
[startup+1782.3 s]
/proc/loadavg: 2.51 2.16 2.02 3/202 18155
/proc/meminfo: memFree=26059784/32770624 swapFree=66927124/67108860
[pid=17901] ppid=17898 vsize=239496 memory=216180 CPUtime=1782.09 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 510507 0 0 0 178177 32 0 0 20 0 1 0 407204959 245243904 54045 33554432000 4194304 4935366 140723720225664 140723720223352 4400262 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 59874 54045 603 181 0 53491 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 239496 KiB
Current children cumulated memory: 216180 KiB
[startup+1842.3 s]
/proc/loadavg: 2.19 2.13 2.02 3/202 18159
/proc/meminfo: memFree=25736508/32770624 swapFree=66927124/67108860
[pid=17901] ppid=17898 vsize=239728 memory=216200 CPUtime=1842.08 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 511757 0 0 0 184176 32 0 0 20 0 1 0 407204959 245481472 54050 33554432000 4194304 4935366 140723720225664 140723720223352 140081891102171 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 59932 54050 603 181 0 53549 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 239728 KiB
Current children cumulated memory: 216200 KiB
[startup+1902.3 s]
/proc/loadavg: 2.07 2.11 2.02 3/202 18163
/proc/meminfo: memFree=25579024/32770624 swapFree=66927124/67108860
[pid=17901] ppid=17898 vsize=239952 memory=216636 CPUtime=1902.07 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 512985 0 0 0 190175 32 0 0 20 0 1 0 407204959 245710848 54159 33554432000 4194304 4935366 140723720225664 140723720223352 4400723 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 59988 54159 603 181 0 53605 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 239952 KiB
Current children cumulated memory: 216636 KiB
[startup+1919.75 s]
# the end of solver process 17901 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1919.2 s, system=0.328973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1907.2 s]
/proc/loadavg: 2.06 2.11 2.02 3/202 18165
/proc/meminfo: memFree=25572852/32770624 swapFree=66927124/67108860
[pid=17901] ppid=17898 vsize=239952 memory=216636 CPUtime=1906.97 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 512985 0 0 0 190665 32 0 0 20 0 1 0 407204959 245710848 54159 33554432000 4194304 4935366 140723720225664 140723720223352 140081891102171 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 59988 54159 603 181 0 53605 0
Current children cumulated CPU time: 1906.97 s
Current children cumulated vsize: 239952 KiB
Current children cumulated memory: 216636 KiB
[startup+1913.6 s]
/proc/loadavg: 2.06 2.10 2.02 3/202 18165
/proc/meminfo: memFree=25560612/32770624 swapFree=66927124/67108860
[pid=17901] ppid=17898 vsize=240268 memory=216872 CPUtime=1913.37 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 513461 0 0 0 191305 32 0 0 20 0 1 0 407204959 246034432 54218 33554432000 4194304 4935366 140723720225664 140723720223352 140081890235012 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 60067 54218 603 181 0 53684 0
Current children cumulated CPU time: 1913.37 s
Current children cumulated vsize: 240268 KiB
Current children cumulated memory: 216872 KiB
[startup+1916.8 s]
/proc/loadavg: 2.05 2.10 2.02 3/202 18165
/proc/meminfo: memFree=25545848/32770624 swapFree=66927124/67108860
[pid=17901] ppid=17898 vsize=240268 memory=216872 CPUtime=1916.57 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 513461 0 0 0 191625 32 0 0 20 0 1 0 407204959 246034432 54218 33554432000 4194304 4935366 140723720225664 140723720223352 140081891102166 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 60067 54218 603 181 0 53684 0
Current children cumulated CPU time: 1916.57 s
Current children cumulated vsize: 240268 KiB
Current children cumulated memory: 216872 KiB
[startup+1918.4 s]
/proc/loadavg: 2.05 2.10 2.02 3/202 18165
/proc/meminfo: memFree=25538192/32770624 swapFree=66927124/67108860
[pid=17901] ppid=17898 vsize=240268 memory=216872 CPUtime=1918.17 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 513461 0 0 0 191785 32 0 0 20 0 1 0 407204959 246034432 54218 33554432000 4194304 4935366 140723720225664 140723720223352 4400838 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 60067 54218 603 181 0 53684 0
Current children cumulated CPU time: 1918.17 s
Current children cumulated vsize: 240268 KiB
Current children cumulated memory: 216872 KiB
[startup+1919.2 s]
/proc/loadavg: 2.05 2.10 2.02 3/202 18165
/proc/meminfo: memFree=25536436/32770624 swapFree=66927124/67108860
[pid=17901] ppid=17898 vsize=240268 memory=216872 CPUtime=1918.97 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 513461 0 0 0 191865 32 0 0 20 0 1 0 407204959 246034432 54218 33554432000 4194304 4935366 140723720225664 140723720223352 140081891102171 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 60067 54218 603 181 0 53684 0
Current children cumulated CPU time: 1918.97 s
Current children cumulated vsize: 240268 KiB
Current children cumulated memory: 216872 KiB
[startup+1919.6 s]
/proc/loadavg: 2.05 2.10 2.02 3/202 18165
/proc/meminfo: memFree=25536436/32770624 swapFree=66927124/67108860
[pid=17901] ppid=17898 vsize=240268 memory=216872 CPUtime=1919.37 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 513461 0 0 0 191905 32 0 0 20 0 1 0 407204959 246034432 54218 33554432000 4194304 4935366 140723720225664 140723720223352 140081896409248 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 60067 54218 603 181 0 53684 0
Current children cumulated CPU time: 1919.37 s
Current children cumulated vsize: 240268 KiB
Current children cumulated memory: 216872 KiB
[startup+1919.7 s]
/proc/loadavg: 2.05 2.10 2.02 3/202 18165
/proc/meminfo: memFree=25536436/32770624 swapFree=66927124/67108860
[pid=17901] ppid=17898 vsize=240268 memory=216872 CPUtime=1919.47 cores=1,3,5,7
/proc/17901/stat : 17901 (nacre_mini_rele) R 17898 17901 15287 0 -1 4202496 513461 0 0 0 191915 32 0 0 20 0 1 0 407204959 246034432 54218 33554432000 4194304 4935366 140723720225664 140723720223352 140081891102171 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 40321024 140723720233985 140723720234085 140723720234085 140723720236994 0
/proc/17901/statm: 60067 54218 603 181 0 53684 0
Current children cumulated CPU time: 1919.47 s
Current children cumulated vsize: 240268 KiB
Current children cumulated memory: 216872 KiB
Child status: 10
Real time (s): 1919.75
CPU time (s): 1919.53
CPU user time (s): 1919.2
CPU system time (s): 0.328973
CPU usage (%): 99.9887
Max. virtual memory (cumulated for all children) (KiB): 240268
Max. memory (cumulated for all children) (KiB): 216872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1919.2
system time used= 0.328973
maximum resident set size= 217060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513503
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= 79
involuntary context switches= 2546
# summary of solver processes directly reported to runsolver:
# pid: 17901
# total CPU time (s): 1919.53
# total CPU user time (s): 1919.2
# total CPU system time (s): 0.328973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.03995 second user time and 14.1826 second system time
The end