Trace number 4240459

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
R1: Mistral-2.0 2017-06-28SAT (TO)4 2400.07 2400.8

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-46-035-010.xml
MD5SUM9882d57d510e95008d99aa62e0238ec8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables1611
Number of constraints1082
Number of domains2
Minimum domain size2
Maximum domain size33
Distribution of domain sizes[{"size":2,"count":1610},{"size":33,"count":1}]
Minimum variable degree47
Maximum variable degree1036
Distribution of variable degrees[{"degree":47,"count":1610},{"degree":1036,"count":1}]
Minimum constraint arity35
Maximum constraint arity1610
Distribution of constraint arities[{"arity":35,"count":46},{"arity":71,"count":1035},{"arity":1610,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":1081}]
Optimization problemYES
Type of objectivemin VAR

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-2017-06-28
8.69/8.71	o 9
9.08/9.12	o 8
9.38/9.45	o 7
10.08/10.15	o 6
11.88/11.92	o 5
91.93/92.03	o 4
2400.07/2400.80	s SATISFIABLE
2400.07/2400.80	v <instantiation type="solution">
2400.07/2400.80	v   <list> z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] </list>
2400.07/2400.80	v   <values> 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 </values>
2400.07/2400.80	v </instantiation>

Verifier Data 

OK	4

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240459-1500640491/watcher-4240459-1500640491 -o /tmp/evaluation-result-4240459-1500640491/solver-4240459-1500640491 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500623787-3307 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1910116172 HOME/instance-4240459-1500640491.xml 

pid=5721
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5724
/proc/meminfo: memFree=28967264/32770624 swapFree=7088/3016028
[pid=5724] ppid=5721 vsize=28800 CPUtime=0 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 966 0 0 0 0 0 0 0 20 0 1 0 17325426 29491200 788 33554432000 4194304 7402444 140721963372384 140721963369432 140297945320421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 7200 788 617 784 0 214 0

[startup+0.100175 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5724
/proc/meminfo: memFree=28967264/32770624 swapFree=7088/3016028
[pid=5724] ppid=5721 vsize=40668 CPUtime=0.09 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 4135 0 0 0 9 0 0 0 20 0 1 0 17325426 41644032 3861 33554432000 4194304 7402444 140721963372384 140721963362776 4731480 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 10167 3861 718 784 0 3181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40668

[startup+0.20043 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5724
/proc/meminfo: memFree=28967264/32770624 swapFree=7088/3016028
[pid=5724] ppid=5721 vsize=52712 CPUtime=0.19 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 7371 0 0 0 18 1 0 0 20 0 1 0 17325426 53977088 6838 33554432000 4194304 7402444 140721963372384 140721963362776 4731639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 13178 6838 720 784 0 6192 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 52712

[startup+0.30039 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5724
/proc/meminfo: memFree=28967264/32770624 swapFree=7088/3016028
[pid=5724] ppid=5721 vsize=61836 CPUtime=0.29 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 9713 0 0 0 28 1 0 0 20 0 1 0 17325426 63320064 9144 33554432000 4194304 7402444 140721963372384 140721963362776 4731639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 15459 9144 720 784 0 8473 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61836

[startup+0.700326 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5724
/proc/meminfo: memFree=28967264/32770624 swapFree=7088/3016028
[pid=5724] ppid=5721 vsize=92436 CPUtime=0.69 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 17060 0 0 0 67 2 0 0 20 0 1 0 17325426 94654464 16799 33554432000 4194304 7402444 140721963372384 140721963362776 4731472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 23109 16799 720 784 0 16123 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92436

[startup+1.50032 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 5725
/proc/meminfo: memFree=28886532/32770624 swapFree=7088/3015852
[pid=5724] ppid=5721 vsize=124340 CPUtime=1.49 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 25181 0 0 0 146 3 0 0 20 0 1 0 17325426 127324160 24760 33554432000 4194304 7402444 140721963372384 140721963362776 4340564 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 31085 24760 720 784 0 24099 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124340

[startup+3.10036 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 5725
/proc/meminfo: memFree=28842100/32770624 swapFree=7088/3015852
[pid=5724] ppid=5721 vsize=174780 CPUtime=3.08 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 60964 0 0 0 303 5 0 0 20 0 1 0 17325426 178974720 37424 33554432000 4194304 7402444 140721963372384 140721963366920 5871079 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 43695 37424 755 784 0 36709 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 174780

[startup+6.30036 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 5725
/proc/meminfo: memFree=28820456/32770624 swapFree=7088/3015860
[pid=5724] ppid=5721 vsize=174780 CPUtime=6.29 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 89222 0 0 0 622 7 0 0 20 0 1 0 17325426 178974720 37433 33554432000 4194304 7402444 140721963372384 140721963366920 5327193 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 43695 37433 764 784 0 36709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174780

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5725
/proc/meminfo: memFree=28820348/32770624 swapFree=7088/3015856
[pid=5724] ppid=5721 vsize=175112 CPUtime=12.68 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 118150 0 0 0 1260 8 0 0 20 0 1 0 17325426 179314688 37519 33554432000 4194304 7402444 140721963372384 140721963367400 4709497 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 43778 37519 767 784 0 36792 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 175112

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5725
/proc/meminfo: memFree=28820604/32770624 swapFree=7088/3015864
[pid=5724] ppid=5721 vsize=175112 CPUtime=25.48 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 174060 0 0 0 2537 11 0 0 20 0 1 0 17325426 179314688 37533 33554432000 4194304 7402444 140721963372384 140721963367400 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 43778 37533 767 784 0 36792 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 175112

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5725
/proc/meminfo: memFree=28820100/32770624 swapFree=7088/3015880
[pid=5724] ppid=5721 vsize=175244 CPUtime=51.07 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 202947 0 0 0 5095 12 0 0 20 0 1 0 17325426 179449856 37548 33554432000 4194304 7402444 140721963372384 140721963367016 5327242 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 43811 37548 767 784 0 36825 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 175244

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5726
/proc/meminfo: memFree=28818612/32770624 swapFree=7088/3015916
[pid=5724] ppid=5721 vsize=175376 CPUtime=102.22 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 219532 0 0 0 10209 13 0 0 20 0 1 0 17325426 179585024 37604 33554432000 4194304 7402444 140721963372384 140721963367400 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 43844 37604 767 784 0 36858 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 175376

[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 5790
/proc/meminfo: memFree=28823456/32770624 swapFree=7088/3015980
[pid=5724] ppid=5721 vsize=175508 CPUtime=162.19 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 220999 0 0 0 16206 13 0 0 20 0 1 0 17325426 179720192 37625 33554432000 4194304 7402444 140721963372384 140721963367016 4300067 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 43877 37625 767 784 0 36891 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 175508

[startup+222.306 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 5851
/proc/meminfo: memFree=28821292/32770624 swapFree=7088/3016044
[pid=5724] ppid=5721 vsize=175772 CPUtime=222.18 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 221899 0 0 0 22204 14 0 0 20 0 1 0 17325426 179990528 37694 33554432000 4194304 7402444 140721963372384 140721963367016 5746100 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 43943 37694 767 784 0 36957 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 175772

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 5852
/proc/meminfo: memFree=28820548/32770624 swapFree=7088/3016080
[pid=5724] ppid=5721 vsize=175904 CPUtime=282.16 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 222804 0 0 0 28202 14 0 0 20 0 1 0 17325426 180125696 37697 33554432000 4194304 7402444 140721963372384 140721963367016 5327250 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 43976 37697 767 784 0 36990 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 175904

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 5861
/proc/meminfo: memFree=28819408/32770624 swapFree=7088/3016116
[pid=5724] ppid=5721 vsize=176036 CPUtime=342.14 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 223759 0 0 0 34200 14 0 0 20 0 1 0 17325426 180260864 37744 33554432000 4194304 7402444 140721963372384 140721963367016 5327204 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44009 37744 767 784 0 37023 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 176036

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 5862
/proc/meminfo: memFree=28820152/32770624 swapFree=7088/3016148
[pid=5724] ppid=5721 vsize=176036 CPUtime=402.13 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 224722 0 0 0 40199 14 0 0 20 0 1 0 17325426 180260864 37759 33554432000 4194304 7402444 140721963372384 140721963367016 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44009 37759 767 784 0 37023 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 176036

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5863
/proc/meminfo: memFree=28820144/32770624 swapFree=7088/3016176
[pid=5724] ppid=5721 vsize=176168 CPUtime=462.11 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 225695 0 0 0 46197 14 0 0 20 0 1 0 17325426 180396032 37781 33554432000 4194304 7402444 140721963372384 140721963367016 5747568 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44042 37781 767 784 0 37056 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 176168

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5864
/proc/meminfo: memFree=28820276/32770624 swapFree=7088/3016212
[pid=5724] ppid=5721 vsize=176168 CPUtime=522.09 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 226677 0 0 0 52195 14 0 0 20 0 1 0 17325426 180396032 37786 33554432000 4194304 7402444 140721963372384 140721963367016 5747600 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44042 37786 767 784 0 37056 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 176168

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5865
/proc/meminfo: memFree=28820248/32770624 swapFree=7088/3016244
[pid=5724] ppid=5721 vsize=176168 CPUtime=582.08 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 227646 0 0 0 58194 14 0 0 20 0 1 0 17325426 180396032 37804 33554432000 4194304 7402444 140721963372384 140721963367016 5327250 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44042 37804 767 784 0 37056 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 176168


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5892
/proc/meminfo: memFree=28819792/32770624 swapFree=7088/3016748
[pid=5724] ppid=5721 vsize=176960 CPUtime=1481.83 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 244335 0 0 0 148168 15 0 0 20 0 1 0 17325426 181207040 37999 33554432000 4194304 7402444 140721963372384 140721963367016 5327204 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44240 37999 767 784 0 37254 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 176960

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5900
/proc/meminfo: memFree=28819204/32770624 swapFree=7088/3016788
[pid=5724] ppid=5721 vsize=177092 CPUtime=1541.83 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 245540 0 0 0 154168 15 0 0 20 0 1 0 17325426 181342208 38008 33554432000 4194304 7402444 140721963372384 140721963367016 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44273 38008 767 784 0 37287 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 177092

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5923
/proc/meminfo: memFree=28819020/32770624 swapFree=7088/3016828
[pid=5724] ppid=5721 vsize=177092 CPUtime=1601.8 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 246745 0 0 0 160165 15 0 0 20 0 1 0 17325426 181342208 38016 33554432000 4194304 7402444 140721963372384 140721963367016 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44273 38016 767 784 0 37287 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 177092

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 5924
/proc/meminfo: memFree=28819092/32770624 swapFree=7088/3016860
[pid=5724] ppid=5721 vsize=177092 CPUtime=1661.79 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 247967 0 0 0 166164 15 0 0 20 0 1 0 17325426 181342208 38026 33554432000 4194304 7402444 140721963372384 140721963367016 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44273 38026 767 784 0 37287 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 177092

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 5925
/proc/meminfo: memFree=28819944/32770624 swapFree=7088/3016896
[pid=5724] ppid=5721 vsize=177092 CPUtime=1721.77 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 249189 0 0 0 172162 15 0 0 20 0 1 0 17325426 181342208 38030 33554432000 4194304 7402444 140721963372384 140721963367016 5747610 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44273 38030 767 784 0 37287 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 177092

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 5926
/proc/meminfo: memFree=28819608/32770624 swapFree=7088/3016924
[pid=5724] ppid=5721 vsize=177092 CPUtime=1781.75 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 250414 0 0 0 178160 15 0 0 20 0 1 0 17325426 181342208 38041 33554432000 4194304 7402444 140721963372384 140721963367016 5327242 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44273 38041 767 784 0 37287 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 177092

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 5927
/proc/meminfo: memFree=28819600/32770624 swapFree=7088/3016956
[pid=5724] ppid=5721 vsize=177092 CPUtime=1841.73 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 251641 0 0 0 184158 15 0 0 20 0 1 0 17325426 181342208 38042 33554432000 4194304 7402444 140721963372384 140721963367016 4232209 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44273 38042 767 784 0 37287 0
Current children cumulated CPU time (s) 1841.73
Current children cumulated vsize (KiB) 177092

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5928
/proc/meminfo: memFree=28819104/32770624 swapFree=7088/3016984
[pid=5724] ppid=5721 vsize=177092 CPUtime=1901.71 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 252872 0 0 0 190156 15 0 0 20 0 1 0 17325426 181342208 38046 33554432000 4194304 7402444 140721963372384 140721963367016 5327336 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44273 38046 767 784 0 37287 0
Current children cumulated CPU time (s) 1901.71
Current children cumulated vsize (KiB) 177092

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5929
/proc/meminfo: memFree=28819104/32770624 swapFree=7088/3017012
[pid=5724] ppid=5721 vsize=177224 CPUtime=1961.7 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 254104 0 0 0 196155 15 0 0 20 0 1 0 17325426 181477376 38047 33554432000 4194304 7402444 140721963372384 140721963367016 5327204 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44306 38047 767 784 0 37320 0
Current children cumulated CPU time (s) 1961.7
Current children cumulated vsize (KiB) 177224

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5930
/proc/meminfo: memFree=28819120/32770624 swapFree=7088/3017052
[pid=5724] ppid=5721 vsize=177224 CPUtime=2021.69 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 255335 0 0 0 202153 16 0 0 20 0 1 0 17325426 181477376 38049 33554432000 4194304 7402444 140721963372384 140721963367016 5695885 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44306 38049 767 784 0 37320 0
Current children cumulated CPU time (s) 2021.69
Current children cumulated vsize (KiB) 177224

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5931
/proc/meminfo: memFree=28818872/32770624 swapFree=7088/3017080
[pid=5724] ppid=5721 vsize=177224 CPUtime=2081.67 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 256477 0 0 0 208151 16 0 0 20 0 1 0 17325426 181477376 38049 33554432000 4194304 7402444 140721963372384 140721963367016 4709507 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44306 38049 767 784 0 37320 0
Current children cumulated CPU time (s) 2081.67
Current children cumulated vsize (KiB) 177224

[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 5939
/proc/meminfo: memFree=28818500/32770624 swapFree=7088/3017116
[pid=5724] ppid=5721 vsize=177224 CPUtime=2141.65 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 257781 0 0 0 214149 16 0 0 20 0 1 0 17325426 181477376 38050 33554432000 4194304 7402444 140721963372384 140721963367016 4463727 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44306 38050 767 784 0 37320 0
Current children cumulated CPU time (s) 2141.65
Current children cumulated vsize (KiB) 177224

[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 5940
/proc/meminfo: memFree=28818624/32770624 swapFree=7088/3017148
[pid=5724] ppid=5721 vsize=177224 CPUtime=2201.63 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 259021 0 0 0 220147 16 0 0 20 0 1 0 17325426 181477376 38057 33554432000 4194304 7402444 140721963372384 140721963367016 5695882 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44306 38057 767 784 0 37320 0
Current children cumulated CPU time (s) 2201.63
Current children cumulated vsize (KiB) 177224

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5941
/proc/meminfo: memFree=28818988/32770624 swapFree=7088/3017176
[pid=5724] ppid=5721 vsize=177224 CPUtime=2261.61 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 260071 0 0 0 226145 16 0 0 20 0 1 0 17325426 181477376 38058 33554432000 4194304 7402444 140721963372384 140721963367016 4364568 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44306 38058 767 784 0 37320 0
Current children cumulated CPU time (s) 2261.61
Current children cumulated vsize (KiB) 177224

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 5942
/proc/meminfo: memFree=28818756/32770624 swapFree=7088/3017212
[pid=5724] ppid=5721 vsize=177224 CPUtime=2321.59 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 261122 0 0 0 232143 16 0 0 20 0 1 0 17325426 181477376 38059 33554432000 4194304 7402444 140721963372384 140721963367016 5327250 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44306 38059 767 784 0 37320 0
Current children cumulated CPU time (s) 2321.59
Current children cumulated vsize (KiB) 177224

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 5943
/proc/meminfo: memFree=28818740/32770624 swapFree=7088/3017236
[pid=5724] ppid=5721 vsize=177224 CPUtime=2381.57 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 262559 0 0 0 238141 16 0 0 20 0 1 0 17325426 181477376 38061 33554432000 4194304 7402444 140721963372384 140721963367016 5327208 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44306 38061 767 784 0 37320 0
Current children cumulated CPU time (s) 2381.57
Current children cumulated vsize (KiB) 177224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5944
/proc/meminfo: memFree=28818252/32770624 swapFree=7088/3017264
[pid=5724] ppid=5721 vsize=177224 CPUtime=2400.07 cores=0,2,4,6
/proc/5724/stat : 5724 (MistralXCSP) R 5721 5724 3276 0 -1 4202496 263803 0 0 0 239991 16 0 0 20 0 1 0 17325426 181477376 38065 33554432000 4194304 7402444 140721963372384 140721963367016 4240640 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 11616256 140721963373736 140721963373886 140721963373886 140721963376585 0
/proc/5724/statm: 44306 38065 767 784 0 37320 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 177224

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5724 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2400.8
CPU time (s): 2400.07
CPU user time (s): 2399.91
CPU system time (s): 0.163954
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 177224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.163954
maximum resident set size= 152284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263835
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= 69
involuntary context switches= 121248

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.70145 second user time and 7.57354 second system time

The end

Launcher Data 

Begin job on node124 at 2017-07-21 14:34:51
IDJOB=4240459
IDBENCH=122959
IDSOLVER=2622
FILE ID=node124/4240459-1500640491
RUNJOBID= node124-1500623787-3307
PBS_JOBID= 20623009
Free space on /tmp= 62016 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-46-035-010.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-4240459-1500640491/watcher-4240459-1500640491 -o /tmp/evaluation-result-4240459-1500640491/solver-4240459-1500640491 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500623787-3307 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1910116172 HOME/instance-4240459-1500640491.xml

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

MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8
RANDOM SEED=1910116172

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

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.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:        28968208 kB
MemAvailable:   31981476 kB
Buffers:          161320 kB
Cached:          3136564 kB
SwapCached:            0 kB
Active:           341756 kB
Inactive:        3032940 kB
Active(anon):      79372 kB
Inactive(anon):    16912 kB
Active(file):     262384 kB
Inactive(file):  3016028 kB
Unevictable:        7088 kB
Mlocked:            7088 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5908 kB
Writeback:             0 kB
AnonPages:         87560 kB
Mapped:            34248 kB
Shmem:             17040 kB
Slab:             126480 kB
SReclaimable:     101384 kB
SUnreclaim:        25096 kB
KernelStack:        3488 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 62008 MiB
End job on node124 at 2017-07-21 15:14:52