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-4397753-1568583633.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.06 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.07 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.08 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.09 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.10 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.09/0.12 c enable optimization
0.09/0.12 c ========================================[ Problem Statistics ]===========================================
0.09/0.12 c |
0.09/0.12 c | Parse time : 0.09 s
0.09/0.12 c |
0.09/0.12 c | Variables: 300
0.09/0.12 c | Domain Sizes: 1..100
0.09/0.12 c |
0.09/0.12 c | Constraints: 202
0.09/0.12 c | Arity: 1..100 -- Unary: 1 -- Binary: 198
0.09/0.12 c |
0.09/0.12 c | Types:
0.09/0.12 c | Circuit: 1
0.09/0.12 c | Extension: 198 (nb tuples: 1..100) -- (shared: 0)
0.09/0.12 c | Sum: 2
0.09/0.12 c | Unary: 1
0.09/0.12 c |
0.09/0.12 c | Objective: Maximize Sum
0.09/0.12
0.09/0.12 c =========================================================================================================
0.09/0.12 o 0
0.09/0.12 c 1 calls to solver(id=*d): best=0 lower=0 upper=1
0.09/0.14 o 7
0.09/0.15 o 105
0.09/0.15 c 3 calls to solver(id=*d): best=0 lower=105 upper=106
0.09/0.17 o 204
0.09/0.18 o 302
0.09/0.18 c 5 calls to solver(id=*d): best=0 lower=302 upper=303
0.09/0.20 o 345
0.20/0.22 o 414
0.20/0.22 c 7 calls to solver(id=*d): best=0 lower=414 upper=415
0.20/0.23 o 509
0.20/0.25 o 593
0.20/0.25 c 9 calls to solver(id=*d): best=0 lower=593 upper=594
0.20/0.27 o 620
0.20/0.28 o 649
0.20/0.28 c 11 calls to solver(id=*d): best=0 lower=649 upper=650
0.20/0.30 o 700
0.30/0.32 o 733
0.30/0.32 c 13 calls to solver(id=*d): best=0 lower=733 upper=734
0.30/0.33 o 790
0.30/0.35 o 802
0.30/0.35 c 15 calls to solver(id=*d): best=0 lower=802 upper=803
0.30/0.37 o 854
0.30/0.39 o 859
0.30/0.39 c 17 calls to solver(id=*d): best=0 lower=859 upper=860
0.30/0.40 o 913
0.40/0.42 o 960
0.40/0.42 c 19 calls to solver(id=*d): best=0 lower=960 upper=961
0.40/0.44 o 1059
0.40/0.46 o 1156
0.40/0.46 c 21 calls to solver(id=*d): best=0 lower=1156 upper=1157
0.40/0.47 o 1189
0.40/0.49 o 1238
0.40/0.49 c 23 calls to solver(id=*d): best=0 lower=1238 upper=1239
0.40/0.51 o 1296
0.50/0.53 o 1381
0.50/0.53 c 25 calls to solver(id=*d): best=0 lower=1381 upper=1382
0.50/0.55 o 1473
0.50/0.56 o 1488
0.50/0.56 c 27 calls to solver(id=*d): best=0 lower=1488 upper=1489
0.69/0.70 o 3331
0.79/0.84 o 3656
0.79/0.84 c 29 calls to solver(id=*d): best=0 lower=3656 upper=3657
0.89/0.95 o 3744
0.99/1.09 o 3781
0.99/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.69 o 3971
1.89/1.92 o 4043
1.89/1.92 c 35 calls to solver(id=*d): best=0 lower=4043 upper=4044
2.39/2.49 o 4050
2.69/2.79 o 4106
2.69/2.79 c 37 calls to solver(id=*d): best=0 lower=4106 upper=4107
2.99/3.05 o 4161
3.29/3.31 o 4167
3.29/3.31 c 39 calls to solver(id=*d): best=0 lower=4167 upper=4168
3.49/3.59 o 4227
6.19/6.28 o 4278
6.19/6.28 c 41 calls to solver(id=*d): best=0 lower=4278 upper=4279
9.39/9.46 o 4300
15.10/15.12 o 4355
15.10/15.12 c 43 calls to solver(id=*d): best=0 lower=4355 upper=4356
15.50/15.54 o 4391
17.30/17.35 o 4482
17.30/17.35 c 45 calls to solver(id=*d): best=0 lower=4482 upper=4483
17.30/17.35 s OPTIMUM FOUND
17.30/17.35 c call to solver : 46
17.30/17.35 c
17.30/17.35 c restarts : 69
17.30/17.35 c conflicts : 2896 (167 /sec)
17.30/17.35 c decisions : 29729 (1714 /sec)
17.30/17.35 c propagations : 1827230 (105354 /sec)
17.30/17.35 c root propagations : 824
17.30/17.35 c filter calls : 687353 (39631 /sec)
17.30/17.35 c useless filter calls : 445855 (64 %)
17.30/17.35 c Memory used : 31.29 MB
17.30/17.35 c Best bound time (wc) : 17.3484 s
17.30/17.35 c CPU time : 17.3437 s
17.30/17.35 c real time : 17.3487 s
17.30/17.35
17.30/17.35
17.30/17.35 v <instantiation type='solution' cost='4482'>
17.30/17.35 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.30/17.35 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.30/17.35 v </instantiation>
17.30/17.35
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 (9442 MiB free)
memory of node 1: 16384 MiB (15449 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397753-1568583633/watcher-4397753-1568583633 -o /tmp/evaluation-result-4397753-1568583633/solver-4397753-1568583633 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568572740-702 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397753-1568583633.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=2658, runsolver pid=2655
[startup+0.100174 s]*
/proc/loadavg: 2.01 2.07 2.07 3/199 2659
/proc/meminfo: memFree=25485656/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=31456 memory=7916 CPUtime=0.09 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 2204 0 0 0 9 0 0 0 20 0 1 0 434611964 32210944 1979 33554432000 4194304 6211092 140736428145536 140736428142808 5157544 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 7864 1979 858 493 0 1169 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31456 KiB
Current children cumulated memory: 7916 KiB
[startup+0.209677 s]*
/proc/loadavg: 2.01 2.07 2.07 3/199 2659
/proc/meminfo: memFree=25485284/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=31720 memory=8444 CPUtime=0.2 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 2277 0 0 0 20 0 0 0 20 0 1 0 434611964 32481280 2111 33554432000 4194304 6211092 140736428145536 140736428142808 5250293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 7930 2111 899 493 0 1235 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31720 KiB
Current children cumulated memory: 8444 KiB
[startup+0.309238 s]*
/proc/loadavg: 2.01 2.07 2.07 3/199 2659
/proc/meminfo: memFree=25485284/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=31720 memory=8444 CPUtime=0.3 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 2280 0 0 0 30 0 0 0 20 0 1 0 434611964 32481280 2111 33554432000 4194304 6211092 140736428145536 140736428142808 5157976 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 7930 2111 899 493 0 1235 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31720 KiB
Current children cumulated memory: 8444 KiB
[startup+0.700337 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 2659
/proc/meminfo: memFree=25484912/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=31872 memory=8444 CPUtime=0.69 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 2299 0 0 0 69 0 0 0 20 0 1 0 434611964 32636928 2111 33554432000 4194304 6211092 140736428145536 140736428143672 5391447 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 7968 2111 899 493 0 1273 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31872 KiB
Current children cumulated memory: 8444 KiB
[startup+1.50034 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 2659
/proc/meminfo: memFree=25484912/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=31872 memory=8444 CPUtime=1.49 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 2310 0 0 0 149 0 0 0 20 0 1 0 434611964 32636928 2111 33554432000 4194304 6211092 140736428145536 140736428143672 5145582 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 7968 2111 899 493 0 1273 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31872 KiB
Current children cumulated memory: 8444 KiB
[startup+3.10917 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 2659
/proc/meminfo: memFree=25484476/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=32036 memory=8668 CPUtime=3.09 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 3295 0 0 0 309 0 0 0 20 0 1 0 434611964 32804864 2167 33554432000 4194304 6211092 140736428145536 140736428133416 5250293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 8009 2167 899 493 0 1314 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8668 KiB
[startup+6.30033 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 2659
/proc/meminfo: memFree=25484476/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=32036 memory=8668 CPUtime=6.29 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 4321 0 0 0 628 1 0 0 20 0 1 0 434611964 32804864 2167 33554432000 4194304 6211092 140736428145536 140736428143672 5158020 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 8009 2167 899 493 0 1314 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8668 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.07 2.07 3/200 2667
/proc/meminfo: memFree=25484144/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=32036 memory=8668 CPUtime=12.7 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 5350 0 0 0 1269 1 0 0 20 0 1 0 434611964 32804864 2167 33554432000 4194304 6211092 140736428145536 140736428143672 5250289 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 8009 2167 899 493 0 1314 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8668 KiB
[startup+17.3541 s]
# the end of solver process 2658 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.3444 s, system=0.010001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.01 2.07 2.07 3/200 2667
/proc/meminfo: memFree=25484144/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=32036 memory=8668 CPUtime=12.8 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 5350 0 0 0 1279 1 0 0 20 0 1 0 434611964 32804864 2167 33554432000 4194304 6211092 140736428145536 140736428143672 5145338 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 8009 2167 899 493 0 1314 0
Current children cumulated CPU time: 12.8 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8668 KiB
[startup+14.4003 s]
/proc/loadavg: 2.01 2.07 2.07 3/200 2667
/proc/meminfo: memFree=25484068/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=32036 memory=8668 CPUtime=14.4 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 5655 0 0 0 1439 1 0 0 20 0 1 0 434611964 32804864 2167 33554432000 4194304 6211092 140736428145536 140736428143672 5389823 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 8009 2167 899 493 0 1314 0
Current children cumulated CPU time: 14.4 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8668 KiB
[startup+16.0003 s]*
/proc/loadavg: 2.01 2.07 2.06 3/200 2667
/proc/meminfo: memFree=25484068/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=32036 memory=8668 CPUtime=16 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 6334 0 0 0 1599 1 0 0 20 0 1 0 434611964 32804864 2167 33554432000 4194304 6211092 140736428145536 140736428143672 5145582 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 8009 2167 899 493 0 1314 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8668 KiB
[startup+16.8003 s]
/proc/loadavg: 2.01 2.07 2.06 3/200 2667
/proc/meminfo: memFree=25484068/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=32036 memory=8668 CPUtime=16.8 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 6334 0 0 0 1679 1 0 0 20 0 1 0 434611964 32804864 2167 33554432000 4194304 6211092 140736428145536 140736428143672 5389808 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 8009 2167 899 493 0 1314 0
Current children cumulated CPU time: 16.8 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8668 KiB
[startup+17.2003 s]
/proc/loadavg: 2.01 2.07 2.06 3/200 2667
/proc/meminfo: memFree=25484068/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=32036 memory=8668 CPUtime=17.2 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 6334 0 0 0 1719 1 0 0 20 0 1 0 434611964 32804864 2167 33554432000 4194304 6211092 140736428145536 140736428143672 5389808 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 8009 2167 899 493 0 1314 0
Current children cumulated CPU time: 17.2 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8668 KiB
[startup+17.3003 s]
/proc/loadavg: 2.01 2.07 2.06 3/200 2667
/proc/meminfo: memFree=25484068/32770624 swapFree=67002444/67108860
[pid=2658] ppid=2655 vsize=32036 memory=8668 CPUtime=17.3 cores=0,2,4,6
/proc/2658/stat : 2658 (cosoco) R 2655 2658 671 0 -1 4202496 6334 0 0 0 1729 1 0 0 20 0 1 0 434611964 32804864 2167 33554432000 4194304 6211092 140736428145536 140736428143672 5389823 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 24002560 140736428151819 140736428151921 140736428151921 140736428154830 0
/proc/2658/statm: 8009 2167 899 493 0 1314 0
Current children cumulated CPU time: 17.3 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8668 KiB
Child status: 0
Real time (s): 17.3542
CPU time (s): 17.3544
CPU user time (s): 17.3444
CPU system time (s): 0.010001
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 32036
Max. memory (cumulated for all children) (KiB): 8668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.3444
system time used= 0.010001
maximum resident set size= 8732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6370
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= 8
# summary of solver processes directly reported to runsolver:
# pid: 2658
# total CPU time (s): 17.3544
# total CPU user time (s): 17.3444
# total CPU system time (s): 0.010001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.099676 second user time and 0.149858 second system time
The end