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 (15415 MiB free)
memory of node 1: 16384 MiB (15749 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409154-1569812935/watcher-4409154-1569812935 -o /tmp/evaluation-result-4409154-1569812935/solver-4409154-1569812935 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1569787356-4538 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409154-1569812935.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
solver pid=9569, runsolver pid=9566
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 9570
/proc/meminfo: memFree=31902448/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=39152 memory=15352 CPUtime=0.1 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 4008 0 0 0 10 0 0 0 20 0 1 0 557532011 40091648 3838 33554432000 4194304 6211132 140723505019600 140723505016136 5734848 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/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.209649 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 9570
/proc/meminfo: memFree=31900588/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=40728 memory=16868 CPUtime=0.2 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 4432 0 0 0 20 0 0 0 20 0 1 0 557532011 41705472 4217 33554432000 4194304 6211132 140723505019600 140723505016136 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 10182 4217 819 493 0 3487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16868 KiB
[startup+0.309006 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 9570
/proc/meminfo: memFree=31899472/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=41712 memory=17924 CPUtime=0.3 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 4690 0 0 0 30 0 0 0 20 0 1 0 557532011 42713088 4481 33554432000 4194304 6211132 140723505019600 140723505016136 5446292 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 10428 4481 819 493 0 3733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17924 KiB
[startup+0.700276 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 9570
/proc/meminfo: memFree=31897364/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=45840 memory=21988 CPUtime=0.69 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 5689 0 0 0 69 0 0 0 20 0 1 0 557532011 46940160 5497 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 11460 5497 819 493 0 4765 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45840 KiB
Current children cumulated memory: 21988 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 9570
/proc/meminfo: memFree=31892072/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=54208 memory=30312 CPUtime=1.48 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 7772 0 0 0 148 0 0 0 20 0 1 0 557532011 55508992 7578 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 13552 7578 819 493 0 6857 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54208 KiB
Current children cumulated memory: 30312 KiB
[startup+3.1094 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 9570
/proc/meminfo: memFree=31871380/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=71156 memory=47064 CPUtime=3.1 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 12132 0 0 0 309 1 0 0 20 0 1 0 557532011 72863744 11766 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 17789 11766 819 493 0 11094 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71156 KiB
Current children cumulated memory: 47064 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 2.00 2.04 3/199 9570
/proc/meminfo: memFree=31839724/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=104964 memory=80252 CPUtime=6.29 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 20609 0 0 0 627 2 0 0 20 0 1 0 557532011 107483136 20063 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 26241 20063 819 493 0 19546 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104964 KiB
Current children cumulated memory: 80252 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.00 2.04 3/199 9570
/proc/meminfo: memFree=31777104/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=170952 memory=147044 CPUtime=12.69 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 37438 0 0 0 1265 4 0 0 20 0 1 0 557532011 175054848 36761 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 42738 36761 819 493 0 36043 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170952 KiB
Current children cumulated memory: 147044 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.00 2.04 3/199 9572
/proc/meminfo: memFree=31640036/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=305448 memory=281308 CPUtime=25.49 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 70882 0 0 0 2541 8 0 0 20 0 1 0 557532011 312778752 70327 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 76362 70327 819 493 0 69667 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 305448 KiB
Current children cumulated memory: 281308 KiB
[startup+51.1094 s]
/proc/loadavg: 2.04 2.00 2.04 3/199 9573
/proc/meminfo: memFree=31369812/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=576320 memory=547572 CPUtime=51.09 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 136573 0 0 0 5092 17 0 0 20 0 1 0 557532011 590151680 136893 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 144080 136893 819 493 0 137385 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 576320 KiB
Current children cumulated memory: 547572 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/199 9576
/proc/meminfo: memFree=30834940/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=1121892 memory=1082328 CPUtime=102.27 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 267225 0 0 0 10193 34 0 0 20 0 1 0 557532011 1148817408 270582 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 280473 270582 819 493 0 273778 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1121892 KiB
Current children cumulated memory: 1082328 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/200 9651
/proc/meminfo: memFree=29875516/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=1754092 memory=1710300 CPUtime=162.25 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 419654 0 0 0 16169 56 0 0 20 0 1 0 557532011 1796190208 427575 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 438523 427575 819 493 0 431828 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 1754092 KiB
Current children cumulated memory: 1710300 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 9655
/proc/meminfo: memFree=28636724/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=2361556 memory=2336424 CPUtime=222.24 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 571586 0 0 0 22150 74 0 0 20 0 1 0 557532011 2418233344 584106 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 590389 584106 819 493 0 583694 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2361556 KiB
Current children cumulated memory: 2336424 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 9660
/proc/meminfo: memFree=27398992/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=3006064 memory=2964508 CPUtime=282.22 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 724000 0 0 0 28128 94 0 0 20 0 1 0 557532011 3078209536 741127 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 751516 741127 819 493 0 744821 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 3006064 KiB
Current children cumulated memory: 2964508 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 9666
/proc/meminfo: memFree=26160728/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=3668892 memory=3592384 CPUtime=342.21 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 876472 0 0 0 34107 114 0 0 20 0 1 0 557532011 3756945408 898096 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 917223 898096 819 493 0 910528 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 3668892 KiB
Current children cumulated memory: 3592384 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 9670
/proc/meminfo: memFree=24922652/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=4276224 memory=4218368 CPUtime=402.18 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 1028431 0 0 0 40083 135 0 0 20 0 1 0 557532011 4378853376 1054592 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 1069056 1054592 819 493 0 1062361 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 4276224 KiB
Current children cumulated memory: 4218368 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 9674
/proc/meminfo: memFree=23686012/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=4883424 memory=4846092 CPUtime=462.15 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 1180359 0 0 0 46061 154 0 0 20 0 1 0 557532011 5000626176 1211523 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 1220856 1211523 819 493 0 1214161 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 4883424 KiB
Current children cumulated memory: 4846092 KiB
################
# More data... #
################
Current children cumulated vsize: 10552932 KiB
Current children cumulated memory: 10483312 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 9731
/proc/meminfo: memFree=11321032/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=11159340 memory=11110216 CPUtime=1061.94 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 2700925 0 0 0 105790 404 0 0 20 0 1 0 557532011 11427164160 2777554 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 2789835 2777554 819 493 0 2783140 0
Current children cumulated CPU time: 1061.94 s
Current children cumulated vsize: 11159340 KiB
Current children cumulated memory: 11110216 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 9735
/proc/meminfo: memFree=10086436/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=11765748 memory=11735076 CPUtime=1121.92 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 2852783 0 0 0 111759 433 0 0 20 0 1 0 557532011 12048125952 2933769 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 2941437 2933769 819 493 0 2934742 0
Current children cumulated CPU time: 1121.92 s
Current children cumulated vsize: 11765748 KiB
Current children cumulated memory: 11735076 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 9739
/proc/meminfo: memFree=8851860/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=12559012 memory=12361288 CPUtime=1181.9 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 3005008 0 0 0 117727 463 0 0 20 0 1 0 557532011 12860428288 3090322 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3139753 3090322 819 493 0 3133058 0
Current children cumulated CPU time: 1181.9 s
Current children cumulated vsize: 12559012 KiB
Current children cumulated memory: 12361288 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 9746
/proc/meminfo: memFree=7614148/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=13165420 memory=12988228 CPUtime=1241.88 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 3156874 0 0 0 123697 491 0 0 20 0 1 0 557532011 13481390080 3247057 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3291355 3247057 819 493 0 3284660 0
Current children cumulated CPU time: 1241.88 s
Current children cumulated vsize: 13165420 KiB
Current children cumulated memory: 12988228 KiB
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/199 9750
/proc/meminfo: memFree=6380564/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=13771828 memory=13613096 CPUtime=1301.86 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 3308723 0 0 0 129667 519 0 0 20 0 1 0 557532011 14102351872 3403274 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3442957 3403274 819 493 0 3436262 0
Current children cumulated CPU time: 1301.86 s
Current children cumulated vsize: 13771828 KiB
Current children cumulated memory: 13613096 KiB
[startup+1362.3 s]
/proc/loadavg: 2.18 2.05 2.06 3/199 9761
/proc/meminfo: memFree=5144852/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=14378104 memory=14239692 CPUtime=1361.85 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 3460566 0 0 0 135637 548 0 0 20 0 1 0 557532011 14723178496 3559923 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3594526 3559923 819 493 0 3587831 0
Current children cumulated CPU time: 1361.85 s
Current children cumulated vsize: 14378104 KiB
Current children cumulated memory: 14239692 KiB
[startup+1422.3 s]
/proc/loadavg: 2.41 2.16 2.09 3/199 9767
/proc/meminfo: memFree=3909160/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=14984248 memory=14864396 CPUtime=1421.83 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 3612395 0 0 0 141607 576 0 0 20 0 1 0 557532011 15343869952 3716099 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3746062 3716099 819 493 0 3739367 0
Current children cumulated CPU time: 1421.83 s
Current children cumulated vsize: 14984248 KiB
Current children cumulated memory: 14864396 KiB
[startup+1482.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/199 9771
/proc/meminfo: memFree=2674524/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=15590260 memory=15490772 CPUtime=1481.82 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 3764142 0 0 0 147571 611 0 0 20 0 1 0 557532011 15964426240 3872693 33554432000 4194304 6211132 140723505019600 140723504993160 140610913082174 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3897565 3872693 819 493 0 3890870 0
Current children cumulated CPU time: 1481.82 s
Current children cumulated vsize: 15590260 KiB
Current children cumulated memory: 15490772 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1510.3 s]
/proc/loadavg: 2.10 2.12 2.08 3/199 9774
/proc/meminfo: memFree=2098880/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=15872872 memory=15781620 CPUtime=1509.81 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 4202496 3834966 0 0 0 150353 628 0 0 20 0 1 0 557532011 16253820928 3945405 33554432000 4194304 6211132 140723505019600 140723504993160 140610913086437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3968218 3945405 819 493 0 3961523 0
Current children cumulated CPU time: 1509.81 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15781620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1513.03 s]
# the end of solver process 9569 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1503.79 s, system=7.06063 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1510.4 s]
/proc/loadavg: 2.10 2.12 2.08 3/199 9774
/proc/meminfo: memFree=2098880/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=15872872 memory=15781620 CPUtime=1509.83 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) S 9566 9569 4507 0 -1 512 3834972 0 0 0 150355 628 0 0 20 0 1 0 557532011 16253820928 3945405 33554432000 4194304 6211132 140723505019600 140723504993160 5189800 0 16384 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3968218 3945405 819 493 0 3961523 0
Current children cumulated CPU time: 1509.83 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15781620 KiB
[startup+1511.2 s]
/proc/loadavg: 2.09 2.12 2.08 4/200 9775
/proc/meminfo: memFree=1685944/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=15872872 memory=15781620 CPUtime=1510 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) R 9566 9569 4507 0 -1 512 3834972 0 0 0 150369 631 0 0 20 0 1 0 557532011 16253820928 3945405 33554432000 4194304 6211132 140723505019600 140723504993160 5189800 0 16384 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3968218 3945405 819 493 0 3961523 0
Current children cumulated CPU time: 1510 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15781620 KiB
[startup+1512 s]*
/proc/loadavg: 2.09 2.12 2.08 2/200 9775
/proc/meminfo: memFree=1304112/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=15872872 memory=15781620 CPUtime=1510.09 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) S 9566 9569 4507 0 -1 512 3834972 0 0 0 150377 632 0 0 20 0 1 0 557532011 16253820928 3945405 33554432000 4194304 6211132 140723505019600 140723504993160 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3968218 3945405 819 493 0 3961523 0
Current children cumulated CPU time: 1510.09 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15781620 KiB
[startup+1512.2 s]
/proc/loadavg: 2.09 2.12 2.08 2/200 9775
/proc/meminfo: memFree=1304112/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=15872872 memory=15781620 CPUtime=1510.1 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) S 9566 9569 4507 0 -1 512 3834972 0 0 0 150378 632 0 0 20 0 1 0 557532011 16253820928 3945405 33554432000 4194304 6211132 140723505019600 140723504993160 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3968218 3945405 819 493 0 3961523 0
Current children cumulated CPU time: 1510.1 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15781620 KiB
[startup+1512.3 s]
/proc/loadavg: 2.09 2.12 2.08 2/200 9775
/proc/meminfo: memFree=1304112/32770624 swapFree=66943300/67108860
[pid=9569] ppid=9566 vsize=15872872 memory=15781620 CPUtime=1510.11 cores=0,2,4,6
/proc/9569/stat : 9569 (cosoco) S 9566 9569 4507 0 -1 512 3834972 0 0 0 150378 633 0 0 20 0 1 0 557532011 16253820928 3945405 33554432000 4194304 6211132 140723505019600 140723504993160 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 8679424 140723505026059 140723505026161 140723505026161 140723505029070 0
/proc/9569/statm: 3968218 3945405 819 493 0 3961523 0
Current children cumulated CPU time: 1510.11 s
Current children cumulated vsize: 15872872 KiB
Current children cumulated memory: 15781620 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1513.03
CPU time (s): 1510.85
CPU user time (s): 1503.79
CPU system time (s): 7.06063
CPU usage (%): 99.8559
Max. virtual memory (cumulated for all children) (KiB): 15872872
Max. memory (cumulated for all children) (KiB): 15781620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1503.79
system time used= 7.06063
maximum resident set size= 15781752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3834972
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= 98220
involuntary context switches= 1323
# summary of solver processes directly reported to runsolver:
# pid: 9569
# total CPU time (s): 1510.85
# total CPU user time (s): 1503.79
# total CPU system time (s): 7.06063
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.18407 second user time and 10.4603 second system time
The end