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 (15198 MiB free)
memory of node 1: 16384 MiB (15463 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408973-1569792477/watcher-4408973-1569792477 -o /tmp/evaluation-result-4408973-1569792477/solver-4408973-1569792477 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1569787349-13106 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408973-1569792477.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
Current StackSize limit: 8192 KiB
solver pid=14007, runsolver pid=14004
[startup+0.100149 s]*
/proc/loadavg: 2.00 2.01 2.01 3/199 14008
/proc/meminfo: memFree=31396852/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=28680 memory=5008 CPUtime=0.1 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 1464 0 0 0 10 0 0 0 20 0 1 0 555189469 29368320 1252 33554432000 4194304 6211132 140722447386736 140722447383272 5013236 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 7170 1252 845 493 0 475 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28680 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209425 s]*
/proc/loadavg: 2.00 2.01 2.01 3/199 14008
/proc/meminfo: memFree=31395736/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=29768 memory=6328 CPUtime=0.21 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 1746 0 0 0 21 0 0 0 20 0 1 0 555189469 30482432 1582 33554432000 4194304 6211132 140722447386736 140722447383272 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 7442 1582 846 493 0 747 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 6328 KiB
[startup+0.308826 s]*
/proc/loadavg: 2.00 2.01 2.01 3/199 14008
/proc/meminfo: memFree=31394620/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=30864 memory=7120 CPUtime=0.31 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 2002 0 0 0 31 0 0 0 20 0 1 0 555189469 31604736 1780 33554432000 4194304 6211132 140722447386736 140722447383272 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 7716 1780 846 493 0 1021 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30864 KiB
Current children cumulated memory: 7120 KiB
[startup+0.700273 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 14008
/proc/meminfo: memFree=31392760/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=34900 memory=11072 CPUtime=0.69 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 2991 0 0 0 69 0 0 0 20 0 1 0 555189469 35737600 2768 33554432000 4194304 6211132 140722447386736 140722447383272 140225302115162 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 8725 2768 846 493 0 2030 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34900 KiB
Current children cumulated memory: 11072 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 14008
/proc/meminfo: memFree=31387552/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=43164 memory=19400 CPUtime=1.49 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 5055 0 0 0 148 1 0 0 20 0 1 0 555189469 44199936 4850 33554432000 4194304 6211132 140722447386736 140722447366984 5013029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 10791 4850 846 493 0 4096 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43164 KiB
Current children cumulated memory: 19400 KiB
[startup+3.10938 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 14008
/proc/meminfo: memFree=31366480/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=60072 memory=36124 CPUtime=3.1 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 9253 0 0 0 309 1 0 0 20 0 1 0 555189469 61513728 9031 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 15018 9031 846 493 0 8323 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 60072 KiB
Current children cumulated memory: 36124 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 14008
/proc/meminfo: memFree=31335400/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=93888 memory=68948 CPUtime=6.29 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 17533 0 0 0 627 2 0 0 20 0 1 0 555189469 96141312 17237 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 23472 17237 846 493 0 16777 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 93888 KiB
Current children cumulated memory: 68948 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 14008
/proc/meminfo: memFree=31273836/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=159012 memory=134708 CPUtime=12.69 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 34076 0 0 0 1265 4 0 0 20 0 1 0 555189469 162828288 33677 33554432000 4194304 6211132 140722447386736 140722447366984 5012996 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 39753 33677 846 493 0 33058 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 159012 KiB
Current children cumulated memory: 134708 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 14008
/proc/meminfo: memFree=31137204/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=293048 memory=268400 CPUtime=25.48 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 66570 0 0 0 2541 7 0 0 20 0 1 0 555189469 300081152 67100 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 73262 67100 846 493 0 66567 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 293048 KiB
Current children cumulated memory: 268400 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 14011
/proc/meminfo: memFree=30869264/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=563264 memory=532204 CPUtime=51.07 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 130476 0 0 0 5093 14 0 0 20 0 1 0 555189469 576782336 133051 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 140816 133051 846 493 0 134121 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 563264 KiB
Current children cumulated memory: 532204 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 14015
/proc/meminfo: memFree=30342744/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=1083404 memory=1058372 CPUtime=102.24 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 256976 0 0 0 10195 29 0 0 20 0 1 0 555189469 1109405696 264593 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 270851 264593 846 493 0 264156 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 1083404 KiB
Current children cumulated memory: 1058372 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 14019
/proc/meminfo: memFree=29723192/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=1735216 memory=1677400 CPUtime=162.22 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 405627 0 0 0 16176 46 0 0 20 0 1 0 555189469 1776861184 419350 33554432000 4194304 6211132 140722447386736 140722447366984 5452193 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 433804 419350 846 493 0 427109 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 1735216 KiB
Current children cumulated memory: 1677400 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/201 14033
/proc/meminfo: memFree=29103208/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=2325712 memory=2296492 CPUtime=222.2 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 553250 0 0 0 22155 65 0 0 20 0 1 0 555189469 2381529088 574123 33554432000 4194304 6211132 140722447386736 140722447366984 140225301187390 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 581428 574123 846 493 0 574733 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 2325712 KiB
Current children cumulated memory: 2296492 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/200 14037
/proc/meminfo: memFree=28483680/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=2971532 memory=2913700 CPUtime=282.17 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 701411 0 0 0 28134 83 0 0 20 0 1 0 555189469 3042848768 728425 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 742883 728425 846 493 0 736188 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 2971532 KiB
Current children cumulated memory: 2913700 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.01 3/200 14041
/proc/meminfo: memFree=27863424/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=3562000 memory=3532620 CPUtime=342.14 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 849016 0 0 0 34113 101 0 0 20 0 1 0 555189469 3647488000 883155 33554432000 4194304 6211132 140722447386736 140722447366984 5443057 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 890500 883155 846 493 0 883805 0
Current children cumulated CPU time: 342.14 s
Current children cumulated vsize: 3562000 KiB
Current children cumulated memory: 3532620 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/201 14047
/proc/meminfo: memFree=27244748/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=4235480 memory=4151320 CPUtime=402.11 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 997049 0 0 0 40090 121 0 0 20 0 1 0 555189469 4337131520 1037830 33554432000 4194304 6211132 140722447386736 140722447366984 5443112 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 1058870 1037830 846 493 0 1052175 0
Current children cumulated CPU time: 402.11 s
Current children cumulated vsize: 4235480 KiB
Current children cumulated memory: 4151320 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/200 14051
/proc/meminfo: memFree=26626276/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=4825916 memory=4770460 CPUtime=462.09 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 1144800 0 0 0 46065 144 0 0 20 0 1 0 555189469 4941737984 1192615 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 1206479 1192615 846 493 0 1199784 0
Current children cumulated CPU time: 462.09 s
Current children cumulated vsize: 4825916 KiB
Current children cumulated memory: 4770460 KiB
################
# More data... #
################
Current children cumulated vsize: 9859380 KiB
Current children cumulated memory: 9714148 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 14102
/proc/meminfo: memFree=21052768/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=10449156 memory=10330828 CPUtime=1001.88 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 2474545 0 0 0 99844 344 0 0 20 0 1 0 555189469 10699935744 2582707 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 2612289 2582707 846 493 0 2605594 0
Current children cumulated CPU time: 1001.88 s
Current children cumulated vsize: 10449156 KiB
Current children cumulated memory: 10330828 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 14106
/proc/meminfo: memFree=20433172/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=11038800 memory=10949668 CPUtime=1061.86 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 2622230 0 0 0 105816 370 0 0 20 0 1 0 555189469 11303731200 2737417 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 2759700 2737417 846 493 0 2753005 0
Current children cumulated CPU time: 1061.86 s
Current children cumulated vsize: 11038800 KiB
Current children cumulated memory: 10949668 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 14112
/proc/meminfo: memFree=19814856/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=11630604 memory=11566464 CPUtime=1121.83 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 2769968 0 0 0 111786 397 0 0 20 0 1 0 555189469 11909738496 2891616 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 2907651 2891616 846 493 0 2900956 0
Current children cumulated CPU time: 1121.83 s
Current children cumulated vsize: 11630604 KiB
Current children cumulated memory: 11566464 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 14116
/proc/meminfo: memFree=19196084/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=12220776 memory=12184048 CPUtime=1181.81 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 2917855 0 0 0 117759 422 0 0 20 0 1 0 555189469 12514074624 3046012 33554432000 4194304 6211132 140722447386736 140722447366984 5013011 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3055194 3046012 846 493 0 3048499 0
Current children cumulated CPU time: 1181.81 s
Current children cumulated vsize: 12220776 KiB
Current children cumulated memory: 12184048 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 14120
/proc/meminfo: memFree=18576196/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=13090568 memory=12802424 CPUtime=1241.78 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 3065956 0 0 0 123730 448 0 0 20 0 1 0 555189469 13404741632 3200606 33554432000 4194304 6211132 140722447386736 140722447366984 5013073 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3272642 3200606 846 493 0 3265947 0
Current children cumulated CPU time: 1241.78 s
Current children cumulated vsize: 13090568 KiB
Current children cumulated memory: 12802424 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 14126
/proc/meminfo: memFree=17956988/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=13679816 memory=13420472 CPUtime=1301.76 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 3213466 0 0 0 129697 479 0 0 20 0 1 0 555189469 14008131584 3355118 33554432000 4194304 6211132 140722447386736 140722447366984 140225301191653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3419954 3355118 846 493 0 3413259 0
Current children cumulated CPU time: 1301.76 s
Current children cumulated vsize: 13679816 KiB
Current children cumulated memory: 13420472 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 14130
/proc/meminfo: memFree=17339604/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=14269460 memory=14036740 CPUtime=1361.74 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 3361045 0 0 0 135668 506 0 0 20 0 1 0 555189469 14611927040 3509185 33554432000 4194304 6211132 140722447386736 140722447366984 5013078 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3567365 3509185 846 493 0 3560670 0
Current children cumulated CPU time: 1361.74 s
Current children cumulated vsize: 14269460 KiB
Current children cumulated memory: 14036740 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 14142
/proc/meminfo: memFree=16719652/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=14858708 memory=14654780 CPUtime=1421.73 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 3508597 0 0 0 141638 535 0 0 20 0 1 0 555189469 15215316992 3663695 33554432000 4194304 6211132 140722447386736 140722447366984 5451604 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3714677 3663695 846 493 0 3707982 0
Current children cumulated CPU time: 1421.73 s
Current children cumulated vsize: 14858708 KiB
Current children cumulated memory: 14654780 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 14148
/proc/meminfo: memFree=16102376/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=15447956 memory=15271168 CPUtime=1481.72 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 3656198 0 0 0 147608 564 0 0 20 0 1 0 555189469 15818706944 3817792 33554432000 4194304 6211132 140722447386736 140722447366984 140225302112144 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3861989 3817792 846 493 0 3855294 0
Current children cumulated CPU time: 1481.72 s
Current children cumulated vsize: 15447956 KiB
Current children cumulated memory: 15271168 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1525.5 s]
/proc/loadavg: 2.00 2.01 2.02 3/200 14150
/proc/meminfo: memFree=15659364/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=15872072 memory=15715664 CPUtime=1524.9 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) R 14004 14007 13074 0 -1 4202496 3762364 0 0 0 151904 586 0 0 20 0 1 0 555189469 16253001728 3928916 33554432000 4194304 6211132 140722447386736 140722447366984 140225301187390 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3968018 3928916 846 493 0 3961323 0
Current children cumulated CPU time: 1524.9 s
Current children cumulated vsize: 15872072 KiB
Current children cumulated memory: 15715664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1528.22 s]
# the end of solver process 14007 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1519.28 s, system=6.59242 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1526.4 s]
/proc/loadavg: 2.00 2.01 2.02 4/201 14153
/proc/meminfo: memFree=15641180/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=15872072 memory=15715664 CPUtime=1524.98 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) S 14004 14007 13074 0 -1 512 3762368 0 0 0 151911 587 0 0 20 0 1 0 555189469 16253001728 3928916 33554432000 4194304 6211132 140722447386736 140722447366984 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3968018 3928916 846 493 0 3961323 0
Current children cumulated CPU time: 1524.98 s
Current children cumulated vsize: 15872072 KiB
Current children cumulated memory: 15715664 KiB
[startup+1527.2 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 14153
/proc/meminfo: memFree=15087396/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=15872072 memory=15715664 CPUtime=1525.1 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) S 14004 14007 13074 0 -1 512 3762368 0 0 0 151923 587 0 0 20 0 1 0 555189469 16253001728 3928916 33554432000 4194304 6211132 140722447386736 140722447366984 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3968018 3928916 846 493 0 3961323 0
Current children cumulated CPU time: 1525.1 s
Current children cumulated vsize: 15872072 KiB
Current children cumulated memory: 15715664 KiB
[startup+1527.4 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 14153
/proc/meminfo: memFree=15087396/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=15872072 memory=15715664 CPUtime=1525.13 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) S 14004 14007 13074 0 -1 512 3762368 0 0 0 151926 587 0 0 20 0 1 0 555189469 16253001728 3928916 33554432000 4194304 6211132 140722447386736 140722447366984 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3968018 3928916 846 493 0 3961323 0
Current children cumulated CPU time: 1525.13 s
Current children cumulated vsize: 15872072 KiB
Current children cumulated memory: 15715664 KiB
[startup+1527.5 s]
/proc/loadavg: 2.00 2.01 2.02 3/201 14153
/proc/meminfo: memFree=15087396/32770624 swapFree=66974988/67108860
[pid=14007] ppid=14004 vsize=15872072 memory=15715664 CPUtime=1525.15 cores=1,3,5,7
/proc/14007/stat : 14007 (cosoco) S 14004 14007 13074 0 -1 512 3762368 0 0 0 151928 587 0 0 20 0 1 0 555189469 16253001728 3928916 33554432000 4194304 6211132 140722447386736 140722447366984 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 26828800 140722447389707 140722447389809 140722447389809 140722447392718 0
/proc/14007/statm: 3968018 3928916 846 493 0 3961323 0
Current children cumulated CPU time: 1525.15 s
Current children cumulated vsize: 15872072 KiB
Current children cumulated memory: 15715664 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1528.22
CPU time (s): 1525.88
CPU user time (s): 1519.28
CPU system time (s): 6.59242
CPU usage (%): 99.8468
Max. virtual memory (cumulated for all children) (KiB): 15872072
Max. memory (cumulated for all children) (KiB): 15715664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1519.28
system time used= 6.59242
maximum resident set size= 15715876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3762368
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= 105685
involuntary context switches= 1047
# summary of solver processes directly reported to runsolver:
# pid: 14007
# total CPU time (s): 1525.88
# total CPU user time (s): 1519.28
# total CPU system time (s): 6.59242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43297 second user time and 10.2216 second system time
The end