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 (14557 MiB free)
memory of node 1: 16384 MiB (15558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397189-1568594075/watcher-4397189-1568594075 -o /tmp/evaluation-result-4397189-1568594075/solver-4397189-1568594075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568594032-14980 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397189-1568594075.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=15010, runsolver pid=15007
[startup+0.100381 s]*
/proc/loadavg: 1.00 1.28 1.69 3/200 15011
/proc/meminfo: memFree=30700340/32770624 swapFree=66952116/67108860
[pid=15010] ppid=15007 vsize=39152 memory=15356 CPUtime=0.1 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 4007 0 0 0 10 0 0 0 20 0 1 0 435349382 40091648 3839 33554432000 4194304 6211092 140728974381488 140728974376648 139736442501507 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 9788 3839 809 493 0 3093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15356 KiB
[startup+0.209807 s]*
/proc/loadavg: 1.00 1.28 1.69 3/200 15011
/proc/meminfo: memFree=30518464/32770624 swapFree=66952116/67108860
[pid=15010] ppid=15007 vsize=40728 memory=16872 CPUtime=0.2 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 4430 0 0 0 20 0 0 0 20 0 1 0 435349382 41705472 4218 33554432000 4194304 6211092 140728974381488 140728974376648 139736441715002 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 10182 4218 819 493 0 3487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 16872 KiB
[startup+0.309203 s]*
/proc/loadavg: 1.00 1.28 1.69 3/200 15011
/proc/meminfo: memFree=30353204/32770624 swapFree=66952116/67108860
[pid=15010] ppid=15007 vsize=41712 memory=17928 CPUtime=0.3 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 4682 0 0 0 30 0 0 0 20 0 1 0 435349382 42713088 4482 33554432000 4194304 6211092 140728974381488 140728974376648 139736441646053 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 10428 4482 819 493 0 3733 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41712 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700341 s]
/proc/loadavg: 1.00 1.28 1.69 3/200 15011
/proc/meminfo: memFree=30018404/32770624 swapFree=66952116/67108860
[pid=15010] ppid=15007 vsize=45708 memory=21992 CPUtime=0.69 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 5668 0 0 0 68 1 0 0 20 0 1 0 435349382 46804992 5498 33554432000 4194304 6211092 140728974381488 140728974376648 5478409 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 11427 5498 819 493 0 4732 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 21992 KiB
[startup+1.50035 s]
/proc/loadavg: 1.00 1.28 1.69 3/200 15011
/proc/meminfo: memFree=29190888/32770624 swapFree=66952116/67108860
[pid=15010] ppid=15007 vsize=54076 memory=30052 CPUtime=1.49 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 7729 0 0 0 148 1 0 0 20 0 1 0 435349382 55373824 7513 33554432000 4194304 6211092 140728974381488 140728974355048 5443072 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 13519 7513 819 493 0 6824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30052 KiB
[startup+3.10964 s]
/proc/loadavg: 1.00 1.27 1.68 3/201 15012
/proc/meminfo: memFree=27981124/32770624 swapFree=66952120/67108860
[pid=15010] ppid=15007 vsize=70628 memory=46408 CPUtime=3.09 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 11985 0 0 0 308 1 0 0 20 0 1 0 435349382 72323072 11602 33554432000 4194304 6211092 140728974381488 140728974355048 5446197 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 17657 11602 819 493 0 10962 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70628 KiB
Current children cumulated memory: 46408 KiB
[startup+6.30036 s]
/proc/loadavg: 1.00 1.27 1.68 2/201 15012
/proc/meminfo: memFree=27337204/32770624 swapFree=66952120/67108860
[pid=15010] ppid=15007 vsize=103776 memory=79056 CPUtime=6.29 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 20311 0 0 0 626 3 0 0 20 0 1 0 435349382 106266624 19764 33554432000 4194304 6211092 140728974381488 140728974355048 5451528 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 25944 19764 819 493 0 19249 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 103776 KiB
Current children cumulated memory: 79056 KiB
[startup+12.7004 s]
/proc/loadavg: 1.39 1.34 1.70 3/201 15012
/proc/meminfo: memFree=26148316/32770624 swapFree=66952120/67108860
[pid=15010] ppid=15007 vsize=168576 memory=144664 CPUtime=12.68 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 36844 0 0 0 1262 6 0 0 20 0 1 0 435349382 172621824 36166 33554432000 4194304 6211092 140728974381488 140728974355048 139736441646053 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 42144 36166 819 493 0 35449 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 168576 KiB
Current children cumulated memory: 144664 KiB
[startup+25.5004 s]
/proc/loadavg: 1.79 1.43 1.73 3/201 15013
/proc/meminfo: memFree=23808404/32770624 swapFree=66952120/67108860
[pid=15010] ppid=15007 vsize=300828 memory=275308 CPUtime=25.49 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 69897 0 0 0 2538 11 0 0 20 0 1 0 435349382 308047872 68827 33554432000 4194304 6211092 140728974381488 140728974355048 139736451591016 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 75207 68827 819 493 0 68512 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 300828 KiB
Current children cumulated memory: 275308 KiB
[startup+51.1094 s]
/proc/loadavg: 2.77 1.69 1.80 2/201 15015
/proc/meminfo: memFree=23266412/32770624 swapFree=66952120/67108860
[pid=15010] ppid=15007 vsize=568532 memory=540688 CPUtime=51.09 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 134875 0 0 0 5091 18 0 0 20 0 1 0 435349382 582176768 135172 33554432000 4194304 6211092 140728974381488 140728974355048 139736442569942 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 142133 135172 819 493 0 135438 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 568532 KiB
Current children cumulated memory: 540688 KiB
[startup+102.3 s]
/proc/loadavg: 3.00 2.00 1.91 3/199 15085
/proc/meminfo: memFree=29425360/32770624 swapFree=66952120/67108860
[pid=15010] ppid=15007 vsize=1108560 memory=1068604 CPUtime=102.26 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 263749 0 0 0 10188 38 0 0 20 0 1 0 435349382 1135165440 267151 33554432000 4194304 6211092 140728974381488 140728974355048 5446264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 277140 267151 819 493 0 270445 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1108560 KiB
Current children cumulated memory: 1068604 KiB
[startup+162.3 s]
/proc/loadavg: 2.37 2.00 1.91 3/200 15090
/proc/meminfo: memFree=28173332/32770624 swapFree=66952120/67108860
[pid=15010] ppid=15007 vsize=1735876 memory=1691100 CPUtime=162.24 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 415304 0 0 0 16166 58 0 0 20 0 1 0 435349382 1777537024 422775 33554432000 4194304 6211092 140728974381488 140728974355048 5446260 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 433969 422775 819 493 0 427274 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 1735876 KiB
Current children cumulated memory: 1691100 KiB
[startup+222.3 s]
/proc/loadavg: 2.14 2.00 1.92 3/201 15096
/proc/meminfo: memFree=26922616/32770624 swapFree=66952120/67108860
[pid=15010] ppid=15007 vsize=2338456 memory=2314252 CPUtime=222.21 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 565979 0 0 0 22143 78 0 0 20 0 1 0 435349382 2394578944 578563 33554432000 4194304 6211092 140728974381488 140728974355048 139736450978976 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 584614 578563 819 493 0 577919 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 2338456 KiB
Current children cumulated memory: 2314252 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.00 1.92 3/200 15100
/proc/meminfo: memFree=25675632/32770624 swapFree=66952120/67108860
[pid=15010] ppid=15007 vsize=2978212 memory=2935540 CPUtime=282.18 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 717245 0 0 0 28122 96 0 0 20 0 1 0 435349382 3049689088 733885 33554432000 4194304 6211092 140728974381488 140728974355048 5451424 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 744553 733885 819 493 0 737858 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 2978212 KiB
Current children cumulated memory: 2935540 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 1.93 3/200 15104
/proc/meminfo: memFree=24425768/32770624 swapFree=66952120/67108860
[pid=15010] ppid=15007 vsize=3580924 memory=3557100 CPUtime=342.15 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 868037 0 0 0 34098 117 0 0 20 0 1 0 435349382 3666866176 889275 33554432000 4194304 6211092 140728974381488 140728974355048 4982624 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 895231 889275 819 493 0 888536 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 3580924 KiB
Current children cumulated memory: 3557100 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/201 15118
/proc/meminfo: memFree=23177180/32770624 swapFree=66952124/67108860
[pid=15010] ppid=15007 vsize=4238736 memory=4179668 CPUtime=402.13 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 1019116 0 0 0 40073 140 0 0 20 0 1 0 435349382 4340465664 1044917 33554432000 4194304 6211092 140728974381488 140728974355048 5013005 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 1059684 1044917 819 493 0 1052989 0
Current children cumulated CPU time: 402.13 s
Current children cumulated vsize: 4238736 KiB
Current children cumulated memory: 4179668 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 15122
/proc/meminfo: memFree=21927524/32770624 swapFree=66952124/67108860
[pid=15010] ppid=15007 vsize=4841184 memory=4802656 CPUtime=462.1 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 1169776 0 0 0 46048 162 0 0 20 0 1 0 435349382 4957372416 1200664 33554432000 4194304 6211092 140728974381488 140728974355048 5443096 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 1210296 1200664 819 493 0 1203601 0
Current children cumulated CPU time: 462.1 s
Current children cumulated vsize: 4841184 KiB
Current children cumulated memory: 4802656 KiB
################
# More data... #
################
Current children cumulated vsize: 9866400 KiB
Current children cumulated memory: 9775164 KiB
[startup+1002.3 s]
/proc/loadavg: 2.02 2.07 2.01 3/200 15172
/proc/meminfo: memFree=10700116/32770624 swapFree=66952128/67108860
[pid=15010] ppid=15007 vsize=10468188 memory=10395444 CPUtime=1001.93 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 2526087 0 0 0 99808 385 0 0 20 0 1 0 435349382 10719424512 2598861 33554432000 4194304 6211092 140728974381488 140728974355048 5451416 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 2617047 2598861 819 493 0 2610352 0
Current children cumulated CPU time: 1001.93 s
Current children cumulated vsize: 10468188 KiB
Current children cumulated memory: 10395444 KiB
[startup+1062.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/200 15176
/proc/meminfo: memFree=9453636/32770624 swapFree=66952128/67108860
[pid=15010] ppid=15007 vsize=11070108 memory=11017768 CPUtime=1061.91 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 2676635 0 0 0 105778 413 0 0 20 0 1 0 435349382 11335790592 2754442 33554432000 4194304 6211092 140728974381488 140728974355048 5443112 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 2767527 2754442 819 493 0 2760832 0
Current children cumulated CPU time: 1061.91 s
Current children cumulated vsize: 11070108 KiB
Current children cumulated memory: 11017768 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/201 15182
/proc/meminfo: memFree=8206884/32770624 swapFree=66952128/67108860
[pid=15010] ppid=15007 vsize=11671764 memory=11637784 CPUtime=1121.9 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 2827153 0 0 0 111745 445 0 0 20 0 1 0 435349382 11951886336 2909446 33554432000 4194304 6211092 140728974381488 140728974355048 5478349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 2917941 2909446 819 493 0 2911246 0
Current children cumulated CPU time: 1121.9 s
Current children cumulated vsize: 11671764 KiB
Current children cumulated memory: 11637784 KiB
[startup+1182.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/200 15186
/proc/meminfo: memFree=6959244/32770624 swapFree=66952128/67108860
[pid=15010] ppid=15007 vsize=12460276 memory=12259476 CPUtime=1181.88 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 2978509 0 0 0 117714 474 0 0 20 0 1 0 435349382 12759322624 3064869 33554432000 4194304 6211092 140728974381488 140728974355048 4982096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3115069 3064869 819 493 0 3108374 0
Current children cumulated CPU time: 1181.88 s
Current children cumulated vsize: 12460276 KiB
Current children cumulated memory: 12259476 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/200 15190
/proc/meminfo: memFree=5712700/32770624 swapFree=66952128/67108860
[pid=15010] ppid=15007 vsize=13061932 memory=12881532 CPUtime=1241.87 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 3129022 0 0 0 123684 503 0 0 20 0 1 0 435349382 13375418368 3220383 33554432000 4194304 6211092 140728974381488 140728974355048 5446226 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3265483 3220383 819 493 0 3258788 0
Current children cumulated CPU time: 1241.87 s
Current children cumulated vsize: 13061932 KiB
Current children cumulated memory: 12881532 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/200 15197
/proc/meminfo: memFree=4468524/32770624 swapFree=66952132/67108860
[pid=15010] ppid=15007 vsize=13663720 memory=13501816 CPUtime=1301.85 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 3279541 0 0 0 129653 532 0 0 20 0 1 0 435349382 13991649280 3375454 33554432000 4194304 6211092 140728974381488 140728974355048 5478409 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3415930 3375454 819 493 0 3409235 0
Current children cumulated CPU time: 1301.85 s
Current children cumulated vsize: 13663720 KiB
Current children cumulated memory: 13501816 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/199 15201
/proc/meminfo: memFree=3221444/32770624 swapFree=66952132/67108860
[pid=15010] ppid=15007 vsize=14265376 memory=14123876 CPUtime=1361.84 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 3430046 0 0 0 135620 564 0 0 20 0 1 0 435349382 14607745024 3530969 33554432000 4194304 6211092 140728974381488 140728974355048 5446260 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3566344 3530969 819 493 0 3559649 0
Current children cumulated CPU time: 1361.84 s
Current children cumulated vsize: 14265376 KiB
Current children cumulated memory: 14123876 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/199 15205
/proc/meminfo: memFree=1975612/32770624 swapFree=66952132/67108860
[pid=15010] ppid=15007 vsize=14867032 memory=14743844 CPUtime=1421.81 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 3580541 0 0 0 141585 596 0 0 20 0 1 0 435349382 15223840768 3685961 33554432000 4194304 6211092 140728974381488 140728974355048 139736442570225 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3716758 3685961 819 493 0 3710063 0
Current children cumulated CPU time: 1421.81 s
Current children cumulated vsize: 14867032 KiB
Current children cumulated memory: 14743844 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/200 15212
/proc/meminfo: memFree=729588/32770624 swapFree=66952132/67108860
[pid=15010] ppid=15007 vsize=15467500 memory=15362788 CPUtime=1481.8 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 3730765 0 0 0 147543 637 0 0 20 0 1 0 435349382 15838720000 3840697 33554432000 4194304 6211092 140728974381488 140728974355048 139736442570194 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3866875 3840697 819 493 0 3860180 0
Current children cumulated CPU time: 1481.8 s
Current children cumulated vsize: 15467500 KiB
Current children cumulated memory: 15362788 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1522.8 s]
/proc/loadavg: 2.22 2.06 2.03 3/199 15214
/proc/meminfo: memFree=316604/32770624 swapFree=66952220/67108860
[pid=15010] ppid=15007 vsize=15872740 memory=15782428 CPUtime=1522.29 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 4202496 3832659 0 0 0 151567 662 0 0 20 0 1 0 435349382 16253685760 3945607 33554432000 4194304 6211092 140728974381488 140728974355048 5453912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3968185 3945607 819 493 0 3961490 0
Current children cumulated CPU time: 1522.29 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1525.59 s]
# the end of solver process 15010 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1515.83 s, system=7.42304 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1523.2 s]
/proc/loadavg: 2.29 2.08 2.04 4/200 15215
/proc/meminfo: memFree=251224/32770624 swapFree=66952220/67108860
[pid=15010] ppid=15007 vsize=15872740 memory=15782428 CPUtime=1522.34 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) S 15007 15010 14949 0 -1 512 3832663 0 0 0 151572 662 0 0 20 0 1 0 435349382 16253685760 3945607 33554432000 4194304 6211092 140728974381488 140728974355048 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3968185 3945607 819 493 0 3961490 0
Current children cumulated CPU time: 1522.34 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782428 KiB
[startup+1524 s]*
/proc/loadavg: 2.29 2.08 2.04 3/200 15215
/proc/meminfo: memFree=204076/32770624 swapFree=66952220/67108860
[pid=15010] ppid=15007 vsize=15872740 memory=15782428 CPUtime=1522.43 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) R 15007 15010 14949 0 -1 512 3832663 0 0 0 151580 663 0 0 20 0 1 0 435349382 16253685760 3945607 33554432000 4194304 6211092 140728974381488 140728974355048 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3968185 3945607 819 493 0 3961490 0
Current children cumulated CPU time: 1522.43 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782428 KiB
[startup+1524.4 s]
/proc/loadavg: 2.29 2.08 2.04 3/200 15215
/proc/meminfo: memFree=204076/32770624 swapFree=66952220/67108860
[pid=15010] ppid=15007 vsize=15872740 memory=15782428 CPUtime=1522.46 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) S 15007 15010 14949 0 -1 512 3832663 0 0 0 151583 663 0 0 20 0 1 0 435349382 16253685760 3945607 33554432000 4194304 6211092 140728974381488 140728974355048 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3968185 3945607 819 493 0 3961490 0
Current children cumulated CPU time: 1522.46 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782428 KiB
[startup+1524.8 s]
/proc/loadavg: 2.29 2.08 2.04 3/200 15215
/proc/meminfo: memFree=204076/32770624 swapFree=66952220/67108860
[pid=15010] ppid=15007 vsize=15872740 memory=15782428 CPUtime=1522.46 cores=0,2,4,6
/proc/15010/stat : 15010 (cosoco) S 15007 15010 14949 0 -1 512 3832663 0 0 0 151583 663 0 0 20 0 1 0 435349382 16253685760 3945607 33554432000 4194304 6211092 140728974381488 140728974355048 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 14553088 140728974386187 140728974386289 140728974386289 140728974389198 0
/proc/15010/statm: 3968185 3945607 819 493 0 3961490 0
Current children cumulated CPU time: 1522.46 s
Current children cumulated vsize: 15872740 KiB
Current children cumulated memory: 15782428 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1525.59
CPU time (s): 1523.26
CPU user time (s): 1515.83
CPU system time (s): 7.42304
CPU usage (%): 99.8473
Max. virtual memory (cumulated for all children) (KiB): 15872740
Max. memory (cumulated for all children) (KiB): 15782428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1515.83
system time used= 7.42303
maximum resident set size= 15782648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3832663
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= 74565
involuntary context switches= 1608
# summary of solver processes directly reported to runsolver:
# pid: 15010
# total CPU time (s): 1523.26
# total CPU user time (s): 1515.83
# total CPU system time (s): 7.42304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63888 second user time and 9.94771 second system time
The end