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	1885.24	1885.2

0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.10/0.15	c root propagations     : 0           
0.10/0.15	c restarts enabled, print stats at every restarts
0.10/0.15	c
0.10/0.15	c
0.10/0.15	c
0.10/0.15	c This is cosoco 2.00 --  
0.10/0.15	c
0.10/0.15	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408020-1569799633.xml 
0.10/0.15	c ========================================[ Problem Statistics ]===========================================
0.10/0.15	c |                                                                                                       
0.10/0.15	c |  Parse time        :         0.14 s 
0.10/0.15	c |
0.10/0.15	c |               Variables: 1200
0.10/0.15	c |            Domain Sizes: 2..24
0.10/0.15	c |
0.10/0.15	c |             Constraints: 1435
0.10/0.15	c |                   Arity: 2..200  -- Binary: 199  -- Ternary: 396
0.10/0.15	c | 
0.10/0.15	c |                   Types: 
0.10/0.15	c |                          Exactly K: 24
0.10/0.15	c |                          Extension: 200  (nb tuples: 24..24) -- (shared: 199)
0.10/0.15	c |                          Sum: 1211
0.10/0.15	c |                          
0.10/0.15	c =========================================================================================================
0.10/0.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.59/0.65	c 101            1518           95519          18267          0              0              884   985   907
0.78/0.81	c 211            2345           128588         35728          0              0              185   194   189
1.28/1.33	c 332            3762           225479         55797          0              0              181   984   652
1.88/1.95	c 465            4938           328865         75797          0              0              350   369   357
2.29/2.34	c 611            6324           403069         84702          0              0              885   909   897
2.69/2.80	c 771            7271           495348         103060         0              0              444   535   522
3.29/3.39	c 947            8302           613857         125989         0              0              453   529   518
4.10/4.18	c 1140           9668           775866         151822         0              0              514   545   527
4.89/4.92	c 1352           12498          921419         167901         0              0              280   687   580
5.79/5.89	c 1585           14514          1097449        189402         0              0              574   635   611
6.59/6.62	c 1841           16098          1237553        209585         0              0              584   644   625
7.19/7.22	c 2122           17709          1346716        226644         0              0              511   600   574
7.49/7.56	c 2431           19129          1425509        279859         0              0              145   160   153
8.69/8.71	c 2770           21101          1666319        319845         0              0              148   673   626
10.39/10.47	c 3142           24127          1949435        367244         0              0              400   566   534
11.89/11.94	c 3551           27568          2244815        421626         0              0              299   707   515
13.49/13.57	c 4000           30330          2678180        480964         0              0              662   704   688
14.59/14.66	c 4493           34645          2972506        536698         0              0              668   761   729
15.79/15.84	c 5035           38067          3238845        585343         0              0              861   917   894
16.89/17.00	c 5631           41004          3476508        629958         0              0              633   896   765
19.29/19.30	c 6286           45651          3904499        691698         0              0              370   852   712
21.39/21.46	c 7006           50018          4312391        756884         0              0              741   812   783
25.79/25.82	c 7798           57108          5110537        836996         0              0              776   866   855
30.10/30.14	c 8669           64506          6024453        911836         0              0              809   875   867
35.49/35.59	c 9627           75530          7125076        1039721        0              0              813   887   857
38.10/38.11	c 10680          83076          7753034        1162801        0              0              873   923   894
40.19/40.24	c 11838          89290          8247919        1254332        0              0              750   880   835
42.59/42.69	c 13111          95914          8862044        1360749        0              0              321   714   677
45.69/45.73	c 14511          104522         9562638        1451101        0              0              579   684   666
48.39/48.46	c 16051          113482         10288087       1554880        0              0              521   731   711
55.79/55.83	c 17745          124415         11755600       1704347        0              0              613   705   689
58.49/58.54	c 19608          134080         12448509       1823088        0              0              680   749   727
63.29/63.39	c 21657          142727         13181086       1923334        0              0              372   417   409
71.10/71.12	c 23910          148788         15055322       2114221        0              0              379   724   701
77.19/77.23	c 26388          167144         16723993       2345688        0              0              706   750   741
84.79/84.86	c 29113          182319         17899825       2855642        0              0              393   615   471
92.00/92.08	c 32110          201310         19268589       3210848        0              0              411   496   463
96.49/96.50	c 35406          219086         20406669       3965105        0              0              173   195   182
100.19/100.29	c 39031          235311         21413825       4907096        0              0              163   183   174
104.39/104.46	c 43018          254346         22601016       5979945        0              0              166   182   177
108.59/108.61	c 47403          275893         23724922       6776995        0              0              166   189   182
114.00/114.01	c 52226          300017         25171910       7679316        0              0              173   189   185
130.39/130.45	c 57531          324282         28076861       8270413        0              0              174   574   429
145.79/145.85	c 63366          341840         30584300       8673189        0              0              376   541   451
174.99/175.05	c 69784          358292         35976538       9340110        0              0              533   545   541
187.59/187.62	c 76843          380220         39300647       9945863        0              0              542   584   571
226.10/226.18	c 84607          404806         46812926       10885525       0              0              649   679   668
271.89/271.95	c 93147          433352         55854404       11934607       0              0              670   706   689
319.29/319.39	c 102541         492890         66228290       13030848       0              0              652   751   703
339.39/339.45	c 112874         519785         71326967       13765633       0              0              721   759   753
368.39/368.48	c 124240         571537         78656146       15153598       0              0              701   754   721
396.30/396.34	c 136742         638779         84912647       16438851       0              0              366   712   571
419.11/419.20	c 150494         706958         91081771       17258836       0              0              479   586   567
450.80/450.88	c 165621         750716         99255454       18564878       0              0              660   714   684
496.20/496.27	c 182260         816761         111140709      19977932       0              0              684   719   702
536.11/536.17	c 200562         901845         119239300      22787560       0              0              405   461   447
562.40/562.45	c 220694         1023065        126237467      23970079       0              0              151   672   658
602.50/602.59	c 242839         1104937        135871699      25523476       0              0              193   706   685
640.91/640.92	c 267198         1197655        146584604      27163425       0              0              672   705   698
694.12/694.19	c 293992         1293292        161614118      29223867       0              0              304   730   699
734.31/734.33	c 323465         1380127        174515195      31458477       0              0              587   627   608
798.12/798.18	c 355885         1527792        193517339      33748252       0              0              661   745   729
861.71/861.73	c 391547         1675323        210853138      36191318       0              0              190   766   749
974.12/974.15	c 430775         1933456        238210689      41298434       0              0              471   648   569
1099.42/1099.44	c 473925         2157295        263375746      54929011       0              0              154   526   243
1236.13/1236.15	c 521390         2357595        290036137      60997188       0              0              382   454   439
1275.32/1275.39	c 573601         2489863        303433297      64268980       0              0              703   743   723
1315.13/1315.16	c 631033         2667150        315825379      67146147       0              0              341   751   733
1444.52/1444.51	c 694208         2994283        342230623      70404035       0              0              477   542   514
1615.43/1615.45	c 763700         3442909        378148178      78746919       0              0              174   753   545
1731.73/1731.76	c 840141         3709509        411404573      85798211       0              0              376   750   691
1884.83/1884.87	c 924226         4119008        458074444      92478654       0              0              396   767   745
1885.14/1885.19	c First solution is found
1885.14/1885.19	s SATISFIABLE
1885.14/1885.19	c restarts              : 72          
1885.14/1885.19	c conflicts             : 924228       (490 /sec)
1885.14/1885.19	c decisions             : 4120210      (2186 /sec)
1885.14/1885.19	c propagations          : 92484992    (49058 /sec)
1885.14/1885.19	c root propagations     : 0           
1885.14/1885.19	c filter calls          : 458133578      (243014 /sec)
1885.14/1885.19	c useless filter calls  : 435491009      (95 %)
1885.14/1885.19	c Memory used           : 43.07 MB
1885.14/1885.19	c CPU time              : 1885.21 s
1885.14/1885.19	c real time             : 1885.19 s
1885.14/1885.19	
1885.14/1885.19	c solution 1
1885.14/1885.19	
1885.14/1885.19	v <instantiation type='solution'>
1885.14/1885.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>
1885.14/1885.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>
1885.14/1885.19	v </instantiation>
1885.14/1885.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 (15042 MiB free)
  memory of node 1: 16384 MiB (14572 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408020-1569799633/watcher-4408020-1569799633 -o /tmp/evaluation-result-4408020-1569799633/solver-4408020-1569799633 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2496 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408020-1569799633.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=4820, runsolver pid=4817
Current StackSize limit: 8192 KiB


[startup+0.100197 s]*
/proc/loadavg: 2.53 2.15 2.09 3/199 4821
/proc/meminfo: memFree=30318264/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=35004 memory=11472 CPUtime=0.1 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 3055 0 0 0 10 0 0 0 20 0 1 0 555901554 35844096 2868 33554432000 4194304 6211132 140729497075808 140729497072344 140254553271269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 8751 2868 849 493 0 2056 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35004 KiB
Current children cumulated memory: 11472 KiB

[startup+0.209686 s]*
/proc/loadavg: 2.53 2.15 2.09 3/199 4821
/proc/meminfo: memFree=30316048/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=37212 memory=13808 CPUtime=0.2 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 3640 0 0 0 20 0 0 0 20 0 1 0 555901554 38105088 3452 33554432000 4194304 6211132 140729497075808 140729497073080 140254553271269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/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.309507 s]*
/proc/loadavg: 2.53 2.15 2.09 3/199 4821
/proc/meminfo: memFree=30314996/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=38400 memory=15128 CPUtime=0.3 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 3953 0 0 0 30 0 0 0 20 0 1 0 555901554 39321600 3782 33554432000 4194304 6211132 140729497075808 140729497073080 140254553271269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/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.700339 s]
/proc/loadavg: 2.53 2.15 2.09 3/199 4821
/proc/meminfo: memFree=30312392/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=41052 memory=17504 CPUtime=0.68 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 4594 0 0 0 68 0 0 0 20 0 1 0 555901554 42037248 4376 33554432000 4194304 6211132 140729497075808 140729497073400 5250266 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10263 4376 894 493 0 3568 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41052 KiB
Current children cumulated memory: 17504 KiB

[startup+1.5004 s]
/proc/loadavg: 2.53 2.15 2.09 3/199 4821
/proc/meminfo: memFree=30312392/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=42112 memory=18824 CPUtime=1.48 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 4869 0 0 0 148 0 0 0 20 0 1 0 555901554 43122688 4706 33554432000 4194304 6211132 140729497075808 140729497073400 5158208 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10528 4706 895 493 0 3833 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42112 KiB
Current children cumulated memory: 18824 KiB

[startup+3.10957 s]
/proc/loadavg: 2.49 2.15 2.09 3/199 4821
/proc/meminfo: memFree=30310616/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=42508 memory=19272 CPUtime=3.1 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 8318 0 0 0 309 1 0 0 20 0 1 0 555901554 43528192 4818 33554432000 4194304 6211132 140729497075808 140729497073400 5155711 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/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.30033 s]
/proc/loadavg: 2.49 2.15 2.09 3/199 4821
/proc/meminfo: memFree=30310200/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=42640 memory=19340 CPUtime=6.29 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 11675 0 0 0 628 1 0 0 20 0 1 0 555901554 43663360 4835 33554432000 4194304 6211132 140729497075808 140729497073768 5155365 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10660 4835 895 493 0 3965 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 42640 KiB
Current children cumulated memory: 19340 KiB

[startup+12.7003 s]
/proc/loadavg: 2.41 2.14 2.09 3/199 4821
/proc/meminfo: memFree=30309576/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=42772 memory=19492 CPUtime=12.69 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 15107 0 0 0 1268 1 0 0 20 0 1 0 555901554 43798528 4873 33554432000 4194304 6211132 140729497075808 140729497073768 5136343 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10693 4873 895 493 0 3998 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 42772 KiB
Current children cumulated memory: 19492 KiB

[startup+25.5003 s]
/proc/loadavg: 2.35 2.14 2.09 3/199 4823
/proc/meminfo: memFree=30309092/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43300 memory=20028 CPUtime=25.49 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 20180 0 0 0 2548 1 0 0 20 0 1 0 555901554 44339200 5007 33554432000 4194304 6211132 140729497075808 140729497073768 5155700 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10825 5007 895 493 0 4130 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 43300 KiB
Current children cumulated memory: 20028 KiB

[startup+51.1093 s]
/proc/loadavg: 2.23 2.13 2.08 3/199 4824
/proc/meminfo: memFree=30308628/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20320 CPUtime=51.1 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 26194 0 0 0 5109 1 0 0 20 0 1 0 555901554 44613632 5080 33554432000 4194304 6211132 140729497075808 140729497073768 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+102.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/199 4829
/proc/meminfo: memFree=30309136/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20320 CPUtime=102.29 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 29806 0 0 0 10228 1 0 0 20 0 1 0 555901554 44613632 5080 33554432000 4194304 6211132 140729497075808 140729497073768 5193731 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/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.03 2.09 2.07 3/199 4835
/proc/meminfo: memFree=30308532/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20320 CPUtime=162.29 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 33379 0 0 0 16228 1 0 0 20 0 1 0 555901554 44613632 5080 33554432000 4194304 6211132 140729497075808 140729497073768 5156497 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/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.01 2.07 2.07 3/200 4846
/proc/meminfo: memFree=30307952/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20320 CPUtime=222.29 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 33864 0 0 0 22228 1 0 0 20 0 1 0 555901554 44613632 5080 33554432000 4194304 6211132 140729497075808 140729497073768 5155385 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/200 4850
/proc/meminfo: memFree=30307656/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20320 CPUtime=282.29 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 34347 0 0 0 28228 1 0 0 20 0 1 0 555901554 44613632 5080 33554432000 4194304 6211132 140729497075808 140729497073768 5155549 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 4856
/proc/meminfo: memFree=30308024/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20320 CPUtime=342.29 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 34831 0 0 0 34228 1 0 0 20 0 1 0 555901554 44613632 5080 33554432000 4194304 6211132 140729497075808 140729497073768 5156497 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 4860
/proc/meminfo: memFree=30307272/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20320 CPUtime=402.3 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 35334 0 0 0 40228 2 0 0 20 0 1 0 555901554 44613632 5080 33554432000 4194304 6211132 140729497075808 140729497073768 5155535 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20320 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 4864
/proc/meminfo: memFree=30307608/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20320 CPUtime=462.3 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 35833 0 0 0 46228 2 0 0 20 0 1 0 555901554 44613632 5080 33554432000 4194304 6211132 140729497075808 140729497073768 5155385 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10892 5080 895 493 0 4197 0
Current children cumulated CPU time: 462.3 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/200 5941
/proc/meminfo: memFree=30446596/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20336 CPUtime=1542.33 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 42875 0 0 0 154231 2 0 0 20 0 1 0 555901554 44613632 5084 33554432000 4194304 6211132 140729497075808 140729497073768 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10892 5084 895 493 0 4197 0
Current children cumulated CPU time: 1542.33 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 5947
/proc/meminfo: memFree=30446540/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20336 CPUtime=1602.33 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 43023 0 0 0 160231 2 0 0 20 0 1 0 555901554 44613632 5084 33554432000 4194304 6211132 140729497075808 140729497073768 5156497 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10892 5084 895 493 0 4197 0
Current children cumulated CPU time: 1602.33 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 5951
/proc/meminfo: memFree=30446820/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20336 CPUtime=1662.33 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 43574 0 0 0 166231 2 0 0 20 0 1 0 555901554 44613632 5084 33554432000 4194304 6211132 140729497075808 140729497073768 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10892 5084 895 493 0 4197 0
Current children cumulated CPU time: 1662.33 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/199 5956
/proc/meminfo: memFree=30446860/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43568 memory=20340 CPUtime=1722.33 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 43732 0 0 0 172231 2 0 0 20 0 1 0 555901554 44613632 5085 33554432000 4194304 6211132 140729497075808 140729497073768 5193742 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10892 5085 895 493 0 4197 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 43568 KiB
Current children cumulated memory: 20340 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5962
/proc/meminfo: memFree=30446192/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1782.33 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44193 0 0 0 178231 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5136338 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1782.33 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/199 5966
/proc/meminfo: memFree=30446032/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1842.33 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44348 0 0 0 184231 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1885.2 s]
# the end of solver process 4820 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1885.22 s, system=0.024 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/199 5966
/proc/meminfo: memFree=30446284/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1843.23 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44348 0 0 0 184321 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5250495 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1843.23 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/200 5969
/proc/meminfo: memFree=30446700/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1868.83 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44503 0 0 0 186881 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5155380 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1868.83 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/199 5969
/proc/meminfo: memFree=30446560/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1875.23 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44503 0 0 0 187521 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5250499 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1875.23 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1881.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5969
/proc/meminfo: memFree=30446808/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1881.63 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44503 0 0 0 188161 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5250321 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1881.63 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1883.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5969
/proc/meminfo: memFree=30446904/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1883.23 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44503 0 0 0 188321 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5193731 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1883.23 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1884 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 5969
/proc/meminfo: memFree=30446904/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1884.04 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44503 0 0 0 188402 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5250316 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1884.04 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1884.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5969
/proc/meminfo: memFree=30446904/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1884.83 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44503 0 0 0 188481 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5136319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1884.83 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1885 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 5970
/proc/meminfo: memFree=30447148/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1885.04 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44832 0 0 0 188502 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5250316 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1885.04 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

[startup+1885.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5970
/proc/meminfo: memFree=30447148/32770624 swapFree=66997324/67108860
[pid=4820] ppid=4817 vsize=43700 memory=20344 CPUtime=1885.14 cores=0,2,4,6
/proc/4820/stat : 4820 (cosoco) R 4817 4820 2465 0 -1 4202496 44845 0 0 0 188512 2 0 0 20 0 1 0 555901554 44748800 5086 33554432000 4194304 6211132 140729497075808 140729497073400 5250321 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22728704 140729497080843 140729497080945 140729497080945 140729497083854 0
/proc/4820/statm: 10925 5086 895 493 0 4230 0
Current children cumulated CPU time: 1885.14 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 20344 KiB

Child status: 0
Real time (s): 1885.2
CPU time (s): 1885.24
CPU user time (s): 1885.22
CPU system time (s): 0.024
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 43700
Max. memory (cumulated for all children) (KiB): 20344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1885.22
system time used= 0.024
maximum resident set size= 20836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45010
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= 484


# summary of solver processes directly reported to runsolver:
#   pid: 4820
#   total CPU time (s): 1885.24
#   total CPU user time (s): 1885.22
#   total CPU system time (s): 0.024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15006 second user time and 12.1162 second system time

The end

Launcher Data

Begin job on node140 at 2019-09-30 01:26:31
IDJOB=4408020
IDBENCH=128067
IDSOLVER=2874
FILE ID=node140/4408020-1569799633
RUNJOBID= node140-1569787351-2496
PBS_JOBID= 21705822
Free space on /tmp= 62028 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-4408020-1569799633/watcher-4408020-1569799633 -o /tmp/evaluation-result-4408020-1569799633/solver-4408020-1569799633 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1569787351-2496 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408020-1569799633.xml

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

MD5SUM BENCH= d843be5d5ecd152a475a61904cced3da
RANDOM SEED=545763179

node140.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.43
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.43
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.43
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.43
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:        30325740 kB
MemAvailable:   31730420 kB
Buffers:          212504 kB
Cached:          1529708 kB
SwapCached:         3056 kB
Active:          1532356 kB
Inactive:         364128 kB
Active(anon):     161668 kB
Inactive(anon):    72436 kB
Active(file):    1370688 kB
Inactive(file):   291692 kB
Unevictable:      107036 kB
Mlocked:          107036 kB
SwapTotal:      67108860 kB
SwapFree:       66997324 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:        258304 kB
Mapped:            28128 kB
Shmem:             71208 kB
Slab:             145068 kB
SReclaimable:     116268 kB
SUnreclaim:        28800 kB
KernelStack:        3552 kB
PageTables:         5792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     713948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62024 MiB
End job on node140 at 2019-09-30 01:57:56

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 4408020

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data