Trace number 4261023

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 2017-07-28SAT (TO)4 2519.9299 2520

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.10	c 280717
9.69/9.83	o 9
10.19/10.30	o 8
10.49/10.65	o 7
11.29/11.46	o 6
13.39/13.52	o 5
114.29/114.48	o 4
2519.91/2520.00	s SATISFIABLE
2519.91/2520.00	v <instantiation type="solution">
2519.91/2520.00	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>
2519.91/2520.00	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>
2519.91/2520.00	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-4261023-1502350410/watcher-4261023-1502350410 -o /tmp/evaluation-result-4261023-1502350410/solver-4261023-1502350410 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20756 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1791994558 HOME/instance-4261023-1502350410.xml 

pid=23268
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 23271
/proc/meminfo: memFree=30987796/32770624 swapFree=0/539840
[pid=23271] ppid=23268 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23271/stat : 23271 (runsolver) D 23268 23271 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 82547183 24240128 107 18446744073709551615 4194304 4338465 140720311755344 140720311752984 140631228490455 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 8081408 140720311758986 140720311759433 140720311759433 140720311762890 0
/proc/23271/statm: 5918 107 54 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 23271
/proc/meminfo: memFree=30987796/32770624 swapFree=0/539840
[pid=23271] ppid=23268 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23271/stat : 23271 (runsolver) D 23268 23271 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 82547183 24240128 107 18446744073709551615 4194304 4338465 140720311755344 140720311752984 140631228490455 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 8081408 140720311758986 140720311759433 140720311759433 140720311762890 0
/proc/23271/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200323 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 23271
/proc/meminfo: memFree=30987796/32770624 swapFree=0/539840
[pid=23271] ppid=23268 vsize=47368 CPUtime=0.09 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 6024 0 0 0 8 1 0 0 20 0 1 0 82547183 48504832 5519 18446744073709551615 4194304 7396336 140736509540464 140736509537464 4565880 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 11842 5519 718 782 0 4858 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47368

[startup+0.300322 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 23271
/proc/meminfo: memFree=30987796/32770624 swapFree=0/539840
[pid=23271] ppid=23268 vsize=57260 CPUtime=0.18 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 8510 0 0 0 17 1 0 0 20 0 1 0 82547183 58634240 7960 18446744073709551615 4194304 7396336 140736509540464 140736509530856 4565880 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 14315 7960 720 782 0 7331 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 57260

[startup+0.700314 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 23271
/proc/meminfo: memFree=30987796/32770624 swapFree=0/539840
[pid=23271] ppid=23268 vsize=90844 CPUtime=0.59 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 16681 0 0 0 57 2 0 0 20 0 1 0 82547183 93024256 16403 18446744073709551615 4194304 7396336 140736509540464 140736509530856 4565880 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 22711 16403 720 782 0 15727 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 90844

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 23272
/proc/meminfo: memFree=30863932/32770624 swapFree=0/539832
[pid=23271] ppid=23268 vsize=121012 CPUtime=1.39 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 24213 0 0 0 136 3 0 0 20 0 1 0 82547183 123916288 23927 18446744073709551615 4194304 7396336 140736509540464 140736509530856 4566032 0 0 1 0 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 30253 23927 720 782 0 23269 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 121012

[startup+3.10031 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 23272
/proc/meminfo: memFree=30801740/32770624 swapFree=0/539828
[pid=23271] ppid=23268 vsize=173388 CPUtime=2.98 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 34934 0 0 0 293 5 0 0 20 0 1 0 82547183 177549312 37059 18446744073709551615 4194304 7396336 140736509540464 140736509530856 5165834 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43347 37059 759 782 0 36363 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 173388

[startup+6.30031 s]
/proc/loadavg: 1.92 2.00 2.04 3/184 23272
/proc/meminfo: memFree=30727292/32770624 swapFree=0/539828
[pid=23271] ppid=23268 vsize=174772 CPUtime=6.19 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 90433 0 0 0 611 8 0 0 20 0 1 0 82547183 178966528 37433 18446744073709551615 4194304 7396336 140736509540464 140736509535000 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43693 37433 764 782 0 36709 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 174772

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/184 23272
/proc/meminfo: memFree=30647280/32770624 swapFree=0/539836
[pid=23271] ppid=23268 vsize=175104 CPUtime=12.59 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 119105 0 0 0 1250 9 0 0 20 0 1 0 82547183 179306496 37494 18446744073709551615 4194304 7396336 140736509540464 140736509535480 5165805 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43776 37494 766 782 0 36792 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 175104

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/184 23272
/proc/meminfo: memFree=30445364/32770624 swapFree=0/539832
[pid=23271] ppid=23268 vsize=175104 CPUtime=25.39 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 174773 0 0 0 2527 12 0 0 20 0 1 0 82547183 179306496 37524 18446744073709551615 4194304 7396336 140736509540464 140736509535480 4581734 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43776 37524 766 782 0 36792 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 175104

[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 2.04 3/188 23287
/proc/meminfo: memFree=30336388/32770624 swapFree=0/539856
[pid=23271] ppid=23268 vsize=175104 CPUtime=50.99 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 203320 0 0 0 5086 13 0 0 20 0 1 0 82547183 179306496 37545 18446744073709551615 4194304 7396336 140736509540464 140736509535480 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43776 37545 766 782 0 36792 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 175104

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 23290
/proc/meminfo: memFree=30329476/32770624 swapFree=0/539884
[pid=23271] ppid=23268 vsize=175368 CPUtime=102.19 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 231514 0 0 0 10205 14 0 0 20 0 1 0 82547183 179576832 37572 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43842 37572 766 782 0 36858 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 175368

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 23292
/proc/meminfo: memFree=30333216/32770624 swapFree=0/539896
[pid=23271] ppid=23268 vsize=175500 CPUtime=162.2 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 259661 0 0 0 16204 16 0 0 20 0 1 0 82547183 179712000 37622 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165805 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43875 37622 766 782 0 36891 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 175500

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 23294
/proc/meminfo: memFree=30333248/32770624 swapFree=0/539912
[pid=23271] ppid=23268 vsize=175500 CPUtime=222.2 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 287841 0 0 0 22203 17 0 0 20 0 1 0 82547183 179712000 37638 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165805 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43875 37638 766 782 0 36891 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 175500

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 23296
/proc/meminfo: memFree=30333020/32770624 swapFree=0/539920
[pid=23271] ppid=23268 vsize=175764 CPUtime=282.19 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 315947 0 0 0 28201 18 0 0 20 0 1 0 82547183 179982336 37683 18446744073709551615 4194304 7396336 140736509540464 140736509535096 4543790 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43941 37683 766 782 0 36957 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 175764

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23301
/proc/meminfo: memFree=30332488/32770624 swapFree=0/539928
[pid=23271] ppid=23268 vsize=175764 CPUtime=342.2 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 344145 0 0 0 34200 20 0 0 20 0 1 0 82547183 179982336 37695 18446744073709551615 4194304 7396336 140736509540464 140736509535096 4543790 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43941 37695 766 782 0 36957 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 175764

[startup+402.3 s]
/proc/loadavg: 2.10 2.03 2.05 3/186 23303
/proc/meminfo: memFree=30331972/32770624 swapFree=0/539956
[pid=23271] ppid=23268 vsize=175896 CPUtime=402.18 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 372291 0 0 0 40197 21 0 0 20 0 1 0 82547183 180117504 37716 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165805 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 43974 37716 766 782 0 36990 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 175896

[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/186 23305
/proc/meminfo: memFree=30331700/32770624 swapFree=0/539964
[pid=23271] ppid=23268 vsize=176028 CPUtime=462.16 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 383647 0 0 0 46194 22 0 0 20 0 1 0 82547183 180252672 37738 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5771184 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44007 37738 766 782 0 37023 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 176028

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 23308
/proc/meminfo: memFree=30331616/32770624 swapFree=0/539980
[pid=23271] ppid=23268 vsize=176028 CPUtime=522.16 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 384653 0 0 0 52194 22 0 0 20 0 1 0 82547183 180252672 37771 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44007 37771 766 782 0 37023 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 176028

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 23311
/proc/meminfo: memFree=30331504/32770624 swapFree=0/539992
[pid=23271] ppid=23268 vsize=176160 CPUtime=582.16 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 385671 0 0 0 58194 22 0 0 20 0 1 0 82547183 180387840 37780 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165945 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44040 37780 766 782 0 37056 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 176160


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


[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 23378
/proc/meminfo: memFree=30329680/32770624 swapFree=0/540256
[pid=23271] ppid=23268 vsize=176952 CPUtime=1602.18 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 404647 0 0 0 160195 23 0 0 20 0 1 0 82547183 181198848 38005 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165805 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44238 38005 766 782 0 37254 0
Current children cumulated CPU time (s) 1602.18
Current children cumulated vsize (KiB) 176952

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 23380
/proc/meminfo: memFree=30329680/32770624 swapFree=0/540260
[pid=23271] ppid=23268 vsize=177084 CPUtime=1662.18 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 405425 0 0 0 166195 23 0 0 20 0 1 0 82547183 181334016 38006 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165805 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44271 38006 766 782 0 37287 0
Current children cumulated CPU time (s) 1662.18
Current children cumulated vsize (KiB) 177084

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 23382
/proc/meminfo: memFree=30330052/32770624 swapFree=0/540276
[pid=23271] ppid=23268 vsize=177084 CPUtime=1722.19 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 406211 0 0 0 172196 23 0 0 20 0 1 0 82547183 181334016 38015 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5578112 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44271 38015 766 782 0 37287 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 177084

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 23384
/proc/meminfo: memFree=30329308/32770624 swapFree=0/540284
[pid=23271] ppid=23268 vsize=177084 CPUtime=1782.19 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 406999 0 0 0 178196 23 0 0 20 0 1 0 82547183 181334016 38025 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5771088 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44271 38025 766 782 0 37287 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 177084

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 23401
/proc/meminfo: memFree=30325348/32770624 swapFree=0/540292
[pid=23271] ppid=23268 vsize=177084 CPUtime=1842.19 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 407795 0 0 0 184196 23 0 0 20 0 1 0 82547183 181334016 38030 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5578112 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44271 38030 766 782 0 37287 0
Current children cumulated CPU time (s) 1842.19
Current children cumulated vsize (KiB) 177084

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23403
/proc/meminfo: memFree=30325504/32770624 swapFree=0/540332
[pid=23271] ppid=23268 vsize=177084 CPUtime=1902.19 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 408593 0 0 0 190196 23 0 0 20 0 1 0 82547183 181334016 38040 18446744073709551615 4194304 7396336 140736509540464 140736509535096 4246602 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44271 38040 766 782 0 37287 0
Current children cumulated CPU time (s) 1902.19
Current children cumulated vsize (KiB) 177084

[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 23405
/proc/meminfo: memFree=30329024/32770624 swapFree=0/540336
[pid=23271] ppid=23268 vsize=177084 CPUtime=1962.19 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 409393 0 0 0 196196 23 0 0 20 0 1 0 82547183 181334016 38041 18446744073709551615 4194304 7396336 140736509540464 140736509535096 4246577 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44271 38041 766 782 0 37287 0
Current children cumulated CPU time (s) 1962.19
Current children cumulated vsize (KiB) 177084

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 23407
/proc/meminfo: memFree=30328900/32770624 swapFree=0/540344
[pid=23271] ppid=23268 vsize=177216 CPUtime=2022.19 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 410201 0 0 0 202196 23 0 0 20 0 1 0 82547183 181469184 38045 18446744073709551615 4194304 7396336 140736509540464 140736509535096 4379197 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44304 38045 766 782 0 37320 0
Current children cumulated CPU time (s) 2022.19
Current children cumulated vsize (KiB) 177216

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 23409
/proc/meminfo: memFree=30329144/32770624 swapFree=0/540352
[pid=23271] ppid=23268 vsize=177216 CPUtime=2082.21 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 411003 0 0 0 208197 24 0 0 20 0 1 0 82547183 181469184 38046 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165796 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44304 38046 766 782 0 37320 0
Current children cumulated CPU time (s) 2082.21
Current children cumulated vsize (KiB) 177216

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 23413
/proc/meminfo: memFree=30329160/32770624 swapFree=0/540368
[pid=23271] ppid=23268 vsize=177216 CPUtime=2142.21 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 411760 0 0 0 214197 24 0 0 20 0 1 0 82547183 181469184 38048 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165805 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44304 38048 766 782 0 37320 0
Current children cumulated CPU time (s) 2142.21
Current children cumulated vsize (KiB) 177216

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 23415
/proc/meminfo: memFree=30329384/32770624 swapFree=0/540384
[pid=23271] ppid=23268 vsize=177216 CPUtime=2202.22 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 411807 0 0 0 220198 24 0 0 20 0 1 0 82547183 181469184 38048 18446744073709551615 4194304 7396336 140736509540464 140736509535096 4581576 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44304 38048 766 782 0 37320 0
Current children cumulated CPU time (s) 2202.22
Current children cumulated vsize (KiB) 177216

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 23418
/proc/meminfo: memFree=30329212/32770624 swapFree=0/540388
[pid=23271] ppid=23268 vsize=177216 CPUtime=2262.21 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 412606 0 0 0 226197 24 0 0 20 0 1 0 82547183 181469184 38048 18446744073709551615 4194304 7396336 140736509540464 140736509535096 4404800 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44304 38048 766 782 0 37320 0
Current children cumulated CPU time (s) 2262.21
Current children cumulated vsize (KiB) 177216

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 23421
/proc/meminfo: memFree=30329336/32770624 swapFree=0/540396
[pid=23271] ppid=23268 vsize=177216 CPUtime=2322.21 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 413419 0 0 0 232197 24 0 0 20 0 1 0 82547183 181469184 38056 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5586230 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44304 38056 766 782 0 37320 0
Current children cumulated CPU time (s) 2322.21
Current children cumulated vsize (KiB) 177216

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 23423
/proc/meminfo: memFree=30329048/32770624 swapFree=0/540412
[pid=23271] ppid=23268 vsize=177216 CPUtime=2382.21 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 414139 0 0 0 238197 24 0 0 20 0 1 0 82547183 181469184 38057 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5578112 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44304 38057 766 782 0 37320 0
Current children cumulated CPU time (s) 2382.21
Current children cumulated vsize (KiB) 177216

[startup+2442.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 23439
/proc/meminfo: memFree=30325008/32770624 swapFree=0/540432
[pid=23271] ppid=23268 vsize=177216 CPUtime=2442.22 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 414956 0 0 0 244198 24 0 0 20 0 1 0 82547183 181469184 38058 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5839273 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44304 38058 766 782 0 37320 0
Current children cumulated CPU time (s) 2442.22
Current children cumulated vsize (KiB) 177216

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 23465
/proc/meminfo: memFree=30324352/32770624 swapFree=0/540472
[pid=23271] ppid=23268 vsize=177216 CPUtime=2502.22 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 415776 0 0 0 250198 24 0 0 20 0 1 0 82547183 181469184 38061 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5649229 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44304 38061 766 782 0 37320 0
Current children cumulated CPU time (s) 2502.22
Current children cumulated vsize (KiB) 177216



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 2/183 23513
/proc/meminfo: memFree=30960736/32770624 swapFree=0/540480
[pid=23271] ppid=23268 vsize=177216 CPUtime=2519.91 cores=1,3,5,7
/proc/23271/stat : 23271 (MistralXCSP) R 23268 23271 31388 0 -1 4202496 416594 0 0 0 251967 24 0 0 20 0 1 0 82547183 181469184 38066 18446744073709551615 4194304 7396336 140736509540464 140736509535096 5165805 0 0 1 16386 0 0 0 17 3 0 0 10 0 0 9496464 9501696 33161216 140736509542834 140736509542984 140736509542984 140736509546441 0
/proc/23271/statm: 44304 38066 766 782 0 37320 0
Current children cumulated CPU time (s) 2519.91
Current children cumulated vsize (KiB) 177216

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 23271 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520
CPU time (s): 2519.93
CPU user time (s): 2519.68
CPU system time (s): 0.247007
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 177216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.68
system time used= 0.247007
maximum resident set size= 152284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416626
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= 61
involuntary context switches= 1039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23366 second user time and 10.3521 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-10 09:19:33
IDJOB=4261023
IDBENCH=122959
IDSOLVER=2649
FILE ID=node134/4261023-1502350410
RUNJOBID= node134-1502331912-20756
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-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-4261023-1502350410/watcher-4261023-1502350410 -o /tmp/evaluation-result-4261023-1502350410/solver-4261023-1502350410 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20756 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1791994558 HOME/instance-4261023-1502350410.xml

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

MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8
RANDOM SEED=1791994558

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30988784 kB
MemAvailable:   31863264 kB
Buffers:          267996 kB
Cached:           901444 kB
SwapCached:            0 kB
Active:           780988 kB
Inactive:         571064 kB
Active(anon):     184852 kB
Inactive(anon):    31224 kB
Active(file):     596136 kB
Inactive(file):   539840 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             11892 kB
Writeback:             0 kB
AnonPages:        186332 kB
Mapped:            49096 kB
Shmem:             33468 kB
Slab:             134944 kB
SReclaimable:     108680 kB
SUnreclaim:        26264 kB
KernelStack:        3520 kB
PageTables:         4868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     448672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62020 MiB
End job on node134 at 2017-08-10 10:01:33