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 (15389 MiB free)
memory of node 1: 16384 MiB (14257 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408288-1569791833/watcher-4408288-1569791833 -o /tmp/evaluation-result-4408288-1569791833/solver-4408288-1569791833 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1569787354-10133 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408288-1569791833.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
solver pid=11030, runsolver pid=11027
Current StackSize limit: 8192 KiB
[startup+0.100745 s]*
/proc/loadavg: 2.32 2.08 1.99 3/200 11031
/proc/meminfo: memFree=30358404/32770624 swapFree=66947164/67108860
[pid=11030] ppid=11027 vsize=28796 memory=5008 CPUtime=0.1 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 1474 0 0 0 10 0 0 0 20 0 1 0 555456172 29487104 1252 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 7199 1252 846 493 0 504 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28796 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209677 s]*
/proc/loadavg: 2.32 2.08 1.99 3/200 11031
/proc/meminfo: memFree=30361416/32770624 swapFree=66947164/67108860
[pid=11030] ppid=11027 vsize=30192 memory=6440 CPUtime=0.2 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 1814 0 0 0 20 0 0 0 20 0 1 0 555456172 30916608 1610 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 7548 1610 846 493 0 853 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30192 KiB
Current children cumulated memory: 6440 KiB
[startup+0.309534 s]*
/proc/loadavg: 2.32 2.08 1.99 3/200 11031
/proc/meminfo: memFree=30351460/32770624 swapFree=66947164/67108860
[pid=11030] ppid=11027 vsize=31572 memory=7832 CPUtime=0.31 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 2129 0 0 0 30 1 0 0 20 0 1 0 555456172 32329728 1958 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 7893 1958 846 493 0 1198 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31572 KiB
Current children cumulated memory: 7832 KiB
[startup+0.700298 s]
/proc/loadavg: 2.32 2.08 1.99 3/200 11031
/proc/meminfo: memFree=30344760/32770624 swapFree=66947164/67108860
[pid=11030] ppid=11027 vsize=36108 memory=12580 CPUtime=0.69 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 3321 0 0 0 67 2 0 0 20 0 1 0 555456172 36974592 3145 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 9027 3145 846 493 0 2332 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36108 KiB
Current children cumulated memory: 12580 KiB
[startup+1.50032 s]
/proc/loadavg: 2.32 2.08 1.99 3/200 11031
/proc/meminfo: memFree=30331248/32770624 swapFree=66947164/67108860
[pid=11030] ppid=11027 vsize=46356 memory=22552 CPUtime=1.49 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 5837 0 0 0 144 5 0 0 20 0 1 0 555456172 47468544 5638 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 11589 5638 846 493 0 4894 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46356 KiB
Current children cumulated memory: 22552 KiB
[startup+3.10968 s]
/proc/loadavg: 2.32 2.08 1.99 3/200 11031
/proc/meminfo: memFree=30708424/32770624 swapFree=66947164/67108860
[pid=11030] ppid=11027 vsize=66964 memory=42616 CPUtime=3.1 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 10881 0 0 0 298 12 0 0 20 0 1 0 555456172 68571136 10654 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 16741 10654 846 493 0 10046 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 66964 KiB
Current children cumulated memory: 42616 KiB
[startup+6.30023 s]
/proc/loadavg: 2.46 2.11 2.00 3/202 11036
/proc/meminfo: memFree=30697528/32770624 swapFree=66947560/67108860
[pid=11030] ppid=11027 vsize=108452 memory=84012 CPUtime=6.29 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 20737 0 0 0 607 22 0 0 20 0 1 0 555456172 111054848 21003 33554432000 4194304 6211132 140725905509200 140725905497128 140042087713606 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 27113 21003 846 493 0 20418 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 108452 KiB
Current children cumulated memory: 84012 KiB
[startup+12.7002 s]
/proc/loadavg: 2.42 2.11 2.00 3/199 11036
/proc/meminfo: memFree=31048576/32770624 swapFree=66947564/67108860
[pid=11030] ppid=11027 vsize=196028 memory=165336 CPUtime=12.67 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 40623 0 0 0 1243 24 0 0 20 0 1 0 555456172 200732672 41334 33554432000 4194304 6211132 140725905509200 140725905497128 5013073 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 49007 41334 846 493 0 42312 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 196028 KiB
Current children cumulated memory: 165336 KiB
[startup+25.5002 s]
/proc/loadavg: 2.33 2.10 2.00 3/199 11036
/proc/meminfo: memFree=30877816/32770624 swapFree=66947564/67108860
[pid=11030] ppid=11027 vsize=358648 memory=332564 CPUtime=25.48 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 79395 0 0 0 2518 30 0 0 20 0 1 0 555456172 367255552 83141 33554432000 4194304 6211132 140725905509200 140725905497128 140042078692186 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 89662 83141 846 493 0 82967 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 358648 KiB
Current children cumulated memory: 332564 KiB
[startup+51.1094 s]
/proc/loadavg: 2.22 2.10 2.00 3/200 11038
/proc/meminfo: memFree=30537860/32770624 swapFree=66947564/67108860
[pid=11030] ppid=11027 vsize=703556 memory=666956 CPUtime=51.07 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 156381 0 0 0 5066 41 0 0 20 0 1 0 555456172 720441344 166739 33554432000 4194304 6211132 140725905509200 140725905497128 5451514 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 175889 166739 846 493 0 169194 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 703556 KiB
Current children cumulated memory: 666956 KiB
[startup+102.3 s]
/proc/loadavg: 2.09 2.08 2.00 3/199 11042
/proc/meminfo: memFree=29871868/32770624 swapFree=66947564/67108860
[pid=11030] ppid=11027 vsize=1404400 memory=1334996 CPUtime=102.24 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 309098 0 0 0 10163 61 0 0 20 0 1 0 555456172 1438105600 333749 33554432000 4194304 6211132 140725905509200 140725905497128 5446650 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 351100 333749 846 493 0 344405 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 1404400 KiB
Current children cumulated memory: 1334996 KiB
[startup+162.3 s]
/proc/loadavg: 2.18 2.11 2.01 3/200 11047
/proc/meminfo: memFree=29089236/32770624 swapFree=66947564/67108860
[pid=11030] ppid=11027 vsize=2198560 memory=2116876 CPUtime=162.22 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 486120 0 0 0 16135 87 0 0 20 0 1 0 555456172 2251325440 529219 33554432000 4194304 6211132 140725905509200 140725905497128 5454208 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 549640 529219 846 493 0 542945 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 2198560 KiB
Current children cumulated memory: 2116876 KiB
[startup+222.3 s]
/proc/loadavg: 2.62 2.26 2.07 3/200 11058
/proc/meminfo: memFree=28305228/32770624 swapFree=66947576/67108860
[pid=11030] ppid=11027 vsize=3037624 memory=2899128 CPUtime=222.19 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 663351 0 0 0 22108 111 0 0 20 0 1 0 555456172 3110526976 724782 33554432000 4194304 6211132 140725905509200 140725905497128 140042078694835 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 759406 724782 846 493 0 752711 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 3037624 KiB
Current children cumulated memory: 2899128 KiB
[startup+282.3 s]
/proc/loadavg: 2.23 2.21 2.06 3/200 11064
/proc/meminfo: memFree=27521884/32770624 swapFree=66947576/67108860
[pid=11030] ppid=11027 vsize=3757852 memory=3680832 CPUtime=282.17 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 839882 0 0 0 28080 137 0 0 20 0 1 0 555456172 3848040448 920208 33554432000 4194304 6211132 140725905509200 140725905497128 5451553 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 939463 920208 846 493 0 932768 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 3757852 KiB
Current children cumulated memory: 3680832 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.17 2.06 3/200 11068
/proc/meminfo: memFree=26739436/32770624 swapFree=66947576/67108860
[pid=11030] ppid=11027 vsize=4648268 memory=4462176 CPUtime=342.13 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 1016369 0 0 0 34050 163 0 0 20 0 1 0 555456172 4759826432 1115544 33554432000 4194304 6211132 140725905509200 140725905497128 140042078689216 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 1162067 1115544 846 493 0 1155372 0
Current children cumulated CPU time: 342.13 s
Current children cumulated vsize: 4648268 KiB
Current children cumulated memory: 4462176 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.14 2.05 3/200 11072
/proc/meminfo: memFree=25954204/32770624 swapFree=66947576/67108860
[pid=11030] ppid=11027 vsize=5376696 memory=5245764 CPUtime=402.11 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 1192939 0 0 0 40022 189 0 0 20 0 1 0 555456172 5505736704 1311441 33554432000 4194304 6211132 140725905509200 140725905497128 5478680 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 1344174 1311441 846 493 0 1337479 0
Current children cumulated CPU time: 402.11 s
Current children cumulated vsize: 5376696 KiB
Current children cumulated memory: 5245764 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.12 2.05 3/199 11078
/proc/meminfo: memFree=25173504/32770624 swapFree=66947576/67108860
[pid=11030] ppid=11027 vsize=6080124 memory=6027188 CPUtime=462.08 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 1368938 0 0 0 45992 216 0 0 20 0 1 0 555456172 6226046976 1506797 33554432000 4194304 6211132 140725905509200 140725905497128 5452274 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 1520031 1506797 846 493 0 1513336 0
Current children cumulated CPU time: 462.08 s
Current children cumulated vsize: 6080124 KiB
Current children cumulated memory: 6027188 KiB
################
# More data... #
################
Current children cumulated vsize: 7811960 KiB
Current children cumulated memory: 7596536 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/199 11093
/proc/meminfo: memFree=22811632/32770624 swapFree=66947576/67108860
[pid=11030] ppid=11027 vsize=8519744 memory=8384176 CPUtime=642.02 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 1900752 0 0 0 63901 301 0 0 20 0 1 0 555456172 8724217856 2096044 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 2129936 2096044 846 493 0 2123241 0
Current children cumulated CPU time: 642.02 s
Current children cumulated vsize: 8519744 KiB
Current children cumulated memory: 8384176 KiB
[startup+702.3 s]
/proc/loadavg: 1.68 1.97 2.02 3/199 11220
/proc/meminfo: memFree=22691048/32770624 swapFree=66947576/67108860
[pid=11030] ppid=11027 vsize=9227264 memory=9171756 CPUtime=702 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 2077807 0 0 0 69867 333 0 0 20 0 1 0 555456172 9448718336 2292939 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 2306816 2292939 846 493 0 2300121 0
Current children cumulated CPU time: 702 s
Current children cumulated vsize: 9227264 KiB
Current children cumulated memory: 9171756 KiB
[startup+762.3 s]
/proc/loadavg: 1.88 1.98 2.02 3/199 11224
/proc/meminfo: memFree=21906788/32770624 swapFree=66947576/67108860
[pid=11030] ppid=11027 vsize=10410572 memory=9957096 CPUtime=761.98 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 2255870 0 0 0 75834 364 0 0 20 0 1 0 555456172 10660425728 2489274 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 2602643 2489274 846 493 0 2595948 0
Current children cumulated CPU time: 761.98 s
Current children cumulated vsize: 10410572 KiB
Current children cumulated memory: 9957096 KiB
[startup+822.3 s]
/proc/loadavg: 1.96 1.98 2.02 3/200 11238
/proc/meminfo: memFree=21114040/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=11118620 memory=10744936 CPUtime=821.96 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 2433015 0 0 0 81803 393 0 0 20 0 1 0 555456172 11385466880 2686234 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 2779655 2686234 846 493 0 2772960 0
Current children cumulated CPU time: 821.96 s
Current children cumulated vsize: 11118620 KiB
Current children cumulated memory: 10744936 KiB
[startup+882.3 s]
/proc/loadavg: 1.98 1.99 2.02 3/200 11242
/proc/meminfo: memFree=20327400/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=11826008 memory=11530100 CPUtime=881.94 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 2610066 0 0 0 87772 422 0 0 20 0 1 0 555456172 12109832192 2882525 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 2956502 2882525 846 493 0 2949807 0
Current children cumulated CPU time: 881.94 s
Current children cumulated vsize: 11826008 KiB
Current children cumulated memory: 11530100 KiB
[startup+942.3 s]
/proc/loadavg: 1.99 1.99 2.02 3/200 11246
/proc/meminfo: memFree=19541844/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=12534584 memory=12316580 CPUtime=941.92 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 2787382 0 0 0 93739 453 0 0 20 0 1 0 555456172 12835414016 3079145 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 3133646 3079145 846 493 0 3126951 0
Current children cumulated CPU time: 941.92 s
Current children cumulated vsize: 12534584 KiB
Current children cumulated memory: 12316580 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/200 11252
/proc/meminfo: memFree=18749692/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=13242896 memory=13104900 CPUtime=1001.9 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 2964629 0 0 0 99703 487 0 0 20 0 1 0 555456172 13560725504 3276225 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 3310724 3276225 846 493 0 3304029 0
Current children cumulated CPU time: 1001.9 s
Current children cumulated vsize: 13242896 KiB
Current children cumulated memory: 13104900 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/200 11256
/proc/meminfo: memFree=17963644/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=13949888 memory=13889472 CPUtime=1061.88 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 3141556 0 0 0 105666 522 0 0 20 0 1 0 555456172 14284685312 3472368 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 3487472 3472368 846 493 0 3480777 0
Current children cumulated CPU time: 1061.88 s
Current children cumulated vsize: 13949888 KiB
Current children cumulated memory: 13889472 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 11260
/proc/meminfo: memFree=17177640/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=15370424 memory=14672684 CPUtime=1121.86 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 3319107 0 0 0 111628 558 0 0 20 0 1 0 555456172 15739314176 3668171 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 3842606 3668171 846 493 0 3835911 0
Current children cumulated CPU time: 1121.86 s
Current children cumulated vsize: 15370424 KiB
Current children cumulated memory: 14672684 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1164.9 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 11263
/proc/meminfo: memFree=16625124/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=15872552 memory=15232492 CPUtime=1164.44 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 4202496 3444842 0 0 0 115860 584 0 0 20 0 1 0 555456172 16253493248 3808123 33554432000 4194304 6211132 140725905509200 140725905497128 140042077768677 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 3968138 3808123 846 493 0 3961443 0
Current children cumulated CPU time: 1164.44 s
Current children cumulated vsize: 15872552 KiB
Current children cumulated memory: 15232492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1167.63 s]
# the end of solver process 11030 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1159 s, system=6.61548 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1165.6 s]
/proc/loadavg: 2.00 1.99 2.02 4/200 11264
/proc/meminfo: memFree=16556832/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=15872552 memory=15232748 CPUtime=1164.62 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) S 11027 11030 10102 0 -1 512 3444847 0 0 0 115876 586 0 0 20 0 1 0 555456172 16253493248 3808187 33554432000 4194304 6211132 140725905509200 140725905497128 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 3968138 3808187 847 493 0 3961443 0
Current children cumulated CPU time: 1164.62 s
Current children cumulated vsize: 15872552 KiB
Current children cumulated memory: 15232748 KiB
[startup+1166.4 s]
/proc/loadavg: 2.00 1.99 2.02 3/200 11264
/proc/meminfo: memFree=15946288/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=15872552 memory=15232748 CPUtime=1164.81 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) S 11027 11030 10102 0 -1 512 3444847 0 0 0 115893 588 0 0 20 0 1 0 555456172 16253493248 3808187 33554432000 4194304 6211132 140725905509200 140725905497128 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 3968138 3808187 847 493 0 3961443 0
Current children cumulated CPU time: 1164.81 s
Current children cumulated vsize: 15872552 KiB
Current children cumulated memory: 15232748 KiB
[startup+1166.8 s]
/proc/loadavg: 2.00 1.99 2.02 3/200 11264
/proc/meminfo: memFree=15946288/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=15872552 memory=15232748 CPUtime=1164.86 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) R 11027 11030 10102 0 -1 512 3444847 0 0 0 115898 588 0 0 20 0 1 0 555456172 16253493248 3808187 33554432000 4194304 6211132 140725905509200 140725905497128 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 3968138 3808187 847 493 0 3961443 0
Current children cumulated CPU time: 1164.86 s
Current children cumulated vsize: 15872552 KiB
Current children cumulated memory: 15232748 KiB
[startup+1166.9 s]
/proc/loadavg: 2.00 1.99 2.02 3/200 11264
/proc/meminfo: memFree=15946288/32770624 swapFree=66947580/67108860
[pid=11030] ppid=11027 vsize=15872552 memory=15232748 CPUtime=1164.88 cores=0,2,4,6
/proc/11030/stat : 11030 (cosoco) S 11027 11030 10102 0 -1 512 3444847 0 0 0 115900 588 0 0 20 0 1 0 555456172 16253493248 3808187 33554432000 4194304 6211132 140725905509200 140725905497128 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 26222592 140725905511435 140725905511537 140725905511537 140725905514446 0
/proc/11030/statm: 3968138 3808187 847 493 0 3961443 0
Current children cumulated CPU time: 1164.88 s
Current children cumulated vsize: 15872552 KiB
Current children cumulated memory: 15232748 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1167.63
CPU time (s): 1165.62
CPU user time (s): 1159
CPU system time (s): 6.61548
CPU usage (%): 99.8278
Max. virtual memory (cumulated for all children) (KiB): 15872552
Max. memory (cumulated for all children) (KiB): 15232748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1159
system time used= 6.61548
maximum resident set size= 15232748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3444847
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= 136076
involuntary context switches= 1201
# summary of solver processes directly reported to runsolver:
# pid: 11030
# total CPU time (s): 1165.62
# total CPU user time (s): 1159
# total CPU system time (s): 6.61548
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.2047 second user time and 7.90156 second system time
The end