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-4389814-1568359800.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.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension xor(le(1,a[1][0]),eq(l[0][0],0)) -> extension (support ? 0) - 50tuples
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 xor(le(2,a[15][0]),eq(l[14][1],0)) -> extension (support ? 0) - 90tuples
0.10/0.17 c intension xor(le(1,a[1][1]),le(2,a[1][0]),eq(l[0][1],0)) -> extension (support ? 1) - 1140tuples
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/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.21/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.21/0.28 c intension -> extension : same as previous
0.21/0.28 c intension -> extension : same as previous
0.21/0.28 c intension -> extension : same as previous
0.21/0.28 c intension -> extension : same as previous
0.21/0.28 c intension -> extension : same as previous
0.21/0.28 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 (12562 MiB free)
memory of node 1: 16384 MiB (15779 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389814-1568359800/watcher-4389814-1568359800 -o /tmp/evaluation-result-4389814-1568359800/solver-4389814-1568359800 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568359761-23526 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389814-1568359800.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=23549, runsolver pid=23543
[startup+0.100153 s]*
/proc/loadavg: 1.00 1.07 1.44 3/199 23556
/proc/meminfo: memFree=29012792/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=30444 memory=6788 CPUtime=0.1 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 1897 0 0 0 10 0 0 0 20 0 1 0 412244864 31174656 1697 33554432000 4194304 6210612 140720986401440 140720986396840 5534877 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 7611 1697 862 493 0 916 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30444 KiB
Current children cumulated memory: 6788 KiB
[startup+0.209482 s]*
/proc/loadavg: 1.00 1.07 1.44 3/199 23556
/proc/meminfo: memFree=29000776/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=32720 memory=9040 CPUtime=0.21 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 2444 0 0 0 21 0 0 0 20 0 1 0 412244864 33505280 2260 33554432000 4194304 6210612 140720986401440 140720986396840 5451292 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 8180 2260 862 493 0 1485 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32720 KiB
Current children cumulated memory: 9040 KiB
[startup+0.309213 s]*
/proc/loadavg: 1.00 1.07 1.44 3/199 23556
/proc/meminfo: memFree=28998704/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=33980 memory=10344 CPUtime=0.31 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 3577 0 0 0 31 0 0 0 20 0 1 0 412244864 34795520 2586 33554432000 4194304 6210612 140720986401440 140720986396840 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 8495 2586 863 493 0 1800 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33980 KiB
Current children cumulated memory: 10344 KiB
[startup+0.700278 s]
/proc/loadavg: 1.00 1.07 1.44 3/199 23556
/proc/meminfo: memFree=28993956/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=45044 memory=20876 CPUtime=0.69 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 6243 0 0 0 69 0 0 0 20 0 1 0 412244864 46125056 5219 33554432000 4194304 6210612 140720986401440 140720986396840 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 11261 5219 866 493 0 4566 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45044 KiB
Current children cumulated memory: 20876 KiB
[startup+1.50029 s]
/proc/loadavg: 1.08 1.09 1.44 3/199 23556
/proc/meminfo: memFree=28980192/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=69076 memory=43260 CPUtime=1.49 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 11841 0 0 0 148 1 0 0 20 0 1 0 412244864 70733824 10815 33554432000 4194304 6210612 140720986401440 140720986396840 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 17269 10815 866 493 0 10574 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 69076 KiB
Current children cumulated memory: 43260 KiB
[startup+3.10933 s]
/proc/loadavg: 1.08 1.09 1.44 3/199 23556
/proc/meminfo: memFree=28922668/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=115912 memory=89480 CPUtime=3.1 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 22906 0 0 0 308 2 0 0 20 0 1 0 412244864 118693888 22370 33554432000 4194304 6210612 140720986401440 140720986396840 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 28978 22370 866 493 0 22283 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 115912 KiB
Current children cumulated memory: 89480 KiB
[startup+6.30028 s]
/proc/loadavg: 1.16 1.10 1.44 3/199 23556
/proc/meminfo: memFree=28838320/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=211496 memory=179148 CPUtime=6.29 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 43339 0 0 0 624 5 0 0 20 0 1 0 412244864 216571904 44787 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 52874 44787 866 493 0 46179 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 211496 KiB
Current children cumulated memory: 179148 KiB
[startup+12.7003 s]
/proc/loadavg: 1.22 1.12 1.45 3/199 23556
/proc/meminfo: memFree=28672032/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=409396 memory=356540 CPUtime=12.68 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 81575 0 0 0 1258 10 0 0 20 0 1 0 412244864 419221504 89135 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 102349 89135 866 493 0 95654 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 409396 KiB
Current children cumulated memory: 356540 KiB
[startup+25.5003 s]
/proc/loadavg: 1.34 1.15 1.45 3/200 23558
/proc/meminfo: memFree=28306688/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=744912 memory=716792 CPUtime=25.47 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 154308 0 0 0 2526 21 0 0 20 0 1 0 412244864 762789888 179198 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 186228 179198 866 493 0 179533 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 744912 KiB
Current children cumulated memory: 716792 KiB
[startup+51.1094 s]
/proc/loadavg: 1.60 1.23 1.47 3/200 23567
/proc/meminfo: memFree=27574784/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=1502344 memory=1433664 CPUtime=51.07 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 299274 0 0 0 5065 42 0 0 20 0 1 0 412244864 1538400256 358416 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 375586 358416 866 493 0 368891 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 1502344 KiB
Current children cumulated memory: 1433664 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 1.35 1.50 3/200 23570
/proc/meminfo: memFree=26147472/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=3063064 memory=2864492 CPUtime=102.23 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 587987 0 0 0 10142 81 0 0 20 0 1 0 412244864 3136577536 716123 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 765766 716123 866 493 0 759071 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 3063064 KiB
Current children cumulated memory: 2864492 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.49 1.54 3/200 23576
/proc/meminfo: memFree=24465104/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=4780008 memory=4543172 CPUtime=162.2 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 924889 0 0 0 16093 127 0 0 20 0 1 0 412244864 4894728192 1135793 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 1195002 1135793 866 493 0 1188307 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 4780008 KiB
Current children cumulated memory: 4543172 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.59 1.57 3/200 23580
/proc/meminfo: memFree=22782256/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=6683140 memory=6220784 CPUtime=222.17 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 1262028 0 0 0 22043 174 0 0 20 0 1 0 412244864 6843535360 1555196 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 1670785 1555196 866 493 0 1664090 0
Current children cumulated CPU time: 222.17 s
Current children cumulated vsize: 6683140 KiB
Current children cumulated memory: 6220784 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.66 1.60 3/200 23584
/proc/meminfo: memFree=21100748/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=8025844 memory=7899384 CPUtime=282.14 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 1597914 0 0 0 27992 222 0 0 20 0 1 0 412244864 8218464256 1974846 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 2006461 1974846 866 493 0 1999766 0
Current children cumulated CPU time: 282.14 s
Current children cumulated vsize: 8025844 KiB
Current children cumulated memory: 7899384 KiB
[startup+342.3 s]
/proc/loadavg: 1.95 1.71 1.62 3/199 23712
/proc/meminfo: memFree=18940124/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=10209924 memory=9578652 CPUtime=342.11 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 1935008 0 0 0 33939 272 0 0 20 0 1 0 412244864 10454962176 2394663 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 2552481 2394663 866 493 0 2545786 0
Current children cumulated CPU time: 342.11 s
Current children cumulated vsize: 10209924 KiB
Current children cumulated memory: 9578652 KiB
[startup+402.3 s]
/proc/loadavg: 1.98 1.76 1.64 3/199 23716
/proc/meminfo: memFree=16984404/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=11553156 memory=11257928 CPUtime=402.07 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 2271050 0 0 0 39882 325 0 0 20 0 1 0 412244864 11830431744 2814482 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 2888289 2814482 866 493 0 2881594 0
Current children cumulated CPU time: 402.07 s
Current children cumulated vsize: 11553156 KiB
Current children cumulated memory: 11257928 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 1.81 1.66 3/199 23720
/proc/meminfo: memFree=15264888/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=14156992 memory=12935876 CPUtime=462.04 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 2607863 0 0 0 45826 378 0 0 20 0 1 0 412244864 14496759808 3233969 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 3539248 3233969 866 493 0 3532553 0
Current children cumulated CPU time: 462.04 s
Current children cumulated vsize: 14156992 KiB
Current children cumulated memory: 12935876 KiB
[startup+522.3 s]
/proc/loadavg: 2.03 1.85 1.69 3/199 23726
/proc/meminfo: memFree=13536072/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=15499036 memory=14613752 CPUtime=522.01 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 2943625 0 0 0 51766 435 0 0 20 0 1 0 412244864 15871012864 3653438 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 3874759 3653438 866 493 0 3868064 0
Current children cumulated CPU time: 522.01 s
Current children cumulated vsize: 15499036 KiB
Current children cumulated memory: 14613752 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+539 s]*
/proc/loadavg: 2.03 1.86 1.69 3/199 23727
/proc/meminfo: memFree=13055632/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=15872596 memory=15081492 CPUtime=538.71 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 4202496 3037061 0 0 0 53423 448 0 0 20 0 1 0 412244864 16253538304 3770373 33554432000 4194304 6210612 140720986401440 140720986395336 140339703114725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 3968149 3770373 866 493 0 3961454 0
Current children cumulated CPU time: 538.71 s
Current children cumulated vsize: 15872596 KiB
Current children cumulated memory: 15081492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+541.729 s]
# the end of solver process 23549 was just reported to runsolver
# cumulated CPU time of all completed processes: user=534.55 s, system=5.21594 s
Solver just ended.
Dumping a history of the last processes samples
[startup+539.2 s]
/proc/loadavg: 2.03 1.86 1.69 3/199 23727
/proc/meminfo: memFree=13055632/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=15872596 memory=15081492 CPUtime=538.75 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) S 23543 23549 23494 0 -1 512 3037068 0 0 0 53426 449 0 0 20 0 1 0 412244864 16253538304 3770373 33554432000 4194304 6210612 140720986401440 140720986395336 5188952 0 16384 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 3968149 3770373 866 493 0 3961454 0
Current children cumulated CPU time: 538.75 s
Current children cumulated vsize: 15872596 KiB
Current children cumulated memory: 15081492 KiB
[startup+540 s]*
/proc/loadavg: 2.03 1.86 1.69 3/200 23728
/proc/meminfo: memFree=12459608/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=15872596 memory=15081492 CPUtime=538.88 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) R 23543 23549 23494 0 -1 512 3037068 0 0 0 53439 449 0 0 20 0 1 0 412244864 16253538304 3770373 33554432000 4194304 6210612 140720986401440 140720986395336 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 3968149 3770373 866 493 0 3961454 0
Current children cumulated CPU time: 538.88 s
Current children cumulated vsize: 15872596 KiB
Current children cumulated memory: 15081492 KiB
[startup+540.8 s]
/proc/loadavg: 2.03 1.86 1.69 3/200 23728
/proc/meminfo: memFree=12459608/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=15872596 memory=15081492 CPUtime=539 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) S 23543 23549 23494 0 -1 512 3037068 0 0 0 53451 449 0 0 20 0 1 0 412244864 16253538304 3770373 33554432000 4194304 6210612 140720986401440 140720986395336 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 3968149 3770373 866 493 0 3961454 0
Current children cumulated CPU time: 539 s
Current children cumulated vsize: 15872596 KiB
Current children cumulated memory: 15081492 KiB
[startup+541 s]*
/proc/loadavg: 2.02 1.86 1.70 3/200 23728
/proc/meminfo: memFree=11892192/32770624 swapFree=66999912/67108860
[pid=23549] ppid=23543 vsize=15872596 memory=15081492 CPUtime=539.03 cores=1,3,5,7
/proc/23549/stat : 23549 (cosoco) S 23543 23549 23494 0 -1 512 3037068 0 0 0 53454 449 0 0 20 0 1 0 412244864 16253538304 3770373 33554432000 4194304 6210612 140720986401440 140720986395336 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8308220 8313664 38088704 140720986407947 140720986408049 140720986408049 140720986410958 0
/proc/23549/statm: 3968149 3770373 866 493 0 3961454 0
Current children cumulated CPU time: 539.03 s
Current children cumulated vsize: 15872596 KiB
Current children cumulated memory: 15081492 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 541.729
CPU time (s): 539.766
CPU user time (s): 534.55
CPU system time (s): 5.21594
CPU usage (%): 99.6376
Max. virtual memory (cumulated for all children) (KiB): 15872596
Max. memory (cumulated for all children) (KiB): 15081492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 534.55
system time used= 5.21593
maximum resident set size= 15081652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3037068
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= 143599
involuntary context switches= 432
# summary of solver processes directly reported to runsolver:
# pid: 23549
# total CPU time (s): 539.766
# total CPU user time (s): 534.55
# total CPU system time (s): 5.21594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.97096 second user time and 3.61631 second system time
The end