0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints
0.00/0.04 c
0.00/0.04 c This is cosoco 2.00 --
0.00/0.04 c
0.00/0.04 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397774-1568591451.xml
0.00/0.04 c intension imp(eq(l[2][1],0),eq(i[2][1],7)) -> extension (support ? 0) - 7tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(l[4][1],0),eq(i[4][1],6)) -> extension (support ? 0) - 6tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(l[6][1],0),eq(i[6][1],5)) -> extension (support ? 0) - 5tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(l[8][1],0),eq(i[8][1],4)) -> extension (support ? 0) - 4tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(l[10][1],0),eq(i[10][1],3)) -> extension (support ? 0) - 3tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension imp(eq(l[12][1],0),eq(i[12][1],2)) -> extension (support ? 0) - 2tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension imp(eq(l[14][1],0),eq(i[14][1],1)) -> extension (support ? 0) - 1tuples
0.00/0.05 c intension imp(le(1,l[2][1]),lt(i[2][0],i[2][1])) -> extension (support ? 1) - 1212tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension imp(le(1,l[4][1]),lt(i[4][0],i[4][1])) -> extension (support ? 1) - 910tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(le(1,l[6][1]),lt(i[6][0],i[6][1])) -> extension (support ? 1) - 651tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(le(1,l[8][1]),lt(i[8][0],i[8][1])) -> extension (support ? 1) - 435tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(le(1,l[10][1]),lt(i[10][0],i[10][1])) -> extension (support ? 1) - 262tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(le(1,l[12][1]),lt(i[12][0],i[12][1])) -> extension (support ? 1) - 132tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(le(1,l[14][1]),lt(i[14][0],i[14][1])) -> extension (support ? 1) - 45tuples
0.00/0.07 c intension imp(eq(l[2][0],0),eq(l[2][1],0)) -> extension (support ? 0) - 41tuples
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.10/0.17 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension xor(le(1,a[1][0]),eq(l[0][0],0)) -> extension (support ? 0) - 50tuples
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension xor(le(2,a[15][0]),eq(l[14][1],0)) -> extension (support ? 0) - 90tuples
0.20/9.15 c intension xor(le(1,a[1][1]),le(2,a[1][0]),eq(l[0][1],0)) -> extension (support ? 1) - 1140tuples
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension xor(le(2,a[13][1]),le(3,a[13][0]),eq(l[12][2],0)) -> extension (support ? 1) - 1620tuples
0.20/9.15 c intension xor(le(1,a[1][2]),le(2,a[1][1]),le(3,a[1][0]),eq(l[0][2],0)) -> extension (support ? 0) - 17160tuples
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension -> extension : same as previous
0.20/9.15 c intension xor(le(2,a[11][2]),le(3,a[11][1]),le(4,a[11][0]),eq(l[10][3],0)) -> extension (support ? 0) - 20040tuples
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 (14774 MiB free)
memory of node 1: 16384 MiB (13917 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397774-1568591451/watcher-4397774-1568591451 -o /tmp/evaluation-result-4397774-1568591451/solver-4397774-1568591451 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568569067-5214 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397774-1568591451.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
Current StackSize limit: 8192 KiB
solver pid=8544, runsolver pid=8541
[startup+0.100466 s]*
/proc/loadavg: 2.17 2.10 2.07 3/200 8545
/proc/meminfo: memFree=29382780/32770624 swapFree=66925440/67108860
[pid=8544] ppid=8541 vsize=30444 memory=6796 CPUtime=0.1 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 1899 0 0 0 10 0 0 0 20 0 1 0 435401145 31174656 1699 33554432000 4194304 6211092 140733396002960 140733395998456 139936990024832 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 7611 1699 864 493 0 916 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30444 KiB
Current children cumulated memory: 6796 KiB
[startup+0.209741 s]*
/proc/loadavg: 2.17 2.10 2.07 3/200 8545
/proc/meminfo: memFree=29381064/32770624 swapFree=66925440/67108860
[pid=8544] ppid=8541 vsize=32208 memory=8524 CPUtime=0.2 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 2343 0 0 0 20 0 0 0 20 0 1 0 435401145 32980992 2131 33554432000 4194304 6211092 140733396002960 140733395998456 139936973962213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 8052 2131 864 493 0 1357 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32208 KiB
Current children cumulated memory: 8524 KiB
[startup+9.24094 s]*
/proc/loadavg: 2.60 2.19 2.11 3/200 8545
/proc/meminfo: memFree=29168792/32770624 swapFree=66925440/67108860
[pid=8544] ppid=8541 vsize=289864 memory=251004 CPUtime=9.23 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 57733 0 0 0 883 40 0 0 20 0 1 0 435401145 296820736 62751 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 72466 62751 868 493 0 65771 0
Current children cumulated CPU time: 9.23 s
Current children cumulated vsize: 289864 KiB
Current children cumulated memory: 251004 KiB
[startup+9.30965 s]*
/proc/loadavg: 2.60 2.19 2.11 3/200 8545
/proc/meminfo: memFree=29167956/32770624 swapFree=66925440/67108860
[pid=8544] ppid=8541 vsize=291316 memory=252324 CPUtime=9.3 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 58095 0 0 0 890 40 0 0 20 0 1 0 435401145 298307584 63081 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 72829 63081 868 493 0 66134 0
Current children cumulated CPU time: 9.3 s
Current children cumulated vsize: 291316 KiB
Current children cumulated memory: 252324 KiB
[startup+9.40956 s]*
/proc/loadavg: 2.60 2.19 2.11 3/200 8545
/proc/meminfo: memFree=29166132/32770624 swapFree=66925440/67108860
[pid=8544] ppid=8541 vsize=293428 memory=254436 CPUtime=9.39 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 58623 0 0 0 899 40 0 0 20 0 1 0 435401145 300470272 63609 33554432000 4194304 6211092 140733396002960 140733395996856 5476887 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 73357 63609 868 493 0 66662 0
Current children cumulated CPU time: 9.39 s
Current children cumulated vsize: 293428 KiB
Current children cumulated memory: 254436 KiB
[startup+9.50958 s]
/proc/loadavg: 2.60 2.19 2.11 3/200 8545
/proc/meminfo: memFree=29166132/32770624 swapFree=66925440/67108860
[pid=8544] ppid=8541 vsize=295408 memory=256548 CPUtime=9.49 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 59113 0 0 0 908 41 0 0 20 0 1 0 435401145 302497792 64137 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 73852 64137 868 493 0 67157 0
Current children cumulated CPU time: 9.49 s
Current children cumulated vsize: 295408 KiB
Current children cumulated memory: 256548 KiB
[startup+9.60034 s]
/proc/loadavg: 2.60 2.19 2.11 3/200 8545
/proc/meminfo: memFree=29166132/32770624 swapFree=66925440/67108860
[pid=8544] ppid=8541 vsize=297256 memory=258396 CPUtime=9.58 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 59598 0 0 0 917 41 0 0 20 0 1 0 435401145 304390144 64599 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 74314 64599 868 493 0 67619 0
Current children cumulated CPU time: 9.58 s
Current children cumulated vsize: 297256 KiB
Current children cumulated memory: 258396 KiB
[startup+12.7002 s]
/proc/loadavg: 2.60 2.19 2.11 3/199 8548
/proc/meminfo: memFree=30108280/32770624 swapFree=66925440/67108860
[pid=8544] ppid=8541 vsize=397516 memory=345592 CPUtime=12.68 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 77344 0 0 0 1223 45 0 0 20 0 1 0 435401145 407056384 86398 33554432000 4194304 6211092 140733396002960 140733395996856 5446275 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 99379 86398 868 493 0 92684 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 397516 KiB
Current children cumulated memory: 345592 KiB
[startup+25.5002 s]
/proc/loadavg: 2.47 2.18 2.10 3/199 8550
/proc/meminfo: memFree=29749228/32770624 swapFree=66925440/67108860
[pid=8544] ppid=8541 vsize=728676 memory=697416 CPUtime=25.48 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 148955 0 0 0 2493 55 0 0 20 0 1 0 435401145 746164224 174354 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 182169 174354 868 493 0 175474 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 728676 KiB
Current children cumulated memory: 697416 KiB
[startup+51.1002 s]
/proc/loadavg: 2.31 2.17 2.10 3/199 8551
/proc/meminfo: memFree=29031784/32770624 swapFree=66925440/67108860
[pid=8544] ppid=8541 vsize=1477000 memory=1400992 CPUtime=51.07 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 292167 0 0 0 5035 72 0 0 20 0 1 0 435401145 1512448000 350248 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 369250 350248 868 493 0 362555 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 1477000 KiB
Current children cumulated memory: 1400992 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.14 2.10 3/199 8563
/proc/meminfo: memFree=27625600/32770624 swapFree=66925444/67108860
[pid=8544] ppid=8541 vsize=3020164 memory=2812156 CPUtime=102.26 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 577011 0 0 0 10111 115 0 0 20 0 1 0 435401145 3092647936 703039 33554432000 4194304 6211092 140733396002960 140733395996856 5013005 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 755041 703039 868 493 0 748346 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 3020164 KiB
Current children cumulated memory: 2812156 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.12 2.09 3/199 8569
/proc/meminfo: memFree=25968244/32770624 swapFree=66925444/67108860
[pid=8544] ppid=8541 vsize=4717044 memory=4464568 CPUtime=162.24 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 908892 0 0 0 16064 160 0 0 20 0 1 0 435401145 4830253056 1116142 33554432000 4194304 6211092 140733396002960 140733395996856 5446643 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 1179261 1116142 868 493 0 1172566 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 4717044 KiB
Current children cumulated memory: 4464568 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/199 8573
/proc/meminfo: memFree=24292832/32770624 swapFree=66925444/67108860
[pid=8544] ppid=8541 vsize=6603808 memory=6121640 CPUtime=222.23 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 1241443 0 0 0 22015 208 0 0 20 0 1 0 435401145 6762299392 1530410 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 1650952 1530410 868 493 0 1644257 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 6603808 KiB
Current children cumulated memory: 6121640 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/199 8577
/proc/meminfo: memFree=22619760/32770624 swapFree=66925444/67108860
[pid=8544] ppid=8541 vsize=7934764 memory=7786620 CPUtime=282.23 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 1574447 0 0 0 27967 256 0 0 20 0 1 0 435401145 8125198336 1946655 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 1983691 1946655 868 493 0 1976996 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 7934764 KiB
Current children cumulated memory: 7786620 KiB
[startup+342.3 s]
/proc/loadavg: 2.14 2.10 2.08 3/199 8583
/proc/meminfo: memFree=20945600/32770624 swapFree=66925444/67108860
[pid=8544] ppid=8541 vsize=10105908 memory=9449068 CPUtime=342.2 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 1907834 0 0 0 33913 307 0 0 20 0 1 0 435401145 10348449792 2362267 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 2526477 2362267 868 493 0 2519782 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 10105908 KiB
Current children cumulated memory: 9449068 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/198 8588
/proc/meminfo: memFree=19281176/32770624 swapFree=66925448/67108860
[pid=8544] ppid=8541 vsize=11435940 memory=11112756 CPUtime=402.16 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 2240577 0 0 0 39859 357 0 0 20 0 1 0 435401145 11710402560 2778189 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 2858985 2778189 868 493 0 2852290 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 11435940 KiB
Current children cumulated memory: 11112756 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/198 8592
/proc/meminfo: memFree=17615212/32770624 swapFree=66925448/67108860
[pid=8544] ppid=8541 vsize=14025916 memory=12772776 CPUtime=462.13 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 2573918 0 0 0 45799 414 0 0 20 0 1 0 435401145 14362537984 3193194 33554432000 4194304 6211092 140733396002960 140733395996856 139936973957950 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 3506479 3193194 868 493 0 3499784 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 14025916 KiB
Current children cumulated memory: 12772776 KiB
[startup+522.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/198 8598
/proc/meminfo: memFree=15948144/32770624 swapFree=66925448/67108860
[pid=8544] ppid=8541 vsize=15357268 memory=14436008 CPUtime=522.1 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 2907010 0 0 0 51744 466 0 0 20 0 1 0 435401145 15725842432 3609002 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 3839317 3609002 868 493 0 3832622 0
Current children cumulated CPU time: 522.1 s
Current children cumulated vsize: 15357268 KiB
Current children cumulated memory: 14436008 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+545.6 s]
/proc/loadavg: 2.00 2.05 2.06 3/198 8599
/proc/meminfo: memFree=15307792/32770624 swapFree=66925448/67108860
[pid=8544] ppid=8541 vsize=15874180 memory=15084144 CPUtime=545.37 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 4202496 3036326 0 0 0 54051 486 0 0 20 0 1 0 435401145 16255160320 3771036 33554432000 4194304 6211092 140733396002960 140733395996856 139936973962213 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 3968545 3771036 868 493 0 3961850 0
Current children cumulated CPU time: 545.37 s
Current children cumulated vsize: 15874180 KiB
Current children cumulated memory: 15084144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+548.357 s]
# the end of solver process 8544 was just reported to runsolver
# cumulated CPU time of all completed processes: user=540.841 s, system=5.67739 s
Solver just ended.
Dumping a history of the last processes samples
[startup+546.5 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 8600
/proc/meminfo: memFree=15122252/32770624 swapFree=66925448/67108860
[pid=8544] ppid=8541 vsize=15874180 memory=15084144 CPUtime=545.51 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) S 8541 8544 5183 0 -1 512 3036331 0 0 0 54062 489 0 0 20 0 1 0 435401145 16255160320 3771036 33554432000 4194304 6211092 140733396002960 140733395996856 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 3968545 3771036 868 493 0 3961850 0
Current children cumulated CPU time: 545.51 s
Current children cumulated vsize: 15874180 KiB
Current children cumulated memory: 15084144 KiB
[startup+547.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 8601
/proc/meminfo: memFree=14595840/32770624 swapFree=66925452/67108860
[pid=8544] ppid=8541 vsize=15874180 memory=15084144 CPUtime=545.68 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 512 3036331 0 0 0 54077 491 0 0 20 0 1 0 435401145 16255160320 3771036 33554432000 4194304 6211092 140733396002960 140733395996856 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 3968545 3771036 868 493 0 3961850 0
Current children cumulated CPU time: 545.68 s
Current children cumulated vsize: 15874180 KiB
Current children cumulated memory: 15084144 KiB
[startup+547.5 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 8601
/proc/meminfo: memFree=14595840/32770624 swapFree=66925452/67108860
[pid=8544] ppid=8541 vsize=15874180 memory=15084144 CPUtime=545.73 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) R 8541 8544 5183 0 -1 512 3036331 0 0 0 54082 491 0 0 20 0 1 0 435401145 16255160320 3771036 33554432000 4194304 6211092 140733396002960 140733395996856 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 3968545 3771036 868 493 0 3961850 0
Current children cumulated CPU time: 545.73 s
Current children cumulated vsize: 15874180 KiB
Current children cumulated memory: 15084144 KiB
[startup+547.6 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 8601
/proc/meminfo: memFree=14595840/32770624 swapFree=66925452/67108860
[pid=8544] ppid=8541 vsize=15874180 memory=15084144 CPUtime=545.76 cores=0,2,4,6
/proc/8544/stat : 8544 (cosoco) S 8541 8544 5183 0 -1 512 3036331 0 0 0 54084 492 0 0 20 0 1 0 435401145 16255160320 3771036 33554432000 4194304 6211092 140733396002960 140733395996856 5189768 0 16384 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11034624 140733396005899 140733396006001 140733396006001 140733396008910 0
/proc/8544/statm: 3968545 3771036 868 493 0 3961850 0
Current children cumulated CPU time: 545.76 s
Current children cumulated vsize: 15874180 KiB
Current children cumulated memory: 15084144 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 548.357
CPU time (s): 546.518
CPU user time (s): 540.841
CPU system time (s): 5.67739
CPU usage (%): 99.6646
Max. virtual memory (cumulated for all children) (KiB): 15874180
Max. memory (cumulated for all children) (KiB): 15084144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 540.841
system time used= 5.67739
maximum resident set size= 15084176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3036331
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= 128912
involuntary context switches= 999
# summary of solver processes directly reported to runsolver:
# pid: 8544
# total CPU time (s): 546.518
# total CPU user time (s): 540.841
# total CPU system time (s): 5.67739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.24411 second user time and 3.49959 second system time
The end