Trace number 4244788

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)363 2400.35 305.712

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-28.xml
MD5SUMf7605bb50abdbd05cc6d9fedf17196d1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark398
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables1831
Number of constraints1072
Number of domains4
Minimum domain size2
Maximum domain size1801
Distribution of domain sizes[{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}]
Minimum variable degree1
Maximum variable degree31
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}]
Minimum constraint arity2
Maximum constraint arity32
Distribution of constraint arities[{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}]
Number of extensional constraints896
Number of intensional constraints141
Distribution of constraint types[{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"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-4244788-1500684409.xml"  -tl '2400s' -p 8 -x 0
0.00/0.21	c [HOME/instance-4244788-1500684409.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.26	c 8 solvers in parallel
0.00/0.34	c parse instance...
8.38/2.87	c solve instance...
12.63/3.46	o 0 
12.63/3.47	o 4 
13.26/3.50	o 6 
13.26/3.54	o 8 
13.26/3.56	o 10 
14.00/3.61	o 12 
14.78/3.72	o 14 
14.78/3.78	o 16 
20.50/4.66	o 18 
23.23/5.08	o 20 
24.01/5.15	o 22 
30.10/5.91	o 24 
32.79/6.31	o 25 
32.79/6.32	o 26 
32.79/6.33	o 27 
32.79/6.34	o 28 
32.79/6.38	o 29 
32.79/6.39	o 30 
33.37/6.40	o 31 
33.37/6.41	o 32 
33.37/6.41	o 33 
33.37/6.42	o 34 
33.37/6.43	o 35 
33.37/6.44	o 36 
33.37/6.45	o 37 
33.37/6.45	o 38 
33.37/6.46	o 39 
33.37/6.47	o 40 
33.37/6.48	o 41 
33.37/6.48	o 42 
33.37/6.49	o 43 
33.37/6.50	o 44 
33.94/6.50	o 45 
33.94/6.51	o 46 
33.94/6.52	o 47 
33.94/6.53	o 48 
33.94/6.55	o 49 
33.94/6.56	o 50 
33.94/6.57	o 51 
33.94/6.57	o 52 
33.94/6.58	o 53 
33.94/6.59	o 54 
33.94/6.60	o 55 
34.59/6.61	o 56 
34.59/6.61	o 57 
34.59/6.62	o 58 
34.59/6.63	o 59 
34.59/6.64	o 60 
34.59/6.65	o 61 
34.59/6.65	o 62 
34.59/6.66	o 63 
34.59/6.70	o 64 
34.59/6.71	o 65 
35.19/6.71	o 66 
35.19/6.72	o 67 
35.19/6.72	o 68 
35.19/6.73	o 69 
35.19/6.74	o 70 
35.19/6.75	o 71 
35.19/6.75	o 72 
35.19/6.76	o 73 
35.19/6.77	o 74 
35.19/6.77	o 75 
35.19/6.78	o 76 
35.19/6.79	o 77 
35.19/6.80	o 78 
35.70/6.80	o 79 
35.70/6.81	o 80 
35.70/6.82	o 81 
35.70/6.82	o 82 
35.70/6.83	o 83 
35.70/6.84	o 84 
35.70/6.85	o 85 
35.70/6.85	o 86 
35.70/6.86	o 87 
35.70/6.87	o 88 
35.70/6.87	o 89 
35.70/6.88	o 90 
35.70/6.89	o 91 
35.70/6.89	o 92 
36.29/6.90	o 93 
36.29/6.91	o 94 
36.29/6.91	o 95 
36.29/6.92	o 96 
36.29/6.93	o 97 
36.29/6.94	o 98 
36.29/6.94	o 99 
36.29/6.98	o 100 
36.29/6.99	o 101 
36.89/7.05	o 102 
36.89/7.05	o 103 
36.89/7.06	o 104 
36.89/7.07	o 105 
36.89/7.08	o 106 
36.89/7.08	o 107 
36.89/7.09	o 108 
37.22/7.10	o 109 
37.22/7.10	o 110 
37.22/7.11	o 111 
37.22/7.12	o 112 
37.22/7.12	o 113 
37.22/7.13	o 114 
37.22/7.14	o 115 
37.22/7.15	o 116 
37.22/7.16	o 117 
37.22/7.17	o 118 
37.22/7.18	o 119 
37.22/7.18	o 120 
37.22/7.19	o 121 
37.79/7.20	o 122 
37.79/7.20	o 123 
37.79/7.21	o 124 
37.79/7.22	o 125 
37.79/7.22	o 126 
37.79/7.23	o 127 
37.79/7.24	o 128 
37.79/7.24	o 129 
37.79/7.25	o 130 
37.79/7.25	o 131 
37.79/7.26	o 132 
37.79/7.27	o 133 
37.79/7.27	o 134 
37.79/7.28	o 135 
37.79/7.28	o 136 
37.79/7.29	o 137 
37.79/7.29	o 138 
38.21/7.30	o 139 
38.21/7.31	o 140 
38.21/7.31	o 141 
38.21/7.32	o 142 
38.21/7.36	o 143 
38.21/7.36	o 144 
38.21/7.37	o 145 
38.21/7.38	o 146 
38.21/7.38	o 147 
38.21/7.39	o 148 
38.80/7.40	o 149 
38.80/7.41	o 150 
38.80/7.41	o 151 
38.80/7.42	o 152 
38.80/7.43	o 153 
38.80/7.43	o 154 
38.80/7.44	o 155 
38.80/7.45	o 156 
38.80/7.46	o 157 
38.80/7.46	o 158 
38.80/7.47	o 159 
38.80/7.48	o 160 
38.80/7.49	o 161 
38.80/7.49	o 162 
39.37/7.50	o 163 
39.37/7.51	o 164 
39.37/7.51	o 165 
39.37/7.52	o 166 
39.37/7.53	o 167 
39.37/7.54	o 168 
39.37/7.54	o 169 
39.37/7.55	o 170 
39.37/7.55	o 171 
39.37/7.56	o 172 
39.37/7.57	o 173 
39.37/7.58	o 174 
39.37/7.59	o 175 
39.90/7.66	o 176 
39.90/7.67	o 177 
39.90/7.68	o 178 
39.90/7.69	o 179 
39.90/7.70	o 180 
40.24/7.71	o 181 
40.24/7.72	o 182 
40.24/7.73	o 183 
40.24/7.73	o 184 
40.24/7.74	o 185 
40.24/7.75	o 186 
40.24/7.76	o 187 
40.24/7.76	o 188 
40.24/7.77	o 189 
40.24/7.77	o 190 
40.24/7.78	o 191 
40.24/7.79	o 192 
40.24/7.81	o 193 
40.99/8.03	o 194 
40.99/8.04	o 195 
40.99/8.05	o 196 
40.99/8.06	o 197 
40.99/8.07	o 198 
40.99/8.08	o 199 
40.99/8.09	o 200 
40.99/8.09	o 201 
41.35/8.10	o 202 
41.35/8.11	o 203 
41.35/8.12	o 204 
41.35/8.12	o 205 
41.35/8.13	o 206 
41.35/8.14	o 207 
41.35/8.14	o 208 
41.35/8.15	o 209 
41.35/8.16	o 210 
41.35/8.16	o 211 
41.35/8.17	o 212 
41.35/8.17	o 213 
41.35/8.18	o 214 
41.35/8.19	o 215 
41.35/8.20	o 216 
41.78/8.20	o 217 
41.78/8.21	o 218 
41.78/8.22	o 219 
41.78/8.23	o 220 
41.78/8.23	o 221 
41.78/8.24	o 222 
41.78/8.25	o 223 
41.78/8.26	o 224 
41.78/8.27	o 225 
41.78/8.28	o 226 
41.78/8.29	o 227 
41.78/8.30	o 228 
42.27/8.30	o 229 
42.27/8.31	o 230 
42.27/8.33	o 231 
42.27/8.34	o 232 
42.27/8.35	o 233 
42.27/8.36	o 234 
42.27/8.37	o 235 
42.27/8.38	o 236 
42.27/8.38	o 237 
42.27/8.40	o 238 
42.73/8.41	o 239 
42.73/8.41	o 240 
42.73/8.42	o 241 
42.73/8.43	o 242 
42.73/8.44	o 243 
42.73/8.45	o 244 
42.73/8.46	o 245 
42.73/8.47	o 246 
42.73/8.48	o 247 
42.73/8.48	o 248 
42.73/8.49	o 249 
43.24/8.50	o 250 
43.24/8.51	o 251 
43.24/8.51	o 252 
43.24/8.52	o 253 
43.24/8.53	o 254 
43.24/8.54	o 255 
43.24/8.54	o 256 
43.24/8.55	o 257 
43.24/8.56	o 258 
43.24/8.56	o 259 
43.24/8.57	o 260 
43.24/8.58	o 261 
43.24/8.59	o 262 
43.67/8.60	o 263 
43.67/8.60	o 264 
43.67/8.61	o 265 
43.67/8.62	o 266 
43.67/8.63	o 267 
43.67/8.64	o 268 
43.67/8.65	o 269 
43.67/8.66	o 270 
43.67/8.67	o 271 
43.67/8.68	o 272 
43.67/8.69	o 273 
43.67/8.69	o 274 
44.25/8.70	o 275 
44.25/8.71	o 276 
44.25/8.72	o 277 
44.25/8.73	o 278 
44.25/8.73	o 279 
44.25/8.74	o 280 
44.25/8.75	o 281 
44.25/8.76	o 282 
44.25/8.77	o 283 
44.25/8.78	o 284 
44.25/8.79	o 285 
44.25/8.79	o 286 
44.25/8.80	o 287 
44.81/8.81	o 288 
44.81/8.82	o 289 
44.81/8.83	o 290 
44.81/8.84	o 291 
44.81/8.85	o 292 
44.81/8.86	o 293 
44.81/8.87	o 294 
44.81/8.87	o 295 
44.81/8.88	o 296 
44.81/8.89	o 297 
44.81/8.90	o 298 
44.81/8.91	o 299 
45.32/8.92	o 300 
45.32/8.92	o 301 
45.32/8.93	o 302 
45.32/8.94	o 303 
45.32/8.95	o 304 
45.32/8.95	o 305 
45.32/8.96	o 306 
45.32/8.97	o 307 
45.32/8.97	o 308 
45.32/8.98	o 309 
45.32/8.99	o 310 
45.69/9.00	o 311 
45.69/9.01	o 312 
45.69/9.02	o 313 
45.69/9.02	o 314 
45.69/9.03	o 315 
45.69/9.04	o 316 
45.69/9.05	o 317 
45.69/9.06	o 318 
45.69/9.07	o 319 
45.69/9.08	o 320 
45.69/9.09	o 321 
46.23/9.12	o 322 
46.49/9.33	o 323 
46.49/9.34	o 324 
46.49/9.35	o 325 
46.49/9.35	o 326 
46.49/9.36	o 327 
46.49/9.38	o 328 
46.49/9.39	o 329 
46.49/9.39	o 330 
46.91/9.40	o 331 
46.91/9.41	o 332 
46.91/9.42	o 333 
46.91/9.43	o 334 
46.91/9.44	o 335 
46.91/9.45	o 336 
46.91/9.46	o 337 
46.91/9.47	o 338 
46.91/9.48	o 339 
46.91/9.49	o 340 
46.91/9.49	o 341 
47.36/9.50	o 342 
47.36/9.51	o 343 
47.36/9.52	o 344 
47.36/9.53	o 345 
47.36/9.54	o 346 
47.36/9.55	o 347 
47.36/9.56	o 348 
47.36/9.57	o 349 
47.36/9.58	o 350 
47.36/9.59	o 351 
47.81/9.70	o 352 
47.91/9.71	o 353 
47.91/9.72	o 354 
47.91/9.73	o 355 
47.91/9.75	o 356 
48.47/9.98	o 357 
48.47/10.00	o 358 
48.77/10.01	o 359 
50.66/10.38	o 360 
50.93/10.41	o 361 
154.57/23.57	o 362 
168.95/25.42	o 363 
2400.35/305.75	s SATISFIABLE
2400.35/305.75	v <instantiation>
2400.35/305.75	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[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] 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[0][26] w[0][27] w[0][28] w[0][29] 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[1][26] w[1][27] w[1][28] w[1][29] 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[2][26] w[2][27] w[2][28] w[2][29] 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[3][26] w[3][27] w[3][28] w[3][29] 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[4][26] w[4][27] w[4][28] w[4][29] 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[5][26] w[5][27] w[5][28] w[5][29] 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[6][26] w[6][27] w[6][28] w[6][29] 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[7][26] w[7][27] w[7][28] w[7][29] 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[8][26] w[8][27] w[8][28] w[8][29] 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[9][26] w[9][27] w[9][28] w[9][29] 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[10][26] w[10][27] w[10][28] w[10][29] 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[11][26] w[11][27] w[11][28] w[11][29] 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[12][26] w[12][27] w[12][28] w[12][29] 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[13][26] w[13][27] w[13][28] w[13][29] 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[14][26] w[14][27] w[14][28] w[14][29] 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[15][26] w[15][27] w[15][28] w[15][29] 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[16][26] w[16][27] w[16][28] w[16][29] 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[17][26] w[17][27] w[17][28] w[17][29] 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[18][26] w[18][27] w[18][28] w[18][29] 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[19][26] w[19][27] w[19][28] w[19][29] 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[20][26] w[20][27] w[20][28] w[20][29] 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[21][26] w[21][27] w[21][28] w[21][29] 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[22][26] w[22][27] w[22][28] w[22][29] 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[23][26] w[23][27] w[23][28] w[23][29] 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[24][26] w[24][27] w[24][28] w[24][29] 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] w[25][26] w[25][27] w[25][28] w[25][29] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] 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] ws[26] ws[27] ws[28] ws[29] z </list>
2400.35/305.75	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 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 1 1 0 1 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 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 1 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 1 1 0 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 1 0 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 1 0 0 0 0 0 1 1 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 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 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 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 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 1 0 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 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 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 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 2 1 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 0 1 2 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 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 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 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 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 2 2 0 1 0 1 1 2 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 9 10 10 20 20 21 53 60 62 64 68 70 92 102 109 111 115 124 135 138 145 156 158 160 169 174 183 191 211 228 363 </values>
2400.35/305.75	v </instantiation>
2400.35/305.75	c Unexpected resolution interruption!

Verifier Data 

OK	363

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-4244788-1500684409/watcher-4244788-1500684409 -o /tmp/evaluation-result-4244788-1500684409/solver-4244788-1500684409 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1260417428 HOME/instance-4244788-1500684409.xml 

pid=13889
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: 14.63 13.38 12.18 12/270 13892
/proc/meminfo: memFree=29588172/32770624 swapFree=5880/239216
[pid=13892] ppid=13889 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13892/stat : 13892 (xcsp3-exec) S 13889 13892 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3708534 9740288 345 33554432000 4194304 5098028 140734855805968 140734855804072 139890876396156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19615744 140734855812238 140734855812448 140734855812448 140734855815147 0
/proc/13892/statm: 2378 345 289 221 0 87 0

[startup+0.100063 s]
/proc/loadavg: 14.63 13.38 12.18 12/270 13892
/proc/meminfo: memFree=29588172/32770624 swapFree=5880/239216
[pid=13892] ppid=13889 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13892/stat : 13892 (xcsp3-exec) S 13889 13892 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3708534 9740288 345 33554432000 4194304 5098028 140734855805968 140734855804072 139890876396156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19615744 140734855812238 140734855812448 140734855812448 140734855815147 0
/proc/13892/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200317 s]
/proc/loadavg: 14.63 13.38 12.18 12/270 13892
/proc/meminfo: memFree=29588172/32770624 swapFree=5880/239216
[pid=13892] ppid=13889 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13892/stat : 13892 (xcsp3-exec) S 13889 13892 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3708534 9740288 345 33554432000 4194304 5098028 140734855805968 140734855804072 139890876396156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19615744 140734855812238 140734855812448 140734855812448 140734855815147 0
/proc/13892/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300403 s]
/proc/loadavg: 14.63 13.38 12.18 12/270 13892
/proc/meminfo: memFree=29588172/32770624 swapFree=5880/239216
[pid=13892] ppid=13889 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13892/stat : 13892 (xcsp3-exec) S 13889 13892 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3708534 9740288 345 33554432000 4194304 5098028 140734855805968 140734855804072 139890876396156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19615744 140734855812238 140734855812448 140734855812448 140734855815147 0
/proc/13892/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700233 s]
/proc/loadavg: 14.63 13.38 12.18 12/270 13892
/proc/meminfo: memFree=29588172/32770624 swapFree=5880/239216
[pid=13892] ppid=13889 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13892/stat : 13892 (xcsp3-exec) S 13889 13892 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3708534 9740288 345 33554432000 4194304 5098028 140734855805968 140734855804072 139890876396156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19615744 140734855812238 140734855812448 140734855812448 140734855815147 0
/proc/13892/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50118 s]
/proc/loadavg: 14.63 13.38 12.18 13/291 13929
/proc/meminfo: memFree=29453536/32770624 swapFree=5880/239240
[pid=13892] ppid=13889 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13892/stat : 13892 (xcsp3-exec) S 13889 13892 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3708534 9740288 345 33554432000 4194304 5098028 140734855805968 140734855804072 139890876396156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19615744 140734855812238 140734855812448 140734855812448 140734855815147 0
/proc/13892/statm: 2378 345 289 221 0 87 0
[pid=13893] ppid=13892 vsize=13269256 CPUtime=4.16 cores=0,2,4,6,8,10,12,14
/proc/13893/stat : 13893 (java) S 13892 13892 7744 0 -1 1077944320 20444 0 0 0 407 9 0 0 20 0 20 0 3708534 13587718144 40828 33554432000 4194304 4196468 140722455320112 140722455302656 140714320367351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
/proc/13893/statm: 3317314 40828 3226 1 0 3304547 0
[pid=13893/tid=13894] ppid=13892 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13894/stat : 13894 (java) R 13892 13892 7744 0 -1 4202560 8627 0 0 0 142 5 0 0 20 0 20 0 3708534 13587718144 40828 33554432000 4194304 4196468 140722455320112 140714324603688 140713954527503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13896] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13896/stat : 13896 (java) S 13892 13892 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3708535 13587718144 40828 33554432000 4194304 4196468 140722455320112 140714272987664 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13897] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13897/stat : 13897 (java) S 13892 13892 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3708535 13587718144 40828 33554432000 4194304 4196468 140722455320112 140714271935120 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13898] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13898/stat : 13898 (java) S 13892 13892 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3708535 13587718144 40828 33554432000 4194304 4196468 140722455320112 140714270882064 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13899] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13899/stat : 13899 (java) S 13892 13892 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3708535 13587718144 40828 33554432000 4194304 4196468 140722455320112 140714269829520 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13900] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13900/stat : 13900 (java) S 13892 13892 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3708535 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713915776016 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13901] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13901/stat : 13901 (java) S 13892 13892 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3708535 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713914723472 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13902] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13902/stat : 13902 (java) S 13892 13892 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3708535 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713913670416 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13903] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13903/stat : 13903 (java) S 13892 13892 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3708535 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713912617872 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13904] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13904/stat : 13904 (java) S 13892 13892 7744 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 3708538 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713782589680 140714320378498 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13905] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13905/stat : 13905 (java) S 13892 13892 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3708539 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713781535904 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13906] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13906/stat : 13906 (java) S 13892 13892 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3708539 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713780482800 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13907] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13907/stat : 13907 (java) S 13892 13892 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3708543 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713779431376 140714320385947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13908] ppid=13892 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13908/stat : 13908 (java) R 13892 13892 7744 0 -1 4202560 2659 0 0 0 69 0 0 0 20 0 20 0 3708543 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713778366072 140714313464243 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13909] ppid=13892 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13909/stat : 13909 (java) R 13892 13892 7744 0 -1 4202560 2403 0 0 0 61 1 0 0 20 0 20 0 3708543 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713777316640 140714300028871 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13910] ppid=13892 vsize=13269256 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13910/stat : 13910 (java) S 13892 13892 7744 0 -1 1077944384 2634 0 0 0 72 0 0 0 20 0 20 0 3708543 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713776265360 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13911] ppid=13892 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13911/stat : 13911 (java) S 13892 13892 7744 0 -1 1077944384 2798 0 0 0 61 0 0 0 20 0 20 0 3708543 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713775221360 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13912] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13912/stat : 13912 (java) S 13892 13892 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3708544 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713774168544 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13913] ppid=13892 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13913/stat : 13913 (java) S 13892 13892 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3708544 13587718144 40828 33554432000 4194304 4196468 140722455320112 140713773116080 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 13278768

[startup+3.10259 s]
/proc/loadavg: 14.18 13.31 12.17 13/291 13945
/proc/meminfo: memFree=29293416/32770624 swapFree=5880/239256
[pid=13892] ppid=13889 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13892/stat : 13892 (xcsp3-exec) S 13889 13892 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3708534 9740288 345 33554432000 4194304 5098028 140734855805968 140734855804072 139890876396156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19615744 140734855812238 140734855812448 140734855812448 140734855815147 0
/proc/13892/statm: 2378 345 289 221 0 87 0
[pid=13893] ppid=13892 vsize=13801768 CPUtime=10.2 cores=0,2,4,6,8,10,12,14
/proc/13893/stat : 13893 (java) S 13892 13892 7744 0 -1 1077944320 26613 0 0 0 965 55 0 0 20 0 28 0 3708534 14133010432 72612 33554432000 4194304 4196468 140722455320112 140722455302656 140714320367351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
/proc/13893/statm: 3450442 72612 3260 1 0 3437675 0
[pid=13893/tid=13894] ppid=13892 vsize=13801768 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13894/stat : 13894 (java) S 13892 13892 7744 0 -1 1077944384 9841 0 0 0 267 6 0 0 20 0 28 0 3708534 14133010432 72612 33554432000 4194304 4196468 140722455320112 140714324608128 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13896] ppid=13892 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13896/stat : 13896 (java) S 13892 13892 7744 0 -1 1077944384 99 0 0 0 6 5 0 0 20 0 28 0 3708535 14133010432 72612 33554432000 4194304 4196468 140722455320112 140714272987664 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13897] ppid=13892 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13897/stat : 13897 (java) S 13892 13892 7744 0 -1 1077944384 129 0 0 0 5 5 0 0 20 0 28 0 3708535 14133010432 72612 33554432000 4194304 4196468 140722455320112 140714271935120 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13898] ppid=13892 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13898/stat : 13898 (java) S 13892 13892 7744 0 -1 1077944384 103 0 0 0 5 5 0 0 20 0 28 0 3708535 14133010432 72612 33554432000 4194304 4196468 140722455320112 140714270882064 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13899] ppid=13892 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13899/stat : 13899 (java) S 13892 13892 7744 0 -1 1077944384 155 0 0 0 6 5 0 0 20 0 28 0 3708535 14133010432 72612 33554432000 4194304 4196468 140722455320112 140714269829520 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13900] ppid=13892 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13900/stat : 13900 (java) S 13892 13892 7744 0 -1 1077944384 335 0 0 0 5 4 0 0 20 0 28 0 3708535 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713915776016 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13901] ppid=13892 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13901/stat : 13901 (java) S 13892 13892 7744 0 -1 1077944384 94 0 0 0 6 5 0 0 20 0 28 0 3708535 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713914723472 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13902] ppid=13892 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13902/stat : 13902 (java) S 13892 13892 7744 0 -1 1077944384 86 0 0 0 3 5 0 0 20 0 28 0 3708535 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713913670416 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13903] ppid=13892 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13903/stat : 13903 (java) S 13892 13892 7744 0 -1 1077944384 83 0 0 0 5 5 0 0 20 0 28 0 3708535 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713912617872 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13904] ppid=13892 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13904/stat : 13904 (java) S 13892 13892 7744 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 28 0 3708538 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713782589680 140714320378498 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13905] ppid=13892 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13905/stat : 13905 (java) S 13892 13892 7744 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3708539 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713781535968 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13906] ppid=13892 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13906/stat : 13906 (java) S 13892 13892 7744 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3708539 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713780482816 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13907] ppid=13892 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13907/stat : 13907 (java) S 13892 13892 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3708543 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713779431376 140714320385947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13908] ppid=13892 vsize=13801768 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13908/stat : 13908 (java) R 13892 13892 7744 0 -1 4202560 3348 0 0 0 146 1 0 0 20 0 28 0 3708543 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713778379800 140714313552131 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13909] ppid=13892 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13909/stat : 13909 (java) R 13892 13892 7744 0 -1 4202560 3372 0 0 0 140 1 0 0 20 0 28 0 3708543 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713777319448 140714304774541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13910] ppid=13892 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13910/stat : 13910 (java) R 13892 13892 7744 0 -1 4202560 3381 0 0 0 148 0 0 0 20 0 28 0 3708543 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713776260448 140714299627100 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13911] ppid=13892 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13911/stat : 13911 (java) R 13892 13892 7744 0 -1 4202560 3714 0 0 0 84 1 0 0 20 0 28 0 3708543 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713775217312 140714299030936 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13912] ppid=13892 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13912/stat : 13912 (java) S 13892 13892 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3708544 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713774168544 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13913] ppid=13892 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13913/stat : 13913 (java) S 13892 13892 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3708544 14133010432 72612 33554432000 4194304 4196468 140722455320112 140713773116080 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
Current children cumulated CPU time (s) 10.2
Current children cumulated vsize (KiB) 13811280

[startup+6.30132 s]
/proc/loadavg: 14.18 13.31 12.17 27/299 14041
/proc/meminfo: memFree=28918568/32770624 swapFree=5880/239268
[pid=13892] ppid=13889 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13892/stat : 13892 (xcsp3-exec) S 13889 13892 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3708534 9740288 345 33554432000 4194304 5098028 140734855805968 140734855804072 139890876396156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19615744 140734855812238 140734855812448 140734855812448 140734855815147 0
/proc/13892/statm: 2378 345 289 221 0 87 0
[pid=13893] ppid=13892 vsize=13803816 CPUtime=32.79 cores=0,2,4,6,8,10,12,14
/proc/13893/stat : 13893 (java) S 13892 13892 7744 0 -1 1077944320 45835 0 0 0 3196 83 0 0 20 0 28 0 3708534 14135107584 113752 33554432000 4194304 4196468 140722455320112 140722455302656 140714320367351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
/proc/13893/statm: 3450954 113752 3289 1 0 3438187 0
[pid=13893/tid=13894] ppid=13892 vsize=13803816 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13894/stat : 13894 (java) S 13892 13892 7744 0 -1 1077944384 9953 0 0 0 270 6 0 0 20 0 28 0 3708534 14135107584 113752 33554432000 4194304 4196468 140722455320112 140714324608128 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13896] ppid=13892 vsize=13803816 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13896/stat : 13896 (java) S 13892 13892 7744 0 -1 1077944384 142 0 0 0 9 7 0 0 20 0 28 0 3708535 14135107584 113752 33554432000 4194304 4196468 140722455320112 140714272987664 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13897] ppid=13892 vsize=13803816 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13897/stat : 13897 (java) S 13892 13892 7744 0 -1 1077944384 173 0 0 0 8 8 0 0 20 0 28 0 3708535 14135107584 113752 33554432000 4194304 4196468 140722455320112 140714271935120 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13898] ppid=13892 vsize=13803816 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13898/stat : 13898 (java) S 13892 13892 7744 0 -1 1077944384 140 0 0 0 8 8 0 0 20 0 28 0 3708535 14135107584 113752 33554432000 4194304 4196468 140722455320112 140714270882064 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13899] ppid=13892 vsize=13803816 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13899/stat : 13899 (java) S 13892 13892 7744 0 -1 1077944384 393 0 0 0 8 8 0 0 20 0 28 0 3708535 14135107584 113752 33554432000 4194304 4196468 140722455320112 140714269829520 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13900] ppid=13892 vsize=13803816 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13900/stat : 13900 (java) S 13892 13892 7744 0 -1 1077944384 380 0 0 0 7 7 0 0 20 0 28 0 3708535 14135107584 113752 33554432000 4194304 4196468 140722455320112 140713915776016 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13901] ppid=13892 vsize=13803816 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13901/stat : 13901 (java) S 13892 13892 7744 0 -1 1077944384 191 0 0 0 9 7 0 0 20 0 28 0 3708535 14135107584 113752 33554432000 4194304 4196468 140722455320112 140713914723472 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13902] ppid=13892 vsize=13803816 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13902/stat : 13902 (java) S 13892 13892 7744 0 -1 1077944384 1213 0 0 0 6 7 0 0 20 0 28 0 3708535 14135107584 113752 33554432000 4194304 4196468 140722455320112 140713913670416 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13903] ppid=13892 vsize=13803816 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13903/stat : 13903 (java) S 13892 13892 7744 0 -1 1077944384 273 0 0 0 8 7 0 0 20 0 28 0 3708535 14135107584 113752 33554432000 4194304 4196468 140722455320112 140713912617872 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13904] ppid=13892 vsize=13803816 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13904/stat : 13904 (java) S 13892 13892 7744 0 -1 1077944384 533 0 0 0 1 0 0 0 20 0 28 0 3708538 14135107584 113752 33554432000 4194304 4196468 140722455320112 140713782589680 140714320378498 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13905] ppid=13892 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13905/stat : 13905 (java) S 13892 13892 7744 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3708539 14135107584 113752 33554432000 4194304 4196468 140722455320112 140713781535968 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13906] ppid=13892 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13906/stat : 13906 (java) S 13892 13892 7744 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3708539 14135107584 113752 33554432000 4194304 4196468 140722455320112 140713780482816 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13907] ppid=13892 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13907/stat : 13907 (java) S 13892 13892 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3708543 14135107584 113752 33554432000 4194304 4196468 140722455320112 140713779431376 140714320385947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0

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

[pid=13893/tid=16760] ppid=13892 vsize=13870380 CPUtime=255.71 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16760/stat : 16760 (java) R 13892 13892 7744 0 -1 4202560 3768 0 0 0 25569 2 0 0 20 0 28 0 3711076 14203269120 836760 33554432000 4194304 4196468 140722455320112 140713758785560 140713960501123 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16761] ppid=13892 vsize=13870380 CPUtime=254.54 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16761/stat : 16761 (java) R 13892 13892 7744 0 -1 4202560 1634 0 0 0 25453 1 0 0 20 0 28 0 3711076 14203269120 836760 33554432000 4194304 4196468 140722455320112 140713757732888 140713960222747 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
Current children cumulated CPU time (s) 2214.17
Current children cumulated vsize (KiB) 13879892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+305.701 s]
/proc/loadavg: 15.56 14.96 13.21 17/301 17048
/proc/meminfo: memFree=28353272/32770624 swapFree=5880/239696
[pid=13892] ppid=13889 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13892/stat : 13892 (xcsp3-exec) S 13889 13892 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3708534 9740288 345 33554432000 4194304 5098028 140734855805968 140734855804072 139890876396156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19615744 140734855812238 140734855812448 140734855812448 140734855815147 0
/proc/13892/statm: 2378 345 289 221 0 87 0
[pid=13893] ppid=13892 vsize=13870380 CPUtime=2400.35 cores=0,2,4,6,8,10,12,14
/proc/13893/stat : 13893 (java) S 13892 13892 7744 0 -1 1077944320 151279 0 0 0 239762 273 0 0 20 0 28 0 3708534 14203269120 825607 33554432000 4194304 4196468 140722455320112 140722455302656 140714320367351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
/proc/13893/statm: 3467595 825607 3289 1 0 3454828 0
[pid=13893/tid=13894] ppid=13892 vsize=13870380 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13894/stat : 13894 (java) S 13892 13892 7744 0 -1 1077944384 10580 0 0 0 294 8 0 0 20 0 28 0 3708534 14203269120 825607 33554432000 4194304 4196468 140722455320112 140714324608048 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13896] ppid=13892 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13896/stat : 13896 (java) S 13892 13892 7744 0 -1 1077944384 880 0 0 0 25 16 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140714272987664 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13897] ppid=13892 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13897/stat : 13897 (java) S 13892 13892 7744 0 -1 1077944384 679 0 0 0 25 16 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140714271935120 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13898] ppid=13892 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13898/stat : 13898 (java) S 13892 13892 7744 0 -1 1077944384 765 0 0 0 26 15 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140714270882064 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13899] ppid=13892 vsize=13870380 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13899/stat : 13899 (java) S 13892 13892 7744 0 -1 1077944384 1043 0 0 0 24 16 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140714269829520 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13900] ppid=13892 vsize=13870380 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13900/stat : 13900 (java) S 13892 13892 7744 0 -1 1077944384 1445 0 0 0 24 14 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713915776016 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13901] ppid=13892 vsize=13870380 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13901/stat : 13901 (java) S 13892 13892 7744 0 -1 1077944384 921 0 0 0 24 15 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713914723472 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13902] ppid=13892 vsize=13870380 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13902/stat : 13902 (java) S 13892 13892 7744 0 -1 1077944384 1721 0 0 0 22 13 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713913670416 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13903] ppid=13892 vsize=13870380 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13903/stat : 13903 (java) S 13892 13892 7744 0 -1 1077944384 530 0 0 0 25 14 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713912617872 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13904] ppid=13892 vsize=13870380 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13904/stat : 13904 (java) S 13892 13892 7744 0 -1 1077944384 4899 0 0 0 9 11 0 0 20 0 28 0 3708538 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713782589680 140714320378498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13905] ppid=13892 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13905/stat : 13905 (java) S 13892 13892 7744 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3708539 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713781535968 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13906] ppid=13892 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13906/stat : 13906 (java) S 13892 13892 7744 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3708539 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713780482816 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13907] ppid=13892 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13907/stat : 13907 (java) S 13892 13892 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3708543 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713779431376 140714320385947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13908] ppid=13892 vsize=13870380 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13908/stat : 13908 (java) S 13892 13892 7744 0 -1 1077944384 14230 0 0 0 432 2 0 0 20 0 28 0 3708543 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713778379504 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13909] ppid=13892 vsize=13870380 CPUtime=4.86 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13909/stat : 13909 (java) S 13892 13892 7744 0 -1 1077944384 17969 0 0 0 483 3 0 0 20 0 28 0 3708543 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713777326960 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13910] ppid=13892 vsize=13870380 CPUtime=4.59 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13910/stat : 13910 (java) S 13892 13892 7744 0 -1 1077944384 15297 0 0 0 457 2 0 0 20 0 28 0 3708543 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713776273904 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13911] ppid=13892 vsize=13870380 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13911/stat : 13911 (java) S 13892 13892 7744 0 -1 1077944384 12464 0 0 0 155 3 0 0 20 0 28 0 3708543 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713775221360 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13912] ppid=13892 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13912/stat : 13912 (java) S 13892 13892 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3708544 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713774168544 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13913] ppid=13892 vsize=13870380 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13913/stat : 13913 (java) S 13892 13892 7744 0 -1 1077944384 1854 0 0 0 9 8 0 0 20 0 28 0 3708544 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713773116080 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16754] ppid=13892 vsize=13870380 CPUtime=278.08 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16754/stat : 16754 (java) R 13892 13892 7744 0 -1 4202560 2609 0 0 0 27806 2 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713761942312 140713960222747 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16755] ppid=13892 vsize=13870380 CPUtime=278.58 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16755/stat : 16755 (java) R 13892 13892 7744 0 -1 4202560 2457 0 0 0 27857 1 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713762995816 140713959125461 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16756] ppid=13892 vsize=13870380 CPUtime=279.48 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16756/stat : 16756 (java) R 13892 13892 7744 0 -1 4202560 1543 0 0 0 27947 1 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713765101840 140713961685319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16757] ppid=13892 vsize=13870380 CPUtime=278.42 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16757/stat : 16757 (java) R 13892 13892 7744 0 -1 4202560 15857 0 0 0 27826 16 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713764052400 140713961107672 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16758] ppid=13892 vsize=13870380 CPUtime=279.37 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16758/stat : 16758 (java) R 13892 13892 7744 0 -1 4202560 1559 0 0 0 27937 0 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713759838568 140713961194819 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16759] ppid=13892 vsize=13870380 CPUtime=278.53 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16759/stat : 16759 (java) R 13892 13892 7744 0 -1 4202560 1046 0 0 0 27852 1 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713760891384 140713959124916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16760] ppid=13892 vsize=13870380 CPUtime=279.04 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16760/stat : 16760 (java) R 13892 13892 7744 0 -1 4202560 4105 0 0 0 27902 2 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713758785336 140713960222747 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16761] ppid=13892 vsize=13870380 CPUtime=277.55 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16761/stat : 16761 (java) R 13892 13892 7744 0 -1 4202560 1696 0 0 0 27754 1 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713757732776 140713960222747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
Current children cumulated CPU time (s) 2400.35
Current children cumulated vsize (KiB) 13879892

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

[startup+305.701 s]
/proc/loadavg: 15.56 14.96 13.21 17/301 17048
/proc/meminfo: memFree=28353272/32770624 swapFree=5880/239696
[pid=13892] ppid=13889 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13892/stat : 13892 (xcsp3-exec) S 13889 13892 7744 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3708534 9740288 345 33554432000 4194304 5098028 140734855805968 140734855804072 139890876396156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 19615744 140734855812238 140734855812448 140734855812448 140734855815147 0
/proc/13892/statm: 2378 345 289 221 0 87 0
[pid=13893] ppid=13892 vsize=13870380 CPUtime=2400.35 cores=0,2,4,6,8,10,12,14
/proc/13893/stat : 13893 (java) S 13892 13892 7744 0 -1 1077944320 151279 0 0 0 239762 273 0 0 20 0 28 0 3708534 14203269120 825607 33554432000 4194304 4196468 140722455320112 140722455302656 140714320367351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
/proc/13893/statm: 3467595 825607 3289 1 0 3454828 0
[pid=13893/tid=13894] ppid=13892 vsize=13870380 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13894/stat : 13894 (java) S 13892 13892 7744 0 -1 1077944384 10580 0 0 0 294 8 0 0 20 0 28 0 3708534 14203269120 825607 33554432000 4194304 4196468 140722455320112 140714324608048 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13896] ppid=13892 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13896/stat : 13896 (java) S 13892 13892 7744 0 -1 1077944384 880 0 0 0 25 16 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140714272987664 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13897] ppid=13892 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13897/stat : 13897 (java) S 13892 13892 7744 0 -1 1077944384 679 0 0 0 25 16 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140714271935120 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13898] ppid=13892 vsize=13870380 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13898/stat : 13898 (java) S 13892 13892 7744 0 -1 1077944384 765 0 0 0 26 15 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140714270882064 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13899] ppid=13892 vsize=13870380 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13899/stat : 13899 (java) S 13892 13892 7744 0 -1 1077944384 1043 0 0 0 24 16 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140714269829520 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13900] ppid=13892 vsize=13870380 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13900/stat : 13900 (java) S 13892 13892 7744 0 -1 1077944384 1445 0 0 0 24 14 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713915776016 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13901] ppid=13892 vsize=13870380 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13901/stat : 13901 (java) S 13892 13892 7744 0 -1 1077944384 921 0 0 0 24 15 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713914723472 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13902] ppid=13892 vsize=13870380 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13902/stat : 13902 (java) S 13892 13892 7744 0 -1 1077944384 1721 0 0 0 22 13 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713913670416 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13903] ppid=13892 vsize=13870380 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13903/stat : 13903 (java) S 13892 13892 7744 0 -1 1077944384 530 0 0 0 25 14 0 0 20 0 28 0 3708535 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713912617872 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13904] ppid=13892 vsize=13870380 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13904/stat : 13904 (java) S 13892 13892 7744 0 -1 1077944384 4899 0 0 0 9 11 0 0 20 0 28 0 3708538 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713782589680 140714320378498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13905] ppid=13892 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13905/stat : 13905 (java) S 13892 13892 7744 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3708539 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713781535968 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13906] ppid=13892 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13906/stat : 13906 (java) S 13892 13892 7744 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3708539 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713780482816 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13907] ppid=13892 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13907/stat : 13907 (java) S 13892 13892 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3708543 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713779431376 140714320385947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13908] ppid=13892 vsize=13870380 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13908/stat : 13908 (java) S 13892 13892 7744 0 -1 1077944384 14230 0 0 0 432 2 0 0 20 0 28 0 3708543 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713778379504 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13909] ppid=13892 vsize=13870380 CPUtime=4.86 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13909/stat : 13909 (java) S 13892 13892 7744 0 -1 1077944384 17969 0 0 0 483 3 0 0 20 0 28 0 3708543 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713777326960 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13910] ppid=13892 vsize=13870380 CPUtime=4.59 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13910/stat : 13910 (java) S 13892 13892 7744 0 -1 1077944384 15297 0 0 0 457 2 0 0 20 0 28 0 3708543 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713776273904 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13911] ppid=13892 vsize=13870380 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13911/stat : 13911 (java) S 13892 13892 7744 0 -1 1077944384 12464 0 0 0 155 3 0 0 20 0 28 0 3708543 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713775221360 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13912] ppid=13892 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13912/stat : 13912 (java) S 13892 13892 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3708544 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713774168544 140714320377557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=13913] ppid=13892 vsize=13870380 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13893/task/13913/stat : 13913 (java) S 13892 13892 7744 0 -1 1077944384 1854 0 0 0 9 8 0 0 20 0 28 0 3708544 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713773116080 140714320378498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16754] ppid=13892 vsize=13870380 CPUtime=278.08 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16754/stat : 16754 (java) R 13892 13892 7744 0 -1 4202560 2609 0 0 0 27806 2 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713761942312 140713960222747 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16755] ppid=13892 vsize=13870380 CPUtime=278.58 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16755/stat : 16755 (java) R 13892 13892 7744 0 -1 4202560 2457 0 0 0 27857 1 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713762995816 140713959125461 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16756] ppid=13892 vsize=13870380 CPUtime=279.48 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16756/stat : 16756 (java) R 13892 13892 7744 0 -1 4202560 1543 0 0 0 27947 1 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713765101840 140713961685319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16757] ppid=13892 vsize=13870380 CPUtime=278.42 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16757/stat : 16757 (java) R 13892 13892 7744 0 -1 4202560 15857 0 0 0 27826 16 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713764052400 140713961107672 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16758] ppid=13892 vsize=13870380 CPUtime=279.37 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16758/stat : 16758 (java) R 13892 13892 7744 0 -1 4202560 1559 0 0 0 27937 0 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713759838568 140713961194819 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16759] ppid=13892 vsize=13870380 CPUtime=278.53 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16759/stat : 16759 (java) R 13892 13892 7744 0 -1 4202560 1046 0 0 0 27852 1 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713760891384 140713959124916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16760] ppid=13892 vsize=13870380 CPUtime=279.04 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16760/stat : 16760 (java) R 13892 13892 7744 0 -1 4202560 4105 0 0 0 27902 2 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713758785336 140713960222747 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
[pid=13893/tid=16761] ppid=13892 vsize=13870380 CPUtime=277.55 cores=0,2,4,6,8,10,12,14
/proc/13893/task/16761/stat : 16761 (java) R 13892 13892 7744 0 -1 4202560 1696 0 0 0 27754 1 0 0 20 0 28 0 3711076 14203269120 825607 33554432000 4194304 4196468 140722455320112 140713757732776 140713960222747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140722455327932 140722455328108 140722455328108 140722455330767 0
Current children cumulated CPU time (s) 2400.35
Current children cumulated vsize (KiB) 13879892

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 305.712
CPU time (s): 2400.35
CPU user time (s): 2397.62
CPU system time (s): 2.73
CPU usage (%): 785.167
Max. virtual memory (cumulated for all children) (KiB): 13879892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001078
system time used= 0.002157
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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 3.93092 second user time and 4.2218 second system time

The end

Launcher Data 

Begin job on node127 at 2017-07-22 02:46:49
IDJOB=4244788
IDBENCH=115904
IDSOLVER=2625
FILE ID=node127/4244788-1500684409
RUNJOBID= node127-1500682387-7775
PBS_JOBID= 20623323
Free space on /tmp= 61976 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.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-4244788-1500684409/watcher-4244788-1500684409 -o /tmp/evaluation-result-4244788-1500684409/solver-4244788-1500684409 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1260417428 HOME/instance-4244788-1500684409.xml

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

MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1
RANDOM SEED=1260417428

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.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	: 5333.94
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.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	: 5333.94
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.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	: 5333.94
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	: 5332.55
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	: 5333.94
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	: 5332.55
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		: 1600.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	: 5333.94
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	: 5332.55
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	: 5333.94
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	: 5332.55
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		: 1600.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	: 5333.94
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29590964 kB
MemAvailable:   29641124 kB
Buffers:           46064 kB
Cached:           315276 kB
SwapCached:            0 kB
Active:          2555944 kB
Inactive:         247880 kB
Active(anon):    2445472 kB
Inactive(anon):     8664 kB
Active(file):     110472 kB
Inactive(file):   239216 kB
Unevictable:        5880 kB
Mlocked:            5880 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7884 kB
Writeback:             0 kB
AnonPages:       2431844 kB
Mapped:            42464 kB
Shmem:              8840 kB
Slab:              65816 kB
SReclaimable:      32612 kB
SUnreclaim:        33204 kB
KernelStack:        4992 kB
PageTables:        10432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4518760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2297856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61968 MiB
End job on node127 at 2017-07-22 02:51:54