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 (14069 MiB free)
memory of node 1: 16384 MiB (15750 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409147-1569813065/watcher-4409147-1569813065 -o /tmp/evaluation-result-4409147-1569813065/solver-4409147-1569813065 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1569787356-4539 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409147-1569813065.xml
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
solver pid=9648, runsolver pid=9645
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 2.01 2.00 2.04 3/200 9649
/proc/meminfo: memFree=30523352/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=39156 memory=15232 CPUtime=0.09 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 4008 0 0 0 9 0 0 0 20 0 1 0 557545063 40095744 3808 33554432000 4194304 6211132 140732838899264 140732838895016 5443132 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 9789 3808 809 493 0 3094 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15232 KiB
[startup+0.209727 s]*
/proc/loadavg: 2.01 2.00 2.04 3/200 9649
/proc/meminfo: memFree=30520376/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=40732 memory=17008 CPUtime=0.2 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 4422 0 0 0 20 0 0 0 20 0 1 0 557545063 41709568 4252 33554432000 4194304 6211132 140732838899264 140732838896536 140127547841509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 10183 4252 819 493 0 3488 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40732 KiB
Current children cumulated memory: 17008 KiB
[startup+0.308987 s]*
/proc/loadavg: 2.01 2.00 2.04 3/200 9649
/proc/meminfo: memFree=30518516/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=41716 memory=17800 CPUtime=0.3 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 4674 0 0 0 30 0 0 0 20 0 1 0 557545063 42717184 4450 33554432000 4194304 6211132 140732838899264 140732838896536 140127547841509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 10429 4450 819 493 0 3734 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 17800 KiB
[startup+0.700276 s]
/proc/loadavg: 2.01 2.00 2.04 3/200 9649
/proc/meminfo: memFree=30514424/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=45712 memory=21736 CPUtime=0.69 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 5646 0 0 0 68 1 0 0 20 0 1 0 557545063 46809088 5434 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 11428 5434 819 493 0 4733 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45712 KiB
Current children cumulated memory: 21736 KiB
[startup+1.50028 s]
/proc/loadavg: 2.01 2.00 2.04 3/200 9649
/proc/meminfo: memFree=30504380/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=53816 memory=29792 CPUtime=1.49 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 7671 0 0 0 148 1 0 0 20 0 1 0 557545063 55107584 7448 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 13454 7448 819 493 0 6759 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53816 KiB
Current children cumulated memory: 29792 KiB
[startup+3.10942 s]
/proc/loadavg: 2.01 2.00 2.04 3/200 9649
/proc/meminfo: memFree=30464312/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=70236 memory=46284 CPUtime=3.09 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 11910 0 0 0 308 1 0 0 20 0 1 0 557545063 71921664 11571 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 17559 11571 819 493 0 10864 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70236 KiB
Current children cumulated memory: 46284 KiB
[startup+6.30027 s]
/proc/loadavg: 2.01 2.00 2.04 3/200 9649
/proc/meminfo: memFree=30400960/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=103252 memory=78416 CPUtime=6.29 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 20153 0 0 0 626 3 0 0 20 0 1 0 557545063 105730048 19604 33554432000 4194304 6211132 140732838899264 140732838872824 140127547837246 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 25813 19604 819 493 0 19118 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 103252 KiB
Current children cumulated memory: 78416 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.04 3/200 9649
/proc/meminfo: memFree=30277328/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=167392 memory=143356 CPUtime=12.68 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 36521 0 0 0 1263 5 0 0 20 0 1 0 557545063 171409408 35839 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 41848 35839 819 493 0 35153 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 167392 KiB
Current children cumulated memory: 143356 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.04 3/200 9651
/proc/meminfo: memFree=30009440/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=298456 memory=272944 CPUtime=25.48 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 69269 0 0 0 2539 9 0 0 20 0 1 0 557545063 305618944 68236 33554432000 4194304 6211132 140732838899264 140732838872824 140127547837246 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 74614 68236 819 493 0 67919 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 298456 KiB
Current children cumulated memory: 272944 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 9652
/proc/meminfo: memFree=29471228/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=561936 memory=534356 CPUtime=51.09 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 133237 0 0 0 5090 19 0 0 20 0 1 0 557545063 575422464 133589 33554432000 4194304 6211132 140732838899264 140732838872824 5013038 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 140484 133589 819 493 0 133789 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 561936 KiB
Current children cumulated memory: 534356 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 9657
/proc/meminfo: memFree=28420500/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=1075396 memory=1051244 CPUtime=102.25 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 259561 0 0 0 10191 34 0 0 20 0 1 0 557545063 1101205504 262811 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 268849 262811 819 493 0 262154 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1075396 KiB
Current children cumulated memory: 1051244 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 9663
/proc/meminfo: memFree=27180064/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=1705388 memory=1660720 CPUtime=162.24 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 407859 0 0 0 16169 55 0 0 20 0 1 0 557545063 1746317312 415180 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 426347 415180 819 493 0 419652 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 1705388 KiB
Current children cumulated memory: 1660720 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 9667
/proc/meminfo: memFree=25943004/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=2294504 memory=2268364 CPUtime=222.22 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 555151 0 0 0 22151 71 0 0 20 0 1 0 557545063 2349572096 567091 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 573626 567091 819 493 0 566931 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 2294504 KiB
Current children cumulated memory: 2268364 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 9671
/proc/meminfo: memFree=24705588/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=2920532 memory=2875824 CPUtime=282.22 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 703143 0 0 0 28130 92 0 0 20 0 1 0 557545063 2990624768 718956 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 730133 718956 819 493 0 723438 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 2920532 KiB
Current children cumulated memory: 2875824 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 9677
/proc/meminfo: memFree=23470696/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=3509516 memory=3485488 CPUtime=342.21 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 850731 0 0 0 34111 110 0 0 20 0 1 0 557545063 3593744384 871372 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 877379 871372 819 493 0 870684 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 3509516 KiB
Current children cumulated memory: 3485488 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 9681
/proc/meminfo: memFree=22232164/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=4153864 memory=4092864 CPUtime=402.2 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 998849 0 0 0 40089 131 0 0 20 0 1 0 557545063 4253556736 1023216 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 1038466 1023216 819 493 0 1031771 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 4153864 KiB
Current children cumulated memory: 4092864 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 9685
/proc/meminfo: memFree=20994148/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=4742716 memory=4700240 CPUtime=462.19 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 1146743 0 0 0 46068 151 0 0 20 0 1 0 557545063 4856541184 1175060 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 1185679 1175060 819 493 0 1178984 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 4742716 KiB
Current children cumulated memory: 4700240 KiB
################
# More data... #
################
Current children cumulated vsize: 10834624 KiB
Current children cumulated memory: 10774236 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 9747
/proc/meminfo: memFree=7399732/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=11422684 memory=11380632 CPUtime=1122.07 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 2773833 0 0 0 111785 422 0 0 20 0 1 0 557545063 11696828416 2845158 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 2855671 2845158 819 493 0 2848976 0
Current children cumulated CPU time: 1122.07 s
Current children cumulated vsize: 11422684 KiB
Current children cumulated memory: 11380632 KiB
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.05 3/199 9758
/proc/meminfo: memFree=6163444/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=12197336 memory=11987136 CPUtime=1182.05 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 2922203 0 0 0 117753 452 0 0 20 0 1 0 557545063 12490072064 2996784 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3049334 2996784 819 493 0 3042639 0
Current children cumulated CPU time: 1182.05 s
Current children cumulated vsize: 12197336 KiB
Current children cumulated memory: 11987136 KiB
[startup+1242.3 s]
/proc/loadavg: 2.31 2.08 2.07 3/199 9764
/proc/meminfo: memFree=4928316/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=12785264 memory=12594588 CPUtime=1242.05 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 3070331 0 0 0 123724 481 0 0 20 0 1 0 557545063 13092110336 3148647 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3196316 3148647 819 493 0 3189621 0
Current children cumulated CPU time: 1242.05 s
Current children cumulated vsize: 12785264 KiB
Current children cumulated memory: 12594588 KiB
[startup+1302.3 s]
/proc/loadavg: 2.35 2.15 2.09 3/199 9768
/proc/meminfo: memFree=3693504/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=13373060 memory=13200984 CPUtime=1302.04 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 3218149 0 0 0 129693 511 0 0 20 0 1 0 557545063 13694013440 3300246 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3343265 3300246 819 493 0 3336570 0
Current children cumulated CPU time: 1302.04 s
Current children cumulated vsize: 13373060 KiB
Current children cumulated memory: 13200984 KiB
[startup+1362.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/199 9772
/proc/meminfo: memFree=2458804/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=13960856 memory=13809156 CPUtime=1362.03 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 3365922 0 0 0 135663 540 0 0 20 0 1 0 557545063 14295916544 3452289 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3490214 3452289 819 493 0 3483519 0
Current children cumulated CPU time: 1362.03 s
Current children cumulated vsize: 13960856 KiB
Current children cumulated memory: 13809156 KiB
[startup+1422.3 s]
/proc/loadavg: 2.29 2.18 2.11 3/199 9843
/proc/meminfo: memFree=16836608/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=14550500 memory=14417316 CPUtime=1422 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 3513904 0 0 0 141628 572 0 0 20 0 1 0 557545063 14899712000 3604329 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3637625 3604329 819 493 0 3630930 0
Current children cumulated CPU time: 1422 s
Current children cumulated vsize: 14550500 KiB
Current children cumulated memory: 14417316 KiB
[startup+1482.3 s]
/proc/loadavg: 2.10 2.14 2.10 3/199 9847
/proc/meminfo: memFree=16215664/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=15141464 memory=15026600 CPUtime=1481.97 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 3661877 0 0 0 147591 606 0 0 20 0 1 0 557545063 15504859136 3756650 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3785366 3756650 819 493 0 3778671 0
Current children cumulated CPU time: 1481.97 s
Current children cumulated vsize: 15141464 KiB
Current children cumulated memory: 15026600 KiB
[startup+1542.3 s]
/proc/loadavg: 2.07 2.13 2.10 3/199 9851
/proc/meminfo: memFree=15597196/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=15732428 memory=15637992 CPUtime=1541.94 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 3809926 0 0 0 153553 641 0 0 20 0 1 0 557545063 16110006272 3909498 33554432000 4194304 6211132 140732838899264 140732838872824 140127547837246 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3933107 3909498 819 493 0 3926412 0
Current children cumulated CPU time: 1541.94 s
Current children cumulated vsize: 15732428 KiB
Current children cumulated memory: 15637992 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1556.5 s]
/proc/loadavg: 2.05 2.13 2.10 3/199 9853
/proc/meminfo: memFree=15453688/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=15872216 memory=15782064 CPUtime=1556.14 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) R 9645 9648 4507 0 -1 4202496 3844947 0 0 0 154965 649 0 0 20 0 1 0 557545063 16253149184 3945516 33554432000 4194304 6211132 140732838899264 140732838872824 140127547841509 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3968054 3945516 819 493 0 3961359 0
Current children cumulated CPU time: 1556.14 s
Current children cumulated vsize: 15872216 KiB
Current children cumulated memory: 15782064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1559.33 s]
# the end of solver process 9648 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1549.97 s, system=7.34904 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1556.8 s]
/proc/loadavg: 2.05 2.13 2.10 3/199 9853
/proc/meminfo: memFree=15453688/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=15872216 memory=15782064 CPUtime=1556.19 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) S 9645 9648 4507 0 -1 512 3844952 0 0 0 154970 649 0 0 20 0 1 0 557545063 16253149184 3945516 33554432000 4194304 6211132 140732838899264 140732838872824 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3968054 3945516 819 493 0 3961359 0
Current children cumulated CPU time: 1556.19 s
Current children cumulated vsize: 15872216 KiB
Current children cumulated memory: 15782064 KiB
[startup+1557.6 s]
/proc/loadavg: 2.05 2.13 2.10 3/200 9854
/proc/meminfo: memFree=15147144/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=15872216 memory=15782064 CPUtime=1556.32 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) S 9645 9648 4507 0 -1 512 3844952 0 0 0 154981 651 0 0 20 0 1 0 557545063 16253149184 3945516 33554432000 4194304 6211132 140732838899264 140732838872824 5189800 0 16384 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3968054 3945516 819 493 0 3961359 0
Current children cumulated CPU time: 1556.32 s
Current children cumulated vsize: 15872216 KiB
Current children cumulated memory: 15782064 KiB
[startup+1558 s]*
/proc/loadavg: 2.05 2.13 2.10 3/200 9854
/proc/meminfo: memFree=14548456/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=15872216 memory=15782064 CPUtime=1556.4 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) S 9645 9648 4507 0 -1 512 3844952 0 0 0 154989 651 0 0 20 0 1 0 557545063 16253149184 3945516 33554432000 4194304 6211132 140732838899264 140732838872824 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3968054 3945516 819 493 0 3961359 0
Current children cumulated CPU time: 1556.4 s
Current children cumulated vsize: 15872216 KiB
Current children cumulated memory: 15782064 KiB
[startup+1558.4 s]
/proc/loadavg: 2.05 2.13 2.10 3/200 9854
/proc/meminfo: memFree=14548456/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=15872216 memory=15782064 CPUtime=1556.46 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) S 9645 9648 4507 0 -1 512 3844952 0 0 0 154995 651 0 0 20 0 1 0 557545063 16253149184 3945516 33554432000 4194304 6211132 140732838899264 140732838872824 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3968054 3945516 819 493 0 3961359 0
Current children cumulated CPU time: 1556.46 s
Current children cumulated vsize: 15872216 KiB
Current children cumulated memory: 15782064 KiB
[startup+1558.5 s]
/proc/loadavg: 2.05 2.13 2.10 3/200 9854
/proc/meminfo: memFree=14548456/32770624 swapFree=66943300/67108860
[pid=9648] ppid=9645 vsize=15872216 memory=15782064 CPUtime=1556.48 cores=1,3,5,7
/proc/9648/stat : 9648 (cosoco) S 9645 9648 4507 0 -1 512 3844952 0 0 0 154996 652 0 0 20 0 1 0 557545063 16253149184 3945516 33554432000 4194304 6211132 140732838899264 140732838872824 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 36093952 140732838904843 140732838904945 140732838904945 140732838907854 0
/proc/9648/statm: 3968054 3945516 819 493 0 3961359 0
Current children cumulated CPU time: 1556.48 s
Current children cumulated vsize: 15872216 KiB
Current children cumulated memory: 15782064 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1559.33
CPU time (s): 1557.32
CPU user time (s): 1549.97
CPU system time (s): 7.34904
CPU usage (%): 99.871
Max. virtual memory (cumulated for all children) (KiB): 15872216
Max. memory (cumulated for all children) (KiB): 15782064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1549.97
system time used= 7.34904
maximum resident set size= 15782160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3844952
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= 146586
involuntary context switches= 2756
# summary of solver processes directly reported to runsolver:
# pid: 9648
# total CPU time (s): 1557.32
# total CPU user time (s): 1549.97
# total CPU system time (s): 7.34904
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.26863 second user time and 10.7016 second system time
The end