Trace number 4307757

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 NameAnswerCPU timeWall clock time
OscaR - Conflict Ordering 2018-08-14SAT 12.8852 8.23983

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06d_c18.xml
MD5SUM71f002b78114a95e8a0fa642f39b0e56
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.06246
Satisfiable
(Un)Satisfiability was proved
Number of variables1176
Number of constraints701
Number of domains3
Minimum domain size7
Maximum domain size42
Distribution of domain sizes[{"size":7,"count":294},{"size":8,"count":294},{"size":42,"count":588}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":588},{"degree":3,"count":294},{"degree":4,"count":259},{"degree":5,"count":35}]
Minimum constraint arity2
Maximum constraint arity294
Distribution of constraint arities[{"arity":2,"count":588},{"arity":5,"count":7},{"arity":7,"count":84},{"arity":42,"count":14},{"arity":84,"count":7},{"arity":294,"count":1}]
Number of extensional constraints588
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":588},{"type":"allDifferent","count":98},{"type":"ordered","count":7},{"type":"lex","count":1},{"type":"channel","count":7}]
Optimization problemNO
Type of objective

Solver Data 

0.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 510412592
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
3.83/1.77	c Parsing done, starting search...
12.82/8.21	s SATISFIABLE
12.82/8.21	v <instantiation>
12.82/8.21	v 	<list>
12.82/8.21	v 		vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[0][6] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[1][6] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[2][6] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[3][6] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[4][6] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[5][6] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[6][6] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[7][6] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[8][6] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[9][6] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[10][6] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[11][6] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[12][6] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[13][6] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[14][6] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[15][6] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[16][6] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[17][6] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[18][6] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[19][6] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[20][6] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[21][6] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[22][6] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[23][6] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[24][6] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[25][6] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[26][6] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[27][6] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[28][6] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[29][6] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[30][6] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[31][6] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[32][6] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[33][6] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[34][6] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] vr[35][6] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[36][5] vr[36][6] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[37][5] vr[37][6] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[38][5] vr[38][6] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[39][5] vr[39][6] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[40][5] vr[40][6] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[41][5] vr[41][6] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[0][6] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[1][6] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[2][6] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[3][6] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[4][6] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[5][6] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[6][6] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[7][6] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[8][6] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[9][6] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[10][6] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[11][6] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[12][6] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[13][6] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[14][6] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[15][6] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[16][6] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[17][6] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[18][6] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[19][6] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[20][6] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[21][6] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[22][6] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[23][6] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[24][6] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[25][6] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[26][6] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[27][6] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[28][6] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[29][6] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[30][6] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[31][6] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[32][6] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[33][6] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[34][6] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] ve[35][6] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[36][5] ve[36][6] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[37][5] ve[37][6] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[38][5] ve[38][6] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[39][5] ve[39][6] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[40][5] ve[40][6] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[41][5] ve[41][6] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[0][6] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[1][6] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[2][6] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[3][6] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[4][6] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[5][6] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[6][6] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[7][6] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[8][6] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[9][6] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[10][6] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[11][6] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[12][6] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[13][6] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[14][6] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[15][6] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[16][6] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[17][6] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[18][6] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[19][6] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[20][6] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[21][6] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[22][6] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[23][6] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[24][6] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[25][6] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[26][6] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[27][6] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[28][6] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[29][6] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[30][6] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[31][6] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[32][6] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[33][6] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[34][6] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gvr[35][6] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[36][5] gvr[36][6] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[37][5] gvr[37][6] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[38][5] gvr[38][6] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[39][5] gvr[39][6] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[40][5] gvr[40][6] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[41][5] gvr[41][6] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[0][6] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[1][6] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[2][6] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[3][6] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[4][6] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[5][6] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[6][6] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[7][6] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[8][6] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[9][6] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[10][6] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[11][6] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[12][6] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[13][6] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[14][6] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[15][6] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[16][6] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[17][6] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[18][6] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[19][6] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[20][6] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[21][6] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[22][6] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[23][6] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[24][6] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[25][6] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[26][6] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[27][6] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[28][6] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[29][6] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[30][6] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[31][6] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[32][6] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[33][6] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[34][6] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5] gve[35][6] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[36][5] gve[36][6] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[37][5] gve[37][6] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[38][5] gve[38][6] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[39][5] gve[39][6] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[40][5] gve[40][6] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[41][5] gve[41][6]
12.82/8.21	v 	</list>
12.82/8.21	v 	<values>
12.82/8.21	v 		0 8 12 18 29 34 41 1 28 40 32 22 17 10 2 27 38 30 21 16 11 3 25 37 31 19 6 13 4 36 24 14 9 23 35 5 41 9 12 26 30 20 6 18 14 40 32 24 0 7 22 17 33 3 25 36 8 4 39 34 23 15 27 9 0 33 15 25 19 37 10 26 41 35 1 22 17 11 38 16 28 20 2 31 12 40 34 3 8 27 18 13 29 23 39 7 4 32 14 5 30 6 24 36 21 15 24 22 1 31 38 8 16 20 4 26 40 35 7 17 30 21 10 5 37 25 18 12 6 2 36 28 34 19 13 0 29 11 33 39 20 7 35 38 27 1 14 21 2 32 41 10 12 28 22 9 13 4 34 40 29 23 37 8 0 30 26 15 24 17 5 11 18 39 33 25 19 3 36 6 31 16 26 16 31 9 0 21 38 27 23 10 5 35 41 12 28 3 18 37 33 14 6 29 15 36 7 2 32 19 30 11 1 13 39 20 24 31 21 15 24 37 0 9 32 10 19 17 4 29 40 33 14 11 25 38 5 22 34 6 2 27 41 13 23 35 39 20 8 12 3 26 36 1 7 16 28 18 30 37 31 25 19 13 7 1 38 32 26 20 14 8 2 39 33 27 21 15 9 3 40 34 28 22 16 10 4 41 35 29 23 17 11 5 0 9 19 23 26 31 6 1 36 30 15 10 20 37 2 21 34 18 29 11 38 3 28 25 12 7 35 39 4 8 16 22 32 13 40 5 14 24 27 17 33 41 6 34 18 14 25 3 28 7 20 36 29 13 37 16 8 0 23 35 12 38 15 9 22 5 26 4 39 31 10 32 27 17 21 40 1 11 30 33 24 19 41 2 12 18 0 5 35 21 27 13 19 22 30 37 34 3 14 33 6 4 38 28 20 15 29 31 9 39 8 23 16 26 11 36 40 2 25 17 24 7 32 41 1 10 18 6 28 0 24 36 12 19 25 32 37 3 9 29 20 16 35 38 11 30 5 21 31 17 39 2 26 14 22 7 15 40 1 10 33 23 27 13 41 8 4 34 24 15 4 31 14 6 30 25 3 37 33 9 7 17 26 10 38 16 5 23 35 27 2 39 34 20 12 8 28 1 40 11 36 18 21 29 13 41 19 0 32 22 30 17 14 2 23 5 36 31 37 26 3 15 25 11 32 38 21 1 6 29 13 33 39 9 7 28 19 24 34 40 12 8 22 0 18 35 41 20 10 27 16 4 36 4 29 25 18 14 7 37 23 3 28 31 17 9 38 11 2 20 33 15 26 39 35 8 13 30 24 19 40 12 1 6 16 22 32 41 5 10 21 34 27 0 0 1 2 3 4 5 6 0 4 6 5 3 2 1 0 4 6 5 3 2 1 0 4 6 5 3 1 2 0 6 4 2 1 3 5 0 6 1 2 4 5 3 1 3 2 6 5 4 0 1 3 2 5 0 4 6 1 0 6 5 3 2 4 1 0 5 2 4 3 6 1 4 6 5 0 3 2 1 6 2 4 3 0 5 2 6 5 0 1 4 3 2 4 3 6 1 0 5 2 0 5 1 4 6 3 2 4 3 0 5 6 1 2 3 0 4 6 5 1 2 5 3 1 0 6 4 3 2 1 0 6 4 5 3 2 0 4 1 5 6 3 1 5 6 4 0 2 3 0 5 6 1 2 4 3 1 2 0 5 6 4 3 6 1 0 5 4 2 4 2 0 1 3 6 5 4 3 0 6 1 5 2 4 2 5 1 0 3 6 4 3 1 0 5 6 2 4 0 3 6 5 2 1 4 2 6 1 0 5 3 5 1 0 2 6 3 4 5 3 2 4 6 0 1 5 1 3 2 0 4 6 5 2 1 4 6 0 3 5 1 0 4 6 2 3 5 6 3 1 2 0 4 6 0 1 2 4 3 5 6 5 4 3 2 1 0 6 5 4 3 2 1 0 6 5 4 3 2 1 0 6 5 4 3 2 1 0 6 5 4 3 2 1 0 0 2 3 4 5 6 1 0 6 5 3 2 4 7 0 4 6 3 5 2 7 0 5 4 2 1 6 7 0 1 3 4 6 2 7 1 2 4 5 3 6 7 1 6 3 2 4 0 5 1 4 6 5 2 7 3 1 0 4 6 2 7 3 2 4 1 5 0 7 6 2 6 5 3 4 7 0 2 5 6 4 3 7 0 2 3 0 1 6 4 5 2 3 4 5 7 6 0 2 6 1 0 7 5 4 3 5 6 2 7 1 4 3 5 2 6 7 0 4 3 4 1 6 7 0 2 3 1 5 0 4 6 2 3 4 6 7 0 2 5 4 3 6 7 2 5 1 4 6 3 7 0 5 2 4 1 3 7 0 2 6 4 5 2 7 1 0 6 4 3 0 6 2 1 5 4 0 7 6 2 1 3 5 2 7 3 1 4 6 5 0 7 6 4 2 1 5 0 7 2 6 3 4 5 2 7 3 0 6 4 5 3 2 0 4 1 6 6 7 5 0 3 4 2 6 7 4 0 1 5 2 6 7 2 1 5 3 4 6 7 2 1 4 0 3 6 7 4 2 5 3 0 6 0 5 4 3 2 1 7 4 0 5 6 3 2 7 2 0 4 6 3 5 7 6 1 2 5 4 3 7 2 0 1 3 4 6 7 1 2 4 6 5 0 
12.82/8.21	v 	</values>
12.82/8.21	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11840 MiB free)
  memory of node 1: 16384 MiB (6939 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307757-1534260987/watcher-4307757-1534260987 -o /tmp/evaluation-result-4307757-1534260987/solver-4307757-1534260987 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534258053-12155 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 510412592 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307757-1534260987.xml 

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

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


[startup+0.100079 s]*
/proc/loadavg: 1.91 1.55 1.40 4/215 12947
/proc/meminfo: memFree=19212596/32770624 swapFree=67105356/67108860
[pid=12932] ppid=12929 vsize=14082736 memory=31608 CPUtime=0.12 cores=0,2,4,6
/proc/12932/stat : 12932 (java) S 12929 12932 12124 0 -1 1077944320 6848 0 0 0 11 1 0 0 20 0 15 0 243661902 14420721664 7902 33554432000 4194304 4196468 140727109751296 140727109733840 139969338191607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
/proc/12932/statm: 3520684 7902 3133 1 0 3482761 0
[pid=12932/tid=12934] ppid=12929 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 12124 0 -1 4202560 4909 0 0 0 9 0 0 0 20 0 15 0 243661903 14420721664 7902 33554432000 4194304 4196468 140727109751296 139969342385688 139969338213533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12935] ppid=12929 vsize=14082736 memory=5793855948957260217 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 7902 33554432000 4194304 4196468 140727109751296 139969294744208 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12936] ppid=12929 vsize=14082736 memory=140697947367040 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968932932112 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12937] ppid=12929 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968931879312 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12938] ppid=12929 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968930826512 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12939] ppid=12929 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243661905 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968519875440 139969338202754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12940] ppid=12929 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243661905 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968518821408 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12941] ppid=12929 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243661905 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968517768560 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12942] ppid=12929 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968516716880 139969338210203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12943] ppid=12929 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 12124 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968515664240 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12944] ppid=12929 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968514611440 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12945] ppid=12929 vsize=14082736 memory=140697947367040 CPUtime=0.01 cores=0,2,4,6
/proc/12932/task/12945/stat : 12945 (java) R 12929 12932 12124 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 243661908 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968513558640 139969338212954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12946] ppid=12929 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968512506080 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12947] ppid=12929 vsize=14082736 memory=140697947367040 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 7902 33554432000 4194304 4196468 140727109751296 139968511454384 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31608 KiB

[startup+0.214156 s]*
/proc/loadavg: 1.91 1.55 1.40 5/215 12947
/proc/meminfo: memFree=19196720/32770624 swapFree=67105356/67108860
[pid=12932] ppid=12929 vsize=14082736 memory=47904 CPUtime=0.31 cores=0,2,4,6
/proc/12932/stat : 12932 (java) S 12929 12932 12124 0 -1 1077944320 10516 0 0 0 30 1 0 0 20 0 15 0 243661902 14420721664 11976 33554432000 4194304 4196468 140727109751296 140727109733840 139969338191607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
/proc/12932/statm: 3520684 11976 3414 1 0 3482761 0
[pid=12932/tid=12934] ppid=12929 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 12124 0 -1 4202560 8239 0 0 0 19 1 0 0 20 0 15 0 243661903 14420721664 11976 33554432000 4194304 4196468 140727109751296 139969342419968 139969338203542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12935] ppid=12929 vsize=14082736 memory=4211974424152157578 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 11976 33554432000 4194304 4196468 140727109751296 139969294744208 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12936] ppid=12929 vsize=14082736 memory=140697947367040 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968932932112 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12937] ppid=12929 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968931879312 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12938] ppid=12929 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968930826512 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12939] ppid=12929 vsize=14082736 memory=140697947367040 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243661905 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968519875440 139969338202754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12940] ppid=12929 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243661905 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968518821408 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12941] ppid=12929 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243661905 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968517768560 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12942] ppid=12929 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968516716880 139969338210203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12943] ppid=12929 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 12124 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 243661908 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968515664240 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12944] ppid=12929 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 12124 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 15 0 243661908 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968514611440 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12945] ppid=12929 vsize=14082736 memory=140697947367040 CPUtime=0.06 cores=0,2,4,6
/proc/12932/task/12945/stat : 12945 (java) R 12929 12932 12124 0 -1 4202560 292 0 0 0 6 0 0 0 20 0 15 0 243661908 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968513553024 139969330428734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12946] ppid=12929 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968512506080 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12947] ppid=12929 vsize=14082736 memory=140697947367040 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 11976 33554432000 4194304 4196468 140727109751296 139968511454384 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47904 KiB

[startup+0.310532 s]*
/proc/loadavg: 1.91 1.55 1.40 4/215 12947
/proc/meminfo: memFree=19193680/32770624 swapFree=67105356/67108860
[pid=12932] ppid=12929 vsize=14082736 memory=51044 CPUtime=0.44 cores=0,2,4,6
/proc/12932/stat : 12932 (java) S 12929 12932 12124 0 -1 1077944320 10867 0 0 0 43 1 0 0 20 0 15 0 243661902 14420721664 12761 33554432000 4194304 4196468 140727109751296 140727109733840 139969338191607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
/proc/12932/statm: 3520684 12761 3417 1 0 3482761 0
[pid=12932/tid=12934] ppid=12929 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 12124 0 -1 4202560 8572 0 0 0 29 1 0 0 20 0 15 0 243661903 14420721664 12761 33554432000 4194304 4196468 140727109751296 139969342380880 139969322272094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12935] ppid=12929 vsize=14082736 memory=4211974424152157578 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 12761 33554432000 4194304 4196468 140727109751296 139969294744208 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12936] ppid=12929 vsize=14082736 memory=140697947369384 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 12761 33554432000 4194304 4196468 140727109751296 139968932932112 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12937] ppid=12929 vsize=14082736 memory=140697827137874 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 12761 33554432000 4194304 4196468 140727109751296 139968931879312 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12938] ppid=12929 vsize=14082736 memory=140697827134927 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243661903 14420721664 12812 33554432000 4194304 4196468 140727109751296 139968930826512 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12939] ppid=12929 vsize=14082736 memory=140697947379190 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243661905 14420721664 12812 33554432000 4194304 4196468 140727109751296 139968519875440 139969338202754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12940] ppid=12929 vsize=14082736 memory=140697827144111 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243661905 14420721664 12812 33554432000 4194304 4196468 140727109751296 139968518821408 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12941] ppid=12929 vsize=14082736 memory=281395654279056 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243661905 14420721664 12812 33554432000 4194304 4196468 140727109751296 139968517768560 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12942] ppid=12929 vsize=14082736 memory=281395654276752 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 12812 33554432000 4194304 4196468 140727109751296 139968516716880 139969338210203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12943] ppid=12929 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 12124 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 15 0 243661908 14420721664 12812 33554432000 4194304 4196468 140727109751296 139968515664240 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12944] ppid=12929 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 12124 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 15 0 243661908 14420721664 12812 33554432000 4194304 4196468 140727109751296 139968514611440 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12945] ppid=12929 vsize=14082736 memory=140697947367040 CPUtime=0.08 cores=0,2,4,6
/proc/12932/task/12945/stat : 12945 (java) S 12929 12932 12124 0 -1 1077944384 300 0 0 0 8 0 0 0 20 0 15 0 243661908 14420721664 12812 33554432000 4194304 4196468 140727109751296 139968513558640 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12946] ppid=12929 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 12812 33554432000 4194304 4196468 140727109751296 139968512506080 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12947] ppid=12929 vsize=14082736 memory=140697947367040 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661908 14420721664 12812 33554432000 4194304 4196468 140727109751296 139968511454384 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51044 KiB

[startup+0.701223 s]
/proc/loadavg: 1.91 1.55 1.40 3/215 12947
/proc/meminfo: memFree=19169496/32770624 swapFree=67105356/67108860
[pid=12932] ppid=12929 vsize=14084804 memory=90692 CPUtime=0.98 cores=0,2,4,6
/proc/12932/stat : 12932 (java) S 12929 12932 12124 0 -1 1077944320 17572 0 0 0 95 3 0 0 20 0 15 0 243661902 14422839296 22673 33554432000 4194304 4196468 140727109751296 140727109733840 139969338191607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
/proc/12932/statm: 3521201 22673 3499 1 0 3483273 0
[pid=12932/tid=12934] ppid=12929 vsize=14084804 memory=1612 CPUtime=0.67 cores=0,2,4,6
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 12124 0 -1 4202560 14904 0 0 0 65 2 0 0 20 0 15 0 243661903 14422839296 22673 33554432000 4194304 4196468 140727109751296 139969342414208 139969338213533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12935] ppid=12929 vsize=14084804 memory=1812 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14422839296 22673 33554432000 4194304 4196468 140727109751296 139969294744208 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12936] ppid=12929 vsize=14084804 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968932932112 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12937] ppid=12929 vsize=14084804 memory=7235408084361307456 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968931879312 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12938] ppid=12929 vsize=14084804 memory=7739276948478389351 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243661903 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968930826512 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12939] ppid=12929 vsize=14084804 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243661905 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968519875440 139969338202754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12940] ppid=12929 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243661905 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968518821408 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12941] ppid=12929 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243661905 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968517768560 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12942] ppid=12929 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968516716880 139969338210203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12943] ppid=12929 vsize=14084804 memory=8708 CPUtime=0.08 cores=0,2,4,6
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 12124 0 -1 1077944384 636 0 0 0 8 0 0 0 20 0 15 0 243661908 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968515664240 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12944] ppid=12929 vsize=14084804 memory=6 CPUtime=0.06 cores=0,2,4,6
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 12124 0 -1 1077944384 281 0 0 0 6 0 0 0 20 0 15 0 243661908 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968514611440 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12945] ppid=12929 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/12932/task/12945/stat : 12945 (java) S 12929 12932 12124 0 -1 1077944384 369 0 0 0 15 0 0 0 20 0 15 0 243661908 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968513558640 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12946] ppid=12929 vsize=14084804 memory=281395654462960 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968512506080 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12947] ppid=12929 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661908 14422839296 22673 33554432000 4194304 4196468 140727109751296 139968511454384 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90692 KiB

[startup+1.50069 s]
/proc/loadavg: 1.91 1.55 1.40 5/215 12947
/proc/meminfo: memFree=19113912/32770624 swapFree=67105356/67108860
[pid=12932] ppid=12929 vsize=14090948 memory=198332 CPUtime=3.2 cores=0,2,4,6
/proc/12932/stat : 12932 (java) S 12929 12932 12124 0 -1 1077944320 24318 0 0 0 314 6 0 0 20 0 15 0 243661902 14429130752 49583 33554432000 4194304 4196468 140727109751296 140727109733840 139969338191607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
/proc/12932/statm: 3522737 49583 3543 1 0 3484809 0
[pid=12932/tid=12934] ppid=12929 vsize=14090948 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 12124 0 -1 4202560 17961 0 0 0 142 5 0 0 20 0 15 0 243661903 14429130752 49583 33554432000 4194304 4196468 140727109751296 139969342425392 139969338203542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12935] ppid=12929 vsize=14090948 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14429130752 49583 33554432000 4194304 4196468 140727109751296 139969294744208 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12936] ppid=12929 vsize=14090948 memory=4948220803413810048 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14429130752 49583 33554432000 4194304 4196468 140727109751296 139968932932112 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12937] ppid=12929 vsize=14090948 memory=-5937291674679385897 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243661903 14429130752 49583 33554432000 4194304 4196468 140727109751296 139968931879312 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12938] ppid=12929 vsize=14090948 memory=-6079682855037261699 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243661903 14429130752 49583 33554432000 4194304 4196468 140727109751296 139968930826512 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12939] ppid=12929 vsize=14090948 memory=-7089346795033023022 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 12124 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 243661905 14429130752 49583 33554432000 4194304 4196468 140727109751296 139968519875440 139969338202754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0

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

[startup+8.23978 s]
# the end of solver process 12932 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.6899 s, system=0.195306 s

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

[startup+6.40087 s]
/proc/loadavg: 1.91 1.56 1.41 3/215 12947
/proc/meminfo: memFree=18855680/32770624 swapFree=67105356/67108860
[pid=12932] ppid=12929 vsize=14090948 memory=400592 CPUtime=10.95 cores=0,2,4,6
/proc/12932/stat : 12932 (java) S 12929 12932 12124 0 -1 1077944320 36650 0 0 0 1077 18 0 0 20 0 15 0 243661902 14429130752 100148 33554432000 4194304 4196468 140727109751296 140727109733840 139969338191607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
/proc/12932/statm: 3522737 100148 3582 1 0 3484809 0
[pid=12932/tid=12934] ppid=12929 vsize=14090948 memory=1289881 CPUtime=6.31 cores=0,2,4,6
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 12124 0 -1 4202560 19698 0 0 0 623 8 0 0 20 0 15 0 243661903 14429130752 100148 33554432000 4194304 4196468 140727109751296 139969342429592 139968984025702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12935] ppid=12929 vsize=14090948 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 12124 0 -1 1077944384 1073 0 0 0 3 1 0 0 20 0 15 0 243661903 14429130752 100148 33554432000 4194304 4196468 140727109751296 139969294744208 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12936] ppid=12929 vsize=14090948 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 12124 0 -1 1077944384 172 0 0 0 2 1 0 0 20 0 15 0 243661903 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968932932112 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12937] ppid=12929 vsize=14090948 memory=7809523229951467572 CPUtime=0.02 cores=0,2,4,6
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 12124 0 -1 1077944384 142 0 0 0 1 1 0 0 20 0 15 0 243661903 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968931879312 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12938] ppid=12929 vsize=14090948 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 12124 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 15 0 243661903 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968930826512 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12939] ppid=12929 vsize=14090948 memory=-1088251628401078322 CPUtime=0.01 cores=0,2,4,6
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 12124 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 15 0 243661905 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968519875440 139969338202754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12940] ppid=12929 vsize=14090948 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 12124 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 243661905 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968518821472 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12941] ppid=12929 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 12124 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 243661905 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968517768576 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12942] ppid=12929 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968516716880 139969338210203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12943] ppid=12929 vsize=14090948 memory=281395654033648 CPUtime=1.8 cores=0,2,4,6
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 12124 0 -1 1077944384 4463 0 0 0 179 1 0 0 20 0 15 0 243661908 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968515664240 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12944] ppid=12929 vsize=14090948 memory=400592 CPUtime=1.75 cores=0,2,4,6
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 12124 0 -1 1077944384 5087 0 0 0 175 0 0 0 20 0 15 0 243661908 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968514611440 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12945] ppid=12929 vsize=14090948 memory=2356 CPUtime=0.88 cores=0,2,4,6
/proc/12932/task/12945/stat : 12945 (java) S 12929 12932 12124 0 -1 1077944384 3992 0 0 0 88 0 0 0 20 0 15 0 243661908 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968513558640 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12946] ppid=12929 vsize=14090948 memory=7305218370954291033 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968512506080 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12947] ppid=12929 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 12124 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100148 33554432000 4194304 4196468 140727109751296 139968511454384 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
Current children cumulated CPU time: 10.95 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 400592 KiB

[startup+7.20067 s]
/proc/loadavg: 1.91 1.56 1.41 3/215 12947
/proc/meminfo: memFree=18857664/32770624 swapFree=67105356/67108860
[pid=12932] ppid=12929 vsize=14090948 memory=400692 CPUtime=11.76 cores=0,2,4,6
/proc/12932/stat : 12932 (java) S 12929 12932 12124 0 -1 1077944320 36856 0 0 0 1158 18 0 0 20 0 15 0 243661902 14429130752 100173 33554432000 4194304 4196468 140727109751296 140727109733840 139969338191607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
/proc/12932/statm: 3522737 100173 3582 1 0 3484809 0
[pid=12932/tid=12934] ppid=12929 vsize=14090948 memory=6791534058613427641 CPUtime=7.1 cores=0,2,4,6
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 12124 0 -1 4202560 19816 0 0 0 702 8 0 0 20 0 15 0 243661903 14429130752 100173 33554432000 4194304 4196468 140727109751296 139969342426800 139968984775510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12935] ppid=12929 vsize=14090948 memory=140697827244128 CPUtime=0.04 cores=0,2,4,6
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 12124 0 -1 1077944384 1073 0 0 0 3 1 0 0 20 0 15 0 243661903 14429130752 100173 33554432000 4194304 4196468 140727109751296 139969294744208 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12936] ppid=12929 vsize=14090948 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 12124 0 -1 1077944384 172 0 0 0 2 1 0 0 20 0 15 0 243661903 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968932932112 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12937] ppid=12929 vsize=14090948 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 12124 0 -1 1077944384 142 0 0 0 1 1 0 0 20 0 15 0 243661903 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968931879312 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12938] ppid=12929 vsize=14090948 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 12124 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 15 0 243661903 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968930826512 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12939] ppid=12929 vsize=14090948 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 12124 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 15 0 243661905 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968519875440 139969338202754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12940] ppid=12929 vsize=14090948 memory=140697827271424 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 12124 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 243661905 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968518821472 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12941] ppid=12929 vsize=14090948 memory=-6873997599201963303 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 12124 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 243661905 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968517768576 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12942] ppid=12929 vsize=14090948 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968516716880 139969338210203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12943] ppid=12929 vsize=14090948 memory=6944656592387989600 CPUtime=1.8 cores=0,2,4,6
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 12124 0 -1 1077944384 4465 0 0 0 179 1 0 0 20 0 15 0 243661908 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968515664240 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12944] ppid=12929 vsize=14090948 memory=6944656592455097440 CPUtime=1.75 cores=0,2,4,6
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 12124 0 -1 1077944384 5089 0 0 0 175 0 0 0 20 0 15 0 243661908 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968514611440 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12945] ppid=12929 vsize=14090948 memory=140697827266353 CPUtime=0.88 cores=0,2,4,6
/proc/12932/task/12945/stat : 12945 (java) S 12929 12932 12124 0 -1 1077944384 4076 0 0 0 88 0 0 0 20 0 15 0 243661908 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968513558640 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12946] ppid=12929 vsize=14090948 memory=-6966717417093883519 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968512506080 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12947] ppid=12929 vsize=14090948 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 12124 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100173 33554432000 4194304 4196468 140727109751296 139968511454384 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
Current children cumulated CPU time: 11.76 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 400692 KiB

[startup+8.00069 s]*
/proc/loadavg: 1.91 1.56 1.41 3/215 12947
/proc/meminfo: memFree=18860392/32770624 swapFree=67105356/67108860
[pid=12932] ppid=12929 vsize=14090948 memory=400884 CPUtime=12.62 cores=0,2,4,6
/proc/12932/stat : 12932 (java) S 12929 12932 12124 0 -1 1077944320 38827 0 0 0 1244 18 0 0 20 0 15 0 243661902 14429130752 100221 33554432000 4194304 4196468 140727109751296 140727109733840 139969338191607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
/proc/12932/statm: 3522737 100221 3582 1 0 3484809 0
[pid=12932/tid=12934] ppid=12929 vsize=14090948 memory=6791534058613427641 CPUtime=7.9 cores=0,2,4,6
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 12124 0 -1 4202560 19862 0 0 0 782 8 0 0 20 0 15 0 243661903 14429130752 100221 33554432000 4194304 4196468 140727109751296 139969342429712 139968975552991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12935] ppid=12929 vsize=14090948 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 12124 0 -1 1077944384 1178 0 0 0 4 1 0 0 20 0 15 0 243661903 14429130752 100221 33554432000 4194304 4196468 140727109751296 139969294744208 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12936] ppid=12929 vsize=14090948 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 12124 0 -1 1077944384 202 0 0 0 3 1 0 0 20 0 15 0 243661903 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968932932112 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12937] ppid=12929 vsize=14090948 memory=7649399384265273905 CPUtime=0.03 cores=0,2,4,6
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 12124 0 -1 1077944384 216 0 0 0 2 1 0 0 20 0 15 0 243661903 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968931879312 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12938] ppid=12929 vsize=14090948 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 12124 0 -1 1077944384 390 0 0 0 3 1 0 0 20 0 15 0 243661903 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968930826512 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12939] ppid=12929 vsize=14090948 memory=140697947378656 CPUtime=0.01 cores=0,2,4,6
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 12124 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 243661905 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968519875440 139969338202754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12940] ppid=12929 vsize=14090948 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 12124 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 243661905 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968518821472 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12941] ppid=12929 vsize=14090948 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 12124 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 243661905 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968517768576 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12942] ppid=12929 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968516716880 139969338210203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12943] ppid=12929 vsize=14090948 memory=0 CPUtime=1.82 cores=0,2,4,6
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 12124 0 -1 1077944384 5305 0 0 0 181 1 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968515664240 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12944] ppid=12929 vsize=14090948 memory=3472328296227679279 CPUtime=1.75 cores=0,2,4,6
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 12124 0 -1 1077944384 5510 0 0 0 175 0 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968514611440 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12945] ppid=12929 vsize=14090948 memory=6791534058613427641 CPUtime=0.88 cores=0,2,4,6
/proc/12932/task/12945/stat : 12945 (java) S 12929 12932 12124 0 -1 1077944384 4080 0 0 0 88 0 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968513558640 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12946] ppid=12929 vsize=14090948 memory=4632 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968512506080 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12947] ppid=12929 vsize=14090948 memory=3644 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 12124 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968511454384 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 400884 KiB

[startup+8.20066 s]
/proc/loadavg: 1.91 1.56 1.41 3/215 12947
/proc/meminfo: memFree=18860392/32770624 swapFree=67105356/67108860
[pid=12932] ppid=12929 vsize=14090948 memory=400884 CPUtime=12.82 cores=0,2,4,6
/proc/12932/stat : 12932 (java) S 12929 12932 12124 0 -1 1077944320 38917 0 0 0 1264 18 0 0 20 0 15 0 243661902 14429130752 100221 33554432000 4194304 4196468 140727109751296 140727109733840 139969338191607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
/proc/12932/statm: 3522737 100221 3582 1 0 3484809 0
[pid=12932/tid=12934] ppid=12929 vsize=14090948 memory=288230596050944315 CPUtime=8.09 cores=0,2,4,6
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 12124 0 -1 4202560 19880 0 0 0 801 8 0 0 20 0 15 0 243661903 14429130752 100221 33554432000 4194304 4196468 140727109751296 139969342429712 139968984083437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12935] ppid=12929 vsize=14090948 memory=14694093276056546 CPUtime=0.05 cores=0,2,4,6
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 12124 0 -1 1077944384 1178 0 0 0 4 1 0 0 20 0 15 0 243661903 14429130752 100221 33554432000 4194304 4196468 140727109751296 139969294744208 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12936] ppid=12929 vsize=14090948 memory=1612 CPUtime=0.04 cores=0,2,4,6
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 12124 0 -1 1077944384 202 0 0 0 3 1 0 0 20 0 15 0 243661903 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968932932112 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12937] ppid=12929 vsize=14090948 memory=1812 CPUtime=0.03 cores=0,2,4,6
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 12124 0 -1 1077944384 216 0 0 0 2 1 0 0 20 0 15 0 243661903 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968931879312 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12938] ppid=12929 vsize=14090948 memory=1064 CPUtime=0.04 cores=0,2,4,6
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 12124 0 -1 1077944384 390 0 0 0 3 1 0 0 20 0 15 0 243661903 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968930826512 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12939] ppid=12929 vsize=14090948 memory=6392 CPUtime=0.01 cores=0,2,4,6
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 12124 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 243661905 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968519875440 139969338202754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12940] ppid=12929 vsize=14090948 memory=4632 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 12124 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 243661905 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968518821472 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12941] ppid=12929 vsize=14090948 memory=3644 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 12124 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 243661905 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968517768576 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12942] ppid=12929 vsize=14090948 memory=1268 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968516716880 139969338210203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12943] ppid=12929 vsize=14090948 memory=0 CPUtime=1.82 cores=0,2,4,6
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 12124 0 -1 1077944384 5305 0 0 0 181 1 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968515664240 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12944] ppid=12929 vsize=14090948 memory=-8634980985311628903 CPUtime=1.75 cores=0,2,4,6
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 12124 0 -1 1077944384 5510 0 0 0 175 0 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968514611440 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12945] ppid=12929 vsize=14090948 memory=7100839878645619564 CPUtime=0.88 cores=0,2,4,6
/proc/12932/task/12945/stat : 12945 (java) S 12929 12932 12124 0 -1 1077944384 4152 0 0 0 88 0 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968513558640 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12946] ppid=12929 vsize=14090948 memory=7897517683652307531 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968512506080 139969338201813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
[pid=12932/tid=12947] ppid=12929 vsize=14090948 memory=1268 CPUtime=0 cores=0,2,4,6
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 12124 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 243661908 14429130752 100221 33554432000 4194304 4196468 140727109751296 139968511454384 139969338202754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 32141312 140727109760081 140727109760265 140727109760265 140727109763023 0
Current children cumulated CPU time: 12.82 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 400884 KiB

Child status: 0
Real time (s): 8.23983
CPU time (s): 12.8852
CPU user time (s): 12.6899
CPU system time (s): 0.195306
CPU usage (%): 156.377
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 400884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6899
system time used= 0.195306
maximum resident set size= 401452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40784
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3301
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 12932
#   total CPU time (s): 12.8852
#   total CPU user time (s): 12.6899
#   total CPU system time (s): 0.195306

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054747 second user time and 0.138261 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-14 17:36:27
IDJOB=4307757
IDBENCH=141393
IDSOLVER=2790
FILE ID=node149/4307757-1534260987
RUNJOBID= node149-1534258053-12155
PBS_JOBID= 21038116
Free space on /tmp= 41748 MiB

SOLVER NAME= OscaR - Conflict Ordering 2018-08-14
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06d_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307757-1534260987/watcher-4307757-1534260987 -o /tmp/evaluation-result-4307757-1534260987/solver-4307757-1534260987 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534258053-12155 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 510412592 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307757-1534260987.xml

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

MD5SUM BENCH= 71f002b78114a95e8a0fa642f39b0e56
RANDOM SEED=510412592

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19230024 kB
MemAvailable:   28928180 kB
Buffers:          167924 kB
Cached:          9703324 kB
SwapCached:         1704 kB
Active:          7157028 kB
Inactive:        5738864 kB
Active(anon):    2975072 kB
Inactive(anon):   101568 kB
Active(file):    4181956 kB
Inactive(file):  5637296 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67105356 kB
Dirty:             35676 kB
Writeback:             4 kB
AnonPages:       3030348 kB
Mapped:            67604 kB
Shmem:             49568 kB
Slab:             335400 kB
SReclaimable:     307364 kB
SUnreclaim:        28036 kB
KernelStack:        3504 kB
PageTables:        11804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3658860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2865152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41716 MiB
End job on node149 at 2018-08-14 17:36:35