0.00/0.01 c
0.00/0.01 c This is cosoco 2.00 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396937-1568573200.xml
0.00/0.01 c intension le(add(w[0],x[0]),200) -> extension (support ? 0) - 132tuples
0.00/0.01 c intension le(add(w[1],x[1]),200) -> extension (support ? 0) - 63tuples
0.00/0.01 c intension le(add(w[2],x[2]),200) -> extension (support ? 0) - 84tuples
0.00/0.01 c intension le(add(w[3],x[3]),200) -> extension (support ? 0) - 45tuples
0.00/0.01 c intension le(add(w[4],x[4]),200) -> extension (support ? 0) - 47tuples
0.00/0.01 c intension le(add(w[5],x[5]),200) -> extension (support ? 0) - 60tuples
0.00/0.01 c intension le(add(w[6],x[6]),200) -> extension (support ? 0) - 44tuples
0.00/0.01 c intension le(add(w[7],x[7]),200) -> extension (support ? 0) - 81tuples
0.00/0.01 c intension le(add(w[8],x[8]),200) -> extension (support ? 0) - 46tuples
0.00/0.01 c intension le(add(w[9],x[9]),200) -> extension (support ? 0) - 66tuples
0.00/0.01 c intension le(add(w[10],x[10]),200) -> extension (support ? 0) - 8tuples
0.00/0.01 c intension le(add(w[11],x[11]),200) -> extension (support ? 0) - 83tuples
0.00/0.01 c intension le(add(w[12],x[12]),200) -> extension (support ? 0) - 23tuples
0.00/0.01 c intension le(add(w[13],x[13]),200) -> extension (support ? 0) - 39tuples
0.00/0.02 c intension le(add(w[14],x[14]),200) -> extension (support ? 0) - 53tuples
0.00/0.02 c intension le(add(w[15],x[15]),200) -> extension (support ? 0) - 12tuples
0.00/0.02 c intension le(add(w[16],x[16]),200) -> extension (support ? 0) - 55tuples
0.00/0.02 c intension le(add(w[17],x[17]),200) -> extension (support ? 0) - 51tuples
0.00/0.02 c intension le(add(w[18],x[18]),200) -> extension (support ? 0) - 116tuples
0.00/0.02 c intension le(add(w[19],x[19]),200) -> extension (support ? 0) - 22tuples
0.00/0.02 c intension le(add(w[20],x[20]),200) -> extension (support ? 0) - 35tuples
0.00/0.02 c intension le(add(w[21],x[21]),200) -> extension (support ? 0) - 81tuples
0.00/0.02 c intension le(add(w[22],x[22]),200) -> extension (support ? 0) - 6tuples
0.00/0.02 c intension le(add(w[23],x[23]),200) -> extension (support ? 0) - 74tuples
0.00/0.02 c intension le(add(w[24],x[24]),200) -> extension (support ? 0) - 65tuples
0.00/0.02 c intension le(add(w[25],x[25]),200) -> extension (support ? 0) - 55tuples
0.00/0.02 c intension le(add(w[26],x[26]),200) -> extension (support ? 0) - 93tuples
0.00/0.02 c intension le(add(w[27],x[27]),200) -> extension (support ? 0) - 10tuples
0.00/0.03 c intension le(add(w[28],x[28]),200) -> extension (support ? 0) - 12tuples
0.00/0.03 c intension le(add(w[29],x[29]),200) -> extension (support ? 0) - 34tuples
0.00/0.03 c intension le(add(w[30],x[30]),200) -> extension (support ? 0) - 11tuples
0.00/0.03 c intension le(add(w[31],x[31]),200) -> extension (support ? 0) - 11tuples
0.00/0.03 c intension le(add(w[32],x[32]),200) -> extension (support ? 0) - 25tuples
0.00/0.03 c intension le(add(w[33],x[33]),200) -> extension (support ? 0) - 49tuples
0.00/0.03 c intension le(add(w[34],x[34]),200) -> extension (support ? 0) - 15tuples
0.00/0.03 c intension le(add(w[35],x[35]),200) -> extension (support ? 0) - 71tuples
0.00/0.03 c intension le(add(w[36],x[36]),200) -> extension (support ? 0) - 64tuples
0.00/0.03 c intension le(add(w[37],x[37]),200) -> extension (support ? 0) - 23tuples
0.00/0.03 c intension le(add(w[38],x[38]),200) -> extension (support ? 0) - 46tuples
0.00/0.03 c intension le(add(w[39],x[39]),200) -> extension (support ? 0) - 44tuples
0.00/0.03 c intension le(add(w[40],x[40]),200) -> extension (support ? 0) - 46tuples
0.00/0.03 c intension le(add(w[41],x[41]),200) -> extension (support ? 0) - 72tuples
0.00/0.04 c intension le(add(w[42],x[42]),200) -> extension (support ? 0) - 37tuples
0.00/0.04 c intension le(add(w[43],x[43]),200) -> extension (support ? 0) - 93tuples
0.00/0.04 c intension le(add(w[44],x[44]),200) -> extension (support ? 0) - 66tuples
0.00/0.04 c intension le(add(w[45],x[45]),200) -> extension (support ? 0) - 86tuples
0.00/0.04 c intension le(add(w[46],x[46]),200) -> extension (support ? 0) - 10tuples
0.00/0.04 c intension le(add(w[47],x[47]),200) -> extension (support ? 0) - 23tuples
0.00/0.04 c intension le(add(w[48],x[48]),200) -> extension (support ? 0) - 44tuples
0.00/0.04 c intension le(add(w[49],x[49]),200) -> extension (support ? 0) - 42tuples
0.00/0.04 c intension le(add(w[50],x[50]),200) -> extension (support ? 0) - 27tuples
0.00/0.04 c intension le(add(w[51],x[51]),200) -> extension (support ? 0) - 58tuples
0.00/0.04 c intension le(add(w[52],x[52]),200) -> extension (support ? 0) - 41tuples
0.00/0.04 c intension le(add(w[53],x[53]),200) -> extension (support ? 0) - 47tuples
0.00/0.04 c intension le(add(w[54],x[54]),200) -> extension (support ? 0) - 5tuples
0.00/0.04 c intension le(add(w[55],x[55]),200) -> extension (support ? 0) - 7tuples
0.00/0.05 c intension le(add(w[56],x[56]),200) -> extension (support ? 0) - 37tuples
0.00/0.05 c intension le(add(w[57],x[57]),200) -> extension (support ? 0) - 35tuples
0.00/0.05 c intension le(add(w[58],x[58]),200) -> extension (support ? 0) - 20tuples
0.00/0.05 c intension le(add(w[59],x[59]),200) -> extension (support ? 0) - 3tuples
0.00/0.05 c intension le(add(w[60],x[60]),200) -> extension (support ? 0) - 14tuples
0.00/0.05 c intension le(add(w[61],x[61]),200) -> extension (support ? 0) - 43tuples
0.00/0.05 c intension le(add(w[62],x[62]),200) -> extension (support ? 0) - 77tuples
0.00/0.05 c intension le(add(w[63],x[63]),200) -> extension (support ? 0) - 17tuples
0.00/0.05 c intension le(add(w[64],x[64]),200) -> extension (support ? 0) - 32tuples
0.00/0.05 c intension le(add(w[65],x[65]),200) -> extension (support ? 0) - 61tuples
0.00/0.05 c intension le(add(w[66],x[66]),200) -> extension (support ? 0) - 31tuples
0.00/0.05 c intension le(add(w[67],x[67]),200) -> extension (support ? 0) - 15tuples
0.00/0.05 c intension le(add(w[68],x[68]),200) -> extension (support ? 0) - 12tuples
0.00/0.05 c intension le(add(w[69],x[69]),200) -> extension (support ? 0) - 11tuples
0.00/0.06 c intension le(add(w[70],x[70]),200) -> extension (support ? 0) - 26tuples
0.00/0.06 c intension le(add(w[71],x[71]),200) -> extension (support ? 0) - 55tuples
0.00/0.06 c intension le(add(w[72],x[72]),200) -> extension (support ? 0) - 35tuples
0.00/0.06 c intension le(add(h[0],y[0]),200) -> extension (support ? 0) - 132tuples
0.00/0.06 c intension le(add(h[1],y[1]),200) -> extension (support ? 0) - 63tuples
0.00/0.06 c intension le(add(h[2],y[2]),200) -> extension (support ? 0) - 84tuples
0.00/0.06 c intension le(add(h[3],y[3]),200) -> extension (support ? 0) - 45tuples
0.00/0.06 c intension le(add(h[4],y[4]),200) -> extension (support ? 0) - 47tuples
0.00/0.06 c intension le(add(h[5],y[5]),200) -> extension (support ? 0) - 60tuples
0.00/0.06 c intension le(add(h[6],y[6]),200) -> extension (support ? 0) - 44tuples
0.00/0.06 c intension le(add(h[7],y[7]),200) -> extension (support ? 0) - 81tuples
0.00/0.06 c intension le(add(h[8],y[8]),200) -> extension (support ? 0) - 46tuples
0.00/0.06 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 66tuples
0.00/0.07 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 8tuples
0.00/0.07 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 83tuples
0.00/0.07 c intension le(add(h[12],y[12]),200) -> extension (support ? 0) - 23tuples
0.00/0.07 c intension le(add(h[13],y[13]),200) -> extension (support ? 0) - 39tuples
0.00/0.07 c intension le(add(h[14],y[14]),200) -> extension (support ? 0) - 53tuples
0.00/0.07 c intension le(add(h[15],y[15]),200) -> extension (support ? 0) - 12tuples
0.00/0.07 c intension le(add(h[16],y[16]),200) -> extension (support ? 0) - 55tuples
0.00/0.07 c intension le(add(h[17],y[17]),200) -> extension (support ? 0) - 51tuples
0.00/0.07 c intension le(add(h[18],y[18]),200) -> extension (support ? 0) - 116tuples
0.00/0.07 c intension le(add(h[19],y[19]),200) -> extension (support ? 0) - 22tuples
0.00/0.07 c intension le(add(h[20],y[20]),200) -> extension (support ? 0) - 35tuples
0.00/0.07 c intension le(add(h[21],y[21]),200) -> extension (support ? 0) - 81tuples
0.00/0.07 c intension le(add(h[22],y[22]),200) -> extension (support ? 0) - 6tuples
0.00/0.07 c intension le(add(h[23],y[23]),200) -> extension (support ? 0) - 74tuples
0.00/0.08 c intension le(add(h[24],y[24]),200) -> extension (support ? 0) - 65tuples
0.00/0.08 c intension le(add(h[25],y[25]),200) -> extension (support ? 0) - 55tuples
0.00/0.08 c intension le(add(h[26],y[26]),200) -> extension (support ? 0) - 93tuples
0.00/0.08 c intension le(add(h[27],y[27]),200) -> extension (support ? 0) - 10tuples
0.00/0.08 c intension le(add(h[28],y[28]),200) -> extension (support ? 0) - 12tuples
0.00/0.08 c intension le(add(h[29],y[29]),200) -> extension (support ? 0) - 34tuples
0.00/0.08 c intension le(add(h[30],y[30]),200) -> extension (support ? 0) - 11tuples
0.00/0.08 c intension le(add(h[31],y[31]),200) -> extension (support ? 0) - 11tuples
0.00/0.08 c intension le(add(h[32],y[32]),200) -> extension (support ? 0) - 25tuples
0.00/0.08 c intension le(add(h[33],y[33]),200) -> extension (support ? 0) - 49tuples
0.00/0.08 c intension le(add(h[34],y[34]),200) -> extension (support ? 0) - 15tuples
0.00/0.08 c intension le(add(h[35],y[35]),200) -> extension (support ? 0) - 71tuples
0.00/0.08 c intension le(add(h[36],y[36]),200) -> extension (support ? 0) - 64tuples
0.00/0.08 c intension le(add(h[37],y[37]),200) -> extension (support ? 0) - 23tuples
0.00/0.09 c intension le(add(h[38],y[38]),200) -> extension (support ? 0) - 46tuples
0.00/0.09 c intension le(add(h[39],y[39]),200) -> extension (support ? 0) - 44tuples
0.00/0.09 c intension le(add(h[40],y[40]),200) -> extension (support ? 0) - 46tuples
0.00/0.09 c intension le(add(h[41],y[41]),200) -> extension (support ? 0) - 72tuples
0.00/0.09 c intension le(add(h[42],y[42]),200) -> extension (support ? 0) - 37tuples
0.00/0.09 c intension le(add(h[43],y[43]),200) -> extension (support ? 0) - 93tuples
0.00/0.09 c intension le(add(h[44],y[44]),200) -> extension (support ? 0) - 66tuples
0.00/0.09 c intension le(add(h[45],y[45]),200) -> extension (support ? 0) - 86tuples
0.00/0.09 c intension le(add(h[46],y[46]),200) -> extension (support ? 0) - 10tuples
0.00/0.09 c intension le(add(h[47],y[47]),200) -> extension (support ? 0) - 23tuples
0.00/0.09 c intension le(add(h[48],y[48]),200) -> extension (support ? 0) - 44tuples
0.00/0.09 c intension le(add(h[49],y[49]),200) -> extension (support ? 0) - 42tuples
0.00/0.09 c intension le(add(h[50],y[50]),200) -> extension (support ? 0) - 27tuples
0.00/0.09 c intension le(add(h[51],y[51]),200) -> extension (support ? 0) - 58tuples
0.00/0.10 c intension le(add(h[52],y[52]),200) -> extension (support ? 0) - 41tuples
0.00/0.10 c intension le(add(h[53],y[53]),200) -> extension (support ? 0) - 47tuples
0.00/0.10 c intension le(add(h[54],y[54]),200) -> extension (support ? 0) - 5tuples
0.00/0.10 c intension le(add(h[55],y[55]),200) -> extension (support ? 0) - 7tuples
0.00/0.10 c intension le(add(h[56],y[56]),200) -> extension (support ? 0) - 37tuples
0.00/0.10 c intension le(add(h[57],y[57]),200) -> extension (support ? 0) - 35tuples
0.00/0.10 c intension le(add(h[58],y[58]),200) -> extension (support ? 0) - 20tuples
0.00/0.10 c intension le(add(h[59],y[59]),200) -> extension (support ? 0) - 3tuples
0.00/0.10 c intension le(add(h[60],y[60]),200) -> extension (support ? 0) - 14tuples
0.00/0.10 c intension le(add(h[61],y[61]),200) -> extension (support ? 0) - 43tuples
0.00/0.10 c intension le(add(h[62],y[62]),200) -> extension (support ? 0) - 77tuples
0.00/0.10 c intension le(add(h[63],y[63]),200) -> extension (support ? 0) - 17tuples
0.00/0.10 c intension le(add(h[64],y[64]),200) -> extension (support ? 0) - 32tuples
0.00/0.10 c intension le(add(h[65],y[65]),200) -> extension (support ? 0) - 61tuples
0.10/0.11 c intension le(add(h[66],y[66]),200) -> extension (support ? 0) - 31tuples
0.10/0.11 c intension le(add(h[67],y[67]),200) -> extension (support ? 0) - 15tuples
0.10/0.11 c intension le(add(h[68],y[68]),200) -> extension (support ? 0) - 12tuples
0.10/0.11 c intension le(add(h[69],y[69]),200) -> extension (support ? 0) - 11tuples
0.10/0.11 c intension le(add(h[70],y[70]),200) -> extension (support ? 0) - 26tuples
0.10/0.11 c intension le(add(h[71],y[71]),200) -> extension (support ? 0) - 55tuples
0.10/0.11 c intension le(add(h[72],y[72]),200) -> extension (support ? 0) - 35tuples
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 (11875 MiB free)
memory of node 1: 16384 MiB (14966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396937-1568573200/watcher-4396937-1568573200 -o /tmp/evaluation-result-4396937-1568573200/solver-4396937-1568573200 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568572743-13958 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396937-1568573200.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
solver pid=14159, runsolver pid=14156
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 2.02 1.54 0.77 3/204 14160
/proc/meminfo: memFree=27478732/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=30932 memory=7156 CPUtime=0.1 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 1996 0 0 0 10 0 0 0 20 0 1 0 433570512 31674368 1789 33554432000 4194304 6211092 140736726591744 140736726588280 139841676360235 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 7733 1789 825 493 0 1038 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30932 KiB
Current children cumulated memory: 7156 KiB
[startup+0.209989 s]*
/proc/loadavg: 2.02 1.54 0.77 3/204 14160
/proc/meminfo: memFree=27470112/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=33480 memory=9936 CPUtime=0.21 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 2647 0 0 0 21 0 0 0 20 0 1 0 433570512 34283520 2484 33554432000 4194304 6211092 140736726591744 140736726588280 139841677214607 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 8370 2484 839 493 0 1675 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33480 KiB
Current children cumulated memory: 9936 KiB
[startup+0.30935 s]*
/proc/loadavg: 2.02 1.54 0.77 3/204 14160
/proc/meminfo: memFree=27461740/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=35856 memory=11928 CPUtime=0.31 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 3170 0 0 0 31 0 0 0 20 0 1 0 433570512 36716544 2982 33554432000 4194304 6211092 140736726591744 140736726588280 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 8964 2982 839 493 0 2269 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35856 KiB
Current children cumulated memory: 11928 KiB
[startup+0.700238 s]
/proc/loadavg: 2.02 1.54 0.77 3/204 14160
/proc/meminfo: memFree=27448036/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=43576 memory=19820 CPUtime=0.69 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 5144 0 0 0 69 0 0 0 20 0 1 0 433570512 44621824 4955 33554432000 4194304 6211092 140736726591744 140736726588280 5012856 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 10894 4955 839 493 0 4199 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43576 KiB
Current children cumulated memory: 19820 KiB
[startup+1.50024 s]
/proc/loadavg: 2.02 1.54 0.77 3/204 14160
/proc/meminfo: memFree=27413000/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=61424 memory=36308 CPUtime=1.49 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 9277 0 0 0 148 1 0 0 20 0 1 0 433570512 62898176 9077 33554432000 4194304 6211092 140736726591744 140736726588280 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 15356 9077 839 493 0 8661 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61424 KiB
Current children cumulated memory: 36308 KiB
[startup+3.10969 s]
/proc/loadavg: 2.02 1.55 0.78 3/204 14160
/proc/meminfo: memFree=27268164/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=94064 memory=70156 CPUtime=3.1 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 17239 0 0 0 308 2 0 0 20 0 1 0 433570512 96321536 17539 33554432000 4194304 6211092 140736726591744 140736726584888 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 23549 17539 839 493 0 16854 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 94064 KiB
Current children cumulated memory: 70156 KiB
[startup+6.30022 s]
/proc/loadavg: 2.02 1.55 0.78 3/204 14160
/proc/meminfo: memFree=27049972/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=164080 memory=137948 CPUtime=6.28 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 31158 0 0 0 625 3 0 0 20 0 1 0 433570512 168017920 34487 33554432000 4194304 6211092 140736726591744 140736726584888 5439794 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 41020 34487 839 493 0 34325 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 164080 KiB
Current children cumulated memory: 137948 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 1.56 0.79 3/204 14160
/proc/meminfo: memFree=26618300/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=309044 memory=270356 CPUtime=12.69 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 58141 0 0 0 1263 6 0 0 20 0 1 0 433570512 316461056 67589 33554432000 4194304 6211092 140736726591744 140736726584888 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 77261 67589 839 493 0 70566 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 309044 KiB
Current children cumulated memory: 270356 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 1.58 0.80 3/204 14160
/proc/meminfo: memFree=25569004/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=739724 memory=668316 CPUtime=25.49 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 134670 0 0 0 2533 16 0 0 20 0 1 0 433570512 757477376 167079 33554432000 4194304 6211092 140736726591744 140736726584888 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 184931 167079 839 493 0 178236 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 739724 KiB
Current children cumulated memory: 668316 KiB
[startup+51.1098 s]
/proc/loadavg: 2.01 1.61 0.83 3/204 14162
/proc/meminfo: memFree=23536700/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=2135940 memory=2002812 CPUtime=51.09 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 387070 0 0 0 5059 50 0 0 20 0 1 0 433570512 2187202560 500703 33554432000 4194304 6211092 140736726591744 140736726584888 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 533985 500703 839 493 0 527290 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2135940 KiB
Current children cumulated memory: 2002812 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.68 0.90 3/204 14166
/proc/meminfo: memFree=20232532/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=4564840 memory=4274952 CPUtime=102.29 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 814580 0 0 0 10121 108 0 0 20 0 1 0 433570512 4674396160 1068738 33554432000 4194304 6211092 140736726591744 140736726584888 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 1141210 1068738 839 493 0 1134515 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 4564840 KiB
Current children cumulated memory: 4274952 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.74 0.97 3/205 14171
/proc/meminfo: memFree=17771180/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=5674456 memory=5520580 CPUtime=162.29 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 1049364 0 0 0 16087 142 0 0 20 0 1 0 433570512 5810642944 1380145 33554432000 4194304 6211092 140736726591744 140736726584888 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 1418614 1380145 839 493 0 1411919 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 5674456 KiB
Current children cumulated memory: 5520580 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.79 1.04 3/204 14177
/proc/meminfo: memFree=13748356/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=7945940 memory=7543408 CPUtime=222.28 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 1430373 0 0 0 22029 199 0 0 20 0 1 0 433570512 8136642560 1885852 33554432000 4194304 6211092 140736726591744 140736726584888 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 1986485 1885852 839 493 0 1979790 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 7945940 KiB
Current children cumulated memory: 7543408 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.82 1.09 3/206 14190
/proc/meminfo: memFree=8237364/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=10714016 memory=9971156 CPUtime=282.29 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 1886549 0 0 0 27962 267 0 0 20 0 1 0 433570512 10971152384 2492789 33554432000 4194304 6211092 140736726591744 140736726584888 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 2678504 2492789 839 493 0 2671809 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 10714016 KiB
Current children cumulated memory: 9971156 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.86 1.15 3/205 14194
/proc/meminfo: memFree=4381408/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=12566900 memory=12442308 CPUtime=342.28 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 2350110 0 0 0 33889 339 0 0 20 0 1 0 433570512 12868505600 3110577 33554432000 4194304 6211092 140736726591744 140736726584888 139841676291045 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 3141725 3110577 839 493 0 3135030 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 12566900 KiB
Current children cumulated memory: 12442308 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.88 1.20 3/206 14201
/proc/meminfo: memFree=1927728/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=15105388 memory=13684396 CPUtime=402.28 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 2584592 0 0 0 39847 381 0 0 20 0 1 0 433570512 15467917312 3421099 33554432000 4194304 6211092 140736726591744 140736726584888 139841676300163 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 3776347 3421099 839 493 0 3769652 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 15105388 KiB
Current children cumulated memory: 13684396 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+439 s]*
/proc/loadavg: 2.00 1.89 1.23 2/199 14251
/proc/meminfo: memFree=15403232/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=15874420 memory=14709568 CPUtime=438.99 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 4202496 2780121 0 0 0 43478 421 0 0 20 0 1 0 433570512 16255406080 3677392 33554432000 4194304 6211092 140736726591744 140736726584888 139841676291045 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 3968605 3677392 839 493 0 3961910 0
Current children cumulated CPU time: 438.99 s
Current children cumulated vsize: 15874420 KiB
Current children cumulated memory: 14709568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+441.766 s]
# the end of solver process 14159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=435.021 s, system=4.98368 s
Solver just ended.
Dumping a history of the last processes samples
[startup+440 s]*
/proc/loadavg: 2.00 1.89 1.23 4/206 14267
/proc/meminfo: memFree=15028740/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=15874552 memory=14709568 CPUtime=439.08 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) S 14156 14159 13926 0 -1 512 2780137 0 0 0 43486 422 0 0 20 0 1 0 433570512 16255541248 3677392 33554432000 4194304 6211092 140736726591744 140736726584888 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 3968638 3677392 839 493 0 3961943 0
Current children cumulated CPU time: 439.08 s
Current children cumulated vsize: 15874552 KiB
Current children cumulated memory: 14709568 KiB
[startup+440.8 s]
/proc/loadavg: 2.00 1.89 1.23 4/206 14267
/proc/meminfo: memFree=15028740/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=15874552 memory=14709568 CPUtime=439.2 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) S 14156 14159 13926 0 -1 512 2780137 0 0 0 43498 422 0 0 20 0 1 0 433570512 16255541248 3677392 33554432000 4194304 6211092 140736726591744 140736726584888 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 3968638 3677392 839 493 0 3961943 0
Current children cumulated CPU time: 439.2 s
Current children cumulated vsize: 15874552 KiB
Current children cumulated memory: 14709568 KiB
[startup+441 s]*
/proc/loadavg: 2.00 1.89 1.23 3/206 14267
/proc/meminfo: memFree=14448716/32770624 swapFree=66916988/67108860
[pid=14159] ppid=14156 vsize=15874552 memory=14709568 CPUtime=439.24 cores=1,3,5,7
/proc/14159/stat : 14159 (cosoco) R 14156 14159 13926 0 -1 512 2780137 0 0 0 43502 422 0 0 20 0 1 0 433570512 16255541248 3677392 33554432000 4194304 6211092 140736726591744 140736726584888 5189768 0 16384 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25735168 140736726598667 140736726598769 140736726598769 140736726601678 0
/proc/14159/statm: 3968638 3677392 839 493 0 3961943 0
Current children cumulated CPU time: 439.24 s
Current children cumulated vsize: 15874552 KiB
Current children cumulated memory: 14709568 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 441.766
CPU time (s): 440.004
CPU user time (s): 435.021
CPU system time (s): 4.98368
CPU usage (%): 99.6012
Max. virtual memory (cumulated for all children) (KiB): 15874552
Max. memory (cumulated for all children) (KiB): 14709568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 435.021
system time used= 4.98368
maximum resident set size= 14709696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2780137
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= 116191
involuntary context switches= 416
# summary of solver processes directly reported to runsolver:
# pid: 14159
# total CPU time (s): 440.004
# total CPU user time (s): 435.021
# total CPU system time (s): 4.98368
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57999 second user time and 3.20048 second system time
The end