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 (13366 MiB free)
memory of node 1: 16384 MiB (15678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390202-1568337350/watcher-4390202-1568337350 -o /tmp/evaluation-result-4390202-1568337350/solver-4390202-1568337350 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568325638-27861 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390202-1568337350.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=30031, runsolver pid=30028
[startup+0.101022 s]*
/proc/loadavg: 2.35 2.11 2.07 3/200 30032
/proc/meminfo: memFree=29745164/32770624 swapFree=66932112/67108860
[pid=30031] ppid=30028 vsize=28548 memory=5008 CPUtime=0.1 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 1422 0 0 0 9 1 0 0 20 0 1 0 410002693 29233152 1252 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 7137 1252 844 493 0 442 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28548 KiB
Current children cumulated memory: 5008 KiB
[startup+0.210723 s]*
/proc/loadavg: 2.35 2.11 2.07 3/200 30032
/proc/meminfo: memFree=29746760/32770624 swapFree=66932112/67108860
[pid=30031] ppid=30028 vsize=29724 memory=6064 CPUtime=0.21 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 1722 0 0 0 20 1 0 0 20 0 1 0 410002693 30437376 1516 33554432000 4194304 6210612 140735592205552 140735592186952 140197407593632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 7431 1516 845 493 0 736 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29724 KiB
Current children cumulated memory: 6064 KiB
[startup+0.309811 s]*
/proc/loadavg: 2.35 2.11 2.07 4/202 30035
/proc/meminfo: memFree=29741812/32770624 swapFree=66932116/67108860
[pid=30031] ppid=30028 vsize=30820 memory=7120 CPUtime=0.31 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 2002 0 0 0 30 1 0 0 20 0 1 0 410002693 31559680 1780 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 7705 1780 845 493 0 1010 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30820 KiB
Current children cumulated memory: 7120 KiB
[startup+0.700285 s]
/proc/loadavg: 2.35 2.11 2.07 3/199 30035
/proc/meminfo: memFree=29904788/32770624 swapFree=66932116/67108860
[pid=30031] ppid=30028 vsize=35252 memory=11684 CPUtime=0.69 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 3098 0 0 0 68 1 0 0 20 0 1 0 410002693 36098048 2921 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 8813 2921 845 493 0 2118 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35252 KiB
Current children cumulated memory: 11684 KiB
[startup+1.50028 s]
/proc/loadavg: 2.35 2.11 2.07 3/199 30035
/proc/meminfo: memFree=29893172/32770624 swapFree=66932116/67108860
[pid=30031] ppid=30028 vsize=44572 memory=20816 CPUtime=1.48 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 5396 0 0 0 147 1 0 0 20 0 1 0 410002693 45641728 5204 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 11143 5204 845 493 0 4448 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44572 KiB
Current children cumulated memory: 20816 KiB
[startup+3.10921 s]
/proc/loadavg: 2.24 2.09 2.06 3/199 30035
/proc/meminfo: memFree=29852976/32770624 swapFree=66932116/67108860
[pid=30031] ppid=30028 vsize=63200 memory=39388 CPUtime=3.1 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 10070 0 0 0 308 2 0 0 20 0 1 0 410002693 64716800 9847 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 15800 9847 845 493 0 9105 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 63200 KiB
Current children cumulated memory: 39388 KiB
[startup+6.30029 s]
/proc/loadavg: 2.24 2.09 2.06 3/199 30035
/proc/meminfo: memFree=29791368/32770624 swapFree=66932116/67108860
[pid=30031] ppid=30028 vsize=100592 memory=75920 CPUtime=6.28 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 19292 0 0 0 625 3 0 0 20 0 1 0 410002693 103006208 18980 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 25148 18980 845 493 0 18453 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 100592 KiB
Current children cumulated memory: 75920 KiB
[startup+12.7003 s]
/proc/loadavg: 2.22 2.09 2.06 3/198 30035
/proc/meminfo: memFree=29666016/32770624 swapFree=66932116/67108860
[pid=30031] ppid=30028 vsize=176216 memory=149512 CPUtime=12.68 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 37722 0 0 0 1263 5 0 0 20 0 1 0 410002693 180445184 37378 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 44054 37378 845 493 0 37359 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 176216 KiB
Current children cumulated memory: 149512 KiB
[startup+25.5002 s]
/proc/loadavg: 2.17 2.09 2.06 3/198 30035
/proc/meminfo: memFree=29394684/32770624 swapFree=66932116/67108860
[pid=30031] ppid=30028 vsize=321404 memory=297168 CPUtime=25.49 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 73783 0 0 0 2539 10 0 0 20 0 1 0 410002693 329117696 74292 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 80351 74292 845 493 0 73656 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 321404 KiB
Current children cumulated memory: 297168 KiB
[startup+51.1092 s]
/proc/loadavg: 2.11 2.08 2.06 3/198 30038
/proc/meminfo: memFree=28856004/32770624 swapFree=66932116/67108860
[pid=30031] ppid=30028 vsize=620340 memory=591412 CPUtime=51.09 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 144864 0 0 0 5089 20 0 0 20 0 1 0 410002693 635228160 147853 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 155085 147853 845 493 0 148390 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 620340 KiB
Current children cumulated memory: 591412 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/199 30043
/proc/meminfo: memFree=27797612/32770624 swapFree=66932116/67108860
[pid=30031] ppid=30028 vsize=1222032 memory=1178840 CPUtime=102.29 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 286051 0 0 0 10191 38 0 0 20 0 1 0 410002693 1251360768 294710 33554432000 4194304 6210612 140735592205552 140735592186952 140197398256446 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 305508 294710 845 493 0 298813 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1222032 KiB
Current children cumulated memory: 1178840 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 30053
/proc/meminfo: memFree=26547208/32770624 swapFree=66932120/67108860
[pid=30031] ppid=30028 vsize=1916336 memory=1867036 CPUtime=162.28 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 451036 0 0 0 16170 58 0 0 20 0 1 0 410002693 1962328064 466759 33554432000 4194304 6210612 140735592205552 140735592186952 5452001 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 479084 466759 845 493 0 472389 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1916336 KiB
Current children cumulated memory: 1867036 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 30057
/proc/meminfo: memFree=25299432/32770624 swapFree=66932120/67108860
[pid=30031] ppid=30028 vsize=2630264 memory=2555524 CPUtime=222.28 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 616092 0 0 0 22150 78 0 0 20 0 1 0 410002693 2693390336 638881 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 657566 638881 845 493 0 650871 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2630264 KiB
Current children cumulated memory: 2555524 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 30063
/proc/meminfo: memFree=24051928/32770624 swapFree=66932120/67108860
[pid=30031] ppid=30028 vsize=3286832 memory=3241568 CPUtime=282.28 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 780553 0 0 0 28130 98 0 0 20 0 1 0 410002693 3365715968 810392 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 821708 810392 845 493 0 815013 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 3286832 KiB
Current children cumulated memory: 3241568 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 30067
/proc/meminfo: memFree=22802612/32770624 swapFree=66932120/67108860
[pid=30031] ppid=30028 vsize=4027620 memory=3930404 CPUtime=342.28 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 945216 0 0 0 34107 121 0 0 20 0 1 0 410002693 4124282880 982601 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 1006905 982601 845 493 0 1000210 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 4027620 KiB
Current children cumulated memory: 3930404 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 30071
/proc/meminfo: memFree=21557524/32770624 swapFree=66932120/67108860
[pid=30031] ppid=30028 vsize=4684056 memory=4617956 CPUtime=402.28 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 1109614 0 0 0 40085 143 0 0 20 0 1 0 410002693 4796473344 1154489 33554432000 4194304 6210612 140735592205552 140735592186952 140197398256446 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 1171014 1154489 845 493 0 1164319 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 4684056 KiB
Current children cumulated memory: 4617956 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/198 30078
/proc/meminfo: memFree=20308108/32770624 swapFree=66932120/67108860
[pid=30031] ppid=30028 vsize=5342652 memory=5306080 CPUtime=462.28 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 1274129 0 0 0 46063 165 0 0 20 0 1 0 410002693 5470875648 1326520 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 1335663 1326520 845 493 0 1328968 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 5342652 KiB
Current children cumulated memory: 5306080 KiB
################
# More data... #
################
Current children cumulated vsize: 10257360 KiB
Current children cumulated memory: 10121024 KiB
[startup+942.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/198 30162
/proc/meminfo: memFree=10311360/32770624 swapFree=66932172/67108860
[pid=30031] ppid=30028 vsize=10913532 memory=10805860 CPUtime=942.26 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 2591302 0 0 0 93843 383 0 0 20 0 1 0 410002693 11175456768 2701465 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 2728383 2701465 845 493 0 2721688 0
Current children cumulated CPU time: 942.26 s
Current children cumulated vsize: 10913532 KiB
Current children cumulated memory: 10805860 KiB
[startup+1002.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/198 30168
/proc/meminfo: memFree=9062744/32770624 swapFree=66932172/67108860
[pid=30031] ppid=30028 vsize=11569836 memory=11495048 CPUtime=1002.27 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 2755674 0 0 0 99815 412 0 0 20 0 1 0 410002693 11847512064 2873762 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 2892459 2873762 845 493 0 2885764 0
Current children cumulated CPU time: 1002.27 s
Current children cumulated vsize: 11569836 KiB
Current children cumulated memory: 11495048 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/198 30172
/proc/meminfo: memFree=7818556/32770624 swapFree=66932172/67108860
[pid=30031] ppid=30028 vsize=12226272 memory=12182192 CPUtime=1062.27 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 2920091 0 0 0 105781 446 0 0 20 0 1 0 410002693 12519702528 3045548 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3056568 3045548 845 493 0 3049873 0
Current children cumulated CPU time: 1062.27 s
Current children cumulated vsize: 12226272 KiB
Current children cumulated memory: 12182192 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 30176
/proc/meminfo: memFree=6574304/32770624 swapFree=66932172/67108860
[pid=30031] ppid=30028 vsize=13162592 memory=12869172 CPUtime=1122.26 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 3085011 0 0 0 111748 478 0 0 20 0 1 0 410002693 13478494208 3217293 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3290648 3217293 845 493 0 3283953 0
Current children cumulated CPU time: 1122.26 s
Current children cumulated vsize: 13162592 KiB
Current children cumulated memory: 12869172 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/198 30182
/proc/meminfo: memFree=5329336/32770624 swapFree=66932172/67108860
[pid=30031] ppid=30028 vsize=13826188 memory=13556736 CPUtime=1182.26 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 3249546 0 0 0 117713 513 0 0 20 0 1 0 410002693 14158016512 3389184 33554432000 4194304 6210612 140735592205552 140735592186952 5446470 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3456547 3389184 845 493 0 3449852 0
Current children cumulated CPU time: 1182.26 s
Current children cumulated vsize: 13826188 KiB
Current children cumulated memory: 13556736 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/197 30186
/proc/meminfo: memFree=4082352/32770624 swapFree=66932172/67108860
[pid=30031] ppid=30028 vsize=14481700 memory=14245660 CPUtime=1242.26 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 3413875 0 0 0 123679 547 0 0 20 0 1 0 410002693 14829260800 3561415 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3620425 3561415 845 493 0 3613730 0
Current children cumulated CPU time: 1242.26 s
Current children cumulated vsize: 14481700 KiB
Current children cumulated memory: 14245660 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/197 30190
/proc/meminfo: memFree=2838760/32770624 swapFree=66932172/67108860
[pid=30031] ppid=30028 vsize=15137344 memory=14932012 CPUtime=1302.26 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 3578091 0 0 0 129644 582 0 0 20 0 1 0 410002693 15500640256 3733003 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3784336 3733003 845 493 0 3777641 0
Current children cumulated CPU time: 1302.26 s
Current children cumulated vsize: 15137344 KiB
Current children cumulated memory: 14932012 KiB
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/197 30204
/proc/meminfo: memFree=1588116/32770624 swapFree=66932180/67108860
[pid=30031] ppid=30028 vsize=15793516 memory=15618892 CPUtime=1362.26 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 3742416 0 0 0 135610 616 0 0 20 0 1 0 410002693 16172560384 3904723 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3948379 3904723 845 493 0 3941684 0
Current children cumulated CPU time: 1362.26 s
Current children cumulated vsize: 15793516 KiB
Current children cumulated memory: 15618892 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1369.5 s]
/proc/loadavg: 2.03 2.03 2.05 3/197 30204
/proc/meminfo: memFree=1443324/32770624 swapFree=66932180/67108860
[pid=30031] ppid=30028 vsize=15872188 memory=15701688 CPUtime=1369.46 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 4202496 3762156 0 0 0 136326 620 0 0 20 0 1 0 410002693 16253120512 3925422 33554432000 4194304 6210612 140735592205552 140735592186952 140197398260709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3968047 3925422 845 493 0 3961352 0
Current children cumulated CPU time: 1369.46 s
Current children cumulated vsize: 15872188 KiB
Current children cumulated memory: 15701688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1372.33 s]
# the end of solver process 30031 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1363.53 s, system=7.05324 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1369.6 s]
/proc/loadavg: 2.03 2.03 2.05 3/197 30204
/proc/meminfo: memFree=1443324/32770624 swapFree=66932180/67108860
[pid=30031] ppid=30028 vsize=15872188 memory=15701688 CPUtime=1369.47 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) R 30028 30031 27829 0 -1 512 3762161 0 0 0 136327 620 0 0 20 0 1 0 410002693 16253120512 3925422 33554432000 4194304 6210612 140735592205552 140735592186952 5188952 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3968047 3925422 845 493 0 3961352 0
Current children cumulated CPU time: 1369.47 s
Current children cumulated vsize: 15872188 KiB
Current children cumulated memory: 15701688 KiB
[startup+1370.4 s]
/proc/loadavg: 2.03 2.03 2.05 3/198 30205
/proc/meminfo: memFree=1134424/32770624 swapFree=66932180/67108860
[pid=30031] ppid=30028 vsize=15872188 memory=15701688 CPUtime=1369.59 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) S 30028 30031 27829 0 -1 512 3762161 0 0 0 136338 621 0 0 20 0 1 0 410002693 16253120512 3925422 33554432000 4194304 6210612 140735592205552 140735592186952 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3968047 3925422 845 493 0 3961352 0
Current children cumulated CPU time: 1369.59 s
Current children cumulated vsize: 15872188 KiB
Current children cumulated memory: 15701688 KiB
[startup+1371.2 s]
/proc/loadavg: 2.03 2.03 2.05 3/198 30205
/proc/meminfo: memFree=651040/32770624 swapFree=66932180/67108860
[pid=30031] ppid=30028 vsize=15872188 memory=15701688 CPUtime=1369.69 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) S 30028 30031 27829 0 -1 512 3762161 0 0 0 136348 621 0 0 20 0 1 0 410002693 16253120512 3925422 33554432000 4194304 6210612 140735592205552 140735592186952 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3968047 3925422 845 493 0 3961352 0
Current children cumulated CPU time: 1369.69 s
Current children cumulated vsize: 15872188 KiB
Current children cumulated memory: 15701688 KiB
[startup+1371.4 s]
/proc/loadavg: 2.03 2.03 2.05 3/198 30205
/proc/meminfo: memFree=651040/32770624 swapFree=66932180/67108860
[pid=30031] ppid=30028 vsize=15872188 memory=15701688 CPUtime=1369.72 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) S 30028 30031 27829 0 -1 512 3762161 0 0 0 136351 621 0 0 20 0 1 0 410002693 16253120512 3925422 33554432000 4194304 6210612 140735592205552 140735592186952 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3968047 3925422 845 493 0 3961352 0
Current children cumulated CPU time: 1369.72 s
Current children cumulated vsize: 15872188 KiB
Current children cumulated memory: 15701688 KiB
[startup+1371.5 s]
/proc/loadavg: 2.03 2.03 2.05 3/198 30205
/proc/meminfo: memFree=651040/32770624 swapFree=66932180/67108860
[pid=30031] ppid=30028 vsize=15872188 memory=15701688 CPUtime=1369.73 cores=1,3,5,7
/proc/30031/stat : 30031 (cosoco) S 30028 30031 27829 0 -1 512 3762161 0 0 0 136352 621 0 0 20 0 1 0 410002693 16253120512 3925422 33554432000 4194304 6210612 140735592205552 140735592186952 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 11456512 140735592207371 140735592207473 140735592207473 140735592210382 0
/proc/30031/statm: 3968047 3925422 845 493 0 3961352 0
Current children cumulated CPU time: 1369.73 s
Current children cumulated vsize: 15872188 KiB
Current children cumulated memory: 15701688 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1372.33
CPU time (s): 1370.58
CPU user time (s): 1363.53
CPU system time (s): 7.05324
CPU usage (%): 99.8723
Max. virtual memory (cumulated for all children) (KiB): 15872188
Max. memory (cumulated for all children) (KiB): 15701688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1363.53
system time used= 7.05324
maximum resident set size= 15701800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3762161
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= 128469
involuntary context switches= 359
# summary of solver processes directly reported to runsolver:
# pid: 30031
# total CPU time (s): 1370.58
# total CPU user time (s): 1363.53
# total CPU system time (s): 7.05324
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75674 second user time and 9.03056 second system time
The end