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 (12846 MiB free)
memory of node 1: 16384 MiB (13080 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391509-1568309434/watcher-4391509-1568309434 -o /tmp/evaluation-result-4391509-1568309434/solver-4391509-1568309434 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568307015-16993 --watchdog 2560 nacre_mini_release HOME/instance-4391509-1568309434.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17822, runsolver pid=17819
Current StackSize limit: 8192 KiB
[startup+0.100666 s]*
/proc/loadavg: 1.99 2.00 1.95 3/199 17823
/proc/meminfo: memFree=26537400/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=37676 memory=13812 CPUtime=0.1 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 4643 0 0 0 10 0 0 0 20 0 1 0 407190766 38580224 3453 33554432000 4194304 4935366 140734218944192 140734218941144 140194737724389 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 9419 3453 567 181 0 3036 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37676 KiB
Current children cumulated memory: 13812 KiB
[startup+0.20999 s]*
/proc/loadavg: 1.99 2.00 1.95 3/199 17823
/proc/meminfo: memFree=26530312/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=45112 memory=20940 CPUtime=0.2 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 6417 0 0 0 20 0 0 0 20 0 1 0 407190766 46194688 5235 33554432000 4194304 4935366 140734218944192 140734218941144 4271828 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 11278 5235 567 181 0 4895 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45112 KiB
Current children cumulated memory: 20940 KiB
[startup+0.309915 s]*
/proc/loadavg: 1.99 2.00 1.95 3/199 17823
/proc/meminfo: memFree=26523864/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=51976 memory=27540 CPUtime=0.3 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 8026 0 0 0 30 0 0 0 20 0 1 0 407190766 53223424 6885 33554432000 4194304 4935366 140734218944192 140734218941144 140194738162688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 12994 6885 568 181 0 6611 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51976 KiB
Current children cumulated memory: 27540 KiB
[startup+0.700314 s]
/proc/loadavg: 1.99 2.00 1.95 4/199 17823
/proc/meminfo: memFree=26511168/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=77256 memory=51964 CPUtime=0.68 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 14045 0 0 0 67 1 0 0 20 0 1 0 407190766 79110144 12991 33554432000 4194304 4935366 140734218944192 140734218941768 140194738162688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 19314 12991 568 181 0 12931 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77256 KiB
Current children cumulated memory: 51964 KiB
[startup+1.50031 s]
/proc/loadavg: 1.99 2.00 1.95 3/199 17823
/proc/meminfo: memFree=26484600/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=126420 memory=97900 CPUtime=1.49 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 25514 0 0 0 146 3 0 0 20 0 1 0 407190766 129454080 24475 33554432000 4194304 4935366 140734218944192 140734218941768 4395428 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 31605 24475 568 181 0 25222 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 126420 KiB
Current children cumulated memory: 97900 KiB
[startup+3.1098 s]
/proc/loadavg: 1.99 2.00 1.95 3/199 17823
/proc/meminfo: memFree=26366368/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=222096 memory=187620 CPUtime=3.09 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 51129 0 0 0 304 5 0 0 20 0 1 0 407190766 227426304 46905 33554432000 4194304 4935366 140734218944192 140734218941768 140194737721988 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 55524 46905 586 181 0 49141 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 222096 KiB
Current children cumulated memory: 187620 KiB
[startup+6.30028 s]
/proc/loadavg: 1.99 2.00 1.95 3/199 17823
/proc/meminfo: memFree=26362128/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=222096 memory=187688 CPUtime=6.28 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 115452 0 0 0 619 9 0 0 20 0 1 0 407190766 227426304 46922 33554432000 4194304 4935366 140734218944192 140734218942712 140194738587185 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 55524 46922 603 181 0 49141 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 222096 KiB
Current children cumulated memory: 187688 KiB
[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 1.95 3/200 17831
/proc/meminfo: memFree=26360988/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=222096 memory=188608 CPUtime=12.68 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 155840 0 0 0 1258 10 0 0 20 0 1 0 407190766 227426304 47152 33554432000 4194304 4935366 140734218944192 140734218942712 140194737721856 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 55524 47152 603 181 0 49141 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 222096 KiB
Current children cumulated memory: 188608 KiB
[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 1.95 3/201 17833
/proc/meminfo: memFree=26359536/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=222096 memory=189488 CPUtime=25.47 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 226324 0 0 0 2533 14 0 0 20 0 1 0 407190766 227426304 47372 33554432000 4194304 4935366 140734218944192 140734218942712 140194737716779 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 55524 47372 603 181 0 49141 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 222096 KiB
Current children cumulated memory: 189488 KiB
[startup+51.1003 s]*
/proc/loadavg: 1.99 2.00 1.95 3/200 17833
/proc/meminfo: memFree=26356652/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=222096 memory=192464 CPUtime=51.08 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 256274 0 0 0 5092 16 0 0 20 0 1 0 407190766 227426304 48116 33554432000 4194304 4935366 140734218944192 140734218942712 140194738587190 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 55524 48116 603 181 0 49141 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 222096 KiB
Current children cumulated memory: 192464 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 17837
/proc/meminfo: memFree=26352124/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=222096 memory=197244 CPUtime=102.25 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 275340 0 0 0 10208 17 0 0 20 0 1 0 407190766 227426304 49311 33554432000 4194304 4935366 140734218944192 140734218942712 140194737716846 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 55524 49311 603 181 0 49141 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 222096 KiB
Current children cumulated memory: 197244 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/200 17904
/proc/meminfo: memFree=26364008/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=222500 memory=198784 CPUtime=162.24 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 276372 0 0 0 16207 17 0 0 20 0 1 0 407190766 227840000 49696 33554432000 4194304 4935366 140734218944192 140734218941704 140194737717044 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 55625 49696 603 181 0 49242 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 222500 KiB
Current children cumulated memory: 198784 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/200 17908
/proc/meminfo: memFree=26361724/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=224492 memory=200468 CPUtime=222.22 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 277851 0 0 0 22205 17 0 0 20 0 1 0 407190766 229879808 50117 33554432000 4194304 4935366 140734218944192 140734218941880 140194737723478 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 56123 50117 603 181 0 49740 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 224492 KiB
Current children cumulated memory: 200468 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/200 17912
/proc/meminfo: memFree=26358920/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=225060 memory=201224 CPUtime=282.22 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 279425 0 0 0 28204 18 0 0 20 0 1 0 407190766 230461440 50306 33554432000 4194304 4935366 140734218944192 140734218941944 140194738589147 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 56265 50306 603 181 0 49882 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 225060 KiB
Current children cumulated memory: 201224 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/199 17918
/proc/meminfo: memFree=26353588/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=225928 memory=202400 CPUtime=342.2 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 281187 0 0 0 34202 18 0 0 20 0 1 0 407190766 231350272 50600 33554432000 4194304 4935366 140734218944192 140734218941880 4400723 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 56482 50600 603 181 0 50099 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 225928 KiB
Current children cumulated memory: 202400 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/199 17922
/proc/meminfo: memFree=26346616/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=226660 memory=203292 CPUtime=402.19 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 282261 0 0 0 40201 18 0 0 20 0 1 0 407190766 232099840 50823 33554432000 4194304 4935366 140734218944192 140734218941880 140194738587185 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 56665 50823 603 181 0 50282 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 226660 KiB
Current children cumulated memory: 203292 KiB
[startup+462.3 s]
/proc/loadavg: 1.96 2.01 1.96 3/199 17926
/proc/meminfo: memFree=26340340/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=227340 memory=204072 CPUtime=462.18 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 283516 0 0 0 46200 18 0 0 20 0 1 0 407190766 232796160 51018 33554432000 4194304 4935366 140734218944192 140734218941960 4212880 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 56835 51018 603 181 0 50452 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 227340 KiB
Current children cumulated memory: 204072 KiB
################
# More data... #
################
Current children cumulated memory: 209916 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 18008
/proc/meminfo: memFree=26325080/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=234412 memory=210236 CPUtime=1301.99 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 300641 0 0 0 130179 20 0 0 20 0 1 0 407190766 240037888 52559 33554432000 4194304 4935366 140734218944192 140734218941880 4401292 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 58603 52559 603 181 0 52220 0
Current children cumulated CPU time: 1301.99 s
Current children cumulated vsize: 234412 KiB
Current children cumulated memory: 210236 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 18012
/proc/meminfo: memFree=26324500/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=235016 memory=210752 CPUtime=1361.97 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 301852 0 0 0 136177 20 0 0 20 0 1 0 407190766 240656384 52688 33554432000 4194304 4935366 140734218944192 140734218941880 140194737722141 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 58754 52688 603 181 0 52371 0
Current children cumulated CPU time: 1361.97 s
Current children cumulated vsize: 235016 KiB
Current children cumulated memory: 210752 KiB
[startup+1422.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/200 18018
/proc/meminfo: memFree=26323532/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=235252 memory=211236 CPUtime=1421.96 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 302802 0 0 0 142176 20 0 0 20 0 1 0 407190766 240898048 52809 33554432000 4194304 4935366 140734218944192 140734218941880 4212880 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 58813 52809 603 181 0 52430 0
Current children cumulated CPU time: 1421.96 s
Current children cumulated vsize: 235252 KiB
Current children cumulated memory: 211236 KiB
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/200 18022
/proc/meminfo: memFree=26323448/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=235784 memory=211600 CPUtime=1481.94 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 303958 0 0 0 148174 20 0 0 20 0 1 0 407190766 241442816 52900 33554432000 4194304 4935366 140734218944192 140734218941880 140194738589147 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 58946 52900 603 181 0 52563 0
Current children cumulated CPU time: 1481.94 s
Current children cumulated vsize: 235784 KiB
Current children cumulated memory: 211600 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 18027
/proc/meminfo: memFree=26322288/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=236076 memory=212060 CPUtime=1541.93 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 305110 0 0 0 154173 20 0 0 20 0 1 0 407190766 241741824 53015 33554432000 4194304 4935366 140734218944192 140734218941880 140194738587185 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59019 53015 603 181 0 52636 0
Current children cumulated CPU time: 1541.93 s
Current children cumulated vsize: 236076 KiB
Current children cumulated memory: 212060 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 18033
/proc/meminfo: memFree=26322460/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=236356 memory=212224 CPUtime=1601.91 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 306335 0 0 0 160171 20 0 0 20 0 1 0 407190766 242028544 53056 33554432000 4194304 4935366 140734218944192 140734218941880 4400827 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59089 53056 603 181 0 52706 0
Current children cumulated CPU time: 1601.91 s
Current children cumulated vsize: 236356 KiB
Current children cumulated memory: 212224 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 18037
/proc/meminfo: memFree=26322120/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=236644 memory=212688 CPUtime=1661.9 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 307625 0 0 0 166170 20 0 0 20 0 1 0 407190766 242323456 53172 33554432000 4194304 4935366 140734218944192 140734218941880 140194738589147 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59161 53172 603 181 0 52778 0
Current children cumulated CPU time: 1661.9 s
Current children cumulated vsize: 236644 KiB
Current children cumulated memory: 212688 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 18042
/proc/meminfo: memFree=26322384/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=236908 memory=212968 CPUtime=1721.88 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 308990 0 0 0 172168 20 0 0 20 0 1 0 407190766 242593792 53242 33554432000 4194304 4935366 140734218944192 140734218941880 140194738589147 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59227 53242 603 181 0 52844 0
Current children cumulated CPU time: 1721.88 s
Current children cumulated vsize: 236908 KiB
Current children cumulated memory: 212968 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 18048
/proc/meminfo: memFree=26320376/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=237148 memory=213220 CPUtime=1781.88 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 310413 0 0 0 178167 21 0 0 20 0 1 0 407190766 242839552 53305 33554432000 4194304 4935366 140734218944192 140734218941880 140194738589147 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59287 53305 603 181 0 52904 0
Current children cumulated CPU time: 1781.88 s
Current children cumulated vsize: 237148 KiB
Current children cumulated memory: 213220 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 18060
/proc/meminfo: memFree=26319124/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=237400 memory=213488 CPUtime=1841.86 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 311906 0 0 0 184165 21 0 0 20 0 1 0 407190766 243097600 53372 33554432000 4194304 4935366 140734218944192 140734218941880 4400723 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59350 53372 603 181 0 52967 0
Current children cumulated CPU time: 1841.86 s
Current children cumulated vsize: 237400 KiB
Current children cumulated memory: 213488 KiB
[startup+1846 s]
# the end of solver process 17822 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1845.36 s, system=0.213951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 18060
/proc/meminfo: memFree=26319124/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=237400 memory=213488 CPUtime=1842.86 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 311906 0 0 0 184265 21 0 0 20 0 1 0 407190766 243097600 53372 33554432000 4194304 4935366 140734218944192 140734218941880 140194738589147 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59350 53372 603 181 0 52967 0
Current children cumulated CPU time: 1842.86 s
Current children cumulated vsize: 237400 KiB
Current children cumulated memory: 213488 KiB
[startup+1844.9 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 18060
/proc/meminfo: memFree=26319124/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=237400 memory=213488 CPUtime=1844.46 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 311907 0 0 0 184425 21 0 0 20 0 1 0 407190766 243097600 53372 33554432000 4194304 4935366 140734218944192 140734218941880 4400723 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59350 53372 603 181 0 52967 0
Current children cumulated CPU time: 1844.46 s
Current children cumulated vsize: 237400 KiB
Current children cumulated memory: 213488 KiB
[startup+1845.7 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 18060
/proc/meminfo: memFree=26319248/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=237400 memory=213488 CPUtime=1845.26 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 311907 0 0 0 184505 21 0 0 20 0 1 0 407190766 243097600 53372 33554432000 4194304 4935366 140734218944192 140734218941880 140194737722173 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59350 53372 603 181 0 52967 0
Current children cumulated CPU time: 1845.26 s
Current children cumulated vsize: 237400 KiB
Current children cumulated memory: 213488 KiB
[startup+1845.9 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 18060
/proc/meminfo: memFree=26319248/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=237400 memory=213488 CPUtime=1845.46 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 311907 0 0 0 184525 21 0 0 20 0 1 0 407190766 243097600 53372 33554432000 4194304 4935366 140734218944192 140734218941880 4310179 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59350 53372 603 181 0 52967 0
Current children cumulated CPU time: 1845.46 s
Current children cumulated vsize: 237400 KiB
Current children cumulated memory: 213488 KiB
[startup+1846 s]
/proc/loadavg: 2.00 2.01 1.97 3/200 18060
/proc/meminfo: memFree=26319248/32770624 swapFree=66927120/67108860
[pid=17822] ppid=17819 vsize=237400 memory=213488 CPUtime=1845.56 cores=0,2,4,6
/proc/17822/stat : 17822 (nacre_mini_rele) R 17819 17822 15287 0 -1 4202496 311907 0 0 0 184535 21 0 0 20 0 1 0 407190766 243097600 53372 33554432000 4194304 4935366 140734218944192 140734218941880 140194743923612 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27877376 140734218949633 140734218949733 140734218949733 140734218952642 0
/proc/17822/statm: 59350 53372 603 181 0 52967 0
Current children cumulated CPU time: 1845.56 s
Current children cumulated vsize: 237400 KiB
Current children cumulated memory: 213488 KiB
Child status: 10
Real time (s): 1846
CPU time (s): 1845.57
CPU user time (s): 1845.36
CPU system time (s): 0.213951
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 237400
Max. memory (cumulated for all children) (KiB): 213488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1845.36
system time used= 0.213951
maximum resident set size= 213568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312023
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= 33
involuntary context switches= 1698
# summary of solver processes directly reported to runsolver:
# pid: 17822
# total CPU time (s): 1845.57
# total CPU user time (s): 1845.36
# total CPU system time (s): 0.213951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26337 second user time and 14.1533 second system time
The end