2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
cosoco 2.0	SAT	1878.35	1878.2

0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.09/0.16	c root propagations     : 0           
0.09/0.16	c restarts enabled, print stats at every restarts
0.09/0.16	c
0.09/0.16	c
0.09/0.16	c
0.09/0.16	c This is cosoco 2.00 --  
0.09/0.16	c
0.09/0.16	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396760-1568583447.xml 
0.09/0.16	c ========================================[ Problem Statistics ]===========================================
0.09/0.16	c |                                                                                                       
0.09/0.16	c |  Parse time        :         0.14 s 
0.09/0.16	c |
0.09/0.16	c |               Variables: 1200
0.09/0.16	c |            Domain Sizes: 2..24
0.09/0.16	c |
0.09/0.16	c |             Constraints: 1435
0.09/0.16	c |                   Arity: 2..200  -- Binary: 199  -- Ternary: 396
0.09/0.16	c | 
0.09/0.16	c |                   Types: 
0.09/0.16	c |                          Exactly K: 24
0.09/0.16	c |                          Extension: 200  (nb tuples: 24..24) -- (shared: 199)
0.09/0.16	c |                          Sum: 1211
0.09/0.16	c |                          
0.09/0.16	c =========================================================================================================
0.09/0.16	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.60/0.65	c 101            1518           95519          18267          0              0              884   985   907
0.79/0.81	c 211            2345           128588         35728          0              0              185   194   189
1.29/1.33	c 332            3762           225479         55797          0              0              181   984   652
1.89/1.96	c 465            4938           328865         75797          0              0              350   369   357
2.29/2.35	c 611            6324           403069         84702          0              0              885   909   897
2.79/2.80	c 771            7271           495348         103060         0              0              444   535   522
3.39/3.40	c 947            8302           613857         125989         0              0              453   529   518
4.10/4.19	c 1140           9668           775866         151822         0              0              514   545   527
4.89/4.94	c 1352           12498          921419         167901         0              0              280   687   580
5.89/5.91	c 1585           14514          1097449        189402         0              0              574   635   611
6.59/6.65	c 1841           16098          1237553        209585         0              0              584   644   625
7.19/7.25	c 2122           17709          1346716        226644         0              0              511   600   574
7.49/7.59	c 2431           19129          1425509        279859         0              0              145   160   153
8.69/8.75	c 2770           21101          1666319        319845         0              0              148   673   626
10.38/10.48	c 3142           24127          1949435        367244         0              0              400   566   534
11.78/11.88	c 3551           27568          2244815        421626         0              0              299   707   515
13.38/13.45	c 4000           30330          2678180        480964         0              0              662   704   688
14.48/14.50	c 4493           34645          2972506        536698         0              0              668   761   729
15.58/15.63	c 5035           38067          3238845        585343         0              0              861   917   894
16.68/16.74	c 5631           41004          3476508        629958         0              0              633   896   765
18.88/18.94	c 6286           45651          3904499        691698         0              0              370   852   712
20.99/21.01	c 7006           50018          4312391        756884         0              0              741   812   783
25.18/25.20	c 7798           57108          5110537        836996         0              0              776   866   855
29.28/29.37	c 8669           64506          6024453        911836         0              0              809   875   867
34.48/34.59	c 9627           75530          7125076        1039721        0              0              813   887   857
36.99/37.01	c 10680          83076          7753034        1162801        0              0              873   923   894
38.99/39.06	c 11838          89290          8247919        1254332        0              0              750   880   835
41.38/41.41	c 13111          95914          8862044        1360749        0              0              321   714   677
44.28/44.33	c 14511          104522         9562638        1451101        0              0              579   684   666
46.88/46.95	c 16051          113482         10288087       1554880        0              0              521   731   711
53.99/54.02	c 17745          124415         11755600       1704347        0              0              613   705   689
56.58/56.61	c 19608          134080         12448509       1823088        0              0              680   749   727
61.19/61.25	c 21657          142727         13181086       1923334        0              0              372   417   409
68.69/68.70	c 23910          148788         15055322       2114221        0              0              379   724   701
74.39/74.49	c 26388          167144         16723993       2345688        0              0              706   750   741
81.79/81.81	c 29113          182319         17899825       2855642        0              0              393   615   471
88.69/88.72	c 32110          201310         19268589       3210848        0              0              411   496   463
92.89/92.93	c 35406          219086         20406669       3965105        0              0              173   195   182
96.49/96.55	c 39031          235311         21413825       4907096        0              0              163   183   174
100.49/100.54	c 43018          254346         22601016       5979945        0              0              166   182   177
104.39/104.48	c 47403          275893         23724922       6776995        0              0              166   189   182
109.59/109.63	c 52226          300017         25171910       7679316        0              0              173   189   185
125.29/125.34	c 57531          324282         28076861       8270413        0              0              174   574   429
140.69/140.72	c 63366          341840         30584300       8673189        0              0              376   541   451
169.89/169.92	c 69784          358292         35976538       9340110        0              0              533   545   541
182.40/182.49	c 76843          380220         39300647       9945863        0              0              542   584   571
221.01/221.10	c 84607          404806         46812926       10885525       0              0              649   679   668
266.90/266.90	c 93147          433352         55854404       11934607       0              0              670   706   689
314.30/314.30	c 102541         492890         66228290       13030848       0              0              652   751   703
334.31/334.36	c 112874         519785         71326967       13765633       0              0              721   759   753
363.31/363.33	c 124240         571537         78656146       15153598       0              0              701   754   721
391.12/391.15	c 136742         638779         84912647       16438851       0              0              366   712   571
413.91/413.96	c 150494         706958         91081771       17258836       0              0              479   586   567
445.62/445.62	c 165621         750716         99255454       18564878       0              0              660   714   684
490.92/490.99	c 182260         816761         111140709      19977932       0              0              684   719   702
530.82/530.83	c 200562         901845         119239300      22787560       0              0              405   461   447
557.03/557.04	c 220694         1023065        126237467      23970079       0              0              151   672   658
597.14/597.14	c 242839         1104937        135871699      25523476       0              0              193   706   685
635.43/635.43	c 267198         1197655        146584604      27163425       0              0              672   705   698
688.74/688.71	c 293992         1293292        161614118      29223867       0              0              304   730   699
728.74/728.77	c 323465         1380127        174515195      31458477       0              0              587   627   608
792.55/792.53	c 355885         1527792        193517339      33748252       0              0              661   745   729
856.06/856.03	c 391547         1675323        210853138      36191318       0              0              190   766   749
968.36/968.37	c 430775         1933456        238210689      41298434       0              0              471   648   569
1093.67/1093.66	c 473925         2157295        263375746      54929011       0              0              154   526   243
1230.39/1230.34	c 521390         2357595        290036137      60997188       0              0              382   454   439
1269.50/1269.45	c 573601         2489863        303433297      64268980       0              0              703   743   723
1309.11/1309.09	c 631033         2667150        315825379      67146147       0              0              341   751   733
1438.31/1438.22	c 694208         2994283        342230623      70404035       0              0              477   542   514
1609.13/1609.10	c 763700         3442909        378148178      78746919       0              0              174   753   545
1725.14/1725.10	c 840141         3709509        411404573      85798211       0              0              376   750   691
1877.95/1877.87	c 924226         4119008        458074444      92478654       0              0              396   767   745
1878.26/1878.19	c First solution is found
1878.26/1878.19	s SATISFIABLE
1878.26/1878.19	c restarts              : 72          
1878.26/1878.19	c conflicts             : 924228       (492 /sec)
1878.26/1878.19	c decisions             : 4120210      (2194 /sec)
1878.26/1878.19	c propagations          : 92484992    (49238 /sec)
1878.26/1878.19	c root propagations     : 0           
1878.26/1878.19	c filter calls          : 458133578      (243905 /sec)
1878.26/1878.19	c useless filter calls  : 435491009      (95 %)
1878.26/1878.19	c Memory used           : 43.07 MB
1878.26/1878.19	c CPU time              : 1878.33 s
1878.26/1878.19	c real time             : 1878.19 s
1878.26/1878.19	
1878.26/1878.19	c solution 1
1878.26/1878.19	
1878.26/1878.19	v <instantiation type='solution'>
1878.26/1878.19	v <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4] </list>
1878.26/1878.19	v <values>9 6 14 17 2 6 19 3 23 11 6 2 20 14 18 11 17 15 20 16 17 2 20 6 10 20 17 17 2 23 2 17 2 6 4 14 3 17 11 17 6 4 17 17 20 3 6 4 17 2 17 4 23 2 18 17 2 17 14 20 6 2 18 2 17 3 6 22 6 3 17 19 2 6 5 17 11 6 17 22 20 2 6 2 6 17 17 2 7 17 2 6 11 0 3 20 2 6 21 2 18 20 2 14 12 17 2 20 17 0 15 17 20 17 0 11 6 3 17 2 14 18 2 18 2 17 3 14 11 17 17 2 20 16 18 2 13 2 17 2 19 2 6 17 11 6 2 18 2 14 11 6 3 1 14 3 18 19 2 17 2 17 2 18 6 5 20 2 18 9 5 17 2 18 16 14 2 17 6 2 13 2 6 3 9 2 14 8 6 2 19 22 17 2 6 3 14 3 6 16 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 </values>
1878.26/1878.19	v </instantiation>
1878.26/1878.19

Verifier Data

Watcher Data

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 (15162 MiB free)
  memory of node 1: 16384 MiB (15288 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396760-1568583447/watcher-4396760-1568583447 -o /tmp/evaluation-result-4396760-1568583447/solver-4396760-1568583447 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568569089-22859 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396760-1568583447.xml 

running on 4 cores: 0,2,4,6

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=25654, runsolver pid=25651
Current StackSize limit: 8192 KiB


[startup+0.100201 s]*
/proc/loadavg: 2.12 2.10 2.08 3/198 25655
/proc/meminfo: memFree=31175740/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=35004 memory=11472 CPUtime=0.09 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 3058 0 0 0 9 0 0 0 20 0 1 0 434603002 35844096 2868 33554432000 4194304 6211092 140721253900080 140721253896616 139997941640165 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 8751 2868 849 493 0 2056 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35004 KiB
Current children cumulated memory: 11472 KiB

[startup+0.209711 s]*
/proc/loadavg: 2.12 2.10 2.08 3/198 25655
/proc/meminfo: memFree=31173260/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=37212 memory=13808 CPUtime=0.2 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 3641 0 0 0 20 0 0 0 20 0 1 0 434603002 38105088 3452 33554432000 4194304 6211092 140721253900080 140721253896616 5157421 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 9303 3452 894 493 0 2608 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37212 KiB
Current children cumulated memory: 13808 KiB

[startup+0.309307 s]*
/proc/loadavg: 2.12 2.10 2.08 3/198 25655
/proc/meminfo: memFree=31172144/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=38400 memory=15128 CPUtime=0.3 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 3954 0 0 0 30 0 0 0 20 0 1 0 434603002 39321600 3782 33554432000 4194304 6211092 140721253900080 140721253896616 5250467 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 9600 3782 894 493 0 2905 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38400 KiB
Current children cumulated memory: 15128 KiB

[startup+0.700341 s]
/proc/loadavg: 2.12 2.10 2.08 3/198 25655
/proc/meminfo: memFree=31169416/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=41052 memory=17504 CPUtime=0.69 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 4595 0 0 0 68 1 0 0 20 0 1 0 434603002 42037248 4376 33554432000 4194304 6211092 140721253900080 140721253898040 5250467 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10263 4376 894 493 0 3568 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41052 KiB
Current children cumulated memory: 17504 KiB

[startup+1.50036 s]
/proc/loadavg: 2.12 2.10 2.08 3/198 25655
/proc/meminfo: memFree=31169420/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=42112 memory=18824 CPUtime=1.49 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 4870 0 0 0 148 1 0 0 20 0 1 0 434603002 43122688 4706 33554432000 4194304 6211092 140721253900080 140721253898040 5250289 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10528 4706 895 493 0 3833 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 18824 KiB

[startup+3.10947 s]
/proc/loadavg: 2.12 2.10 2.08 3/198 25655
/proc/meminfo: memFree=31167948/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=42508 memory=19272 CPUtime=3.1 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 8320 0 0 0 309 1 0 0 20 0 1 0 434603002 43528192 4818 33554432000 4194304 6211092 140721253900080 140721253898040 5155337 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10627 4818 895 493 0 3932 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 19272 KiB

[startup+6.30034 s]
/proc/loadavg: 2.11 2.10 2.08 3/198 25655
/proc/meminfo: memFree=31167636/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=42640 memory=19332 CPUtime=6.29 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 11678 0 0 0 628 1 0 0 20 0 1 0 434603002 43663360 4833 33554432000 4194304 6211092 140721253900080 140721253898040 5250289 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10660 4833 895 493 0 3965 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 42640 KiB
Current children cumulated memory: 19332 KiB

[startup+12.7003 s]
/proc/loadavg: 2.10 2.10 2.08 3/199 25657
/proc/meminfo: memFree=31166156/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=42772 memory=19376 CPUtime=12.68 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 14953 0 0 0 1267 1 0 0 20 0 1 0 434603002 43798528 4844 33554432000 4194304 6211092 140721253900080 140721253898040 5136306 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10693 4844 895 493 0 3998 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 42772 KiB
Current children cumulated memory: 19376 KiB

[startup+25.5004 s]
/proc/loadavg: 2.08 2.10 2.07 3/198 25658
/proc/meminfo: memFree=31166900/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=43432 memory=20028 CPUtime=25.48 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 15823 0 0 0 2547 1 0 0 20 0 1 0 434603002 44474368 5007 33554432000 4194304 6211092 140721253900080 140721253898040 5250450 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10858 5007 895 493 0 4163 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 43432 KiB
Current children cumulated memory: 20028 KiB

[startup+51.1092 s]
/proc/loadavg: 2.05 2.09 2.07 3/198 25658
/proc/meminfo: memFree=31166732/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20320 CPUtime=51.09 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 16419 0 0 0 5108 1 0 0 20 0 1 0 434603002 44613632 5080 33554432000 4194304 6211092 140721253900080 140721253898040 5397429 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/199 25664
/proc/meminfo: memFree=31166616/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20320 CPUtime=102.29 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 16916 0 0 0 10228 1 0 0 20 0 1 0 434603002 44613632 5080 33554432000 4194304 6211092 140721253900080 140721253898040 5155957 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/198 25668
/proc/meminfo: memFree=31167192/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20320 CPUtime=162.29 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 17412 0 0 0 16228 1 0 0 20 0 1 0 434603002 44613632 5080 33554432000 4194304 6211092 140721253900080 140721253898040 5156914 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/198 25672
/proc/meminfo: memFree=31167008/32770624 swapFree=66938788/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20320 CPUtime=222.3 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 17895 0 0 0 22229 1 0 0 20 0 1 0 434603002 44613632 5080 33554432000 4194304 6211092 140721253900080 140721253898040 5155525 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 25685
/proc/meminfo: memFree=31166108/32770624 swapFree=66938796/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20320 CPUtime=282.3 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 17906 0 0 0 28229 1 0 0 20 0 1 0 434603002 44613632 5080 33554432000 4194304 6211092 140721253900080 140721253898040 5155707 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 25689
/proc/meminfo: memFree=31165936/32770624 swapFree=66938796/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20320 CPUtime=342.31 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 18381 0 0 0 34230 1 0 0 20 0 1 0 434603002 44613632 5080 33554432000 4194304 6211092 140721253900080 140721253898040 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/198 25693
/proc/meminfo: memFree=31166248/32770624 swapFree=66938796/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20320 CPUtime=402.31 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 18405 0 0 0 40230 1 0 0 20 0 1 0 434603002 44613632 5080 33554432000 4194304 6211092 140721253900080 140721253898040 5039261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 25699
/proc/meminfo: memFree=31165828/32770624 swapFree=66938796/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20320 CPUtime=462.32 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 18883 0 0 0 46231 1 0 0 20 0 1 0 434603002 44613632 5080 33554432000 4194304 6211092 140721253900080 140721253898040 5250284 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB


################
# More data... #
################

Current children cumulated memory: 20336 KiB

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25949
/proc/meminfo: memFree=31148912/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20336 CPUtime=1542.42 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 22879 0 0 0 154240 2 0 0 20 0 1 0 434603002 44613632 5084 33554432000 4194304 6211092 140721253900080 140721253898040 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5084 895 493 0 4197 0
Current children cumulated CPU time: 1542.42 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20336 KiB

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25953
/proc/meminfo: memFree=31149184/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20336 CPUtime=1602.43 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 22942 0 0 0 160241 2 0 0 20 0 1 0 434603002 44613632 5084 33554432000 4194304 6211092 140721253900080 140721253898040 5155353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5084 895 493 0 4197 0
Current children cumulated CPU time: 1602.43 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20336 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25957
/proc/meminfo: memFree=31149992/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20336 CPUtime=1662.43 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23407 0 0 0 166241 2 0 0 20 0 1 0 434603002 44613632 5084 33554432000 4194304 6211092 140721253900080 140721253898040 5155353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5084 895 493 0 4197 0
Current children cumulated CPU time: 1662.43 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20336 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25963
/proc/meminfo: memFree=31149684/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43568 memory=20336 CPUtime=1722.44 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23408 0 0 0 172242 2 0 0 20 0 1 0 434603002 44613632 5084 33554432000 4194304 6211092 140721253900080 140721253898040 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10892 5084 895 493 0 4197 0
Current children cumulated CPU time: 1722.44 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20336 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25967
/proc/meminfo: memFree=31150196/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1782.44 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23820 0 0 0 178242 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253897672 5250298 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1782.44 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 25971
/proc/meminfo: memFree=31149796/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1842.45 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23834 0 0 0 184243 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253897672 5156880 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1878.2 s]
# the end of solver process 25654 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1878.33 s, system=0.023001 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1843.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 25971
/proc/meminfo: memFree=31149796/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1843.35 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23834 0 0 0 184333 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253897672 5250287 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1843.35 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1856 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 25973
/proc/meminfo: memFree=31149368/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1856.16 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23836 0 0 0 185614 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253897672 5155671 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1856.16 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1868.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 25973
/proc/meminfo: memFree=31149740/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1868.95 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23987 0 0 0 186893 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253897672 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1868.95 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1872 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 25973
/proc/meminfo: memFree=31149864/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1872.16 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23987 0 0 0 187214 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253897672 5155341 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1872.16 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1875.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 25973
/proc/meminfo: memFree=31149864/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1875.35 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23987 0 0 0 187533 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253897672 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1875.35 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1876.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 25973
/proc/meminfo: memFree=31149864/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1876.95 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23987 0 0 0 187693 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253897672 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1876.95 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1877.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 25973
/proc/meminfo: memFree=31149864/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1877.75 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 23987 0 0 0 187773 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253897672 5193696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1877.75 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1878 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 25973
/proc/meminfo: memFree=31149856/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1878.16 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 24315 0 0 0 187814 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253897672 5250293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1878.16 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1878.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 25973
/proc/meminfo: memFree=31149856/32770624 swapFree=66938820/67108860
[pid=25654] ppid=25651 vsize=43700 memory=20344 CPUtime=1878.26 cores=0,2,4,6
/proc/25654/stat : 25654 (cosoco) R 25651 25654 22828 0 -1 4202496 24328 0 0 0 187824 2 0 0 20 0 1 0 434603002 44748800 5086 33554432000 4194304 6211092 140721253900080 140721253898040 5136287 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22704128 140721253905419 140721253905521 140721253905521 140721253908430 0
/proc/25654/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1878.26 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

Child status: 0
Real time (s): 1878.2
CPU time (s): 1878.35
CPU user time (s): 1878.33
CPU system time (s): 0.023001
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 43700
Max. memory (cumulated for all children) (KiB): 20344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1878.33
system time used= 0.023001
maximum resident set size= 20836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24492
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= 21
involuntary context switches= 2349


# summary of solver processes directly reported to runsolver:
#   pid: 25654
#   total CPU time (s): 1878.35
#   total CPU user time (s): 1878.33
#   total CPU system time (s): 0.023001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1415 second user time and 8.99437 second system time

The end

Launcher Data

Begin job on node105 at 2019-09-15 22:35:51
IDJOB=4396760
IDBENCH=128067
IDSOLVER=2848
FILE ID=node105/4396760-1568583447
RUNJOBID= node105-1568569089-22859
PBS_JOBID= 21703335
Free space on /tmp= 61028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-70-05.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396760-1568583447/watcher-4396760-1568583447 -o /tmp/evaluation-result-4396760-1568583447/solver-4396760-1568583447 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568569089-22859 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396760-1568583447.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d843be5d5ecd152a475a61904cced3da
RANDOM SEED=1112019617

node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31182160 kB
MemAvailable:   31848796 kB
Buffers:          208908 kB
Cached:           758488 kB
SwapCached:        66452 kB
Active:           429176 kB
Inactive:         608404 kB
Active(anon):      13024 kB
Inactive(anon):   100616 kB
Active(file):     416152 kB
Inactive(file):   507788 kB
Unevictable:      109060 kB
Mlocked:          109060 kB
SwapTotal:      67108860 kB
SwapFree:       66938788 kB
Dirty:              2796 kB
Writeback:             0 kB
AnonPages:        123908 kB
Mapped:            43452 kB
Shmem:             34596 kB
Slab:             145544 kB
SReclaimable:     117064 kB
SUnreclaim:        28480 kB
KernelStack:        3744 kB
PageTables:         5608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     528036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61024 MiB
End job on node105 at 2019-09-15 23:07:10

Name	CarSequencing/CarSequencing-m1-jcr/ CarSequencing-70-05.xml
MD5SUM	d843be5d5ecd152a475a61904cced3da
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	31.7231
Satisfiable
(Un)Satisfiability was proved
Number of variables	1200
Number of constraints	1412
Number of domains	2
Minimum domain size	2
Maximum domain size	24
Distribution of domain sizes	[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree	2
Maximum variable degree	85
Distribution of variable degrees	[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":3}, {"degree":85,"count":37}]
Minimum constraint arity	2
Maximum constraint arity	200
Distribution of constraint arities	[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":38,"count":1},{"arity":40,"count":1},{"arity":42,"count":1},{"arity":44,"count":1},{"arity":46,"count":1},{"arity":48,"count":1},{"arity":50,"count":2},{"arity":52,"count":1},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":58,"count":1},{"arity":60,"count":3},{"arity":62,"count":1},{"arity":64,"count":1},{"arity":65,"count":2},{"arity":66,"count":1},{"arity":68,"count":1},{"arity":70,"count":3},{"arity":72,"count":1},{"arity":74,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints	200
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":200},{"type":"sum","count":1211},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective

Trace number 4396760

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data