0.00/0.05 c
0.00/0.05 c This is cosoco 2.00 --
0.00/0.05 c
0.00/0.05 c command line: cosoco -lc -model -restarts -stick HOME/instance-4409013-1569804598.xml
0.00/0.05 c intension iff(eq(g[2],0),eq(s[2],2)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[3],0),eq(s[3],3)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[4],0),eq(s[4],4)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[5],0),eq(s[5],5)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[6],0),eq(s[6],6)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[7],0),eq(s[7],7)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[8],0),eq(s[8],8)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[9],0),eq(s[9],9)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[10],0),eq(s[10],10)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[11],0),eq(s[11],11)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[12],0),eq(s[12],12)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[13],0),eq(s[13],13)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[14],0),eq(s[14],14)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[15],0),eq(s[15],15)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[16],0),eq(s[16],16)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[17],0),eq(s[17],17)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[18],0),eq(s[18],18)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[19],0),eq(s[19],19)) -> extension (support ? 1) - 100tuples
0.00/0.05 c intension iff(eq(g[20],0),eq(s[20],20)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[21],0),eq(s[21],21)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[22],0),eq(s[22],22)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[23],0),eq(s[23],23)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[24],0),eq(s[24],24)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[25],0),eq(s[25],25)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[26],0),eq(s[26],26)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[27],0),eq(s[27],27)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[28],0),eq(s[28],28)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[29],0),eq(s[29],29)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[30],0),eq(s[30],30)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[31],0),eq(s[31],31)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[32],0),eq(s[32],32)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[33],0),eq(s[33],33)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[34],0),eq(s[34],34)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[35],0),eq(s[35],35)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[36],0),eq(s[36],36)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[37],0),eq(s[37],37)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[38],0),eq(s[38],38)) -> extension (support ? 1) - 100tuples
0.00/0.06 c intension iff(eq(g[39],0),eq(s[39],39)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[40],0),eq(s[40],40)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[41],0),eq(s[41],41)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[42],0),eq(s[42],42)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[43],0),eq(s[43],43)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[44],0),eq(s[44],44)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[45],0),eq(s[45],45)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[46],0),eq(s[46],46)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[47],0),eq(s[47],47)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[48],0),eq(s[48],48)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[49],0),eq(s[49],49)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[50],0),eq(s[50],50)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[51],0),eq(s[51],51)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[52],0),eq(s[52],52)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[53],0),eq(s[53],53)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[54],0),eq(s[54],54)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[55],0),eq(s[55],55)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[56],0),eq(s[56],56)) -> extension (support ? 1) - 100tuples
0.00/0.07 c intension iff(eq(g[57],0),eq(s[57],57)) -> extension (support ? 1) - 1tuples
0.00/0.07 c intension iff(eq(g[58],0),eq(s[58],58)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[59],0),eq(s[59],59)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[60],0),eq(s[60],60)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[61],0),eq(s[61],61)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[62],0),eq(s[62],62)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[63],0),eq(s[63],63)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[64],0),eq(s[64],64)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[65],0),eq(s[65],65)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[66],0),eq(s[66],66)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[67],0),eq(s[67],67)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[68],0),eq(s[68],68)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[69],0),eq(s[69],69)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[70],0),eq(s[70],70)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[71],0),eq(s[71],71)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[72],0),eq(s[72],72)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[73],0),eq(s[73],73)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[74],0),eq(s[74],74)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[75],0),eq(s[75],75)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[76],0),eq(s[76],76)) -> extension (support ? 1) - 100tuples
0.00/0.08 c intension iff(eq(g[77],0),eq(s[77],77)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[78],0),eq(s[78],78)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[79],0),eq(s[79],79)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[80],0),eq(s[80],80)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[81],0),eq(s[81],81)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[82],0),eq(s[82],82)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[83],0),eq(s[83],83)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[84],0),eq(s[84],84)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[85],0),eq(s[85],85)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[86],0),eq(s[86],86)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[87],0),eq(s[87],87)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[88],0),eq(s[88],88)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[89],0),eq(s[89],89)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[90],0),eq(s[90],90)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[91],0),eq(s[91],91)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[92],0),eq(s[92],92)) -> extension (support ? 1) - 1tuples
0.00/0.09 c intension iff(eq(g[93],0),eq(s[93],93)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[94],0),eq(s[94],94)) -> extension (support ? 1) - 1tuples
0.00/0.09 c intension iff(eq(g[95],0),eq(s[95],95)) -> extension (support ? 1) - 100tuples
0.00/0.09 c intension iff(eq(g[96],0),eq(s[96],96)) -> extension (support ? 1) - 100tuples
0.00/0.10 c intension iff(eq(g[97],0),eq(s[97],97)) -> extension (support ? 1) - 100tuples
0.00/0.10 c intension iff(eq(g[98],0),eq(s[98],98)) -> extension (support ? 1) - 100tuples
0.00/0.10 c intension iff(eq(g[99],0),eq(s[99],99)) -> extension (support ? 1) - 100tuples
0.10/0.12 c enable optimization
0.10/0.12 c ========================================[ Problem Statistics ]===========================================
0.10/0.12 c |
0.10/0.12 c | Parse time : 0.10 s
0.10/0.12 c |
0.10/0.12 c | Variables: 300
0.10/0.12 c | Domain Sizes: 1..100
0.10/0.12 c |
0.10/0.12 c | Constraints: 202
0.10/0.12 c | Arity: 1..100 -- Unary: 1 -- Binary: 198
0.10/0.12 c |
0.10/0.12 c | Types:
0.10/0.12 c | Circuit: 1
0.10/0.12 c | Extension: 198 (nb tuples: 1..100) -- (shared: 0)
0.10/0.12 c | Sum: 2
0.10/0.12 c | Unary: 1
0.10/0.12 c |
0.10/0.12 c | Objective: Maximize Sum
0.10/0.12
0.10/0.12 c =========================================================================================================
0.10/0.12 o 0
0.10/0.12 c 1 calls to solver(id=*d): best=0 lower=0 upper=1
0.10/0.13 o 7
0.10/0.15 o 105
0.10/0.15 c 3 calls to solver(id=*d): best=0 lower=105 upper=106
0.10/0.17 o 204
0.10/0.18 o 302
0.10/0.18 c 5 calls to solver(id=*d): best=0 lower=302 upper=303
0.10/0.20 o 345
0.21/0.21 o 414
0.21/0.21 c 7 calls to solver(id=*d): best=0 lower=414 upper=415
0.21/0.23 o 509
0.21/0.25 o 593
0.21/0.25 c 9 calls to solver(id=*d): best=0 lower=593 upper=594
0.21/0.26 o 620
0.21/0.28 o 649
0.21/0.28 c 11 calls to solver(id=*d): best=0 lower=649 upper=650
0.21/0.30 o 700
0.31/0.31 o 733
0.31/0.31 c 13 calls to solver(id=*d): best=0 lower=733 upper=734
0.31/0.33 o 790
0.31/0.35 o 802
0.31/0.35 c 15 calls to solver(id=*d): best=0 lower=802 upper=803
0.31/0.36 o 854
0.31/0.38 o 859
0.31/0.38 c 17 calls to solver(id=*d): best=0 lower=859 upper=860
0.31/0.40 o 913
0.41/0.42 o 960
0.41/0.42 c 19 calls to solver(id=*d): best=0 lower=960 upper=961
0.41/0.43 o 1059
0.41/0.45 o 1156
0.41/0.45 c 21 calls to solver(id=*d): best=0 lower=1156 upper=1157
0.41/0.47 o 1189
0.41/0.49 o 1238
0.41/0.49 c 23 calls to solver(id=*d): best=0 lower=1238 upper=1239
0.41/0.51 o 1296
0.51/0.52 o 1381
0.51/0.52 c 25 calls to solver(id=*d): best=0 lower=1381 upper=1382
0.51/0.54 o 1473
0.51/0.56 o 1488
0.51/0.56 c 27 calls to solver(id=*d): best=0 lower=1488 upper=1489
0.60/0.69 o 3331
0.79/0.83 o 3656
0.79/0.83 c 29 calls to solver(id=*d): best=0 lower=3656 upper=3657
0.89/0.95 o 3744
1.00/1.09 o 3781
1.00/1.09 c 31 calls to solver(id=*d): best=0 lower=3781 upper=3782
1.19/1.21 o 3782
1.29/1.35 o 3847
1.29/1.35 c 33 calls to solver(id=*d): best=0 lower=3847 upper=3848
1.59/1.68 o 3971
1.89/1.91 o 4043
1.89/1.91 c 35 calls to solver(id=*d): best=0 lower=4043 upper=4044
2.39/2.48 o 4050
2.69/2.77 o 4106
2.69/2.77 c 37 calls to solver(id=*d): best=0 lower=4106 upper=4107
3.00/3.03 o 4161
3.19/3.29 o 4167
3.19/3.29 c 39 calls to solver(id=*d): best=0 lower=4167 upper=4168
3.49/3.58 o 4227
6.19/6.26 o 4278
6.19/6.26 c 41 calls to solver(id=*d): best=0 lower=4278 upper=4279
9.39/9.42 o 4300
15.00/15.06 o 4355
15.00/15.06 c 43 calls to solver(id=*d): best=0 lower=4355 upper=4356
15.39/15.48 o 4391
17.19/17.28 o 4482
17.19/17.28 c 45 calls to solver(id=*d): best=0 lower=4482 upper=4483
17.19/17.28 s OPTIMUM FOUND
17.19/17.28 c call to solver : 46
17.19/17.28 c
17.19/17.28 c restarts : 69
17.19/17.28 c conflicts : 2896 (168 /sec)
17.19/17.28 c decisions : 29729 (1721 /sec)
17.19/17.28 c propagations : 1827230 (105748 /sec)
17.19/17.28 c root propagations : 824
17.19/17.28 c filter calls : 687353 (39780 /sec)
17.19/17.28 c useless filter calls : 445855 (64 %)
17.19/17.28 c Memory used : 31.29 MB
17.19/17.28 c Best bound time (wc) : 17.2828 s
17.19/17.28 c CPU time : 17.279 s
17.19/17.28 c real time : 17.2831 s
17.19/17.28
17.19/17.28
17.19/17.28 v <instantiation type='solution' cost='4482'>
17.19/17.28 v <list>f[0] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[1] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[2] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] g[0] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[1] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] g[2] g[30] g[31] g[32] g[33] g[34] g[35] g[36] g[37] g[38] g[39] g[3] g[40] g[41] g[42] g[43] g[44] g[45] g[46] g[47] g[48] g[49] g[4] g[50] g[51] g[52] g[53] g[54] g[55] g[56] g[57] g[58] g[59] g[5] g[60] g[61] g[62] g[63] g[64] g[65] g[66] g[67] g[68] g[69] g[6] g[70] g[71] g[72] g[73] g[74] g[75] g[76] g[77] g[78] g[79] g[7] g[80] g[81] g[82] g[83] g[84] g[85] g[86] g[87] g[88] g[89] g[8] g[90] g[91] g[92] g[93] g[94] g[95] g[96] g[97] g[98] g[99] g[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[5] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[6] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[7] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[8] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[9] </list>
17.19/17.28 v <values>92 366 480 57 379 356 4 306 59 400 86 0 238 322 110 308 268 332 367 415 234 4 35 315 450 395 15 346 389 85 124 477 165 3 465 159 83 239 286 126 402 50 287 125 92 353 89 343 56 260 312 211 0 395 458 469 457 108 11 196 112 316 228 269 31 157 30 11 151 46 98 2 7 322 298 21 265 470 63 31 70 45 25 125 429 85 185 251 418 256 290 0 23 0 202 112 26 6 12 470 0 31 3 47 60 28 90 78 15 17 17 0 8 65 8 56 61 2 80 47 15 20 74 89 92 57 29 7 30 46 43 69 33 24 84 51 70 57 41 98 52 42 53 95 6 25 5 12 37 3 12 59 0 47 31 5 99 51 7 26 98 65 33 97 44 18 54 49 36 58 30 55 57 69 60 13 99 91 65 73 84 63 56 91 88 6 91 37 22 43 11 0 1 0 85 27 69 54 60 21 2 11 12 13 14 15 16 17 18 19 20 0 21 22 23 24 25 26 27 28 29 30 97 31 32 33 34 64 36 37 40 39 41 93 38 42 43 44 46 49 47 48 50 76 5 51 52 61 54 55 56 59 57 53 60 6 62 58 63 65 79 66 67 71 85 95 7 74 72 73 80 84 70 35 4 88 45 8 68 78 90 75 81 96 89 69 1 91 9 87 3 92 77 94 98 99 82 86 83 10 </values>
17.19/17.28 v </instantiation>
17.19/17.28
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 (15276 MiB free)
memory of node 1: 16384 MiB (15595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409013-1569804598/watcher-4409013-1569804598 -o /tmp/evaluation-result-4409013-1569804598/solver-4409013-1569804598 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1569783707-21610 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409013-1569804598.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25498, runsolver pid=25495
[startup+0.100128 s]*
/proc/loadavg: 2.03 2.07 2.06 3/199 25499
/proc/meminfo: memFree=31609232/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=31456 memory=7920 CPUtime=0.1 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 2205 0 0 0 10 0 0 0 20 0 1 0 556713472 32210944 1980 33554432000 4194304 6211132 140731078598816 140731078595352 5082397 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 7864 1980 858 493 0 1169 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31456 KiB
Current children cumulated memory: 7920 KiB
[startup+0.209705 s]*
/proc/loadavg: 2.03 2.07 2.06 3/199 25499
/proc/meminfo: memFree=31609232/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=31720 memory=8448 CPUtime=0.21 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 2277 0 0 0 21 0 0 0 20 0 1 0 556713472 32481280 2112 33554432000 4194304 6211132 140731078598816 140731078595352 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 7930 2112 899 493 0 1235 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31720 KiB
Current children cumulated memory: 8448 KiB
[startup+0.309083 s]*
/proc/loadavg: 2.03 2.07 2.06 3/199 25499
/proc/meminfo: memFree=31608968/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=31720 memory=8448 CPUtime=0.31 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 2280 0 0 0 31 0 0 0 20 0 1 0 556713472 32481280 2112 33554432000 4194304 6211132 140731078598816 140731078595352 5082818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 7930 2112 899 493 0 1235 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31720 KiB
Current children cumulated memory: 8448 KiB
[startup+0.700276 s]
/proc/loadavg: 2.03 2.07 2.06 3/199 25499
/proc/meminfo: memFree=31608968/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=31872 memory=8448 CPUtime=0.69 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 2304 0 0 0 69 0 0 0 20 0 1 0 556713472 32636928 2112 33554432000 4194304 6211132 140731078598816 140731078595352 5193786 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 7968 2112 899 493 0 1273 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31872 KiB
Current children cumulated memory: 8448 KiB
[startup+1.50028 s]
/proc/loadavg: 2.03 2.07 2.06 3/199 25499
/proc/meminfo: memFree=31608604/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=31872 memory=8448 CPUtime=1.49 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 2310 0 0 0 149 0 0 0 20 0 1 0 556713472 32636928 2112 33554432000 4194304 6211132 140731078598816 140731078586696 5145424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 7968 2112 899 493 0 1273 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31872 KiB
Current children cumulated memory: 8448 KiB
[startup+3.10927 s]
/proc/loadavg: 2.03 2.07 2.06 3/199 25499
/proc/meminfo: memFree=31608536/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=32036 memory=8672 CPUtime=3.1 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 3350 0 0 0 310 0 0 0 20 0 1 0 556713472 32804864 2168 33554432000 4194304 6211132 140731078598816 140731078586696 5158060 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
[startup+6.30026 s]
/proc/loadavg: 1.87 2.04 2.05 3/199 25499
/proc/meminfo: memFree=31608476/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=32036 memory=8672 CPUtime=6.29 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 4372 0 0 0 629 0 0 0 20 0 1 0 556713472 32804864 2168 33554432000 4194304 6211132 140731078598816 140731078596952 5250321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
[startup+12.7003 s]
/proc/loadavg: 1.88 2.04 2.05 3/199 25499
/proc/meminfo: memFree=31608780/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=32036 memory=8672 CPUtime=12.69 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 5400 0 0 0 1269 0 0 0 20 0 1 0 556713472 32804864 2168 33554432000 4194304 6211132 140731078598816 140731078596952 5389855 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
[startup+17.2886 s]
# the end of solver process 25498 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.279 s, system=0.006999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 1.88 2.04 2.05 3/199 25499
/proc/meminfo: memFree=31608780/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=32036 memory=8672 CPUtime=12.79 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 5400 0 0 0 1279 0 0 0 20 0 1 0 556713472 32804864 2168 33554432000 4194304 6211132 140731078598816 140731078596952 5145444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
[startup+14.4003 s]
/proc/loadavg: 1.89 2.04 2.05 3/199 25499
/proc/meminfo: memFree=31608780/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=32036 memory=8672 CPUtime=14.39 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 6361 0 0 0 1439 0 0 0 20 0 1 0 556713472 32804864 2168 33554432000 4194304 6211132 140731078598816 140731078596952 5389855 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 14.39 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
[startup+16.0002 s]*
/proc/loadavg: 1.89 2.04 2.05 3/199 25499
/proc/meminfo: memFree=31608812/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=32036 memory=8672 CPUtime=16 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 6384 0 0 0 1600 0 0 0 20 0 1 0 556713472 32804864 2168 33554432000 4194304 6211132 140731078598816 140731078596952 5145605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
[startup+16.8002 s]
/proc/loadavg: 1.89 2.04 2.05 3/199 25499
/proc/meminfo: memFree=31608812/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=32036 memory=8672 CPUtime=16.79 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 6384 0 0 0 1679 0 0 0 20 0 1 0 556713472 32804864 2168 33554432000 4194304 6211132 140731078598816 140731078596952 5390192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 16.79 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
[startup+17.2002 s]
/proc/loadavg: 1.89 2.04 2.05 3/199 25499
/proc/meminfo: memFree=31608812/32770624 swapFree=67000008/67108860
[pid=25498] ppid=25495 vsize=32036 memory=8672 CPUtime=17.19 cores=0,2,4,6
/proc/25498/stat : 25498 (cosoco) R 25495 25498 21579 0 -1 4202496 6384 0 0 0 1719 0 0 0 20 0 1 0 556713472 32804864 2168 33554432000 4194304 6211132 140731078598816 140731078596952 5145525 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 36474880 140731078603787 140731078603889 140731078603889 140731078606798 0
/proc/25498/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 17.19 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
Child status: 0
Real time (s): 17.2887
CPU time (s): 17.286
CPU user time (s): 17.279
CPU system time (s): 0.006999
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 32036
Max. memory (cumulated for all children) (KiB): 8672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.279
system time used= 0.006999
maximum resident set size= 8736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6421
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= 13
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 25498
# total CPU time (s): 17.286
# total CPU user time (s): 17.279
# total CPU system time (s): 0.006999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076459 second user time and 0.169681 second system time
The end