0.00/0.00 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-4408354-1569813371.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.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[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.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension xor(le(1,a[1][0]),eq(l[0][0],0)) -> extension (support ? 0) - 50tuples
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension -> extension : same as previous
0.09/0.17 c intension xor(le(2,a[15][0]),eq(l[14][1],0)) -> extension (support ? 0) - 90tuples
0.09/0.18 c intension xor(le(1,a[1][1]),le(2,a[1][0]),eq(l[0][1],0)) -> extension (support ? 1) - 1140tuples
0.09/0.18 c intension -> extension : same as previous
0.09/0.18 c intension -> extension : same as previous
0.09/0.18 c intension -> extension : same as previous
0.09/0.18 c intension -> extension : same as previous
0.09/0.18 c intension -> extension : same as previous
0.09/0.18 c intension -> extension : same as previous
0.09/0.18 c intension xor(le(2,a[13][1]),le(3,a[13][0]),eq(l[12][2],0)) -> extension (support ? 1) - 1620tuples
0.20/0.23 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/0.29 c intension -> extension : same as previous
0.20/0.29 c intension -> extension : same as previous
0.20/0.29 c intension -> extension : same as previous
0.20/0.29 c intension -> extension : same as previous
0.20/0.29 c intension -> extension : same as previous
0.20/0.29 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 (15152 MiB free)
memory of node 1: 16384 MiB (15597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408354-1569813371/watcher-4408354-1569813371 -o /tmp/evaluation-result-4408354-1569813371/solver-4408354-1569813371 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1569783667-9931 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408354-1569813371.xml
running on 4 cores: 1,3,5,7
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=14597, runsolver pid=14594
[startup+0.100456 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 14598
/proc/meminfo: memFree=31485396/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=30444 memory=6796 CPUtime=0.09 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 1899 0 0 0 9 0 0 0 20 0 1 0 557592036 31174656 1699 33554432000 4194304 6211132 140733348562640 140733348559912 5816697 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 7611 1699 864 493 0 916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30444 KiB
Current children cumulated memory: 6796 KiB
[startup+0.209629 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 14598
/proc/meminfo: memFree=31483948/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=32596 memory=9048 CPUtime=0.2 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 2426 0 0 0 20 0 0 0 20 0 1 0 557592036 33378304 2262 33554432000 4194304 6211132 140733348562640 140733348559912 140010448796656 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 8149 2262 864 493 0 1454 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32596 KiB
Current children cumulated memory: 9048 KiB
[startup+0.309105 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 14598
/proc/meminfo: memFree=31480884/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=33848 memory=10352 CPUtime=0.3 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 3560 0 0 0 30 0 0 0 20 0 1 0 557592036 34660352 2588 33554432000 4194304 6211132 140733348562640 140733348559912 5443591 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 8462 2588 865 493 0 1767 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33848 KiB
Current children cumulated memory: 10352 KiB
[startup+0.700292 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14598
/proc/meminfo: memFree=31476652/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=44912 memory=20884 CPUtime=0.69 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 6212 0 0 0 68 1 0 0 20 0 1 0 557592036 45989888 5221 33554432000 4194304 6211132 140733348562640 140733348556536 5012856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 11228 5221 868 493 0 4533 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44912 KiB
Current children cumulated memory: 20884 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14598
/proc/meminfo: memFree=31462516/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=69076 memory=43268 CPUtime=1.48 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 11845 0 0 0 147 1 0 0 20 0 1 0 557592036 70733824 10817 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 17269 10817 868 493 0 10574 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69076 KiB
Current children cumulated memory: 43268 KiB
[startup+3.10936 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14598
/proc/meminfo: memFree=31406220/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=116044 memory=88764 CPUtime=3.09 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 23220 0 0 0 306 3 0 0 20 0 1 0 557592036 118829056 22191 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 29011 22191 868 493 0 22316 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 116044 KiB
Current children cumulated memory: 88764 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14598
/proc/meminfo: memFree=31319280/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=212288 memory=181004 CPUtime=6.28 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 43260 0 0 0 622 6 0 0 20 0 1 0 557592036 217382912 45251 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 53072 45251 868 493 0 46377 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 212288 KiB
Current children cumulated memory: 181004 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14598
/proc/meminfo: memFree=31151668/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=411508 memory=361692 CPUtime=12.69 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 81358 0 0 0 1256 13 0 0 20 0 1 0 557592036 421384192 90423 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 102877 90423 868 493 0 96182 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 411508 KiB
Current children cumulated memory: 361692 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14598
/proc/meminfo: memFree=30780088/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=749004 memory=719964 CPUtime=25.47 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 154576 0 0 0 2523 24 0 0 20 0 1 0 557592036 766980096 179991 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 187251 179991 868 493 0 180556 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 749004 KiB
Current children cumulated memory: 719964 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14601
/proc/meminfo: memFree=30046320/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=1510924 memory=1443176 CPUtime=51.06 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 301170 0 0 0 5062 44 0 0 20 0 1 0 557592036 1547186176 360794 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 377731 360794 868 493 0 371036 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 1510924 KiB
Current children cumulated memory: 1443176 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/198 14666
/proc/meminfo: memFree=28591240/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=3080092 memory=2886472 CPUtime=102.23 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 591466 0 0 0 10138 85 0 0 20 0 1 0 557592036 3154014208 721618 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 770023 721618 868 493 0 763328 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 3080092 KiB
Current children cumulated memory: 2886472 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 14670
/proc/meminfo: memFree=26895928/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=4805484 memory=4575908 CPUtime=162.19 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 930481 0 0 0 16086 133 0 0 20 0 1 0 557592036 4920815616 1143977 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 1201371 1143977 868 493 0 1194676 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 4805484 KiB
Current children cumulated memory: 4575908 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/198 14676
/proc/meminfo: memFree=25204692/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=6716536 memory=6263216 CPUtime=222.15 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 1269595 0 0 0 22038 177 0 0 20 0 1 0 557592036 6877732864 1565804 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 1679134 1565804 868 493 0 1672439 0
Current children cumulated CPU time: 222.15 s
Current children cumulated vsize: 6716536 KiB
Current children cumulated memory: 6263216 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 4/198 14680
/proc/meminfo: memFree=23512812/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=8067292 memory=7952048 CPUtime=282.11 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 1607498 0 0 0 27988 223 0 0 20 0 1 0 557592036 8260907008 1988012 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 2016823 1988012 868 493 0 2010128 0
Current children cumulated CPU time: 282.11 s
Current children cumulated vsize: 8067292 KiB
Current children cumulated memory: 7952048 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 14684
/proc/meminfo: memFree=21819704/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=10259820 memory=9641876 CPUtime=342.08 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 1946733 0 0 0 33938 270 0 0 20 0 1 0 557592036 10506055680 2410469 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 2564955 2410469 868 493 0 2558260 0
Current children cumulated CPU time: 342.08 s
Current children cumulated vsize: 10259820 KiB
Current children cumulated memory: 9641876 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 14697
/proc/meminfo: memFree=20126192/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=11611368 memory=11331332 CPUtime=402.04 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 2284853 0 0 0 39880 324 0 0 20 0 1 0 557592036 11890040832 2832833 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 2902842 2832833 868 493 0 2896147 0
Current children cumulated CPU time: 402.04 s
Current children cumulated vsize: 11611368 KiB
Current children cumulated memory: 11331332 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 14701
/proc/meminfo: memFree=18433876/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=14223520 memory=13019784 CPUtime=462 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 2623697 0 0 0 45823 377 0 0 20 0 1 0 557592036 14564884480 3254946 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 3555880 3254946 868 493 0 3549185 0
Current children cumulated CPU time: 462 s
Current children cumulated vsize: 14223520 KiB
Current children cumulated memory: 13019784 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 14705
/proc/meminfo: memFree=16741848/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=15574408 memory=14708648 CPUtime=521.97 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 2961685 0 0 0 51763 434 0 0 20 0 1 0 557592036 15948193792 3677162 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 3893602 3677162 868 493 0 3886907 0
Current children cumulated CPU time: 521.97 s
Current children cumulated vsize: 15574408 KiB
Current children cumulated memory: 14708648 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+535.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 14707
/proc/meminfo: memFree=16375152/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=15873520 memory=15081304 CPUtime=535.26 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) R 14594 14597 9899 0 -1 4202496 3036510 0 0 0 53081 445 0 0 20 0 1 0 557592036 16254484480 3770326 33554432000 4194304 6211132 140733348562640 140733348556536 140010448727013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 3968380 3770326 868 493 0 3961685 0
Current children cumulated CPU time: 535.26 s
Current children cumulated vsize: 15873520 KiB
Current children cumulated memory: 15081304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+538.327 s]
# the end of solver process 14597 was just reported to runsolver
# cumulated CPU time of all completed processes: user=531.107 s, system=5.23605 s
Solver just ended.
Dumping a history of the last processes samples
[startup+536 s]*
/proc/loadavg: 2.00 2.01 2.05 4/199 14708
/proc/meminfo: memFree=16120624/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=15873520 memory=15081304 CPUtime=535.33 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) S 14594 14597 9899 0 -1 512 3036514 0 0 0 53085 448 0 0 20 0 1 0 557592036 16254484480 3770326 33554432000 4194304 6211132 140733348562640 140733348556536 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 3968380 3770326 868 493 0 3961685 0
Current children cumulated CPU time: 535.33 s
Current children cumulated vsize: 15873520 KiB
Current children cumulated memory: 15081304 KiB
[startup+536.8 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 14708
/proc/meminfo: memFree=16120624/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=15873520 memory=15081304 CPUtime=535.46 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) S 14594 14597 9899 0 -1 512 3036514 0 0 0 53098 448 0 0 20 0 1 0 557592036 16254484480 3770326 33554432000 4194304 6211132 140733348562640 140733348556536 5189800 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 3968380 3770326 868 493 0 3961685 0
Current children cumulated CPU time: 535.46 s
Current children cumulated vsize: 15873520 KiB
Current children cumulated memory: 15081304 KiB
[startup+537.2 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 14708
/proc/meminfo: memFree=15511660/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=15873520 memory=15081304 CPUtime=535.53 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) S 14594 14597 9899 0 -1 512 3036514 0 0 0 53105 448 0 0 20 0 1 0 557592036 16254484480 3770326 33554432000 4194304 6211132 140733348562640 140733348556536 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 3968380 3770326 868 493 0 3961685 0
Current children cumulated CPU time: 535.53 s
Current children cumulated vsize: 15873520 KiB
Current children cumulated memory: 15081304 KiB
[startup+537.6 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 14708
/proc/meminfo: memFree=15511660/32770624 swapFree=66954412/67108860
[pid=14597] ppid=14594 vsize=15873520 memory=15081304 CPUtime=535.6 cores=1,3,5,7
/proc/14597/stat : 14597 (cosoco) S 14594 14597 9899 0 -1 512 3036514 0 0 0 53110 450 0 0 20 0 1 0 557592036 16254484480 3770326 33554432000 4194304 6211132 140733348562640 140733348556536 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 26976256 140733348566027 140733348566129 140733348566129 140733348569038 0
/proc/14597/statm: 3968380 3770326 868 493 0 3961685 0
Current children cumulated CPU time: 535.6 s
Current children cumulated vsize: 15873520 KiB
Current children cumulated memory: 15081304 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 538.327
CPU time (s): 536.343
CPU user time (s): 531.107
CPU system time (s): 5.23605
CPU usage (%): 99.6314
Max. virtual memory (cumulated for all children) (KiB): 15873520
Max. memory (cumulated for all children) (KiB): 15081304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 531.107
system time used= 5.23605
maximum resident set size= 15081524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3036514
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= 148942
involuntary context switches= 335
# summary of solver processes directly reported to runsolver:
# pid: 14597
# total CPU time (s): 536.343
# total CPU user time (s): 531.107
# total CPU system time (s): 5.23605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.77508 second user time and 3.8353 second system time
The end