Trace number 4244817

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 5a (2017-07-05)SAT (TO)388 2400.71 305.712

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-29.xml
MD5SUM1822b9c415adc1a9dd10b23e46d08c48
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark425
Best CPU time to get the best result obtained on this benchmark2519.5801
Satisfiable
(Un)Satisfiability was proved
Number of variables1954
Number of constraints1139
Number of domains4
Minimum domain size2
Maximum domain size1923
Distribution of domain sizes[{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}]
Minimum variable degree1
Maximum variable degree32
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}]
Minimum constraint arity2
Maximum constraint arity33
Distribution of constraint arities[{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}]
Number of extensional constraints957
Number of intensional constraints146
Distribution of constraint types[{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"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-4244817-1500684713.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4244817-1500684713.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.24	c 8 solvers in parallel
0.00/0.30	c parse instance...
8.32/2.95	c solve instance...
14.22/3.74	o 0 
14.22/3.77	o 4 
14.94/3.81	o 6 
14.94/3.83	o 8 
14.94/3.88	o 10 
15.68/3.93	o 12 
15.68/3.98	o 14 
16.40/4.01	o 15 
16.40/4.04	o 16 
17.13/4.10	o 17 
17.13/4.14	o 18 
18.41/4.35	o 19 
18.41/4.38	o 20 
18.41/4.40	o 21 
18.41/4.41	o 22 
19.00/4.42	o 23 
19.78/4.79	o 24 
19.90/4.80	o 25 
19.90/4.82	o 26 
19.90/4.82	o 27 
19.90/4.83	o 28 
19.90/4.84	o 29 
19.90/4.88	o 30 
19.90/4.90	o 31 
20.44/4.90	o 32 
20.44/4.91	o 33 
20.44/4.92	o 34 
20.44/4.96	o 35 
20.44/4.97	o 36 
20.44/4.98	o 37 
20.44/4.99	o 38 
21.12/5.00	o 39 
21.12/5.01	o 40 
21.12/5.01	o 41 
21.12/5.02	o 42 
21.12/5.03	o 43 
21.12/5.04	o 44 
21.12/5.04	o 45 
21.12/5.05	o 46 
21.12/5.06	o 47 
21.12/5.07	o 48 
21.12/5.07	o 49 
21.12/5.08	o 50 
21.12/5.09	o 51 
21.12/5.09	o 52 
21.77/5.10	o 53 
21.77/5.11	o 54 
21.77/5.12	o 55 
21.77/5.13	o 56 
21.77/5.14	o 57 
21.77/5.15	o 58 
22.44/5.20	o 59 
22.44/5.20	o 60 
22.44/5.21	o 61 
22.44/5.22	o 62 
22.44/5.23	o 63 
22.44/5.24	o 64 
22.44/5.24	o 65 
22.44/5.25	o 66 
22.44/5.26	o 67 
22.44/5.26	o 68 
22.44/5.27	o 69 
22.44/5.28	o 70 
22.44/5.28	o 71 
22.44/5.29	o 72 
23.02/5.30	o 73 
23.02/5.31	o 74 
23.02/5.32	o 75 
23.02/5.32	o 76 
23.02/5.33	o 77 
23.02/5.34	o 78 
23.02/5.35	o 79 
23.02/5.35	o 80 
23.02/5.36	o 81 
23.02/5.37	o 82 
23.02/5.37	o 83 
23.02/5.38	o 84 
23.02/5.39	o 85 
23.02/5.39	o 86 
23.57/5.40	o 87 
23.57/5.41	o 88 
23.57/5.46	o 89 
23.57/5.47	o 90 
23.57/5.48	o 91 
23.57/5.48	o 92 
23.57/5.49	o 93 
23.57/5.51	o 94 
24.26/5.52	o 95 
24.26/5.52	o 96 
24.26/5.53	o 97 
24.26/5.54	o 98 
24.26/5.55	o 99 
24.26/5.56	o 100 
24.26/5.57	o 101 
24.26/5.58	o 102 
24.26/5.58	o 103 
24.26/5.59	o 104 
24.93/5.63	o 105 
24.93/5.63	o 106 
24.93/5.64	o 107 
24.93/5.65	o 108 
24.93/5.66	o 109 
24.93/5.67	o 110 
24.93/5.67	o 111 
24.93/5.68	o 112 
24.93/5.69	o 113 
24.93/5.69	o 114 
25.37/5.70	o 115 
25.37/5.70	o 116 
25.37/5.71	o 117 
25.37/5.72	o 118 
25.37/5.73	o 119 
25.37/5.73	o 120 
25.37/5.74	o 121 
25.37/5.75	o 122 
25.37/5.75	o 123 
25.37/5.76	o 124 
25.37/5.76	o 125 
25.90/5.80	o 126 
25.90/5.81	o 127 
25.90/5.82	o 128 
25.90/5.83	o 129 
25.90/5.83	o 130 
25.90/5.84	o 131 
25.90/5.85	o 132 
25.90/5.86	o 133 
25.90/5.86	o 134 
25.90/5.87	o 135 
25.90/5.88	o 136 
25.90/5.88	o 137 
25.90/5.89	o 138 
26.45/5.90	o 139 
26.45/5.91	o 140 
26.45/5.91	o 141 
26.45/5.92	o 142 
26.45/5.93	o 143 
26.45/5.94	o 144 
26.45/5.94	o 145 
26.45/5.95	o 146 
26.45/5.96	o 147 
26.45/5.96	o 148 
26.45/5.97	o 149 
26.45/5.97	o 150 
26.45/5.98	o 151 
26.45/5.99	o 152 
26.45/6.00	o 153 
26.97/6.00	o 154 
26.97/6.01	o 155 
26.97/6.03	o 156 
26.97/6.03	o 157 
26.97/6.04	o 158 
26.97/6.05	o 159 
26.97/6.06	o 160 
26.97/6.06	o 161 
26.97/6.07	o 162 
26.97/6.08	o 163 
26.97/6.08	o 164 
26.97/6.09	o 165 
26.97/6.10	o 166 
27.56/6.11	o 167 
27.56/6.12	o 168 
27.56/6.12	o 169 
27.56/6.13	o 170 
27.56/6.14	o 171 
27.56/6.15	o 172 
27.56/6.15	o 173 
27.56/6.16	o 174 
27.56/6.17	o 175 
27.56/6.17	o 176 
27.56/6.18	o 177 
27.56/6.19	o 178 
27.56/6.19	o 179 
27.56/6.20	o 180 
28.09/6.21	o 181 
28.09/6.21	o 182 
28.09/6.22	o 183 
28.09/6.22	o 184 
28.09/6.23	o 185 
28.09/6.24	o 186 
28.09/6.24	o 187 
28.09/6.25	o 188 
28.09/6.26	o 189 
28.09/6.26	o 190 
28.09/6.27	o 191 
28.09/6.28	o 192 
28.09/6.28	o 193 
28.50/6.30	o 194 
28.50/6.30	o 195 
28.50/6.31	o 196 
28.50/6.32	o 197 
28.50/6.33	o 198 
28.50/6.34	o 199 
28.50/6.35	o 200 
28.50/6.36	o 201 
28.50/6.37	o 202 
28.50/6.37	o 203 
28.50/6.38	o 204 
28.50/6.39	o 205 
29.11/6.40	o 206 
29.11/6.41	o 207 
29.11/6.42	o 208 
29.11/6.42	o 209 
29.11/6.43	o 210 
29.11/6.44	o 211 
29.11/6.44	o 212 
29.11/6.45	o 213 
29.11/6.46	o 214 
29.11/6.47	o 215 
29.11/6.48	o 216 
29.11/6.49	o 217 
29.11/6.49	o 218 
29.63/6.50	o 219 
29.63/6.51	o 220 
29.63/6.51	o 221 
29.63/6.52	o 222 
29.63/6.53	o 223 
29.63/6.53	o 224 
29.63/6.54	o 225 
29.63/6.55	o 226 
29.63/6.56	o 227 
29.63/6.56	o 228 
29.63/6.57	o 229 
29.63/6.58	o 230 
29.63/6.59	o 231 
30.23/6.61	o 232 
30.23/6.62	o 233 
30.23/6.67	o 234 
30.23/6.68	o 235 
30.23/6.68	o 236 
30.23/6.69	o 237 
30.23/6.69	o 238 
30.23/6.70	o 239 
30.23/6.71	o 240 
30.60/6.72	o 241 
30.60/6.72	o 242 
30.60/6.73	o 243 
30.60/6.74	o 244 
30.60/6.74	o 245 
30.60/6.75	o 246 
30.60/6.76	o 247 
30.60/6.76	o 248 
30.60/6.77	o 249 
30.60/6.78	o 250 
30.60/6.79	o 251 
30.99/6.80	o 252 
30.99/6.80	o 253 
30.99/6.82	o 254 
30.99/6.83	o 255 
30.99/6.84	o 256 
30.99/6.84	o 257 
30.99/6.85	o 258 
30.99/6.86	o 259 
30.99/6.87	o 260 
30.99/6.88	o 261 
30.99/6.89	o 262 
30.99/6.90	o 263 
31.53/6.90	o 264 
31.53/6.91	o 265 
31.53/6.92	o 266 
31.53/6.93	o 267 
31.53/6.93	o 268 
31.53/6.94	o 269 
31.53/6.95	o 270 
31.53/6.95	o 271 
31.53/6.96	o 272 
31.53/6.97	o 273 
31.53/6.97	o 274 
31.53/6.98	o 275 
31.53/6.99	o 276 
31.53/6.99	o 277 
32.07/7.00	o 278 
32.07/7.01	o 279 
32.07/7.02	o 280 
32.07/7.03	o 281 
32.07/7.03	o 282 
32.07/7.04	o 283 
32.07/7.05	o 284 
32.07/7.07	o 285 
32.07/7.08	o 286 
32.07/7.09	o 287 
32.53/7.13	o 288 
33.46/7.53	o 289 
33.46/7.53	o 290 
33.46/7.54	o 291 
33.46/7.55	o 292 
34.00/7.64	o 293 
34.00/7.65	o 294 
34.00/7.66	o 295 
34.00/7.68	o 296 
34.00/7.69	o 297 
34.00/7.70	o 298 
34.78/7.72	o 299 
34.78/7.72	o 300 
34.78/7.73	o 301 
34.78/7.74	o 302 
34.78/7.75	o 303 
34.78/7.78	o 304 
34.78/7.79	o 305 
34.78/7.80	o 306 
34.78/7.81	o 307 
35.51/7.82	o 308 
35.51/7.82	o 309 
35.51/7.83	o 310 
35.51/7.84	o 311 
35.51/7.85	o 312 
35.51/7.86	o 313 
35.51/7.86	o 314 
35.51/7.87	o 315 
35.51/7.88	o 316 
35.51/7.89	o 317 
35.51/7.90	o 318 
36.04/7.90	o 319 
36.04/7.91	o 320 
36.04/7.92	o 321 
36.04/7.93	o 322 
36.04/7.94	o 323 
36.04/7.95	o 324 
36.04/7.95	o 325 
36.04/7.96	o 326 
36.04/7.97	o 327 
36.04/7.98	o 328 
36.04/7.99	o 329 
36.04/7.99	o 330 
36.62/8.00	o 331 
36.62/8.01	o 332 
36.62/8.02	o 333 
36.62/8.03	o 334 
36.62/8.03	o 335 
36.62/8.04	o 336 
36.62/8.05	o 337 
36.62/8.06	o 338 
36.62/8.07	o 339 
36.62/8.08	o 340 
36.62/8.08	o 341 
36.62/8.09	o 342 
37.08/8.11	o 343 
37.08/8.11	o 344 
37.08/8.12	o 345 
37.08/8.13	o 346 
37.08/8.14	o 347 
37.08/8.15	o 348 
37.08/8.16	o 349 
37.08/8.17	o 350 
37.08/8.18	o 351 
37.08/8.19	o 352 
37.08/8.20	o 353 
37.68/8.21	o 354 
37.68/8.22	o 355 
37.68/8.23	o 356 
37.68/8.24	o 357 
37.68/8.25	o 358 
37.68/8.26	o 359 
37.68/8.27	o 360 
37.68/8.28	o 361 
37.68/8.28	o 362 
37.68/8.29	o 363 
38.29/8.30	o 364 
38.29/8.31	o 365 
38.29/8.32	o 366 
38.29/8.33	o 367 
38.29/8.34	o 368 
38.29/8.35	o 369 
38.29/8.36	o 370 
38.29/8.37	o 371 
38.29/8.38	o 372 
38.29/8.39	o 373 
38.87/8.40	o 374 
38.87/8.41	o 375 
38.87/8.42	o 376 
38.87/8.43	o 377 
38.87/8.44	o 378 
38.87/8.45	o 379 
38.87/8.46	o 380 
38.87/8.47	o 381 
38.87/8.48	o 382 
38.87/8.49	o 383 
38.87/8.49	o 384 
39.41/8.51	o 385 
39.41/8.52	o 386 
41.84/8.90	o 387 
434.15/58.60	o 388 
2400.71/305.74	s SATISFIABLE
2400.71/305.74	v <instantiation>
2400.71/305.74	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[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] 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[0][30] 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[1][30] 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[2][30] 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[3][30] 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[4][30] 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[5][30] 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[6][30] 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[7][30] 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[8][30] 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[9][30] 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[10][30] 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[11][30] 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[12][30] 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[13][30] 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[14][30] 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[15][30] 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[16][30] 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[17][30] 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[18][30] 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[19][30] 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[20][30] 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[21][30] 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[22][30] 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[23][30] 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[24][30] 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[25][30] 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[26][30] 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[27][30] 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[28][30] 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] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] 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] ws[30] z </list>
2400.71/305.74	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 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 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 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 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 1 1 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 0 1 0 1 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 1 1 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 0 0 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 1 1 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 0 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 0 0 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 0 0 1 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 1 1 1 1 1 1 0 0 1 1 0 0 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 1 0 0 1 0 0 0 1 1 1 0 0 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 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 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 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 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 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 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 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 0 0 0 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 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 0 0 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 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 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 0 0 0 0 1 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 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 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 2 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 2 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 2 2 2 1 0 0 0 2 1 0 0 0 0 0 0 0 1 1 2 1 2 2 1 1 1 0 1 2 1 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 9 9 9 20 20 20 53 57 58 60 64 66 92 97 99 100 103 110 127 128 130 141 141 145 158 163 174 185 196 224 246 388 </values>
2400.71/305.74	v </instantiation>
2400.71/305.74	c Unexpected resolution interruption!

Verifier Data 

OK	388

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-4244817-1500684713/watcher-4244817-1500684713 -o /tmp/evaluation-result-4244817-1500684713/solver-4244817-1500684713 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 662132540 HOME/instance-4244817-1500684713.xml 

pid=17165
running on 8 cores: 1,3,5,7,9,11,13,15

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: 16.15 15.23 10.84 10/272 17168
/proc/meminfo: memFree=31618108/32770624 swapFree=5804/220996
[pid=17168] ppid=17165 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17168/stat : 17168 (xcsp3-exec) S 17165 17168 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3737603 9740288 346 33554432000 4194304 5098028 140736162587392 140736162585496 140101803430524 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25591808 140736162591887 140736162592096 140736162592096 140736162594795 0
/proc/17168/statm: 2378 346 289 221 0 87 0

[startup+0.100098 s]
/proc/loadavg: 16.15 15.23 10.84 10/272 17168
/proc/meminfo: memFree=31618108/32770624 swapFree=5804/220996
[pid=17168] ppid=17165 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17168/stat : 17168 (xcsp3-exec) S 17165 17168 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3737603 9740288 346 33554432000 4194304 5098028 140736162587392 140736162585496 140101803430524 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25591808 140736162591887 140736162592096 140736162592096 140736162594795 0
/proc/17168/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200338 s]
/proc/loadavg: 16.15 15.23 10.84 10/272 17168
/proc/meminfo: memFree=31618108/32770624 swapFree=5804/220996
[pid=17168] ppid=17165 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17168/stat : 17168 (xcsp3-exec) S 17165 17168 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3737603 9740288 346 33554432000 4194304 5098028 140736162587392 140736162585496 140101803430524 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25591808 140736162591887 140736162592096 140736162592096 140736162594795 0
/proc/17168/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300249 s]
/proc/loadavg: 16.15 15.23 10.84 10/272 17168
/proc/meminfo: memFree=31618108/32770624 swapFree=5804/220996
[pid=17168] ppid=17165 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17168/stat : 17168 (xcsp3-exec) S 17165 17168 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3737603 9740288 346 33554432000 4194304 5098028 140736162587392 140736162585496 140101803430524 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25591808 140736162591887 140736162592096 140736162592096 140736162594795 0
/proc/17168/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700184 s]
/proc/loadavg: 16.15 15.23 10.84 10/272 17168
/proc/meminfo: memFree=31618108/32770624 swapFree=5804/220996
[pid=17168] ppid=17165 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17168/stat : 17168 (xcsp3-exec) S 17165 17168 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3737603 9740288 346 33554432000 4194304 5098028 140736162587392 140736162585496 140101803430524 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25591808 140736162591887 140736162592096 140736162592096 140736162594795 0
/proc/17168/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50132 s]
/proc/loadavg: 16.15 15.23 10.84 13/293 17189
/proc/meminfo: memFree=31509340/32770624 swapFree=5804/221044
[pid=17168] ppid=17165 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17168/stat : 17168 (xcsp3-exec) S 17165 17168 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3737603 9740288 346 33554432000 4194304 5098028 140736162587392 140736162585496 140101803430524 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25591808 140736162591887 140736162592096 140736162592096 140736162594795 0
/proc/17168/statm: 2378 346 289 221 0 87 0
[pid=17169] ppid=17168 vsize=13269256 CPUtime=4.13 cores=1,3,5,7,9,11,13,15
/proc/17169/stat : 17169 (java) S 17168 17168 14782 0 -1 1077944320 20736 0 0 0 406 7 0 0 20 0 20 0 3737603 13587718144 41791 33554432000 4194304 4196468 140735779039568 140735779022112 139652063104759 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
/proc/17169/statm: 3317314 41791 3223 1 0 3304547 0
[pid=17169/tid=17170] ppid=17168 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17170/stat : 17170 (java) R 17168 17168 14782 0 -1 4202560 8795 0 0 0 142 5 0 0 20 0 20 0 3737603 13587718144 41791 33554432000 4194304 4196468 140735779039568 139652067339640 139651687674156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17172] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17172/stat : 17172 (java) S 17168 17168 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3737604 13587718144 41791 33554432000 4194304 4196468 140735779039568 139652015725584 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17173] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17173/stat : 17173 (java) S 17168 17168 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3737604 13587718144 41791 33554432000 4194304 4196468 140735779039568 139652014673040 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17174] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17174/stat : 17174 (java) S 17168 17168 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3737604 13587718144 41791 33554432000 4194304 4196468 140735779039568 139652013619984 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17175] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17175/stat : 17175 (java) S 17168 17168 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3737604 13587718144 41791 33554432000 4194304 4196468 140735779039568 139652012567440 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17176] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17176/stat : 17176 (java) S 17168 17168 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3737604 13587718144 41791 33554432000 4194304 4196468 140735779039568 139652011514384 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17177] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17177/stat : 17177 (java) S 17168 17168 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3737604 13587718144 41791 33554432000 4194304 4196468 140735779039568 139652010461840 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17178] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17178/stat : 17178 (java) S 17168 17168 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3737604 13587718144 41791 33554432000 4194304 4196468 140735779039568 139652009408784 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17179] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17179/stat : 17179 (java) S 17168 17168 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3737604 13587718144 41791 33554432000 4194304 4196468 140735779039568 139652008356240 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17180] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17180/stat : 17180 (java) S 17168 17168 14782 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 3737606 13587718144 41791 33554432000 4194304 4196468 140735779039568 139651256908528 139652063115906 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17181] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17181/stat : 17181 (java) S 17168 17168 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3737607 13587718144 41791 33554432000 4194304 4196468 140735779039568 139651255854752 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17182] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17182/stat : 17182 (java) S 17168 17168 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3737607 13587718144 41791 33554432000 4194304 4196468 140735779039568 139651254801648 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17183] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17183/stat : 17183 (java) S 17168 17168 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3737611 13587718144 41791 33554432000 4194304 4196468 140735779039568 139651253750224 139652063123355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17184] ppid=17168 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17184/stat : 17184 (java) S 17168 17168 14782 0 -1 1077944384 2610 0 0 0 69 0 0 0 20 0 20 0 3737611 13587718144 41791 33554432000 4194304 4196468 140735779039568 139651252697328 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17185] ppid=17168 vsize=13269256 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17185/stat : 17185 (java) S 17168 17168 14782 0 -1 1077944384 2263 0 0 0 68 0 0 0 20 0 20 0 3737611 13587718144 41791 33554432000 4194304 4196468 140735779039568 139651251644784 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17186] ppid=17168 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17186/stat : 17186 (java) S 17168 17168 14782 0 -1 1077944384 2319 0 0 0 65 0 0 0 20 0 20 0 3737611 13587718144 41791 33554432000 4194304 4196468 140735779039568 139651250591728 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17187] ppid=17168 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17187/stat : 17187 (java) S 17168 17168 14782 0 -1 1077944384 3410 0 0 0 58 0 0 0 20 0 20 0 3737611 13587718144 41791 33554432000 4194304 4196468 140735779039568 139651249539184 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17188] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17188/stat : 17188 (java) S 17168 17168 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3737611 13587718144 41791 33554432000 4194304 4196468 140735779039568 139651248487392 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17189] ppid=17168 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17189/stat : 17189 (java) S 17168 17168 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 3737611 13587718144 41791 33554432000 4194304 4196468 140735779039568 139651247434928 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 13278768

[startup+3.10115 s]
/proc/loadavg: 15.90 15.20 10.85 13/293 17189
/proc/meminfo: memFree=31398636/32770624 swapFree=5804/221044
[pid=17168] ppid=17165 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17168/stat : 17168 (xcsp3-exec) S 17165 17168 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3737603 9740288 346 33554432000 4194304 5098028 140736162587392 140736162585496 140101803430524 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25591808 140736162591887 140736162592096 140736162592096 140736162594795 0
/proc/17168/statm: 2378 346 289 221 0 87 0
[pid=17169] ppid=17168 vsize=13801768 CPUtime=9.52 cores=1,3,5,7,9,11,13,15
/proc/17169/stat : 17169 (java) S 17168 17168 14782 0 -1 1077944320 26789 0 0 0 902 50 0 0 20 0 28 0 3737603 14133010432 73739 33554432000 4194304 4196468 140735779039568 140735779022112 139652063104759 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
/proc/17169/statm: 3450442 73739 3260 1 0 3437675 0
[pid=17169/tid=17170] ppid=17168 vsize=13801768 CPUtime=2.82 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17170/stat : 17170 (java) S 17168 17168 14782 0 -1 1077944384 9400 0 0 0 277 5 0 0 20 0 28 0 3737603 14133010432 73739 33554432000 4194304 4196468 140735779039568 139652067345536 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17172] ppid=17168 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17172/stat : 17172 (java) S 17168 17168 14782 0 -1 1077944384 150 0 0 0 5 5 0 0 20 0 28 0 3737604 14133010432 73739 33554432000 4194304 4196468 140735779039568 139652015725584 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17173] ppid=17168 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17173/stat : 17173 (java) S 17168 17168 14782 0 -1 1077944384 83 0 0 0 4 5 0 0 20 0 28 0 3737604 14133010432 73739 33554432000 4194304 4196468 140735779039568 139652014673040 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17174] ppid=17168 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17174/stat : 17174 (java) S 17168 17168 14782 0 -1 1077944384 63 0 0 0 3 4 0 0 20 0 28 0 3737604 14133010432 73739 33554432000 4194304 4196468 140735779039568 139652013619984 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17175] ppid=17168 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17175/stat : 17175 (java) S 17168 17168 14782 0 -1 1077944384 85 0 0 0 4 4 0 0 20 0 28 0 3737604 14133010432 73739 33554432000 4194304 4196468 140735779039568 139652012567440 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17176] ppid=17168 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17176/stat : 17176 (java) S 17168 17168 14782 0 -1 1077944384 124 0 0 0 5 4 0 0 20 0 28 0 3737604 14133010432 73739 33554432000 4194304 4196468 140735779039568 139652011514384 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17177] ppid=17168 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17177/stat : 17177 (java) S 17168 17168 14782 0 -1 1077944384 193 0 0 0 3 3 0 0 20 0 28 0 3737604 14133010432 73739 33554432000 4194304 4196468 140735779039568 139652010461840 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17178] ppid=17168 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17178/stat : 17178 (java) S 17168 17168 14782 0 -1 1077944384 82 0 0 0 3 4 0 0 20 0 28 0 3737604 14133010432 73739 33554432000 4194304 4196468 140735779039568 139652009408784 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17179] ppid=17168 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17179/stat : 17179 (java) S 17168 17168 14782 0 -1 1077944384 253 0 0 0 4 5 0 0 20 0 28 0 3737604 14133010432 73739 33554432000 4194304 4196468 140735779039568 139652008356240 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17180] ppid=17168 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17180/stat : 17180 (java) S 17168 17168 14782 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 28 0 3737606 14133010432 73739 33554432000 4194304 4196468 140735779039568 139651256908528 139652063115906 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17181] ppid=17168 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17181/stat : 17181 (java) S 17168 17168 14782 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3737607 14133010432 73739 33554432000 4194304 4196468 140735779039568 139651255854816 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17182] ppid=17168 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17182/stat : 17182 (java) S 17168 17168 14782 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3737607 14133010432 73739 33554432000 4194304 4196468 140735779039568 139651254801664 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17183] ppid=17168 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17183/stat : 17183 (java) S 17168 17168 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3737611 14133010432 73739 33554432000 4194304 4196468 140735779039568 139651253750224 139652063123355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17184] ppid=17168 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17184/stat : 17184 (java) S 17168 17168 14782 0 -1 1077944384 3479 0 0 0 145 0 0 0 20 0 28 0 3737611 14133010432 73739 33554432000 4194304 4196468 140735779039568 139651252697328 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17185] ppid=17168 vsize=13801768 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17185/stat : 17185 (java) R 17168 17168 14782 0 -1 4202560 3102 0 0 0 138 0 0 0 20 0 28 0 3737611 14133010432 73739 33554432000 4194304 4196468 140735779039568 139651251644784 139652049145504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17186] ppid=17168 vsize=13801768 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17186/stat : 17186 (java) S 17168 17168 14782 0 -1 1077944384 3390 0 0 0 137 1 0 0 20 0 28 0 3737611 14133010432 73739 33554432000 4194304 4196468 140735779039568 139651250591728 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17187] ppid=17168 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17187/stat : 17187 (java) S 17168 17168 14782 0 -1 1077944384 4459 0 0 0 83 1 0 0 20 0 28 0 3737611 14133010432 73739 33554432000 4194304 4196468 140735779039568 139651249539184 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17188] ppid=17168 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17188/stat : 17188 (java) S 17168 17168 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3737611 14133010432 73739 33554432000 4194304 4196468 140735779039568 139651248487392 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17189] ppid=17168 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17189/stat : 17189 (java) S 17168 17168 14782 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 3737611 14133010432 73739 33554432000 4194304 4196468 140735779039568 139651247434928 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
Current children cumulated CPU time (s) 9.52
Current children cumulated vsize (KiB) 13811280

[startup+6.30092 s]
/proc/loadavg: 15.90 15.20 10.85 17/300 17884
/proc/meminfo: memFree=30878308/32770624 swapFree=5804/221040
[pid=17168] ppid=17165 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17168/stat : 17168 (xcsp3-exec) S 17165 17168 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3737603 9740288 346 33554432000 4194304 5098028 140736162587392 140736162585496 140101803430524 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25591808 140736162591887 140736162592096 140736162592096 140736162594795 0
/proc/17168/statm: 2378 346 289 221 0 87 0
[pid=17169] ppid=17168 vsize=14204228 CPUtime=28.5 cores=1,3,5,7,9,11,13,15
/proc/17169/stat : 17169 (java) S 17168 17168 14782 0 -1 1077944320 52307 0 0 0 2720 130 0 0 20 0 28 0 3737603 14545129472 376285 33554432000 4194304 4196468 140735779039568 140735779022112 139652063104759 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
/proc/17169/statm: 3551057 376285 3273 1 0 3538290 0
[pid=17169/tid=17170] ppid=17168 vsize=14204228 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17170/stat : 17170 (java) S 17168 17168 14782 0 -1 1077944384 9422 0 0 0 293 7 0 0 20 0 28 0 3737603 14545129472 376285 33554432000 4194304 4196468 140735779039568 139652067345568 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17172] ppid=17168 vsize=14204228 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17172/stat : 17172 (java) S 17168 17168 14782 0 -1 1077944384 212 0 0 0 14 10 0 0 20 0 28 0 3737604 14545129472 376285 33554432000 4194304 4196468 140735779039568 139652015725584 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17173] ppid=17168 vsize=14204228 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17173/stat : 17173 (java) S 17168 17168 14782 0 -1 1077944384 131 0 0 0 12 9 0 0 20 0 28 0 3737604 14545129472 376285 33554432000 4194304 4196468 140735779039568 139652014673040 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17174] ppid=17168 vsize=14204228 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17174/stat : 17174 (java) S 17168 17168 14782 0 -1 1077944384 187 0 0 0 12 10 0 0 20 0 28 0 3737604 14545129472 376285 33554432000 4194304 4196468 140735779039568 139652013619984 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17175] ppid=17168 vsize=14204228 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17175/stat : 17175 (java) S 17168 17168 14782 0 -1 1077944384 145 0 0 0 13 9 0 0 20 0 28 0 3737604 14545129472 376285 33554432000 4194304 4196468 140735779039568 139652012567440 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17176] ppid=17168 vsize=14204228 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17176/stat : 17176 (java) S 17168 17168 14782 0 -1 1077944384 185 0 0 0 14 9 0 0 20 0 28 0 3737604 14545129472 376285 33554432000 4194304 4196468 140735779039568 139652011514384 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17177] ppid=17168 vsize=14204228 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17177/stat : 17177 (java) S 17168 17168 14782 0 -1 1077944384 423 0 0 0 15 10 0 0 20 0 28 0 3737604 14545129472 376285 33554432000 4194304 4196468 140735779039568 139652010461840 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17178] ppid=17168 vsize=14204228 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17178/stat : 17178 (java) S 17168 17168 14782 0 -1 1077944384 166 0 0 0 11 10 0 0 20 0 28 0 3737604 14545129472 376285 33554432000 4194304 4196468 140735779039568 139652009408784 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17179] ppid=17168 vsize=14204228 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17179/stat : 17179 (java) S 17168 17168 14782 0 -1 1077944384 315 0 0 0 16 12 0 0 20 0 28 0 3737604 14545129472 376285 33554432000 4194304 4196468 140735779039568 139652008356240 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17180] ppid=17168 vsize=14204228 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17180/stat : 17180 (java) S 17168 17168 14782 0 -1 1077944384 1764 0 0 0 2 0 0 0 20 0 28 0 3737606 14545129472 376285 33554432000 4194304 4196468 140735779039568 139651256908528 139652063115906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17181] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17181/stat : 17181 (java) S 17168 17168 14782 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3737607 14545129472 376285 33554432000 4194304 4196468 140735779039568 139651255854816 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17182] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17182/stat : 17182 (java) S 17168 17168 14782 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3737607 14545129472 376285 33554432000 4194304 4196468 140735779039568 139651254801664 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17183] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17183/stat : 17183 (java) S 17168 17168 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3737611 14545129472 376285 33554432000 4194304 4196468 140735779039568 139651253750224 139652063123355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0

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

[pid=17169/tid=22468] ppid=17168 vsize=14204228 CPUtime=220.41 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22468/stat : 22468 (java) R 17168 17168 14782 0 -1 4202560 3698 0 0 0 22039 2 0 0 20 0 28 0 3743463 14545129472 824657 33554432000 4194304 4196468 140735779039568 139651232051816 139651693744534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22469] ppid=17168 vsize=14204228 CPUtime=222.38 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22469/stat : 22469 (java) R 17168 17168 14782 0 -1 4202560 1149 0 0 0 22237 1 0 0 20 0 28 0 3743463 14545129472 824657 33554432000 4194304 4196468 140735779039568 139651233104120 139651693744552 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
Current children cumulated CPU time (s) 2214.69
Current children cumulated vsize (KiB) 14213740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+305.702 s]
/proc/loadavg: 15.92 15.27 12.02 17/299 26706
/proc/meminfo: memFree=25875312/32770624 swapFree=5804/221504
[pid=17168] ppid=17165 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17168/stat : 17168 (xcsp3-exec) S 17165 17168 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3737603 9740288 346 33554432000 4194304 5098028 140736162587392 140736162585496 140101803430524 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25591808 140736162591887 140736162592096 140736162592096 140736162594795 0
/proc/17168/statm: 2378 346 289 221 0 87 0
[pid=17169] ppid=17168 vsize=14204228 CPUtime=2400.71 cores=1,3,5,7,9,11,13,15
/proc/17169/stat : 17169 (java) S 17168 17168 14782 0 -1 1077944320 154960 0 0 0 239804 267 0 0 20 0 28 0 3737603 14545129472 815581 33554432000 4194304 4196468 140735779039568 140735779022112 139652063104759 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
/proc/17169/statm: 3551057 815581 3289 1 0 3538290 0
[pid=17169/tid=17170] ppid=17168 vsize=14204228 CPUtime=3.13 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17170/stat : 17170 (java) S 17168 17168 14782 0 -1 1077944384 9602 0 0 0 305 8 0 0 20 0 28 0 3737603 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652067345456 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17172] ppid=17168 vsize=14204228 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17172/stat : 17172 (java) S 17168 17168 14782 0 -1 1077944384 606 0 0 0 23 14 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652015725584 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17173] ppid=17168 vsize=14204228 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17173/stat : 17173 (java) S 17168 17168 14782 0 -1 1077944384 1113 0 0 0 20 13 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652014673040 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17174] ppid=17168 vsize=14204228 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17174/stat : 17174 (java) S 17168 17168 14782 0 -1 1077944384 1173 0 0 0 21 14 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652013619984 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17175] ppid=17168 vsize=14204228 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17175/stat : 17175 (java) S 17168 17168 14782 0 -1 1077944384 502 0 0 0 23 13 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652012567440 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17176] ppid=17168 vsize=14204228 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17176/stat : 17176 (java) S 17168 17168 14782 0 -1 1077944384 889 0 0 0 25 13 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652011514384 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17177] ppid=17168 vsize=14204228 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17177/stat : 17177 (java) S 17168 17168 14782 0 -1 1077944384 1032 0 0 0 25 13 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652010461840 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17178] ppid=17168 vsize=14204228 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17178/stat : 17178 (java) S 17168 17168 14782 0 -1 1077944384 934 0 0 0 20 14 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652009408784 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17179] ppid=17168 vsize=14204228 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17179/stat : 17179 (java) S 17168 17168 14782 0 -1 1077944384 993 0 0 0 26 16 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652008356240 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17180] ppid=17168 vsize=14204228 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17180/stat : 17180 (java) S 17168 17168 14782 0 -1 1077944384 4948 0 0 0 13 12 0 0 20 0 28 0 3737606 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651256908528 139652063115906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17181] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17181/stat : 17181 (java) S 17168 17168 14782 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3737607 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651255854816 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17182] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17182/stat : 17182 (java) S 17168 17168 14782 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3737607 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651254801664 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17183] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17183/stat : 17183 (java) S 17168 17168 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651253750224 139652063123355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17184] ppid=17168 vsize=14204228 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17184/stat : 17184 (java) S 17168 17168 14782 0 -1 1077944384 13794 0 0 0 479 2 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651252697328 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17185] ppid=17168 vsize=14204228 CPUtime=4.9 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17185/stat : 17185 (java) S 17168 17168 14782 0 -1 1077944384 15944 0 0 0 488 2 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651251644784 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17186] ppid=17168 vsize=14204228 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17186/stat : 17186 (java) S 17168 17168 14782 0 -1 1077944384 20151 0 0 0 525 3 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651250591728 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17187] ppid=17168 vsize=14204228 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17187/stat : 17187 (java) S 17168 17168 14782 0 -1 1077944384 9739 0 0 0 154 1 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651249539184 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17188] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17188/stat : 17188 (java) S 17168 17168 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651248487392 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17189] ppid=17168 vsize=14204228 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17189/stat : 17189 (java) S 17168 17168 14782 0 -1 1077944384 846 0 0 0 5 13 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651247434928 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22462] ppid=17168 vsize=14204228 CPUtime=245.5 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22462/stat : 22462 (java) R 17168 17168 14782 0 -1 4202560 2263 0 0 0 24549 1 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651237313432 139651688211433 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22463] ppid=17168 vsize=14204228 CPUtime=246.28 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22463/stat : 22463 (java) R 17168 17168 14782 0 -1 4202560 2246 0 0 0 24628 0 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651238367832 139651693743952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22464] ppid=17168 vsize=14204228 CPUtime=245.95 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22464/stat : 22464 (java) R 17168 17168 14782 0 -1 4202560 1098 0 0 0 24594 1 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651235209008 139651687808690 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22465] ppid=17168 vsize=14204228 CPUtime=246.39 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22465/stat : 22465 (java) R 17168 17168 14782 0 -1 4202560 13366 0 0 0 24629 10 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651227848840 139651694973430 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22466] ppid=17168 vsize=14204228 CPUtime=245.06 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22466/stat : 22466 (java) R 17168 17168 14782 0 -1 4202560 2577 0 0 0 24505 1 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651228901192 139651693744401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22467] ppid=17168 vsize=14204228 CPUtime=246.27 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22467/stat : 22467 (java) R 17168 17168 14782 0 -1 4202560 910 0 0 0 24627 0 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651224693344 139651688520704 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22468] ppid=17168 vsize=14204228 CPUtime=243.41 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22468/stat : 22468 (java) R 17168 17168 14782 0 -1 4202560 3959 0 0 0 24338 3 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651232051096 139651695049627 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22469] ppid=17168 vsize=14204228 CPUtime=245.39 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22469/stat : 22469 (java) R 17168 17168 14782 0 -1 4202560 1295 0 0 0 24538 1 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651233104504 139651693827005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
Current children cumulated CPU time (s) 2400.71
Current children cumulated vsize (KiB) 14213740

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

[startup+305.702 s]
/proc/loadavg: 15.92 15.27 12.02 17/299 26706
/proc/meminfo: memFree=25875312/32770624 swapFree=5804/221504
[pid=17168] ppid=17165 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17168/stat : 17168 (xcsp3-exec) S 17165 17168 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3737603 9740288 346 33554432000 4194304 5098028 140736162587392 140736162585496 140101803430524 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25591808 140736162591887 140736162592096 140736162592096 140736162594795 0
/proc/17168/statm: 2378 346 289 221 0 87 0
[pid=17169] ppid=17168 vsize=14204228 CPUtime=2400.71 cores=1,3,5,7,9,11,13,15
/proc/17169/stat : 17169 (java) S 17168 17168 14782 0 -1 1077944320 154960 0 0 0 239804 267 0 0 20 0 28 0 3737603 14545129472 815581 33554432000 4194304 4196468 140735779039568 140735779022112 139652063104759 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
/proc/17169/statm: 3551057 815581 3289 1 0 3538290 0
[pid=17169/tid=17170] ppid=17168 vsize=14204228 CPUtime=3.13 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17170/stat : 17170 (java) S 17168 17168 14782 0 -1 1077944384 9602 0 0 0 305 8 0 0 20 0 28 0 3737603 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652067345456 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17172] ppid=17168 vsize=14204228 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17172/stat : 17172 (java) S 17168 17168 14782 0 -1 1077944384 606 0 0 0 23 14 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652015725584 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17173] ppid=17168 vsize=14204228 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17173/stat : 17173 (java) S 17168 17168 14782 0 -1 1077944384 1113 0 0 0 20 13 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652014673040 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17174] ppid=17168 vsize=14204228 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17174/stat : 17174 (java) S 17168 17168 14782 0 -1 1077944384 1173 0 0 0 21 14 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652013619984 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17175] ppid=17168 vsize=14204228 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17175/stat : 17175 (java) S 17168 17168 14782 0 -1 1077944384 502 0 0 0 23 13 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652012567440 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17176] ppid=17168 vsize=14204228 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17176/stat : 17176 (java) S 17168 17168 14782 0 -1 1077944384 889 0 0 0 25 13 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652011514384 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17177] ppid=17168 vsize=14204228 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17177/stat : 17177 (java) S 17168 17168 14782 0 -1 1077944384 1032 0 0 0 25 13 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652010461840 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17178] ppid=17168 vsize=14204228 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17178/stat : 17178 (java) S 17168 17168 14782 0 -1 1077944384 934 0 0 0 20 14 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652009408784 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17179] ppid=17168 vsize=14204228 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17179/stat : 17179 (java) S 17168 17168 14782 0 -1 1077944384 993 0 0 0 26 16 0 0 20 0 28 0 3737604 14545129472 815581 33554432000 4194304 4196468 140735779039568 139652008356240 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17180] ppid=17168 vsize=14204228 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17180/stat : 17180 (java) S 17168 17168 14782 0 -1 1077944384 4948 0 0 0 13 12 0 0 20 0 28 0 3737606 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651256908528 139652063115906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17181] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17181/stat : 17181 (java) S 17168 17168 14782 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3737607 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651255854816 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17182] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17182/stat : 17182 (java) S 17168 17168 14782 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3737607 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651254801664 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17183] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17183/stat : 17183 (java) S 17168 17168 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651253750224 139652063123355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17184] ppid=17168 vsize=14204228 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17184/stat : 17184 (java) S 17168 17168 14782 0 -1 1077944384 13794 0 0 0 479 2 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651252697328 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17185] ppid=17168 vsize=14204228 CPUtime=4.9 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17185/stat : 17185 (java) S 17168 17168 14782 0 -1 1077944384 15944 0 0 0 488 2 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651251644784 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17186] ppid=17168 vsize=14204228 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17186/stat : 17186 (java) S 17168 17168 14782 0 -1 1077944384 20151 0 0 0 525 3 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651250591728 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17187] ppid=17168 vsize=14204228 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17187/stat : 17187 (java) S 17168 17168 14782 0 -1 1077944384 9739 0 0 0 154 1 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651249539184 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17188] ppid=17168 vsize=14204228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17188/stat : 17188 (java) S 17168 17168 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651248487392 139652063114965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=17189] ppid=17168 vsize=14204228 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17169/task/17189/stat : 17189 (java) S 17168 17168 14782 0 -1 1077944384 846 0 0 0 5 13 0 0 20 0 28 0 3737611 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651247434928 139652063115906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22462] ppid=17168 vsize=14204228 CPUtime=245.5 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22462/stat : 22462 (java) R 17168 17168 14782 0 -1 4202560 2263 0 0 0 24549 1 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651237313432 139651688211433 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22463] ppid=17168 vsize=14204228 CPUtime=246.28 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22463/stat : 22463 (java) R 17168 17168 14782 0 -1 4202560 2246 0 0 0 24628 0 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651238367832 139651693743952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22464] ppid=17168 vsize=14204228 CPUtime=245.95 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22464/stat : 22464 (java) R 17168 17168 14782 0 -1 4202560 1098 0 0 0 24594 1 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651235209008 139651687808690 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22465] ppid=17168 vsize=14204228 CPUtime=246.39 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22465/stat : 22465 (java) R 17168 17168 14782 0 -1 4202560 13366 0 0 0 24629 10 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651227848840 139651694973430 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22466] ppid=17168 vsize=14204228 CPUtime=245.06 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22466/stat : 22466 (java) R 17168 17168 14782 0 -1 4202560 2577 0 0 0 24505 1 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651228901192 139651693744401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22467] ppid=17168 vsize=14204228 CPUtime=246.27 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22467/stat : 22467 (java) R 17168 17168 14782 0 -1 4202560 910 0 0 0 24627 0 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651224693344 139651688520704 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22468] ppid=17168 vsize=14204228 CPUtime=243.41 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22468/stat : 22468 (java) R 17168 17168 14782 0 -1 4202560 3959 0 0 0 24338 3 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651232051096 139651695049627 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
[pid=17169/tid=22469] ppid=17168 vsize=14204228 CPUtime=245.39 cores=1,3,5,7,9,11,13,15
/proc/17169/task/22469/stat : 22469 (java) R 17168 17168 14782 0 -1 4202560 1295 0 0 0 24538 1 0 0 20 0 28 0 3743463 14545129472 815581 33554432000 4194304 4196468 140735779039568 139651233104504 139651693827005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25591808 140735779042492 140735779042668 140735779042668 140735779045327 0
Current children cumulated CPU time (s) 2400.71
Current children cumulated vsize (KiB) 14213740

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17168 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=928
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1857
# CPU time returned by wait4() is 0.002785
# while last known CPU time is 2400.71
#
# 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.71
CPU user time (s): 2398.04
CPU system time (s): 2.67
CPU usage (%): 785.284
Max. virtual memory (cumulated for all children) (KiB): 14213740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000928
system time used= 0.001857
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.84579 second user time and 4.37611 second system time

The end

Launcher Data 

Begin job on node143 at 2017-07-22 02:51:53
IDJOB=4244817
IDBENCH=115913
IDSOLVER=2626
FILE ID=node143/4244817-1500684713
RUNJOBID= node143-1500683785-15436
PBS_JOBID= 20623040
Free space on /tmp= 61984 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.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-4244817-1500684713/watcher-4244817-1500684713 -o /tmp/evaluation-result-4244817-1500684713/solver-4244817-1500684713 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 662132540 HOME/instance-4244817-1500684713.xml

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

MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48
RANDOM SEED=662132540

node143.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		: 2668.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.69
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		: 1600.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		: 2668.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.69
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		: 1733.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		: 2668.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.69
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		: 1600.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		: 2668.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.69
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		: 1600.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		: 2668.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.69
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		: 1733.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		: 2668.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.69
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		: 2133.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		: 2668.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.69
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		: 2533.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		: 2668.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.69
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		: 2133.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:        31618884 kB
MemAvailable:   31713500 kB
Buffers:           79352 kB
Cached:           314140 kB
SwapCached:            0 kB
Active:           525140 kB
Inactive:         229732 kB
Active(anon):     364188 kB
Inactive(anon):     8736 kB
Active(file):     160952 kB
Inactive(file):   220996 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8168 kB
Writeback:             0 kB
AnonPages:        379236 kB
Mapped:            43060 kB
Shmem:              8852 kB
Slab:              90836 kB
SReclaimable:      57004 kB
SUnreclaim:        33832 kB
KernelStack:        5024 kB
PageTables:         6120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     941820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

Free space on /tmp at the end= 61976 MiB
End job on node143 at 2017-07-22 02:56:59