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 (12517 MiB free)
memory of node 1: 16384 MiB (10339 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296012-1532601845/watcher-4296012-1532601845 -o /tmp/evaluation-result-4296012-1532601845/solver-4296012-1532601845 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8247 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4296012-1532601845.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=8980, runsolver pid=8977
Current StackSize limit: 8192 KiB
[startup+0.100206 s]*
/proc/loadavg: 2.00 2.00 2.04 3/182 8986
/proc/meminfo: memFree=23388288/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=42332 memory=18328 CPUtime=0.09 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 4764 0 0 0 9 0 0 0 20 0 1 0 77747666 43347968 4582 33554432000 4194304 6142532 140725520446352 140725520441640 139632621612005 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 10583 4582 738 476 0 3905 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42332 KiB
Current children cumulated memory: 18328 KiB
[startup+0.209638 s]*
/proc/loadavg: 2.00 2.00 2.04 2/186 8996
/proc/meminfo: memFree=23383524/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=45184 memory=21232 CPUtime=0.2 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5496 0 0 0 20 0 0 0 20 0 1 0 77747666 46268416 5308 33554432000 4194304 6142532 140725520446352 140725520441640 5363684 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 11296 5308 786 476 0 4618 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45184 KiB
Current children cumulated memory: 21232 KiB
[startup+0.309223 s]*
/proc/loadavg: 2.00 2.00 2.04 4/192 9016
/proc/meminfo: memFree=23374212/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=46824 memory=22728 CPUtime=0.31 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5970 0 0 0 30 1 0 0 20 0 1 0 77747666 47947776 5682 33554432000 4194304 6142532 140725520446352 140725520441640 139632621612005 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 11706 5682 786 476 0 5028 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 22728 KiB
[startup+0.700367 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 9025
/proc/meminfo: memFree=23305888/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=201648 memory=177696 CPUtime=0.69 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 44692 0 0 0 64 5 0 0 20 0 1 0 77747666 206487552 44424 33554432000 4194304 6142532 140725520446352 140725520441640 139632621612005 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 50412 44424 803 476 0 43734 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 201648 KiB
Current children cumulated memory: 177696 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 9086
/proc/meminfo: memFree=23080092/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=534332 memory=510336 CPUtime=1.48 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 127863 0 0 0 133 15 0 0 20 0 1 0 77747666 547155968 127584 33554432000 4194304 6142532 140725520446352 140725520440728 139632621612005 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 133583 127584 803 476 0 126905 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 534332 KiB
Current children cumulated memory: 510336 KiB
[startup+3.10955 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=21779744/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=1202616 memory=1178648 CPUtime=3.1 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 295582 0 0 0 274 36 0 0 20 0 1 0 77747666 1231478784 294662 33554432000 4194304 6142532 140725520446352 140725520440728 139632621612005 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 300654 294662 803 476 0 293976 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1202616 KiB
Current children cumulated memory: 1178648 KiB
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=19315784/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=2441252 memory=2417340 CPUtime=6.29 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 607209 0 0 0 555 74 0 0 20 0 1 0 77747666 2499842048 604335 33554432000 4194304 6142532 140725520446352 140725520440824 139632621612005 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 610313 604335 803 476 0 603635 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2441252 KiB
Current children cumulated memory: 2417340 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=14500368/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=4757700 memory=4734344 CPUtime=12.69 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 1220067 0 0 0 1118 151 0 0 20 0 1 0 77747666 4871884800 1183586 33554432000 4194304 6142532 140725520446352 140725520440824 139632621612005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1189425 1183586 892 476 0 1182747 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 4757700 KiB
Current children cumulated memory: 4734344 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=13768696/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=4838476 memory=4814812 CPUtime=25.49 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 1362333 0 0 0 2387 162 0 0 20 0 1 0 77747666 4954599424 1203703 33554432000 4194304 6142532 140725520446352 140725520443368 5367159 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1209619 1203703 894 476 0 1202941 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 4838476 KiB
Current children cumulated memory: 4814812 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9121
/proc/meminfo: memFree=12997292/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5243516 memory=5196844 CPUtime=51.09 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 1612382 0 0 0 4923 186 0 0 20 0 1 0 77747666 5369360384 1299211 33554432000 4194304 6142532 140725520446352 140725520443096 5371724 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1310879 1299211 894 476 0 1304201 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 5243516 KiB
Current children cumulated memory: 5196844 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9122
/proc/meminfo: memFree=12962508/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5271008 memory=5223144 CPUtime=102.26 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 1806602 0 0 0 10029 197 0 0 20 0 1 0 77747666 5397512192 1305786 33554432000 4194304 6142532 140725520446352 140725520443096 139632631556934 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1317752 1305786 894 476 0 1311074 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 5271008 KiB
Current children cumulated memory: 5223144 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9123
/proc/meminfo: memFree=12562640/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5299184 memory=5250416 CPUtime=162.25 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 1995495 0 0 0 16017 208 0 0 20 0 1 0 77747666 5426364416 1312604 33554432000 4194304 6142532 140725520446352 140725520443096 5367428 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1324796 1312604 894 476 0 1318118 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 5299184 KiB
Current children cumulated memory: 5250416 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9124
/proc/meminfo: memFree=12554368/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5302876 memory=5254060 CPUtime=222.24 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 2174335 0 0 0 22007 217 0 0 20 0 1 0 77747666 5430145024 1313515 33554432000 4194304 6142532 140725520446352 140725520443096 5363684 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1325719 1313515 894 476 0 1319041 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 5302876 KiB
Current children cumulated memory: 5254060 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9125
/proc/meminfo: memFree=12144076/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5728464 memory=5663564 CPUtime=282.23 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 2465082 0 0 0 27985 238 0 0 20 0 1 0 77747666 5865947136 1415891 33554432000 4194304 6142532 140725520446352 140725520442984 5047816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1432116 1415891 894 476 0 1425438 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 5728464 KiB
Current children cumulated memory: 5663564 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 9126
/proc/meminfo: memFree=12134120/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5739928 memory=5673892 CPUtime=342.23 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 2586237 0 0 0 33979 244 0 0 20 0 1 0 77747666 5877686272 1418473 33554432000 4194304 6142532 140725520446352 140725520442984 5363575 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1434982 1418473 894 476 0 1428304 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 5739928 KiB
Current children cumulated memory: 5673892 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9135
/proc/meminfo: memFree=12132188/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5675064 CPUtime=402.22 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 2696876 0 0 0 39972 250 0 0 20 0 1 0 77747666 5878992896 1418766 33554432000 4194304 6142532 140725520446352 140725520442984 139632622538154 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1418766 894 476 0 1428623 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5675064 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 9136
/proc/meminfo: memFree=12131108/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5675068 CPUtime=462.22 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 2872503 0 0 0 45963 259 0 0 20 0 1 0 77747666 5878992896 1418767 33554432000 4194304 6142532 140725520446352 140725520442984 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1418767 894 476 0 1428623 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5675068 KiB
################
# More data... #
################
/proc/8980/statm: 1435301 1419072 894 476 0 1428623 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676288 KiB
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 9222
/proc/meminfo: memFree=12085760/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676288 CPUtime=1782.08 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5350598 0 0 0 177826 382 0 0 20 0 1 0 77747666 5878992896 1419072 33554432000 4194304 6142532 140725520446352 140725520442984 5399830 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419072 894 476 0 1428623 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676288 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 9223
/proc/meminfo: memFree=12085752/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676288 CPUtime=1842.08 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5429976 0 0 0 183822 386 0 0 20 0 1 0 77747666 5878992896 1419072 33554432000 4194304 6142532 140725520446352 140725520442984 5363683 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419072 894 476 0 1428623 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676288 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9224
/proc/meminfo: memFree=12085848/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=1902.08 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5527394 0 0 0 189816 392 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5371752 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9225
/proc/meminfo: memFree=12085372/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=1962.08 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5596200 0 0 0 195812 396 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5361716 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9226
/proc/meminfo: memFree=12085304/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=2022.07 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5663710 0 0 0 201808 399 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5371742 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9227
/proc/meminfo: memFree=12084456/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=2082.07 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5746050 0 0 0 207804 403 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5371863 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9228
/proc/meminfo: memFree=12085284/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=2142.07 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5812364 0 0 0 213800 407 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5147016 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9237
/proc/meminfo: memFree=12085784/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=2202.06 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5870494 0 0 0 219796 410 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5374057 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 2202.06 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9238
/proc/meminfo: memFree=12086056/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=2262.06 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5924766 0 0 0 225791 415 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5146745 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9239
/proc/meminfo: memFree=12085832/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=2322.06 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 5984600 0 0 0 231788 418 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 4965024 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9240
/proc/meminfo: memFree=12085784/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=2382.06 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 6048669 0 0 0 237785 421 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5399715 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 2382.06 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9241
/proc/meminfo: memFree=12086180/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=2442.05 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 6096665 0 0 0 243782 423 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5175088 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 2442.05 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9243
/proc/meminfo: memFree=12084888/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=2502.05 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 6143548 0 0 0 249779 426 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5374084 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 2502.05 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9243
/proc/meminfo: memFree=12084940/32770624 swapFree=67108860/67108860
[pid=8980] ppid=8977 vsize=5741204 memory=5676340 CPUtime=2519.76 cores=1,3,5,7
/proc/8980/stat : 8980 (cosoco) R 8977 8980 8215 0 -1 4202496 6164171 0 0 0 251549 427 0 0 20 0 1 0 77747666 5878992896 1419085 33554432000 4194304 6142532 140725520446352 140725520442984 5146698 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 27119616 140725520454790 140725520454920 140725520454920 140725520457678 0
/proc/8980/statm: 1435301 1419085 894 476 0 1428623 0
Current children cumulated CPU time: 2519.76 s
Current children cumulated vsize: 5741204 KiB
Current children cumulated memory: 5676340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.12 s]
# the end of solver process 8980 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.49 s, system=4.3758 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.12
CPU time (s): 2519.87
CPU user time (s): 2515.49
CPU system time (s): 4.3758
CPU usage (%): 99.9902
Max. virtual memory (cumulated for all children) (KiB): 5741204
Max. memory (cumulated for all children) (KiB): 5676340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.49
system time used= 4.3758
maximum resident set size= 5676400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6164220
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= 217
involuntary context switches= 724
# summary of solver processes directly reported to runsolver:
# pid: 8980
# total CPU time (s): 2519.87
# total CPU user time (s): 2515.49
# total CPU system time (s): 4.3758
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.05623 second user time and 19.4286 second system time
The end