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 (12652 MiB free)
memory of node 1: 16384 MiB (14288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408460-1569811478/watcher-4408460-1569811478 -o /tmp/evaluation-result-4408460-1569811478/solver-4408460-1569811478 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2496 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408460-1569811478.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=8244, runsolver pid=8241
[startup+0.100199 s]*
/proc/loadavg: 3.42 2.45 2.22 3/203 8245
/proc/meminfo: memFree=27572016/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=39156 memory=15360 CPUtime=0.1 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 4007 0 0 0 10 0 0 0 20 0 1 0 557086047 40095744 3840 33554432000 4194304 6211132 140727773863952 140727773860488 140566008910976 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 9789 3840 809 493 0 3094 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15360 KiB
[startup+0.210169 s]*
/proc/loadavg: 3.42 2.45 2.22 3/203 8245
/proc/meminfo: memFree=27567552/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=40728 memory=16872 CPUtime=0.2 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 4431 0 0 0 20 0 0 0 20 0 1 0 557086047 41705472 4218 33554432000 4194304 6211132 140727773863952 140727773860488 140565992848357 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/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.310016 s]*
/proc/loadavg: 3.42 2.45 2.22 4/201 8245
/proc/meminfo: memFree=28016408/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=41716 memory=17928 CPUtime=0.3 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 4681 0 0 0 30 0 0 0 20 0 1 0 557086047 42717184 4482 33554432000 4194304 6211132 140727773863952 140727773837512 5453936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 10429 4482 819 493 0 3734 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 17928 KiB
[startup+0.700374 s]
/proc/loadavg: 3.42 2.45 2.22 4/201 8245
/proc/meminfo: memFree=29528568/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=45712 memory=21732 CPUtime=0.69 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 5648 0 0 0 68 1 0 0 20 0 1 0 557086047 46809088 5433 33554432000 4194304 6211132 140727773863952 140727773837512 140565992848357 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 11428 5433 819 493 0 4733 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45712 KiB
Current children cumulated memory: 21732 KiB
[startup+1.50035 s]
/proc/loadavg: 3.42 2.45 2.22 3/200 8245
/proc/meminfo: memFree=29974668/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=54080 memory=30052 CPUtime=1.49 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 7721 0 0 0 148 1 0 0 20 0 1 0 557086047 55377920 7513 33554432000 4194304 6211132 140727773863952 140727773837512 5451514 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 13520 7513 819 493 0 6825 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 30052 KiB
[startup+3.10957 s]
/proc/loadavg: 3.42 2.45 2.22 3/200 8245
/proc/meminfo: memFree=29954264/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=70896 memory=46812 CPUtime=3.1 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 12061 0 0 0 308 2 0 0 20 0 1 0 557086047 72597504 11703 33554432000 4194304 6211132 140727773863952 140727773837512 5452177 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 17724 11703 819 493 0 11029 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70896 KiB
Current children cumulated memory: 46812 KiB
[startup+6.30034 s]
/proc/loadavg: 3.15 2.41 2.21 3/200 8245
/proc/meminfo: memFree=29923484/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=104440 memory=79732 CPUtime=6.29 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 20495 0 0 0 626 3 0 0 20 0 1 0 557086047 106946560 19933 33554432000 4194304 6211132 140727773863952 140727773837512 5443135 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 26110 19933 819 493 0 19415 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104440 KiB
Current children cumulated memory: 79732 KiB
[startup+12.7003 s]
/proc/loadavg: 3.05 2.41 2.21 3/200 8245
/proc/meminfo: memFree=29861856/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=170164 memory=146256 CPUtime=12.69 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 37238 0 0 0 1264 5 0 0 20 0 1 0 557086047 174247936 36564 33554432000 4194304 6211132 140727773863952 140727773837512 5446654 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 42541 36564 819 493 0 35846 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170164 KiB
Current children cumulated memory: 146256 KiB
[startup+25.5004 s]
/proc/loadavg: 2.82 2.39 2.20 3/200 8247
/proc/meminfo: memFree=29726460/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=304000 memory=279204 CPUtime=25.49 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 70335 0 0 0 2540 9 0 0 20 0 1 0 557086047 311296000 69801 33554432000 4194304 6211132 140727773863952 140727773837512 140565993772242 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 76000 69801 819 493 0 69305 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 304000 KiB
Current children cumulated memory: 279204 KiB
[startup+51.1097 s]
/proc/loadavg: 2.54 2.36 2.20 3/200 8248
/proc/meminfo: memFree=29455740/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=573156 memory=545704 CPUtime=51.1 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 136126 0 0 0 5093 17 0 0 20 0 1 0 557086047 586911744 136426 33554432000 4194304 6211132 140727773863952 140727773837512 140565992848357 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 143289 136426 819 493 0 136594 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 573156 KiB
Current children cumulated memory: 545704 KiB
[startup+102.3 s]
/proc/loadavg: 2.23 2.30 2.19 3/200 8251
/proc/meminfo: memFree=28927788/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=1115164 memory=1075204 CPUtime=102.29 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 265472 0 0 0 10195 34 0 0 20 0 1 0 557086047 1141927936 268801 33554432000 4194304 6211132 140727773863952 140727773837512 140565992848357 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 278791 268801 819 493 0 272096 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1115164 KiB
Current children cumulated memory: 1075204 KiB
[startup+162.3 s]
/proc/loadavg: 2.09 2.25 2.18 3/200 8318
/proc/meminfo: memFree=28546416/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=1741952 memory=1697436 CPUtime=162.26 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 416948 0 0 0 16173 53 0 0 20 0 1 0 557086047 1783758848 424359 33554432000 4194304 6211132 140727773863952 140727773837512 4982624 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 435488 424359 819 493 0 428793 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1741952 KiB
Current children cumulated memory: 1697436 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.20 2.17 3/200 8322
/proc/meminfo: memFree=27293680/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=2344004 memory=2320060 CPUtime=222.24 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 567470 0 0 0 22151 73 0 0 20 0 1 0 557086047 2400260096 580015 33554432000 4194304 6211132 140727773863952 140727773837512 140566002793309 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 586001 580015 819 493 0 579306 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2344004 KiB
Current children cumulated memory: 2320060 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.16 2.15 3/199 8326
/proc/meminfo: memFree=26045224/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=2982836 memory=2940668 CPUtime=282.23 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 718567 0 0 0 28129 94 0 0 20 0 1 0 557086047 3054424064 735167 33554432000 4194304 6211132 140727773863952 140727773837512 5454208 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 745709 735167 819 493 0 739014 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2982836 KiB
Current children cumulated memory: 2940668 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.13 2.14 3/199 8332
/proc/meminfo: memFree=24796288/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=3639856 memory=3560740 CPUtime=342.21 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 869067 0 0 0 34107 114 0 0 20 0 1 0 557086047 3727212544 890185 33554432000 4194304 6211132 140727773863952 140727773837512 5453944 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 909964 890185 819 493 0 903269 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 3639856 KiB
Current children cumulated memory: 3560740 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.11 2.13 3/200 8344
/proc/meminfo: memFree=23546084/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=4243624 memory=4184888 CPUtime=402.18 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 1020584 0 0 0 40083 135 0 0 20 0 1 0 557086047 4345470976 1046222 33554432000 4194304 6211132 140727773863952 140727773837512 5451604 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 1060906 1046222 819 493 0 1054211 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 4243624 KiB
Current children cumulated memory: 4184888 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.09 2.13 3/200 8348
/proc/meminfo: memFree=22291844/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=4847788 memory=4809608 CPUtime=462.17 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 1171773 0 0 0 46060 157 0 0 20 0 1 0 557086047 4964134912 1202402 33554432000 4194304 6211132 140727773863952 140727773837512 5440837 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 1211947 1202402 819 493 0 1205252 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 4847788 KiB
Current children cumulated memory: 4809608 KiB
################
# More data... #
################
Current children cumulated vsize: 9283888 KiB
Current children cumulated memory: 9174552 KiB
[startup+942.3 s]
/proc/loadavg: 2.01 2.04 2.09 3/199 8388
/proc/meminfo: memFree=12286004/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=9887920 memory=9796944 CPUtime=942.06 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 2382259 0 0 0 93854 352 0 0 20 0 1 0 557086047 10125230080 2449236 33554432000 4194304 6211132 140727773863952 140727773837512 5453944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 2471980 2449236 819 493 0 2465285 0
Current children cumulated CPU time: 942.06 s
Current children cumulated vsize: 9887920 KiB
Current children cumulated memory: 9796944 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.09 3/200 8400
/proc/meminfo: memFree=11033072/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=10491556 memory=10421076 CPUtime=1002.04 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 2533470 0 0 0 99824 380 0 0 20 0 1 0 557086047 10743353344 2605269 33554432000 4194304 6211132 140727773863952 140727773837512 5480204 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 2622889 2605269 819 493 0 2616194 0
Current children cumulated CPU time: 1002.04 s
Current children cumulated vsize: 10491556 KiB
Current children cumulated memory: 10421076 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/201 8429
/proc/meminfo: memFree=9784836/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=11095060 memory=11042984 CPUtime=1062.02 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 2684563 0 0 0 105793 409 0 0 20 0 1 0 557086047 11361341440 2760746 33554432000 4194304 6211132 140727773863952 140727773837512 140565993772275 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 2773765 2760746 819 493 0 2767070 0
Current children cumulated CPU time: 1062.02 s
Current children cumulated vsize: 11095060 KiB
Current children cumulated memory: 11042984 KiB
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 2.08 3/201 8433
/proc/meminfo: memFree=8532928/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=11698696 memory=11667268 CPUtime=1122.01 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 2835716 0 0 0 111763 438 0 0 20 0 1 0 557086047 11979464704 2916817 33554432000 4194304 6211132 140727773863952 140727773837512 5013258 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 2924674 2916817 819 493 0 2917979 0
Current children cumulated CPU time: 1122.01 s
Current children cumulated vsize: 11698696 KiB
Current children cumulated memory: 11667268 KiB
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.07 3/201 8437
/proc/meminfo: memFree=7284088/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=12488924 memory=12288356 CPUtime=1182 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 2987695 0 0 0 117732 468 0 0 20 0 1 0 557086047 12788658176 3072089 33554432000 4194304 6211132 140727773863952 140727773837512 140565993768867 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 3122231 3072089 819 493 0 3115536 0
Current children cumulated CPU time: 1182 s
Current children cumulated vsize: 12488924 KiB
Current children cumulated memory: 12288356 KiB
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.07 3/201 8443
/proc/meminfo: memFree=6034076/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=13092560 memory=12912376 CPUtime=1241.99 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 3138851 0 0 0 123701 498 0 0 20 0 1 0 557086047 13406781440 3228094 33554432000 4194304 6211132 140727773863952 140727773837512 5455685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 3273140 3228094 819 493 0 3266445 0
Current children cumulated CPU time: 1241.99 s
Current children cumulated vsize: 13092560 KiB
Current children cumulated memory: 12912376 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/200 8447
/proc/meminfo: memFree=4784944/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=13695932 memory=13534352 CPUtime=1301.97 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 3289964 0 0 0 129668 529 0 0 20 0 1 0 557086047 14024634368 3383588 33554432000 4194304 6211132 140727773863952 140727773837512 5443128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 3423983 3383588 819 493 0 3417288 0
Current children cumulated CPU time: 1301.97 s
Current children cumulated vsize: 13695932 KiB
Current children cumulated memory: 13534352 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/199 8451
/proc/meminfo: memFree=3536296/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=14299436 memory=14158372 CPUtime=1361.95 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 3441078 0 0 0 135637 558 0 0 20 0 1 0 557086047 14642622464 3539593 33554432000 4194304 6211132 140727773863952 140727773837512 5013236 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 3574859 3539593 819 493 0 3568164 0
Current children cumulated CPU time: 1361.95 s
Current children cumulated vsize: 14299436 KiB
Current children cumulated memory: 14158372 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8457
/proc/meminfo: memFree=2286256/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=14902808 memory=14780084 CPUtime=1421.93 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 3592162 0 0 0 141602 591 0 0 20 0 1 0 557086047 15260475392 3695021 33554432000 4194304 6211132 140727773863952 140727773837512 140565993772246 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 3725702 3695021 819 493 0 3719007 0
Current children cumulated CPU time: 1421.93 s
Current children cumulated vsize: 14902808 KiB
Current children cumulated memory: 14780084 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8461
/proc/meminfo: memFree=1037600/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=15505784 memory=15403644 CPUtime=1481.93 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 3743224 0 0 0 147566 627 0 0 20 0 1 0 557086047 15877922816 3850911 33554432000 4194304 6211132 140727773863952 140727773837512 140565992848357 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 3876446 3850911 819 493 0 3869751 0
Current children cumulated CPU time: 1481.93 s
Current children cumulated vsize: 15505784 KiB
Current children cumulated memory: 15403644 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1518.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8464
/proc/meminfo: memFree=287504/32770624 swapFree=66997328/67108860
[pid=8244] ppid=8241 vsize=15872348 memory=15782280 CPUtime=1518.41 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 4202496 3835012 0 0 0 151188 653 0 0 20 0 1 0 557086047 16253284352 3945570 33554432000 4194304 6211132 140727773863952 140727773837512 5446675 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 3968087 3945570 819 493 0 3961392 0
Current children cumulated CPU time: 1518.41 s
Current children cumulated vsize: 15872348 KiB
Current children cumulated memory: 15782280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1521.67 s]
# the end of solver process 8244 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1512.08 s, system=7.3355 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1520.1 s]*
/proc/loadavg: 2.00 2.01 2.05 4/200 8465
/proc/meminfo: memFree=194072/32770624 swapFree=66997268/67108860
[pid=8244] ppid=8241 vsize=15872348 memory=15782280 CPUtime=1518.57 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) R 8241 8244 2465 0 -1 512 3835017 0 0 0 151202 655 0 0 20 0 1 0 557086047 16253284352 3945570 33554432000 4194304 6211132 140727773863952 140727773837512 5189800 0 16384 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 3968087 3945570 819 493 0 3961392 0
Current children cumulated CPU time: 1518.57 s
Current children cumulated vsize: 15872348 KiB
Current children cumulated memory: 15782280 KiB
[startup+1520.5 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 8465
/proc/meminfo: memFree=194072/32770624 swapFree=66997268/67108860
[pid=8244] ppid=8241 vsize=15872348 memory=15782280 CPUtime=1518.62 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) S 8241 8244 2465 0 -1 512 3835017 0 0 0 151206 656 0 0 20 0 1 0 557086047 16253284352 3945570 33554432000 4194304 6211132 140727773863952 140727773837512 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 3968087 3945570 819 493 0 3961392 0
Current children cumulated CPU time: 1518.62 s
Current children cumulated vsize: 15872348 KiB
Current children cumulated memory: 15782280 KiB
[startup+1520.9 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 8465
/proc/meminfo: memFree=194072/32770624 swapFree=66997268/67108860
[pid=8244] ppid=8241 vsize=15872348 memory=15782280 CPUtime=1518.64 cores=0,2,4,6
/proc/8244/stat : 8244 (cosoco) S 8241 8244 2465 0 -1 512 3835017 0 0 0 151207 657 0 0 20 0 1 0 557086047 16253284352 3945570 33554432000 4194304 6211132 140727773863952 140727773837512 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 16347136 140727773864971 140727773865073 140727773865073 140727773867982 0
/proc/8244/statm: 3968087 3945570 819 493 0 3961392 0
Current children cumulated CPU time: 1518.64 s
Current children cumulated vsize: 15872348 KiB
Current children cumulated memory: 15782280 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1521.67
CPU time (s): 1519.42
CPU user time (s): 1512.08
CPU system time (s): 7.3355
CPU usage (%): 99.8522
Max. virtual memory (cumulated for all children) (KiB): 15872348
Max. memory (cumulated for all children) (KiB): 15782280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1512.08
system time used= 7.3355
maximum resident set size= 15782500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3835017
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= 97282
involuntary context switches= 1913
# summary of solver processes directly reported to runsolver:
# pid: 8244
# total CPU time (s): 1519.42
# total CPU user time (s): 1512.08
# total CPU system time (s): 7.3355
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.44413 second user time and 10.5123 second system time
The end