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 (11919 MiB free)
memory of node 1: 16384 MiB (14990 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390429-1568354849/watcher-4390429-1568354849 -o /tmp/evaluation-result-4390429-1568354849/solver-4390429-1568354849 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568329709-13075 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390429-1568354849.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=17331, runsolver pid=17328
Current StackSize limit: 8192 KiB
[startup+0.100203 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 17332
/proc/meminfo: memFree=27545136/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=39024 memory=15232 CPUtime=0.1 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 3988 0 0 0 10 0 0 0 20 0 1 0 411737943 39960576 3808 33554432000 4194304 6210612 140729961587216 140729961583752 5815939 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 9756 3808 809 493 0 3061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39024 KiB
Current children cumulated memory: 15232 KiB
[startup+0.209682 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 17332
/proc/meminfo: memFree=27543028/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=40600 memory=17008 CPUtime=0.21 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 4416 0 0 0 21 0 0 0 20 0 1 0 411737943 41574400 4252 33554432000 4194304 6210612 140729961587216 140729961583752 139728570182629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 10150 4252 819 493 0 3455 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17008 KiB
[startup+0.309002 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 17332
/proc/meminfo: memFree=27542284/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=41716 memory=17800 CPUtime=0.31 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 4667 0 0 0 31 0 0 0 20 0 1 0 411737943 42717184 4450 33554432000 4194304 6210612 140729961587216 140729961560776 139728570182629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 10429 4450 819 493 0 3734 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 17800 KiB
[startup+0.700348 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17332
/proc/meminfo: memFree=27539768/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=45580 memory=21736 CPUtime=0.69 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 5633 0 0 0 69 0 0 0 20 0 1 0 411737943 46673920 5434 33554432000 4194304 6210612 140729961587216 140729961560776 5439650 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 11395 5434 819 493 0 4700 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45580 KiB
Current children cumulated memory: 21736 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17332
/proc/meminfo: memFree=27534932/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=53816 memory=29792 CPUtime=1.49 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 7654 0 0 0 149 0 0 0 20 0 1 0 411737943 55107584 7448 33554432000 4194304 6210612 140729961587216 140729961560776 139728570178366 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 13454 7448 819 493 0 6759 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53816 KiB
Current children cumulated memory: 29792 KiB
[startup+3.10942 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17332
/proc/meminfo: memFree=27514000/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=70236 memory=46020 CPUtime=3.09 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 11886 0 0 0 309 0 0 0 20 0 1 0 411737943 71921664 11505 33554432000 4194304 6210612 140729961587216 140729961560776 139728570182629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 17559 11505 819 493 0 10864 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70236 KiB
Current children cumulated memory: 46020 KiB
[startup+6.30022 s]
/proc/loadavg: 1.84 1.98 2.03 3/199 17333
/proc/meminfo: memFree=27484716/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=102988 memory=78152 CPUtime=6.29 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 20090 0 0 0 628 1 0 0 20 0 1 0 411737943 105459712 19538 33554432000 4194304 6210612 140729961587216 140729961560776 139728570182629 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 25747 19538 819 493 0 19052 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 102988 KiB
Current children cumulated memory: 78152 KiB
[startup+12.7002 s]
/proc/loadavg: 1.86 1.98 2.03 3/199 17333
/proc/meminfo: memFree=27423772/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=166732 memory=142564 CPUtime=12.69 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 36351 0 0 0 1265 4 0 0 20 0 1 0 411737943 170733568 35641 33554432000 4194304 6210612 140729961587216 140729961560776 5455493 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 41683 35641 819 493 0 34988 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 166732 KiB
Current children cumulated memory: 142564 KiB
[startup+25.5002 s]
/proc/loadavg: 1.89 1.98 2.03 3/199 17333
/proc/meminfo: memFree=27291620/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=296872 memory=272612 CPUtime=25.48 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 68671 0 0 0 2540 8 0 0 20 0 1 0 411737943 303996928 68153 33554432000 4194304 6210612 140729961587216 140729961560776 4984496 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 74218 68153 819 493 0 67523 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 296872 KiB
Current children cumulated memory: 272612 KiB
[startup+51.1093 s]
/proc/loadavg: 1.93 1.99 2.03 3/199 17335
/proc/meminfo: memFree=27028748/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=558768 memory=529868 CPUtime=51.08 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 132111 0 0 0 5092 16 0 0 20 0 1 0 411737943 572178432 132467 33554432000 4194304 6210612 140729961587216 140729961560776 139728571106774 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 139692 132467 819 493 0 132997 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 558768 KiB
Current children cumulated memory: 529868 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/199 17339
/proc/meminfo: memFree=26513940/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=1069588 memory=1045132 CPUtime=102.25 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 257926 0 0 0 10193 32 0 0 20 0 1 0 411737943 1095258112 261283 33554432000 4194304 6210612 140729961587216 140729961560776 139728570180186 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 267397 261283 819 493 0 260702 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1069588 KiB
Current children cumulated memory: 1045132 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 17345
/proc/meminfo: memFree=25905424/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=1697732 memory=1651768 CPUtime=162.23 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 405485 0 0 0 16171 52 0 0 20 0 1 0 411737943 1738477568 412942 33554432000 4194304 6210612 140729961587216 140729961560776 5455490 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 424433 412942 819 493 0 417738 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 1697732 KiB
Current children cumulated memory: 1651768 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 17358
/proc/meminfo: memFree=25298092/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=2285000 memory=2259348 CPUtime=222.19 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 552314 0 0 0 22148 71 0 0 20 0 1 0 411737943 2339840000 564837 33554432000 4194304 6210612 140729961587216 140729961560776 139728570182629 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 571250 564837 819 493 0 564555 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 2285000 KiB
Current children cumulated memory: 2259348 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.00 2.04 3/201 17362
/proc/meminfo: memFree=24689768/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=2909180 memory=2865436 CPUtime=282.17 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 699736 0 0 0 28126 91 0 0 20 0 1 0 411737943 2979000320 716359 33554432000 4194304 6210612 140729961587216 140729961560776 139728571106525 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 727295 716359 819 493 0 720600 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 2909180 KiB
Current children cumulated memory: 2865436 KiB
[startup+342.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/202 17428
/proc/meminfo: memFree=23573564/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=3497636 memory=3472308 CPUtime=342.15 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 846929 0 0 0 34103 112 0 0 20 0 1 0 411737943 3581579264 868077 33554432000 4194304 6210612 140729961587216 140729961560776 5446446 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 874409 868077 819 493 0 867714 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 3497636 KiB
Current children cumulated memory: 3472308 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/201 17432
/proc/meminfo: memFree=22344672/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=4139080 memory=4076712 CPUtime=402.12 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 994089 0 0 0 40080 132 0 0 20 0 1 0 411737943 4238417920 1019178 33554432000 4194304 6210612 140729961587216 140729961560776 5452001 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 1034770 1019178 819 493 0 1028075 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 4139080 KiB
Current children cumulated memory: 4076712 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 17436
/proc/meminfo: memFree=21113640/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=4725424 memory=4681424 CPUtime=462.1 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 1140805 0 0 0 46055 155 0 0 20 0 1 0 411737943 4838834176 1170356 33554432000 4194304 6210612 140729961587216 140729961560776 139728580127592 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 1181356 1170356 819 493 0 1174661 0
Current children cumulated CPU time: 462.1 s
Current children cumulated vsize: 4725424 KiB
Current children cumulated memory: 4681424 KiB
################
# More data... #
################
Current children cumulated vsize: 10208284 KiB
Current children cumulated memory: 10128116 KiB
[startup+1062.3 s]
/proc/loadavg: 2.23 2.17 2.11 3/201 17492
/proc/meminfo: memFree=8816992/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=10793704 memory=10731864 CPUtime=1061.85 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 2609325 0 0 0 105780 405 0 0 20 0 1 0 411737943 11052752896 2682966 33554432000 4194304 6210612 140729961587216 140729961560776 5446119 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 2698426 2682966 819 493 0 2691731 0
Current children cumulated CPU time: 1061.85 s
Current children cumulated vsize: 10793704 KiB
Current children cumulated memory: 10731864 KiB
[startup+1122.3 s]
/proc/loadavg: 2.09 2.14 2.11 3/199 17497
/proc/meminfo: memFree=7587968/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=11378992 memory=11335604 CPUtime=1121.83 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 2755908 0 0 0 111747 436 0 0 20 0 1 0 411737943 11652087808 2833901 33554432000 4194304 6210612 140729961587216 140729961560776 139728571106552 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 2844748 2833901 819 493 0 2838053 0
Current children cumulated CPU time: 1121.83 s
Current children cumulated vsize: 11378992 KiB
Current children cumulated memory: 11335604 KiB
[startup+1182.3 s]
/proc/loadavg: 2.03 2.11 2.10 3/199 17501
/proc/meminfo: memFree=6360640/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=11964280 memory=11939344 CPUtime=1181.81 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 2902486 0 0 0 117713 468 0 0 20 0 1 0 411737943 12251422720 2984836 33554432000 4194304 6210612 140729961587216 140729961560776 5451401 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 2991070 2984836 819 493 0 2984375 0
Current children cumulated CPU time: 1181.81 s
Current children cumulated vsize: 11964280 KiB
Current children cumulated memory: 11939344 KiB
[startup+1242.3 s]
/proc/loadavg: 2.01 2.09 2.09 3/200 17507
/proc/meminfo: memFree=5129644/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=12735764 memory=12543952 CPUtime=1241.78 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 3049266 0 0 0 123675 503 0 0 20 0 1 0 411737943 13041422336 3135988 33554432000 4194304 6210612 140729961587216 140729961560776 5442788 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3183941 3135988 819 493 0 3177246 0
Current children cumulated CPU time: 1241.78 s
Current children cumulated vsize: 12735764 KiB
Current children cumulated memory: 12543952 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.08 2.09 3/199 17512
/proc/meminfo: memFree=3904824/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=13319996 memory=13146636 CPUtime=1301.75 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 3195577 0 0 0 129633 542 0 0 20 0 1 0 411737943 13639675904 3286659 33554432000 4194304 6210612 140729961587216 140729961560776 5479437 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3329999 3286659 819 493 0 3323304 0
Current children cumulated CPU time: 1301.75 s
Current children cumulated vsize: 13319996 KiB
Current children cumulated memory: 13146636 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/199 17516
/proc/meminfo: memFree=2677408/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=13904360 memory=13749320 CPUtime=1361.73 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 3341938 0 0 0 135592 581 0 0 20 0 1 0 411737943 14238064640 3437330 33554432000 4194304 6210612 140729961587216 140729961560776 139728571106531 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3476090 3437330 819 493 0 3469395 0
Current children cumulated CPU time: 1361.73 s
Current children cumulated vsize: 13904360 KiB
Current children cumulated memory: 13749320 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.05 2.08 3/200 17529
/proc/meminfo: memFree=1449288/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=14488460 memory=14354048 CPUtime=1421.7 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 3488221 0 0 0 141550 620 0 0 20 0 1 0 411737943 14836183040 3588512 33554432000 4194304 6210612 140729961587216 140729961560776 5012647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3622115 3588512 819 493 0 3615420 0
Current children cumulated CPU time: 1421.7 s
Current children cumulated vsize: 14488460 KiB
Current children cumulated memory: 14354048 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/199 17533
/proc/meminfo: memFree=223920/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=15072428 memory=14956424 CPUtime=1481.67 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 3634468 0 0 0 147504 663 0 0 20 0 1 0 411737943 15434166272 3739106 33554432000 4194304 6210612 140729961587216 140729961560776 5451347 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3768107 3739106 819 493 0 3761412 0
Current children cumulated CPU time: 1481.67 s
Current children cumulated vsize: 15072428 KiB
Current children cumulated memory: 14956424 KiB
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.07 3/199 17537
/proc/meminfo: memFree=199868/32770624 swapFree=66997372/67108860
[pid=17331] ppid=17328 vsize=15658772 memory=15561068 CPUtime=1541.67 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 3781812 0 0 0 153461 706 0 0 20 0 1 0 411737943 16034582528 3890267 33554432000 4194304 6210612 140729961587216 140729961560776 139728571106310 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3914693 3890267 819 493 0 3907998 0
Current children cumulated CPU time: 1541.67 s
Current children cumulated vsize: 15658772 KiB
Current children cumulated memory: 15561068 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1564.2 s]
/proc/loadavg: 2.04 2.05 2.07 4/199 17540
/proc/meminfo: memFree=206740/32770624 swapFree=66964444/67108860
[pid=17331] ppid=17328 vsize=15872876 memory=15781368 CPUtime=1563.57 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) R 17328 17331 13044 0 -1 4202496 3835411 0 0 0 155633 724 0 0 20 0 1 0 411737943 16253825024 3945342 33554432000 4194304 6210612 140729961587216 140729961560776 5479510 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3968219 3945342 819 493 0 3961524 0
Current children cumulated CPU time: 1563.57 s
Current children cumulated vsize: 15872876 KiB
Current children cumulated memory: 15781368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1567 s]
# the end of solver process 17331 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1556.43 s, system=8.05276 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1564.8 s]
/proc/loadavg: 2.04 2.05 2.07 4/199 17540
/proc/meminfo: memFree=206740/32770624 swapFree=66964444/67108860
[pid=17331] ppid=17328 vsize=15872876 memory=15781368 CPUtime=1563.57 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) S 17328 17331 13044 0 -1 512 3835415 0 0 0 155633 724 0 0 20 0 1 0 411737943 16253825024 3945342 33554432000 4194304 6210612 140729961587216 140729961560776 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3968219 3945342 819 493 0 3961524 0
Current children cumulated CPU time: 1563.57 s
Current children cumulated vsize: 15872876 KiB
Current children cumulated memory: 15781368 KiB
[startup+1565.6 s]
/proc/loadavg: 2.12 2.06 2.07 2/200 17541
/proc/meminfo: memFree=227600/32770624 swapFree=66892668/67108860
[pid=17331] ppid=17328 vsize=15872876 memory=15781368 CPUtime=1563.61 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) S 17328 17331 13044 0 -1 512 3835415 0 0 0 155637 724 0 0 20 0 1 0 411737943 16253825024 3945342 33554432000 4194304 6210612 140729961587216 140729961560776 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3968219 3945342 819 493 0 3961524 0
Current children cumulated CPU time: 1563.61 s
Current children cumulated vsize: 15872876 KiB
Current children cumulated memory: 15781368 KiB
[startup+1566 s]*
/proc/loadavg: 2.12 2.06 2.07 3/200 17541
/proc/meminfo: memFree=204528/32770624 swapFree=66892672/67108860
[pid=17331] ppid=17328 vsize=15872876 memory=15781368 CPUtime=1563.66 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) S 17328 17331 13044 0 -1 512 3835415 0 0 0 155641 725 0 0 20 0 1 0 411737943 16253825024 3945342 33554432000 4194304 6210612 140729961587216 140729961560776 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3968219 3945342 819 493 0 3961524 0
Current children cumulated CPU time: 1563.66 s
Current children cumulated vsize: 15872876 KiB
Current children cumulated memory: 15781368 KiB
[startup+1566.2 s]
/proc/loadavg: 2.12 2.06 2.07 3/200 17541
/proc/meminfo: memFree=204528/32770624 swapFree=66892672/67108860
[pid=17331] ppid=17328 vsize=15872876 memory=15781368 CPUtime=1563.67 cores=0,2,4,6
/proc/17331/stat : 17331 (cosoco) S 17328 17331 13044 0 -1 512 3835415 0 0 0 155642 725 0 0 20 0 1 0 411737943 16253825024 3945342 33554432000 4194304 6210612 140729961587216 140729961560776 5188952 0 16384 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21344256 140729961591819 140729961591921 140729961591921 140729961594830 0
/proc/17331/statm: 3968219 3945342 819 493 0 3961524 0
Current children cumulated CPU time: 1563.67 s
Current children cumulated vsize: 15872876 KiB
Current children cumulated memory: 15781368 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1567
CPU time (s): 1564.48
CPU user time (s): 1556.43
CPU system time (s): 8.05276
CPU usage (%): 99.8396
Max. virtual memory (cumulated for all children) (KiB): 15872876
Max. memory (cumulated for all children) (KiB): 15781368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1556.43
system time used= 8.05276
maximum resident set size= 15781532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3835415
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= 49326
involuntary context switches= 2454
# summary of solver processes directly reported to runsolver:
# pid: 17331
# total CPU time (s): 1564.48
# total CPU user time (s): 1556.43
# total CPU system time (s): 8.05276
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.98468 second user time and 11.3137 second system time
The end