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 (15159 MiB free)
memory of node 1: 16384 MiB (15436 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397887-1568590193/watcher-4397887-1568590193 -o /tmp/evaluation-result-4397887-1568590193/solver-4397887-1568590193 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568572739-2567 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397887-1568590193.xml
running on 4 cores: 1,3,5,7
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=6415, runsolver pid=6412
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 6416
/proc/meminfo: memFree=31319868/32770624 swapFree=66998656/67108860
[pid=6415] ppid=6412 vsize=39156 memory=15368 CPUtime=0.1 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 4007 0 0 0 10 0 0 0 20 0 1 0 435270677 40095744 3842 33554432000 4194304 6211092 140736561840688 140736561837224 5440038 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 9789 3842 809 493 0 3094 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15368 KiB
[startup+0.209643 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 6416
/proc/meminfo: memFree=31318008/32770624 swapFree=66998656/67108860
[pid=6415] ppid=6412 vsize=40732 memory=17008 CPUtime=0.21 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 4429 0 0 0 21 0 0 0 20 0 1 0 435270677 41709568 4252 33554432000 4194304 6211092 140736561840688 140736561837224 139692371815296 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 10183 4252 819 493 0 3488 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40732 KiB
Current children cumulated memory: 17008 KiB
[startup+0.308869 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 6416
/proc/meminfo: memFree=31316892/32770624 swapFree=66998656/67108860
[pid=6415] ppid=6412 vsize=41716 memory=18064 CPUtime=0.31 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 4684 0 0 0 31 0 0 0 20 0 1 0 435270677 42717184 4516 33554432000 4194304 6211092 140736561840688 140736561837224 5443112 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 10429 4516 819 493 0 3734 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 18064 KiB
[startup+0.700279 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6416
/proc/meminfo: memFree=31314660/32770624 swapFree=66998656/67108860
[pid=6415] ppid=6412 vsize=45844 memory=21996 CPUtime=0.69 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 5682 0 0 0 69 0 0 0 20 0 1 0 435270677 46944256 5499 33554432000 4194304 6211092 140736561840688 140736561837224 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 11461 5499 819 493 0 4766 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45844 KiB
Current children cumulated memory: 21996 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6416
/proc/meminfo: memFree=31309480/32770624 swapFree=66998656/67108860
[pid=6415] ppid=6412 vsize=54212 memory=30320 CPUtime=1.49 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 7765 0 0 0 149 0 0 0 20 0 1 0 435270677 55513088 7580 33554432000 4194304 6211092 140736561840688 140736561814760 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 13553 7580 819 493 0 6858 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54212 KiB
Current children cumulated memory: 30320 KiB
[startup+3.10945 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6416
/proc/meminfo: memFree=31288184/32770624 swapFree=66998656/67108860
[pid=6415] ppid=6412 vsize=71160 memory=47076 CPUtime=3.1 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 12124 0 0 0 309 1 0 0 20 0 1 0 435270677 72867840 11769 33554432000 4194304 6211092 140736561840688 140736561814760 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 17790 11769 819 493 0 11095 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 71160 KiB
Current children cumulated memory: 47076 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6416
/proc/meminfo: memFree=31256712/32770624 swapFree=66998656/67108860
[pid=6415] ppid=6412 vsize=104968 memory=80264 CPUtime=6.29 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 20602 0 0 0 627 2 0 0 20 0 1 0 435270677 107487232 20066 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 26242 20066 819 493 0 19547 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 104968 KiB
Current children cumulated memory: 80264 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 6418
/proc/meminfo: memFree=31193380/32770624 swapFree=66998656/67108860
[pid=6415] ppid=6412 vsize=170956 memory=147052 CPUtime=12.69 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 37440 0 0 0 1265 4 0 0 20 0 1 0 435270677 175058944 36763 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 42739 36763 819 493 0 36044 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 170956 KiB
Current children cumulated memory: 147052 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6419
/proc/meminfo: memFree=31057032/32770624 swapFree=66998656/67108860
[pid=6415] ppid=6412 vsize=305584 memory=280796 CPUtime=25.49 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 70712 0 0 0 2542 7 0 0 20 0 1 0 435270677 312918016 70199 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 76396 70199 819 493 0 69701 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 305584 KiB
Current children cumulated memory: 280796 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6419
/proc/meminfo: memFree=30784940/32770624 swapFree=66998656/67108860
[pid=6415] ppid=6412 vsize=576192 memory=548876 CPUtime=51.1 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 136882 0 0 0 5094 16 0 0 20 0 1 0 435270677 590020608 137219 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 144048 137219 819 493 0 137353 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 576192 KiB
Current children cumulated memory: 548876 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6433
/proc/meminfo: memFree=30253204/32770624 swapFree=66998660/67108860
[pid=6415] ppid=6412 vsize=1120312 memory=1080752 CPUtime=102.3 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 266753 0 0 0 10199 31 0 0 20 0 1 0 435270677 1147199488 270188 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 280078 270188 819 493 0 273383 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 1120312 KiB
Current children cumulated memory: 1080752 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6437
/proc/meminfo: memFree=29623828/32770624 swapFree=66998660/67108860
[pid=6415] ppid=6412 vsize=1753568 memory=1709116 CPUtime=162.29 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 419846 0 0 0 16178 51 0 0 20 0 1 0 435270677 1795653632 427279 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 438392 427279 819 493 0 431697 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1753568 KiB
Current children cumulated memory: 1709116 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6441
/proc/meminfo: memFree=28993684/32770624 swapFree=66998660/67108860
[pid=6415] ppid=6412 vsize=2362352 memory=2338404 CPUtime=222.28 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 572086 0 0 0 22158 70 0 0 20 0 1 0 435270677 2419048448 584601 33554432000 4194304 6211092 140736561840688 140736561814248 139692371741502 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 590588 584601 819 493 0 583893 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2362352 KiB
Current children cumulated memory: 2338404 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6447
/proc/meminfo: memFree=28365296/32770624 swapFree=66998660/67108860
[pid=6415] ppid=6412 vsize=3007916 memory=2965556 CPUtime=282.27 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 724922 0 0 0 28140 87 0 0 20 0 1 0 435270677 3080105984 741389 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 751979 741389 819 493 0 745284 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 3007916 KiB
Current children cumulated memory: 2965556 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6451
/proc/meminfo: memFree=27735676/32770624 swapFree=66998660/67108860
[pid=6415] ppid=6412 vsize=3672064 memory=3593916 CPUtime=342.26 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 877510 0 0 0 34119 107 0 0 20 0 1 0 435270677 3760193536 898479 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 918016 898479 819 493 0 911321 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 3672064 KiB
Current children cumulated memory: 3593916 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6455
/proc/meminfo: memFree=27103956/32770624 swapFree=66998660/67108860
[pid=6415] ppid=6412 vsize=4280848 memory=4224060 CPUtime=402.25 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 1030036 0 0 0 40102 123 0 0 20 0 1 0 435270677 4383588352 1056015 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 1070212 1056015 819 493 0 1063517 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 4280848 KiB
Current children cumulated memory: 4224060 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6461
/proc/meminfo: memFree=26475988/32770624 swapFree=66998660/67108860
[pid=6415] ppid=6412 vsize=4889104 memory=4850796 CPUtime=462.25 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 1182220 0 0 0 46079 146 0 0 20 0 1 0 435270677 5006442496 1212699 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 1222276 1212699 819 493 0 1215581 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 4889104 KiB
Current children cumulated memory: 4850796 KiB
################
# More data... #
################
Current children cumulated vsize: 9961708 KiB
Current children cumulated memory: 9872872 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 6572
/proc/meminfo: memFree=15737000/32770624 swapFree=66998664/67108860
[pid=6415] ppid=6412 vsize=10569436 memory=10501140 CPUtime=1002.17 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 2553092 0 0 0 99857 360 0 0 20 0 1 0 435270677 10823102464 2625285 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 2642359 2625285 819 493 0 2635664 0
Current children cumulated CPU time: 1002.17 s
Current children cumulated vsize: 10569436 KiB
Current children cumulated memory: 10501140 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 6576
/proc/meminfo: memFree=14485268/32770624 swapFree=66998664/67108860
[pid=6415] ppid=6412 vsize=11177164 memory=11127320 CPUtime=1062.16 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 2705279 0 0 0 105828 388 0 0 20 0 1 0 435270677 11445415936 2781830 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 2794291 2781830 819 493 0 2787596 0
Current children cumulated CPU time: 1062.16 s
Current children cumulated vsize: 11177164 KiB
Current children cumulated memory: 11127320 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 6580
/proc/meminfo: memFree=13231196/32770624 swapFree=66998664/67108860
[pid=6415] ppid=6412 vsize=11784628 memory=11755280 CPUtime=1122.15 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 2857402 0 0 0 111798 417 0 0 20 0 1 0 435270677 12067459072 2938820 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 2946157 2938820 819 493 0 2939462 0
Current children cumulated CPU time: 1122.15 s
Current children cumulated vsize: 11784628 KiB
Current children cumulated memory: 11755280 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 6586
/proc/meminfo: memFree=11980192/32770624 swapFree=66998664/67108860
[pid=6415] ppid=6412 vsize=12578948 memory=12382372 CPUtime=1182.15 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 3010408 0 0 0 117769 446 0 0 20 0 1 0 435270677 12880842752 3095593 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3144737 3095593 819 493 0 3138042 0
Current children cumulated CPU time: 1182.15 s
Current children cumulated vsize: 12578948 KiB
Current children cumulated memory: 12382372 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 6590
/proc/meminfo: memFree=10727504/32770624 swapFree=66998664/67108860
[pid=6415] ppid=6412 vsize=13186412 memory=13008324 CPUtime=1242.13 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 3162531 0 0 0 123740 473 0 0 20 0 1 0 435270677 13502885888 3252081 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3296603 3252081 819 493 0 3289908 0
Current children cumulated CPU time: 1242.13 s
Current children cumulated vsize: 13186412 KiB
Current children cumulated memory: 13008324 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 6603
/proc/meminfo: memFree=9476260/32770624 swapFree=66998664/67108860
[pid=6415] ppid=6412 vsize=13793876 memory=13636292 CPUtime=1302.12 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 3314657 0 0 0 129710 502 0 0 20 0 1 0 435270677 14124929024 3409073 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3448469 3409073 819 493 0 3441774 0
Current children cumulated CPU time: 1302.12 s
Current children cumulated vsize: 13793876 KiB
Current children cumulated memory: 13636292 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/202 6609
/proc/meminfo: memFree=8223792/32770624 swapFree=66998664/67108860
[pid=6415] ppid=6412 vsize=14401340 memory=14262164 CPUtime=1362.12 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 3466776 0 0 0 135681 531 0 0 20 0 1 0 435270677 14746972160 3565541 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3600335 3565541 819 493 0 3593640 0
Current children cumulated CPU time: 1362.12 s
Current children cumulated vsize: 14401340 KiB
Current children cumulated memory: 14262164 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 6613
/proc/meminfo: memFree=6972652/32770624 swapFree=66998664/67108860
[pid=6415] ppid=6412 vsize=15008672 memory=14889964 CPUtime=1422.12 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 3618908 0 0 0 141649 563 0 0 20 0 1 0 435270677 15368880128 3722491 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3752168 3722491 819 493 0 3745473 0
Current children cumulated CPU time: 1422.12 s
Current children cumulated vsize: 15008672 KiB
Current children cumulated memory: 14889964 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 6617
/proc/meminfo: memFree=5719780/32770624 swapFree=66998664/67108860
[pid=6415] ppid=6412 vsize=15615740 memory=15517616 CPUtime=1482.1 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 3770951 0 0 0 147616 594 0 0 20 0 1 0 435270677 15990517760 3879404 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3903935 3879404 819 493 0 3897240 0
Current children cumulated CPU time: 1482.1 s
Current children cumulated vsize: 15615740 KiB
Current children cumulated memory: 15517616 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1507.7 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 6619
/proc/meminfo: memFree=5198300/32770624 swapFree=66998664/67108860
[pid=6415] ppid=6412 vsize=15872744 memory=15782636 CPUtime=1507.5 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 4202496 3835339 0 0 0 150142 608 0 0 20 0 1 0 435270677 16253689856 3945659 33554432000 4194304 6211092 140736561840688 140736561814248 139692371745765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3968186 3945659 819 493 0 3961491 0
Current children cumulated CPU time: 1507.5 s
Current children cumulated vsize: 15872744 KiB
Current children cumulated memory: 15782636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1510.45 s]
# the end of solver process 6415 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1501.71 s, system=6.85174 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1508.8 s]
/proc/loadavg: 2.00 2.00 2.04 3/202 6620
/proc/meminfo: memFree=5014904/32770624 swapFree=66998672/67108860
[pid=6415] ppid=6412 vsize=15872744 memory=15782636 CPUtime=1507.67 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) R 6412 6415 2535 0 -1 512 3835343 0 0 0 150158 609 0 0 20 0 1 0 435270677 16253689856 3945659 33554432000 4194304 6211092 140736561840688 140736561814248 5189768 0 16384 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3968186 3945659 819 493 0 3961491 0
Current children cumulated CPU time: 1507.67 s
Current children cumulated vsize: 15872744 KiB
Current children cumulated memory: 15782636 KiB
[startup+1509.2 s]
/proc/loadavg: 2.08 2.01 2.05 2/202 6620
/proc/meminfo: memFree=4506296/32770624 swapFree=66998672/67108860
[pid=6415] ppid=6412 vsize=15872744 memory=15782636 CPUtime=1507.72 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) S 6412 6415 2535 0 -1 512 3835343 0 0 0 150163 609 0 0 20 0 1 0 435270677 16253689856 3945659 33554432000 4194304 6211092 140736561840688 140736561814248 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3968186 3945659 819 493 0 3961491 0
Current children cumulated CPU time: 1507.72 s
Current children cumulated vsize: 15872744 KiB
Current children cumulated memory: 15782636 KiB
[startup+1509.6 s]
/proc/loadavg: 2.08 2.01 2.05 2/202 6620
/proc/meminfo: memFree=4506296/32770624 swapFree=66998672/67108860
[pid=6415] ppid=6412 vsize=15872744 memory=15782636 CPUtime=1507.79 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) S 6412 6415 2535 0 -1 512 3835343 0 0 0 150169 610 0 0 20 0 1 0 435270677 16253689856 3945659 33554432000 4194304 6211092 140736561840688 140736561814248 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3968186 3945659 819 493 0 3961491 0
Current children cumulated CPU time: 1507.79 s
Current children cumulated vsize: 15872744 KiB
Current children cumulated memory: 15782636 KiB
[startup+1509.7 s]
/proc/loadavg: 2.08 2.01 2.05 2/202 6620
/proc/meminfo: memFree=4506296/32770624 swapFree=66998672/67108860
[pid=6415] ppid=6412 vsize=15872744 memory=15782636 CPUtime=1507.81 cores=1,3,5,7
/proc/6415/stat : 6415 (cosoco) S 6412 6415 2535 0 -1 512 3835343 0 0 0 150171 610 0 0 20 0 1 0 435270677 16253689856 3945659 33554432000 4194304 6211092 140736561840688 140736561814248 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 17035264 140736561845259 140736561845361 140736561845361 140736561848270 0
/proc/6415/statm: 3968186 3945659 819 493 0 3961491 0
Current children cumulated CPU time: 1507.81 s
Current children cumulated vsize: 15872744 KiB
Current children cumulated memory: 15782636 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1510.45
CPU time (s): 1508.56
CPU user time (s): 1501.71
CPU system time (s): 6.85174
CPU usage (%): 99.8751
Max. virtual memory (cumulated for all children) (KiB): 15872744
Max. memory (cumulated for all children) (KiB): 15782636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1501.71
system time used= 6.85174
maximum resident set size= 15782884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3835343
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= 121424
involuntary context switches= 1117
# summary of solver processes directly reported to runsolver:
# pid: 6415
# total CPU time (s): 1508.56
# total CPU user time (s): 1501.71
# total CPU system time (s): 6.85174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.16913 second user time and 10.1644 second system time
The end