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-4408333-1569800408.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.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.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.13 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.09/0.21 o 414
0.09/0.21 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.26 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.20/0.31 o 733
0.20/0.31 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.36 o 854
0.30/0.38 o 859
0.30/0.38 c 17 calls to solver(id=*d): best=0 lower=859 upper=860
0.30/0.40 o 913
0.40/0.41 o 960
0.40/0.41 c 19 calls to solver(id=*d): best=0 lower=960 upper=961
0.40/0.43 o 1059
0.40/0.45 o 1156
0.40/0.45 c 21 calls to solver(id=*d): best=0 lower=1156 upper=1157
0.40/0.47 o 1189
0.40/0.48 o 1238
0.40/0.48 c 23 calls to solver(id=*d): best=0 lower=1238 upper=1239
0.40/0.50 o 1296
0.50/0.52 o 1381
0.50/0.52 c 25 calls to solver(id=*d): best=0 lower=1381 upper=1382
0.50/0.54 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.59/0.69 o 3331
0.68/0.83 o 3656
0.68/0.83 c 29 calls to solver(id=*d): best=0 lower=3656 upper=3657
0.88/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.18/1.21 o 3782
1.28/1.36 o 3847
1.28/1.36 c 33 calls to solver(id=*d): best=0 lower=3847 upper=3848
1.58/1.69 o 3971
1.88/1.92 o 4043
1.88/1.92 c 35 calls to solver(id=*d): best=0 lower=4043 upper=4044
2.48/2.50 o 4050
2.68/2.79 o 4106
2.68/2.79 c 37 calls to solver(id=*d): best=0 lower=4106 upper=4107
2.99/3.06 o 4161
3.28/3.32 o 4167
3.28/3.32 c 39 calls to solver(id=*d): best=0 lower=4167 upper=4168
3.58/3.61 o 4227
6.28/6.31 o 4278
6.28/6.31 c 41 calls to solver(id=*d): best=0 lower=4278 upper=4279
9.39/9.48 o 4300
15.10/15.14 o 4355
15.10/15.14 c 43 calls to solver(id=*d): best=0 lower=4355 upper=4356
15.49/15.56 o 4391
17.29/17.37 o 4482
17.29/17.37 c 45 calls to solver(id=*d): best=0 lower=4482 upper=4483
17.29/17.37 s OPTIMUM FOUND
17.29/17.37 c call to solver : 46
17.29/17.37 c
17.29/17.37 c restarts : 69
17.29/17.37 c conflicts : 2896 (167 /sec)
17.29/17.37 c decisions : 29729 (1713 /sec)
17.29/17.37 c propagations : 1827230 (105272 /sec)
17.29/17.37 c root propagations : 824
17.29/17.37 c filter calls : 687353 (39601 /sec)
17.29/17.37 c useless filter calls : 445855 (64 %)
17.29/17.37 c Memory used : 31.29 MB
17.29/17.37 c Best bound time (wc) : 17.3661 s
17.29/17.37 c CPU time : 17.3571 s
17.29/17.37 c real time : 17.3664 s
17.29/17.37
17.29/17.37
17.29/17.37 v <instantiation type='solution' cost='4482'>
17.29/17.37 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.29/17.37 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.29/17.37 v </instantiation>
17.29/17.37
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 (15103 MiB free)
memory of node 1: 16384 MiB (15589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408333-1569800408/watcher-4408333-1569800408 -o /tmp/evaluation-result-4408333-1569800408/solver-4408333-1569800408 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569783168-25107 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408333-1569800408.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28070, runsolver pid=28067
[startup+0.100117 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28071
/proc/meminfo: memFree=31426200/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=31456 memory=7920 CPUtime=0.09 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 2206 0 0 0 9 0 0 0 20 0 1 0 556297128 32210944 1980 33554432000 4194304 6211132 140735170417120 140735170413656 5250304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/statm: 7864 1980 858 493 0 1169 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31456 KiB
Current children cumulated memory: 7920 KiB
[startup+0.209625 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28071
/proc/meminfo: memFree=31425828/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=31720 memory=8448 CPUtime=0.2 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 2278 0 0 0 20 0 0 0 20 0 1 0 556297128 32481280 2112 33554432000 4194304 6211132 140735170417120 140735170413656 140207387978848 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/statm: 7930 2112 899 493 0 1235 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31720 KiB
Current children cumulated memory: 8448 KiB
[startup+0.309136 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28071
/proc/meminfo: memFree=31425828/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=31720 memory=8448 CPUtime=0.3 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 2281 0 0 0 30 0 0 0 20 0 1 0 556297128 32481280 2112 33554432000 4194304 6211132 140735170417120 140735170413656 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/statm: 7930 2112 899 493 0 1235 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31720 KiB
Current children cumulated memory: 8448 KiB
[startup+0.700263 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28071
/proc/meminfo: memFree=31425480/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=31872 memory=8448 CPUtime=0.68 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 2305 0 0 0 68 0 0 0 20 0 1 0 556297128 32636928 2112 33554432000 4194304 6211132 140735170417120 140735170415256 5250304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/statm: 7968 2112 899 493 0 1273 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 31872 KiB
Current children cumulated memory: 8448 KiB
[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28071
/proc/meminfo: memFree=31425192/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=31872 memory=8448 CPUtime=1.48 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 2311 0 0 0 148 0 0 0 20 0 1 0 556297128 32636928 2112 33554432000 4194304 6211132 140735170417120 140735170415256 5389855 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/statm: 7968 2112 899 493 0 1273 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31872 KiB
Current children cumulated memory: 8448 KiB
[startup+3.1091 s]
/proc/loadavg: 1.84 1.98 2.03 3/199 28071
/proc/meminfo: memFree=31425192/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=32036 memory=8672 CPUtime=3.09 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 3352 0 0 0 309 0 0 0 20 0 1 0 556297128 32804864 2168 33554432000 4194304 6211132 140735170417120 140735170415256 5158055 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
[startup+6.30026 s]
/proc/loadavg: 1.84 1.98 2.03 3/199 28071
/proc/meminfo: memFree=31424952/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=32036 memory=8672 CPUtime=6.28 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 4351 0 0 0 628 0 0 0 20 0 1 0 556297128 32804864 2168 33554432000 4194304 6211132 140735170417120 140735170415256 5193786 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 1.98 2.03 3/199 28071
/proc/meminfo: memFree=31424952/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=32036 memory=8672 CPUtime=12.69 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 5772 0 0 0 1268 1 0 0 20 0 1 0 556297128 32804864 2168 33554432000 4194304 6211132 140735170417120 140735170405000 5389855 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/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.3722 s]
# the end of solver process 28070 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.3572 s, system=0.011998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 1.87 1.98 2.03 3/199 28071
/proc/meminfo: memFree=31424952/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=32036 memory=8672 CPUtime=12.79 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 5772 0 0 0 1278 1 0 0 20 0 1 0 556297128 32804864 2168 33554432000 4194304 6211132 140735170417120 140735170405000 5389840 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/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.87 1.98 2.03 3/199 28071
/proc/meminfo: memFree=31424952/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=32036 memory=8672 CPUtime=14.39 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 6364 0 0 0 1438 1 0 0 20 0 1 0 556297128 32804864 2168 33554432000 4194304 6211132 140735170417120 140735170415256 5145444 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/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.0003 s]*
/proc/loadavg: 1.87 1.98 2.03 3/199 28071
/proc/meminfo: memFree=31425280/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=32036 memory=8672 CPUtime=16 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 6386 0 0 0 1599 1 0 0 20 0 1 0 556297128 32804864 2168 33554432000 4194304 6211132 140735170417120 140735170415256 5145444 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/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.8003 s]
/proc/loadavg: 1.87 1.98 2.03 3/199 28071
/proc/meminfo: memFree=31425280/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=32036 memory=8672 CPUtime=16.79 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 6386 0 0 0 1678 1 0 0 20 0 1 0 556297128 32804864 2168 33554432000 4194304 6211132 140735170417120 140735170415256 5145365 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/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.2003 s]
/proc/loadavg: 1.88 1.98 2.03 3/199 28071
/proc/meminfo: memFree=31425280/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=32036 memory=8672 CPUtime=17.19 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 6386 0 0 0 1718 1 0 0 20 0 1 0 556297128 32804864 2168 33554432000 4194304 6211132 140735170417120 140735170415256 5390192 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/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
[startup+17.3003 s]
/proc/loadavg: 1.88 1.98 2.03 3/199 28071
/proc/meminfo: memFree=31425280/32770624 swapFree=66986684/67108860
[pid=28070] ppid=28067 vsize=32036 memory=8672 CPUtime=17.29 cores=1,3,5,7
/proc/28070/stat : 28070 (cosoco) R 28067 28070 25075 0 -1 4202496 6386 0 0 0 1728 1 0 0 20 0 1 0 556297128 32804864 2168 33554432000 4194304 6211132 140735170417120 140735170415256 5389855 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32808960 140735170421771 140735170421873 140735170421873 140735170424782 0
/proc/28070/statm: 8009 2168 899 493 0 1314 0
Current children cumulated CPU time: 17.29 s
Current children cumulated vsize: 32036 KiB
Current children cumulated memory: 8672 KiB
Child status: 0
Real time (s): 17.3722
CPU time (s): 17.3692
CPU user time (s): 17.3572
CPU system time (s): 0.011998
CPU usage (%): 99.9824
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.3572
system time used= 0.011998
maximum resident set size= 8736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6423
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= 14
involuntary context switches= 7
# summary of solver processes directly reported to runsolver:
# pid: 28070
# total CPU time (s): 17.3692
# total CPU user time (s): 17.3572
# total CPU system time (s): 0.011998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081976 second user time and 0.16241 second system time
The end