Trace number 4291438

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
OscaR - Hybrid 2018-07-02SAT (TO)159 2400.07 2354.92

General information on the benchmark

NameStillLife/
StillLife-wastage-19_c18.xml
MD5SUMbc316652a8a0d5c7d33934cb88eaeb44
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark190
Best CPU time to get the best result obtained on this benchmark154.096
Satisfiable
(Un)Satisfiability was proved
Number of variables904
Number of constraints559
Number of domains4
Minimum domain size2
Maximum domain size883
Distribution of domain sizes[{"size":2,"count":441},{"size":3,"count":441},{"size":362,"count":1},{"size":883,"count":21}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":438},{"degree":3,"count":24},{"degree":4,"count":76},{"degree":8,"count":72},{"degree":9,"count":289},{"degree":22,"count":1}]
Minimum constraint arity2
Maximum constraint arity23
Distribution of constraint arities[{"arity":2,"count":97},{"arity":3,"count":76},{"arity":10,"count":361},{"arity":21,"count":4},{"arity":22,"count":1},{"arity":23,"count":20}]
Number of extensional constraints437
Number of intensional constraints96
Distribution of constraint types[{"type":"extension","count":437},{"type":"intension","count":96},{"type":"sum","count":22},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax 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.68/1.16	c version: 2018-07-02
0.68/1.17	c seed: 142356946
0.68/1.17	c timeout: 2400
0.68/1.17	c memlimit: 11000
0.68/1.17	c nbcore: 4
0.76/1.25	c Parsing instance...
4.21/2.70	c Parsing done, starting first complete search...
5.40/3.35	o 69
5.40/3.35	o 70
5.40/3.35	o 71
5.40/3.35	o 72
5.40/3.35	o 73
5.40/3.35	o 74
5.40/3.35	o 75
5.40/3.35	o 76
5.40/3.35	o 77
5.40/3.35	o 78
5.40/3.35	o 79
5.40/3.35	o 80
5.40/3.35	o 81
5.40/3.35	o 82
5.40/3.35	o 83
5.40/3.35	o 84
5.40/3.35	o 85
5.40/3.35	o 86
5.40/3.35	o 87
5.40/3.35	o 88
5.40/3.35	o 89
5.40/3.35	o 90
5.40/3.35	o 91
5.40/3.35	o 92
5.40/3.35	o 93
5.40/3.35	o 94
5.40/3.35	o 95
5.40/3.35	o 96
5.40/3.35	o 97
5.40/3.35	o 98
5.40/3.35	o 99
5.40/3.35	o 100
5.40/3.35	o 101
5.40/3.35	o 102
5.40/3.35	o 103
5.40/3.35	o 104
5.40/3.35	o 105
5.40/3.35	o 106
5.40/3.35	o 107
5.40/3.35	o 108
5.40/3.35	o 109
5.40/3.35	o 110
5.40/3.35	o 111
5.40/3.35	o 112
5.40/3.35	o 113
5.40/3.43	o 114
6.53/3.55	o 115
6.99/3.77	o 116
9.96/6.37	c First complete search done, starting ALNS search...
10.38/6.68	o 117
11.36/7.13	o 118
11.76/7.40	o 119
12.79/8.20	o 120
13.01/8.26	o 121
13.21/8.31	o 122
14.18/9.26	o 123
14.18/9.30	o 124
14.29/9.31	o 125
14.29/9.34	o 126
14.29/9.35	o 127
14.29/9.36	o 128
14.29/9.36	o 129
14.29/9.37	o 130
14.29/9.38	o 131
14.95/9.98	o 132
14.95/9.98	o 133
14.95/9.99	o 134
34.14/28.96	o 135
34.14/28.96	o 136
34.14/28.96	o 137
34.14/28.97	o 138
34.14/28.98	o 139
34.14/28.99	o 140
34.26/29.00	o 141
34.26/29.01	o 142
130.13/123.36	o 143
142.97/136.06	o 144
143.07/136.17	o 145
236.64/228.39	o 146
242.98/234.57	o 147
243.18/234.73	o 148
243.28/234.82	o 149
243.28/234.89	o 150
243.48/235.06	o 151
243.58/235.16	o 152
374.99/365.20	o 153
385.83/375.87	o 154
386.24/376.24	o 155
386.83/376.86	o 156
477.79/466.67	o 157
480.90/469.76	o 158
481.10/469.92	o 159
2400.04/2354.90	s SATISFIABLE
2400.04/2354.90	v <instantiation>
2400.04/2354.90	v 	<list>
2400.04/2354.90	v 		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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] z
2400.04/2354.90	v 	</list>
2400.04/2354.90	v 	<values>
2400.04/2354.90	v 		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 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 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 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 2 1 1 2 1 2 1 1 2 1 1 2 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 1 1 2 1 1 2 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 2 1 1 2 1 1 1 0 0 0 0 0 1 0 0 0 0 0 2 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 2 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 2 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 2 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 2 1 1 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 15 35 41 47 62 76 83 85 91 99 106 114 118 122 126 130 133 137 141 152 162 159 
2400.04/2354.90	v 	</values>
2400.04/2354.90	v </instantiation>

Verifier Data

OK	159

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291438-1532226532/watcher-4291438-1532226532 -o /tmp/evaluation-result-4291438-1532226532/solver-4291438-1532226532 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29117 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 142356946 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291438-1532226532.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.10023 s]*
/proc/loadavg: 1.97 2.02 2.03 1/190 29150
/proc/meminfo: memFree=20600252/32770624 swapFree=67108860/67108860
[pid=29144] ppid=29140 vsize=98704 memory=4632 CPUtime=0 cores=1,3,5,7
/proc/29144/stat : 29144 (java) S 29140 29144 29085 0 -1 1077944320 1373 0 0 0 0 0 0 0 20 0 2 0 40216428 101072896 1158 33554432000 4194304 4196468 140727073327504 140727073310048 140433381883639 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
/proc/29144/statm: 24676 1158 859 1 0 16800 0
[pid=29144/tid=29150] ppid=29140 vsize=98704 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29150/stat : 29150 (java) D 29140 29144 29085 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 2 0 40216438 101072896 1158 33554432000 4194304 4196468 140727073327504 140433386120544 140433374562861 0 0 4096 0 18446744072101756452 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 98704 KiB
Current children cumulated memory: 4632 KiB

[startup+0.209843 s]*
/proc/loadavg: 1.97 2.02 2.03 1/191 29151
/proc/meminfo: memFree=20599236/32770624 swapFree=67108860/67108860
[pid=29144] ppid=29140 vsize=111596 memory=5608 CPUtime=0 cores=1,3,5,7
/proc/29144/stat : 29144 (java) S 29140 29144 29085 0 -1 1077944320 1654 0 0 0 0 0 0 0 20 0 2 0 40216428 114274304 1402 33554432000 4194304 4196468 140727073327504 140727073310048 140433381883639 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
/proc/29144/statm: 27899 1402 1062 1 0 16810 0
[pid=29144/tid=29150] ppid=29140 vsize=111596 memory=7022364594140610616 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29150/stat : 29150 (java) D 29140 29144 29085 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 2 0 40216438 114274304 1402 33554432000 4194304 4196468 140727073327504 140433386125328 140433374562861 0 4 0 16784584 18446744072101756452 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5608 KiB

[startup+0.309285 s]*
/proc/loadavg: 1.97 2.02 2.03 1/205 29165
/proc/meminfo: memFree=20580944/32770624 swapFree=67108860/67108860
[pid=29144] ppid=29140 vsize=13681496 memory=18092 CPUtime=0.04 cores=1,3,5,7
/proc/29144/stat : 29144 (java) S 29140 29144 29085 0 -1 1077944320 3852 0 0 0 3 1 0 0 20 0 9 0 40216428 14009851904 4523 33554432000 4194304 4196468 140727073327504 140727073310048 140433381883639 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
/proc/29144/statm: 3420374 4523 2155 1 0 3382915 0
[pid=29144/tid=29150] ppid=29140 vsize=13681496 memory=7022364594140610616 CPUtime=0.03 cores=1,3,5,7
/proc/29144/task/29150/stat : 29150 (java) D 29140 29144 29085 0 -1 1077944384 2480 0 0 0 3 0 0 0 20 0 9 0 40216438 14009851904 4523 33554432000 4194304 4196468 140727073327504 140433386118736 140433381907517 0 4 0 16800971 18446744072101756452 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29152] ppid=29140 vsize=13681496 memory=343 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29152/stat : 29152 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 40216452 14009851904 4523 33554432000 4194304 4196468 140727073327504 140432977566864 140433381893845 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29153] ppid=29140 vsize=13681496 memory=301934564418232960 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29153/stat : 29153 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 40216452 14009851904 4523 33554432000 4194304 4196468 140727073327504 140432976514064 140433381893845 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29154] ppid=29140 vsize=13681496 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29154/stat : 29154 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 40216452 14009851904 4523 33554432000 4194304 4196468 140727073327504 140432975461264 140433381893845 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29155] ppid=29140 vsize=13681496 memory=3184097920075968559 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29155/stat : 29155 (java) S 29140 29144 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 40216452 14009851904 4523 33554432000 4194304 4196468 140727073327504 140432974408464 140433381893845 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29160] ppid=29140 vsize=13681496 memory=140405859382912 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29160/stat : 29160 (java) S 29140 29144 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 40216455 14009851904 4523 33554432000 4194304 4196468 140727073327504 140432856713584 140433381894786 0 0 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29162] ppid=29140 vsize=13681496 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29162/stat : 29162 (java) S 29140 29144 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 40216456 14009851904 4523 33554432000 4194304 4196468 140727073327504 140432855659552 140433381893845 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29163] ppid=29140 vsize=13681496 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29163/stat : 29163 (java) S 29140 29144 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 40216456 14009851904 4523 33554432000 4194304 4196468 140727073327504 140432854606704 140433381893845 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13681496 KiB
Current children cumulated memory: 18092 KiB

[startup+0.707799 s]
/proc/loadavg: 1.97 2.02 2.03 2/217 29177
/proc/meminfo: memFree=20575896/32770624 swapFree=67108860/67108860
[pid=29144] ppid=29140 vsize=14082740 memory=47612 CPUtime=0.3 cores=1,3,5,7
/proc/29144/stat : 29144 (java) S 29140 29144 29085 0 -1 1077944320 10079 0 0 0 28 2 0 0 20 0 15 0 40216428 14420725760 11903 33554432000 4194304 4196468 140727073327504 140727073310048 140433381883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
/proc/29144/statm: 3520685 11903 3371 1 0 3482761 0
[pid=29144/tid=29150] ppid=29140 vsize=14082740 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/29144/task/29150/stat : 29150 (java) R 29140 29144 29085 0 -1 4202560 7683 0 0 0 18 1 0 0 20 0 15 0 40216438 14420725760 11903 33554432000 4194304 4196468 140727073327504 140433386112000 140433365927269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29152] ppid=29140 vsize=14082740 memory=2388 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29152/stat : 29152 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216452 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432977566864 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29153] ppid=29140 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29153/stat : 29153 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216452 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432976514064 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29154] ppid=29140 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29154/stat : 29154 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216452 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432975461264 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29155] ppid=29140 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29155/stat : 29155 (java) S 29140 29144 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216452 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432974408464 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29160] ppid=29140 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29160/stat : 29160 (java) S 29140 29144 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40216455 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432856713584 140433381894786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29162] ppid=29140 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29162/stat : 29162 (java) S 29140 29144 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40216456 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432855659552 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29163] ppid=29140 vsize=14082740 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29163/stat : 29163 (java) S 29140 29144 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40216456 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432854606704 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29166] ppid=29140 vsize=14082740 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29166/stat : 29166 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432853555024 140433381902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29167] ppid=29140 vsize=14082740 memory=8148 CPUtime=0.02 cores=1,3,5,7
/proc/29144/task/29167/stat : 29167 (java) S 29140 29144 29085 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 15 0 40216472 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432852503408 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29168] ppid=29140 vsize=14082740 memory=848 CPUtime=0.01 cores=1,3,5,7
/proc/29144/task/29168/stat : 29168 (java) R 29140 29144 29085 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 15 0 40216472 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432851442256 140433361135471 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29169] ppid=29140 vsize=14082740 memory=4104 CPUtime=0.06 cores=1,3,5,7
/proc/29144/task/29169/stat : 29169 (java) R 29140 29144 29085 0 -1 1077944384 392 0 0 0 6 0 0 0 20 0 15 0 40216472 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432850393536 140433381893845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29170] ppid=29140 vsize=14082740 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29170/stat : 29170 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432849345248 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29176] ppid=29140 vsize=14082740 memory=916 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29176/stat : 29176 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216477 14420725760 11903 33554432000 4194304 4196468 140727073327504 140432848292528 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47612 KiB

[startup+1.50914 s]
/proc/loadavg: 1.97 2.02 2.03 3/217 29177
/proc/meminfo: memFree=20514988/32770624 swapFree=67108860/67108860
[pid=29144] ppid=29140 vsize=14086856 memory=96476 CPUtime=1.28 cores=1,3,5,7
/proc/29144/stat : 29144 (java) S 29140 29144 29085 0 -1 1077944320 17963 0 1 0 123 5 0 0 20 0 15 0 40216428 14424940544 24119 33554432000 4194304 4196468 140727073327504 140727073310048 140433381883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
/proc/29144/statm: 3521714 24119 3507 1 0 3483785 0
[pid=29144/tid=29150] ppid=29140 vsize=14086856 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/29144/task/29150/stat : 29150 (java) R 29140 29144 29085 0 -1 4202560 14759 0 1 0 75 4 0 0 20 0 15 0 40216438 14424940544 24119 33554432000 4194304 4196468 140727073327504 140433386120032 140433019089128 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29152] ppid=29140 vsize=14086856 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29152/stat : 29152 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216452 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432977566864 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29153] ppid=29140 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29153/stat : 29153 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216452 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432976514064 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29154] ppid=29140 vsize=14086856 memory=140405702377552 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29154/stat : 29154 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216452 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432975461264 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29155] ppid=29140 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29155/stat : 29155 (java) S 29140 29144 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216452 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432974408464 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29160] ppid=29140 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29160/stat : 29160 (java) S 29140 29144 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40216455 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432856713584 140433381894786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29162] ppid=29140 vsize=14086856 memory=57412 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29162/stat : 29162 (java) S 29140 29144 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40216456 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432855659552 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29163] ppid=29140 vsize=14086856 memory=280811404536352 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29163/stat : 29163 (java) S 29140 29144 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40216456 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432854606704 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29166] ppid=29140 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29166/stat : 29166 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432853555024 140433381902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29167] ppid=29140 vsize=14086856 memory=2372 CPUtime=0.12 cores=1,3,5,7
/proc/29144/task/29167/stat : 29167 (java) S 29140 29144 29085 0 -1 1077944384 564 0 0 0 12 0 0 0 20 0 15 0 40216472 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432852503408 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29168] ppid=29140 vsize=14086856 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29144/task/29168/stat : 29168 (java) R 29140 29144 29085 0 -1 4202560 476 0 0 0 12 0 0 0 20 0 15 0 40216472 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432851450608 140433361723367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29169] ppid=29140 vsize=14086856 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/29144/task/29169/stat : 29169 (java) R 29140 29144 29085 0 -1 4202560 782 0 0 0 23 0 0 0 20 0 15 0 40216472 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432850398104 140433360517614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29170] ppid=29140 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29170/stat : 29170 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432849345248 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29176] ppid=29140 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29176/stat : 29176 (java) S 29140 29144 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216477 14424940544 24119 33554432000 4194304 4196468 140727073327504 140432848292528 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 96476 KiB

[startup+3.11043 s]
/proc/loadavg: 1.97 2.02 2.03 7/217 29177
/proc/meminfo: memFree=20126780/32770624 swapFree=67108860/67108860
[pid=29144] ppid=29140 vsize=14093000 memory=273548 CPUtime=5.4 cores=1,3,5,7
/proc/29144/stat : 29144 (java) S 29140 29144 29085 0 -1 1077944320 32677 0 1 0 525 15 0 0 20 0 15 0 40216428 14431232000 68387 33554432000 4194304 4196468 140727073327504 140727073310048 140433381883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
/proc/29144/statm: 3523250 68387 3579 1 0 3485321 0
[pid=29144/tid=29150] ppid=29140 vsize=14093000 memory=6944656592385698452 CPUtime=2.32 cores=1,3,5,7
/proc/29144/task/29150/stat : 29150 (java) R 29140 29144 29085 0 -1 4202560 19925 0 1 0 226 6 0 0 20 0 15 0 40216438 14431232000 68387 33554432000 4194304 4196468 140727073327504 140433386121440 140433029345944 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29152] ppid=29140 vsize=14093000 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29144/task/29152/stat : 29152 (java) S 29140 29144 29085 0 -1 1077944384 153 0 0 0 1 1 0 0 20 0 15 0 40216452 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432977566864 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29153] ppid=29140 vsize=14093000 memory=280811404759296 CPUtime=0.02 cores=1,3,5,7
/proc/29144/task/29153/stat : 29153 (java) S 29140 29144 29085 0 -1 1077944384 103 0 0 0 1 1 0 0 20 0 15 0 40216452 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432976514064 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29154] ppid=29140 vsize=14093000 memory=288230596017389863 CPUtime=0.02 cores=1,3,5,7
/proc/29144/task/29154/stat : 29154 (java) S 29140 29144 29085 0 -1 1077944384 101 0 0 0 1 1 0 0 20 0 15 0 40216452 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432975461264 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29155] ppid=29140 vsize=14093000 memory=13570383785756066 CPUtime=0.02 cores=1,3,5,7
/proc/29144/task/29155/stat : 29155 (java) S 29140 29144 29085 0 -1 1077944384 306 0 0 0 1 1 0 0 20 0 15 0 40216452 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432974408464 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29160] ppid=29140 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29160/stat : 29160 (java) S 29140 29144 29085 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 40216455 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432856713584 140433381894786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29162] ppid=29140 vsize=14093000 memory=125309965857334 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29162/stat : 29162 (java) S 29140 29144 29085 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 40216456 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432855659616 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29163] ppid=29140 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29163/stat : 29163 (java) S 29140 29144 29085 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 40216456 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432854606720 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29166] ppid=29140 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29166/stat : 29166 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432853555024 140433381902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29167] ppid=29140 vsize=14093000 memory=4028 CPUtime=0.96 cores=1,3,5,7
/proc/29144/task/29167/stat : 29167 (java) S 29140 29144 29085 0 -1 1077944384 1953 0 0 0 96 0 0 0 20 0 15 0 40216472 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432852503408 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29168] ppid=29140 vsize=14093000 memory=14044 CPUtime=1.03 cores=1,3,5,7
/proc/29144/task/29168/stat : 29168 (java) S 29140 29144 29085 0 -1 1077944384 2844 0 0 0 103 0 0 0 20 0 15 0 40216472 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432851450608 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29169] ppid=29140 vsize=14093000 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/29144/task/29169/stat : 29169 (java) S 29140 29144 29085 0 -1 1077944384 5583 0 0 0 90 1 0 0 20 0 15 0 40216472 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432850397808 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29170] ppid=29140 vsize=14093000 memory=280811404321696 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29170/stat : 29170 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432849345248 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29176] ppid=29140 vsize=14093000 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29176/stat : 29176 (java) S 29140 29144 29085 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 40216477 14431232000 68387 33554432000 4194304 4196468 140727073327504 140432848292528 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 273548 KiB

[startup+6.31012 s]
/proc/loadavg: 1.97 2.02 2.03 3/217 29177
/proc/meminfo: memFree=19996756/32770624 swapFree=67108860/67108860
[pid=29144] ppid=29140 vsize=14093000 memory=348900 CPUtime=9.96 cores=1,3,5,7
/proc/29144/stat : 29144 (java) S 29140 29144 29085 0 -1 1077944320 37682 0 1 0 976 20 0 0 20 0 15 0 40216428 14431232000 87225 33554432000 4194304 4196468 140727073327504 140727073310048 140433381883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
/proc/29144/statm: 3523250 87225 3594 1 0 3485321 0

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

/proc/29144/task/29150/stat : 29150 (java) R 29140 29144 29085 0 -1 4202560 186253 0 1 0 224541 133 0 0 20 0 15 0 40216438 14433329152 340357 33554432000 4194304 4196468 140727073327504 140433386120832 140433031938189 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29152] ppid=29140 vsize=14095048 memory=1375280 CPUtime=12.15 cores=1,3,5,7
/proc/29144/task/29152/stat : 29152 (java) S 29140 29144 29085 0 -1 1077944384 20798 0 0 0 1149 66 0 0 20 0 15 0 40216452 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432977566864 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29153] ppid=29140 vsize=14095048 memory=1390156 CPUtime=12.15 cores=1,3,5,7
/proc/29144/task/29153/stat : 29153 (java) S 29140 29144 29085 0 -1 1077944384 24628 0 0 0 1152 63 0 0 20 0 15 0 40216452 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432976514064 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29154] ppid=29140 vsize=14095048 memory=1375280 CPUtime=12.16 cores=1,3,5,7
/proc/29144/task/29154/stat : 29154 (java) S 29140 29144 29085 0 -1 1077944384 22239 0 0 0 1153 63 0 0 20 0 15 0 40216452 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432975461264 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29155] ppid=29140 vsize=14095048 memory=1361428 CPUtime=12.17 cores=1,3,5,7
/proc/29144/task/29155/stat : 29155 (java) S 29140 29144 29085 0 -1 1077944384 23802 0 0 0 1153 64 0 0 20 0 15 0 40216452 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432974408464 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29160] ppid=29140 vsize=14095048 memory=1393236 CPUtime=1.71 cores=1,3,5,7
/proc/29144/task/29160/stat : 29160 (java) S 29140 29144 29085 0 -1 1077944384 59284 0 0 0 131 40 0 0 20 0 15 0 40216455 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432856713584 140433381894786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29162] ppid=29140 vsize=14095048 memory=1378356 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29162/stat : 29162 (java) S 29140 29144 29085 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 40216456 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432855659616 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29163] ppid=29140 vsize=14095048 memory=1378356 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29163/stat : 29163 (java) S 29140 29144 29085 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 40216456 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432854606720 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29166] ppid=29140 vsize=14095048 memory=1393236 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29166/stat : 29166 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432853555024 140433381902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29167] ppid=29140 vsize=14095048 memory=4028 CPUtime=2.73 cores=1,3,5,7
/proc/29144/task/29167/stat : 29167 (java) S 29140 29144 29085 0 -1 1077944384 23738 0 0 0 269 4 0 0 20 0 15 0 40216472 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432852503408 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29168] ppid=29140 vsize=14095048 memory=1572 CPUtime=2.83 cores=1,3,5,7
/proc/29144/task/29168/stat : 29168 (java) S 29140 29144 29085 0 -1 1077944384 23757 0 0 0 280 3 0 0 20 0 15 0 40216472 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432851450608 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29169] ppid=29140 vsize=14095048 memory=2244 CPUtime=1.42 cores=1,3,5,7
/proc/29144/task/29169/stat : 29169 (java) S 29140 29144 29085 0 -1 1077944384 40913 0 0 0 139 3 0 0 20 0 15 0 40216472 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432850397808 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29170] ppid=29140 vsize=14095048 memory=1375280 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29170/stat : 29170 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432849345248 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29176] ppid=29140 vsize=14095048 memory=1360008 CPUtime=1.36 cores=1,3,5,7
/proc/29144/task/29176/stat : 29176 (java) S 29140 29144 29085 0 -1 1077944384 1783 0 0 0 57 79 0 0 20 0 15 0 40216477 14433329152 340357 33554432000 4194304 4196468 140727073327504 140432848292528 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
Current children cumulated CPU time: 2305.54 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 1361428 KiB

[startup+2322.31 s]
/proc/loadavg: 1.24 1.25 1.35 3/215 29272
/proc/meminfo: memFree=17851268/32770624 swapFree=67108860/67108860
[pid=29144] ppid=29140 vsize=14095048 memory=1733220 CPUtime=2366.84 cores=1,3,5,7
/proc/29144/stat : 29144 (java) S 29140 29144 29085 0 -1 1077944320 434850 0 1 0 236162 522 0 0 20 0 15 0 40216428 14433329152 433305 33554432000 4194304 4196468 140727073327504 140727073310048 140433381883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
/proc/29144/statm: 3523762 433305 3626 1 0 3485833 0
[pid=29144/tid=29150] ppid=29140 vsize=14095048 memory=1730156 CPUtime=2306.26 cores=1,3,5,7
/proc/29144/task/29150/stat : 29150 (java) R 29140 29144 29085 0 -1 4202560 189555 0 1 0 230483 143 0 0 20 0 15 0 40216438 14433329152 433305 33554432000 4194304 4196468 140727073327504 140433386120704 140433031444594 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29152] ppid=29140 vsize=14095048 memory=1730156 CPUtime=12.58 cores=1,3,5,7
/proc/29144/task/29152/stat : 29152 (java) S 29140 29144 29085 0 -1 1077944384 21124 0 0 0 1189 69 0 0 20 0 15 0 40216452 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432977566864 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29153] ppid=29140 vsize=14095048 memory=9428 CPUtime=12.57 cores=1,3,5,7
/proc/29144/task/29153/stat : 29153 (java) S 29140 29144 29085 0 -1 1077944384 25100 0 0 0 1191 66 0 0 20 0 15 0 40216452 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432976514064 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29154] ppid=29140 vsize=14095048 memory=1730156 CPUtime=12.58 cores=1,3,5,7
/proc/29144/task/29154/stat : 29154 (java) S 29140 29144 29085 0 -1 1077944384 23002 0 0 0 1192 66 0 0 20 0 15 0 40216452 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432975461264 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29155] ppid=29140 vsize=14095048 memory=1534736 CPUtime=12.59 cores=1,3,5,7
/proc/29144/task/29155/stat : 29155 (java) S 29140 29144 29085 0 -1 1077944384 24247 0 0 0 1192 67 0 0 20 0 15 0 40216452 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432974408464 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29160] ppid=29140 vsize=14095048 memory=1405272 CPUtime=1.77 cores=1,3,5,7
/proc/29144/task/29160/stat : 29160 (java) S 29140 29144 29085 0 -1 1077944384 59758 0 0 0 135 42 0 0 20 0 15 0 40216455 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432856713584 140433381894786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29162] ppid=29140 vsize=14095048 memory=1335976 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29162/stat : 29162 (java) S 29140 29144 29085 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 40216456 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432855659616 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29163] ppid=29140 vsize=14095048 memory=1730156 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29163/stat : 29163 (java) S 29140 29144 29085 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 40216456 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432854606720 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29166] ppid=29140 vsize=14095048 memory=1733220 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29166/stat : 29166 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432853555024 140433381902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29167] ppid=29140 vsize=14095048 memory=1355272 CPUtime=2.73 cores=1,3,5,7
/proc/29144/task/29167/stat : 29167 (java) S 29140 29144 29085 0 -1 1077944384 23888 0 0 0 269 4 0 0 20 0 15 0 40216472 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432852503408 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29168] ppid=29140 vsize=14095048 memory=6791534058613427641 CPUtime=2.83 cores=1,3,5,7
/proc/29144/task/29168/stat : 29168 (java) S 29140 29144 29085 0 -1 1077944384 24024 0 0 0 280 3 0 0 20 0 15 0 40216472 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432851450608 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29169] ppid=29140 vsize=14095048 memory=1728 CPUtime=1.42 cores=1,3,5,7
/proc/29144/task/29169/stat : 29169 (java) S 29140 29144 29085 0 -1 1077944384 40915 0 0 0 139 3 0 0 20 0 15 0 40216472 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432850397808 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29170] ppid=29140 vsize=14095048 memory=1724060 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29170/stat : 29170 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432849345248 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29176] ppid=29140 vsize=14095048 memory=4028 CPUtime=1.4 cores=1,3,5,7
/proc/29144/task/29176/stat : 29176 (java) S 29140 29144 29085 0 -1 1077944384 1799 0 0 0 59 81 0 0 20 0 15 0 40216477 14433329152 433305 33554432000 4194304 4196468 140727073327504 140432848292528 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
Current children cumulated CPU time: 2366.84 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 1733220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2354.9 s]
/proc/loadavg: 1.35 1.27 1.35 3/215 29273
/proc/meminfo: memFree=17858132/32770624 swapFree=67108860/67108860
[pid=29144] ppid=29140 vsize=14095048 memory=1721048 CPUtime=2400.04 cores=1,3,5,7
/proc/29144/stat : 29144 (java) S 29140 29144 29085 0 -1 1077944320 438040 0 1 0 239469 535 0 0 20 0 15 0 40216428 14433329152 430262 33554432000 4194304 4196468 140727073327504 140727073310048 140433381883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
/proc/29144/statm: 3523762 430262 3626 1 0 3485833 0
[pid=29144/tid=29150] ppid=29140 vsize=14095048 memory=1732084 CPUtime=2338.61 cores=1,3,5,7
/proc/29144/task/29150/stat : 29150 (java) R 29140 29144 29085 0 -1 4202560 192013 0 1 0 233718 143 0 0 20 0 15 0 40216438 14433329152 430262 33554432000 4194304 4196468 140727073327504 140433386120720 140433031454275 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29152] ppid=29140 vsize=14095048 memory=1335976 CPUtime=12.78 cores=1,3,5,7
/proc/29144/task/29152/stat : 29152 (java) S 29140 29144 29085 0 -1 1077944384 21300 0 0 0 1206 72 0 0 20 0 15 0 40216452 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432977566864 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29153] ppid=29140 vsize=14095048 memory=1732052 CPUtime=12.77 cores=1,3,5,7
/proc/29144/task/29153/stat : 29153 (java) S 29140 29144 29085 0 -1 1077944384 25282 0 0 0 1208 69 0 0 20 0 15 0 40216452 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432976514064 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29154] ppid=29140 vsize=14095048 memory=1355272 CPUtime=12.78 cores=1,3,5,7
/proc/29144/task/29154/stat : 29154 (java) S 29140 29144 29085 0 -1 1077944384 23154 0 0 0 1209 69 0 0 20 0 15 0 40216452 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432975461264 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29155] ppid=29140 vsize=14095048 memory=1728368 CPUtime=12.79 cores=1,3,5,7
/proc/29144/task/29155/stat : 29155 (java) S 29140 29144 29085 0 -1 1077944384 24461 0 0 0 1209 70 0 0 20 0 15 0 40216452 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432974408464 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29160] ppid=29140 vsize=14095048 memory=1728272 CPUtime=1.78 cores=1,3,5,7
/proc/29144/task/29160/stat : 29160 (java) S 29140 29144 29085 0 -1 1077944384 59762 0 0 0 136 42 0 0 20 0 15 0 40216455 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432856713584 140433381894786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29162] ppid=29140 vsize=14095048 memory=1727208 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29162/stat : 29162 (java) S 29140 29144 29085 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 40216456 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432855659616 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29163] ppid=29140 vsize=14095048 memory=1721048 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29163/stat : 29163 (java) S 29140 29144 29085 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 40216456 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432854606720 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29166] ppid=29140 vsize=14095048 memory=1723680 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29166/stat : 29166 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432853555024 140433381902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29167] ppid=29140 vsize=14095048 memory=8148 CPUtime=2.73 cores=1,3,5,7
/proc/29144/task/29167/stat : 29167 (java) S 29140 29144 29085 0 -1 1077944384 23888 0 0 0 269 4 0 0 20 0 15 0 40216472 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432852503408 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29168] ppid=29140 vsize=14095048 memory=1723112 CPUtime=2.83 cores=1,3,5,7
/proc/29144/task/29168/stat : 29168 (java) S 29140 29144 29085 0 -1 1077944384 24024 0 0 0 280 3 0 0 20 0 15 0 40216472 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432851450608 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29169] ppid=29140 vsize=14095048 memory=1725172 CPUtime=1.42 cores=1,3,5,7
/proc/29144/task/29169/stat : 29169 (java) S 29140 29144 29085 0 -1 1077944384 40915 0 0 0 139 3 0 0 20 0 15 0 40216472 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432850397808 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29170] ppid=29140 vsize=14095048 memory=1724176 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29170/stat : 29170 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432849345248 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29176] ppid=29140 vsize=14095048 memory=1728316 CPUtime=1.42 cores=1,3,5,7
/proc/29144/task/29176/stat : 29176 (java) S 29140 29144 29085 0 -1 1077944384 1803 0 0 0 60 82 0 0 20 0 15 0 40216477 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432848292528 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 1721048 KiB

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

[startup+2354.92 s]
# the end of solver process 29144 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.71 s, system=5.36515 s

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

[startup+2354.9 s]
/proc/loadavg: 1.35 1.27 1.35 3/215 29273
/proc/meminfo: memFree=17858132/32770624 swapFree=67108860/67108860
[pid=29144] ppid=29140 vsize=14095048 memory=1721048 CPUtime=2400.04 cores=1,3,5,7
/proc/29144/stat : 29144 (java) S 29140 29144 29085 0 -1 1077944320 438040 0 1 0 239469 535 0 0 20 0 15 0 40216428 14433329152 430262 33554432000 4194304 4196468 140727073327504 140727073310048 140433381883639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
/proc/29144/statm: 3523762 430262 3626 1 0 3485833 0
[pid=29144/tid=29150] ppid=29140 vsize=14095048 memory=1732084 CPUtime=2338.61 cores=1,3,5,7
/proc/29144/task/29150/stat : 29150 (java) R 29140 29144 29085 0 -1 4202560 192013 0 1 0 233718 143 0 0 20 0 15 0 40216438 14433329152 430262 33554432000 4194304 4196468 140727073327504 140433386120720 140433031454275 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29152] ppid=29140 vsize=14095048 memory=1335976 CPUtime=12.78 cores=1,3,5,7
/proc/29144/task/29152/stat : 29152 (java) S 29140 29144 29085 0 -1 1077944384 21300 0 0 0 1206 72 0 0 20 0 15 0 40216452 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432977566864 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29153] ppid=29140 vsize=14095048 memory=1732052 CPUtime=12.77 cores=1,3,5,7
/proc/29144/task/29153/stat : 29153 (java) S 29140 29144 29085 0 -1 1077944384 25282 0 0 0 1208 69 0 0 20 0 15 0 40216452 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432976514064 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29154] ppid=29140 vsize=14095048 memory=1355272 CPUtime=12.78 cores=1,3,5,7
/proc/29144/task/29154/stat : 29154 (java) S 29140 29144 29085 0 -1 1077944384 23154 0 0 0 1209 69 0 0 20 0 15 0 40216452 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432975461264 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29155] ppid=29140 vsize=14095048 memory=1728368 CPUtime=12.79 cores=1,3,5,7
/proc/29144/task/29155/stat : 29155 (java) S 29140 29144 29085 0 -1 1077944384 24461 0 0 0 1209 70 0 0 20 0 15 0 40216452 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432974408464 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29160] ppid=29140 vsize=14095048 memory=1728272 CPUtime=1.78 cores=1,3,5,7
/proc/29144/task/29160/stat : 29160 (java) S 29140 29144 29085 0 -1 1077944384 59762 0 0 0 136 42 0 0 20 0 15 0 40216455 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432856713584 140433381894786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29162] ppid=29140 vsize=14095048 memory=1727208 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29162/stat : 29162 (java) S 29140 29144 29085 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 40216456 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432855659616 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29163] ppid=29140 vsize=14095048 memory=1721048 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29163/stat : 29163 (java) S 29140 29144 29085 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 40216456 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432854606720 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29166] ppid=29140 vsize=14095048 memory=1723680 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29166/stat : 29166 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432853555024 140433381902235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29167] ppid=29140 vsize=14095048 memory=8148 CPUtime=2.73 cores=1,3,5,7
/proc/29144/task/29167/stat : 29167 (java) S 29140 29144 29085 0 -1 1077944384 23888 0 0 0 269 4 0 0 20 0 15 0 40216472 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432852503408 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29168] ppid=29140 vsize=14095048 memory=1723112 CPUtime=2.83 cores=1,3,5,7
/proc/29144/task/29168/stat : 29168 (java) S 29140 29144 29085 0 -1 1077944384 24024 0 0 0 280 3 0 0 20 0 15 0 40216472 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432851450608 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29169] ppid=29140 vsize=14095048 memory=1725172 CPUtime=1.42 cores=1,3,5,7
/proc/29144/task/29169/stat : 29169 (java) S 29140 29144 29085 0 -1 1077944384 40915 0 0 0 139 3 0 0 20 0 15 0 40216472 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432850397808 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29170] ppid=29140 vsize=14095048 memory=1724176 CPUtime=0 cores=1,3,5,7
/proc/29144/task/29170/stat : 29170 (java) S 29140 29144 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216472 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432849345248 140433381893845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
[pid=29144/tid=29176] ppid=29140 vsize=14095048 memory=1728316 CPUtime=1.42 cores=1,3,5,7
/proc/29144/task/29176/stat : 29176 (java) S 29140 29144 29085 0 -1 1077944384 1803 0 0 0 60 82 0 0 20 0 15 0 40216477 14433329152 430262 33554432000 4194304 4196468 140727073327504 140432848292528 140433381894786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140727073330261 140727073330441 140727073330441 140727073333199 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 1721048 KiB

Child status: 143
Real time (s): 2354.92
CPU time (s): 2400.07
CPU user time (s): 2394.71
CPU system time (s): 5.36515
CPU usage (%): 101.917
Max. virtual memory (cumulated for all children) (KiB): 14095048
Max. memory (cumulated for all children) (KiB): 3989288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.71
system time used= 5.36515
maximum resident set size= 3989356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438345
page faults= 1
swaps= 0
block input operations= 752
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86332
involuntary context switches= 2985


# summary of solver processes directly reported to runsolver:
#   pid: 29144
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2394.71
#   total CPU system time (s): 5.36515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.954 second user time and 23.0435 second system time

The end

Launcher Data

Begin job on node151 at 2018-07-22 04:28:52
IDJOB=4291438
IDBENCH=141031
IDSOLVER=2746
FILE ID=node151/4291438-1532226532
RUNJOBID= node151-1532226532-29117
PBS_JOBID= 21018950
Free space on /tmp= 55060 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/StillLife/StillLife-wastage-19_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291438-1532226532/watcher-4291438-1532226532 -o /tmp/evaluation-result-4291438-1532226532/solver-4291438-1532226532 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29117 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 142356946 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291438-1532226532.xml

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

MD5SUM BENCH= bc316652a8a0d5c7d33934cb88eaeb44
RANDOM SEED=142356946

node151.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.87
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.87
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.87
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.87
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:        20603040 kB
MemAvailable:   31938184 kB
Buffers:          227704 kB
Cached:         11257508 kB
SwapCached:            0 kB
Active:          1043484 kB
Inactive:       10496256 kB
Active(anon):      57136 kB
Inactive(anon):    16952 kB
Active(file):     986348 kB
Inactive(file): 10479304 kB
Unevictable:        7924 kB
Mlocked:            7924 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             71388 kB
Writeback:             0 kB
AnonPages:         61728 kB
Mapped:            35284 kB
Shmem:             17032 kB
Slab:             324508 kB
SReclaimable:     297952 kB
SUnreclaim:        26556 kB
KernelStack:        3088 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     318372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 55000 MiB
End job on node151 at 2018-07-22 05:08:07