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 (11785 MiB free)
memory of node 1: 16384 MiB (14378 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391628-1568316143/watcher-4391628-1568316143 -o /tmp/evaluation-result-4391628-1568316143/solver-4391628-1568316143 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568301633-16822 --watchdog 2560 nacre_mini_release HOME/instance-4391628-1568316143.xml -complete -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=19687, runsolver pid=19684
[startup+0.100157 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 19688
/proc/meminfo: memFree=26783732/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=34660 memory=10848 CPUtime=0.1 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 3104 0 0 0 10 0 0 0 20 0 1 0 407528197 35491840 2712 33554432000 4194304 4935366 140727735729968 140727735726968 139815918541797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 8665 2712 569 181 0 2282 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34660 KiB
Current children cumulated memory: 10848 KiB
[startup+0.209838 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 19688
/proc/meminfo: memFree=26775608/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=43276 memory=19140 CPUtime=0.21 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 4915 0 0 0 19 2 0 0 20 0 1 0 407528197 44314624 4785 33554432000 4194304 4935366 140727735729968 140727735726968 4529626 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 10819 4785 569 181 0 4436 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43276 KiB
Current children cumulated memory: 19140 KiB
[startup+0.309772 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 19688
/proc/meminfo: memFree=26767420/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=54304 memory=27268 CPUtime=0.31 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 6490 0 0 0 29 2 0 0 20 0 1 0 407528197 55607296 6817 33554432000 4194304 4935366 140727735729968 140727735726968 139815918541797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 13576 6817 569 181 0 7193 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54304 KiB
Current children cumulated memory: 27268 KiB
[startup+0.700366 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19688
/proc/meminfo: memFree=26752472/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=85732 memory=56656 CPUtime=0.69 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 11797 0 0 0 66 3 0 0 20 0 1 0 407528197 87789568 14164 33554432000 4194304 4935366 140727735729968 140727735726968 139815918541797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 21433 14164 569 181 0 15050 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 85732 KiB
Current children cumulated memory: 56656 KiB
[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19688
/proc/meminfo: memFree=26715508/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=150568 memory=117540 CPUtime=1.49 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 22399 0 0 0 143 6 0 0 20 0 1 0 407528197 154181632 29385 33554432000 4194304 4935366 140727735729968 140727735726968 139815918541797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 37642 29385 569 181 0 31259 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 150568 KiB
Current children cumulated memory: 117540 KiB
[startup+3.10963 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19688
/proc/meminfo: memFree=26562940/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=280900 memory=237396 CPUtime=3.1 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 43254 0 0 0 299 11 0 0 20 0 1 0 407528197 287641600 59349 33554432000 4194304 4935366 140727735729968 140727735727544 139815918541797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 70225 59349 569 181 0 63842 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 280900 KiB
Current children cumulated memory: 237396 KiB
[startup+6.30039 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19688
/proc/meminfo: memFree=25833944/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=1106596 memory=999772 CPUtime=6.29 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 221320 0 0 0 593 36 0 0 20 0 1 0 407528197 1133154304 249943 33554432000 4194304 4935366 140727735729968 140727735724728 139815918541797 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 276649 249943 569 181 0 270266 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1106596 KiB
Current children cumulated memory: 999772 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19688
/proc/meminfo: memFree=24618596/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=2760032 memory=2543316 CPUtime=12.7 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 476547 0 0 0 1196 74 0 0 20 0 1 0 407528197 2826272768 635829 33554432000 4194304 4935366 140727735729968 140727735725032 139815918539477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 690008 635829 571 181 0 683625 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 2760032 KiB
Current children cumulated memory: 2543316 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19690
/proc/meminfo: memFree=22103720/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679668 CPUtime=25.49 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 1021336 0 0 0 2418 131 0 0 20 0 1 0 407528197 5093892096 1169917 33554432000 4194304 4935366 140727735729968 140727735724648 4333235 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169917 590 181 0 1237243 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679668 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19691
/proc/meminfo: memFree=22103712/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=51.1 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 1425497 0 0 0 4962 148 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 139815919404608 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 19696
/proc/meminfo: memFree=22102928/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=102.3 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 1521403 0 0 0 10078 152 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 139815918534187 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19700
/proc/meminfo: memFree=22103688/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=162.29 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 2049857 0 0 0 16058 171 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 139815918534399 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19705
/proc/meminfo: memFree=22103740/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=222.28 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 2589613 0 0 0 22037 191 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 4212880 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19709
/proc/meminfo: memFree=22104072/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=282.29 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 3014834 0 0 0 28022 207 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 139815924732992 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19715
/proc/meminfo: memFree=22103720/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=342.29 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 3539398 0 0 0 34002 227 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 139815918534427 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19720
/proc/meminfo: memFree=22103128/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=402.3 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 3805453 0 0 0 39989 241 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 4400723 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+462.3 s]
/proc/loadavg: 2.60 2.18 2.10 3/199 19724
/proc/meminfo: memFree=22102984/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=462.28 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 4331215 0 0 0 45967 261 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 4400723 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
################
# More data... #
################
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 1662.29 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19907
/proc/meminfo: memFree=22099836/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=1722.29 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9540335 0 0 0 171757 472 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 139815918534451 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19913
/proc/meminfo: memFree=22100212/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=1782.29 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9551046 0 0 0 177756 473 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 4400726 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19917
/proc/meminfo: memFree=22099504/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=1842.28 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9625089 0 0 0 183751 477 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 139815918534327 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19921
/proc/meminfo: memFree=22099432/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4679712 CPUtime=1902.28 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9632778 0 0 0 189750 478 0 0 20 0 1 0 407528197 5093892096 1169928 33554432000 4194304 4935366 140727735729968 140727735728216 139815918534315 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1169928 601 181 0 1237243 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4679712 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 19927
/proc/meminfo: memFree=22098892/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4680332 CPUtime=1962.27 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9642606 0 0 0 195749 478 0 0 20 0 1 0 407528197 5093892096 1170083 33554432000 4194304 4935366 140727735729968 140727735728216 4400719 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1170083 601 181 0 1237243 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4680332 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 19932
/proc/meminfo: memFree=22100492/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4680332 CPUtime=2022.27 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9648342 0 0 0 201748 479 0 0 20 0 1 0 407528197 5093892096 1170083 33554432000 4194304 4935366 140727735729968 140727735728216 139815918534160 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1170083 601 181 0 1237243 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4680332 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19937
/proc/meminfo: memFree=22100212/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4680420 CPUtime=2082.26 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9652937 0 0 0 207747 479 0 0 20 0 1 0 407528197 5093892096 1170105 33554432000 4194304 4935366 140727735729968 140727735728216 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1170105 601 181 0 1237243 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4680420 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19943
/proc/meminfo: memFree=22099620/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4680420 CPUtime=2142.25 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9657176 0 0 0 213746 479 0 0 20 0 1 0 407528197 5093892096 1170105 33554432000 4194304 4935366 140727735729968 140727735728216 139815924741032 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1170105 601 181 0 1237243 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4680420 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19948
/proc/meminfo: memFree=22098072/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4682024 CPUtime=2202.25 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9666694 0 0 0 219744 481 0 0 20 0 1 0 407528197 5093892096 1170506 33554432000 4194304 4935366 140727735729968 140727735728216 139815919404598 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1170506 601 181 0 1237243 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4682024 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19952
/proc/meminfo: memFree=22097844/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4682024 CPUtime=2262.24 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9669241 0 0 0 225743 481 0 0 20 0 1 0 407528197 5093892096 1170506 33554432000 4194304 4935366 140727735729968 140727735728216 139815918550943 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1170506 601 181 0 1237243 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4682024 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19966
/proc/meminfo: memFree=22095976/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4683096 CPUtime=2322.24 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9672614 0 0 0 231743 481 0 0 20 0 1 0 407528197 5093892096 1170774 33554432000 4194304 4935366 140727735729968 140727735728216 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1170774 601 181 0 1237243 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4683096 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 19993
/proc/meminfo: memFree=22096320/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4683096 CPUtime=2382.23 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9674671 0 0 0 237742 481 0 0 20 0 1 0 407528197 5093892096 1170774 33554432000 4194304 4935366 140727735729968 140727735728216 4400887 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1170774 601 181 0 1237243 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4683096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 19997
/proc/meminfo: memFree=22095372/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4683636 CPUtime=2400.04 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9675795 0 0 0 239523 481 0 0 20 0 1 0 407528197 5093892096 1170909 33554432000 4194304 4935366 140727735729968 140727735728216 4401304 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1170909 601 181 0 1237243 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4683636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.13 s]
# the end of solver process 19687 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.23 s, system=4.83596 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 19997
/proc/meminfo: memFree=22095372/32770624 swapFree=66957008/67108860
[pid=19687] ppid=19684 vsize=4974504 memory=4683636 CPUtime=2400.04 cores=1,3,5,7
/proc/19687/stat : 19687 (nacre_mini_rele) R 19684 19687 16790 0 -1 4202496 9675795 0 0 0 239523 481 0 0 20 0 1 0 407528197 5093892096 1170909 33554432000 4194304 4935366 140727735729968 140727735728216 4401304 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 31039488 140727735731195 140727735731301 140727735731301 140727735734210 0
/proc/19687/statm: 1243626 1170909 601 181 0 1237243 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 4974504 KiB
Current children cumulated memory: 4683636 KiB
Child status: 0
Real time (s): 2400.13
CPU time (s): 2400.07
CPU user time (s): 2395.23
CPU system time (s): 4.83596
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 5171112
Max. memory (cumulated for all children) (KiB): 4792836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.23
system time used= 4.83596
maximum resident set size= 4821400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9675843
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= 56
involuntary context switches= 950
# summary of solver processes directly reported to runsolver:
# pid: 19687
# total CPU time (s): 2400.07
# total CPU user time (s): 2395.23
# total CPU system time (s): 4.83596
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.03303 second user time and 19.9093 second system time
The end