Trace number 4312539

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2018-08-01SAT (TO)79346 251.999 252.011

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-05-opt_c18.xml
MD5SUMd0ab6aee5f30ff70d66f863e0e3556a1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24148
Best CPU time to get the best result obtained on this benchmark252.004
Satisfiable
(Un)Satisfiability was proved
Number of variables1234
Number of constraints1134
Number of domains10
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":1034}]
Number of extensional constraints0
Number of intensional constraints1134
Distribution of constraint types[{"type":"intension","count":1134}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Mistral 01082018
1.00/1.01	o 89602
1.00/1.02	o 89503
1.00/1.02	o 89303
1.00/1.09	o 89294
1.10/1.11	o 89293
1.39/1.48	o 89204
1.49/1.54	o 89114
1.69/1.70	o 89104
1.69/1.71	o 89103
1.69/1.72	o 89094
1.79/1.82	o 89093
1.79/1.82	o 89092
1.79/1.83	o 89082
1.79/1.85	o 89081
1.89/1.98	o 88122
1.89/1.98	o 88112
1.89/1.98	o 88102
1.89/1.98	o 88092
1.89/1.99	o 88082
2.39/2.47	o 87194
2.39/2.48	o 87192
2.49/2.50	o 87092
2.49/2.53	o 87083
3.00/3.04	o 86183
3.00/3.07	o 86094
3.00/3.07	o 86085
3.00/3.08	o 86084
3.00/3.09	o 86083
3.89/3.95	o 86075
3.99/4.05	o 86074
3.99/4.09	o 85974
4.09/4.12	o 85973
4.09/4.13	o 85972
5.89/5.92	o 84972
6.69/6.79	o 84925
6.79/6.80	o 84905
6.79/6.83	o 84904
6.89/6.96	o 84897
7.19/7.24	o 84797
7.19/7.24	o 84787
7.89/7.94	o 84786
7.89/7.99	o 84695
8.19/8.21	o 83695
8.49/8.59	o 83216
8.49/8.59	o 83206
8.49/8.59	o 83106
8.59/8.60	o 83016
8.59/8.60	o 83015
8.59/8.60	o 82925
8.59/8.60	o 82915
8.59/8.68	o 82914
11.00/11.06	o 82904
12.59/12.64	o 82897
17.59/17.63	o 82841
17.59/17.63	o 82820
17.59/17.64	o 82810
17.59/17.65	o 82801
18.29/18.38	o 82713
18.29/18.38	o 82703
18.39/18.44	o 82603
28.00/28.06	o 82602
44.10/44.19	o 82589
44.79/44.85	o 82588
44.89/44.91	o 82587
63.10/63.15	o 82508
63.79/63.89	o 82507
64.39/64.46	o 82498
68.19/68.25	o 81710
68.19/68.26	o 81621
68.19/68.26	o 81611
68.19/68.26	o 81610
68.19/68.26	o 81609
68.19/68.27	o 81608
68.19/68.28	o 81599
68.19/68.28	o 81598
68.29/68.34	o 81597
68.49/68.56	o 81596
80.20/80.26	o 81589
80.90/80.93	o 81120
80.90/80.96	o 81119
80.90/80.98	o 81019
80.90/80.99	o 81018
81.00/81.01	o 81017
81.80/81.87	o 81008
85.30/85.30	o 80897
86.40/86.45	o 80797
88.80/88.89	o 80790
95.40/95.44	o 79790
103.50/103.53	o 79721
103.50/103.55	o 79712
105.20/105.21	o 79711
105.20/105.21	o 79672
105.20/105.22	o 79653
105.20/105.25	o 79622
105.20/105.26	o 79614
105.20/105.26	o 79613
106.60/106.63	o 79603
106.80/106.80	o 79602
107.11/107.13	o 79601
107.70/107.73	o 79548
107.70/107.75	o 79539
107.70/107.75	o 79538
107.70/107.76	o 79537
107.70/107.77	o 79527
107.70/107.78	o 79517
107.80/107.89	o 79516
121.19/121.25	o 79506
124.00/124.08	o 79505
139.59/139.64	o 79488
139.59/139.65	o 79487
139.69/139.70	o 79486
139.69/139.72	o 79485
139.79/139.87	o 79484
139.89/139.90	o 79474
139.89/139.92	o 79465
140.69/140.79	o 79456
159.78/159.84	o 79356
249.18/249.27	o 79346
251.99/252.01	s SATISFIABLE
251.99/252.01	v <instantiation type="solution">
251.99/252.01	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] </list>
251.99/252.01	v   <values> 484 722 72 310 86 324 240 478 478 240 128 366 512 750 268 30 394 156 128 366 268 30 240 478 366 128 764 526 30 268 778 540 16 254 86 324 554 792 540 778 310 72 86 324 540 778 58 296 114 352 778 540 456 694 16 254 58 296 722 484 30 268 652 414 16 254 282 44 58 296 142 380 240 478 114 352 366 128 778 540 694 456 16 254 254 16 554 792 764 526 268 30 512 750 366 128 408 170 498 736 16 254 268 30 72 310 554 792 16 254 254 16 44 282 394 156 540 778 792 554 240 478 142 380 128 366 128 366 114 352 16 254 352 114 240 478 30 268 750 512 652 414 254 16 394 156 540 778 792 554 58 296 254 16 554 792 792 554 778 540 128 366 792 554 16 254 44 282 366 128 86 324 16 254 128 366 414 652 30 268 324 86 30 268 142 380 142 380 722 484 30 268 478 240 268 30 44 282 442 680 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 1000 1000 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 1000 0 1000 0 0 1000 1000 0 0 1000 1000 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 1000 1000 0 0 1000 1000 0 1000 1000 0 0 0 0 1000 1000 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 0 1000 1000 1000 0 1000 1000 0 1000 1000 1000 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 100 0 100 0 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 100 0 0 100 0 0 0 0 0 100 100 100 0 0 0 100 0 0 0 100 0 0 100 0 0 0 100 100 0 0 0 100 100 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 100 0 0 0 0 0 100 100 0 0 100 0 100 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 0 0 100 0 100 100 0 100 0 0 0 100 0 100 0 100 100 100 100 100 100 0 0 0 100 0 0 100 0 0 0 0 100 100 0 100 0 100 0 100 0 0 100 0 0 0 0 0 100 0 0 100 0 100 100 0 0 100 0 0 100 0 100 0 100 0 100 0 100 100 100 0 100 100 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 10 0 10 10 10 10 10 10 0 0 10 0 10 10 0 0 10 10 0 10 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 0 10 10 0 0 0 10 0 0 10 10 10 10 10 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 10 10 10 0 10 0 10 10 0 0 0 10 0 10 10 0 0 10 10 10 10 0 0 0 10 0 0 0 10 10 10 0 10 0 10 10 0 0 10 10 10 10 0 0 10 10 0 0 0 0 0 10 10 10 10 10 0 0 0 10 10 0 0 0 0 10 10 0 10 0 10 0 0 10 0 10 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 10 0 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 1 0 0 1 0 1 0 </values>
251.99/252.01	v </instantiation>

Verifier Data 

OK	79346

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312539-1534699389/watcher-4312539-1534699389 -o /tmp/evaluation-result-4312539-1534699389/solver-4312539-1534699389 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534698881-20408 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 924165245 HOME/instance-4312539-1534699389.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=20706, runsolver pid=20703

[startup+0.100146 s]*
/proc/loadavg: 2.21 1.89 1.01 3/188 20707
/proc/meminfo: memFree=24350568/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=34860 memory=9356 CPUtime=0.1 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 2535 0 0 0 10 0 0 0 20 0 1 0 287502053 35696640 2339 33554432000 4194304 7499544 140729188974592 140729188971592 140320290946021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 8715 2339 717 807 0 1706 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34860 KiB
Current children cumulated memory: 9356 KiB

[startup+0.209335 s]*
/proc/loadavg: 2.21 1.89 1.01 3/188 20707
/proc/meminfo: memFree=24344180/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=39936 memory=14668 CPUtime=0.21 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 3872 0 0 0 21 0 0 0 20 0 1 0 287502053 40894464 3667 33554432000 4194304 7499544 140729188974592 140729188971592 140320288265013 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 9984 3667 717 807 0 2975 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39936 KiB
Current children cumulated memory: 14668 KiB

[startup+0.309235 s]*
/proc/loadavg: 2.21 1.89 1.01 3/188 20707
/proc/meminfo: memFree=24336740/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=42584 memory=17040 CPUtime=0.3 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 4525 0 0 0 30 0 0 0 20 0 1 0 287502053 43606016 4260 33554432000 4194304 7499544 140729188974592 140729188971592 140320290946021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 10646 4260 717 807 0 3637 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17040 KiB

[startup+0.700297 s]
/proc/loadavg: 2.21 1.89 1.01 3/188 20707
/proc/meminfo: memFree=24321396/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=55972 memory=30556 CPUtime=0.69 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 7899 0 0 0 68 1 0 0 20 0 1 0 287502053 57315328 7639 33554432000 4194304 7499544 140729188974592 140729188971592 5891030 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 13993 7639 717 807 0 6984 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55972 KiB
Current children cumulated memory: 30556 KiB

[startup+1.50037 s]
/proc/loadavg: 2.21 1.89 1.01 3/188 20707
/proc/meminfo: memFree=24282320/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=72352 memory=47016 CPUtime=1.49 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 12182 0 0 0 147 2 0 0 20 0 1 0 287502053 74088448 11754 33554432000 4194304 7499544 140729188974592 140729188971592 4579688 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 18088 11754 765 807 0 11079 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72352 KiB
Current children cumulated memory: 47016 KiB

[startup+3.10955 s]
/proc/loadavg: 2.21 1.89 1.01 3/188 20707
/proc/meminfo: memFree=24218708/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=72888 memory=47644 CPUtime=3.1 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 21595 0 0 0 308 2 0 0 20 0 1 0 287502053 74637312 11911 33554432000 4194304 7499544 140729188974592 140729188971592 4406001 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 18222 11911 765 807 0 11213 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 72888 KiB
Current children cumulated memory: 47644 KiB

[startup+6.30037 s]
/proc/loadavg: 2.12 1.87 1.01 3/188 20707
/proc/meminfo: memFree=24189052/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=73152 memory=48000 CPUtime=6.29 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 31090 0 0 0 627 2 0 0 20 0 1 0 287502053 74907648 12000 33554432000 4194304 7499544 140729188974592 140729188968920 4258023 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 18288 12000 765 807 0 11279 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 73152 KiB
Current children cumulated memory: 48000 KiB

[startup+12.7004 s]
/proc/loadavg: 2.11 1.87 1.01 3/188 20707
/proc/meminfo: memFree=24188016/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=73548 memory=48292 CPUtime=12.69 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 40695 0 0 0 1266 3 0 0 20 0 1 0 287502053 75313152 12073 33554432000 4194304 7499544 140729188974592 140729188969608 4579828 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 18387 12073 765 807 0 11378 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 73548 KiB
Current children cumulated memory: 48292 KiB

[startup+25.5004 s]
/proc/loadavg: 2.08 1.88 1.03 3/188 20707
/proc/meminfo: memFree=24187140/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=74340 memory=49280 CPUtime=25.49 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 59740 0 0 0 2545 4 0 0 20 0 1 0 287502053 76124160 12320 33554432000 4194304 7499544 140729188974592 140729188968920 4580235 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 18585 12320 765 807 0 11576 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 74340 KiB
Current children cumulated memory: 49280 KiB

[startup+51.1097 s]
/proc/loadavg: 2.06 1.89 1.05 3/188 20707
/proc/meminfo: memFree=24185732/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=75660 memory=50496 CPUtime=51.1 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 70752 0 0 0 5105 5 0 0 20 0 1 0 287502053 77475840 12624 33554432000 4194304 7499544 140729188974592 140729188969608 4580670 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 18915 12624 765 807 0 11906 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 75660 KiB
Current children cumulated memory: 50496 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 1.91 1.10 3/188 20708
/proc/meminfo: memFree=24183444/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=75792 memory=50688 CPUtime=102.3 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 80979 0 0 0 10224 6 0 0 20 0 1 0 287502053 77611008 12672 33554432000 4194304 7499544 140729188974592 140729188969608 4258061 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 18948 12672 765 807 0 11939 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 75792 KiB
Current children cumulated memory: 50688 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 1.92 1.16 3/187 20710
/proc/meminfo: memFree=24183088/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=76188 memory=51060 CPUtime=162.28 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 91258 0 0 0 16221 7 0 0 20 0 1 0 287502053 78016512 12765 33554432000 4194304 7499544 140729188974592 140729188969608 4398092 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 19047 12765 765 807 0 12038 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 76188 KiB
Current children cumulated memory: 51060 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.94 1.21 3/187 20711
/proc/meminfo: memFree=24182908/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=76188 memory=51088 CPUtime=222.28 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 91599 0 0 0 22221 7 0 0 20 0 1 0 287502053 78016512 12772 33554432000 4194304 7499544 140729188974592 140729188969608 5773184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 19047 12772 765 807 0 12038 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 76188 KiB
Current children cumulated memory: 51088 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.00 1.94 1.24 4/200 20741
/proc/meminfo: memFree=24393992/32770624 swapFree=67105356/67108860
[pid=20706] ppid=20703 vsize=76980 memory=51876 CPUtime=251.99 cores=0,2,4,6
/proc/20706/stat : 20706 (MistralXCSP) R 20703 20706 20377 0 -1 4202496 92203 0 0 0 25192 7 0 0 20 0 1 0 287502053 78827520 12969 33554432000 4194304 7499544 140729188974592 140729188969608 4398164 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 25042944 140729188975731 140729188975880 140729188975880 140729188978633 0
/proc/20706/statm: 19245 12969 765 807 0 12236 0
Current children cumulated CPU time: 251.99 s
Current children cumulated vsize: 76980 KiB
Current children cumulated memory: 51876 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.011 s]
# the end of solver process 20706 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.928 s, system=0.071001 s

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

Child status: 0
Real time (s): 252.011
CPU time (s): 251.999
CPU user time (s): 251.928
CPU system time (s): 0.071001
CPU usage (%): 99.9953
Max. virtual memory (cumulated for all children) (KiB): 76980
Max. memory (cumulated for all children) (KiB): 51876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.928
system time used= 0.071001
maximum resident set size= 51912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92227
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= 28
involuntary context switches= 139


# summary of solver processes directly reported to runsolver:
#   pid: 20706
#   total CPU time (s): 251.999
#   total CPU user time (s): 251.928
#   total CPU system time (s): 0.071001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02182 second user time and 1.88111 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-19 19:23:09
IDJOB=4312539
IDBENCH=141204
IDSOLVER=2801
FILE ID=node149/4312539-1534699389
RUNJOBID= node149-1534698881-20408
PBS_JOBID= 21038712
Free space on /tmp= 56612 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312539-1534699389/watcher-4312539-1534699389 -o /tmp/evaluation-result-4312539-1534699389/solver-4312539-1534699389 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534698881-20408 --watchdog 312  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 924165245 HOME/instance-4312539-1534699389.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=924165245

node149.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.60
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.60
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.60
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.60
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:        24380592 kB
MemAvailable:   31818712 kB
Buffers:          223084 kB
Cached:          7491408 kB
SwapCached:         1704 kB
Active:          3814044 kB
Inactive:        4028844 kB
Active(anon):      98592 kB
Inactive(anon):    98868 kB
Active(file):    3715452 kB
Inactive(file):  3929976 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67105356 kB
Dirty:             12140 kB
Writeback:             0 kB
AnonPages:        169160 kB
Mapped:            22344 kB
Shmem:             65952 kB
Slab:             245248 kB
SReclaimable:     217056 kB
SUnreclaim:        28192 kB
KernelStack:        3584 kB
PageTables:         4832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     469364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 56608 MiB
End job on node149 at 2018-08-19 19:27:21