Trace number 4244739

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)SAT (TO)269 2400.32 303.741

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-24.xml
MD5SUMe0f1e7fd363778103a4292aa9d177ae8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark297
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables1379
Number of constraints824
Number of domains4
Minimum domain size2
Maximum domain size1353
Distribution of domain sizes[{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}]
Minimum variable degree1
Maximum variable degree27
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity28
Distribution of constraint arities[{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}]
Number of extensional constraints672
Number of intensional constraints121
Distribution of constraint types[{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"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.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244739-1500684223.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4244739-1500684223.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
6.41/2.34	c solve instance...
9.20/2.73	o 0 
9.20/2.76	o 4 
9.20/2.78	o 6 
9.92/2.88	o 8 
10.68/2.90	o 10 
10.68/2.92	o 12 
10.68/2.98	o 14 
11.40/3.00	o 15 
11.40/3.02	o 16 
11.40/3.04	o 17 
11.40/3.06	o 18 
11.40/3.08	o 19 
11.40/3.09	o 20 
12.10/3.11	o 21 
12.10/3.12	o 22 
12.10/3.14	o 23 
12.10/3.16	o 24 
12.10/3.18	o 25 
12.79/3.23	o 26 
12.79/3.25	o 27 
12.79/3.30	o 28 
13.52/3.32	o 29 
13.52/3.34	o 30 
13.52/3.36	o 31 
14.26/3.43	o 32 
14.26/3.43	o 33 
14.26/3.44	o 34 
14.26/3.45	o 35 
14.26/3.47	o 36 
14.26/3.48	o 37 
14.26/3.48	o 38 
14.26/3.49	o 39 
14.26/3.50	o 40 
14.86/3.50	o 41 
14.86/3.50	o 42 
14.86/3.51	o 43 
14.86/3.51	o 44 
14.86/3.52	o 45 
14.86/3.52	o 46 
14.86/3.53	o 47 
14.86/3.54	o 48 
14.86/3.54	o 49 
14.86/3.55	o 50 
14.86/3.55	o 51 
14.86/3.56	o 52 
15.56/3.60	o 53 
15.56/3.60	o 54 
15.56/3.61	o 55 
15.56/3.62	o 56 
15.56/3.62	o 57 
15.56/3.63	o 58 
15.56/3.64	o 59 
15.56/3.65	o 60 
15.56/3.69	o 61 
15.56/3.70	o 62 
16.17/3.70	o 63 
16.17/3.71	o 64 
16.17/3.71	o 65 
16.17/3.72	o 66 
16.17/3.72	o 67 
16.17/3.73	o 68 
16.17/3.73	o 69 
16.17/3.74	o 70 
16.17/3.74	o 71 
16.17/3.75	o 72 
16.17/3.75	o 73 
16.17/3.76	o 74 
16.17/3.76	o 75 
16.17/3.77	o 76 
16.17/3.77	o 77 
16.17/3.78	o 78 
16.17/3.78	o 79 
16.17/3.79	o 80 
16.17/3.80	o 81 
16.84/3.80	o 82 
16.84/3.81	o 83 
16.84/3.82	o 84 
16.84/3.82	o 85 
16.84/3.85	o 86 
16.84/3.85	o 87 
16.84/3.86	o 88 
16.84/3.87	o 89 
17.42/3.90	o 90 
17.42/3.91	o 91 
17.42/3.91	o 92 
17.42/3.92	o 93 
17.42/3.93	o 94 
17.42/3.93	o 95 
17.42/3.94	o 96 
17.42/3.98	o 97 
17.42/3.98	o 98 
17.42/3.99	o 99 
17.42/3.99	o 100 
18.07/4.00	o 101 
18.07/4.01	o 102 
18.07/4.02	o 103 
18.07/4.03	o 104 
18.07/4.04	o 105 
18.07/4.04	o 106 
18.07/4.05	o 107 
18.07/4.05	o 108 
18.07/4.06	o 109 
18.07/4.06	o 110 
18.07/4.07	o 111 
18.07/4.08	o 112 
18.07/4.08	o 113 
18.07/4.09	o 114 
18.75/4.10	o 115 
18.75/4.12	o 116 
18.75/4.13	o 117 
18.75/4.13	o 118 
18.75/4.14	o 119 
18.75/4.14	o 120 
18.75/4.15	o 121 
18.75/4.15	o 122 
18.75/4.16	o 123 
18.75/4.17	o 124 
18.75/4.17	o 125 
18.75/4.18	o 126 
18.75/4.18	o 127 
18.75/4.19	o 128 
19.39/4.20	o 129 
19.39/4.21	o 130 
19.39/4.21	o 131 
19.39/4.22	o 132 
19.39/4.23	o 133 
19.39/4.23	o 134 
19.39/4.24	o 135 
19.39/4.25	o 136 
19.39/4.26	o 137 
19.39/4.26	o 138 
19.39/4.27	o 139 
19.39/4.28	o 140 
19.39/4.29	o 141 
19.39/4.30	o 142 
19.98/4.30	o 143 
19.98/4.31	o 144 
19.98/4.34	o 145 
19.98/4.35	o 146 
19.98/4.35	o 147 
19.98/4.36	o 148 
19.98/4.37	o 149 
19.98/4.39	o 150 
19.98/4.40	o 151 
19.98/4.40	o 152 
19.98/4.41	o 153 
20.64/4.41	o 154 
20.64/4.42	o 155 
20.64/4.43	o 156 
20.64/4.44	o 157 
20.64/4.44	o 158 
20.64/4.45	o 159 
20.64/4.45	o 160 
20.64/4.46	o 161 
20.64/4.47	o 162 
20.64/4.47	o 163 
20.64/4.48	o 164 
20.64/4.48	o 165 
20.64/4.49	o 166 
20.64/4.50	o 167 
20.64/4.51	o 168 
21.28/4.52	o 169 
21.28/4.53	o 170 
21.28/4.53	o 171 
21.28/4.54	o 172 
21.28/4.54	o 173 
21.28/4.55	o 174 
21.28/4.56	o 175 
21.28/4.57	o 176 
21.28/4.57	o 177 
21.28/4.58	o 178 
21.28/4.59	o 179 
21.28/4.59	o 180 
21.75/4.60	o 181 
21.75/4.61	o 182 
21.75/4.61	o 183 
21.75/4.62	o 184 
21.75/4.63	o 185 
21.75/4.65	o 186 
21.75/4.65	o 187 
21.75/4.66	o 188 
21.75/4.67	o 189 
21.75/4.67	o 190 
21.75/4.68	o 191 
21.75/4.68	o 192 
21.75/4.69	o 193 
21.75/4.70	o 194 
22.24/4.73	o 195 
22.24/4.74	o 196 
22.24/4.75	o 197 
22.24/4.75	o 198 
22.24/4.76	o 199 
22.24/4.77	o 200 
22.24/4.77	o 201 
22.24/4.78	o 202 
22.24/4.78	o 203 
22.24/4.79	o 204 
22.89/4.80	o 205 
22.89/4.81	o 206 
22.89/4.81	o 207 
22.89/4.82	o 208 
22.89/4.82	o 209 
22.89/4.83	o 210 
22.89/4.83	o 211 
22.89/4.84	o 212 
22.89/4.85	o 213 
22.89/4.85	o 214 
22.89/4.86	o 215 
22.89/4.87	o 216 
22.89/4.87	o 217 
22.89/4.88	o 218 
22.89/4.89	o 219 
22.89/4.90	o 220 
23.51/4.90	o 221 
23.51/4.91	o 222 
23.51/4.92	o 223 
23.51/4.92	o 224 
23.51/4.93	o 225 
23.51/4.93	o 226 
23.51/4.96	o 227 
23.51/4.97	o 228 
23.51/4.98	o 229 
23.51/4.98	o 230 
23.51/4.99	o 231 
24.12/5.00	o 232 
24.12/5.01	o 233 
24.12/5.01	o 234 
24.12/5.02	o 235 
24.12/5.02	o 236 
24.12/5.03	o 237 
24.12/5.04	o 238 
24.12/5.04	o 239 
24.12/5.05	o 240 
24.12/5.05	o 241 
24.12/5.06	o 242 
24.12/5.06	o 243 
24.12/5.07	o 244 
24.12/5.07	o 245 
24.12/5.08	o 246 
24.12/5.09	o 247 
24.12/5.09	o 248 
24.12/5.10	o 249 
24.74/5.10	o 250 
24.74/5.11	o 251 
24.74/5.12	o 252 
24.74/5.14	o 253 
24.74/5.15	o 254 
24.74/5.15	o 255 
24.74/5.17	o 256 
24.74/5.18	o 257 
24.74/5.19	o 258 
24.74/5.20	o 259 
25.25/5.24	o 260 
26.01/5.31	o 261 
30.76/5.98	o 262 
35.50/6.61	o 263 
52.17/8.61	o 264 
52.17/8.62	o 265 
119.03/17.08	o 266 
150.96/21.06	o 267 
301.93/40.05	o 268 
2362.81/299.09	o 269 
2400.32/303.77	s SATISFIABLE
2400.32/303.77	v <instantiation>
2400.32/303.77	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] 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[0][21] w[0][22] w[0][23] w[0][24] w[0][25] 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[1][21] w[1][22] w[1][23] w[1][24] w[1][25] 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[2][21] w[2][22] w[2][23] w[2][24] w[2][25] 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[3][21] w[3][22] w[3][23] w[3][24] w[3][25] 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[4][21] w[4][22] w[4][23] w[4][24] w[4][25] 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[5][21] w[5][22] w[5][23] w[5][24] w[5][25] 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[6][21] w[6][22] w[6][23] w[6][24] w[6][25] 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[7][21] w[7][22] w[7][23] w[7][24] w[7][25] 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[8][21] w[8][22] w[8][23] w[8][24] w[8][25] 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[9][21] w[9][22] w[9][23] w[9][24] w[9][25] 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[10][21] w[10][22] w[10][23] w[10][24] w[10][25] 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[11][21] w[11][22] w[11][23] w[11][24] w[11][25] 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[12][21] w[12][22] w[12][23] w[12][24] w[12][25] 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[13][21] w[13][22] w[13][23] w[13][24] w[13][25] 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[14][21] w[14][22] w[14][23] w[14][24] w[14][25] 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[15][21] w[15][22] w[15][23] w[15][24] w[15][25] 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[16][21] w[16][22] w[16][23] w[16][24] w[16][25] 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[17][21] w[17][22] w[17][23] w[17][24] w[17][25] 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[18][21] w[18][22] w[18][23] w[18][24] w[18][25] 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[19][21] w[19][22] w[19][23] w[19][24] w[19][25] 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] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] 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] ws[21] ws[22] ws[23] ws[24] ws[25] z </list>
2400.32/303.77	v 	<values>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 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 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 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 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 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 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 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 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 2 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 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 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 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 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 2 1 0 0 0 2 2 1 1 1 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 8 10 12 23 24 25 53 61 64 67 69 73 90 95 98 102 105 111 122 124 129 136 137 143 158 172 269 </values>
2400.32/303.77	v </instantiation>
2400.32/303.77	c Unexpected resolution interruption!

Verifier Data 

OK	269

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244739-1500684223/watcher-4244739-1500684223 -o /tmp/evaluation-result-4244739-1500684223/solver-4244739-1500684223 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1680474409 HOME/instance-4244739-1500684223.xml 

pid=18935
running on 8 cores: 0,2,4,6,8,10,12,14

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


[startup+0 s]
/proc/loadavg: 13.86 15.12 14.15 10/275 18938
/proc/meminfo: memFree=30191596/32770624 swapFree=5900/218572
[pid=18938] ppid=18935 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18938/stat : 18938 (xcsp3-exec) S 18935 18938 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3689208 9740288 346 33554432000 4194304 5098028 140728020930352 140728020928456 139956916220540 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 16072704 140728020935822 140728020936032 140728020936032 140728020938731 0
/proc/18938/statm: 2378 346 289 221 0 87 0

[startup+0.100073 s]
/proc/loadavg: 13.86 15.12 14.15 10/275 18938
/proc/meminfo: memFree=30191596/32770624 swapFree=5900/218572
[pid=18938] ppid=18935 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18938/stat : 18938 (xcsp3-exec) S 18935 18938 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3689208 9740288 346 33554432000 4194304 5098028 140728020930352 140728020928456 139956916220540 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 16072704 140728020935822 140728020936032 140728020936032 140728020938731 0
/proc/18938/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200358 s]
/proc/loadavg: 13.86 15.12 14.15 10/275 18938
/proc/meminfo: memFree=30191596/32770624 swapFree=5900/218572
[pid=18938] ppid=18935 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18938/stat : 18938 (xcsp3-exec) S 18935 18938 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3689208 9740288 346 33554432000 4194304 5098028 140728020930352 140728020928456 139956916220540 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 16072704 140728020935822 140728020936032 140728020936032 140728020938731 0
/proc/18938/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300318 s]
/proc/loadavg: 13.86 15.12 14.15 10/275 18938
/proc/meminfo: memFree=30191596/32770624 swapFree=5900/218572
[pid=18938] ppid=18935 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18938/stat : 18938 (xcsp3-exec) S 18935 18938 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3689208 9740288 346 33554432000 4194304 5098028 140728020930352 140728020928456 139956916220540 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 16072704 140728020935822 140728020936032 140728020936032 140728020938731 0
/proc/18938/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700202 s]
/proc/loadavg: 13.86 15.12 14.15 10/275 18938
/proc/meminfo: memFree=30191596/32770624 swapFree=5900/218572
[pid=18938] ppid=18935 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18938/stat : 18938 (xcsp3-exec) S 18935 18938 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3689208 9740288 346 33554432000 4194304 5098028 140728020930352 140728020928456 139956916220540 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 16072704 140728020935822 140728020936032 140728020936032 140728020938731 0
/proc/18938/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50109 s]
/proc/loadavg: 13.47 15.02 14.12 10/296 18959
/proc/meminfo: memFree=30092284/32770624 swapFree=5900/218636
[pid=18938] ppid=18935 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18938/stat : 18938 (xcsp3-exec) S 18935 18938 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3689208 9740288 346 33554432000 4194304 5098028 140728020930352 140728020928456 139956916220540 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 16072704 140728020935822 140728020936032 140728020936032 140728020938731 0
/proc/18938/statm: 2378 346 289 221 0 87 0
[pid=18939] ppid=18938 vsize=13269256 CPUtime=4.11 cores=0,2,4,6,8,10,12,14
/proc/18939/stat : 18939 (java) S 18938 18938 16913 0 -1 1077944320 19406 0 0 0 403 8 0 0 20 0 20 0 3689208 13587718144 42840 33554432000 4194304 4196468 140721763957824 140721763940368 140371141582583 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
/proc/18939/statm: 3317314 42840 3226 1 0 3304547 0
[pid=18939/tid=18940] ppid=18938 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18940/stat : 18940 (java) R 18938 18938 16913 0 -1 4202560 7329 0 0 0 143 4 0 0 20 0 20 0 3689209 13587718144 42840 33554432000 4194304 4196468 140721763957824 140371145818712 140370759661131 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18942] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18942/stat : 18942 (java) S 18938 18938 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3689210 13587718144 42840 33554432000 4194304 4196468 140721763957824 140371080547088 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18943] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18943/stat : 18943 (java) S 18938 18938 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3689210 13587718144 42840 33554432000 4194304 4196468 140721763957824 140371079494544 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18944] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18944/stat : 18944 (java) S 18938 18938 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3689210 13587718144 42840 33554432000 4194304 4196468 140721763957824 140371078442000 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18945] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18945/stat : 18945 (java) S 18938 18938 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3689210 13587718144 42840 33554432000 4194304 4196468 140721763957824 140371077389456 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18946] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18946/stat : 18946 (java) S 18938 18938 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3689210 13587718144 42840 33554432000 4194304 4196468 140721763957824 140371076335888 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18947] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18947/stat : 18947 (java) S 18938 18938 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3689210 13587718144 42840 33554432000 4194304 4196468 140721763957824 140371075283344 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18948] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18948/stat : 18948 (java) S 18938 18938 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3689210 13587718144 42840 33554432000 4194304 4196468 140721763957824 140370734701072 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18949] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18949/stat : 18949 (java) S 18938 18938 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3689210 13587718144 42840 33554432000 4194304 4196468 140721763957824 140370733648528 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18950] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18950/stat : 18950 (java) S 18938 18938 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 3689212 13587718144 42840 33554432000 4194304 4196468 140721763957824 140369872804336 140371141593730 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18951] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18951/stat : 18951 (java) S 18938 18938 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3689213 13587718144 42840 33554432000 4194304 4196468 140721763957824 140369871750560 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18952] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18952/stat : 18952 (java) S 18938 18938 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3689213 13587718144 42840 33554432000 4194304 4196468 140721763957824 140369870697968 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18953] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18953/stat : 18953 (java) S 18938 18938 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3689217 13587718144 42840 33554432000 4194304 4196468 140721763957824 140369869646544 140371141601179 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18954] ppid=18938 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18954/stat : 18954 (java) S 18938 18938 16913 0 -1 1077944384 2468 0 0 0 69 0 0 0 20 0 20 0 3689217 13587718144 42840 33554432000 4194304 4196468 140721763957824 140369868593136 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18955] ppid=18938 vsize=13269256 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18955/stat : 18955 (java) S 18938 18938 16913 0 -1 1077944384 3554 0 0 0 65 0 0 0 20 0 20 0 3689217 13587718144 42840 33554432000 4194304 4196468 140721763957824 140369867540592 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18956] ppid=18938 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18956/stat : 18956 (java) S 18938 18938 16913 0 -1 1077944384 2081 0 0 0 66 0 0 0 20 0 20 0 3689217 13587718144 42840 33554432000 4194304 4196468 140721763957824 140369396230384 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18957] ppid=18938 vsize=13269256 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18957/stat : 18957 (java) S 18938 18938 16913 0 -1 1077944384 2649 0 0 0 58 1 0 0 20 0 20 0 3689217 13587718144 42840 33554432000 4194304 4196468 140721763957824 140369395177840 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18958] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18958/stat : 18958 (java) S 18938 18938 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3689218 13587718144 42840 33554432000 4194304 4196468 140721763957824 140369394125536 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18959] ppid=18938 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18959/stat : 18959 (java) S 18938 18938 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3689218 13587718144 42840 33554432000 4194304 4196468 140721763957824 140369393073072 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 13278768

[startup+3.10115 s]
/proc/loadavg: 13.47 15.02 14.12 14/296 18959
/proc/meminfo: memFree=29976156/32770624 swapFree=5900/218652
[pid=18938] ppid=18935 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18938/stat : 18938 (xcsp3-exec) S 18935 18938 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3689208 9740288 346 33554432000 4194304 5098028 140728020930352 140728020928456 139956916220540 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 16072704 140728020935822 140728020936032 140728020936032 140728020938731 0
/proc/18938/statm: 2378 346 289 221 0 87 0
[pid=18939] ppid=18938 vsize=13803816 CPUtime=12.1 cores=0,2,4,6,8,10,12,14
/proc/18939/stat : 18939 (java) S 18938 18938 16913 0 -1 1077944320 30449 0 0 0 1162 48 0 0 20 0 28 0 3689208 14135107584 73510 33554432000 4194304 4196468 140721763957824 140721763940368 140371141582583 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
/proc/18939/statm: 3450954 73510 3264 1 0 3438187 0
[pid=18939/tid=18940] ppid=18938 vsize=13803816 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18940/stat : 18940 (java) S 18938 18938 16913 0 -1 1077944384 9424 0 0 0 217 5 0 0 20 0 28 0 3689209 14135107584 73510 33554432000 4194304 4196468 140721763957824 140371145823360 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18942] ppid=18938 vsize=13803816 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18942/stat : 18942 (java) S 18938 18938 16913 0 -1 1077944384 116 0 0 0 3 3 0 0 20 0 28 0 3689210 14135107584 73510 33554432000 4194304 4196468 140721763957824 140371080547088 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18943] ppid=18938 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18943/stat : 18943 (java) S 18938 18938 16913 0 -1 1077944384 100 0 0 0 4 5 0 0 20 0 28 0 3689210 14135107584 73510 33554432000 4194304 4196468 140721763957824 140371079494544 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18944] ppid=18938 vsize=13803816 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18944/stat : 18944 (java) S 18938 18938 16913 0 -1 1077944384 279 0 0 0 3 3 0 0 20 0 28 0 3689210 14135107584 73510 33554432000 4194304 4196468 140721763957824 140371078442000 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18945] ppid=18938 vsize=13803816 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18945/stat : 18945 (java) S 18938 18938 16913 0 -1 1077944384 86 0 0 0 2 4 0 0 20 0 28 0 3689210 14135107584 73510 33554432000 4194304 4196468 140721763957824 140371077389456 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18946] ppid=18938 vsize=13803816 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18946/stat : 18946 (java) S 18938 18938 16913 0 -1 1077944384 123 0 0 0 3 4 0 0 20 0 28 0 3689210 14135107584 73510 33554432000 4194304 4196468 140721763957824 140371076335888 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18947] ppid=18938 vsize=13803816 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18947/stat : 18947 (java) S 18938 18938 16913 0 -1 1077944384 166 0 0 0 3 5 0 0 20 0 28 0 3689210 14135107584 73510 33554432000 4194304 4196468 140721763957824 140371075283344 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18948] ppid=18938 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18948/stat : 18948 (java) S 18938 18938 16913 0 -1 1077944384 136 0 0 0 5 4 0 0 20 0 28 0 3689210 14135107584 73510 33554432000 4194304 4196468 140721763957824 140370734701072 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18949] ppid=18938 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18949/stat : 18949 (java) S 18938 18938 16913 0 -1 1077944384 98 0 0 0 4 5 0 0 20 0 28 0 3689210 14135107584 73510 33554432000 4194304 4196468 140721763957824 140370733648528 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18950] ppid=18938 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18950/stat : 18950 (java) S 18938 18938 16913 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 3689212 14135107584 73510 33554432000 4194304 4196468 140721763957824 140369872804336 140371141593730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18951] ppid=18938 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18951/stat : 18951 (java) S 18938 18938 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3689213 14135107584 73510 33554432000 4194304 4196468 140721763957824 140369871750624 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18952] ppid=18938 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18952/stat : 18952 (java) S 18938 18938 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3689213 14135107584 73510 33554432000 4194304 4196468 140721763957824 140369870697968 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18953] ppid=18938 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18953/stat : 18953 (java) S 18938 18938 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3689217 14135107584 73510 33554432000 4194304 4196468 140721763957824 140369869646544 140371141601179 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18954] ppid=18938 vsize=13803816 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18954/stat : 18954 (java) R 18938 18938 16913 0 -1 4202560 3349 0 0 0 174 0 0 0 20 0 28 0 3689217 14135107584 73510 33554432000 4194304 4196468 140721763957824 140369868579680 140371123110636 0 4 0 16800975 0 0 0 -1 10 0 0 11 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18955] ppid=18938 vsize=13803816 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18955/stat : 18955 (java) R 18938 18938 16913 0 -1 4202560 5153 0 0 0 161 0 0 0 20 0 28 0 3689217 14135107584 73510 33554432000 4194304 4196468 140721763957824 140369867526656 140371125489569 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18956] ppid=18938 vsize=13803816 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18956/stat : 18956 (java) R 18938 18938 16913 0 -1 4202560 3741 0 0 0 154 1 0 0 20 0 28 0 3689217 14135107584 73510 33554432000 4194304 4196468 140721763957824 140369396216408 140371126699727 0 4 0 16800975 0 0 0 -1 8 0 0 11 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18957] ppid=18938 vsize=13803816 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18957/stat : 18957 (java) S 18938 18938 16913 0 -1 1077944384 3870 0 0 0 95 1 0 0 20 0 28 0 3689217 14135107584 73510 33554432000 4194304 4196468 140721763957824 140369395177840 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18958] ppid=18938 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18958/stat : 18958 (java) S 18938 18938 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3689218 14135107584 73510 33554432000 4194304 4196468 140721763957824 140369394125536 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18959] ppid=18938 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18959/stat : 18959 (java) S 18938 18938 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3689218 14135107584 73510 33554432000 4194304 4196468 140721763957824 140369393073072 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 13813328

[startup+6.30121 s]
/proc/loadavg: 13.68 15.04 14.13 17/304 20999
/proc/meminfo: memFree=28763364/32770624 swapFree=5900/218656
[pid=18938] ppid=18935 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18938/stat : 18938 (xcsp3-exec) S 18935 18938 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3689208 9740288 346 33554432000 4194304 5098028 140728020930352 140728020928456 139956916220540 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 16072704 140728020935822 140728020936032 140728020936032 140728020938731 0
/proc/18938/statm: 2378 346 289 221 0 87 0
[pid=18939] ppid=18938 vsize=14003508 CPUtime=33.9 cores=0,2,4,6,8,10,12,14
/proc/18939/stat : 18939 (java) S 18938 18938 16913 0 -1 1077944320 53374 0 0 0 3260 130 0 0 20 0 28 0 3689208 14339592192 388089 33554432000 4194304 4196468 140721763957824 140721763940368 140371141582583 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
/proc/18939/statm: 3500877 388089 3285 1 0 3488110 0
[pid=18939/tid=18940] ppid=18938 vsize=14003508 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18940/stat : 18940 (java) S 18938 18938 16913 0 -1 1077944384 9435 0 0 0 232 6 0 0 20 0 28 0 3689209 14339592192 388089 33554432000 4194304 4196468 140721763957824 140371145823392 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18942] ppid=18938 vsize=14003508 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18942/stat : 18942 (java) S 18938 18938 16913 0 -1 1077944384 177 0 0 0 11 9 0 0 20 0 28 0 3689210 14339592192 388089 33554432000 4194304 4196468 140721763957824 140371080547088 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18943] ppid=18938 vsize=14003508 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18943/stat : 18943 (java) S 18938 18938 16913 0 -1 1077944384 136 0 0 0 10 9 0 0 20 0 28 0 3689210 14339592192 388089 33554432000 4194304 4196468 140721763957824 140371079494544 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18944] ppid=18938 vsize=14003508 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18944/stat : 18944 (java) S 18938 18938 16913 0 -1 1077944384 342 0 0 0 11 9 0 0 20 0 28 0 3689210 14339592192 388089 33554432000 4194304 4196468 140721763957824 140371078442000 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18945] ppid=18938 vsize=14003508 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18945/stat : 18945 (java) S 18938 18938 16913 0 -1 1077944384 141 0 0 0 10 9 0 0 20 0 28 0 3689210 14339592192 388089 33554432000 4194304 4196468 140721763957824 140371077389456 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18946] ppid=18938 vsize=14003508 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18946/stat : 18946 (java) S 18938 18938 16913 0 -1 1077944384 168 0 0 0 12 7 0 0 20 0 28 0 3689210 14339592192 388089 33554432000 4194304 4196468 140721763957824 140371076335888 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18947] ppid=18938 vsize=14003508 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18947/stat : 18947 (java) S 18938 18938 16913 0 -1 1077944384 214 0 0 0 11 11 0 0 20 0 28 0 3689210 14339592192 388089 33554432000 4194304 4196468 140721763957824 140371075283344 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18948] ppid=18938 vsize=14003508 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18948/stat : 18948 (java) S 18938 18938 16913 0 -1 1077944384 185 0 0 0 14 9 0 0 20 0 28 0 3689210 14339592192 388089 33554432000 4194304 4196468 140721763957824 140370734701072 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18949] ppid=18938 vsize=14003508 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18949/stat : 18949 (java) S 18938 18938 16913 0 -1 1077944384 150 0 0 0 12 9 0 0 20 0 28 0 3689210 14339592192 388089 33554432000 4194304 4196468 140721763957824 140370733648528 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18950] ppid=18938 vsize=14003508 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18950/stat : 18950 (java) S 18938 18938 16913 0 -1 1077944384 1072 0 0 0 2 1 0 0 20 0 28 0 3689212 14339592192 388089 33554432000 4194304 4196468 140721763957824 140369872804336 140371141593730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18951] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18951/stat : 18951 (java) S 18938 18938 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3689213 14339592192 388089 33554432000 4194304 4196468 140721763957824 140369871750624 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18952] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18952/stat : 18952 (java) S 18938 18938 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3689213 14339592192 388089 33554432000 4194304 4196468 140721763957824 140369870697968 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18953] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18953/stat : 18953 (java) S 18938 18938 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3689217 14339592192 388089 33554432000 4194304 4196468 140721763957824 140369869646544 140371141601179 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0

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

[pid=18939/tid=21221] ppid=18938 vsize=14003508 CPUtime=238.83 cores=0,2,4,6,8,10,12,14
/proc/18939/task/21221/stat : 21221 (java) R 18938 18938 16913 0 -1 4202560 1699 0 0 0 23882 1 0 0 20 0 28 0 3693213 14339592192 793016 33554432000 4194304 4196468 140721763957824 140369381350480 140370764365383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=21222] ppid=18938 vsize=14003508 CPUtime=240.94 cores=0,2,4,6,8,10,12,14
/proc/18939/task/21222/stat : 21222 (java) R 18938 18938 16913 0 -1 4202560 1382 0 0 0 24094 0 0 0 20 0 28 0 3693213 14339592192 793016 33554432000 4194304 4196468 140721763957824 140369373987016 140370764901673 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
Current children cumulated CPU time (s) 2230.08
Current children cumulated vsize (KiB) 14013020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+303.73 s]
/proc/loadavg: 15.95 15.34 14.48 17/304 28164
/proc/meminfo: memFree=25855788/32770624 swapFree=5900/219040
[pid=18938] ppid=18935 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18938/stat : 18938 (xcsp3-exec) S 18935 18938 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3689208 9740288 346 33554432000 4194304 5098028 140728020930352 140728020928456 139956916220540 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 16072704 140728020935822 140728020936032 140728020936032 140728020938731 0
/proc/18938/statm: 2378 346 289 221 0 87 0
[pid=18939] ppid=18938 vsize=14003508 CPUtime=2400.32 cores=0,2,4,6,8,10,12,14
/proc/18939/stat : 18939 (java) S 18938 18938 16913 0 -1 1077944320 130177 0 0 0 239799 233 0 0 20 0 28 0 3689208 14339592192 781227 33554432000 4194304 4196468 140721763957824 140721763940368 140371141582583 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
/proc/18939/statm: 3500877 781227 3288 1 0 3488110 0
[pid=18939/tid=18940] ppid=18938 vsize=14003508 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18940/stat : 18940 (java) S 18938 18938 16913 0 -1 1077944384 10376 0 0 0 233 6 0 0 20 0 28 0 3689209 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371145823248 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18942] ppid=18938 vsize=14003508 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18942/stat : 18942 (java) S 18938 18938 16913 0 -1 1077944384 503 0 0 0 25 12 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371080547088 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18943] ppid=18938 vsize=14003508 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18943/stat : 18943 (java) S 18938 18938 16913 0 -1 1077944384 1300 0 0 0 25 12 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371079494544 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18944] ppid=18938 vsize=14003508 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18944/stat : 18944 (java) S 18938 18938 16913 0 -1 1077944384 1515 0 0 0 26 12 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371078442000 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18945] ppid=18938 vsize=14003508 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18945/stat : 18945 (java) S 18938 18938 16913 0 -1 1077944384 1386 0 0 0 24 12 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371077389456 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18946] ppid=18938 vsize=14003508 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18946/stat : 18946 (java) S 18938 18938 16913 0 -1 1077944384 1385 0 0 0 26 10 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371076335888 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18947] ppid=18938 vsize=14003508 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18947/stat : 18947 (java) S 18938 18938 16913 0 -1 1077944384 615 0 0 0 26 14 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371075283344 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18948] ppid=18938 vsize=14003508 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18948/stat : 18948 (java) S 18938 18938 16913 0 -1 1077944384 591 0 0 0 27 13 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140370734701072 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18949] ppid=18938 vsize=14003508 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18949/stat : 18949 (java) S 18938 18938 16913 0 -1 1077944384 514 0 0 0 25 13 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140370733648528 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18950] ppid=18938 vsize=14003508 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18950/stat : 18950 (java) S 18938 18938 16913 0 -1 1077944384 5099 0 0 0 12 15 0 0 20 0 28 0 3689212 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369872804336 140371141593730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18951] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18951/stat : 18951 (java) S 18938 18938 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3689213 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369871750624 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18952] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18952/stat : 18952 (java) S 18938 18938 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3689213 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369870697968 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18953] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18953/stat : 18953 (java) S 18938 18938 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3689217 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369869646544 140371141601179 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18954] ppid=18938 vsize=14003508 CPUtime=3.36 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18954/stat : 18954 (java) S 18938 18938 16913 0 -1 1077944384 8421 0 0 0 335 1 0 0 20 0 28 0 3689217 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369868593136 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18955] ppid=18938 vsize=14003508 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18955/stat : 18955 (java) S 18938 18938 16913 0 -1 1077944384 11018 0 0 0 329 1 0 0 20 0 28 0 3689217 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369867540592 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18956] ppid=18938 vsize=14003508 CPUtime=3.2 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18956/stat : 18956 (java) S 18938 18938 16913 0 -1 1077944384 12225 0 0 0 318 2 0 0 20 0 28 0 3689217 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369396230384 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18957] ppid=18938 vsize=14003508 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18957/stat : 18957 (java) S 18938 18938 16913 0 -1 1077944384 9335 0 0 0 137 3 0 0 20 0 28 0 3689217 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369395177840 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18958] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18958/stat : 18958 (java) S 18938 18938 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3689218 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369394125536 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18959] ppid=18938 vsize=14003508 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18959/stat : 18959 (java) S 18938 18938 16913 0 -1 1077944384 1265 0 0 0 8 8 0 0 20 0 28 0 3689218 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369393073072 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28157] ppid=18938 vsize=14003508 CPUtime=4.59 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28157/stat : 28157 (java) R 18938 18938 16913 0 -1 4202560 194 0 0 0 459 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369373986296 140370765106291 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28158] ppid=18938 vsize=14003508 CPUtime=4.55 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28158/stat : 28158 (java) R 18938 18938 16913 0 -1 4202560 138 0 0 0 455 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369372937280 140370765106235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28159] ppid=18938 vsize=14003508 CPUtime=4.61 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28159/stat : 28159 (java) R 18938 18938 16913 0 -1 4202560 42 0 0 0 461 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369381347176 140370763687415 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28160] ppid=18938 vsize=14003508 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28160/stat : 28160 (java) R 18938 18938 16913 0 -1 4202560 206 0 0 0 460 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369382399912 140370765541082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28161] ppid=18938 vsize=14003508 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28161/stat : 28161 (java) R 18938 18938 16913 0 -1 4202560 69 0 0 0 460 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369379241888 140370764458094 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28162] ppid=18938 vsize=14003508 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28162/stat : 28162 (java) R 18938 18938 16913 0 -1 4202560 64 0 0 0 460 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369383452968 140370765106494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28163] ppid=18938 vsize=14003508 CPUtime=4.52 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28163/stat : 28163 (java) R 18938 18938 16913 0 -1 4202560 50 0 0 0 452 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369375039912 140370764288579 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28164] ppid=18938 vsize=14003508 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28164/stat : 28164 (java) R 18938 18938 16913 0 -1 4202560 70 0 0 0 460 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369385558952 140370765266393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
Current children cumulated CPU time (s) 2400.32
Current children cumulated vsize (KiB) 14013020

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

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

[startup+303.73 s]
/proc/loadavg: 15.95 15.34 14.48 17/304 28164
/proc/meminfo: memFree=25855788/32770624 swapFree=5900/219040
[pid=18938] ppid=18935 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18938/stat : 18938 (xcsp3-exec) S 18935 18938 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3689208 9740288 346 33554432000 4194304 5098028 140728020930352 140728020928456 139956916220540 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 16072704 140728020935822 140728020936032 140728020936032 140728020938731 0
/proc/18938/statm: 2378 346 289 221 0 87 0
[pid=18939] ppid=18938 vsize=14003508 CPUtime=2400.32 cores=0,2,4,6,8,10,12,14
/proc/18939/stat : 18939 (java) S 18938 18938 16913 0 -1 1077944320 130177 0 0 0 239799 233 0 0 20 0 28 0 3689208 14339592192 781227 33554432000 4194304 4196468 140721763957824 140721763940368 140371141582583 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
/proc/18939/statm: 3500877 781227 3288 1 0 3488110 0
[pid=18939/tid=18940] ppid=18938 vsize=14003508 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18940/stat : 18940 (java) S 18938 18938 16913 0 -1 1077944384 10376 0 0 0 233 6 0 0 20 0 28 0 3689209 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371145823248 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18942] ppid=18938 vsize=14003508 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18942/stat : 18942 (java) S 18938 18938 16913 0 -1 1077944384 503 0 0 0 25 12 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371080547088 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18943] ppid=18938 vsize=14003508 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18943/stat : 18943 (java) S 18938 18938 16913 0 -1 1077944384 1300 0 0 0 25 12 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371079494544 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18944] ppid=18938 vsize=14003508 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18944/stat : 18944 (java) S 18938 18938 16913 0 -1 1077944384 1515 0 0 0 26 12 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371078442000 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18945] ppid=18938 vsize=14003508 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18945/stat : 18945 (java) S 18938 18938 16913 0 -1 1077944384 1386 0 0 0 24 12 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371077389456 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18946] ppid=18938 vsize=14003508 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18946/stat : 18946 (java) S 18938 18938 16913 0 -1 1077944384 1385 0 0 0 26 10 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371076335888 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18947] ppid=18938 vsize=14003508 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18947/stat : 18947 (java) S 18938 18938 16913 0 -1 1077944384 615 0 0 0 26 14 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140371075283344 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18948] ppid=18938 vsize=14003508 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18948/stat : 18948 (java) S 18938 18938 16913 0 -1 1077944384 591 0 0 0 27 13 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140370734701072 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18949] ppid=18938 vsize=14003508 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18949/stat : 18949 (java) S 18938 18938 16913 0 -1 1077944384 514 0 0 0 25 13 0 0 20 0 28 0 3689210 14339592192 781227 33554432000 4194304 4196468 140721763957824 140370733648528 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18950] ppid=18938 vsize=14003508 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18950/stat : 18950 (java) S 18938 18938 16913 0 -1 1077944384 5099 0 0 0 12 15 0 0 20 0 28 0 3689212 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369872804336 140371141593730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18951] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18951/stat : 18951 (java) S 18938 18938 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3689213 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369871750624 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18952] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18952/stat : 18952 (java) S 18938 18938 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3689213 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369870697968 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18953] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18953/stat : 18953 (java) S 18938 18938 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3689217 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369869646544 140371141601179 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18954] ppid=18938 vsize=14003508 CPUtime=3.36 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18954/stat : 18954 (java) S 18938 18938 16913 0 -1 1077944384 8421 0 0 0 335 1 0 0 20 0 28 0 3689217 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369868593136 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18955] ppid=18938 vsize=14003508 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18955/stat : 18955 (java) S 18938 18938 16913 0 -1 1077944384 11018 0 0 0 329 1 0 0 20 0 28 0 3689217 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369867540592 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18956] ppid=18938 vsize=14003508 CPUtime=3.2 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18956/stat : 18956 (java) S 18938 18938 16913 0 -1 1077944384 12225 0 0 0 318 2 0 0 20 0 28 0 3689217 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369396230384 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18957] ppid=18938 vsize=14003508 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18957/stat : 18957 (java) S 18938 18938 16913 0 -1 1077944384 9335 0 0 0 137 3 0 0 20 0 28 0 3689217 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369395177840 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18958] ppid=18938 vsize=14003508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18958/stat : 18958 (java) S 18938 18938 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3689218 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369394125536 140371141592789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=18959] ppid=18938 vsize=14003508 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/18939/task/18959/stat : 18959 (java) S 18938 18938 16913 0 -1 1077944384 1265 0 0 0 8 8 0 0 20 0 28 0 3689218 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369393073072 140371141593730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28157] ppid=18938 vsize=14003508 CPUtime=4.59 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28157/stat : 28157 (java) R 18938 18938 16913 0 -1 4202560 194 0 0 0 459 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369373986296 140370765106291 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28158] ppid=18938 vsize=14003508 CPUtime=4.55 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28158/stat : 28158 (java) R 18938 18938 16913 0 -1 4202560 138 0 0 0 455 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369372937280 140370765106235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28159] ppid=18938 vsize=14003508 CPUtime=4.61 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28159/stat : 28159 (java) R 18938 18938 16913 0 -1 4202560 42 0 0 0 461 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369381347176 140370763687415 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28160] ppid=18938 vsize=14003508 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28160/stat : 28160 (java) R 18938 18938 16913 0 -1 4202560 206 0 0 0 460 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369382399912 140370765541082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28161] ppid=18938 vsize=14003508 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28161/stat : 28161 (java) R 18938 18938 16913 0 -1 4202560 69 0 0 0 460 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369379241888 140370764458094 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28162] ppid=18938 vsize=14003508 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28162/stat : 28162 (java) R 18938 18938 16913 0 -1 4202560 64 0 0 0 460 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369383452968 140370765106494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28163] ppid=18938 vsize=14003508 CPUtime=4.52 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28163/stat : 28163 (java) R 18938 18938 16913 0 -1 4202560 50 0 0 0 452 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369375039912 140370764288579 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
[pid=18939/tid=28164] ppid=18938 vsize=14003508 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/18939/task/28164/stat : 28164 (java) R 18938 18938 16913 0 -1 4202560 70 0 0 0 460 0 0 0 20 0 28 0 3719117 14339592192 781227 33554432000 4194304 4196468 140721763957824 140369385558952 140370765266393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9830400 140721763959996 140721763960172 140721763960172 140721763962831 0
Current children cumulated CPU time (s) 2400.32
Current children cumulated vsize (KiB) 14013020

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18938 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1288
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1288
# CPU time returned by wait4() is 0.002576
# while last known CPU time is 2400.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 303.741
CPU time (s): 2400.32
CPU user time (s): 2397.99
CPU system time (s): 2.33
CPU usage (%): 790.252
Max. virtual memory (cumulated for all children) (KiB): 14013020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001288
system time used= 0.001288
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.05598 second user time and 4.3225 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-22 02:43:43
IDJOB=4244739
IDBENCH=115885
IDSOLVER=2625
FILE ID=node133/4244739-1500684223
RUNJOBID= node133-1500682387-16944
PBS_JOBID= 20623321
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244739-1500684223/watcher-4244739-1500684223 -o /tmp/evaluation-result-4244739-1500684223/solver-4244739-1500684223 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1680474409 HOME/instance-4244739-1500684223.xml

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

MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8
RANDOM SEED=1680474409

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.13
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	: 8
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30192068 kB
MemAvailable:   30242004 kB
Buffers:           50180 kB
Cached:           308320 kB
SwapCached:            0 kB
Active:          1971056 kB
Inactive:         227328 kB
Active(anon):    1842172 kB
Inactive(anon):     8756 kB
Active(file):     128884 kB
Inactive(file):   218572 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8104 kB
Writeback:             0 kB
AnonPages:       1841808 kB
Mapped:            42892 kB
Shmem:              8872 kB
Slab:              69088 kB
SReclaimable:      36632 kB
SUnreclaim:        32456 kB
KernelStack:        5040 kB
PageTables:         9440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2656160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1669120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62000 MiB
End job on node133 at 2017-07-22 02:48:46