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 (14897 MiB free)
memory of node 1: 16384 MiB (14714 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407958-1569809102/watcher-4407958-1569809102 -o /tmp/evaluation-result-4407958-1569809102/solver-4407958-1569809102 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2497 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407958-1569809102.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7839, runsolver pid=7836
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 7840
/proc/meminfo: memFree=30317228/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=32560 memory=8656 CPUtime=0.1 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 2372 0 0 0 10 0 0 0 20 0 1 0 556848482 33341440 2164 33554432000 4194304 6211132 140726261901680 140726261898216 140021202759872 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 8140 2164 798 493 0 1445 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32560 KiB
Current children cumulated memory: 8656 KiB
[startup+0.209508 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 7840
/proc/meminfo: memFree=30316484/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=33536 memory=9708 CPUtime=0.21 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 2592 0 0 0 21 0 0 0 20 0 1 0 556848482 34340864 2427 33554432000 4194304 6211132 140726261901680 140726261898952 5071149 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 8384 2427 816 493 0 1689 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33536 KiB
Current children cumulated memory: 9708 KiB
[startup+0.308997 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 7840
/proc/meminfo: memFree=30307928/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=42568 memory=18624 CPUtime=0.3 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 4861 0 0 0 30 0 0 0 20 0 1 0 556848482 43589632 4656 33554432000 4194304 6211132 140726261901680 140726261898952 140021203045349 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 10642 4656 816 493 0 3947 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42568 KiB
Current children cumulated memory: 18624 KiB
[startup+0.700335 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 7840
/proc/meminfo: memFree=30289700/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=77440 memory=53480 CPUtime=0.69 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 13574 0 0 0 67 2 0 0 20 0 1 0 556848482 79298560 13370 33554432000 4194304 6211132 140726261901680 140726261896776 140021203045349 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 19360 13370 816 493 0 12665 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77440 KiB
Current children cumulated memory: 53480 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 7840
/proc/meminfo: memFree=30244808/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=150640 memory=126696 CPUtime=1.49 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 31881 0 0 0 142 7 0 0 20 0 1 0 556848482 154255360 31674 33554432000 4194304 6211132 140726261901680 140726261896616 140021203045349 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 37660 31674 816 493 0 30965 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 150640 KiB
Current children cumulated memory: 126696 KiB
[startup+3.10956 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 7842
/proc/meminfo: memFree=30061176/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=297428 memory=273612 CPUtime=3.1 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 69069 0 0 0 299 11 0 0 20 0 1 0 556848482 304566272 68403 33554432000 4194304 6211132 140726261901680 140726261896776 140021203045349 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 74357 68403 816 493 0 67662 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 297428 KiB
Current children cumulated memory: 273612 KiB
[startup+6.30031 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 7842
/proc/meminfo: memFree=29998936/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=349848 memory=326340 CPUtime=6.29 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 113024 0 0 0 616 13 0 0 20 0 1 0 556848482 358244352 81585 33554432000 4194304 6211132 140726261901680 140726261899336 5068998 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 87462 81585 860 493 0 80767 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 349848 KiB
Current children cumulated memory: 326340 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 7842
/proc/meminfo: memFree=29993324/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=354996 memory=331608 CPUtime=12.68 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 138463 0 0 0 1254 14 0 0 20 0 1 0 556848482 363515904 82902 33554432000 4194304 6211132 140726261901680 140726261899336 5446311 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 88749 82902 862 493 0 82054 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 354996 KiB
Current children cumulated memory: 331608 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 7843
/proc/meminfo: memFree=29987368/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=361332 memory=337936 CPUtime=25.47 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 168959 0 0 0 2532 15 0 0 20 0 1 0 556848482 370003968 84484 33554432000 4194304 6211132 140726261901680 140726261899336 5476842 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 90333 84484 862 493 0 83638 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 361332 KiB
Current children cumulated memory: 337936 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 7845
/proc/meminfo: memFree=29981256/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=366480 memory=343092 CPUtime=51.08 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 195571 0 0 0 5091 17 0 0 20 0 1 0 556848482 375275520 85773 33554432000 4194304 6211132 140726261901680 140726261899640 5480282 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 91620 85773 862 493 0 84925 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 366480 KiB
Current children cumulated memory: 343092 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7849
/proc/meminfo: memFree=29960104/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=387468 memory=363984 CPUtime=102.26 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 248036 0 0 0 10205 21 0 0 20 0 1 0 556848482 396767232 90996 33554432000 4194304 6211132 140726261901680 140726261899336 5442966 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 96867 90996 862 493 0 90172 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 387468 KiB
Current children cumulated memory: 363984 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7853
/proc/meminfo: memFree=29940200/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=407400 memory=383996 CPUtime=162.24 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 286242 0 0 0 16200 24 0 0 20 0 1 0 556848482 417177600 95999 33554432000 4194304 6211132 140726261901680 140726261899336 5454200 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 101850 95999 862 493 0 95155 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 407400 KiB
Current children cumulated memory: 383996 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7857
/proc/meminfo: memFree=29917464/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=429200 memory=405788 CPUtime=222.23 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 309544 0 0 0 22196 27 0 0 20 0 1 0 556848482 439500800 101447 33554432000 4194304 6211132 140726261901680 140726261899336 5451553 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 107300 101447 862 493 0 100605 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 429200 KiB
Current children cumulated memory: 405788 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7863
/proc/meminfo: memFree=29910524/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=436988 memory=413552 CPUtime=282.23 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 313103 0 0 0 28195 28 0 0 20 0 1 0 556848482 447475712 103388 33554432000 4194304 6211132 140726261901680 140726261899336 5068998 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 109247 103388 862 493 0 102552 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 436988 KiB
Current children cumulated memory: 413552 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7875
/proc/meminfo: memFree=29907020/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=439892 memory=416468 CPUtime=342.22 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 314873 0 0 0 34194 28 0 0 20 0 1 0 556848482 450449408 104117 33554432000 4194304 6211132 140726261901680 140726261899336 5451489 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 109973 104117 862 493 0 103278 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 439892 KiB
Current children cumulated memory: 416468 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7879
/proc/meminfo: memFree=29906392/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=440948 memory=417520 CPUtime=402.22 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 316755 0 0 0 40193 29 0 0 20 0 1 0 556848482 451530752 104380 33554432000 4194304 6211132 140726261901680 140726261899336 5443128 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 110237 104380 862 493 0 103542 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 440948 KiB
Current children cumulated memory: 417520 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7885
/proc/meminfo: memFree=29902360/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=444644 memory=421100 CPUtime=462.21 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 319957 0 0 0 46192 29 0 0 20 0 1 0 556848482 455315456 105275 33554432000 4194304 6211132 140726261901680 140726261899336 5443101 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 111161 105275 862 493 0 104466 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 444644 KiB
Current children cumulated memory: 421100 KiB
################
# More data... #
################
/proc/7839/statm: 113603 107730 862 493 0 106908 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 454412 KiB
Current children cumulated memory: 430920 KiB
[startup+1782.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/200 8005
/proc/meminfo: memFree=29891664/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=454412 memory=430988 CPUtime=1782.07 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 344554 0 0 0 178176 31 0 0 20 0 1 0 556848482 465317888 107747 33554432000 4194304 6211132 140726261901680 140726261899336 5476892 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 113603 107747 862 493 0 106908 0
Current children cumulated CPU time: 1782.07 s
Current children cumulated vsize: 454412 KiB
Current children cumulated memory: 430988 KiB
[startup+1842.3 s]
/proc/loadavg: 2.35 2.14 2.09 3/199 8009
/proc/meminfo: memFree=29891824/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=454412 memory=430988 CPUtime=1842.06 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 345507 0 0 0 184175 31 0 0 20 0 1 0 556848482 465317888 107747 33554432000 4194304 6211132 140726261901680 140726261899336 140021212990301 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 113603 107747 862 493 0 106908 0
Current children cumulated CPU time: 1842.06 s
Current children cumulated vsize: 454412 KiB
Current children cumulated memory: 430988 KiB
[startup+1902.3 s]
/proc/loadavg: 2.61 2.25 2.13 3/199 8015
/proc/meminfo: memFree=29891484/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=454544 memory=431104 CPUtime=1902.06 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 346453 0 0 0 190175 31 0 0 20 0 1 0 556848482 465453056 107776 33554432000 4194304 6211132 140726261901680 140726261899336 5476920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 113636 107776 862 493 0 106941 0
Current children cumulated CPU time: 1902.06 s
Current children cumulated vsize: 454544 KiB
Current children cumulated memory: 431104 KiB
[startup+1962.3 s]
/proc/loadavg: 2.23 2.21 2.12 3/199 8019
/proc/meminfo: memFree=29890924/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=455336 memory=431940 CPUtime=1962.05 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 347629 0 0 0 196174 31 0 0 20 0 1 0 556848482 466264064 107985 33554432000 4194304 6211132 140726261901680 140726261899336 5443143 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 113834 107985 862 493 0 107139 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 455336 KiB
Current children cumulated memory: 431940 KiB
[startup+2022.3 s]
/proc/loadavg: 2.08 2.17 2.12 3/199 8023
/proc/meminfo: memFree=29890136/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=455600 memory=432044 CPUtime=2022.04 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 348633 0 0 0 202173 31 0 0 20 0 1 0 556848482 466534400 108011 33554432000 4194304 6211132 140726261901680 140726261899336 5446189 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 113900 108011 862 493 0 107205 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 455600 KiB
Current children cumulated memory: 432044 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.14 2.11 3/199 8029
/proc/meminfo: memFree=29889880/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=456128 memory=432536 CPUtime=2082.03 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 349528 0 0 0 208172 31 0 0 20 0 1 0 556848482 467075072 108134 33554432000 4194304 6211132 140726261901680 140726261899336 5451539 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 114032 108134 862 493 0 107337 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 456128 KiB
Current children cumulated memory: 432536 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.11 2.11 3/199 8040
/proc/meminfo: memFree=29889128/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=456392 memory=432824 CPUtime=2142.03 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 350313 0 0 0 214171 32 0 0 20 0 1 0 556848482 467345408 108206 33554432000 4194304 6211132 140726261901680 140726261899336 5454192 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 114098 108206 862 493 0 107403 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 456392 KiB
Current children cumulated memory: 432824 KiB
[startup+2202.3 s]
/proc/loadavg: 1.92 2.08 2.10 3/199 8105
/proc/meminfo: memFree=29974332/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=456392 memory=433012 CPUtime=2202.03 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 351058 0 0 0 220171 32 0 0 20 0 1 0 556848482 467345408 108253 33554432000 4194304 6211132 140726261901680 140726261899336 5452189 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 114098 108253 862 493 0 107403 0
Current children cumulated CPU time: 2202.03 s
Current children cumulated vsize: 456392 KiB
Current children cumulated memory: 433012 KiB
[startup+2262.3 s]
/proc/loadavg: 1.97 2.06 2.09 3/199 8111
/proc/meminfo: memFree=29974632/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=456392 memory=433016 CPUtime=2262.02 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 351799 0 0 0 226170 32 0 0 20 0 1 0 556848482 467345408 108254 33554432000 4194304 6211132 140726261901680 140726261899336 5446311 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 114098 108254 862 493 0 107403 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 456392 KiB
Current children cumulated memory: 433016 KiB
[startup+2322.3 s]
/proc/loadavg: 1.99 2.05 2.08 2/200 8176
/proc/meminfo: memFree=25820936/32770624 swapFree=66997324/67108860
[pid=7839] ppid=7836 vsize=456656 memory=433244 CPUtime=2322.02 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 352610 0 0 0 232170 32 0 0 20 0 1 0 556848482 467615744 108311 33554432000 4194304 6211132 140726261901680 140726261899336 5440648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 114164 108311 862 493 0 107469 0
Current children cumulated CPU time: 2322.02 s
Current children cumulated vsize: 456656 KiB
Current children cumulated memory: 433244 KiB
[startup+2382.3 s]
/proc/loadavg: 3.15 2.41 2.21 3/200 8245
/proc/meminfo: memFree=29919888/32770624 swapFree=66997328/67108860
[pid=7839] ppid=7836 vsize=456920 memory=433436 CPUtime=2382.01 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 353388 0 0 0 238169 32 0 0 20 0 1 0 556848482 467886080 108359 33554432000 4194304 6211132 140726261901680 140726261899336 140021212990272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 114230 108359 862 493 0 107535 0
Current children cumulated CPU time: 2382.01 s
Current children cumulated vsize: 456920 KiB
Current children cumulated memory: 433436 KiB
[startup+2442.3 s]
/proc/loadavg: 2.42 2.34 2.20 3/200 8251
/proc/meminfo: memFree=29298308/32770624 swapFree=66997328/67108860
[pid=7839] ppid=7836 vsize=457052 memory=433568 CPUtime=2442.01 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 354091 0 0 0 244169 32 0 0 20 0 1 0 556848482 468021248 108392 33554432000 4194304 6211132 140726261901680 140726261899336 5454220 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 114263 108392 862 493 0 107568 0
Current children cumulated CPU time: 2442.01 s
Current children cumulated vsize: 457052 KiB
Current children cumulated memory: 433568 KiB
[startup+2502.3 s]
/proc/loadavg: 2.15 2.28 2.18 3/200 8255
/proc/meminfo: memFree=28673188/32770624 swapFree=66997328/67108860
[pid=7839] ppid=7836 vsize=457052 memory=433592 CPUtime=2502 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 354860 0 0 0 250168 32 0 0 20 0 1 0 556848482 468021248 108398 33554432000 4194304 6211132 140726261901680 140726261899336 140021212990351 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 114263 108398 862 493 0 107568 0
Current children cumulated CPU time: 2502 s
Current children cumulated vsize: 457052 KiB
Current children cumulated memory: 433592 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.11 2.26 2.18 3/200 8255
/proc/meminfo: memFree=28487768/32770624 swapFree=66997328/67108860
[pid=7839] ppid=7836 vsize=457052 memory=433592 CPUtime=2519.71 cores=1,3,5,7
/proc/7839/stat : 7839 (cosoco) R 7836 7839 2465 0 -1 4202496 355417 0 0 0 251939 32 0 0 20 0 1 0 556848482 468021248 108398 33554432000 4194304 6211132 140726261901680 140726261899336 5452266 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10637312 140726261908491 140726261908593 140726261908593 140726261911502 0
/proc/7839/statm: 114263 108398 862 493 0 107568 0
Current children cumulated CPU time: 2519.71 s
Current children cumulated vsize: 457052 KiB
Current children cumulated memory: 433592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 7839 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.39 s, system=0.325965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.72
CPU user time (s): 2519.39
CPU system time (s): 0.325965
CPU usage (%): 99.9883
Max. virtual memory (cumulated for all children) (KiB): 457052
Max. memory (cumulated for all children) (KiB): 433592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.39
system time used= 0.325965
maximum resident set size= 433660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355460
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= 52
involuntary context switches= 2470
# summary of solver processes directly reported to runsolver:
# pid: 7839
# total CPU time (s): 2519.72
# total CPU user time (s): 2519.39
# total CPU system time (s): 0.325965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.43497 second user time and 17.8368 second system time
The end