Trace number 4244823

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)SAT (TO)807 2400.42 332.012

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-42.xml
MD5SUMf0ae775e0a261424aab5dff09c8fa0c4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark857
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables3917
Number of constraints2192
Number of domains4
Minimum domain size2
Maximum domain size3873
Distribution of domain sizes[{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}]
Minimum variable degree1
Maximum variable degree45
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}]
Minimum constraint arity2
Maximum constraint arity46
Distribution of constraint arities[{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}]
Number of extensional constraints1932
Number of intensional constraints211
Distribution of constraint types[{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"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-4244823-1500684495.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4244823-1500684495.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.31	c parse instance...
12.31/5.34	c solve instance...
38.08/8.69	o 0 
38.82/8.72	o 4 
38.82/8.75	o 6 
38.82/8.80	o 8 
39.51/8.82	o 10 
39.51/8.84	o 12 
39.51/8.87	o 14 
40.22/8.97	o 16 
62.91/11.86	o 18 
83.10/14.42	o 20 
83.10/14.49	o 22 
122.48/19.57	o 24 
153.10/23.55	o 25 
155.81/24.11	o 26 
157.39/25.32	o 27 
157.39/25.33	o 28 
157.39/25.35	o 29 
157.39/25.37	o 30 
157.39/25.39	o 31 
157.39/25.41	o 32 
157.91/25.42	o 33 
157.91/25.44	o 34 
157.91/25.47	o 35 
157.91/25.49	o 36 
157.91/25.50	o 37 
158.46/25.53	o 38 
158.46/25.54	o 39 
158.46/25.56	o 40 
158.46/25.58	o 41 
158.46/25.59	o 42 
158.87/25.62	o 43 
158.87/25.63	o 44 
159.31/25.81	o 45 
159.31/25.82	o 46 
159.31/25.84	o 47 
159.31/25.86	o 48 
159.31/25.87	o 49 
159.31/25.89	o 50 
159.84/25.90	o 51 
159.84/25.91	o 52 
159.84/25.93	o 53 
159.84/25.98	o 54 
159.84/25.99	o 55 
160.44/26.01	o 56 
160.44/26.03	o 57 
160.44/26.07	o 58 
160.44/26.08	o 59 
161.08/26.10	o 60 
161.08/26.11	o 61 
161.08/26.13	o 62 
161.08/26.15	o 63 
161.08/26.16	o 64 
161.08/26.18	o 65 
161.08/26.20	o 66 
161.65/26.21	o 67 
161.65/26.23	o 68 
161.65/26.24	o 69 
161.65/26.26	o 70 
161.65/26.27	o 71 
161.65/26.29	o 72 
162.25/26.30	o 73 
162.48/26.47	o 74 
162.48/26.49	o 75 
162.73/26.51	o 76 
162.73/26.52	o 77 
162.73/26.54	o 78 
162.73/26.55	o 79 
162.73/26.56	o 80 
162.73/26.57	o 81 
162.73/26.59	o 82 
162.73/26.60	o 83 
163.22/26.61	o 84 
163.22/26.63	o 85 
163.22/26.64	o 86 
163.22/26.65	o 87 
163.22/26.66	o 88 
163.22/26.67	o 89 
163.22/26.69	o 90 
226.38/34.67	o 91 
226.38/34.68	o 92 
227.07/34.70	o 93 
227.07/34.72	o 94 
227.07/34.74	o 95 
227.07/34.76	o 96 
227.07/34.77	o 97 
227.07/34.79	o 98 
227.66/34.81	o 99 
227.66/34.82	o 100 
227.66/34.84	o 101 
227.66/34.85	o 102 
227.66/34.87	o 103 
227.66/34.88	o 104 
228.19/34.91	o 105 
228.19/34.92	o 106 
228.19/34.95	o 107 
228.19/34.97	o 108 
228.19/34.98	o 109 
228.68/35.00	o 110 
228.68/35.02	o 111 
228.68/35.03	o 112 
228.68/35.05	o 113 
228.68/35.06	o 114 
228.68/35.08	o 115 
228.68/35.09	o 116 
229.21/35.11	o 117 
229.21/35.12	o 118 
229.21/35.14	o 119 
229.21/35.15	o 120 
229.21/35.17	o 121 
229.21/35.18	o 122 
229.84/35.22	o 123 
229.84/35.24	o 124 
229.84/35.25	o 125 
229.84/35.27	o 126 
229.84/35.28	o 127 
229.84/35.29	o 128 
229.84/35.31	o 129 
230.56/35.32	o 130 
230.56/35.34	o 131 
230.56/35.36	o 132 
230.56/35.38	o 133 
230.56/35.40	o 134 
231.13/35.42	o 135 
231.13/35.43	o 136 
231.13/35.45	o 137 
231.13/35.47	o 138 
231.13/35.48	o 139 
231.64/35.50	o 140 
231.64/35.52	o 141 
231.64/35.53	o 142 
232.07/35.71	o 143 
232.07/35.72	o 144 
232.07/35.75	o 145 
232.07/35.77	o 146 
232.07/35.78	o 147 
232.07/35.80	o 148 
232.54/35.81	o 149 
232.54/35.82	o 150 
232.54/35.83	o 151 
232.54/35.85	o 152 
232.54/35.87	o 153 
232.54/35.88	o 154 
233.10/35.91	o 155 
233.10/35.93	o 156 
233.10/35.94	o 157 
233.10/35.97	o 158 
233.10/35.99	o 159 
233.59/36.02	o 160 
233.59/36.04	o 161 
233.59/36.06	o 162 
233.59/36.08	o 163 
233.59/36.09	o 164 
234.10/36.10	o 165 
234.10/36.12	o 166 
234.10/36.13	o 167 
289.85/43.49	o 168 
291.23/44.62	o 169 
291.23/44.65	o 170 
291.23/44.67	o 171 
291.23/44.68	o 172 
291.23/44.69	o 173 
291.66/44.71	o 174 
291.66/44.73	o 175 
291.66/44.75	o 176 
291.66/44.77	o 177 
291.66/44.78	o 178 
292.28/44.80	o 179 
292.28/44.82	o 180 
292.28/44.84	o 181 
292.28/44.85	o 182 
292.28/44.87	o 183 
292.28/44.89	o 184 
292.85/44.91	o 185 
292.85/44.93	o 186 
292.85/44.95	o 187 
292.85/44.96	o 188 
292.85/44.98	o 189 
292.85/45.00	o 190 
293.43/45.02	o 191 
293.43/45.03	o 192 
293.43/45.05	o 193 
293.43/45.07	o 194 
293.43/45.08	o 195 
294.00/45.10	o 196 
294.00/45.12	o 197 
294.00/45.14	o 198 
294.00/45.16	o 199 
294.00/45.18	o 200 
294.00/45.20	o 201 
294.53/45.22	o 202 
294.53/45.23	o 203 
294.53/45.25	o 204 
294.53/45.27	o 205 
294.53/45.28	o 206 
294.53/45.30	o 207 
295.06/45.31	o 208 
295.06/45.33	o 209 
295.06/45.35	o 210 
295.06/45.37	o 211 
295.06/45.39	o 212 
295.55/45.41	o 213 
295.55/45.43	o 214 
295.55/45.45	o 215 
295.55/45.47	o 216 
295.55/45.49	o 217 
296.19/45.51	o 218 
296.19/45.53	o 219 
296.19/45.55	o 220 
296.19/45.57	o 221 
296.19/45.59	o 222 
296.80/45.61	o 223 
296.80/45.63	o 224 
296.80/45.65	o 225 
296.80/45.66	o 226 
296.80/45.68	o 227 
297.42/45.70	o 228 
297.42/45.72	o 229 
297.42/45.74	o 230 
297.42/45.76	o 231 
297.42/45.78	o 232 
297.42/45.80	o 233 
298.01/45.81	o 234 
298.01/45.83	o 235 
298.01/45.85	o 236 
298.01/45.87	o 237 
298.01/45.89	o 238 
298.61/45.91	o 239 
298.61/45.93	o 240 
298.61/45.94	o 241 
298.61/45.96	o 242 
298.61/45.98	o 243 
298.61/45.99	o 244 
299.31/46.01	o 245 
299.31/46.03	o 246 
299.31/46.04	o 247 
299.31/46.06	o 248 
299.31/46.08	o 249 
299.31/46.09	o 250 
299.79/46.11	o 251 
299.79/46.13	o 252 
299.79/46.15	o 253 
299.79/46.16	o 254 
299.79/46.17	o 255 
299.79/46.19	o 256 
300.39/46.20	o 257 
300.39/46.22	o 258 
300.39/46.24	o 259 
300.39/46.26	o 260 
300.39/46.27	o 261 
300.39/46.29	o 262 
301.10/46.32	o 263 
301.10/46.33	o 264 
301.10/46.35	o 265 
301.10/46.36	o 266 
301.10/46.38	o 267 
301.10/46.40	o 268 
301.64/46.42	o 269 
301.64/46.44	o 270 
301.64/46.46	o 271 
301.64/46.48	o 272 
302.18/46.50	o 273 
302.18/46.52	o 274 
302.18/46.54	o 275 
302.18/46.56	o 276 
302.18/46.58	o 277 
302.75/46.60	o 278 
302.75/46.62	o 279 
302.75/46.63	o 280 
302.75/46.66	o 281 
302.75/46.67	o 282 
302.75/46.69	o 283 
303.36/46.70	o 284 
303.36/46.71	o 285 
303.36/46.73	o 286 
303.36/46.75	o 287 
303.36/46.76	o 288 
303.36/46.78	o 289 
304.00/46.80	o 290 
304.00/46.82	o 291 
304.00/46.83	o 292 
304.00/46.85	o 293 
304.00/46.87	o 294 
304.00/46.89	o 295 
304.63/46.91	o 296 
304.63/46.93	o 297 
304.63/46.94	o 298 
304.63/46.96	o 299 
304.63/46.98	o 300 
305.20/47.00	o 301 
305.20/47.02	o 302 
305.20/47.04	o 303 
305.20/47.06	o 304 
305.20/47.08	o 305 
305.82/47.10	o 306 
305.82/47.12	o 307 
305.82/47.14	o 308 
305.82/47.16	o 309 
305.82/47.17	o 310 
305.82/47.19	o 311 
306.48/47.21	o 312 
306.48/47.23	o 313 
306.48/47.25	o 314 
306.48/47.27	o 315 
306.48/47.29	o 316 
307.02/47.32	o 317 
307.02/47.33	o 318 
308.87/48.97	o 319 
308.87/48.99	o 320 
309.11/49.01	o 321 
309.11/49.03	o 322 
309.11/49.04	o 323 
309.11/49.07	o 324 
309.11/49.09	o 325 
309.76/49.11	o 326 
309.76/49.13	o 327 
309.76/49.15	o 328 
309.76/49.16	o 329 
309.76/49.18	o 330 
310.37/49.21	o 331 
310.37/49.22	o 332 
310.37/49.25	o 333 
310.37/49.27	o 334 
310.37/49.29	o 335 
310.98/49.31	o 336 
310.98/49.33	o 337 
310.98/49.35	o 338 
310.98/49.37	o 339 
310.98/49.39	o 340 
311.60/49.41	o 341 
311.60/49.45	o 342 
312.32/49.82	o 343 
313.52/50.91	o 344 
313.52/50.93	o 345 
313.52/50.95	o 346 
313.52/50.97	o 347 
313.52/50.99	o 348 
314.08/51.01	o 349 
314.08/51.03	o 350 
314.08/51.05	o 351 
314.08/51.07	o 352 
314.08/51.09	o 353 
314.74/51.11	o 354 
314.74/51.13	o 355 
314.74/51.15	o 356 
314.74/51.17	o 357 
314.74/51.19	o 358 
315.45/51.21	o 359 
315.45/51.23	o 360 
315.45/51.25	o 361 
315.45/51.27	o 362 
315.45/51.29	o 363 
316.10/51.31	o 364 
316.10/51.32	o 365 
316.10/51.34	o 366 
316.10/51.37	o 367 
316.10/51.39	o 368 
316.73/51.41	o 369 
316.73/51.43	o 370 
316.73/51.45	o 371 
316.73/51.47	o 372 
316.73/51.49	o 373 
317.43/51.51	o 374 
317.43/51.53	o 375 
317.43/51.55	o 376 
317.43/51.57	o 377 
317.43/51.58	o 378 
318.08/51.60	o 379 
318.08/51.62	o 380 
318.08/51.64	o 381 
318.08/51.66	o 382 
318.08/51.67	o 383 
318.08/51.69	o 384 
318.80/51.71	o 385 
318.80/51.73	o 386 
318.80/51.74	o 387 
318.80/51.76	o 388 
318.80/51.78	o 389 
318.80/51.80	o 390 
319.45/51.82	o 391 
319.45/51.86	o 392 
319.45/51.87	o 393 
319.45/51.89	o 394 
320.08/51.91	o 395 
320.08/51.93	o 396 
320.08/51.95	o 397 
320.08/51.97	o 398 
320.08/51.99	o 399 
320.65/52.01	o 400 
320.65/52.03	o 401 
320.65/52.05	o 402 
320.65/52.07	o 403 
320.65/52.09	o 404 
321.34/52.11	o 405 
321.34/52.13	o 406 
321.34/52.15	o 407 
321.34/52.16	o 408 
321.34/52.18	o 409 
322.04/52.20	o 410 
322.04/52.22	o 411 
322.04/52.24	o 412 
322.04/52.26	o 413 
322.04/52.28	o 414 
322.04/52.29	o 415 
322.72/52.31	o 416 
322.72/52.33	o 417 
322.72/52.34	o 418 
322.72/52.36	o 419 
322.72/52.39	o 420 
323.34/52.41	o 421 
323.34/52.43	o 422 
323.34/52.45	o 423 
323.34/52.47	o 424 
323.34/52.49	o 425 
324.04/52.51	o 426 
324.04/52.54	o 427 
324.04/52.56	o 428 
324.04/52.58	o 429 
324.69/52.60	o 430 
324.69/52.63	o 431 
324.69/52.65	o 432 
324.69/52.67	o 433 
324.69/52.69	o 434 
325.35/52.71	o 435 
325.35/52.73	o 436 
325.35/52.75	o 437 
325.35/52.77	o 438 
325.35/52.79	o 439 
325.98/52.81	o 440 
325.98/52.83	o 441 
325.98/52.85	o 442 
325.98/52.87	o 443 
325.98/52.89	o 444 
326.75/52.93	o 445 
326.75/52.95	o 446 
326.75/52.96	o 447 
326.75/52.98	o 448 
326.75/53.00	o 449 
327.43/53.03	o 450 
327.43/53.05	o 451 
327.43/53.08	o 452 
327.97/53.10	o 453 
327.97/53.12	o 454 
327.97/53.14	o 455 
327.97/53.16	o 456 
327.97/53.18	o 457 
328.65/53.21	o 458 
328.65/53.23	o 459 
328.65/53.25	o 460 
328.65/53.28	o 461 
329.30/53.30	o 462 
329.30/53.32	o 463 
329.30/53.34	o 464 
329.30/53.35	o 465 
329.30/53.37	o 466 
329.30/53.39	o 467 
329.98/53.41	o 468 
329.98/53.43	o 469 
329.98/53.46	o 470 
329.98/53.48	o 471 
330.71/53.50	o 472 
330.71/53.52	o 473 
330.71/53.55	o 474 
330.71/53.57	o 475 
331.32/53.61	o 476 
331.89/53.90	o 477 
333.12/54.97	o 478 
333.12/54.99	o 479 
333.40/55.02	o 480 
333.40/55.04	o 481 
333.40/55.06	o 482 
333.40/55.07	o 483 
334.11/55.28	o 484 
334.11/55.30	o 485 
334.30/55.33	o 486 
334.30/55.35	o 487 
334.30/55.37	o 488 
334.30/55.39	o 489 
334.92/55.41	o 490 
334.92/55.44	o 491 
334.92/55.46	o 492 
334.92/55.48	o 493 
335.61/55.50	o 494 
335.61/55.52	o 495 
335.61/55.54	o 496 
335.61/55.57	o 497 
335.61/55.59	o 498 
336.30/55.61	o 499 
336.30/55.63	o 500 
336.30/55.65	o 501 
336.30/55.67	o 502 
336.30/55.69	o 503 
336.97/55.72	o 504 
336.97/55.74	o 505 
336.97/55.77	o 506 
336.97/55.79	o 507 
337.63/55.81	o 508 
337.63/55.83	o 509 
337.63/55.86	o 510 
337.63/55.87	o 511 
337.63/55.89	o 512 
338.30/55.91	o 513 
338.30/55.93	o 514 
338.30/55.95	o 515 
338.95/56.10	o 516 
338.95/56.13	o 517 
338.95/56.15	o 518 
338.95/56.17	o 519 
338.95/56.20	o 520 
339.61/56.22	o 521 
339.61/56.25	o 522 
339.61/56.27	o 523 
339.61/56.29	o 524 
340.28/56.31	o 525 
340.28/56.34	o 526 
340.28/56.36	o 527 
340.28/56.39	o 528 
340.81/56.41	o 529 
340.81/56.43	o 530 
340.81/56.46	o 531 
340.81/56.49	o 532 
341.48/56.51	o 533 
341.48/56.53	o 534 
341.48/56.55	o 535 
341.48/56.57	o 536 
342.61/57.03	o 537 
342.61/57.06	o 538 
342.61/57.08	o 539 
343.06/57.10	o 540 
343.06/57.13	o 541 
343.06/57.15	o 542 
343.06/57.17	o 543 
343.06/57.19	o 544 
343.76/57.22	o 545 
343.76/57.24	o 546 
343.76/57.26	o 547 
344.42/57.31	o 548 
344.95/57.69	o 549 
346.19/58.75	o 550 
346.19/58.77	o 551 
346.57/58.80	o 552 
346.57/58.82	o 553 
346.57/58.85	o 554 
346.57/58.87	o 555 
346.57/58.89	o 556 
347.27/58.91	o 557 
347.27/58.94	o 558 
347.27/58.97	o 559 
347.27/58.99	o 560 
347.92/59.02	o 561 
347.92/59.04	o 562 
347.92/59.06	o 563 
347.92/59.09	o 564 
348.57/59.11	o 565 
348.57/59.13	o 566 
348.57/59.15	o 567 
348.57/59.18	o 568 
349.24/59.20	o 569 
349.24/59.23	o 570 
349.24/59.26	o 571 
350.29/59.82	o 572 
350.29/59.85	o 573 
350.29/59.87	o 574 
350.29/59.89	o 575 
350.83/59.92	o 576 
350.83/59.95	o 577 
350.83/59.97	o 578 
351.49/60.01	o 579 
351.49/60.03	o 580 
351.49/60.05	o 581 
351.49/60.08	o 582 
352.07/60.11	o 583 
352.07/60.13	o 584 
352.07/60.15	o 585 
352.07/60.18	o 586 
352.74/60.20	o 587 
352.74/60.23	o 588 
352.74/60.26	o 589 
352.74/60.29	o 590 
353.36/60.31	o 591 
353.36/60.34	o 592 
353.36/60.36	o 593 
353.36/60.38	o 594 
354.06/60.41	o 595 
354.06/60.43	o 596 
354.06/60.45	o 597 
354.06/60.48	o 598 
354.77/60.50	o 599 
354.77/60.53	o 600 
354.77/60.55	o 601 
354.77/60.57	o 602 
354.77/60.59	o 603 
355.53/60.61	o 604 
355.53/60.63	o 605 
355.53/60.65	o 606 
355.53/60.68	o 607 
355.53/60.70	o 608 
356.18/60.73	o 609 
356.18/60.75	o 610 
356.18/60.78	o 611 
356.81/60.80	o 612 
356.81/60.82	o 613 
356.81/60.85	o 614 
356.81/60.89	o 615 
357.37/60.92	o 616 
357.37/60.96	o 617 
358.11/61.26	o 618 
359.39/62.34	o 619 
359.39/62.36	o 620 
359.39/62.39	o 621 
359.80/62.41	o 622 
359.80/62.44	o 623 
359.80/62.47	o 624 
360.48/62.50	o 625 
360.48/62.52	o 626 
360.48/62.54	o 627 
362.41/64.03	o 628 
362.41/64.06	o 629 
362.41/64.08	o 630 
362.88/64.12	o 631 
362.88/64.14	o 632 
362.88/64.17	o 633 
362.88/64.20	o 634 
363.52/64.22	o 635 
363.52/64.25	o 636 
363.52/64.28	o 637 
364.17/64.30	o 638 
364.17/64.33	o 639 
364.17/64.36	o 640 
364.17/64.38	o 641 
364.81/64.41	o 642 
364.81/64.43	o 643 
364.81/64.46	o 644 
364.81/64.49	o 645 
365.48/64.52	o 646 
365.48/64.55	o 647 
365.48/64.58	o 648 
366.12/64.61	o 649 
366.12/64.63	o 650 
366.12/64.66	o 651 
366.12/64.68	o 652 
366.75/64.71	o 653 
366.75/64.73	o 654 
366.75/64.77	o 655 
366.75/64.79	o 656 
367.42/64.82	o 657 
367.42/64.85	o 658 
367.42/64.87	o 659 
368.13/64.90	o 660 
368.13/64.93	o 661 
368.13/64.95	o 662 
368.13/64.97	o 663 
368.13/65.00	o 664 
368.92/65.03	o 665 
368.92/65.05	o 666 
368.92/65.08	o 667 
369.56/65.12	o 668 
370.91/66.30	o 669 
370.91/66.33	o 670 
370.91/66.36	o 671 
370.91/66.39	o 672 
371.54/66.41	o 673 
371.54/66.46	o 674 
372.29/66.70	o 675 
373.43/67.76	o 676 
373.43/67.79	o 677 
373.75/67.81	o 678 
373.75/67.83	o 679 
373.75/67.86	o 680 
373.75/67.89	o 681 
374.47/67.91	o 682 
374.47/67.94	o 683 
374.47/67.97	o 684 
374.47/68.00	o 685 
375.17/68.02	o 686 
375.17/68.05	o 687 
375.17/68.08	o 688 
375.82/68.11	o 689 
375.82/68.13	o 690 
375.82/68.16	o 691 
375.82/68.19	o 692 
376.51/68.21	o 693 
376.51/68.24	o 694 
376.51/68.26	o 695 
376.51/68.28	o 696 
377.28/68.31	o 697 
377.28/68.34	o 698 
377.28/68.37	o 699 
377.28/68.40	o 700 
378.43/68.85	o 701 
378.43/68.88	o 702 
378.80/68.91	o 703 
378.80/68.93	o 704 
378.80/68.95	o 705 
378.80/68.98	o 706 
379.47/69.01	o 707 
379.47/69.03	o 708 
379.47/69.06	o 709 
379.47/69.08	o 710 
380.14/69.11	o 711 
380.14/69.13	o 712 
380.14/69.16	o 713 
380.14/69.19	o 714 
380.80/69.23	o 715 
380.80/69.26	o 716 
380.80/69.29	o 717 
381.47/69.32	o 718 
381.47/69.34	o 719 
381.47/69.37	o 720 
381.47/69.41	o 721 
382.19/69.43	o 722 
382.19/69.46	o 723 
382.19/69.49	o 724 
382.91/69.52	o 725 
382.91/69.54	o 726 
382.91/69.57	o 727 
382.91/69.59	o 728 
383.49/69.62	o 729 
383.49/69.66	o 730 
384.14/69.83	o 731 
385.30/70.86	o 732 
385.30/70.89	o 733 
385.61/70.91	o 734 
385.61/70.94	o 735 
385.61/70.96	o 736 
385.61/70.99	o 737 
386.35/71.02	o 738 
386.35/71.05	o 739 
386.35/71.07	o 740 
387.04/71.10	o 741 
387.04/71.12	o 742 
387.04/71.15	o 743 
387.04/71.17	o 744 
387.69/71.20	o 745 
387.69/71.22	o 746 
387.69/71.24	o 747 
387.69/71.26	o 748 
387.69/71.28	o 749 
388.36/71.31	o 750 
388.36/71.33	o 751 
388.36/71.35	o 752 
388.36/71.37	o 753 
388.36/71.39	o 754 
388.98/71.41	o 755 
388.98/71.44	o 756 
388.98/71.46	o 757 
388.98/71.48	o 758 
389.64/71.50	o 759 
389.64/71.53	o 760 
389.64/71.55	o 761 
389.64/71.57	o 762 
389.64/71.59	o 763 
391.79/73.12	o 764 
391.79/73.14	o 765 
391.79/73.17	o 766 
391.79/73.19	o 767 
392.30/73.21	o 768 
392.30/73.24	o 769 
392.30/73.26	o 770 
392.30/73.28	o 771 
392.95/73.32	o 772 
392.95/73.34	o 773 
392.95/73.37	o 774 
392.95/73.39	o 775 
393.51/73.41	o 776 
393.51/73.43	o 777 
393.51/73.46	o 778 
393.51/73.48	o 779 
394.17/73.50	o 780 
394.17/73.53	o 781 
394.17/73.55	o 782 
394.17/73.58	o 783 
394.82/73.60	o 784 
394.82/73.62	o 785 
394.82/73.64	o 786 
394.82/73.66	o 787 
394.82/73.69	o 788 
395.47/73.71	o 789 
395.47/73.74	o 790 
395.47/73.77	o 791 
395.47/73.80	o 792 
396.29/73.92	o 793 
397.42/74.95	o 794 
397.42/74.98	o 795 
397.73/75.09	o 796 
398.97/76.11	o 797 
398.97/76.15	o 798 
399.32/76.27	o 799 
400.58/77.30	o 800 
400.58/77.33	o 801 
400.94/77.44	o 802 
402.07/78.47	o 803 
402.30/78.50	o 804 
405.66/79.81	o 805 
406.52/80.28	o 806 
425.49/83.66	o 807 
2400.42/332.05	s SATISFIABLE
2400.42/332.05	v <instantiation>
2400.42/332.05	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[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] 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[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] 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[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] 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[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] 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[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] 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[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] 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[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] 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[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] 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[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] 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[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] 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[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] 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[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] 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[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] 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[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] 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[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] 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[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] 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[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] 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[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] 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[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] 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[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] 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[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] 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[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] 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[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] 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[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] 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[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] 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[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] 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[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] 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[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] 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[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] 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[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] 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] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] 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[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] 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[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] 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[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] 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[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] 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[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] 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[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] 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[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] 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[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] 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[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] 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[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] 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[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] 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[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] 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[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] 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[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] 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[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] 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[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] 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[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] 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[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] 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[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] 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[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] 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[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] 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[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] 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[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] 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[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] 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[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] 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[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] 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[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] 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[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] 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[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] 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[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] 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] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] 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] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] z </list>
2400.42/332.05	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 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 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 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 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 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 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 1 1 1 0 0 0 1 1 0 0 0 0 1 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 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 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 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 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 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 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 0 0 0 0 1 1 1 1 0 0 1 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 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 0 0 1 1 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 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 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 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 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 1 0 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 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 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 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 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 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 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 0 0 1 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 2 0 1 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 1 1 1 0 0 0 1 2 1 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 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 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 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 2 2 0 0 0 0 0 1 1 1 2 2 1 2 2 1 2 2 1 2 0 1 1 0 1 1 2 0 1 1 0 2 0 0 0 0 0 0 0 2 1 1 1 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 14 16 18 35 36 37 89 97 100 103 105 109 150 155 158 162 165 171 194 197 201 219 220 223 240 244 249 267 273 276 302 314 324 332 339 345 358 364 372 385 389 399 439 468 807 </values>
2400.42/332.05	v </instantiation>
2400.42/332.05	c Unexpected resolution interruption!

Verifier Data 

OK	807

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-4244823-1500684495/watcher-4244823-1500684495 -o /tmp/evaluation-result-4244823-1500684495/solver-4244823-1500684495 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1038799451 HOME/instance-4244823-1500684495.xml 

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

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


[startup+0 s]
/proc/loadavg: 16.06 13.51 8.28 10/270 18300
/proc/meminfo: memFree=28172960/32770624 swapFree=5800/235948
[pid=18300] ppid=18297 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18300/stat : 18300 (xcsp3-exec) S 18297 18300 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3717220 9740288 346 33554432000 4194304 5098028 140723860304064 140723860302168 139675679175292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14143488 140723860309134 140723860309344 140723860309344 140723860312043 0
/proc/18300/statm: 2378 346 289 221 0 87 0

[startup+0.100062 s]
/proc/loadavg: 16.06 13.51 8.28 10/270 18300
/proc/meminfo: memFree=28172960/32770624 swapFree=5800/235948
[pid=18300] ppid=18297 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18300/stat : 18300 (xcsp3-exec) S 18297 18300 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3717220 9740288 346 33554432000 4194304 5098028 140723860304064 140723860302168 139675679175292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14143488 140723860309134 140723860309344 140723860309344 140723860312043 0
/proc/18300/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200354 s]
/proc/loadavg: 16.06 13.51 8.28 10/270 18300
/proc/meminfo: memFree=28172960/32770624 swapFree=5800/235948
[pid=18300] ppid=18297 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18300/stat : 18300 (xcsp3-exec) S 18297 18300 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3717220 9740288 346 33554432000 4194304 5098028 140723860304064 140723860302168 139675679175292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14143488 140723860309134 140723860309344 140723860309344 140723860312043 0
/proc/18300/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300297 s]
/proc/loadavg: 16.06 13.51 8.28 10/270 18300
/proc/meminfo: memFree=28172960/32770624 swapFree=5800/235948
[pid=18300] ppid=18297 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18300/stat : 18300 (xcsp3-exec) S 18297 18300 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3717220 9740288 346 33554432000 4194304 5098028 140723860304064 140723860302168 139675679175292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14143488 140723860309134 140723860309344 140723860309344 140723860312043 0
/proc/18300/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700214 s]
/proc/loadavg: 16.06 13.51 8.28 10/270 18300
/proc/meminfo: memFree=28172960/32770624 swapFree=5800/235948
[pid=18300] ppid=18297 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18300/stat : 18300 (xcsp3-exec) S 18297 18300 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3717220 9740288 346 33554432000 4194304 5098028 140723860304064 140723860302168 139675679175292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14143488 140723860309134 140723860309344 140723860309344 140723860312043 0
/proc/18300/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50116 s]
/proc/loadavg: 15.57 13.45 8.29 11/291 18321
/proc/meminfo: memFree=28065472/32770624 swapFree=5800/236304
[pid=18300] ppid=18297 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18300/stat : 18300 (xcsp3-exec) S 18297 18300 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3717220 9740288 346 33554432000 4194304 5098028 140723860304064 140723860302168 139675679175292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14143488 140723860309134 140723860309344 140723860309344 140723860312043 0
/proc/18300/statm: 2378 346 289 221 0 87 0
[pid=18301] ppid=18300 vsize=13269256 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/18301/stat : 18301 (java) S 18300 18300 7621 0 -1 1077944320 20739 0 0 0 389 9 0 0 20 0 20 0 3717220 13587718144 42310 33554432000 4194304 4196468 140737469834880 140737469817424 140374851989239 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
/proc/18301/statm: 3317314 42310 3227 1 0 3304547 0
[pid=18301/tid=18302] ppid=18300 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18302/stat : 18302 (java) R 18300 18300 7621 0 -1 4202560 8223 0 0 0 142 5 0 0 20 0 20 0 3717221 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374856227912 140374837064101 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18304] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18304/stat : 18304 (java) S 18300 18300 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3717222 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374770469392 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18305] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18305/stat : 18305 (java) S 18300 18300 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3717222 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374769416848 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18306] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18306/stat : 18306 (java) S 18300 18300 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3717222 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374768363792 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18307] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18307/stat : 18307 (java) S 18300 18300 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3717222 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374767311248 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18308] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18308/stat : 18308 (java) S 18300 18300 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3717222 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374766259216 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18309] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18309/stat : 18309 (java) S 18300 18300 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3717222 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374446173328 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18310] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18310/stat : 18310 (java) S 18300 18300 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3717222 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374445120272 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18311] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18311/stat : 18311 (java) S 18300 18300 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3717222 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374444067728 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18312] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18312/stat : 18312 (java) S 18300 18300 7621 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 3717224 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374045837552 140374852000386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18313] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18313/stat : 18313 (java) S 18300 18300 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3717225 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374044783776 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18314] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18314/stat : 18314 (java) S 18300 18300 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3717225 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374043730672 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18315] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18315/stat : 18315 (java) S 18300 18300 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3717229 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374042679248 140374852007835 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18316] ppid=18300 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18316/stat : 18316 (java) R 18300 18300 7621 0 -1 4202560 3052 0 0 0 62 1 0 0 20 0 20 0 3717229 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374041612040 140374837104485 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18317] ppid=18300 vsize=13269256 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18317/stat : 18317 (java) R 18300 18300 7621 0 -1 4202560 2080 0 0 0 58 1 0 0 20 0 20 0 3717229 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374040560760 140374833175228 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18318] ppid=18300 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18318/stat : 18318 (java) R 18300 18300 7621 0 -1 4202560 2915 0 0 0 64 0 0 0 20 0 20 0 3717229 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374039510256 140374835475494 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18319] ppid=18300 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18319/stat : 18319 (java) S 18300 18300 7621 0 -1 1077944384 3140 0 0 0 61 1 0 0 20 0 20 0 3717229 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374038469232 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18320] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18320/stat : 18320 (java) S 18300 18300 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3717229 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374037416416 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18321] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18321/stat : 18321 (java) S 18300 18300 7621 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3717229 13587718144 42310 33554432000 4194304 4196468 140737469834880 140374036363952 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 13278768

[startup+3.10086 s]
/proc/loadavg: 15.57 13.45 8.29 10/291 18321
/proc/meminfo: memFree=27962500/32770624 swapFree=5800/236324
[pid=18300] ppid=18297 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18300/stat : 18300 (xcsp3-exec) S 18297 18300 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3717220 9740288 346 33554432000 4194304 5098028 140723860304064 140723860302168 139675679175292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14143488 140723860309134 140723860309344 140723860309344 140723860312043 0
/proc/18300/statm: 2378 346 289 221 0 87 0
[pid=18301] ppid=18300 vsize=13269256 CPUtime=8.31 cores=0,2,4,6,8,10,12,14
/proc/18301/stat : 18301 (java) S 18300 18300 7621 0 -1 1077944320 26892 0 0 0 782 49 0 0 20 0 20 0 3717220 13587718144 73329 33554432000 4194304 4196468 140737469834880 140737469817424 140374851989239 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
/proc/18301/statm: 3317314 73329 3256 1 0 3304547 0
[pid=18301/tid=18302] ppid=18300 vsize=13269256 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18302/stat : 18302 (java) R 18300 18300 7621 0 -1 4202560 9062 0 0 0 290 5 0 0 20 0 20 0 3717221 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374856224984 140374452611600 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18304] ppid=18300 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18304/stat : 18304 (java) S 18300 18300 7621 0 -1 1077944384 183 0 0 0 5 5 0 0 20 0 20 0 3717222 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374770469392 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18305] ppid=18300 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18305/stat : 18305 (java) S 18300 18300 7621 0 -1 1077944384 71 0 0 0 3 3 0 0 20 0 20 0 3717222 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374769416848 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18306] ppid=18300 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18306/stat : 18306 (java) S 18300 18300 7621 0 -1 1077944384 118 0 0 0 4 5 0 0 20 0 20 0 3717222 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374768363792 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18307] ppid=18300 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18307/stat : 18307 (java) S 18300 18300 7621 0 -1 1077944384 83 0 0 0 3 4 0 0 20 0 20 0 3717222 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374767311248 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18308] ppid=18300 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18308/stat : 18308 (java) S 18300 18300 7621 0 -1 1077944384 95 0 0 0 5 4 0 0 20 0 20 0 3717222 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374766259216 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18309] ppid=18300 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18309/stat : 18309 (java) S 18300 18300 7621 0 -1 1077944384 335 0 0 0 5 6 0 0 20 0 20 0 3717222 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374446173328 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18310] ppid=18300 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18310/stat : 18310 (java) S 18300 18300 7621 0 -1 1077944384 77 0 0 0 5 5 0 0 20 0 20 0 3717222 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374445120272 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18311] ppid=18300 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18311/stat : 18311 (java) S 18300 18300 7621 0 -1 1077944384 84 0 0 0 3 4 0 0 20 0 20 0 3717222 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374444067728 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18312] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18312/stat : 18312 (java) S 18300 18300 7621 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 3717224 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374045837552 140374852000386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18313] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18313/stat : 18313 (java) S 18300 18300 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 3717225 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374044783840 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18314] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18314/stat : 18314 (java) S 18300 18300 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3717225 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374043730688 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18315] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18315/stat : 18315 (java) S 18300 18300 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3717229 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374042679248 140374852007835 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18316] ppid=18300 vsize=13269256 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18316/stat : 18316 (java) S 18300 18300 7621 0 -1 1077944384 4161 0 0 0 128 1 0 0 20 0 20 0 3717229 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374041627376 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18317] ppid=18300 vsize=13269256 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18317/stat : 18317 (java) S 18300 18300 7621 0 -1 1077944384 3222 0 0 0 119 1 0 0 20 0 20 0 3717229 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374040574832 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18318] ppid=18300 vsize=13269256 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18318/stat : 18318 (java) S 18300 18300 7621 0 -1 1077944384 4238 0 0 0 131 0 0 0 20 0 20 0 3717229 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374039521776 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18319] ppid=18300 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18319/stat : 18319 (java) S 18300 18300 7621 0 -1 1077944384 3645 0 0 0 73 1 0 0 20 0 20 0 3717229 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374038469232 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18320] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18320/stat : 18320 (java) S 18300 18300 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3717229 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374037416416 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18321] ppid=18300 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18321/stat : 18321 (java) S 18300 18300 7621 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 3717229 13587718144 73329 33554432000 4194304 4196468 140737469834880 140374036363952 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
Current children cumulated CPU time (s) 8.31
Current children cumulated vsize (KiB) 13278768

[startup+6.30136 s]
/proc/loadavg: 15.05 13.38 8.29 17/299 18329
/proc/meminfo: memFree=27681432/32770624 swapFree=5800/236332
[pid=18300] ppid=18297 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18300/stat : 18300 (xcsp3-exec) S 18297 18300 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3717220 9740288 346 33554432000 4194304 5098028 140723860304064 140723860302168 139675679175292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14143488 140723860309134 140723860309344 140723860309344 140723860312043 0
/proc/18300/statm: 2378 346 289 221 0 87 0
[pid=18301] ppid=18300 vsize=13801768 CPUtime=19.81 cores=0,2,4,6,8,10,12,14
/proc/18301/stat : 18301 (java) S 18300 18300 7621 0 -1 1077944320 30396 0 0 0 1877 104 0 0 20 0 28 0 3717220 14133010432 127664 33554432000 4194304 4196468 140737469834880 140737469817424 140374851989239 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
/proc/18301/statm: 3450442 127664 3264 1 0 3437675 0
[pid=18301/tid=18302] ppid=18300 vsize=13801768 CPUtime=5.09 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18302/stat : 18302 (java) S 18300 18300 7621 0 -1 1077944384 9449 0 0 0 502 7 0 0 20 0 28 0 3717221 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374856230016 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18304] ppid=18300 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18304/stat : 18304 (java) S 18300 18300 7621 0 -1 1077944384 242 0 0 0 11 11 0 0 20 0 28 0 3717222 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374770469392 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18305] ppid=18300 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18305/stat : 18305 (java) S 18300 18300 7621 0 -1 1077944384 194 0 0 0 9 9 0 0 20 0 28 0 3717222 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374769416848 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18306] ppid=18300 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18306/stat : 18306 (java) S 18300 18300 7621 0 -1 1077944384 229 0 0 0 10 11 0 0 20 0 28 0 3717222 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374768363792 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18307] ppid=18300 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18307/stat : 18307 (java) S 18300 18300 7621 0 -1 1077944384 217 0 0 0 9 10 0 0 20 0 28 0 3717222 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374767311248 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18308] ppid=18300 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18308/stat : 18308 (java) S 18300 18300 7621 0 -1 1077944384 162 0 0 0 10 11 0 0 20 0 28 0 3717222 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374766259216 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18309] ppid=18300 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18309/stat : 18309 (java) S 18300 18300 7621 0 -1 1077944384 422 0 0 0 11 12 0 0 20 0 28 0 3717222 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374446173328 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18310] ppid=18300 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18310/stat : 18310 (java) S 18300 18300 7621 0 -1 1077944384 152 0 0 0 11 12 0 0 20 0 28 0 3717222 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374445120272 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18311] ppid=18300 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18311/stat : 18311 (java) S 18300 18300 7621 0 -1 1077944384 189 0 0 0 9 10 0 0 20 0 28 0 3717222 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374444067728 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18312] ppid=18300 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18312/stat : 18312 (java) S 18300 18300 7621 0 -1 1077944384 298 0 0 0 1 0 0 0 20 0 28 0 3717224 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374045837552 140374852000386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18313] ppid=18300 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18313/stat : 18313 (java) S 18300 18300 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3717225 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374044783840 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18314] ppid=18300 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18314/stat : 18314 (java) S 18300 18300 7621 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3717225 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374043730688 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18315] ppid=18300 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18315/stat : 18315 (java) S 18300 18300 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3717229 14133010432 127664 33554432000 4194304 4196468 140737469834880 140374042679248 140374852007835 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0

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

[pid=18301/tid=24903] ppid=18300 vsize=13803816 CPUtime=196.89 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24903/stat : 24903 (java) R 18300 18300 7621 0 -1 4202560 2625 0 0 0 19689 0 0 0 20 0 28 0 3725586 14135107584 703009 33554432000 4194304 4196468 140737469834880 140373953311224 140374455305989 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24904] ppid=18300 vsize=13803816 CPUtime=197.39 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24904/stat : 24904 (java) R 18300 18300 7621 0 -1 4202560 1437 0 0 0 19739 0 0 0 20 0 28 0 3725586 14135107584 703009 33554432000 4194304 4196468 140737469834880 140373954364008 140374452952277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
Current children cumulated CPU time (s) 2005.49
Current children cumulated vsize (KiB) 13813328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+332.001 s]
/proc/loadavg: 15.94 14.71 10.33 17/303 24918
/proc/meminfo: memFree=26716420/32770624 swapFree=5800/236756
[pid=18300] ppid=18297 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18300/stat : 18300 (xcsp3-exec) S 18297 18300 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3717220 9740288 346 33554432000 4194304 5098028 140723860304064 140723860302168 139675679175292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14143488 140723860309134 140723860309344 140723860309344 140723860312043 0
/proc/18300/statm: 2378 346 289 221 0 87 0
[pid=18301] ppid=18300 vsize=13803816 CPUtime=2400.42 cores=0,2,4,6,8,10,12,14
/proc/18301/stat : 18301 (java) S 18300 18300 7621 0 -1 1077944320 256437 0 0 0 239657 385 0 0 20 0 28 0 3717220 14135107584 695868 33554432000 4194304 4196468 140737469834880 140737469817424 140374851989239 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
/proc/18301/statm: 3450954 695868 3289 1 0 3438187 0
[pid=18301/tid=18302] ppid=18300 vsize=13803816 CPUtime=6.06 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18302/stat : 18302 (java) S 18300 18300 7621 0 -1 1077944384 12512 0 0 0 595 11 0 0 20 0 28 0 3717221 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374856229952 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18304] ppid=18300 vsize=13803816 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18304/stat : 18304 (java) S 18300 18300 7621 0 -1 1077944384 2071 0 0 0 52 24 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374770469392 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18305] ppid=18300 vsize=13803816 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18305/stat : 18305 (java) S 18300 18300 7621 0 -1 1077944384 2117 0 0 0 50 22 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374769416848 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18306] ppid=18300 vsize=13803816 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18306/stat : 18306 (java) S 18300 18300 7621 0 -1 1077944384 2673 0 0 0 52 23 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374768363792 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18307] ppid=18300 vsize=13803816 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18307/stat : 18307 (java) S 18300 18300 7621 0 -1 1077944384 1208 0 0 0 48 21 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374767311248 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18308] ppid=18300 vsize=13803816 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18308/stat : 18308 (java) S 18300 18300 7621 0 -1 1077944384 3263 0 0 0 51 23 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374766259216 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18309] ppid=18300 vsize=13803816 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18309/stat : 18309 (java) S 18300 18300 7621 0 -1 1077944384 1689 0 0 0 51 25 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374446173328 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18310] ppid=18300 vsize=13803816 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18310/stat : 18310 (java) S 18300 18300 7621 0 -1 1077944384 1993 0 0 0 52 24 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374445120272 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18311] ppid=18300 vsize=13803816 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18311/stat : 18311 (java) S 18300 18300 7621 0 -1 1077944384 2734 0 0 0 52 24 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374444067728 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18312] ppid=18300 vsize=13803816 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18312/stat : 18312 (java) S 18300 18300 7621 0 -1 1077944384 7923 0 0 0 23 28 0 0 20 0 28 0 3717224 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374045837552 140374852000386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18313] ppid=18300 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18313/stat : 18313 (java) S 18300 18300 7621 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 3717225 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374044783840 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18314] ppid=18300 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18314/stat : 18314 (java) S 18300 18300 7621 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3717225 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374043730688 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18315] ppid=18300 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18315/stat : 18315 (java) S 18300 18300 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374042679248 140374852007835 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18316] ppid=18300 vsize=13803816 CPUtime=6.11 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18316/stat : 18316 (java) S 18300 18300 7621 0 -1 1077944384 33386 0 0 0 608 3 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374041627376 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18317] ppid=18300 vsize=13803816 CPUtime=5.85 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18317/stat : 18317 (java) S 18300 18300 7621 0 -1 1077944384 32579 0 0 0 580 5 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374040574832 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18318] ppid=18300 vsize=13803816 CPUtime=6.24 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18318/stat : 18318 (java) S 18300 18300 7621 0 -1 1077944384 36689 0 0 0 620 4 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374039521776 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18319] ppid=18300 vsize=13803816 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18319/stat : 18319 (java) S 18300 18300 7621 0 -1 1077944384 19825 0 0 0 168 3 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374038469232 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18320] ppid=18300 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18320/stat : 18320 (java) S 18300 18300 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374037416416 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18321] ppid=18300 vsize=13803816 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18321/stat : 18321 (java) S 18300 18300 7621 0 -1 1077944384 2096 0 0 0 10 7 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374036363952 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24897] ppid=18300 vsize=13803816 CPUtime=246.5 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24897/stat : 24897 (java) R 18300 18300 7621 0 -1 4202560 3212 0 0 0 24649 1 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374028351456 140374456681471 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24898] ppid=18300 vsize=13803816 CPUtime=245.92 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24898/stat : 24898 (java) R 18300 18300 7621 0 -1 4202560 2711 0 0 0 24591 1 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373955417304 140374456629664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24899] ppid=18300 vsize=13803816 CPUtime=246.85 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24899/stat : 24899 (java) R 18300 18300 7621 0 -1 4202560 1457 0 0 0 24685 0 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373956469936 140374447654481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24900] ppid=18300 vsize=13803816 CPUtime=246.19 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24900/stat : 24900 (java) R 18300 18300 7621 0 -1 4202560 8165 0 0 0 24615 4 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373957523176 140374457945473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24901] ppid=18300 vsize=13803816 CPUtime=247.22 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24901/stat : 24901 (java) R 18300 18300 7621 0 -1 4202560 1540 0 0 0 24722 0 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373959628616 140374456819492 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24902] ppid=18300 vsize=13803816 CPUtime=246.08 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24902/stat : 24902 (java) R 18300 18300 7621 0 -1 4202560 1252 0 0 0 24607 1 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373958575304 140374456464598 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24903] ppid=18300 vsize=13803816 CPUtime=246.34 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24903/stat : 24903 (java) R 18300 18300 7621 0 -1 4202560 3040 0 0 0 24634 0 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373953311704 140374456628534 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24904] ppid=18300 vsize=13803816 CPUtime=246.85 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24904/stat : 24904 (java) R 18300 18300 7621 0 -1 4202560 1594 0 0 0 24685 0 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373954364264 140374456464497 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
Current children cumulated CPU time (s) 2400.42
Current children cumulated vsize (KiB) 13813328

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

[startup+332.001 s]
/proc/loadavg: 15.94 14.71 10.33 17/303 24918
/proc/meminfo: memFree=26716420/32770624 swapFree=5800/236756
[pid=18300] ppid=18297 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18300/stat : 18300 (xcsp3-exec) S 18297 18300 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3717220 9740288 346 33554432000 4194304 5098028 140723860304064 140723860302168 139675679175292 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 14143488 140723860309134 140723860309344 140723860309344 140723860312043 0
/proc/18300/statm: 2378 346 289 221 0 87 0
[pid=18301] ppid=18300 vsize=13803816 CPUtime=2400.42 cores=0,2,4,6,8,10,12,14
/proc/18301/stat : 18301 (java) S 18300 18300 7621 0 -1 1077944320 256437 0 0 0 239657 385 0 0 20 0 28 0 3717220 14135107584 695868 33554432000 4194304 4196468 140737469834880 140737469817424 140374851989239 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
/proc/18301/statm: 3450954 695868 3289 1 0 3438187 0
[pid=18301/tid=18302] ppid=18300 vsize=13803816 CPUtime=6.06 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18302/stat : 18302 (java) S 18300 18300 7621 0 -1 1077944384 12512 0 0 0 595 11 0 0 20 0 28 0 3717221 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374856229952 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18304] ppid=18300 vsize=13803816 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18304/stat : 18304 (java) S 18300 18300 7621 0 -1 1077944384 2071 0 0 0 52 24 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374770469392 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18305] ppid=18300 vsize=13803816 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18305/stat : 18305 (java) S 18300 18300 7621 0 -1 1077944384 2117 0 0 0 50 22 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374769416848 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18306] ppid=18300 vsize=13803816 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18306/stat : 18306 (java) S 18300 18300 7621 0 -1 1077944384 2673 0 0 0 52 23 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374768363792 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18307] ppid=18300 vsize=13803816 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18307/stat : 18307 (java) S 18300 18300 7621 0 -1 1077944384 1208 0 0 0 48 21 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374767311248 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18308] ppid=18300 vsize=13803816 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18308/stat : 18308 (java) S 18300 18300 7621 0 -1 1077944384 3263 0 0 0 51 23 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374766259216 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18309] ppid=18300 vsize=13803816 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18309/stat : 18309 (java) S 18300 18300 7621 0 -1 1077944384 1689 0 0 0 51 25 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374446173328 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18310] ppid=18300 vsize=13803816 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18310/stat : 18310 (java) S 18300 18300 7621 0 -1 1077944384 1993 0 0 0 52 24 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374445120272 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18311] ppid=18300 vsize=13803816 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18311/stat : 18311 (java) S 18300 18300 7621 0 -1 1077944384 2734 0 0 0 52 24 0 0 20 0 28 0 3717222 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374444067728 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18312] ppid=18300 vsize=13803816 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18312/stat : 18312 (java) S 18300 18300 7621 0 -1 1077944384 7923 0 0 0 23 28 0 0 20 0 28 0 3717224 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374045837552 140374852000386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18313] ppid=18300 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18313/stat : 18313 (java) S 18300 18300 7621 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 3717225 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374044783840 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18314] ppid=18300 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18314/stat : 18314 (java) S 18300 18300 7621 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3717225 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374043730688 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18315] ppid=18300 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18315/stat : 18315 (java) S 18300 18300 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374042679248 140374852007835 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18316] ppid=18300 vsize=13803816 CPUtime=6.11 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18316/stat : 18316 (java) S 18300 18300 7621 0 -1 1077944384 33386 0 0 0 608 3 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374041627376 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18317] ppid=18300 vsize=13803816 CPUtime=5.85 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18317/stat : 18317 (java) S 18300 18300 7621 0 -1 1077944384 32579 0 0 0 580 5 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374040574832 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18318] ppid=18300 vsize=13803816 CPUtime=6.24 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18318/stat : 18318 (java) S 18300 18300 7621 0 -1 1077944384 36689 0 0 0 620 4 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374039521776 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18319] ppid=18300 vsize=13803816 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18319/stat : 18319 (java) S 18300 18300 7621 0 -1 1077944384 19825 0 0 0 168 3 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374038469232 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18320] ppid=18300 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18320/stat : 18320 (java) S 18300 18300 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374037416416 140374851999445 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=18321] ppid=18300 vsize=13803816 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/18301/task/18321/stat : 18321 (java) S 18300 18300 7621 0 -1 1077944384 2096 0 0 0 10 7 0 0 20 0 28 0 3717229 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374036363952 140374852000386 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24897] ppid=18300 vsize=13803816 CPUtime=246.5 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24897/stat : 24897 (java) R 18300 18300 7621 0 -1 4202560 3212 0 0 0 24649 1 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140374028351456 140374456681471 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24898] ppid=18300 vsize=13803816 CPUtime=245.92 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24898/stat : 24898 (java) R 18300 18300 7621 0 -1 4202560 2711 0 0 0 24591 1 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373955417304 140374456629664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24899] ppid=18300 vsize=13803816 CPUtime=246.85 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24899/stat : 24899 (java) R 18300 18300 7621 0 -1 4202560 1457 0 0 0 24685 0 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373956469936 140374447654481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24900] ppid=18300 vsize=13803816 CPUtime=246.19 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24900/stat : 24900 (java) R 18300 18300 7621 0 -1 4202560 8165 0 0 0 24615 4 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373957523176 140374457945473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24901] ppid=18300 vsize=13803816 CPUtime=247.22 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24901/stat : 24901 (java) R 18300 18300 7621 0 -1 4202560 1540 0 0 0 24722 0 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373959628616 140374456819492 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24902] ppid=18300 vsize=13803816 CPUtime=246.08 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24902/stat : 24902 (java) R 18300 18300 7621 0 -1 4202560 1252 0 0 0 24607 1 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373958575304 140374456464598 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24903] ppid=18300 vsize=13803816 CPUtime=246.34 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24903/stat : 24903 (java) R 18300 18300 7621 0 -1 4202560 3040 0 0 0 24634 0 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373953311704 140374456628534 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
[pid=18301/tid=24904] ppid=18300 vsize=13803816 CPUtime=246.85 cores=0,2,4,6,8,10,12,14
/proc/18301/task/24904/stat : 24904 (java) R 18300 18300 7621 0 -1 4202560 1594 0 0 0 24685 0 0 0 20 0 28 0 3725586 14135107584 695868 33554432000 4194304 4196468 140737469834880 140373954364264 140374456464497 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33652736 140737469838524 140737469838700 140737469838700 140737469841359 0
Current children cumulated CPU time (s) 2400.42
Current children cumulated vsize (KiB) 13813328

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 332.012
CPU time (s): 2400.42
CPU user time (s): 2396.57
CPU system time (s): 3.85
CPU usage (%): 722.992
Max. virtual memory (cumulated for all children) (KiB): 13815104

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.1425 second user time and 4.62285 second system time

The end

Launcher Data 

Begin job on node124 at 2017-07-22 02:48:15
IDJOB=4244823
IDBENCH=115914
IDSOLVER=2625
FILE ID=node124/4244823-1500684495
RUNJOBID= node124-1500683887-7652
PBS_JOBID= 20623343
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.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-4244823-1500684495/watcher-4244823-1500684495 -o /tmp/evaluation-result-4244823-1500684495/solver-4244823-1500684495 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1038799451 HOME/instance-4244823-1500684495.xml

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=1038799451

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28173056 kB
MemAvailable:   28213192 kB
Buffers:           47952 kB
Cached:           303484 kB
SwapCached:            0 kB
Active:          3973312 kB
Inactive:         244692 kB
Active(anon):    3869204 kB
Inactive(anon):     8744 kB
Active(file):     104108 kB
Inactive(file):   235948 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8140 kB
Writeback:             0 kB
AnonPages:       3877656 kB
Mapped:            42560 kB
Shmem:              8840 kB
Slab:              64500 kB
SReclaimable:      31832 kB
SUnreclaim:        32668 kB
KernelStack:        5024 kB
PageTables:        13216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4738372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3741696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61992 MiB
End job on node124 at 2017-07-22 02:53:47