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 (14813 MiB free)
memory of node 1: 16384 MiB (13330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397870-1568589929/watcher-4397870-1568589929 -o /tmp/evaluation-result-4397870-1568589929/solver-4397870-1568589929 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568569067-5214 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397870-1568589929.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=8280, runsolver pid=8277
Current StackSize limit: 8192 KiB
[startup+0.100208 s]*
/proc/loadavg: 2.02 2.02 2.05 3/199 8281
/proc/meminfo: memFree=28807112/32770624 swapFree=66925424/67108860
[pid=8280] ppid=8277 vsize=39152 memory=15220 CPUtime=0.1 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 4006 0 0 0 10 0 0 0 20 0 1 0 435248780 40091648 3805 33554432000 4194304 6211092 140735827692416 140735827688952 5818640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 9788 3805 809 493 0 3093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39152 KiB
Current children cumulated memory: 15220 KiB
[startup+0.209842 s]*
/proc/loadavg: 2.02 2.02 2.05 3/199 8281
/proc/meminfo: memFree=28803788/32770624 swapFree=66925424/67108860
[pid=8280] ppid=8277 vsize=40728 memory=16868 CPUtime=0.21 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 4432 0 0 0 21 0 0 0 20 0 1 0 435248780 41705472 4217 33554432000 4194304 6211092 140735827692416 140735827688952 140412548426725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/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.309016 s]*
/proc/loadavg: 2.02 2.02 2.05 3/199 8281
/proc/meminfo: memFree=28801928/32770624 swapFree=66925424/67108860
[pid=8280] ppid=8277 vsize=41712 memory=17924 CPUtime=0.3 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 4689 0 0 0 30 0 0 0 20 0 1 0 435248780 42713088 4481 33554432000 4194304 6211092 140735827692416 140735827665976 140412548426725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/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.700339 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 8281
/proc/meminfo: memFree=28797960/32770624 swapFree=66925424/67108860
[pid=8280] ppid=8277 vsize=45840 memory=21988 CPUtime=0.69 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 5684 0 0 0 68 1 0 0 20 0 1 0 435248780 46940160 5497 33554432000 4194304 6211092 140735827692416 140735827665976 5441110 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/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.50034 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 8281
/proc/meminfo: memFree=28787544/32770624 swapFree=66925424/67108860
[pid=8280] ppid=8277 vsize=54208 memory=30312 CPUtime=1.49 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 7762 0 0 0 148 1 0 0 20 0 1 0 435248780 55508992 7578 33554432000 4194304 6211092 140735827692416 140735827665976 5455642 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 13552 7578 819 493 0 6857 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54208 KiB
Current children cumulated memory: 30312 KiB
[startup+3.10945 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 8281
/proc/meminfo: memFree=28746252/32770624 swapFree=66925424/67108860
[pid=8280] ppid=8277 vsize=71024 memory=47072 CPUtime=3.09 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 12113 0 0 0 308 1 0 0 20 0 1 0 435248780 72728576 11768 33554432000 4194304 6211092 140735827692416 140735827665976 5478349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 17756 11768 819 493 0 11061 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71024 KiB
Current children cumulated memory: 47072 KiB
[startup+6.30033 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 8281
/proc/meminfo: memFree=28681324/32770624 swapFree=66925424/67108860
[pid=8280] ppid=8277 vsize=104832 memory=80256 CPUtime=6.28 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 20569 0 0 0 626 2 0 0 20 0 1 0 435248780 107347968 20064 33554432000 4194304 6211092 140735827692416 140735827665976 5013121 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 26208 20064 819 493 0 19513 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 104832 KiB
Current children cumulated memory: 80256 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 8283
/proc/meminfo: memFree=28556164/32770624 swapFree=66925424/67108860
[pid=8280] ppid=8277 vsize=170688 memory=146516 CPUtime=12.69 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 37361 0 0 0 1264 5 0 0 20 0 1 0 435248780 174784512 36629 33554432000 4194304 6211092 140735827692416 140735827665976 4982624 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 42672 36629 819 493 0 35977 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170688 KiB
Current children cumulated memory: 146516 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 8283
/proc/meminfo: memFree=28286048/32770624 swapFree=66925424/67108860
[pid=8280] ppid=8277 vsize=304788 memory=279988 CPUtime=25.48 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 70543 0 0 0 2540 8 0 0 20 0 1 0 435248780 312102912 69997 33554432000 4194304 6211092 140735827692416 140735827665976 5013015 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 76197 69997 819 493 0 69502 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 304788 KiB
Current children cumulated memory: 279988 KiB
[startup+51.1094 s]
/proc/loadavg: 2.01 2.01 2.05 4/199 8283
/proc/meminfo: memFree=27740172/32770624 swapFree=66925424/67108860
[pid=8280] ppid=8277 vsize=574604 memory=547284 CPUtime=51.09 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 136496 0 0 0 5092 17 0 0 20 0 1 0 435248780 588394496 136821 33554432000 4194304 6211092 140735827692416 140735827665976 4982624 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 143651 136821 819 493 0 136956 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 574604 KiB
Current children cumulated memory: 547284 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8290
/proc/meminfo: memFree=26676384/32770624 swapFree=66925428/67108860
[pid=8280] ppid=8277 vsize=1117272 memory=1077552 CPUtime=102.27 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 266144 0 0 0 10194 33 0 0 20 0 1 0 435248780 1144086528 269388 33554432000 4194304 6211092 140735827692416 140735827665976 5012856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 279318 269388 819 493 0 272623 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1117272 KiB
Current children cumulated memory: 1077552 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 8294
/proc/meminfo: memFree=25421332/32770624 swapFree=66925428/67108860
[pid=8280] ppid=8277 vsize=1745776 memory=1701368 CPUtime=162.27 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 418011 0 0 0 16174 53 0 0 20 0 1 0 435248780 1787674624 425342 33554432000 4194304 6211092 140735827692416 140735827665976 140412549350610 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 436444 425342 819 493 0 429749 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1745776 KiB
Current children cumulated memory: 1701368 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 8298
/proc/meminfo: memFree=24168396/32770624 swapFree=66925428/67108860
[pid=8280] ppid=8277 vsize=2349412 memory=2325576 CPUtime=222.26 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 568949 0 0 0 22150 76 0 0 20 0 1 0 435248780 2405797888 581394 33554432000 4194304 6211092 140735827692416 140735827665976 5441110 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 587353 581394 819 493 0 580658 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2349412 KiB
Current children cumulated memory: 2325576 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8305
/proc/meminfo: memFree=22915680/32770624 swapFree=66925428/67108860
[pid=8280] ppid=8277 vsize=2989828 memory=2947548 CPUtime=282.26 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 720547 0 0 0 28127 99 0 0 20 0 1 0 435248780 3061583872 736887 33554432000 4194304 6211092 140735827692416 140735827665976 140412548426725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 747457 736887 819 493 0 740762 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2989828 KiB
Current children cumulated memory: 2947548 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 8309
/proc/meminfo: memFree=21662548/32770624 swapFree=66925428/67108860
[pid=8280] ppid=8277 vsize=3648960 memory=3570196 CPUtime=342.24 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 871936 0 0 0 34103 121 0 0 20 0 1 0 435248780 3736535040 892549 33554432000 4194304 6211092 140735827692416 140735827665976 140412548426725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 912240 892549 819 493 0 905545 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 3648960 KiB
Current children cumulated memory: 3570196 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8321
/proc/meminfo: memFree=20408976/32770624 swapFree=66925432/67108860
[pid=8280] ppid=8277 vsize=4252728 memory=4194016 CPUtime=402.24 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 1023814 0 0 0 40082 142 0 0 20 0 1 0 435248780 4354793472 1048504 33554432000 4194304 6211092 140735827692416 140735827665976 5479708 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 1063182 1048504 819 493 0 1056487 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 4252728 KiB
Current children cumulated memory: 4194016 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8327
/proc/meminfo: memFree=19154224/32770624 swapFree=66925432/67108860
[pid=8280] ppid=8277 vsize=4856232 memory=4818032 CPUtime=462.23 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 1175214 0 0 0 46057 166 0 0 20 0 1 0 435248780 4972781568 1204508 33554432000 4194304 6211092 140735827692416 140735827665976 140412548426725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 1214058 1204508 819 493 0 1207363 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 4856232 KiB
Current children cumulated memory: 4818032 KiB
################
# More data... #
################
Current children cumulated vsize: 9285072 KiB
Current children cumulated memory: 9175564 KiB
[startup+942.3 s]
/proc/loadavg: 2.49 2.16 2.09 3/198 8363
/proc/meminfo: memFree=9146184/32770624 swapFree=66925432/67108860
[pid=8280] ppid=8277 vsize=9885540 memory=9794592 CPUtime=942.16 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 2387161 0 0 0 93852 364 0 0 20 0 1 0 435248780 10122792960 2448648 33554432000 4194304 6211092 140735827692416 140735827665976 140412548426725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 2471385 2448648 819 493 0 2464690 0
Current children cumulated CPU time: 942.16 s
Current children cumulated vsize: 9885540 KiB
Current children cumulated memory: 9794592 KiB
[startup+1002.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/200 8377
/proc/meminfo: memFree=7893944/32770624 swapFree=66925436/67108860
[pid=8280] ppid=8277 vsize=10488252 memory=10417776 CPUtime=1002.15 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 2538707 0 0 0 99820 395 0 0 20 0 1 0 435248780 10739970048 2604444 33554432000 4194304 6211092 140735827692416 140735827665976 5451482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 2622063 2604444 819 493 0 2615368 0
Current children cumulated CPU time: 1002.15 s
Current children cumulated vsize: 10488252 KiB
Current children cumulated memory: 10417776 KiB
[startup+1062.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/199 8381
/proc/meminfo: memFree=6639992/32770624 swapFree=66925436/67108860
[pid=8280] ppid=8277 vsize=11090964 memory=11039024 CPUtime=1062.14 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 2690082 0 0 0 105790 424 0 0 20 0 1 0 435248780 11357147136 2759756 33554432000 4194304 6211092 140735827692416 140735827665976 140412548426725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 2772741 2759756 819 493 0 2766046 0
Current children cumulated CPU time: 1062.14 s
Current children cumulated vsize: 11090964 KiB
Current children cumulated memory: 11039024 KiB
[startup+1122.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/198 8385
/proc/meminfo: memFree=5392112/32770624 swapFree=66925436/67108860
[pid=8280] ppid=8277 vsize=11693676 memory=11659900 CPUtime=1122.14 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 2841605 0 0 0 111761 453 0 0 20 0 1 0 435248780 11974324224 2914975 33554432000 4194304 6211092 140735827692416 140735827665976 140412558371654 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 2923419 2914975 819 493 0 2916724 0
Current children cumulated CPU time: 1122.14 s
Current children cumulated vsize: 11693676 KiB
Current children cumulated memory: 11659900 KiB
[startup+1182.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/200 8392
/proc/meminfo: memFree=4137980/32770624 swapFree=66925436/67108860
[pid=8280] ppid=8277 vsize=12483112 memory=12282496 CPUtime=1182.13 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 2993972 0 0 0 117731 482 0 0 20 0 1 0 435248780 12782706688 3070624 33554432000 4194304 6211092 140735827692416 140735827665976 5456310 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 3120778 3070624 819 493 0 3114083 0
Current children cumulated CPU time: 1182.13 s
Current children cumulated vsize: 12483112 KiB
Current children cumulated memory: 12282496 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 8396
/proc/meminfo: memFree=2887524/32770624 swapFree=66925436/67108860
[pid=8280] ppid=8277 vsize=13085560 memory=12905372 CPUtime=1242.13 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 3145476 0 0 0 123700 513 0 0 20 0 1 0 435248780 13399613440 3226343 33554432000 4194304 6211092 140735827692416 140735827665976 5441106 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 3271390 3226343 819 493 0 3264695 0
Current children cumulated CPU time: 1242.13 s
Current children cumulated vsize: 13085560 KiB
Current children cumulated memory: 12905372 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 8400
/proc/meminfo: memFree=1636808/32770624 swapFree=66925436/67108860
[pid=8280] ppid=8277 vsize=13688140 memory=13526512 CPUtime=1302.12 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 3296958 0 0 0 129668 544 0 0 20 0 1 0 435248780 14016655360 3381628 33554432000 4194304 6211092 140735827692416 140735827665976 140412548426725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 3422035 3381628 819 493 0 3415340 0
Current children cumulated CPU time: 1302.12 s
Current children cumulated vsize: 13688140 KiB
Current children cumulated memory: 13526512 KiB
[startup+1362.3 s]
/proc/loadavg: 2.21 2.11 2.08 3/200 8471
/proc/meminfo: memFree=16278328/32770624 swapFree=66925440/67108860
[pid=8280] ppid=8277 vsize=14292436 memory=14151288 CPUtime=1362.09 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 3448460 0 0 0 135634 575 0 0 20 0 1 0 435248780 14635454464 3537822 33554432000 4194304 6211092 140735827692416 140735827665976 5454176 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 3573109 3537822 819 493 0 3566414 0
Current children cumulated CPU time: 1362.09 s
Current children cumulated vsize: 14292436 KiB
Current children cumulated memory: 14151288 KiB
[startup+1422.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/199 8475
/proc/meminfo: memFree=15630284/32770624 swapFree=66925440/67108860
[pid=8280] ppid=8277 vsize=14898448 memory=14775792 CPUtime=1422.06 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 3600032 0 0 0 141596 610 0 0 20 0 1 0 435248780 15256010752 3693948 33554432000 4194304 6211092 140735827692416 140735827665976 5456310 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 3724612 3693948 819 493 0 3717917 0
Current children cumulated CPU time: 1422.06 s
Current children cumulated vsize: 14898448 KiB
Current children cumulated memory: 14775792 KiB
[startup+1482.3 s]
/proc/loadavg: 2.03 2.07 2.07 3/199 8479
/proc/meminfo: memFree=15003084/32770624 swapFree=66925440/67108860
[pid=8280] ppid=8277 vsize=15503932 memory=15401752 CPUtime=1482.04 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 3751504 0 0 0 147558 646 0 0 20 0 1 0 435248780 15876026368 3850438 33554432000 4194304 6211092 140735827692416 140735827665976 140412548426725 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 3875983 3850438 819 493 0 3869288 0
Current children cumulated CPU time: 1482.04 s
Current children cumulated vsize: 15503932 KiB
Current children cumulated memory: 15401752 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1518.8 s]
/proc/loadavg: 2.01 2.07 2.06 3/199 8483
/proc/meminfo: memFree=14626304/32770624 swapFree=66925440/67108860
[pid=8280] ppid=8277 vsize=15872080 memory=15782116 CPUtime=1518.53 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) R 8277 8280 5183 0 -1 4202496 3843580 0 0 0 151183 670 0 0 20 0 1 0 435248780 16253009920 3945529 33554432000 4194304 6211092 140735827692416 140735827665976 5013050 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 3968020 3945529 819 493 0 3961325 0
Current children cumulated CPU time: 1518.53 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15782116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1521.66 s]
# the end of solver process 8280 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1512.09 s, system=7.58733 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1520 s]*
/proc/loadavg: 2.01 2.07 2.06 3/200 8484
/proc/meminfo: memFree=13998412/32770624 swapFree=66925440/67108860
[pid=8280] ppid=8277 vsize=15872080 memory=15782116 CPUtime=1518.7 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) S 8277 8280 5183 0 -1 512 3843584 0 0 0 151199 671 0 0 20 0 1 0 435248780 16253009920 3945529 33554432000 4194304 6211092 140735827692416 140735827665976 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 3968020 3945529 819 493 0 3961325 0
Current children cumulated CPU time: 1518.7 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15782116 KiB
[startup+1520.4 s]
/proc/loadavg: 2.01 2.07 2.06 3/200 8484
/proc/meminfo: memFree=13998412/32770624 swapFree=66925440/67108860
[pid=8280] ppid=8277 vsize=15872080 memory=15782116 CPUtime=1518.76 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) S 8277 8280 5183 0 -1 512 3843584 0 0 0 151204 672 0 0 20 0 1 0 435248780 16253009920 3945529 33554432000 4194304 6211092 140735827692416 140735827665976 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 3968020 3945529 819 493 0 3961325 0
Current children cumulated CPU time: 1518.76 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15782116 KiB
[startup+1520.8 s]
/proc/loadavg: 2.01 2.07 2.06 3/200 8484
/proc/meminfo: memFree=13998412/32770624 swapFree=66925440/67108860
[pid=8280] ppid=8277 vsize=15872080 memory=15782116 CPUtime=1518.81 cores=0,2,4,6
/proc/8280/stat : 8280 (cosoco) S 8277 8280 5183 0 -1 512 3843584 0 0 0 151209 672 0 0 20 0 1 0 435248780 16253009920 3945529 33554432000 4194304 6211092 140735827692416 140735827665976 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 22999040 140735827694603 140735827694705 140735827694705 140735827697614 0
/proc/8280/statm: 3968020 3945529 819 493 0 3961325 0
Current children cumulated CPU time: 1518.81 s
Current children cumulated vsize: 15872080 KiB
Current children cumulated memory: 15782116 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1521.66
CPU time (s): 1519.68
CPU user time (s): 1512.09
CPU system time (s): 7.58733
CPU usage (%): 99.8698
Max. virtual memory (cumulated for all children) (KiB): 15872080
Max. memory (cumulated for all children) (KiB): 15782116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1512.09
system time used= 7.58733
maximum resident set size= 15782200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3843584
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= 123285
involuntary context switches= 2701
# summary of solver processes directly reported to runsolver:
# pid: 8280
# total CPU time (s): 1519.68
# total CPU user time (s): 1512.09
# total CPU system time (s): 7.58733
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81466 second user time and 9.99923 second system time
The end