Trace number 4281609

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
choco-solver 4.0.5 par (2017-08-18)SAT (TO)887 1840.08 252.11501

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-44.xml
MD5SUM4997da7be544d89c7d7e917a89d7c5a2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark887
Best CPU time to get the best result obtained on this benchmark1821.27
Satisfiable
(Un)Satisfiability was proved
Number of variables4279
Number of constraints2384
Number of domains4
Minimum domain size2
Maximum domain size4233
Distribution of domain sizes[{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}]
Minimum variable degree1
Maximum variable degree47
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}]
Minimum constraint arity2
Maximum constraint arity48
Distribution of constraint arities[{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}]
Number of extensional constraints2112
Number of intensional constraints221
Distribution of constraint types[{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281609-1503178751.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281609-1503178751.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.27	c parse instance...
11.46/5.68	c solve instance...
31.07/8.29	o 0 
31.76/8.31	o 4 
31.76/8.33	o 6 
31.76/8.35	o 8 
31.76/8.37	o 10 
31.76/8.38	o 12 
32.31/8.41	o 14 
32.31/8.44	o 16 
32.31/8.48	o 18 
32.96/8.57	o 20 
33.71/8.67	o 22 
35.27/8.82	o 24 
38.35/9.23	o 26 
42.25/9.73	o 28 
53.42/11.59	o 30 
66.27/13.20	o 32 
99.16/17.48	o 34 
172.52/26.75	o 36 
266.08/38.94	o 38 
296.03/42.73	o 39 
296.03/42.75	o 40 
296.03/42.76	o 41 
296.03/42.77	o 42 
296.03/42.79	o 43 
296.61/42.81	o 44 
296.61/42.82	o 45 
296.61/42.84	o 46 
296.61/42.85	o 47 
296.61/42.86	o 48 
296.61/42.87	o 49 
296.61/42.90	o 50 
297.01/42.91	o 51 
297.01/42.94	o 52 
297.01/42.96	o 53 
297.01/42.97	o 54 
297.01/42.98	o 55 
297.01/43.00	o 56 
297.37/43.02	o 57 
297.37/43.03	o 58 
297.37/43.05	o 59 
297.37/43.06	o 60 
297.37/43.07	o 61 
297.37/43.09	o 62 
297.77/43.11	o 63 
297.77/43.13	o 64 
297.77/43.14	o 65 
297.77/43.16	o 66 
297.77/43.17	o 67 
297.77/43.19	o 68 
298.14/43.20	o 69 
298.14/43.22	o 70 
298.14/43.23	o 71 
298.14/43.25	o 72 
298.14/43.27	o 73 
298.14/43.29	o 74 
298.49/43.30	o 75 
298.49/43.31	o 76 
298.49/43.32	o 77 
298.49/43.34	o 78 
298.49/43.36	o 79 
298.49/43.38	o 80 
298.89/43.40	o 81 
298.89/43.42	o 82 
298.89/43.43	o 83 
298.89/43.44	o 84 
298.89/43.45	o 85 
298.89/43.47	o 86 
298.89/43.48	o 87 
299.33/43.50	o 88 
299.33/43.51	o 89 
299.33/43.53	o 90 
299.33/43.54	o 91 
299.33/43.56	o 92 
299.33/43.57	o 93 
299.33/43.59	o 94 
299.33/43.60	o 95 
299.77/43.61	o 96 
299.77/43.63	o 97 
299.77/43.64	o 98 
299.77/43.65	o 99 
299.77/43.67	o 100 
299.77/43.68	o 101 
299.77/43.70	o 102 
300.17/43.71	o 103 
300.17/43.73	o 104 
300.17/43.75	o 105 
300.17/43.76	o 106 
300.17/43.78	o 107 
300.17/43.79	o 108 
300.59/43.81	o 109 
300.59/43.82	o 110 
300.59/43.84	o 111 
300.59/43.85	o 112 
300.59/43.87	o 113 
300.59/43.88	o 114 
300.59/43.89	o 115 
301.02/43.90	o 116 
301.02/43.91	o 117 
301.02/43.93	o 118 
301.02/43.94	o 119 
301.02/43.96	o 120 
301.02/43.97	o 121 
301.02/43.99	o 122 
301.48/44.02	o 123 
301.48/44.04	o 124 
301.48/44.05	o 125 
301.48/44.07	o 126 
301.48/44.08	o 127 
301.48/44.09	o 128 
301.93/44.11	o 129 
301.93/44.12	o 130 
301.93/44.14	o 131 
301.93/44.16	o 132 
301.93/44.17	o 133 
301.93/44.19	o 134 
301.93/44.21	o 135 
302.34/44.23	o 136 
302.34/44.24	o 137 
302.34/44.26	o 138 
302.34/44.28	o 139 
302.34/44.29	o 140 
302.74/44.30	o 141 
302.74/44.32	o 142 
302.74/44.35	o 143 
302.74/44.37	o 144 
303.16/44.59	o 145 
304.60/45.99	o 146 
304.60/46.01	o 147 
304.80/46.02	o 148 
304.80/46.04	o 149 
304.80/46.05	o 150 
304.80/46.06	o 151 
304.80/46.08	o 152 
304.80/46.09	o 153 
304.80/46.10	o 154 
305.28/46.11	o 155 
305.28/46.13	o 156 
305.28/46.15	o 157 
305.28/46.16	o 158 
305.28/46.17	o 159 
305.28/46.19	o 160 
305.28/46.20	o 161 
305.66/46.22	o 162 
305.66/46.23	o 163 
305.66/46.25	o 164 
305.66/46.26	o 165 
305.66/46.28	o 166 
306.04/46.30	o 167 
306.04/46.31	o 168 
306.04/46.33	o 169 
306.04/46.34	o 170 
306.04/46.35	o 171 
306.04/46.38	o 172 
306.04/46.39	o 173 
306.53/46.41	o 174 
306.53/46.42	o 175 
306.53/46.44	o 176 
306.53/46.46	o 177 
306.53/46.47	o 178 
306.53/46.48	o 179 
306.53/46.49	o 180 
306.99/46.51	o 181 
306.99/46.52	o 182 
306.99/46.54	o 183 
306.99/46.55	o 184 
306.99/46.57	o 185 
306.99/46.59	o 186 
307.39/46.61	o 187 
307.39/46.62	o 188 
307.39/46.63	o 189 
307.39/46.64	o 190 
307.39/46.66	o 191 
307.39/46.68	o 192 
307.39/46.69	o 193 
307.85/46.70	o 194 
307.85/46.71	o 195 
307.85/46.72	o 196 
307.85/46.74	o 197 
307.85/46.75	o 198 
307.85/46.76	o 199 
307.85/46.78	o 200 
307.85/46.79	o 201 
307.85/46.80	o 202 
308.35/46.81	o 203 
308.35/46.82	o 204 
308.35/46.84	o 205 
308.35/46.85	o 206 
308.35/46.86	o 207 
308.35/46.87	o 208 
308.35/46.88	o 209 
308.35/46.90	o 210 
308.86/46.91	o 211 
308.86/46.93	o 212 
308.86/46.95	o 213 
308.86/46.96	o 214 
308.86/46.98	o 215 
308.86/46.99	o 216 
308.86/47.01	o 217 
309.34/47.02	o 218 
309.34/47.04	o 219 
309.34/47.05	o 220 
309.34/47.06	o 221 
309.34/47.08	o 222 
309.34/47.09	o 223 
309.82/47.11	o 224 
309.82/47.12	o 225 
309.82/47.13	o 226 
309.82/47.14	o 227 
309.82/47.15	o 228 
309.82/47.16	o 229 
309.82/47.17	o 230 
309.82/47.19	o 231 
310.32/47.20	o 232 
310.32/47.21	o 233 
310.32/47.22	o 234 
310.32/47.24	o 235 
310.32/47.25	o 236 
310.32/47.26	o 237 
310.32/47.27	o 238 
310.32/47.29	o 239 
310.32/47.30	o 240 
310.81/47.31	o 241 
310.81/47.33	o 242 
310.81/47.34	o 243 
310.81/47.36	o 244 
310.81/47.38	o 245 
310.81/47.39	o 246 
311.34/47.40	o 247 
311.34/47.41	o 248 
311.34/47.43	o 249 
311.34/47.44	o 250 
311.34/47.46	o 251 
311.34/47.47	o 252 
311.34/47.48	o 253 
311.34/47.49	o 254 
311.34/47.50	o 255 
311.84/47.51	o 256 
311.84/47.52	o 257 
311.84/47.53	o 258 
311.84/47.55	o 259 
311.84/47.56	o 260 
311.84/47.57	o 261 
311.84/47.59	o 262 
311.84/47.60	o 263 
312.40/47.61	o 264 
312.40/47.63	o 265 
312.40/47.64	o 266 
312.40/47.65	o 267 
312.40/47.67	o 268 
312.40/47.69	o 269 
312.88/47.70	o 270 
312.88/47.71	o 271 
312.88/47.72	o 272 
312.88/47.74	o 273 
312.88/47.75	o 274 
312.88/47.76	o 275 
312.88/47.77	o 276 
312.88/47.78	o 277 
313.39/47.80	o 278 
313.39/47.81	o 279 
313.39/47.82	o 280 
313.39/47.83	o 281 
313.39/47.85	o 282 
313.39/47.86	o 283 
313.39/47.87	o 284 
313.39/47.88	o 285 
313.98/47.90	o 286 
313.98/47.91	o 287 
313.98/47.92	o 288 
313.98/47.94	o 289 
313.98/47.95	o 290 
313.98/47.96	o 291 
313.98/47.98	o 292 
313.98/47.99	o 293 
313.98/48.00	o 294 
314.55/48.02	o 295 
314.55/48.03	o 296 
314.55/48.04	o 297 
314.55/48.06	o 298 
314.55/48.07	o 299 
314.55/48.08	o 300 
314.55/48.10	o 301 
315.09/48.11	o 302 
315.09/48.13	o 303 
315.09/48.14	o 304 
315.09/48.16	o 305 
315.09/48.17	o 306 
315.09/48.19	o 307 
315.52/48.20	o 308 
315.52/48.21	o 309 
315.52/48.22	o 310 
315.52/48.24	o 311 
315.52/48.25	o 312 
315.52/48.27	o 313 
315.52/48.28	o 314 
315.52/48.29	o 315 
316.12/48.31	o 316 
316.12/48.32	o 317 
316.12/48.33	o 318 
316.12/48.34	o 319 
316.12/48.35	o 320 
316.12/48.37	o 321 
316.12/48.38	o 322 
316.12/48.39	o 323 
316.67/48.40	o 324 
316.67/48.42	o 325 
316.67/48.43	o 326 
316.67/48.44	o 327 
316.67/48.45	o 328 
316.67/48.47	o 329 
316.67/48.48	o 330 
317.18/48.50	o 331 
317.18/48.51	o 332 
317.18/48.52	o 333 
317.18/48.54	o 334 
317.18/48.55	o 335 
317.18/48.56	o 336 
317.18/48.57	o 337 
317.18/48.59	o 338 
317.69/48.61	o 339 
317.69/48.63	o 340 
317.69/48.65	o 341 
317.69/48.66	o 342 
317.69/48.67	o 343 
317.69/48.69	o 344 
318.24/48.70	o 345 
318.24/48.72	o 346 
318.24/48.74	o 347 
318.24/48.75	o 348 
318.24/48.76	o 349 
318.24/48.78	o 350 
318.24/48.79	o 351 
318.75/48.81	o 352 
318.75/48.82	o 353 
318.75/48.84	o 354 
318.75/48.86	o 355 
318.75/48.87	o 356 
318.75/48.88	o 357 
318.75/48.89	o 358 
319.22/48.91	o 359 
319.22/48.92	o 360 
319.22/48.93	o 361 
319.22/48.94	o 362 
319.22/48.98	o 363 
319.78/49.14	o 364 
321.13/50.48	o 365 
321.13/50.49	o 366 
321.35/50.51	o 367 
321.35/50.52	o 368 
321.35/50.54	o 369 
321.35/50.55	o 370 
321.35/50.56	o 371 
321.35/50.58	o 372 
321.35/50.60	o 373 
321.81/50.61	o 374 
321.81/50.62	o 375 
321.81/50.64	o 376 
321.81/50.65	o 377 
321.81/50.66	o 378 
321.81/50.68	o 379 
321.81/50.69	o 380 
322.38/50.71	o 381 
322.38/50.72	o 382 
322.38/50.74	o 383 
322.38/50.75	o 384 
322.38/50.76	o 385 
322.38/50.78	o 386 
322.38/50.79	o 387 
322.38/50.80	o 388 
322.94/50.82	o 389 
322.94/50.83	o 390 
322.94/50.85	o 391 
322.94/50.86	o 392 
322.94/50.88	o 393 
322.94/50.89	o 394 
323.48/50.91	o 395 
323.48/50.92	o 396 
323.48/50.93	o 397 
323.48/50.94	o 398 
323.48/50.96	o 399 
323.48/50.97	o 400 
323.48/50.98	o 401 
323.48/50.99	o 402 
323.48/51.01	o 403 
324.03/51.02	o 404 
324.03/51.03	o 405 
324.03/51.05	o 406 
324.03/51.06	o 407 
324.03/51.07	o 408 
324.03/51.08	o 409 
324.03/51.10	o 410 
324.57/51.11	o 411 
324.57/51.12	o 412 
324.57/51.13	o 413 
324.57/51.15	o 414 
324.57/51.17	o 415 
324.57/51.18	o 416 
324.57/51.20	o 417 
325.01/51.21	o 418 
325.01/51.22	o 419 
325.01/51.23	o 420 
325.01/51.24	o 421 
325.01/51.26	o 422 
325.01/51.27	o 423 
325.01/51.28	o 424 
325.60/51.30	o 425 
325.60/51.31	o 426 
325.60/51.33	o 427 
325.60/51.34	o 428 
325.60/51.35	o 429 
325.60/51.37	o 430 
325.60/51.38	o 431 
325.60/51.40	o 432 
326.12/51.42	o 433 
326.12/51.43	o 434 
326.12/51.44	o 435 
326.12/51.46	o 436 
326.12/51.47	o 437 
326.12/51.49	o 438 
326.65/51.50	o 439 
326.65/51.51	o 440 
326.65/51.52	o 441 
326.65/51.54	o 442 
326.65/51.55	o 443 
326.65/51.57	o 444 
326.65/51.59	o 445 
327.21/51.60	o 446 
327.21/51.62	o 447 
327.21/51.63	o 448 
327.21/51.65	o 449 
327.21/51.67	o 450 
327.21/51.68	o 451 
327.71/51.70	o 452 
327.71/51.71	o 453 
327.71/51.73	o 454 
327.71/51.74	o 455 
327.71/51.76	o 456 
327.71/51.78	o 457 
327.71/51.79	o 458 
328.28/51.80	o 459 
328.28/51.82	o 460 
328.28/51.83	o 461 
328.28/51.85	o 462 
328.28/51.86	o 463 
328.28/51.87	o 464 
328.28/51.89	o 465 
328.83/51.90	o 466 
328.83/51.92	o 467 
328.83/51.94	o 468 
328.83/51.95	o 469 
328.83/51.97	o 470 
328.83/51.98	o 471 
328.83/51.99	o 472 
329.37/52.02	o 473 
329.37/52.03	o 474 
329.37/52.05	o 475 
329.37/52.07	o 476 
329.37/52.09	o 477 
329.37/52.10	o 478 
329.86/52.13	o 479 
329.86/52.14	o 480 
329.86/52.16	o 481 
329.86/52.17	o 482 
329.86/52.18	o 483 
330.33/52.20	o 484 
330.33/52.22	o 485 
330.33/52.23	o 486 
330.33/52.24	o 487 
330.33/52.26	o 488 
330.33/52.28	o 489 
330.33/52.29	o 490 
330.90/52.31	o 491 
330.90/52.32	o 492 
330.90/52.33	o 493 
330.90/52.34	o 494 
330.90/52.36	o 495 
330.90/52.37	o 496 
330.90/52.39	o 497 
331.44/52.40	o 498 
331.44/52.41	o 499 
331.44/52.43	o 500 
331.44/52.45	o 501 
331.44/52.46	o 502 
331.44/52.49	o 503 
331.95/52.50	o 504 
331.95/52.51	o 505 
331.95/52.53	o 506 
331.95/52.54	o 507 
331.95/52.56	o 508 
331.95/52.58	o 509 
331.95/52.59	o 510 
332.51/52.60	o 511 
332.51/52.62	o 512 
332.51/52.64	o 513 
332.51/52.65	o 514 
332.51/52.66	o 515 
332.51/52.68	o 516 
333.03/52.70	o 517 
333.03/52.71	o 518 
333.03/52.73	o 519 
333.03/52.75	o 520 
333.03/52.76	o 521 
333.03/52.79	o 522 
333.03/52.80	o 523 
333.58/52.82	o 524 
333.58/52.83	o 525 
333.58/52.85	o 526 
333.58/52.88	o 527 
333.58/52.89	o 528 
334.07/52.91	o 529 
334.07/52.92	o 530 
334.07/52.93	o 531 
334.07/52.95	o 532 
334.07/52.97	o 533 
334.07/52.98	o 534 
334.62/53.02	o 535 
334.79/53.11	o 536 
336.16/54.44	o 537 
336.16/54.46	o 538 
336.16/54.47	o 539 
336.16/54.49	o 540 
336.16/54.50	o 541 
336.51/54.52	o 542 
336.51/54.53	o 543 
336.51/54.54	o 544 
336.51/54.56	o 545 
336.51/54.57	o 546 
336.51/54.59	o 547 
337.06/54.60	o 548 
337.06/54.62	o 549 
337.06/54.63	o 550 
337.06/54.64	o 551 
337.06/54.66	o 552 
337.06/54.68	o 553 
337.55/54.70	o 554 
337.55/54.72	o 555 
337.55/54.73	o 556 
337.55/54.75	o 557 
337.55/54.76	o 558 
337.55/54.78	o 559 
338.08/54.80	o 560 
338.08/54.82	o 561 
338.08/54.83	o 562 
338.08/54.84	o 563 
338.08/54.88	o 564 
338.08/54.89	o 565 
338.62/54.91	o 566 
338.62/54.92	o 567 
338.62/54.93	o 568 
338.62/54.94	o 569 
338.62/54.96	o 570 
338.62/54.97	o 571 
338.62/54.99	o 572 
338.62/55.00	o 573 
339.23/55.03	o 574 
339.23/55.04	o 575 
339.23/55.06	o 576 
339.23/55.08	o 577 
339.23/55.09	o 578 
339.74/55.11	o 579 
339.74/55.12	o 580 
339.74/55.14	o 581 
339.74/55.15	o 582 
339.74/55.17	o 583 
339.74/55.18	o 584 
339.74/55.19	o 585 
340.30/55.21	o 586 
340.30/55.22	o 587 
340.30/55.24	o 588 
340.30/55.25	o 589 
340.30/55.27	o 590 
340.30/55.28	o 591 
340.85/55.31	o 592 
340.85/55.32	o 593 
340.85/55.34	o 594 
340.85/55.36	o 595 
340.85/55.37	o 596 
340.85/55.39	o 597 
341.45/55.42	o 598 
341.45/55.43	o 599 
341.45/55.45	o 600 
341.45/55.47	o 601 
341.45/55.49	o 602 
342.00/55.51	o 603 
342.00/55.53	o 604 
342.00/55.54	o 605 
342.00/55.56	o 606 
342.00/55.58	o 607 
342.53/55.60	o 608 
342.53/55.61	o 609 
342.53/55.63	o 610 
342.53/55.64	o 611 
342.53/55.66	o 612 
342.53/55.68	o 613 
342.53/55.69	o 614 
343.14/55.71	o 615 
343.14/55.73	o 616 
343.14/55.74	o 617 
343.14/55.77	o 618 
343.14/55.78	o 619 
343.14/55.80	o 620 
343.67/55.82	o 621 
343.67/55.83	o 622 
343.67/55.85	o 623 
343.67/55.87	o 624 
343.67/55.89	o 625 
344.28/55.91	o 626 
344.28/55.93	o 627 
344.28/55.94	o 628 
344.28/55.96	o 629 
344.28/55.98	o 630 
344.28/56.00	o 631 
344.80/56.02	o 632 
344.80/56.03	o 633 
344.80/56.05	o 634 
344.80/56.07	o 635 
344.80/56.08	o 636 
344.80/56.10	o 637 
345.43/56.12	o 638 
345.43/56.13	o 639 
345.43/56.15	o 640 
345.43/56.17	o 641 
345.43/56.18	o 642 
346.01/56.20	o 643 
346.01/56.22	o 644 
346.01/56.24	o 645 
346.01/56.25	o 646 
346.01/56.28	o 647 
346.01/56.29	o 648 
346.63/56.31	o 649 
346.63/56.32	o 650 
346.63/56.34	o 651 
346.63/56.36	o 652 
346.63/56.39	o 653 
347.17/56.40	o 654 
347.17/56.42	o 655 
347.17/56.44	o 656 
347.17/56.46	o 657 
347.17/56.47	o 658 
347.17/56.49	o 659 
347.75/56.51	o 660 
347.75/56.53	o 661 
347.75/56.55	o 662 
347.75/56.56	o 663 
347.75/56.58	o 664 
348.32/56.60	o 665 
348.32/56.62	o 666 
348.32/56.64	o 667 
348.32/56.65	o 668 
348.32/56.67	o 669 
348.87/56.70	o 670 
348.87/56.71	o 671 
348.87/56.73	o 672 
348.87/56.74	o 673 
348.87/56.76	o 674 
348.87/56.78	o 675 
348.87/56.79	o 676 
349.53/56.81	o 677 
349.53/56.82	o 678 
349.53/56.84	o 679 
349.53/56.85	o 680 
349.53/56.87	o 681 
349.53/56.89	o 682 
350.11/56.90	o 683 
350.11/56.92	o 684 
350.11/56.94	o 685 
350.11/56.97	o 686 
350.11/56.98	o 687 
350.11/57.00	o 688 
350.69/57.02	o 689 
350.69/57.04	o 690 
350.69/57.05	o 691 
350.69/57.07	o 692 
350.69/57.09	o 693 
351.38/57.12	o 694 
351.38/57.16	o 695 
351.87/57.49	o 696 
353.25/58.79	o 697 
353.35/58.81	o 698 
353.35/58.83	o 699 
353.35/58.84	o 700 
353.35/58.86	o 701 
353.35/58.88	o 702 
353.35/58.89	o 703 
354.02/58.91	o 704 
354.02/58.93	o 705 
354.02/58.95	o 706 
354.02/58.97	o 707 
354.02/58.99	o 708 
354.02/59.00	o 709 
354.62/59.02	o 710 
354.62/59.04	o 711 
354.62/59.06	o 712 
354.62/59.07	o 713 
354.62/59.09	o 714 
355.22/59.11	o 715 
355.22/59.12	o 716 
355.22/59.14	o 717 
355.22/59.16	o 718 
355.22/59.18	o 719 
355.22/59.19	o 720 
355.77/59.21	o 721 
355.77/59.23	o 722 
355.77/59.25	o 723 
355.77/59.27	o 724 
355.77/59.30	o 725 
356.40/59.31	o 726 
356.40/59.34	o 727 
356.40/59.36	o 728 
356.40/59.37	o 729 
356.40/59.39	o 730 
357.05/59.41	o 731 
357.05/59.43	o 732 
357.05/59.45	o 733 
357.05/59.47	o 734 
357.05/59.49	o 735 
357.61/59.51	o 736 
357.61/59.53	o 737 
357.61/59.54	o 738 
357.61/59.57	o 739 
357.61/59.58	o 740 
358.17/59.60	o 741 
358.17/59.62	o 742 
358.17/59.64	o 743 
358.17/59.66	o 744 
358.17/59.68	o 745 
358.75/59.70	o 746 
358.75/59.72	o 747 
358.75/59.73	o 748 
358.75/59.75	o 749 
358.75/59.77	o 750 
358.75/59.79	o 751 
359.40/59.80	o 752 
359.40/59.82	o 753 
359.40/59.84	o 754 
359.40/59.87	o 755 
359.40/59.88	o 756 
359.40/59.90	o 757 
360.00/59.92	o 758 
360.00/59.95	o 759 
360.00/59.97	o 760 
360.00/59.98	o 761 
360.00/60.00	o 762 
360.58/60.02	o 763 
360.58/60.04	o 764 
360.58/60.06	o 765 
360.58/60.08	o 766 
360.58/60.10	o 767 
361.22/60.12	o 768 
361.22/60.14	o 769 
361.22/60.15	o 770 
361.22/60.17	o 771 
361.22/60.19	o 772 
361.77/60.21	o 773 
361.77/60.23	o 774 
361.77/60.25	o 775 
361.77/60.28	o 776 
361.77/60.29	o 777 
362.36/60.32	o 778 
362.36/60.34	o 779 
362.36/60.36	o 780 
362.36/60.37	o 781 
362.36/60.39	o 782 
362.87/60.41	o 783 
362.87/60.43	o 784 
362.87/60.46	o 785 
362.87/60.48	o 786 
362.87/60.50	o 787 
363.41/60.52	o 788 
363.41/60.54	o 789 
363.41/60.56	o 790 
363.41/60.58	o 791 
363.99/60.61	o 792 
363.99/60.63	o 793 
363.99/60.65	o 794 
363.99/60.67	o 795 
363.99/60.69	o 796 
364.55/60.70	o 797 
364.55/60.72	o 798 
364.55/60.74	o 799 
364.55/60.76	o 800 
364.55/60.78	o 801 
364.55/60.80	o 802 
365.16/60.81	o 803 
365.16/60.83	o 804 
365.16/60.85	o 805 
365.16/60.87	o 806 
365.16/60.89	o 807 
365.80/60.91	o 808 
365.80/60.93	o 809 
365.80/60.95	o 810 
365.80/60.97	o 811 
365.80/60.99	o 812 
365.80/61.01	o 813 
366.44/61.03	o 814 
366.44/61.05	o 815 
366.44/61.08	o 816 
366.44/61.10	o 817 
367.06/61.12	o 818 
367.06/61.14	o 819 
367.06/61.16	o 820 
367.06/61.18	o 821 
367.06/61.20	o 822 
367.62/61.22	o 823 
367.62/61.24	o 824 
367.62/61.26	o 825 
367.62/61.28	o 826 
368.19/61.30	o 827 
368.19/61.32	o 828 
368.19/61.34	o 829 
368.19/61.37	o 830 
368.19/61.39	o 831 
368.81/61.41	o 832 
368.81/61.44	o 833 
368.81/61.46	o 834 
368.81/61.48	o 835 
368.81/61.50	o 836 
369.31/61.51	o 837 
369.31/61.54	o 838 
369.31/61.56	o 839 
369.31/61.58	o 840 
369.91/61.61	o 841 
369.91/61.63	o 842 
369.91/61.65	o 843 
369.91/61.68	o 844 
370.44/61.70	o 845 
370.44/61.73	o 846 
370.44/61.75	o 847 
370.44/61.77	o 848 
370.44/61.79	o 849 
371.04/61.81	o 850 
371.04/61.84	o 851 
371.04/61.86	o 852 
371.04/61.89	o 853 
371.59/61.92	o 854 
371.59/61.94	o 855 
371.59/61.97	o 856 
371.59/61.99	o 857 
371.59/62.01	o 858 
372.16/62.03	o 859 
372.16/62.05	o 860 
372.16/62.08	o 861 
372.16/62.10	o 862 
372.79/62.12	o 863 
372.79/62.17	o 864 
373.27/62.30	o 865 
375.57/63.62	o 866 
375.57/63.65	o 867 
383.26/65.18	o 868 
383.26/65.20	o 869 
387.15/66.70	o 870 
387.58/66.88	o 871 
389.00/68.19	o 872 
421.23/73.25	o 873 
810.01/122.08	o 874 
810.01/122.10	o 875 
810.73/122.12	o 876 
810.73/122.14	o 877 
810.73/122.15	o 878 
810.73/122.17	o 879 
810.73/122.19	o 880 
811.30/122.22	o 881 
811.30/122.24	o 882 
811.30/122.27	o 883 
811.30/122.29	o 884 
811.79/122.32	o 885 
811.79/122.34	o 886 
916.26/136.23	o 887 
1839.34/252.08	s SATISFIABLE
1839.34/252.08	v <instantiation>
1839.34/252.08	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[0][44] x[0][45] 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[1][44] x[1][45] 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[2][44] x[2][45] 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[3][44] x[3][45] 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[4][44] x[4][45] 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[5][44] x[5][45] 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[6][44] x[6][45] 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[7][44] x[7][45] 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[8][44] x[8][45] 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[9][44] x[9][45] 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[10][44] x[10][45] 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[11][44] x[11][45] 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[12][44] x[12][45] 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[13][44] x[13][45] 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[14][44] x[14][45] 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[15][44] x[15][45] 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[16][44] x[16][45] 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[17][44] x[17][45] 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[18][44] x[18][45] 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[19][44] x[19][45] 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[20][44] x[20][45] 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[21][44] x[21][45] 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[22][44] x[22][45] 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[23][44] x[23][45] 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[24][44] x[24][45] 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[25][44] x[25][45] 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[26][44] x[26][45] 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[27][44] x[27][45] 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[28][44] x[28][45] 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[29][44] x[29][45] 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[30][44] x[30][45] 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[31][44] x[31][45] 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[32][44] x[32][45] 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[33][44] x[33][45] 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[34][44] x[34][45] 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[35][44] x[35][45] 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[36][44] x[36][45] 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[37][44] x[37][45] 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[38][44] x[38][45] 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[39][44] x[39][45] 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[40][44] x[40][45] 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[41][44] x[41][45] 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[42][44] x[42][45] 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] x[43][44] x[43][45] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] 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[0][44] w[0][45] 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[1][44] w[1][45] 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[2][44] w[2][45] 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[3][44] w[3][45] 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[4][44] w[4][45] 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[5][44] w[5][45] 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[6][44] w[6][45] 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[7][44] w[7][45] 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[8][44] w[8][45] 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[9][44] w[9][45] 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[10][44] w[10][45] 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[11][44] w[11][45] 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[12][44] w[12][45] 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[13][44] w[13][45] 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[14][44] w[14][45] 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[15][44] w[15][45] 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[16][44] w[16][45] 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[17][44] w[17][45] 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[18][44] w[18][45] 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[19][44] w[19][45] 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[20][44] w[20][45] 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[21][44] w[21][45] 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[22][44] w[22][45] 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[23][44] w[23][45] 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[24][44] w[24][45] 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[25][44] w[25][45] 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[26][44] w[26][45] 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[27][44] w[27][45] 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[28][44] w[28][45] 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[29][44] w[29][45] 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[30][44] w[30][45] 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[31][44] w[31][45] 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[32][44] w[32][45] 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[33][44] w[33][45] 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[34][44] w[34][45] 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[35][44] w[35][45] 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[36][44] w[36][45] 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[37][44] w[37][45] 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[38][44] w[38][45] 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[39][44] w[39][45] 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[40][44] w[40][45] 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[41][44] w[41][45] 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[42][44] w[42][45] 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] w[43][44] w[43][45] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] 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] ws[44] ws[45] z </list>
1839.34/252.08	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 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 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 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 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 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 1 1 1 1 1 1 1 1 0 0 1 0 0 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 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 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 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 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 1 0 0 0 1 0 1 0 0 0 1 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 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 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 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 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 0 0 1 0 0 0 1 0 0 0 0 0 0 0 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 0 0 0 0 1 0 1 0 1 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 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 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 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 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 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 1 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 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 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 0 0 0 0 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 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 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 2 2 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 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 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 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 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 2 2 0 2 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 1 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 2 1 1 1 1 0 0 0 0 0 0 2 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 1 0 0 0 1 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 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 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 2 0 0 1 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 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 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 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 0 1 1 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 0 0 2 2 1 0 0 0 0 0 0 0 1 0 0 0 2 1 1 2 0 0 1 1 2 0 2 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 2 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 2 1 1 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 2 2 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 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 1 0 0 1 1 0 0 1 1 0 0 0 14 14 14 30 30 30 83 87 88 90 94 96 142 147 149 150 153 160 187 188 190 211 211 215 238 243 253 275 278 281 315 323 337 342 344 348 368 376 384 399 401 415 442 455 474 500 887 </values>
1839.34/252.08	v </instantiation>
1839.34/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	887

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13002 MiB free)
  memory of node 1: 16384 MiB (13419 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281609-1503178751/watcher-4281609-1503178751 -o /tmp/evaluation-result-4281609-1503178751/solver-4281609-1503178751 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503167371-25544 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2126551236 HOME/instance-4281609-1503178751.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=7414, runsolver pid=7411

[startup+0.100159 s]*
/proc/loadavg: 8.03 8.13 7.90 2/201 7435
/proc/meminfo: memFree=27040216/32770624 swapFree=67108860/67108860
[pid=7414] ppid=7411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7414/stat : 7414 (xcsp3-exec) S 7411 7414 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150962975 9740288 346 33554432000 4194304 5098028 140733737694304 140733737692408 139751717913212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10067968 140733737698410 140733737698620 140733737698620 140733737701355 0
/proc/7414/statm: 2378 346 289 221 0 87 0
[pid=7416] ppid=7414 vsize=25999808 memory=26296 CPUtime=0.11 cores=0-7
/proc/7416/stat : 7416 (java) S 7414 7414 25517 0 -1 1077944320 5504 0 0 0 10 1 0 0 20 0 20 0 150962975 26623803392 6574 33554432000 4194304 4196468 140725002494512 140725002477056 140420798394103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
/proc/7416/statm: 6499952 6574 2846 1 0 6488269 0
[pid=7416/tid=7417] ppid=7414 vsize=25999808 memory=-7096649868621430206 CPUtime=0.09 cores=0-7
/proc/7416/task/7417/stat : 7417 (java) R 7414 7414 25517 0 -1 4202560 3519 0 0 0 8 1 0 0 20 0 20 0 150962975 26623803392 6574 33554432000 4194304 4196468 140725002494512 140420802620640 140420798416029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7418] ppid=7414 vsize=25999808 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/7416/task/7418/stat : 7418 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26623803392 6574 33554432000 4194304 4196468 140725002494512 140420751015056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7419] ppid=7414 vsize=25999808 memory=140499633063552 CPUtime=0 cores=0-7
/proc/7416/task/7419/stat : 7419 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962976 26623803392 6574 33554432000 4194304 4196468 140725002494512 140420749962256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7420] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7420/stat : 7420 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26623803392 6574 33554432000 4194304 4196468 140725002494512 140420748909456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7421] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7421/stat : 7421 (java) S 7414 7414 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150962976 26623803392 6574 33554432000 4194304 4196468 140725002494512 140420747856656 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7422] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7422/stat : 7422 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26623803392 6574 33554432000 4194304 4196468 140725002494512 140420746803856 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7423] ppid=7414 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7416/task/7423/stat : 7423 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962976 26623803392 6574 33554432000 4194304 4196468 140725002494512 140420745751056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7424] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7424/stat : 7424 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26623803392 6574 33554432000 4194304 4196468 140725002494512 140420744698256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7425] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7425/stat : 7425 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962976 26623803392 6574 33554432000 4194304 4196468 140725002494512 140420743645456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7426] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7426/stat : 7426 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962978 26623803392 6574 33554432000 4194304 4196468 140725002494512 140419249695600 140420798405250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7427] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7427/stat : 7427 (java) S 7414 7414 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150962978 26623803392 6574 33554432000 4194304 4196468 140725002494512 140419248641568 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7428] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7428/stat : 7428 (java) S 7414 7414 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150962978 26623803392 6574 33554432000 4194304 4196468 140725002494512 140419247588720 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7429] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7429/stat : 7429 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962981 26623803392 6574 33554432000 4194304 4196468 140725002494512 140419246537040 140420798412699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7430] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7430/stat : 7430 (java) S 7414 7414 25517 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 150962981 26623803392 6574 33554432000 4194304 4196468 140725002494512 140419245484400 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7431] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7431/stat : 7431 (java) R 7414 7414 25517 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 150962981 26623803392 6574 33554432000 4194304 4196468 140725002494512 140419244431600 140420798405250 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7432] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7432/stat : 7432 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962981 26623803392 6574 33554432000 4194304 4196468 140725002494512 140419243378800 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7433] ppid=7414 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7416/task/7433/stat : 7433 (java) R 7414 7414 25517 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 150962981 26623803392 6574 33554432000 4194304 4196468 140725002494512 140419242326000 140420798415450 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7434] ppid=7414 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7434/stat : 7434 (java) S 7414 7414 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150962981 26623803392 6574 33554432000 4194304 4196468 140725002494512 140419241274464 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7435] ppid=7414 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7416/task/7435/stat : 7435 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962981 26623803392 6574 33554432000 4194304 4196468 140725002494512 140419240221744 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27680 KiB

[startup+0.210029 s]*
/proc/loadavg: 8.03 8.13 7.90 3/201 7435
/proc/meminfo: memFree=27028804/32770624 swapFree=67108860/67108860
[pid=7414] ppid=7411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7414/stat : 7414 (xcsp3-exec) S 7411 7414 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150962975 9740288 346 33554432000 4194304 5098028 140733737694304 140733737692408 139751717913212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10067968 140733737698410 140733737698620 140733737698620 140733737701355 0
/proc/7414/statm: 2378 346 289 221 0 87 0
[pid=7416] ppid=7414 vsize=26004064 memory=38924 CPUtime=0.32 cores=0-7
/proc/7416/stat : 7416 (java) S 7414 7414 25517 0 -1 1077944320 8307 0 0 0 30 2 0 0 20 0 20 0 150962975 26628161536 9731 33554432000 4194304 4196468 140725002494512 140725002477056 140420798394103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
/proc/7416/statm: 6501016 9731 3074 1 0 6488269 0
[pid=7416/tid=7417] ppid=7414 vsize=26004064 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/7416/task/7417/stat : 7417 (java) R 7414 7414 25517 0 -1 4202560 5413 0 0 0 18 1 0 0 20 0 20 0 150962975 26628161536 9731 33554432000 4194304 4196468 140725002494512 140420802595872 140420782474590 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7418] ppid=7414 vsize=26004064 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/7416/task/7418/stat : 7418 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 9731 33554432000 4194304 4196468 140725002494512 140420751015056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7419] ppid=7414 vsize=26004064 memory=140499633807471 CPUtime=0 cores=0-7
/proc/7416/task/7419/stat : 7419 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 9731 33554432000 4194304 4196468 140725002494512 140420749962256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7420] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7420/stat : 7420 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 9731 33554432000 4194304 4196468 140725002494512 140420748909456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7421] ppid=7414 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7416/task/7421/stat : 7421 (java) S 7414 7414 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 9731 33554432000 4194304 4196468 140725002494512 140420747856656 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7422] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7422/stat : 7422 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 9731 33554432000 4194304 4196468 140725002494512 140420746803856 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7423] ppid=7414 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7416/task/7423/stat : 7423 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 9731 33554432000 4194304 4196468 140725002494512 140420745751056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7424] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7424/stat : 7424 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 9731 33554432000 4194304 4196468 140725002494512 140420744698256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7425] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7425/stat : 7425 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 9731 33554432000 4194304 4196468 140725002494512 140420743645456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7426] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7426/stat : 7426 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962978 26628161536 9731 33554432000 4194304 4196468 140725002494512 140419249695600 140420798405250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7427] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7427/stat : 7427 (java) S 7414 7414 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150962978 26628161536 9731 33554432000 4194304 4196468 140725002494512 140419248641568 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7428] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7428/stat : 7428 (java) S 7414 7414 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150962978 26628161536 9731 33554432000 4194304 4196468 140725002494512 140419247588720 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7429] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7429/stat : 7429 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962981 26628161536 9731 33554432000 4194304 4196468 140725002494512 140419246537040 140420798412699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7430] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7430/stat : 7430 (java) S 7414 7414 25517 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 150962981 26628161536 9731 33554432000 4194304 4196468 140725002494512 140419245484400 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7431] ppid=7414 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/7416/task/7431/stat : 7431 (java) S 7414 7414 25517 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 20 0 150962981 26628161536 9731 33554432000 4194304 4196468 140725002494512 140419244431600 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7432] ppid=7414 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/7416/task/7432/stat : 7432 (java) S 7414 7414 25517 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 150962981 26628161536 9731 33554432000 4194304 4196468 140725002494512 140419243378800 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7433] ppid=7414 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/7416/task/7433/stat : 7433 (java) R 7414 7414 25517 0 -1 4202560 719 0 0 0 7 0 0 0 20 0 20 0 150962981 26628161536 9731 33554432000 4194304 4196468 140725002494512 140419242326000 140420798415450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7434] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7434/stat : 7434 (java) S 7414 7414 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150962981 26628161536 9731 33554432000 4194304 4196468 140725002494512 140419241274464 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7435] ppid=7414 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7416/task/7435/stat : 7435 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962981 26628161536 9731 33554432000 4194304 4196468 140725002494512 140419240221744 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40308 KiB

[startup+0.309376 s]*
/proc/loadavg: 8.03 8.13 7.90 3/201 7435
/proc/meminfo: memFree=27024028/32770624 swapFree=67108860/67108860
[pid=7414] ppid=7411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7414/stat : 7414 (xcsp3-exec) S 7411 7414 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150962975 9740288 346 33554432000 4194304 5098028 140733737694304 140733737692408 139751717913212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10067968 140733737698410 140733737698620 140733737698620 140733737701355 0
/proc/7414/statm: 2378 346 289 221 0 87 0
[pid=7416] ppid=7414 vsize=26004064 memory=45876 CPUtime=0.5 cores=0-7
/proc/7416/stat : 7416 (java) S 7414 7414 25517 0 -1 1077944320 9180 0 0 0 47 3 0 0 20 0 20 0 150962975 26628161536 11469 33554432000 4194304 4196468 140725002494512 140725002477056 140420798394103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
/proc/7416/statm: 6501016 11469 3090 1 0 6488269 0
[pid=7416/tid=7417] ppid=7414 vsize=26004064 memory=1398720917958146503 CPUtime=0.29 cores=0-7
/proc/7416/task/7417/stat : 7417 (java) R 7414 7414 25517 0 -1 4202560 6085 0 0 0 27 2 0 0 20 0 20 0 150962975 26628161536 11469 33554432000 4194304 4196468 140725002494512 140420802630288 140420798416029 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7418] ppid=7414 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7416/task/7418/stat : 7418 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 11469 33554432000 4194304 4196468 140725002494512 140420751015056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7419] ppid=7414 vsize=26004064 memory=23464 CPUtime=0 cores=0-7
/proc/7416/task/7419/stat : 7419 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 11469 33554432000 4194304 4196468 140725002494512 140420749962256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7420] ppid=7414 vsize=26004064 memory=4044 CPUtime=0 cores=0-7
/proc/7416/task/7420/stat : 7420 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 11469 33554432000 4194304 4196468 140725002494512 140420748909456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7421] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7421/stat : 7421 (java) S 7414 7414 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 11469 33554432000 4194304 4196468 140725002494512 140420747856656 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7422] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7422/stat : 7422 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 11469 33554432000 4194304 4196468 140725002494512 140420746803856 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7423] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7423/stat : 7423 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 11469 33554432000 4194304 4196468 140725002494512 140420745751056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7424] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7424/stat : 7424 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 11469 33554432000 4194304 4196468 140725002494512 140420744698256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7425] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7425/stat : 7425 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962976 26628161536 11469 33554432000 4194304 4196468 140725002494512 140420743645456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7426] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7426/stat : 7426 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962978 26628161536 11469 33554432000 4194304 4196468 140725002494512 140419249695600 140420798405250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7427] ppid=7414 vsize=26004064 memory=1970350607106051 CPUtime=0 cores=0-7
/proc/7416/task/7427/stat : 7427 (java) S 7414 7414 25517 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150962978 26628161536 11469 33554432000 4194304 4196468 140725002494512 140419248641568 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7428] ppid=7414 vsize=26004064 memory=2110850127557636 CPUtime=0 cores=0-7
/proc/7416/task/7428/stat : 7428 (java) S 7414 7414 25517 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150962978 26628161536 11469 33554432000 4194304 4196468 140725002494512 140419247588720 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7429] ppid=7414 vsize=26004064 memory=2110850127527076 CPUtime=0 cores=0-7
/proc/7416/task/7429/stat : 7429 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962981 26628161536 11469 33554432000 4194304 4196468 140725002494512 140419246537040 140420798412699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7430] ppid=7414 vsize=26004064 memory=2110850127529380 CPUtime=0.01 cores=0-7
/proc/7416/task/7430/stat : 7430 (java) S 7414 7414 25517 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 150962981 26628161536 11469 33554432000 4194304 4196468 140725002494512 140419245484400 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7431] ppid=7414 vsize=26004064 memory=2110850127531684 CPUtime=0.03 cores=0-7
/proc/7416/task/7431/stat : 7431 (java) S 7414 7414 25517 0 -1 1077944384 229 0 0 0 3 0 0 0 20 0 20 0 150962981 26628161536 11469 33554432000 4194304 4196468 140725002494512 140419244431600 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7432] ppid=7414 vsize=26004064 memory=2110850127533988 CPUtime=0.02 cores=0-7
/proc/7416/task/7432/stat : 7432 (java) S 7414 7414 25517 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 20 0 150962981 26628161536 11469 33554432000 4194304 4196468 140725002494512 140419243378800 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7433] ppid=7414 vsize=26004064 memory=2110850127557540 CPUtime=0.12 cores=0-7
/proc/7416/task/7433/stat : 7433 (java) R 7414 7414 25517 0 -1 4202560 833 0 0 0 12 0 0 0 20 0 20 0 150962981 26628161536 11469 33554432000 4194304 4196468 140725002494512 140419242326000 140420777252689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7434] ppid=7414 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7434/stat : 7434 (java) S 7414 7414 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150962981 26628161536 11469 33554432000 4194304 4196468 140725002494512 140419241274464 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7435] ppid=7414 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7416/task/7435/stat : 7435 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962981 26628161536 11469 33554432000 4194304 4196468 140725002494512 140419240221744 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47260 KiB

[startup+0.701008 s]
/proc/loadavg: 8.03 8.13 7.90 5/201 7435
/proc/meminfo: memFree=26997632/32770624 swapFree=67108860/67108860
[pid=7414] ppid=7411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7414/stat : 7414 (xcsp3-exec) S 7411 7414 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150962975 9740288 346 33554432000 4194304 5098028 140733737694304 140733737692408 139751717913212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10067968 140733737698410 140733737698620 140733737698620 140733737701355 0
/proc/7414/statm: 2378 346 289 221 0 87 0
[pid=7416] ppid=7414 vsize=26004140 memory=91600 CPUtime=1.8 cores=0-7
/proc/7416/stat : 7416 (java) S 7414 7414 25517 0 -1 1077944320 12368 0 0 0 176 4 0 0 20 0 20 0 150962975 26628239360 22900 33554432000 4194304 4196468 140725002494512 140725002477056 140420798394103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
/proc/7416/statm: 6501035 22900 3197 1 0 6488269 0
[pid=7416/tid=7417] ppid=7414 vsize=26004140 memory=0 CPUtime=0.67 cores=0-7
/proc/7416/task/7417/stat : 7417 (java) R 7414 7414 25517 0 -1 4202560 6505 0 0 0 64 3 0 0 20 0 20 0 150962975 26628239360 22900 33554432000 4194304 4196468 140725002494512 140420802631824 140420783639175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7418] ppid=7414 vsize=26004140 memory=4580 CPUtime=0 cores=0-7
/proc/7416/task/7418/stat : 7418 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26628239360 22900 33554432000 4194304 4196468 140725002494512 140420751015056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7419] ppid=7414 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7419/stat : 7419 (java) S 7414 7414 25517 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150962976 26628239360 22900 33554432000 4194304 4196468 140725002494512 140420749962256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7420] ppid=7414 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7416/task/7420/stat : 7420 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150962976 26628239360 22900 33554432000 4194304 4196468 140725002494512 140420748909456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0

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

[pid=7416/tid=14398] ppid=7414 vsize=26541776 memory=41908 CPUtime=25.53 cores=0-7
/proc/7416/task/14398/stat : 14398 (java) R 7414 7414 25517 0 -1 4202560 1360 0 0 0 2552 1 0 0 20 0 28 0 150976598 27178778624 694164 33554432000 4194304 4196468 140725002494512 140419228001304 140420425546735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
Current children cumulated CPU time: 1124.09 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2778040 KiB

[startup+222.302 s]
/proc/loadavg: 8.07 8.01 7.89 9/207 14399
/proc/meminfo: memFree=24345272/32770624 swapFree=67108860/67108860
[pid=7414] ppid=7411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7414/stat : 7414 (xcsp3-exec) S 7411 7414 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150962975 9740288 346 33554432000 4194304 5098028 140733737694304 140733737692408 139751717913212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10067968 140733737698410 140733737698620 140733737698620 140733737701355 0
/proc/7414/statm: 2378 346 289 221 0 87 0
[pid=7416] ppid=7414 vsize=26541776 memory=2716128 CPUtime=1602.53 cores=0-7
/proc/7416/stat : 7416 (java) S 7414 7414 25517 0 -1 1077944320 267166 0 0 0 159790 463 0 0 20 0 28 0 150962975 27178778624 679032 33554432000 4194304 4196468 140725002494512 140725002477056 140420798394103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
/proc/7416/statm: 6635444 679032 3288 1 0 6622678 0
[pid=7416/tid=7417] ppid=7414 vsize=26541776 memory=2714592 CPUtime=6.67 cores=0-7
/proc/7416/task/7417/stat : 7417 (java) S 7414 7414 25517 0 -1 1077944384 12300 0 0 0 652 15 0 0 20 0 28 0 150962975 27178778624 679032 33554432000 4194304 4196468 140725002494512 140420802634816 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7418] ppid=7414 vsize=26541776 memory=2718184 CPUtime=0.48 cores=0-7
/proc/7416/task/7418/stat : 7418 (java) S 7414 7414 25517 0 -1 1077944384 3867 0 0 0 36 12 0 0 20 0 28 0 150962976 27178778624 679032 33554432000 4194304 4196468 140725002494512 140420751015056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7419] ppid=7414 vsize=26541776 memory=2714592 CPUtime=0.49 cores=0-7
/proc/7416/task/7419/stat : 7419 (java) S 7414 7414 25517 0 -1 1077944384 1608 0 0 0 36 13 0 0 20 0 28 0 150962976 27178778624 679032 33554432000 4194304 4196468 140725002494512 140420749962256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7420] ppid=7414 vsize=26541776 memory=2714592 CPUtime=0.51 cores=0-7
/proc/7416/task/7420/stat : 7420 (java) S 7414 7414 25517 0 -1 1077944384 2959 0 0 0 38 13 0 0 20 0 28 0 150962976 27178778624 679032 33554432000 4194304 4196468 140725002494512 140420748909456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7421] ppid=7414 vsize=26541776 memory=2716128 CPUtime=0.49 cores=0-7
/proc/7416/task/7421/stat : 7421 (java) S 7414 7414 25517 0 -1 1077944384 2493 0 0 0 37 12 0 0 20 0 28 0 150962976 27178778624 679032 33554432000 4194304 4196468 140725002494512 140420747856656 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7422] ppid=7414 vsize=26541776 memory=1384 CPUtime=0.52 cores=0-7
/proc/7416/task/7422/stat : 7422 (java) S 7414 7414 25517 0 -1 1077944384 2803 0 0 0 39 13 0 0 20 0 28 0 150962976 27178778624 679032 33554432000 4194304 4196468 140725002494512 140420746803856 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7423] ppid=7414 vsize=26541776 memory=2748448 CPUtime=0.51 cores=0-7
/proc/7416/task/7423/stat : 7423 (java) S 7414 7414 25517 0 -1 1077944384 2336 0 0 0 39 12 0 0 20 0 28 0 150962976 27178778624 679032 33554432000 4194304 4196468 140725002494512 140420745751056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7424] ppid=7414 vsize=26541776 memory=1384 CPUtime=0.5 cores=0-7
/proc/7416/task/7424/stat : 7424 (java) S 7414 7414 25517 0 -1 1077944384 3504 0 0 0 37 13 0 0 20 0 28 0 150962976 27178778624 679032 33554432000 4194304 4196468 140725002494512 140420744698256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7425] ppid=7414 vsize=26541776 memory=2714592 CPUtime=0.5 cores=0-7
/proc/7416/task/7425/stat : 7425 (java) S 7414 7414 25517 0 -1 1077944384 2830 0 0 0 38 12 0 0 20 0 28 0 150962976 27178778624 679032 33554432000 4194304 4196468 140725002494512 140420743645456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7426] ppid=7414 vsize=26541776 memory=2718696 CPUtime=0.11 cores=0-7
/proc/7416/task/7426/stat : 7426 (java) S 7414 7414 25517 0 -1 1077944384 11022 0 0 0 7 4 0 0 20 0 28 0 150962978 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419249695600 140420798405250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7427] ppid=7414 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/7416/task/7427/stat : 7427 (java) S 7414 7414 25517 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 150962978 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419248641632 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7428] ppid=7414 vsize=26541776 memory=8612 CPUtime=0 cores=0-7
/proc/7416/task/7428/stat : 7428 (java) S 7414 7414 25517 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 150962978 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419247588736 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7429] ppid=7414 vsize=26541776 memory=1224 CPUtime=0 cores=0-7
/proc/7416/task/7429/stat : 7429 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150962981 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419246537040 140420798412699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7430] ppid=7414 vsize=26541776 memory=8112282956445269571 CPUtime=3.92 cores=0-7
/proc/7416/task/7430/stat : 7430 (java) S 7414 7414 25517 0 -1 1077944384 26350 0 0 0 388 4 0 0 20 0 28 0 150962981 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419245484400 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7431] ppid=7414 vsize=26541776 memory=1420 CPUtime=3.77 cores=0-7
/proc/7416/task/7431/stat : 7431 (java) S 7414 7414 25517 0 -1 1077944384 30648 0 0 0 371 6 0 0 20 0 28 0 150962981 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419244431600 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7432] ppid=7414 vsize=26541776 memory=2428 CPUtime=3.59 cores=0-7
/proc/7416/task/7432/stat : 7432 (java) S 7414 7414 25517 0 -1 1077944384 18998 0 0 0 356 3 0 0 20 0 28 0 150962981 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419243378800 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7433] ppid=7414 vsize=26541776 memory=1728 CPUtime=1.3 cores=0-7
/proc/7416/task/7433/stat : 7433 (java) S 7414 7414 25517 0 -1 1077944384 17946 0 0 0 127 3 0 0 20 0 28 0 150962981 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419242326000 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7434] ppid=7414 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/7416/task/7434/stat : 7434 (java) S 7414 7414 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150962981 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419241274464 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7435] ppid=7414 vsize=26541776 memory=1384 CPUtime=0.08 cores=0-7
/proc/7416/task/7435/stat : 7435 (java) S 7414 7414 25517 0 -1 1077944384 3763 0 0 0 3 5 0 0 20 0 28 0 150962981 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419240221744 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14391] ppid=7414 vsize=26541776 memory=2728956 CPUtime=85.53 cores=0-7
/proc/7416/task/14391/stat : 14391 (java) R 7414 7414 25517 0 -1 4202560 1859 0 0 0 8549 4 0 0 20 0 28 0 150976598 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419229053248 140420425546925 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14392] ppid=7414 vsize=26541776 memory=4140 CPUtime=85.9 cores=0-7
/proc/7416/task/14392/stat : 14392 (java) R 7414 7414 25517 0 -1 4202560 1769 0 0 0 8590 0 0 0 20 0 28 0 150976598 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419225898960 140420423228224 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14393] ppid=7414 vsize=26541776 memory=0 CPUtime=85.38 cores=0-7
/proc/7416/task/14393/stat : 14393 (java) R 7414 7414 25517 0 -1 4202560 1794 0 0 0 8536 2 0 0 20 0 28 0 150976598 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419231159088 140420425546735 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14394] ppid=7414 vsize=26541776 memory=-7701085748590843584 CPUtime=85.9 cores=0-7
/proc/7416/task/14394/stat : 14394 (java) R 7414 7414 25517 0 -1 4202560 1718 0 0 0 8589 1 0 0 20 0 28 0 150976598 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419224842936 140420425868493 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14395] ppid=7414 vsize=26541776 memory=2718184 CPUtime=85.88 cores=0-7
/proc/7416/task/14395/stat : 14395 (java) R 7414 7414 25517 0 -1 4202560 9295 0 0 0 8575 13 0 0 20 0 28 0 150976598 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419232211256 140420419166301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14396] ppid=7414 vsize=26541776 memory=1384 CPUtime=85.89 cores=0-7
/proc/7416/task/14396/stat : 14396 (java) R 7414 7414 25517 0 -1 4202560 1442 0 0 0 8588 1 0 0 20 0 28 0 150976598 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419221692768 140420417939327 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14397] ppid=7414 vsize=26541776 memory=1384 CPUtime=85.84 cores=0-7
/proc/7416/task/14397/stat : 14397 (java) R 7414 7414 25517 0 -1 4202560 3385 0 0 0 8580 4 0 0 20 0 28 0 150976598 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419226948920 140420421403515 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14398] ppid=7414 vsize=26541776 memory=2714592 CPUtime=85 cores=0-7
/proc/7416/task/14398/stat : 14398 (java) R 7414 7414 25517 0 -1 4202560 1943 0 0 0 8498 2 0 0 20 0 28 0 150976598 27178778624 679032 33554432000 4194304 4196468 140725002494512 140419228001464 140420425867761 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
Current children cumulated CPU time: 1602.53 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2717512 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.05 8.01 7.89 9/207 14399
/proc/meminfo: memFree=24360524/32770624 swapFree=67108860/67108860
[pid=7414] ppid=7411 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7414/stat : 7414 (xcsp3-exec) S 7411 7414 25517 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150962975 9740288 346 33554432000 4194304 5098028 140733737694304 140733737692408 139751717913212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10067968 140733737698410 140733737698620 140733737698620 140733737701355 0
/proc/7414/statm: 2378 346 289 221 0 87 0
[pid=7416] ppid=7414 vsize=26541776 memory=2701256 CPUtime=1839.34 cores=0-7
/proc/7416/stat : 7416 (java) S 7414 7414 25517 0 -1 1077944320 270123 0 0 0 183468 466 0 0 20 0 28 0 150962975 27178778624 675314 33554432000 4194304 4196468 140725002494512 140725002477056 140420798394103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
/proc/7416/statm: 6635444 675314 3288 1 0 6622678 0
[pid=7416/tid=7417] ppid=7414 vsize=26541776 memory=1384 CPUtime=6.67 cores=0-7
/proc/7416/task/7417/stat : 7417 (java) S 7414 7414 25517 0 -1 1077944384 12300 0 0 0 652 15 0 0 20 0 28 0 150962975 27178778624 675314 33554432000 4194304 4196468 140725002494512 140420802634816 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7418] ppid=7414 vsize=26541776 memory=2703296 CPUtime=0.51 cores=0-7
/proc/7416/task/7418/stat : 7418 (java) S 7414 7414 25517 0 -1 1077944384 3969 0 0 0 39 12 0 0 20 0 28 0 150962976 27178778624 675314 33554432000 4194304 4196468 140725002494512 140420751015056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7419] ppid=7414 vsize=26541776 memory=2200 CPUtime=0.53 cores=0-7
/proc/7416/task/7419/stat : 7419 (java) S 7414 7414 25517 0 -1 1077944384 2002 0 0 0 40 13 0 0 20 0 28 0 150962976 27178778624 675314 33554432000 4194304 4196468 140725002494512 140420749962256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7420] ppid=7414 vsize=26541776 memory=-7003737579269690708 CPUtime=0.55 cores=0-7
/proc/7416/task/7420/stat : 7420 (java) S 7414 7414 25517 0 -1 1077944384 2991 0 0 0 42 13 0 0 20 0 28 0 150962976 27178778624 675314 33554432000 4194304 4196468 140725002494512 140420748909456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7421] ppid=7414 vsize=26541776 memory=636 CPUtime=0.52 cores=0-7
/proc/7416/task/7421/stat : 7421 (java) S 7414 7414 25517 0 -1 1077944384 2508 0 0 0 40 12 0 0 20 0 28 0 150962976 27178778624 675314 33554432000 4194304 4196468 140725002494512 140420747856656 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7422] ppid=7414 vsize=26541776 memory=956 CPUtime=0.56 cores=0-7
/proc/7416/task/7422/stat : 7422 (java) S 7414 7414 25517 0 -1 1077944384 2832 0 0 0 43 13 0 0 20 0 28 0 150962976 27178778624 675314 33554432000 4194304 4196468 140725002494512 140420746803856 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7423] ppid=7414 vsize=26541776 memory=2424 CPUtime=0.55 cores=0-7
/proc/7416/task/7423/stat : 7423 (java) S 7414 7414 25517 0 -1 1077944384 2353 0 0 0 42 13 0 0 20 0 28 0 150962976 27178778624 675314 33554432000 4194304 4196468 140725002494512 140420745751056 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7424] ppid=7414 vsize=26541776 memory=1236 CPUtime=0.54 cores=0-7
/proc/7416/task/7424/stat : 7424 (java) S 7414 7414 25517 0 -1 1077944384 3523 0 0 0 41 13 0 0 20 0 28 0 150962976 27178778624 675314 33554432000 4194304 4196468 140725002494512 140420744698256 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7425] ppid=7414 vsize=26541776 memory=2240 CPUtime=0.54 cores=0-7
/proc/7416/task/7425/stat : 7425 (java) S 7414 7414 25517 0 -1 1077944384 2961 0 0 0 42 12 0 0 20 0 28 0 150962976 27178778624 675314 33554432000 4194304 4196468 140725002494512 140420743645456 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7426] ppid=7414 vsize=26541776 memory=4128 CPUtime=0.13 cores=0-7
/proc/7416/task/7426/stat : 7426 (java) S 7414 7414 25517 0 -1 1077944384 11394 0 0 0 9 4 0 0 20 0 28 0 150962978 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419249695600 140420798405250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7427] ppid=7414 vsize=26541776 memory=1572 CPUtime=0 cores=0-7
/proc/7416/task/7427/stat : 7427 (java) S 7414 7414 25517 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 150962978 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419248641632 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7428] ppid=7414 vsize=26541776 memory=932 CPUtime=0 cores=0-7
/proc/7416/task/7428/stat : 7428 (java) S 7414 7414 25517 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 150962978 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419247588736 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7429] ppid=7414 vsize=26541776 memory=2701760 CPUtime=0 cores=0-7
/proc/7416/task/7429/stat : 7429 (java) S 7414 7414 25517 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150962981 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419246537040 140420798412699 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7430] ppid=7414 vsize=26541776 memory=41912 CPUtime=3.92 cores=0-7
/proc/7416/task/7430/stat : 7430 (java) S 7414 7414 25517 0 -1 1077944384 26353 0 0 0 388 4 0 0 20 0 28 0 150962981 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419245484400 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7431] ppid=7414 vsize=26541776 memory=1292 CPUtime=3.77 cores=0-7
/proc/7416/task/7431/stat : 7431 (java) S 7414 7414 25517 0 -1 1077944384 30650 0 0 0 371 6 0 0 20 0 28 0 150962981 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419244431600 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7432] ppid=7414 vsize=26541776 memory=2428 CPUtime=3.59 cores=0-7
/proc/7416/task/7432/stat : 7432 (java) S 7414 7414 25517 0 -1 1077944384 19000 0 0 0 356 3 0 0 20 0 28 0 150962981 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419243378800 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7433] ppid=7414 vsize=26541776 memory=1728 CPUtime=1.3 cores=0-7
/proc/7416/task/7433/stat : 7433 (java) S 7414 7414 25517 0 -1 1077944384 18383 0 0 0 127 3 0 0 20 0 28 0 150962981 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419242326000 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7434] ppid=7414 vsize=26541776 memory=1420 CPUtime=0 cores=0-7
/proc/7416/task/7434/stat : 7434 (java) S 7414 7414 25517 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150962981 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419241274464 140420798404309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=7435] ppid=7414 vsize=26541776 memory=18448 CPUtime=0.1 cores=0-7
/proc/7416/task/7435/stat : 7435 (java) S 7414 7414 25517 0 -1 1077944384 3783 0 0 0 4 6 0 0 20 0 28 0 150962981 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419240221744 140420798405250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14391] ppid=7414 vsize=26541776 memory=23472 CPUtime=115.17 cores=0-7
/proc/7416/task/14391/stat : 14391 (java) R 7414 7414 25517 0 -1 4202560 2006 0 0 0 11513 4 0 0 20 0 28 0 150976598 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419229052952 140420417938200 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14392] ppid=7414 vsize=26541776 memory=4044 CPUtime=115.54 cores=0-7
/proc/7416/task/14392/stat : 14392 (java) R 7414 7414 25517 0 -1 4202560 1839 0 0 0 11554 0 0 0 20 0 28 0 150976598 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419225895664 140420417939179 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14393] ppid=7414 vsize=26541776 memory=1792 CPUtime=114.86 cores=0-7
/proc/7416/task/14393/stat : 14393 (java) R 7414 7414 25517 0 -1 4202560 1957 0 0 0 11484 2 0 0 20 0 28 0 150976598 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419231159224 140420417938057 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14394] ppid=7414 vsize=26541776 memory=41912 CPUtime=115.32 cores=0-7
/proc/7416/task/14394/stat : 14394 (java) R 7414 7414 25517 0 -1 4202560 1818 0 0 0 11531 1 0 0 20 0 28 0 150976598 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419224842984 140420418020400 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14395] ppid=7414 vsize=26541776 memory=1292 CPUtime=115.4 cores=0-7
/proc/7416/task/14395/stat : 14395 (java) R 7414 7414 25517 0 -1 4202560 9787 0 0 0 11526 14 0 0 20 0 28 0 150976598 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419232211120 140420421423233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14396] ppid=7414 vsize=26541776 memory=2428 CPUtime=115.54 cores=0-7
/proc/7416/task/14396/stat : 14396 (java) R 7414 7414 25517 0 -1 4202560 1524 0 0 0 11553 1 0 0 20 0 28 0 150976598 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419221692856 140420423228249 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14397] ppid=7414 vsize=26541776 memory=1728 CPUtime=115.47 cores=0-7
/proc/7416/task/14397/stat : 14397 (java) R 7414 7414 25517 0 -1 4202560 3616 0 0 0 11543 4 0 0 20 0 28 0 150976598 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419226951328 140420417866009 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
[pid=7416/tid=14398] ppid=7414 vsize=26541776 memory=1420 CPUtime=114.51 cores=0-7
/proc/7416/task/14398/stat : 14398 (java) R 7414 7414 25517 0 -1 4202560 2040 0 0 0 11449 2 0 0 20 0 28 0 150976598 27178778624 675314 33554432000 4194304 4196468 140725002494512 140419228001592 140420417938331 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 20512768 140725002503320 140725002503496 140725002503496 140725002506191 0
Current children cumulated CPU time: 1839.34 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2702640 KiB

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

[startup+252.041 s]
# the end of solver process 7414 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001958 s

[startup+252.115 s]
# the end of solver process 7416 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1835.39 s, system=4.68944 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 252.115
CPU time (s): 1840.08
CPU user time (s): 1835.39
CPU system time (s): 4.68944
CPU usage (%): 729.855
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 3122912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1835.39
system time used= 4.68944
maximum resident set size= 3133816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272137
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64891
involuntary context switches= 19844


# summary of solver processes directly reported to runsolver:
#   pid: 7414,7416
#   total CPU time (s): 1840.08
#   total CPU user time (s): 1835.39
#   total CPU system time (s): 4.68944

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.32301 second user time and 2.81827 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-19 23:24:51
IDJOB=4281609
IDBENCH=115895
IDSOLVER=2676
FILE ID=node107/4281609-1503178751
RUNJOBID= node107-1503167371-25544
PBS_JOBID= 20630834
Free space on /tmp= 61868 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281609-1503178751/watcher-4281609-1503178751 -o /tmp/evaluation-result-4281609-1503178751/solver-4281609-1503178751 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503167371-25544 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2126551236 HOME/instance-4281609-1503178751.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=2126551236

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.84
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	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27056376 kB
MemAvailable:   31976676 kB
Buffers:          268060 kB
Cached:          4945920 kB
SwapCached:            0 kB
Active:           835328 kB
Inactive:        4431188 kB
Active(anon):      55472 kB
Inactive(anon):    33132 kB
Active(file):     779856 kB
Inactive(file):  4398056 kB
Unevictable:        7640 kB
Mlocked:            7640 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:             0 kB
AnonPages:         60528 kB
Mapped:            51084 kB
Shmem:             33420 kB
Slab:             142808 kB
SReclaimable:     116444 kB
SUnreclaim:        26364 kB
KernelStack:        3408 kB
PageTables:         4824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61860 MiB
End job on node107 at 2017-08-19 23:29:03