0.00/0.00 c AllEqual constraint using 1 generic x=y constraints
0.00/0.00 c AllEqual constraint using 1 generic x=y constraints
0.00/0.00 c AllEqual constraint using 1 generic x=y constraints
0.00/0.00 c AllEqual constraint using 1 generic x=y constraints
0.00/0.00 c AllEqual constraint using 1 generic x=y constraints
0.00/0.00 c AllEqual constraint using 1 generic x=y constraints
0.00/0.00 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.03 c
0.00/0.03 c This is cosoco 2.00 --
0.00/0.03 c
0.00/0.03 c command line: cosoco -lc -model -restarts -stick HOME/instance-4409034-1569814224.xml
0.00/0.03 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.04 c intension -> extension : same as previous
0.00/0.04 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.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(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.18 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.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 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.24 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.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/0.29 c intension -> extension : same as previous
0.21/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 (14863 MiB free)
memory of node 1: 16384 MiB (15520 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409034-1569814224/watcher-4409034-1569814224 -o /tmp/evaluation-result-4409034-1569814224/solver-4409034-1569814224 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569812554-14458 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409034-1569814224.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15293, runsolver pid=15290
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 2.55 2.15 2.01 3/204 15294
/proc/meminfo: memFree=31116852/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=30444 memory=6796 CPUtime=0.1 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 1898 0 0 0 10 0 0 0 20 0 1 0 557691311 31174656 1699 33554432000 4194304 6211132 140733161965728 140733161963000 139633332544640 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/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.210477 s]*
/proc/loadavg: 2.55 2.15 2.01 3/204 15294
/proc/meminfo: memFree=31109036/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=32596 memory=9048 CPUtime=0.21 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 2427 0 0 0 21 0 0 0 20 0 1 0 557691311 33378304 2262 33554432000 4194304 6211132 140733161965728 140733161963000 5012856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 8149 2262 864 493 0 1454 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32596 KiB
Current children cumulated memory: 9048 KiB
[startup+0.310346 s]*
/proc/loadavg: 2.55 2.15 2.01 3/204 15294
/proc/meminfo: memFree=31107756/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=33848 memory=10352 CPUtime=0.3 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 3559 0 0 0 30 0 0 0 20 0 1 0 557691311 34660352 2588 33554432000 4194304 6211132 140733161965728 140733161963000 5455685 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/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.700263 s]
/proc/loadavg: 2.55 2.15 2.01 3/204 15294
/proc/meminfo: memFree=31109332/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=44780 memory=20620 CPUtime=0.69 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 6159 0 0 0 68 1 0 0 20 0 1 0 557691311 45854720 5155 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 11195 5155 868 493 0 4500 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44780 KiB
Current children cumulated memory: 20620 KiB
[startup+1.5003 s]
/proc/loadavg: 2.55 2.15 2.01 3/204 15294
/proc/meminfo: memFree=31112204/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=68416 memory=42740 CPUtime=1.49 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 11659 0 0 0 147 2 0 0 20 0 1 0 557691311 70057984 10685 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 17104 10685 868 493 0 10409 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 68416 KiB
Current children cumulated memory: 42740 KiB
[startup+3.10947 s]
/proc/loadavg: 2.42 2.13 2.00 3/203 15297
/proc/meminfo: memFree=31611176/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=114724 memory=88432 CPUtime=3.1 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 22655 0 0 0 307 3 0 0 20 0 1 0 557691311 117477376 22108 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 28681 22108 868 493 0 21986 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 114724 KiB
Current children cumulated memory: 88432 KiB
[startup+6.30027 s]
/proc/loadavg: 2.42 2.13 2.00 3/203 15297
/proc/meminfo: memFree=31527436/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=209384 memory=176780 CPUtime=6.29 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 42194 0 0 0 623 6 0 0 20 0 1 0 557691311 214409216 44195 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 52346 44195 868 493 0 45651 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 209384 KiB
Current children cumulated memory: 176780 KiB
[startup+12.7003 s]
/proc/loadavg: 2.39 2.13 2.00 3/203 15298
/proc/meminfo: memFree=31365600/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=405436 memory=354300 CPUtime=12.68 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 79511 0 0 0 1257 11 0 0 20 0 1 0 557691311 415166464 88575 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 101359 88575 868 493 0 94664 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 405436 KiB
Current children cumulated memory: 354300 KiB
[startup+25.5003 s]
/proc/loadavg: 2.30 2.12 2.00 3/204 15306
/proc/meminfo: memFree=31005860/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=737256 memory=706620 CPUtime=25.48 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 151269 0 0 0 2528 20 0 0 20 0 1 0 557691311 754950144 176655 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 184314 176655 868 493 0 177619 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 737256 KiB
Current children cumulated memory: 706620 KiB
[startup+51.1096 s]
/proc/loadavg: 2.20 2.11 2.00 3/204 15308
/proc/meminfo: memFree=30285152/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=1487428 memory=1414272 CPUtime=51.08 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 294963 0 0 0 5065 43 0 0 20 0 1 0 557691311 1523126272 353568 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 371857 353568 868 493 0 365162 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 1487428 KiB
Current children cumulated memory: 1414272 KiB
[startup+102.3 s]
/proc/loadavg: 2.09 2.10 2.00 3/204 15312
/proc/meminfo: memFree=28872900/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=3033892 memory=2826756 CPUtime=102.24 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 579595 0 0 0 10142 82 0 0 20 0 1 0 557691311 3106705408 706689 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 758473 706689 868 493 0 751778 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 3033892 KiB
Current children cumulated memory: 2826756 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.08 2.00 3/204 15316
/proc/meminfo: memFree=27213288/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=4733544 memory=4486228 CPUtime=162.19 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 912691 0 0 0 16090 129 0 0 20 0 1 0 557691311 4847149056 1121557 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 1183386 1121557 868 493 0 1176691 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 4733544 KiB
Current children cumulated memory: 4486228 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.00 3/204 15322
/proc/meminfo: memFree=25552964/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=6619648 memory=6142600 CPUtime=222.15 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 1245069 0 0 0 22040 175 0 0 20 0 1 0 557691311 6778519552 1535650 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 1654912 1535650 868 493 0 1648217 0
Current children cumulated CPU time: 222.15 s
Current children cumulated vsize: 6619648 KiB
Current children cumulated memory: 6142600 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/200 15326
/proc/meminfo: memFree=23894260/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=7944268 memory=7798856 CPUtime=282.11 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 1576399 0 0 0 27988 223 0 0 20 0 1 0 557691311 8134930432 1949714 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 1986067 1949714 868 493 0 1979372 0
Current children cumulated CPU time: 282.11 s
Current children cumulated vsize: 7944268 KiB
Current children cumulated memory: 7798856 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/199 15330
/proc/meminfo: memFree=22235152/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=10110792 memory=9456648 CPUtime=342.07 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 1909142 0 0 0 33934 273 0 0 20 0 1 0 557691311 10353451008 2364162 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 2527698 2364162 868 493 0 2521003 0
Current children cumulated CPU time: 342.07 s
Current children cumulated vsize: 10110792 KiB
Current children cumulated memory: 9456648 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/199 15336
/proc/meminfo: memFree=20574516/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=11436600 memory=11114148 CPUtime=402.04 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 2240799 0 0 0 39882 322 0 0 20 0 1 0 557691311 11711078400 2778537 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 2859150 2778537 868 493 0 2852455 0
Current children cumulated CPU time: 402.04 s
Current children cumulated vsize: 11436600 KiB
Current children cumulated memory: 11114148 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/199 15340
/proc/meminfo: memFree=18915280/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=14022616 memory=12768308 CPUtime=461.99 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 2573163 0 0 0 45821 378 0 0 20 0 1 0 557691311 14359158784 3192077 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 3505654 3192077 868 493 0 3498959 0
Current children cumulated CPU time: 461.99 s
Current children cumulated vsize: 14022616 KiB
Current children cumulated memory: 12768308 KiB
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/199 15344
/proc/meminfo: memFree=17255548/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=15347896 memory=14425408 CPUtime=521.95 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 2904714 0 0 0 51758 437 0 0 20 0 1 0 557691311 15716245504 3606352 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 3836974 3606352 868 493 0 3830279 0
Current children cumulated CPU time: 521.95 s
Current children cumulated vsize: 15347896 KiB
Current children cumulated memory: 14425408 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+546.109 s]
/proc/loadavg: 2.03 2.04 2.01 3/199 15347
/proc/meminfo: memFree=16590800/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=15873388 memory=15081768 CPUtime=545.75 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) R 15290 15293 14426 0 -1 4202496 3036171 0 0 0 54116 459 0 0 20 0 1 0 557691311 16254349312 3770442 33554432000 4194304 6211132 140733161965728 140733161959624 139633316482021 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 3968347 3770442 868 493 0 3961652 0
Current children cumulated CPU time: 545.75 s
Current children cumulated vsize: 15873388 KiB
Current children cumulated memory: 15081768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+548.838 s]
# the end of solver process 15293 was just reported to runsolver
# cumulated CPU time of all completed processes: user=541.453 s, system=5.38274 s
Solver just ended.
Dumping a history of the last processes samples
[startup+547.2 s]
/proc/loadavg: 2.03 2.04 2.01 3/200 15348
/proc/meminfo: memFree=16081020/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=15873388 memory=15081768 CPUtime=545.95 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) S 15290 15293 14426 0 -1 512 3036176 0 0 0 54133 462 0 0 20 0 1 0 557691311 16254349312 3770442 33554432000 4194304 6211132 140733161965728 140733161959624 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 3968347 3770442 868 493 0 3961652 0
Current children cumulated CPU time: 545.95 s
Current children cumulated vsize: 15873388 KiB
Current children cumulated memory: 15081768 KiB
[startup+547.6 s]
/proc/loadavg: 2.03 2.04 2.01 3/200 15348
/proc/meminfo: memFree=16081020/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=15873388 memory=15081768 CPUtime=546.02 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) S 15290 15293 14426 0 -1 512 3036176 0 0 0 54139 463 0 0 20 0 1 0 557691311 16254349312 3770442 33554432000 4194304 6211132 140733161965728 140733161959624 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 3968347 3770442 868 493 0 3961652 0
Current children cumulated CPU time: 546.02 s
Current children cumulated vsize: 15873388 KiB
Current children cumulated memory: 15081768 KiB
[startup+548 s]*
/proc/loadavg: 2.03 2.04 2.01 4/200 15348
/proc/meminfo: memFree=15512216/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=15873388 memory=15081768 CPUtime=546.08 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) S 15290 15293 14426 0 -1 512 3036176 0 0 0 54143 465 0 0 20 0 1 0 557691311 16254349312 3770442 33554432000 4194304 6211132 140733161965728 140733161959624 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 3968347 3770442 868 493 0 3961652 0
Current children cumulated CPU time: 546.08 s
Current children cumulated vsize: 15873388 KiB
Current children cumulated memory: 15081768 KiB
[startup+548.11 s]
/proc/loadavg: 2.03 2.04 2.01 4/200 15348
/proc/meminfo: memFree=15512216/32770624 swapFree=66959824/67108860
[pid=15293] ppid=15290 vsize=15873388 memory=15081768 CPUtime=546.1 cores=1,3,5,7
/proc/15293/stat : 15293 (cosoco) S 15290 15293 14426 0 -1 512 3036176 0 0 0 54145 465 0 0 20 0 1 0 557691311 16254349312 3770442 33554432000 4194304 6211132 140733161965728 140733161959624 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 1 0 0 0 0 0 8312316 8317760 21917696 140733161972747 140733161972849 140733161972849 140733161975758 0
/proc/15293/statm: 3968347 3770442 868 493 0 3961652 0
Current children cumulated CPU time: 546.1 s
Current children cumulated vsize: 15873388 KiB
Current children cumulated memory: 15081768 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 548.838
CPU time (s): 546.836
CPU user time (s): 541.453
CPU system time (s): 5.38274
CPU usage (%): 99.6352
Max. virtual memory (cumulated for all children) (KiB): 15873388
Max. memory (cumulated for all children) (KiB): 15081768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 541.453
system time used= 5.38274
maximum resident set size= 15082012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3036176
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= 141534
involuntary context switches= 685
# summary of solver processes directly reported to runsolver:
# pid: 15293
# total CPU time (s): 546.836
# total CPU user time (s): 541.453
# total CPU system time (s): 5.38274
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.93406 second user time and 3.81829 second system time
The end