Trace number 4244824

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)SAT (TO)807 2400.33 327.931

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-4244824-1500684725.xml"  -tl '2400s' -p 8 -x 3
0.00/0.21	c [HOME/instance-4244824-1500684725.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.27	c 8 solvers in parallel
0.00/0.34	c parse instance...
13.00/5.52	c solve instance...
37.95/8.75	o 0 
40.28/9.32	o 4 
42.50/10.63	o 6 
42.50/10.65	o 8 
42.50/10.67	o 10 
42.50/10.69	o 12 
42.82/10.72	o 14 
58.61/12.72	o 16 
63.44/13.44	o 18 
82.19/15.81	o 20 
82.19/15.88	o 22 
119.34/20.80	o 24 
153.34/25.53	o 25 
153.34/25.56	o 26 
153.34/25.57	o 27 
153.34/25.59	o 28 
153.70/25.61	o 29 
153.70/25.63	o 30 
153.70/25.66	o 31 
153.70/25.69	o 32 
154.17/25.72	o 33 
154.17/25.74	o 34 
154.17/25.75	o 35 
154.17/25.77	o 36 
154.17/25.78	o 37 
154.17/25.79	o 38 
154.77/25.80	o 39 
154.77/25.82	o 40 
154.77/25.83	o 41 
154.77/25.84	o 42 
154.77/25.86	o 43 
154.77/25.87	o 44 
154.77/25.88	o 45 
155.36/25.93	o 46 
155.36/25.95	o 47 
155.36/25.96	o 48 
155.36/25.98	o 49 
155.36/25.99	o 50 
155.99/26.01	o 51 
155.99/26.02	o 52 
155.99/26.07	o 53 
155.99/26.09	o 54 
156.59/26.10	o 55 
156.59/26.11	o 56 
156.59/26.12	o 57 
156.59/26.14	o 58 
156.59/26.16	o 59 
157.21/26.42	o 60 
157.21/26.44	o 61 
157.21/26.45	o 62 
157.21/26.47	o 63 
157.21/26.49	o 64 
157.21/26.50	o 65 
157.64/26.52	o 66 
157.64/26.54	o 67 
157.64/26.55	o 68 
157.64/26.57	o 69 
157.64/26.59	o 70 
158.08/26.60	o 71 
158.08/26.62	o 72 
158.08/26.63	o 73 
158.08/26.65	o 74 
158.08/26.66	o 75 
158.08/26.69	o 76 
158.54/26.70	o 77 
158.54/26.72	o 78 
158.54/26.73	o 79 
158.54/26.75	o 80 
158.54/26.76	o 81 
158.54/26.78	o 82 
158.54/26.79	o 83 
159.00/26.81	o 84 
159.00/26.82	o 85 
159.00/26.83	o 86 
159.00/26.85	o 87 
159.00/26.86	o 88 
159.00/26.88	o 89 
220.04/34.58	o 90 
220.79/34.60	o 91 
220.79/34.61	o 92 
220.79/34.63	o 93 
220.79/34.64	o 94 
220.79/34.66	o 95 
220.79/34.68	o 96 
220.79/34.69	o 97 
221.39/34.71	o 98 
221.39/34.73	o 99 
221.39/34.75	o 100 
221.39/34.76	o 101 
221.39/34.78	o 102 
221.87/34.80	o 103 
221.87/34.82	o 104 
221.87/34.83	o 105 
221.87/34.84	o 106 
221.87/34.86	o 107 
221.87/34.88	o 108 
222.34/34.90	o 109 
222.34/34.92	o 110 
222.34/34.94	o 111 
222.34/34.95	o 112 
222.34/34.97	o 113 
222.34/34.98	o 114 
222.34/34.99	o 115 
222.84/35.01	o 116 
222.84/35.02	o 117 
222.84/35.03	o 118 
222.84/35.05	o 119 
222.84/35.07	o 120 
222.84/35.09	o 121 
223.37/35.12	o 122 
223.37/35.16	o 123 
223.37/35.18	o 124 
223.37/35.20	o 125 
223.97/35.21	o 126 
223.97/35.23	o 127 
223.97/35.24	o 128 
224.61/35.60	o 129 
224.61/35.62	o 130 
224.61/35.64	o 131 
224.61/35.66	o 132 
224.61/35.67	o 133 
224.61/35.69	o 134 
225.13/35.72	o 135 
225.13/35.73	o 136 
225.13/35.75	o 137 
225.13/35.77	o 138 
225.13/35.79	o 139 
225.62/35.80	o 140 
225.62/35.82	o 141 
225.62/35.83	o 142 
225.62/35.85	o 143 
225.62/35.88	o 144 
225.62/35.89	o 145 
226.15/35.91	o 146 
226.15/35.92	o 147 
226.15/35.94	o 148 
226.15/35.96	o 149 
226.15/35.99	o 150 
226.60/36.01	o 151 
226.60/36.02	o 152 
226.60/36.04	o 153 
226.60/36.06	o 154 
226.60/36.08	o 155 
227.09/36.11	o 156 
227.09/36.13	o 157 
227.09/36.15	o 158 
227.09/36.16	o 159 
227.09/36.18	o 160 
227.53/36.20	o 161 
227.53/36.22	o 162 
227.53/36.23	o 163 
227.53/36.25	o 164 
227.53/36.27	o 165 
227.53/36.30	o 166 
279.74/42.90	o 167 
280.57/42.92	o 168 
280.57/42.94	o 169 
280.57/42.96	o 170 
281.56/43.65	o 171 
281.56/43.67	o 172 
281.56/43.69	o 173 
281.84/43.71	o 174 
281.84/43.73	o 175 
281.84/43.75	o 176 
281.84/43.76	o 177 
281.84/43.78	o 178 
281.84/43.79	o 179 
282.31/43.81	o 180 
282.31/43.83	o 181 
282.31/43.85	o 182 
282.31/43.87	o 183 
282.31/43.88	o 184 
282.31/43.89	o 185 
282.86/43.91	o 186 
282.86/43.93	o 187 
282.86/43.95	o 188 
282.86/43.96	o 189 
282.86/43.98	o 190 
282.86/43.99	o 191 
283.50/44.01	o 192 
283.50/44.03	o 193 
283.50/44.04	o 194 
283.50/44.06	o 195 
283.50/44.07	o 196 
283.50/44.09	o 197 
284.00/44.11	o 198 
284.00/44.13	o 199 
284.00/44.17	o 200 
284.00/44.19	o 201 
284.49/44.20	o 202 
284.49/44.22	o 203 
284.49/44.24	o 204 
284.49/44.25	o 205 
284.49/44.27	o 206 
284.49/44.29	o 207 
285.11/44.30	o 208 
285.11/44.32	o 209 
285.11/44.33	o 210 
285.11/44.35	o 211 
285.11/44.36	o 212 
285.11/44.38	o 213 
285.11/44.39	o 214 
286.31/44.97	o 215 
286.31/44.99	o 216 
286.56/45.01	o 217 
286.56/45.02	o 218 
286.56/45.03	o 219 
286.56/45.05	o 220 
286.56/45.07	o 221 
286.56/45.08	o 222 
286.56/45.10	o 223 
287.20/45.11	o 224 
287.20/45.13	o 225 
287.20/45.14	o 226 
287.20/45.16	o 227 
287.20/45.17	o 228 
287.20/45.19	o 229 
287.20/45.20	o 230 
287.76/45.23	o 231 
287.76/45.24	o 232 
287.76/45.26	o 233 
287.76/45.28	o 234 
287.76/45.30	o 235 
288.30/45.31	o 236 
288.30/45.33	o 237 
288.30/45.34	o 238 
288.30/45.36	o 239 
288.30/45.37	o 240 
288.30/45.39	o 241 
288.85/45.41	o 242 
288.85/45.43	o 243 
288.85/45.44	o 244 
288.85/45.46	o 245 
288.85/45.47	o 246 
288.85/45.49	o 247 
289.44/45.50	o 248 
289.44/45.52	o 249 
289.44/45.54	o 250 
289.44/45.55	o 251 
289.44/45.56	o 252 
289.44/45.58	o 253 
289.44/45.59	o 254 
290.03/45.61	o 255 
290.03/45.63	o 256 
290.03/45.64	o 257 
290.03/45.65	o 258 
290.03/45.67	o 259 
290.03/45.69	o 260 
290.59/45.71	o 261 
290.59/45.73	o 262 
290.59/45.74	o 263 
290.59/45.76	o 264 
290.59/45.78	o 265 
290.59/45.79	o 266 
291.27/45.80	o 267 
291.27/45.82	o 268 
291.27/45.84	o 269 
291.27/45.86	o 270 
291.27/45.88	o 271 
291.27/45.90	o 272 
291.81/45.91	o 273 
291.81/45.93	o 274 
291.81/45.95	o 275 
291.81/45.97	o 276 
292.38/46.00	o 277 
292.64/46.30	o 278 
293.85/47.38	o 279 
293.85/47.40	o 280 
294.12/47.41	o 281 
294.12/47.43	o 282 
294.12/47.45	o 283 
294.12/47.47	o 284 
294.12/47.49	o 285 
294.59/47.50	o 286 
294.59/47.52	o 287 
294.59/47.54	o 288 
294.59/47.56	o 289 
294.59/47.58	o 290 
295.95/48.42	o 291 
295.95/48.44	o 292 
295.95/48.46	o 293 
295.95/48.48	o 294 
295.95/48.49	o 295 
296.48/48.51	o 296 
296.48/48.53	o 297 
296.48/48.55	o 298 
296.48/48.57	o 299 
296.48/48.59	o 300 
297.00/48.61	o 301 
297.00/48.63	o 302 
297.00/48.65	o 303 
297.00/48.67	o 304 
297.00/48.69	o 305 
297.57/48.71	o 306 
297.57/48.73	o 307 
297.57/48.75	o 308 
297.57/48.77	o 309 
297.57/48.78	o 310 
298.19/48.80	o 311 
298.19/48.82	o 312 
298.19/48.84	o 313 
298.19/48.86	o 314 
298.19/48.88	o 315 
298.19/48.90	o 316 
298.78/48.91	o 317 
298.78/48.93	o 318 
298.78/48.95	o 319 
298.78/48.96	o 320 
298.78/48.98	o 321 
299.37/49.00	o 322 
299.37/49.02	o 323 
299.37/49.04	o 324 
299.37/49.06	o 325 
299.37/49.08	o 326 
299.99/49.10	o 327 
299.99/49.12	o 328 
299.99/49.14	o 329 
299.99/49.16	o 330 
299.99/49.18	o 331 
300.60/49.20	o 332 
300.60/49.22	o 333 
300.60/49.23	o 334 
300.60/49.24	o 335 
300.60/49.26	o 336 
300.60/49.27	o 337 
300.60/49.29	o 338 
301.20/49.31	o 339 
301.20/49.32	o 340 
301.20/49.34	o 341 
301.20/49.37	o 342 
301.20/49.39	o 343 
301.83/49.40	o 344 
301.83/49.42	o 345 
301.83/49.44	o 346 
301.83/49.46	o 347 
301.83/49.48	o 348 
301.83/49.50	o 349 
302.43/49.52	o 350 
302.43/49.53	o 351 
302.43/49.55	o 352 
302.43/49.57	o 353 
302.43/49.59	o 354 
302.43/49.61	o 355 
303.00/49.63	o 356 
303.00/49.65	o 357 
303.00/49.66	o 358 
303.00/49.69	o 359 
303.57/49.71	o 360 
303.57/49.72	o 361 
303.57/49.74	o 362 
303.57/49.76	o 363 
303.57/49.78	o 364 
304.20/49.80	o 365 
304.20/49.81	o 366 
304.20/49.83	o 367 
304.20/49.85	o 368 
304.20/49.86	o 369 
304.20/49.88	o 370 
304.81/49.90	o 371 
304.81/49.92	o 372 
304.81/49.94	o 373 
304.81/49.96	o 374 
304.81/49.98	o 375 
304.81/50.00	o 376 
305.48/50.01	o 377 
305.48/50.03	o 378 
305.48/50.05	o 379 
305.48/50.07	o 380 
305.48/50.09	o 381 
306.17/50.10	o 382 
306.17/50.12	o 383 
306.17/50.14	o 384 
306.17/50.15	o 385 
306.17/50.17	o 386 
306.17/50.19	o 387 
306.77/50.21	o 388 
306.77/50.22	o 389 
306.77/50.24	o 390 
306.77/50.26	o 391 
306.77/50.28	o 392 
306.77/50.30	o 393 
307.42/50.31	o 394 
307.42/50.33	o 395 
307.42/50.35	o 396 
307.42/50.37	o 397 
307.42/50.39	o 398 
308.09/50.41	o 399 
308.09/50.43	o 400 
308.09/50.45	o 401 
308.09/50.47	o 402 
308.09/50.49	o 403 
308.78/50.51	o 404 
308.78/50.53	o 405 
308.78/50.55	o 406 
308.78/50.57	o 407 
308.78/50.59	o 408 
309.53/50.62	o 409 
309.53/50.64	o 410 
309.53/50.66	o 411 
309.53/50.68	o 412 
309.53/50.70	o 413 
309.53/50.72	o 414 
310.21/50.74	o 415 
310.21/50.75	o 416 
310.21/50.77	o 417 
310.21/50.79	o 418 
310.72/50.80	o 419 
310.72/50.82	o 420 
310.72/50.84	o 421 
310.72/50.86	o 422 
310.72/50.88	o 423 
311.41/50.90	o 424 
311.41/50.92	o 425 
311.41/50.95	o 426 
311.41/50.97	o 427 
311.41/50.99	o 428 
312.07/51.01	o 429 
312.07/51.05	o 430 
312.57/51.26	o 431 
313.76/52.34	o 432 
313.76/52.36	o 433 
313.76/52.38	o 434 
314.15/52.40	o 435 
314.15/52.43	o 436 
315.51/53.52	o 437 
315.51/53.54	o 438 
315.51/53.57	o 439 
315.51/53.59	o 440 
316.00/53.61	o 441 
316.00/53.63	o 442 
316.00/53.65	o 443 
316.00/53.67	o 444 
316.00/53.69	o 445 
316.69/53.71	o 446 
316.69/53.73	o 447 
316.69/53.75	o 448 
316.69/53.77	o 449 
316.69/53.79	o 450 
317.37/53.81	o 451 
317.37/53.83	o 452 
317.37/53.86	o 453 
317.37/53.88	o 454 
317.37/53.90	o 455 
318.10/53.93	o 456 
318.10/53.95	o 457 
318.10/53.97	o 458 
318.10/53.99	o 459 
318.73/54.02	o 460 
318.73/54.04	o 461 
318.73/54.06	o 462 
318.73/54.08	o 463 
319.28/54.11	o 464 
319.28/54.13	o 465 
319.28/54.15	o 466 
319.28/54.17	o 467 
319.28/54.19	o 468 
319.95/54.21	o 469 
319.95/54.24	o 470 
319.95/54.26	o 471 
319.95/54.28	o 472 
320.61/54.30	o 473 
320.61/54.32	o 474 
320.61/54.34	o 475 
320.61/54.37	o 476 
320.61/54.39	o 477 
321.26/54.41	o 478 
321.26/54.44	o 479 
321.26/54.46	o 480 
321.26/54.48	o 481 
321.93/54.50	o 482 
321.93/54.53	o 483 
321.93/54.55	o 484 
321.93/54.57	o 485 
321.93/54.59	o 486 
322.57/54.61	o 487 
322.57/54.63	o 488 
322.57/54.65	o 489 
322.57/54.68	o 490 
323.25/54.70	o 491 
323.25/54.72	o 492 
323.25/54.74	o 493 
323.25/54.75	o 494 
323.25/54.78	o 495 
323.92/54.80	o 496 
323.92/54.82	o 497 
323.92/54.84	o 498 
323.92/54.86	o 499 
323.92/54.88	o 500 
324.58/54.90	o 501 
324.58/54.92	o 502 
324.58/54.94	o 503 
324.58/54.96	o 504 
324.58/54.99	o 505 
324.58/55.01	o 506 
325.31/55.04	o 507 
325.31/55.06	o 508 
325.31/55.08	o 509 
325.31/55.10	o 510 
325.94/55.12	o 511 
325.94/55.15	o 512 
325.94/55.17	o 513 
325.94/55.19	o 514 
326.53/55.22	o 515 
326.53/55.24	o 516 
326.53/55.26	o 517 
326.53/55.28	o 518 
327.20/55.30	o 519 
327.20/55.33	o 520 
327.20/55.35	o 521 
327.20/55.37	o 522 
327.20/55.39	o 523 
327.82/55.42	o 524 
327.82/55.44	o 525 
327.82/55.46	o 526 
327.82/55.48	o 527 
328.49/55.50	o 528 
328.49/55.53	o 529 
328.49/55.55	o 530 
328.49/55.57	o 531 
328.49/55.59	o 532 
329.16/55.61	o 533 
329.16/55.63	o 534 
329.16/55.66	o 535 
329.16/55.68	o 536 
329.79/55.70	o 537 
329.79/55.72	o 538 
329.79/55.75	o 539 
329.79/55.77	o 540 
329.79/55.79	o 541 
330.44/55.82	o 542 
330.44/55.84	o 543 
330.44/55.87	o 544 
330.44/55.90	o 545 
331.08/55.92	o 546 
331.08/55.94	o 547 
331.08/55.97	o 548 
331.08/55.99	o 549 
331.77/56.04	o 550 
331.77/56.06	o 551 
331.77/56.08	o 552 
332.40/56.11	o 553 
332.40/56.13	o 554 
332.40/56.15	o 555 
332.40/56.17	o 556 
332.40/56.19	o 557 
333.03/56.22	o 558 
333.03/56.24	o 559 
333.03/56.26	o 560 
333.03/56.29	o 561 
333.65/56.31	o 562 
333.65/56.33	o 563 
333.65/56.38	o 564 
334.37/56.53	o 565 
335.51/57.56	o 566 
335.51/57.58	o 567 
335.81/57.61	o 568 
335.81/57.63	o 569 
335.81/57.66	o 570 
335.81/57.69	o 571 
336.41/57.71	o 572 
336.41/57.74	o 573 
336.41/57.76	o 574 
336.41/57.78	o 575 
337.12/57.81	o 576 
337.12/57.83	o 577 
337.12/57.86	o 578 
337.12/57.87	o 579 
337.12/57.89	o 580 
337.79/57.92	o 581 
337.79/57.94	o 582 
337.79/57.96	o 583 
337.79/57.99	o 584 
338.40/58.02	o 585 
338.40/58.04	o 586 
338.40/58.06	o 587 
339.04/58.10	o 588 
339.04/58.12	o 589 
339.04/58.15	o 590 
339.04/58.17	o 591 
339.04/58.19	o 592 
339.72/58.22	o 593 
339.72/58.25	o 594 
339.72/58.27	o 595 
339.72/58.30	o 596 
340.45/58.32	o 597 
340.45/58.34	o 598 
340.45/58.36	o 599 
340.45/58.38	o 600 
341.17/58.42	o 601 
341.17/58.44	o 602 
341.17/58.47	o 603 
341.17/58.49	o 604 
341.78/58.52	o 605 
341.78/58.54	o 606 
341.78/58.56	o 607 
341.78/58.59	o 608 
342.43/58.61	o 609 
342.43/58.63	o 610 
342.43/58.66	o 611 
342.43/58.68	o 612 
343.12/58.70	o 613 
343.12/58.73	o 614 
343.12/58.75	o 615 
343.12/58.78	o 616 
343.83/58.80	o 617 
343.83/58.82	o 618 
343.83/58.85	o 619 
343.83/58.89	o 620 
344.41/58.92	o 621 
344.41/58.94	o 622 
344.41/58.97	o 623 
344.41/58.99	o 624 
345.18/59.02	o 625 
345.18/59.04	o 626 
345.18/59.07	o 627 
345.18/59.09	o 628 
345.82/59.11	o 629 
345.82/59.14	o 630 
345.82/59.18	o 631 
346.52/59.32	o 632 
347.68/60.35	o 633 
347.68/60.38	o 634 
348.05/60.43	o 635 
348.05/60.45	o 636 
348.05/60.48	o 637 
348.05/60.50	o 638 
348.63/60.53	o 639 
348.63/60.55	o 640 
348.63/60.58	o 641 
349.30/60.61	o 642 
349.30/60.63	o 643 
349.30/60.67	o 644 
349.30/60.69	o 645 
349.88/60.72	o 646 
349.88/60.74	o 647 
349.88/60.77	o 648 
349.88/60.79	o 649 
350.58/60.82	o 650 
350.58/60.84	o 651 
350.58/60.87	o 652 
350.58/60.90	o 653 
351.26/60.92	o 654 
351.26/60.95	o 655 
351.26/60.97	o 656 
351.97/61.00	o 657 
351.97/61.02	o 658 
351.97/61.05	o 659 
351.97/61.07	o 660 
352.70/61.10	o 661 
352.70/61.14	o 662 
352.70/61.16	o 663 
352.70/61.19	o 664 
353.35/61.21	o 665 
353.35/61.24	o 666 
355.69/63.10	o 667 
355.69/63.12	o 668 
355.69/63.15	o 669 
355.69/63.17	o 670 
355.69/63.19	o 671 
356.37/63.22	o 672 
356.37/63.26	o 673 
356.37/63.28	o 674 
357.03/63.31	o 675 
357.03/63.33	o 676 
357.03/63.36	o 677 
357.03/63.39	o 678 
357.67/63.41	o 679 
357.67/63.44	o 680 
357.67/63.46	o 681 
357.67/63.49	o 682 
358.33/63.51	o 683 
358.33/63.54	o 684 
358.33/63.56	o 685 
358.33/63.59	o 686 
359.03/63.62	o 687 
359.03/63.65	o 688 
359.03/63.68	o 689 
359.67/63.71	o 690 
359.67/63.74	o 691 
359.67/63.77	o 692 
359.67/63.79	o 693 
360.40/63.82	o 694 
361.63/64.80	o 695 
361.63/64.82	o 696 
361.63/64.85	o 697 
361.63/64.87	o 698 
361.63/64.90	o 699 
362.40/64.93	o 700 
362.40/64.95	o 701 
362.40/64.98	o 702 
363.10/65.02	o 703 
363.10/65.04	o 704 
363.10/65.07	o 705 
363.69/65.10	o 706 
363.69/65.13	o 707 
363.69/65.16	o 708 
363.69/65.18	o 709 
364.36/65.21	o 710 
364.36/65.23	o 711 
364.36/65.26	o 712 
364.36/65.29	o 713 
365.07/65.32	o 714 
365.07/65.34	o 715 
365.07/65.37	o 716 
365.76/65.41	o 717 
365.76/65.44	o 718 
367.23/66.47	o 719 
367.47/66.50	o 720 
367.47/66.54	o 721 
367.47/66.56	o 722 
367.47/66.59	o 723 
368.15/66.62	o 724 
368.15/66.65	o 725 
368.15/66.67	o 726 
368.89/66.71	o 727 
369.16/66.89	o 728 
370.41/67.92	o 729 
370.41/67.94	o 730 
370.41/67.97	o 731 
371.01/68.00	o 732 
371.01/68.03	o 733 
371.01/68.07	o 734 
371.01/68.09	o 735 
371.62/68.12	o 736 
371.62/68.15	o 737 
371.62/68.18	o 738 
372.39/68.21	o 739 
372.39/68.24	o 740 
372.39/68.27	o 741 
372.39/68.29	o 742 
373.03/68.31	o 743 
373.03/68.33	o 744 
373.03/68.35	o 745 
373.03/68.37	o 746 
373.03/68.39	o 747 
373.63/68.42	o 748 
373.63/68.44	o 749 
373.63/68.46	o 750 
373.63/68.48	o 751 
374.29/68.51	o 752 
374.29/68.54	o 753 
374.29/68.56	o 754 
374.29/68.58	o 755 
374.94/68.60	o 756 
374.94/68.63	o 757 
374.94/68.65	o 758 
374.94/68.67	o 759 
374.94/68.69	o 760 
375.62/68.72	o 761 
375.62/68.74	o 762 
375.62/68.77	o 763 
376.69/69.35	o 764 
376.69/69.37	o 765 
377.06/69.42	o 766 
377.06/69.44	o 767 
377.06/69.46	o 768 
377.06/69.48	o 769 
377.62/69.50	o 770 
377.62/69.53	o 771 
377.62/69.55	o 772 
377.62/69.59	o 773 
378.15/69.62	o 774 
378.15/69.65	o 775 
378.15/69.67	o 776 
378.77/69.70	o 777 
378.77/69.72	o 778 
378.77/69.75	o 779 
378.77/69.77	o 780 
378.77/69.80	o 781 
379.37/69.82	o 782 
379.37/69.84	o 783 
379.37/69.86	o 784 
379.37/69.88	o 785 
380.08/69.92	o 786 
380.08/69.94	o 787 
380.08/69.97	o 788 
380.08/69.99	o 789 
380.69/70.01	o 790 
380.69/70.05	o 791 
381.11/70.16	o 792 
382.24/71.17	o 793 
382.45/71.21	o 794 
382.45/71.23	o 795 
382.45/71.25	o 796 
382.45/71.27	o 797 
383.06/71.30	o 798 
383.29/71.43	o 799 
384.43/72.43	o 800 
384.43/72.46	o 801 
384.77/72.60	o 802 
385.98/73.61	o 803 
385.98/73.64	o 804 
389.28/74.91	o 805 
389.73/75.08	o 806 
407.34/77.34	o 807 
2400.33/327.97	s SATISFIABLE
2400.33/327.97	v <instantiation>
2400.33/327.97	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.33/327.97	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.33/327.97	v </instantiation>
2400.33/327.97	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-4244824-1500684725/watcher-4244824-1500684725 -o /tmp/evaluation-result-4244824-1500684725/solver-4244824-1500684725 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 20065244 HOME/instance-4244824-1500684725.xml 

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

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


[startup+0 s]
/proc/loadavg: 14.92 15.01 10.84 10/272 20304
/proc/meminfo: memFree=29263352/32770624 swapFree=5804/220808
[pid=20304] ppid=20301 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20304/stat : 20304 (xcsp3-exec) S 20301 20304 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3738784 9740288 346 33554432000 4194304 5098028 140728594313648 140728594311752 139876292518524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21569536 140728594318480 140728594318688 140728594318688 140728594321387 0
/proc/20304/statm: 2378 346 289 221 0 87 0

[startup+0.100099 s]
/proc/loadavg: 14.92 15.01 10.84 10/272 20304
/proc/meminfo: memFree=29263352/32770624 swapFree=5804/220808
[pid=20304] ppid=20301 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20304/stat : 20304 (xcsp3-exec) S 20301 20304 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3738784 9740288 346 33554432000 4194304 5098028 140728594313648 140728594311752 139876292518524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21569536 140728594318480 140728594318688 140728594318688 140728594321387 0
/proc/20304/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200284 s]
/proc/loadavg: 14.92 15.01 10.84 10/272 20304
/proc/meminfo: memFree=29263352/32770624 swapFree=5804/220808
[pid=20304] ppid=20301 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20304/stat : 20304 (xcsp3-exec) S 20301 20304 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3738784 9740288 346 33554432000 4194304 5098028 140728594313648 140728594311752 139876292518524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21569536 140728594318480 140728594318688 140728594318688 140728594321387 0
/proc/20304/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300245 s]
/proc/loadavg: 14.92 15.01 10.84 10/272 20304
/proc/meminfo: memFree=29263352/32770624 swapFree=5804/220808
[pid=20304] ppid=20301 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20304/stat : 20304 (xcsp3-exec) S 20301 20304 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3738784 9740288 346 33554432000 4194304 5098028 140728594313648 140728594311752 139876292518524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21569536 140728594318480 140728594318688 140728594318688 140728594321387 0
/proc/20304/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70019 s]
/proc/loadavg: 14.92 15.01 10.84 10/272 20304
/proc/meminfo: memFree=29263352/32770624 swapFree=5804/220808
[pid=20304] ppid=20301 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20304/stat : 20304 (xcsp3-exec) S 20301 20304 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3738784 9740288 346 33554432000 4194304 5098028 140728594313648 140728594311752 139876292518524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21569536 140728594318480 140728594318688 140728594318688 140728594321387 0
/proc/20304/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50075 s]
/proc/loadavg: 14.92 15.01 10.84 10/293 20325
/proc/meminfo: memFree=29149372/32770624 swapFree=5804/220928
[pid=20304] ppid=20301 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20304/stat : 20304 (xcsp3-exec) S 20301 20304 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3738784 9740288 346 33554432000 4194304 5098028 140728594313648 140728594311752 139876292518524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21569536 140728594318480 140728594318688 140728594318688 140728594321387 0
/proc/20304/statm: 2378 346 289 221 0 87 0
[pid=20305] ppid=20304 vsize=13269256 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/20305/stat : 20305 (java) S 20304 20304 14782 0 -1 1077944320 19234 0 0 0 371 8 0 0 20 0 20 0 3738784 13587718144 40192 33554432000 4194304 4196468 140736208297904 140736208280448 140607458852599 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
/proc/20305/statm: 3317314 40192 3223 1 0 3304547 0
[pid=20305/tid=20306] ppid=20304 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20306/stat : 20306 (java) R 20304 20304 14782 0 -1 4202560 8262 0 0 0 142 5 0 0 20 0 20 0 3738785 13587718144 40192 33554432000 4194304 4196468 140736208297904 140607463086008 140607051233193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20308] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20308/stat : 20308 (java) S 20304 20304 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3738786 13587718144 40192 33554432000 4194304 4196468 140736208297904 140607377333264 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20309] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20309/stat : 20309 (java) S 20304 20304 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3738786 13587718144 40192 33554432000 4194304 4196468 140736208297904 140607376280720 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20310] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20310/stat : 20310 (java) S 20304 20304 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3738786 13587718144 40192 33554432000 4194304 4196468 140736208297904 140607375227664 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20311] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20311/stat : 20311 (java) S 20304 20304 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3738786 13587718144 40192 33554432000 4194304 4196468 140736208297904 140607374175120 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20312] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20312/stat : 20312 (java) S 20304 20304 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3738786 13587718144 40192 33554432000 4194304 4196468 140736208297904 140607373122064 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20313] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20313/stat : 20313 (java) S 20304 20304 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3738786 13587718144 40192 33554432000 4194304 4196468 140736208297904 140607372069520 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20314] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20314/stat : 20314 (java) S 20304 20304 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3738786 13587718144 40192 33554432000 4194304 4196468 140736208297904 140607371016464 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20315] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20315/stat : 20315 (java) S 20304 20304 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3738786 13587718144 40192 33554432000 4194304 4196468 140736208297904 140607369963920 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20316] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20316/stat : 20316 (java) S 20304 20304 14782 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 3738788 13587718144 40192 33554432000 4194304 4196468 140736208297904 140606921128688 140607458863746 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20317] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20317/stat : 20317 (java) S 20304 20304 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3738789 13587718144 40192 33554432000 4194304 4196468 140736208297904 140606920074912 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20318] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20318/stat : 20318 (java) S 20304 20304 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3738789 13587718144 40192 33554432000 4194304 4196468 140736208297904 140606919021808 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20319] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20319/stat : 20319 (java) S 20304 20304 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3738793 13587718144 40192 33554432000 4194304 4196468 140736208297904 140606917970384 140607458871195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20320] ppid=20304 vsize=13269256 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20320/stat : 20320 (java) R 20304 20304 14782 0 -1 4202560 2298 0 0 0 58 0 0 0 20 0 20 0 3738793 13587718144 40192 33554432000 4194304 4196468 140736208297904 140606916910680 140607442844793 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20321] ppid=20304 vsize=13269256 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20321/stat : 20321 (java) R 20304 20304 14782 0 -1 4202560 2874 0 0 0 57 0 0 0 20 0 20 0 3738793 13587718144 40192 33554432000 4194304 4196468 140736208297904 140606915851760 140607438091072 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20322] ppid=20304 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20322/stat : 20322 (java) R 20304 20304 14782 0 -1 4202560 1744 0 0 0 53 0 0 0 20 0 20 0 3738793 13587718144 40192 33554432000 4194304 4196468 140736208297904 140606914797984 140607438099028 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20323] ppid=20304 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20323/stat : 20323 (java) S 20304 20304 14782 0 -1 1077944384 2713 0 0 0 59 1 0 0 20 0 20 0 3738793 13587718144 40192 33554432000 4194304 4196468 140736208297904 140606913759344 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20324] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20324/stat : 20324 (java) S 20304 20304 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3738794 13587718144 40192 33554432000 4194304 4196468 140736208297904 140606912707552 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20325] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20325/stat : 20325 (java) S 20304 20304 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 3738794 13587718144 40192 33554432000 4194304 4196468 140736208297904 140606911655088 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 13278768

[startup+3.10085 s]
/proc/loadavg: 14.92 15.01 10.84 12/293 20325
/proc/meminfo: memFree=29031600/32770624 swapFree=5804/221092
[pid=20304] ppid=20301 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20304/stat : 20304 (xcsp3-exec) S 20301 20304 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3738784 9740288 346 33554432000 4194304 5098028 140728594313648 140728594311752 139876292518524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21569536 140728594318480 140728594318688 140728594318688 140728594321387 0
/proc/20304/statm: 2378 346 289 221 0 87 0
[pid=20305] ppid=20304 vsize=13269256 CPUtime=8.66 cores=0,2,4,6,8,10,12,14
/proc/20305/stat : 20305 (java) S 20304 20304 14782 0 -1 1077944320 24953 0 0 0 810 56 0 0 20 0 20 0 3738784 13587718144 74071 33554432000 4194304 4196468 140736208297904 140736208280448 140607458852599 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
/proc/20305/statm: 3317314 74071 3254 1 0 3304547 0
[pid=20305/tid=20306] ppid=20304 vsize=13269256 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20306/stat : 20306 (java) R 20304 20304 14782 0 -1 4202560 8628 0 0 0 289 5 0 0 20 0 20 0 3738785 13587718144 74071 33554432000 4194304 4196468 140736208297904 140607463089016 140607047983931 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20308] ppid=20304 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20308/stat : 20308 (java) S 20304 20304 14782 0 -1 1077944384 191 0 0 0 4 5 0 0 20 0 20 0 3738786 13587718144 74071 33554432000 4194304 4196468 140736208297904 140607377333264 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20309] ppid=20304 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20309/stat : 20309 (java) S 20304 20304 14782 0 -1 1077944384 75 0 0 0 5 4 0 0 20 0 20 0 3738786 13587718144 74071 33554432000 4194304 4196468 140736208297904 140607376280720 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20310] ppid=20304 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20310/stat : 20310 (java) S 20304 20304 14782 0 -1 1077944384 81 0 0 0 5 6 0 0 20 0 20 0 3738786 13587718144 74071 33554432000 4194304 4196468 140736208297904 140607375227664 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20311] ppid=20304 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20311/stat : 20311 (java) S 20304 20304 14782 0 -1 1077944384 92 0 0 0 5 6 0 0 20 0 20 0 3738786 13587718144 74071 33554432000 4194304 4196468 140736208297904 140607374175120 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20312] ppid=20304 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20312/stat : 20312 (java) S 20304 20304 14782 0 -1 1077944384 199 0 0 0 5 5 0 0 20 0 20 0 3738786 13587718144 74071 33554432000 4194304 4196468 140736208297904 140607373122064 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20313] ppid=20304 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20313/stat : 20313 (java) S 20304 20304 14782 0 -1 1077944384 94 0 0 0 6 5 0 0 20 0 20 0 3738786 13587718144 74071 33554432000 4194304 4196468 140736208297904 140607372069520 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20314] ppid=20304 vsize=13269256 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20314/stat : 20314 (java) S 20304 20304 14782 0 -1 1077944384 136 0 0 0 5 6 0 0 20 0 20 0 3738786 13587718144 74071 33554432000 4194304 4196468 140736208297904 140607371016464 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20315] ppid=20304 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20315/stat : 20315 (java) S 20304 20304 14782 0 -1 1077944384 89 0 0 0 5 5 0 0 20 0 20 0 3738786 13587718144 74071 33554432000 4194304 4196468 140736208297904 140607369963920 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20316] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20316/stat : 20316 (java) S 20304 20304 14782 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 20 0 3738788 13587718144 74071 33554432000 4194304 4196468 140736208297904 140606921128688 140607458863746 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20317] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20317/stat : 20317 (java) S 20304 20304 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 3738789 13587718144 74071 33554432000 4194304 4196468 140736208297904 140606920074976 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20318] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20318/stat : 20318 (java) S 20304 20304 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 3738789 13587718144 74071 33554432000 4194304 4196468 140736208297904 140606919021824 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20319] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20319/stat : 20319 (java) S 20304 20304 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3738793 13587718144 74071 33554432000 4194304 4196468 140736208297904 140606917970384 140607458871195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20320] ppid=20304 vsize=13269256 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20320/stat : 20320 (java) S 20304 20304 14782 0 -1 1077944384 3393 0 0 0 135 0 0 0 20 0 20 0 3738793 13587718144 74071 33554432000 4194304 4196468 140736208297904 140606916917488 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20321] ppid=20304 vsize=13269256 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20321/stat : 20321 (java) S 20304 20304 14782 0 -1 1077944384 4257 0 0 0 136 0 0 0 20 0 20 0 3738793 13587718144 74071 33554432000 4194304 4196468 140736208297904 140606915864944 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20322] ppid=20304 vsize=13269256 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20322/stat : 20322 (java) S 20304 20304 14782 0 -1 1077944384 2997 0 0 0 129 0 0 0 20 0 20 0 3738793 13587718144 74071 33554432000 4194304 4196468 140736208297904 140606914811888 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20323] ppid=20304 vsize=13269256 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20323/stat : 20323 (java) S 20304 20304 14782 0 -1 1077944384 3179 0 0 0 74 1 0 0 20 0 20 0 3738793 13587718144 74071 33554432000 4194304 4196468 140736208297904 140606913759344 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20324] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20324/stat : 20324 (java) S 20304 20304 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3738794 13587718144 74071 33554432000 4194304 4196468 140736208297904 140606912707552 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20325] ppid=20304 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20325/stat : 20325 (java) S 20304 20304 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 3738794 13587718144 74071 33554432000 4194304 4196468 140736208297904 140606911655088 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 13278768

[startup+6.3011 s]
/proc/loadavg: 14.36 14.89 10.82 13/293 20325
/proc/meminfo: memFree=28719660/32770624 swapFree=5804/221092
[pid=20304] ppid=20301 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20304/stat : 20304 (xcsp3-exec) S 20301 20304 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3738784 9740288 346 33554432000 4194304 5098028 140728594313648 140728594311752 139876292518524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21569536 140728594318480 140728594318688 140728594318688 140728594321387 0
/proc/20304/statm: 2378 346 289 221 0 87 0
[pid=20305] ppid=20304 vsize=13801768 CPUtime=18.95 cores=0,2,4,6,8,10,12,14
/proc/20305/stat : 20305 (java) S 20304 20304 14782 0 -1 1077944320 27819 0 0 0 1782 113 0 0 20 0 28 0 3738784 14133010432 127469 33554432000 4194304 4196468 140736208297904 140736208280448 140607458852599 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
/proc/20305/statm: 3450442 127469 3262 1 0 3437675 0
[pid=20305/tid=20306] ppid=20304 vsize=13801768 CPUtime=5.25 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20306/stat : 20306 (java) S 20304 20304 14782 0 -1 1077944384 8897 0 0 0 518 7 0 0 20 0 28 0 3738785 14133010432 127469 33554432000 4194304 4196468 140736208297904 140607463093376 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20308] ppid=20304 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20308/stat : 20308 (java) S 20304 20304 14782 0 -1 1077944384 316 0 0 0 10 12 0 0 20 0 28 0 3738786 14133010432 127469 33554432000 4194304 4196468 140736208297904 140607377333264 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20309] ppid=20304 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20309/stat : 20309 (java) S 20304 20304 14782 0 -1 1077944384 135 0 0 0 10 10 0 0 20 0 28 0 3738786 14133010432 127469 33554432000 4194304 4196468 140736208297904 140607376280720 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20310] ppid=20304 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20310/stat : 20310 (java) S 20304 20304 14782 0 -1 1077944384 145 0 0 0 10 13 0 0 20 0 28 0 3738786 14133010432 127469 33554432000 4194304 4196468 140736208297904 140607375227664 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20311] ppid=20304 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20311/stat : 20311 (java) S 20304 20304 14782 0 -1 1077944384 198 0 0 0 12 12 0 0 20 0 28 0 3738786 14133010432 127469 33554432000 4194304 4196468 140736208297904 140607374175120 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20312] ppid=20304 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20312/stat : 20312 (java) S 20304 20304 14782 0 -1 1077944384 302 0 0 0 10 13 0 0 20 0 28 0 3738786 14133010432 127469 33554432000 4194304 4196468 140736208297904 140607373122064 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20313] ppid=20304 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20313/stat : 20313 (java) S 20304 20304 14782 0 -1 1077944384 164 0 0 0 11 11 0 0 20 0 28 0 3738786 14133010432 127469 33554432000 4194304 4196468 140736208297904 140607372069520 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20314] ppid=20304 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20314/stat : 20314 (java) S 20304 20304 14782 0 -1 1077944384 225 0 0 0 11 12 0 0 20 0 28 0 3738786 14133010432 127469 33554432000 4194304 4196468 140736208297904 140607371016464 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20315] ppid=20304 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20315/stat : 20315 (java) S 20304 20304 14782 0 -1 1077944384 170 0 0 0 12 11 0 0 20 0 28 0 3738786 14133010432 127469 33554432000 4194304 4196468 140736208297904 140607369963920 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20316] ppid=20304 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20316/stat : 20316 (java) S 20304 20304 14782 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 28 0 3738788 14133010432 127469 33554432000 4194304 4196468 140736208297904 140606921128688 140607458863746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20317] ppid=20304 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20317/stat : 20317 (java) S 20304 20304 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3738789 14133010432 127469 33554432000 4194304 4196468 140736208297904 140606920074976 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20318] ppid=20304 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20318/stat : 20318 (java) S 20304 20304 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3738789 14133010432 127469 33554432000 4194304 4196468 140736208297904 140606919021824 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20319] ppid=20304 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20319/stat : 20319 (java) S 20304 20304 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3738793 14133010432 127469 33554432000 4194304 4196468 140736208297904 140606917970384 140607458871195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0

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

[pid=20305/tid=26701] ppid=20304 vsize=13870380 CPUtime=203.51 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26701/stat : 26701 (java) R 20304 20304 14782 0 -1 4202560 2570 0 0 0 20351 0 0 0 20 0 28 0 3746519 14203269120 698843 33554432000 4194304 4196468 140736208297904 140606902588456 140607055445323 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26702] ppid=20304 vsize=13870380 CPUtime=203.25 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26702/stat : 26702 (java) R 20304 20304 14782 0 -1 4202560 1417 0 0 0 20325 0 0 0 20 0 28 0 3746519 14203269120 698843 33554432000 4194304 4196468 140736208297904 140606898378120 140607055813002 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
Current children cumulated CPU time (s) 2037.73
Current children cumulated vsize (KiB) 13879892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+327.92 s]
/proc/loadavg: 15.96 15.35 12.17 17/299 26990
/proc/meminfo: memFree=28906604/32770624 swapFree=5804/221600
[pid=20304] ppid=20301 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20304/stat : 20304 (xcsp3-exec) S 20301 20304 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3738784 9740288 346 33554432000 4194304 5098028 140728594313648 140728594311752 139876292518524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21569536 140728594318480 140728594318688 140728594318688 140728594321387 0
/proc/20304/statm: 2378 346 289 221 0 87 0
[pid=20305] ppid=20304 vsize=13870380 CPUtime=2400.33 cores=0,2,4,6,8,10,12,14
/proc/20305/stat : 20305 (java) S 20304 20304 14782 0 -1 1077944320 242118 0 0 0 239622 411 0 0 20 0 28 0 3738784 14203269120 694814 33554432000 4194304 4196468 140736208297904 140736208280448 140607458852599 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
/proc/20305/statm: 3467595 694814 3288 1 0 3454828 0
[pid=20305/tid=20306] ppid=20304 vsize=13870380 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20306/stat : 20306 (java) S 20304 20304 14782 0 -1 1077944384 11080 0 0 0 613 13 0 0 20 0 28 0 3738785 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607463093312 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20308] ppid=20304 vsize=13870380 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20308/stat : 20308 (java) S 20304 20304 14782 0 -1 1077944384 2304 0 0 0 52 24 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607377333264 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20309] ppid=20304 vsize=13870380 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20309/stat : 20309 (java) S 20304 20304 14782 0 -1 1077944384 1893 0 0 0 49 24 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607376280720 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20310] ppid=20304 vsize=13870380 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20310/stat : 20310 (java) S 20304 20304 14782 0 -1 1077944384 3147 0 0 0 52 27 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607375227664 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20311] ppid=20304 vsize=13870380 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20311/stat : 20311 (java) S 20304 20304 14782 0 -1 1077944384 1011 0 0 0 53 24 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607374175120 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20312] ppid=20304 vsize=13870380 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20312/stat : 20312 (java) S 20304 20304 14782 0 -1 1077944384 2000 0 0 0 53 26 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607373122064 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20313] ppid=20304 vsize=13870380 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20313/stat : 20313 (java) S 20304 20304 14782 0 -1 1077944384 2321 0 0 0 55 24 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607372069520 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20314] ppid=20304 vsize=13870380 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20314/stat : 20314 (java) S 20304 20304 14782 0 -1 1077944384 1632 0 0 0 51 25 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607371016464 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20315] ppid=20304 vsize=13870380 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20315/stat : 20315 (java) S 20304 20304 14782 0 -1 1077944384 1580 0 0 0 49 23 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607369963920 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20316] ppid=20304 vsize=13870380 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20316/stat : 20316 (java) S 20304 20304 14782 0 -1 1077944384 7326 0 0 0 22 34 0 0 20 0 28 0 3738788 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606921128688 140607458863746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20317] ppid=20304 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20317/stat : 20317 (java) S 20304 20304 14782 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3738789 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606920074976 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20318] ppid=20304 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20318/stat : 20318 (java) S 20304 20304 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3738789 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606919021824 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20319] ppid=20304 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20319/stat : 20319 (java) S 20304 20304 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3738793 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606917970384 140607458871195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20320] ppid=20304 vsize=13870380 CPUtime=5.87 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20320/stat : 20320 (java) S 20304 20304 14782 0 -1 1077944384 31268 0 0 0 584 3 0 0 20 0 28 0 3738793 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606916917488 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20321] ppid=20304 vsize=13870380 CPUtime=5.9 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20321/stat : 20321 (java) S 20304 20304 14782 0 -1 1077944384 37457 0 0 0 586 4 0 0 20 0 28 0 3738793 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606915864944 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20322] ppid=20304 vsize=13870380 CPUtime=5.33 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20322/stat : 20322 (java) S 20304 20304 14782 0 -1 1077944384 26011 0 0 0 531 2 0 0 20 0 28 0 3738793 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606914811888 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20323] ppid=20304 vsize=13870380 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20323/stat : 20323 (java) S 20304 20304 14782 0 -1 1077944384 22810 0 0 0 166 4 0 0 20 0 28 0 3738793 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606913759344 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20324] ppid=20304 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20324/stat : 20324 (java) S 20304 20304 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3738794 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606912707552 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20325] ppid=20304 vsize=13870380 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20325/stat : 20325 (java) S 20304 20304 14782 0 -1 1077944384 1680 0 0 0 9 8 0 0 20 0 28 0 3738794 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606911655088 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26695] ppid=20304 vsize=13870380 CPUtime=249.25 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26695/stat : 26695 (java) R 20304 20304 14782 0 -1 4202560 3171 0 0 0 24923 2 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606900482504 140607055973572 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26696] ppid=20304 vsize=13870380 CPUtime=248.79 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26696/stat : 26696 (java) R 20304 20304 14782 0 -1 4202560 2519 0 0 0 24879 0 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606896272552 140607048991675 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26697] ppid=20304 vsize=13870380 CPUtime=247.36 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26697/stat : 26697 (java) R 20304 20304 14782 0 -1 4202560 1220 0 0 0 24736 0 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606903640512 140607049555746 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26698] ppid=20304 vsize=13870380 CPUtime=249.48 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26698/stat : 26698 (java) R 20304 20304 14782 0 -1 4202560 1420 0 0 0 24947 1 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606899430280 140607055445068 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26699] ppid=20304 vsize=13870380 CPUtime=248.03 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26699/stat : 26699 (java) R 20304 20304 14782 0 -1 4202560 8334 0 0 0 24800 3 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606897324312 140607049132264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26700] ppid=20304 vsize=13870380 CPUtime=249.49 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26700/stat : 26700 (java) R 20304 20304 14782 0 -1 4202560 1589 0 0 0 24948 1 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606901535560 140607058022569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26701] ppid=20304 vsize=13870380 CPUtime=248.89 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26701/stat : 26701 (java) R 20304 20304 14782 0 -1 4202560 2916 0 0 0 24889 0 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606902588680 140607055813565 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26702] ppid=20304 vsize=13870380 CPUtime=248.51 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26702/stat : 26702 (java) R 20304 20304 14782 0 -1 4202560 1635 0 0 0 24850 1 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606898380704 140607050102687 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
Current children cumulated CPU time (s) 2400.33
Current children cumulated vsize (KiB) 13879892

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

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

[startup+327.92 s]
/proc/loadavg: 15.96 15.35 12.17 17/299 26990
/proc/meminfo: memFree=28906604/32770624 swapFree=5804/221600
[pid=20304] ppid=20301 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20304/stat : 20304 (xcsp3-exec) S 20301 20304 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3738784 9740288 346 33554432000 4194304 5098028 140728594313648 140728594311752 139876292518524 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 21569536 140728594318480 140728594318688 140728594318688 140728594321387 0
/proc/20304/statm: 2378 346 289 221 0 87 0
[pid=20305] ppid=20304 vsize=13870380 CPUtime=2400.33 cores=0,2,4,6,8,10,12,14
/proc/20305/stat : 20305 (java) S 20304 20304 14782 0 -1 1077944320 242118 0 0 0 239622 411 0 0 20 0 28 0 3738784 14203269120 694814 33554432000 4194304 4196468 140736208297904 140736208280448 140607458852599 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
/proc/20305/statm: 3467595 694814 3288 1 0 3454828 0
[pid=20305/tid=20306] ppid=20304 vsize=13870380 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20306/stat : 20306 (java) S 20304 20304 14782 0 -1 1077944384 11080 0 0 0 613 13 0 0 20 0 28 0 3738785 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607463093312 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20308] ppid=20304 vsize=13870380 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20308/stat : 20308 (java) S 20304 20304 14782 0 -1 1077944384 2304 0 0 0 52 24 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607377333264 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20309] ppid=20304 vsize=13870380 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20309/stat : 20309 (java) S 20304 20304 14782 0 -1 1077944384 1893 0 0 0 49 24 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607376280720 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20310] ppid=20304 vsize=13870380 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20310/stat : 20310 (java) S 20304 20304 14782 0 -1 1077944384 3147 0 0 0 52 27 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607375227664 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20311] ppid=20304 vsize=13870380 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20311/stat : 20311 (java) S 20304 20304 14782 0 -1 1077944384 1011 0 0 0 53 24 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607374175120 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20312] ppid=20304 vsize=13870380 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20312/stat : 20312 (java) S 20304 20304 14782 0 -1 1077944384 2000 0 0 0 53 26 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607373122064 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20313] ppid=20304 vsize=13870380 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20313/stat : 20313 (java) S 20304 20304 14782 0 -1 1077944384 2321 0 0 0 55 24 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607372069520 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20314] ppid=20304 vsize=13870380 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20314/stat : 20314 (java) S 20304 20304 14782 0 -1 1077944384 1632 0 0 0 51 25 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607371016464 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20315] ppid=20304 vsize=13870380 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20315/stat : 20315 (java) S 20304 20304 14782 0 -1 1077944384 1580 0 0 0 49 23 0 0 20 0 28 0 3738786 14203269120 694814 33554432000 4194304 4196468 140736208297904 140607369963920 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20316] ppid=20304 vsize=13870380 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20316/stat : 20316 (java) S 20304 20304 14782 0 -1 1077944384 7326 0 0 0 22 34 0 0 20 0 28 0 3738788 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606921128688 140607458863746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20317] ppid=20304 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20317/stat : 20317 (java) S 20304 20304 14782 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3738789 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606920074976 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20318] ppid=20304 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20318/stat : 20318 (java) S 20304 20304 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3738789 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606919021824 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20319] ppid=20304 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20319/stat : 20319 (java) S 20304 20304 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3738793 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606917970384 140607458871195 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20320] ppid=20304 vsize=13870380 CPUtime=5.87 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20320/stat : 20320 (java) S 20304 20304 14782 0 -1 1077944384 31268 0 0 0 584 3 0 0 20 0 28 0 3738793 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606916917488 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20321] ppid=20304 vsize=13870380 CPUtime=5.9 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20321/stat : 20321 (java) S 20304 20304 14782 0 -1 1077944384 37457 0 0 0 586 4 0 0 20 0 28 0 3738793 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606915864944 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20322] ppid=20304 vsize=13870380 CPUtime=5.33 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20322/stat : 20322 (java) S 20304 20304 14782 0 -1 1077944384 26011 0 0 0 531 2 0 0 20 0 28 0 3738793 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606914811888 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20323] ppid=20304 vsize=13870380 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20323/stat : 20323 (java) S 20304 20304 14782 0 -1 1077944384 22810 0 0 0 166 4 0 0 20 0 28 0 3738793 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606913759344 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20324] ppid=20304 vsize=13870380 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20324/stat : 20324 (java) S 20304 20304 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3738794 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606912707552 140607458862805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=20325] ppid=20304 vsize=13870380 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/20305/task/20325/stat : 20325 (java) S 20304 20304 14782 0 -1 1077944384 1680 0 0 0 9 8 0 0 20 0 28 0 3738794 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606911655088 140607458863746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26695] ppid=20304 vsize=13870380 CPUtime=249.25 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26695/stat : 26695 (java) R 20304 20304 14782 0 -1 4202560 3171 0 0 0 24923 2 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606900482504 140607055973572 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26696] ppid=20304 vsize=13870380 CPUtime=248.79 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26696/stat : 26696 (java) R 20304 20304 14782 0 -1 4202560 2519 0 0 0 24879 0 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606896272552 140607048991675 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26697] ppid=20304 vsize=13870380 CPUtime=247.36 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26697/stat : 26697 (java) R 20304 20304 14782 0 -1 4202560 1220 0 0 0 24736 0 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606903640512 140607049555746 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26698] ppid=20304 vsize=13870380 CPUtime=249.48 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26698/stat : 26698 (java) R 20304 20304 14782 0 -1 4202560 1420 0 0 0 24947 1 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606899430280 140607055445068 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26699] ppid=20304 vsize=13870380 CPUtime=248.03 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26699/stat : 26699 (java) R 20304 20304 14782 0 -1 4202560 8334 0 0 0 24800 3 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606897324312 140607049132264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26700] ppid=20304 vsize=13870380 CPUtime=249.49 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26700/stat : 26700 (java) R 20304 20304 14782 0 -1 4202560 1589 0 0 0 24948 1 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606901535560 140607058022569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26701] ppid=20304 vsize=13870380 CPUtime=248.89 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26701/stat : 26701 (java) R 20304 20304 14782 0 -1 4202560 2916 0 0 0 24889 0 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606902588680 140607055813565 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
[pid=20305/tid=26702] ppid=20304 vsize=13870380 CPUtime=248.51 cores=0,2,4,6,8,10,12,14
/proc/20305/task/26702/stat : 26702 (java) R 20304 20304 14782 0 -1 4202560 1635 0 0 0 24850 1 0 0 20 0 28 0 3746519 14203269120 694814 33554432000 4194304 4196468 140736208297904 140606898380704 140607050102687 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14372864 140736208299196 140736208299372 140736208299372 140736208302031 0
Current children cumulated CPU time (s) 2400.33
Current children cumulated vsize (KiB) 13879892

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 327.931
CPU time (s): 2400.33
CPU user time (s): 2396.22
CPU system time (s): 4.11
CPU usage (%): 731.961
Max. virtual memory (cumulated for all children) (KiB): 13879892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001494
system time used= 0.002098
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 3.62178 second user time and 4.51062 second system time

The end

Launcher Data 

Begin job on node143 at 2017-07-22 02:52:05
IDJOB=4244824
IDBENCH=115914
IDSOLVER=2626
FILE ID=node143/4244824-1500684725
RUNJOBID= node143-1500683785-15435
PBS_JOBID= 20623040
Free space on /tmp= 61984 MiB

SOLVER NAME= choco-solver 5a
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-4244824-1500684725/watcher-4244824-1500684725 -o /tmp/evaluation-result-4244824-1500684725/solver-4244824-1500684725 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 20065244 HOME/instance-4244824-1500684725.xml

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=20065244

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

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

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

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

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

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

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

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

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

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

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

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

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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:        29263836 kB
MemAvailable:   29358444 kB
Buffers:           79400 kB
Cached:           314184 kB
SwapCached:            0 kB
Active:          2875940 kB
Inactive:         229544 kB
Active(anon):    2714828 kB
Inactive(anon):     8736 kB
Active(file):     161112 kB
Inactive(file):   220808 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7800 kB
Writeback:             8 kB
AnonPages:       2717524 kB
Mapped:            43008 kB
Shmem:              8852 kB
Slab:              90720 kB
SReclaimable:      57044 kB
SUnreclaim:        33676 kB
KernelStack:        4736 kB
PageTables:        10788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4517428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2586624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

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