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 (14560 MiB free)
memory of node 1: 16384 MiB (11705 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397875-1568590138/watcher-4397875-1568590138 -o /tmp/evaluation-result-4397875-1568590138/solver-4397875-1568590138 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568572742-10942 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397875-1568590138.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=14328, runsolver pid=14325
[startup+0.100196 s]*
/proc/loadavg: 2.07 2.05 2.05 3/199 14329
/proc/meminfo: memFree=26883540/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=39020 memory=15088 CPUtime=0.1 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 3989 0 0 0 10 0 0 0 20 0 1 0 434955682 39956480 3772 33554432000 4194304 6211092 140732438272896 140732438269432 139752771701733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 9755 3772 809 493 0 3060 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39020 KiB
Current children cumulated memory: 15088 KiB
[startup+0.209622 s]*
/proc/loadavg: 2.07 2.05 2.05 3/199 14329
/proc/meminfo: memFree=26881308/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=40728 memory=16868 CPUtime=0.21 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 4420 0 0 0 21 0 0 0 20 0 1 0 434955682 41705472 4217 33554432000 4194304 6211092 140732438272896 140732438269432 139752771701733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/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.309107 s]*
/proc/loadavg: 2.07 2.05 2.05 3/199 14329
/proc/meminfo: memFree=26879076/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=41712 memory=17924 CPUtime=0.31 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 4679 0 0 0 31 0 0 0 20 0 1 0 434955682 42713088 4481 33554432000 4194304 6211092 140732438272896 140732438269432 5013066 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/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.700337 s]
/proc/loadavg: 2.07 2.05 2.05 3/199 14329
/proc/meminfo: memFree=26874736/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=45708 memory=21988 CPUtime=0.69 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 5672 0 0 0 69 0 0 0 20 0 1 0 434955682 46804992 5497 33554432000 4194304 6211092 140732438272896 140732438269432 5452231 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/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: 2.07 2.05 2.05 3/199 14329
/proc/meminfo: memFree=26864540/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=54076 memory=30312 CPUtime=1.48 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 7751 0 0 0 148 0 0 0 20 0 1 0 434955682 55373824 7578 33554432000 4194304 6211092 140732438272896 140732438246456 139752771701733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 13519 7578 819 493 0 6824 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 30312 KiB
[startup+3.10928 s]
/proc/loadavg: 2.07 2.05 2.05 3/199 14329
/proc/meminfo: memFree=26823796/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=71024 memory=47064 CPUtime=3.1 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 12103 0 0 0 309 1 0 0 20 0 1 0 434955682 72728576 11766 33554432000 4194304 6211092 140732438272896 140732438246456 139752771701733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 17756 11766 819 493 0 11061 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71024 KiB
Current children cumulated memory: 47064 KiB
[startup+6.30033 s]
/proc/loadavg: 2.07 2.05 2.05 3/199 14329
/proc/meminfo: memFree=26760508/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=104700 memory=79988 CPUtime=6.29 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 20560 0 0 0 627 2 0 0 20 0 1 0 434955682 107212800 19997 33554432000 4194304 6211092 140732438272896 140732438246456 139752771701733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 26175 19997 819 493 0 19480 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104700 KiB
Current children cumulated memory: 79988 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.04 2.05 3/199 14329
/proc/meminfo: memFree=26636320/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=170556 memory=146516 CPUtime=12.69 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 37347 0 0 0 1264 5 0 0 20 0 1 0 434955682 174649344 36629 33554432000 4194304 6211092 140732438272896 140732438246456 5443103 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 42639 36629 819 493 0 35944 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170556 KiB
Current children cumulated memory: 146516 KiB
[startup+25.5003 s]
/proc/loadavg: 2.12 2.06 2.05 3/200 14331
/proc/meminfo: memFree=26365492/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=304656 memory=279988 CPUtime=25.49 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 70543 0 0 0 2539 10 0 0 20 0 1 0 434955682 311967744 69997 33554432000 4194304 6211092 140732438272896 140732438246456 139752772625645 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 76164 69997 819 493 0 69469 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 304656 KiB
Current children cumulated memory: 279988 KiB
[startup+51.1094 s]
/proc/loadavg: 2.14 2.07 2.05 3/199 14332
/proc/meminfo: memFree=25824516/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=574472 memory=547284 CPUtime=51.09 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 136493 0 0 0 5092 17 0 0 20 0 1 0 434955682 588259328 136821 33554432000 4194304 6211092 140732438272896 140732438246456 5446240 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 143618 136821 819 493 0 136923 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 574472 KiB
Current children cumulated memory: 547284 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/199 14336
/proc/meminfo: memFree=24766792/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=1117008 memory=1077024 CPUtime=102.28 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 266067 0 0 0 10195 33 0 0 20 0 1 0 434955682 1143816192 269256 33554432000 4194304 6211092 140732438272896 140732438246456 139752771701733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 279252 269256 819 493 0 272557 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1117008 KiB
Current children cumulated memory: 1077024 KiB
[startup+162.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/199 14349
/proc/meminfo: memFree=23519268/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=1745512 memory=1701104 CPUtime=162.28 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 417991 0 0 0 16175 53 0 0 20 0 1 0 434955682 1787404288 425276 33554432000 4194304 6211092 140732438272896 140732438246456 139752772625639 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 436378 425276 819 493 0 429683 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1745512 KiB
Current children cumulated memory: 1701104 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/199 14353
/proc/meminfo: memFree=22272076/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=2349412 memory=2325576 CPUtime=222.27 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 568985 0 0 0 22154 73 0 0 20 0 1 0 434955682 2405797888 581394 33554432000 4194304 6211092 140732438272896 140732438246456 139752771701733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 587353 581394 819 493 0 580658 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2349412 KiB
Current children cumulated memory: 2325576 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 14357
/proc/meminfo: memFree=21025836/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=2990488 memory=2948380 CPUtime=282.26 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 720070 0 0 0 28136 90 0 0 20 0 1 0 434955682 3062259712 737095 33554432000 4194304 6211092 140732438272896 140732438246456 5454183 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 747622 737095 819 493 0 740927 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2990488 KiB
Current children cumulated memory: 2948380 KiB
[startup+342.3 s]
/proc/loadavg: 1.97 2.02 2.04 3/199 14363
/proc/meminfo: memFree=19781828/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=3646716 memory=3569752 CPUtime=342.25 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 871140 0 0 0 34115 110 0 0 20 0 1 0 434955682 3734237184 892438 33554432000 4194304 6211092 140732438272896 140732438246456 5443111 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 911679 892438 819 493 0 904984 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 3646716 KiB
Current children cumulated memory: 3569752 KiB
[startup+402.3 s]
/proc/loadavg: 2.33 2.10 2.07 3/199 14367
/proc/meminfo: memFree=18540436/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=4248900 memory=4190140 CPUtime=402.24 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 1022193 0 0 0 40091 133 0 0 20 0 1 0 434955682 4350873600 1047535 33554432000 4194304 6211092 140732438272896 140732438246456 139752772625414 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 1062225 1047535 819 493 0 1055530 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 4248900 KiB
Current children cumulated memory: 4190140 KiB
[startup+462.3 s]
/proc/loadavg: 2.41 2.15 2.09 3/199 14371
/proc/meminfo: memFree=17291888/32770624 swapFree=66952060/67108860
[pid=14328] ppid=14325 vsize=4852008 memory=4813892 CPUtime=462.24 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 1173516 0 0 0 46067 157 0 0 20 0 1 0 434955682 4968456192 1203473 33554432000 4194304 6211092 140732438272896 140732438246456 5451554 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 1213002 1203473 819 493 0 1206307 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 4852008 KiB
Current children cumulated memory: 4813892 KiB
################
# More data... #
################
Current children cumulated vsize: 10484952 KiB
Current children cumulated memory: 10412408 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/199 14425
/proc/meminfo: memFree=4844828/32770624 swapFree=66952064/67108860
[pid=14328] ppid=14325 vsize=11087136 memory=11035328 CPUtime=1062.2 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 2688468 0 0 0 105798 422 0 0 20 0 1 0 434955682 11353227264 2758832 33554432000 4194304 6211092 140732438272896 140732438246456 5451532 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 2771784 2758832 819 493 0 2765089 0
Current children cumulated CPU time: 1062.2 s
Current children cumulated vsize: 11087136 KiB
Current children cumulated memory: 11035328 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/199 14429
/proc/meminfo: memFree=3603272/32770624 swapFree=66952064/67108860
[pid=14328] ppid=14325 vsize=11689320 memory=11655676 CPUtime=1122.19 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 2839863 0 0 0 111769 450 0 0 20 0 1 0 434955682 11969863680 2913919 33554432000 4194304 6211092 140732438272896 140732438246456 5446606 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 2922330 2913919 819 493 0 2915635 0
Current children cumulated CPU time: 1122.19 s
Current children cumulated vsize: 11689320 KiB
Current children cumulated memory: 11655676 KiB
[startup+1182.3 s]
/proc/loadavg: 2.50 2.17 2.10 3/200 14499
/proc/meminfo: memFree=18539016/32770624 swapFree=66952072/67108860
[pid=14328] ppid=14325 vsize=12478228 memory=12277928 CPUtime=1182.17 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 2991887 0 0 0 117736 481 0 0 20 0 1 0 434955682 12777705472 3069482 33554432000 4194304 6211092 140732438272896 140732438246456 139752771701733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3119557 3069482 819 493 0 3112862 0
Current children cumulated CPU time: 1182.17 s
Current children cumulated vsize: 12478228 KiB
Current children cumulated memory: 12277928 KiB
[startup+1242.3 s]
/proc/loadavg: 2.18 2.14 2.10 3/200 14505
/proc/meminfo: memFree=17913564/32770624 swapFree=66952072/67108860
[pid=14328] ppid=14325 vsize=13081996 memory=12902172 CPUtime=1242.15 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 3143096 0 0 0 123703 512 0 0 20 0 1 0 434955682 13395963904 3225543 33554432000 4194304 6211092 140732438272896 140732438246456 139752771701733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3270499 3225543 819 493 0 3263804 0
Current children cumulated CPU time: 1242.15 s
Current children cumulated vsize: 13081996 KiB
Current children cumulated memory: 12902172 KiB
[startup+1302.3 s]
/proc/loadavg: 2.07 2.11 2.09 3/200 14509
/proc/meminfo: memFree=17291596/32770624 swapFree=66952072/67108860
[pid=14328] ppid=14325 vsize=13685764 memory=13524104 CPUtime=1302.12 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 3294284 0 0 0 129664 548 0 0 20 0 1 0 434955682 14014222336 3381026 33554432000 4194304 6211092 140732438272896 140732438246456 5446649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3421441 3381026 819 493 0 3414746 0
Current children cumulated CPU time: 1302.12 s
Current children cumulated vsize: 13685764 KiB
Current children cumulated memory: 13524104 KiB
[startup+1362.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/201 14521
/proc/meminfo: memFree=16666272/32770624 swapFree=66952080/67108860
[pid=14328] ppid=14325 vsize=14289664 memory=14148612 CPUtime=1362.09 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 3445540 0 0 0 135634 575 0 0 20 0 1 0 434955682 14632615936 3537153 33554432000 4194304 6211092 140732438272896 140732438246456 139752771701733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3572416 3537153 819 493 0 3565721 0
Current children cumulated CPU time: 1362.09 s
Current children cumulated vsize: 14289664 KiB
Current children cumulated memory: 14148612 KiB
[startup+1422.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/201 14527
/proc/meminfo: memFree=16042012/32770624 swapFree=66952080/67108860
[pid=14328] ppid=14325 vsize=14893564 memory=14770972 CPUtime=1422.07 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 3596716 0 0 0 141598 609 0 0 20 0 1 0 434955682 15251009536 3692743 33554432000 4194304 6211092 140732438272896 140732438246456 5451488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3723391 3692743 819 493 0 3716696 0
Current children cumulated CPU time: 1422.07 s
Current children cumulated vsize: 14893564 KiB
Current children cumulated memory: 14770972 KiB
[startup+1482.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/200 14531
/proc/meminfo: memFree=15416568/32770624 swapFree=66952080/67108860
[pid=14328] ppid=14325 vsize=15496672 memory=15394688 CPUtime=1482.04 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 3747779 0 0 0 147556 648 0 0 20 0 1 0 434955682 15868592128 3848672 33554432000 4194304 6211092 140732438272896 140732438246456 139752771701733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3874168 3848672 819 493 0 3867473 0
Current children cumulated CPU time: 1482.04 s
Current children cumulated vsize: 15496672 KiB
Current children cumulated memory: 15394688 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1519.7 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 14535
/proc/meminfo: memFree=15032568/32770624 swapFree=66952080/67108860
[pid=14328] ppid=14325 vsize=15872608 memory=15782908 CPUtime=1519.44 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) R 14325 14328 10911 0 -1 4202496 3841965 0 0 0 151270 674 0 0 20 0 1 0 434955682 16253550592 3945727 33554432000 4194304 6211092 140732438272896 140732438246456 5479708 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3968152 3945727 819 493 0 3961457 0
Current children cumulated CPU time: 1519.44 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1522.56 s]
# the end of solver process 14328 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1513.01 s, system=7.61777 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1520 s]*
/proc/loadavg: 2.00 2.06 2.07 4/201 14536
/proc/meminfo: memFree=14862236/32770624 swapFree=66952080/67108860
[pid=14328] ppid=14325 vsize=15872608 memory=15782908 CPUtime=1519.51 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) S 14325 14328 10911 0 -1 512 3841970 0 0 0 151277 674 0 0 20 0 1 0 434955682 16253550592 3945727 33554432000 4194304 6211092 140732438272896 140732438246456 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3968152 3945727 819 493 0 3961457 0
Current children cumulated CPU time: 1519.51 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782908 KiB
[startup+1520.8 s]
/proc/loadavg: 2.00 2.06 2.07 4/201 14536
/proc/meminfo: memFree=14862236/32770624 swapFree=66952080/67108860
[pid=14328] ppid=14325 vsize=15872608 memory=15782908 CPUtime=1519.63 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) S 14325 14328 10911 0 -1 512 3841970 0 0 0 151288 675 0 0 20 0 1 0 434955682 16253550592 3945727 33554432000 4194304 6211092 140732438272896 140732438246456 5189768 0 16384 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3968152 3945727 819 493 0 3961457 0
Current children cumulated CPU time: 1519.63 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782908 KiB
[startup+1521.2 s]
/proc/loadavg: 2.00 2.06 2.07 3/201 14536
/proc/meminfo: memFree=14355200/32770624 swapFree=66952080/67108860
[pid=14328] ppid=14325 vsize=15872608 memory=15782908 CPUtime=1519.68 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) S 14325 14328 10911 0 -1 512 3841970 0 0 0 151293 675 0 0 20 0 1 0 434955682 16253550592 3945727 33554432000 4194304 6211092 140732438272896 140732438246456 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3968152 3945727 819 493 0 3961457 0
Current children cumulated CPU time: 1519.68 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782908 KiB
[startup+1521.6 s]
/proc/loadavg: 2.00 2.06 2.07 3/201 14536
/proc/meminfo: memFree=14355200/32770624 swapFree=66952080/67108860
[pid=14328] ppid=14325 vsize=15872608 memory=15782908 CPUtime=1519.74 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) S 14325 14328 10911 0 -1 512 3841970 0 0 0 151299 675 0 0 20 0 1 0 434955682 16253550592 3945727 33554432000 4194304 6211092 140732438272896 140732438246456 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3968152 3945727 819 493 0 3961457 0
Current children cumulated CPU time: 1519.74 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782908 KiB
[startup+1521.7 s]
/proc/loadavg: 2.00 2.06 2.07 3/201 14536
/proc/meminfo: memFree=14355200/32770624 swapFree=66952080/67108860
[pid=14328] ppid=14325 vsize=15872608 memory=15782908 CPUtime=1519.75 cores=0,2,4,6
/proc/14328/stat : 14328 (cosoco) S 14325 14328 10911 0 -1 512 3841970 0 0 0 151300 675 0 0 20 0 1 0 434955682 16253550592 3945727 33554432000 4194304 6211092 140732438272896 140732438246456 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 26460160 140732438279179 140732438279281 140732438279281 140732438282190 0
/proc/14328/statm: 3968152 3945727 819 493 0 3961457 0
Current children cumulated CPU time: 1519.75 s
Current children cumulated vsize: 15872608 KiB
Current children cumulated memory: 15782908 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1522.56
CPU time (s): 1520.63
CPU user time (s): 1513.01
CPU system time (s): 7.61777
CPU usage (%): 99.873
Max. virtual memory (cumulated for all children) (KiB): 15872608
Max. memory (cumulated for all children) (KiB): 15782908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1513.01
system time used= 7.61777
maximum resident set size= 15782944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3841970
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= 126321
involuntary context switches= 1911
# summary of solver processes directly reported to runsolver:
# pid: 14328
# total CPU time (s): 1520.63
# total CPU user time (s): 1513.01
# total CPU system time (s): 7.61777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.52919 second user time and 10.1871 second system time
The end