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 (15402 MiB free)
memory of node 1: 16384 MiB (15548 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409129-1569812640/watcher-4409129-1569812640 -o /tmp/evaluation-result-4409129-1569812640/solver-4409129-1569812640 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569812554-14457 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409129-1569812640.xml
running on 4 cores: 0,2,4,6
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=14874, runsolver pid=14871
[startup+0.100205 s]*
/proc/loadavg: 1.45 1.49 1.79 3/200 14875
/proc/meminfo: memFree=31682172/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=39152 memory=15352 CPUtime=0.1 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 4006 0 0 0 10 0 0 0 20 0 1 0 557532799 40091648 3838 33554432000 4194304 6211132 140726818134912 140726818131448 5814623 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 9788 3838 809 493 0 3093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15352 KiB
[startup+0.209891 s]*
/proc/loadavg: 1.45 1.49 1.79 3/200 14875
/proc/meminfo: memFree=31680684/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=40728 memory=16868 CPUtime=0.21 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 4429 0 0 0 21 0 0 0 20 0 1 0 557532799 41705472 4217 33554432000 4194304 6211132 140726818134912 140726818132184 5451586 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 10182 4217 819 493 0 3487 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16868 KiB
[startup+0.309084 s]*
/proc/loadavg: 1.45 1.49 1.79 3/200 14875
/proc/meminfo: memFree=31679304/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=41712 memory=17924 CPUtime=0.31 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 4680 0 0 0 31 0 0 0 20 0 1 0 557532799 42713088 4481 33554432000 4194304 6211132 140726818134912 140726818132184 5456330 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 10428 4481 819 493 0 3733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17924 KiB
[startup+0.700336 s]
/proc/loadavg: 1.45 1.49 1.79 3/200 14875
/proc/meminfo: memFree=31677196/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=45708 memory=21988 CPUtime=0.69 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 5661 0 0 0 69 0 0 0 20 0 1 0 557532799 46804992 5497 33554432000 4194304 6211132 140726818134912 140726818132184 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 11427 5497 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21988 KiB
[startup+1.50034 s]
/proc/loadavg: 1.45 1.49 1.79 3/200 14875
/proc/meminfo: memFree=31672432/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=53944 memory=30048 CPUtime=1.49 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 7709 0 0 0 149 0 0 0 20 0 1 0 557532799 55238656 7512 33554432000 4194304 6211132 140726818134912 140726818132184 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 13486 7512 819 493 0 6791 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53944 KiB
Current children cumulated memory: 30048 KiB
[startup+3.10963 s]
/proc/loadavg: 1.50 1.49 1.79 3/200 14875
/proc/meminfo: memFree=31651972/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=70628 memory=46536 CPUtime=3.1 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 11998 0 0 0 309 1 0 0 20 0 1 0 557532799 72323072 11634 33554432000 4194304 6211132 140726818134912 140726818132184 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 17657 11634 819 493 0 10962 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70628 KiB
Current children cumulated memory: 46536 KiB
[startup+6.30033 s]
/proc/loadavg: 1.50 1.49 1.79 3/200 14875
/proc/meminfo: memFree=31620120/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=103908 memory=79200 CPUtime=6.3 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 20341 0 0 0 627 3 0 0 20 0 1 0 557532799 106401792 19800 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 25977 19800 819 493 0 19282 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 103908 KiB
Current children cumulated memory: 79200 KiB
[startup+12.7003 s]
/proc/loadavg: 1.57 1.51 1.80 3/200 14939
/proc/meminfo: memFree=31526112/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=168840 memory=144668 CPUtime=12.69 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 36888 0 0 0 1264 5 0 0 20 0 1 0 557532799 172892160 36167 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 42210 36167 819 493 0 35515 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 168840 KiB
Current children cumulated memory: 144668 KiB
[startup+25.5003 s]
/proc/loadavg: 1.64 1.53 1.80 3/200 14939
/proc/meminfo: memFree=31261056/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=301092 memory=275832 CPUtime=25.49 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 69982 0 0 0 2539 10 0 0 20 0 1 0 557532799 308318208 68958 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 75273 68958 819 493 0 68578 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 301092 KiB
Current children cumulated memory: 275832 KiB
[startup+51.1096 s]
/proc/loadavg: 1.76 1.56 1.80 3/200 14942
/proc/meminfo: memFree=30727820/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=567608 memory=539652 CPUtime=51.08 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 134585 0 0 0 5090 18 0 0 20 0 1 0 557532799 581230592 134913 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 141902 134913 819 493 0 135207 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 567608 KiB
Current children cumulated memory: 539652 KiB
[startup+102.3 s]
/proc/loadavg: 1.91 1.64 1.81 3/200 14946
/proc/meminfo: memFree=29686604/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=1088064 memory=1064400 CPUtime=102.25 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 262727 0 0 0 10188 37 0 0 20 0 1 0 557532799 1114177536 266100 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 272016 266100 819 493 0 265321 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1088064 KiB
Current children cumulated memory: 1064400 KiB
[startup+162.3 s]
/proc/loadavg: 1.96 1.70 1.82 3/199 14950
/proc/meminfo: memFree=28461900/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=1726372 memory=1681328 CPUtime=162.24 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 412928 0 0 0 16166 58 0 0 20 0 1 0 557532799 1767804928 420332 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 431593 420332 819 493 0 424898 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 1726372 KiB
Current children cumulated memory: 1681328 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.76 1.84 3/200 14956
/proc/meminfo: memFree=27233816/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=2323804 memory=2299464 CPUtime=222.22 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 562295 0 0 0 22144 78 0 0 20 0 1 0 557532799 2379575296 574866 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 580951 574866 819 493 0 574256 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 2323804 KiB
Current children cumulated memory: 2299464 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.80 1.85 3/199 14960
/proc/meminfo: memFree=26010188/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=2958148 memory=2915312 CPUtime=282.19 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 712264 0 0 0 28120 99 0 0 20 0 1 0 557532799 3029143552 728828 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 739537 728828 819 493 0 732842 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 2958148 KiB
Current children cumulated memory: 2915312 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.84 1.86 3/199 14964
/proc/meminfo: memFree=24784656/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=3555448 memory=3531156 CPUtime=342.18 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 861659 0 0 0 34096 122 0 0 20 0 1 0 557532799 3640778752 882789 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 888862 882789 819 493 0 882167 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 3555448 KiB
Current children cumulated memory: 3531156 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.87 1.87 3/201 14978
/proc/meminfo: memFree=23557532/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=4208112 memory=4148684 CPUtime=402.16 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 1011589 0 0 0 40072 144 0 0 20 0 1 0 557532799 4309106688 1037171 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 1052028 1037171 819 493 0 1045333 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 4208112 KiB
Current children cumulated memory: 4148684 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.89 1.87 3/200 14982
/proc/meminfo: memFree=22335024/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=4805148 memory=4764208 CPUtime=462.14 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 1161013 0 0 0 46048 166 0 0 20 0 1 0 557532799 4920471552 1191052 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 1201287 1191052 819 493 0 1194592 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 4805148 KiB
Current children cumulated memory: 4764208 KiB
################
# More data... #
################
Current children cumulated vsize: 10383972 KiB
Current children cumulated memory: 10309016 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/199 15035
/proc/meminfo: memFree=10097704/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=10980348 memory=10925800 CPUtime=1061.98 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 2655842 0 0 0 105777 421 0 0 20 0 1 0 557532799 11243876352 2731450 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 2745087 2731450 819 493 0 2738392 0
Current children cumulated CPU time: 1061.98 s
Current children cumulated vsize: 10980348 KiB
Current children cumulated memory: 10925800 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/200 15041
/proc/meminfo: memFree=8873972/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=11576856 memory=11540572 CPUtime=1121.97 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 2805221 0 0 0 111746 451 0 0 20 0 1 0 557532799 11854700544 2885143 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 2894214 2885143 819 493 0 2887519 0
Current children cumulated CPU time: 1121.97 s
Current children cumulated vsize: 11576856 KiB
Current children cumulated memory: 11540572 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/199 15045
/proc/meminfo: memFree=7651600/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=12359956 memory=12156716 CPUtime=1181.96 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 2954928 0 0 0 117714 482 0 0 20 0 1 0 557532799 12656594944 3039179 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3089989 3039179 819 493 0 3083294 0
Current children cumulated CPU time: 1181.96 s
Current children cumulated vsize: 12359956 KiB
Current children cumulated memory: 12156716 KiB
[startup+1242.3 s]
/proc/loadavg: 1.96 2.01 1.95 3/199 15049
/proc/meminfo: memFree=6428856/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=12956200 memory=12771296 CPUtime=1241.95 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 3104230 0 0 0 123683 512 0 0 20 0 1 0 557532799 13267148800 3192824 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3239050 3192824 819 493 0 3232355 0
Current children cumulated CPU time: 1241.95 s
Current children cumulated vsize: 12956200 KiB
Current children cumulated memory: 12771296 KiB
[startup+1302.3 s]
/proc/loadavg: 1.99 2.01 1.95 3/200 15056
/proc/meminfo: memFree=5206952/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=13552312 memory=13386104 CPUtime=1301.92 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 3253539 0 0 0 129650 542 0 0 20 0 1 0 557532799 13877567488 3346526 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3388078 3346526 819 493 0 3381383 0
Current children cumulated CPU time: 1301.92 s
Current children cumulated vsize: 13552312 KiB
Current children cumulated memory: 13386104 KiB
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/199 15060
/proc/meminfo: memFree=3984572/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=14148556 memory=14002700 CPUtime=1361.91 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 3402851 0 0 0 135618 573 0 0 20 0 1 0 557532799 14488121344 3500675 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3537139 3500675 819 493 0 3530444 0
Current children cumulated CPU time: 1361.91 s
Current children cumulated vsize: 14148556 KiB
Current children cumulated memory: 14002700 KiB
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/199 15064
/proc/meminfo: memFree=2762856/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=14744536 memory=14617040 CPUtime=1421.9 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 3552156 0 0 0 141584 606 0 0 20 0 1 0 557532799 15098404864 3654260 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3686134 3654260 819 493 0 3679439 0
Current children cumulated CPU time: 1421.9 s
Current children cumulated vsize: 14744536 KiB
Current children cumulated memory: 14617040 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 15071
/proc/meminfo: memFree=1538344/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=15340252 memory=15233424 CPUtime=1481.89 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 3701422 0 0 0 147546 643 0 0 20 0 1 0 557532799 15708418048 3808356 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3835063 3808356 819 493 0 3828368 0
Current children cumulated CPU time: 1481.89 s
Current children cumulated vsize: 15340252 KiB
Current children cumulated memory: 15233424 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1535.9 s]
/proc/loadavg: 2.00 2.01 1.96 3/199 15097
/proc/meminfo: memFree=459064/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=15872476 memory=15781976 CPUtime=1535.48 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) R 14871 14874 14426 0 -1 4202496 3834689 0 0 0 152874 674 0 0 20 0 1 0 557532799 16253415424 3945494 33554432000 4194304 6211132 140726818134912 140726818108472 140659933248485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3968119 3945494 819 493 0 3961424 0
Current children cumulated CPU time: 1535.48 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15781976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1538.66 s]
# the end of solver process 14874 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1528.85 s, system=7.5273 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1536 s]*
/proc/loadavg: 2.00 2.01 1.96 4/200 15098
/proc/meminfo: memFree=413836/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=15872476 memory=15781976 CPUtime=1535.48 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) S 14871 14874 14426 0 -1 512 3834694 0 0 0 152874 674 0 0 20 0 1 0 557532799 16253415424 3945494 33554432000 4194304 6211132 140726818134912 140726818108472 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3968119 3945494 819 493 0 3961424 0
Current children cumulated CPU time: 1535.48 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15781976 KiB
[startup+1536.8 s]
/proc/loadavg: 2.00 2.01 1.96 4/200 15098
/proc/meminfo: memFree=413836/32770624 swapFree=66960356/67108860
[pid=14874] ppid=14871 vsize=15872476 memory=15781976 CPUtime=1535.57 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) S 14871 14874 14426 0 -1 512 3834694 0 0 0 152881 676 0 0 20 0 1 0 557532799 16253415424 3945494 33554432000 4194304 6211132 140726818134912 140726818108472 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3968119 3945494 819 493 0 3961424 0
Current children cumulated CPU time: 1535.57 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15781976 KiB
[startup+1537.6 s]
/proc/loadavg: 2.00 2.01 1.96 2/200 15098
/proc/meminfo: memFree=179632/32770624 swapFree=66959820/67108860
[pid=14874] ppid=14871 vsize=15872476 memory=15781976 CPUtime=1535.6 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) S 14871 14874 14426 0 -1 512 3834694 0 0 0 152884 676 0 0 20 0 1 0 557532799 16253415424 3945494 33554432000 4194304 6211132 140726818134912 140726818108472 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3968119 3945494 819 493 0 3961424 0
Current children cumulated CPU time: 1535.6 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15781976 KiB
[startup+1537.8 s]
/proc/loadavg: 2.00 2.01 1.96 2/200 15098
/proc/meminfo: memFree=179632/32770624 swapFree=66959820/67108860
[pid=14874] ppid=14871 vsize=15872476 memory=15781976 CPUtime=1535.62 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) S 14871 14874 14426 0 -1 512 3834694 0 0 0 152885 677 0 0 20 0 1 0 557532799 16253415424 3945494 33554432000 4194304 6211132 140726818134912 140726818108472 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3968119 3945494 819 493 0 3961424 0
Current children cumulated CPU time: 1535.62 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15781976 KiB
[startup+1537.9 s]
/proc/loadavg: 2.00 2.01 1.96 2/200 15098
/proc/meminfo: memFree=179632/32770624 swapFree=66959820/67108860
[pid=14874] ppid=14871 vsize=15872476 memory=15781976 CPUtime=1535.62 cores=0,2,4,6
/proc/14874/stat : 14874 (cosoco) S 14871 14874 14426 0 -1 512 3834694 0 0 0 152885 677 0 0 20 0 1 0 557532799 16253415424 3945494 33554432000 4194304 6211132 140726818134912 140726818108472 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 40837120 140726818141195 140726818141297 140726818141297 140726818144206 0
/proc/14874/statm: 3968119 3945494 819 493 0 3961424 0
Current children cumulated CPU time: 1535.62 s
Current children cumulated vsize: 15872476 KiB
Current children cumulated memory: 15781976 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1538.66
CPU time (s): 1536.38
CPU user time (s): 1528.85
CPU system time (s): 7.5273
CPU usage (%): 99.8521
Max. virtual memory (cumulated for all children) (KiB): 15872476
Max. memory (cumulated for all children) (KiB): 15781976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1528.85
system time used= 7.5273
maximum resident set size= 15782124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3834694
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= 61812
involuntary context switches= 855
# summary of solver processes directly reported to runsolver:
# pid: 14874
# total CPU time (s): 1536.38
# total CPU user time (s): 1528.85
# total CPU system time (s): 7.5273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.4119 second user time and 10.647 second system time
The end