Trace number 4280619

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)890 19826.199 2520.1299

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 benchmark941
Best CPU time to get the best result obtained on this benchmark2519.6799
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-4280619-1503114900.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280619-1503114900.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
11.80/5.71	c solve instance...
29.60/8.04	o 0 
31.94/8.64	o 4 
34.16/10.26	o 6 
34.16/10.28	o 8 
34.16/10.30	o 10 
34.43/10.31	o 12 
34.43/10.35	o 14 
34.43/10.38	o 16 
34.95/10.41	o 18 
34.95/10.50	o 20 
36.47/10.69	o 22 
38.10/10.89	o 24 
41.18/11.29	o 26 
45.15/11.74	o 28 
57.77/13.79	o 30 
78.36/16.88	o 32 
107.25/20.56	o 34 
198.04/31.93	o 36 
280.93/42.38	o 38 
292.05/43.79	o 39 
293.65/45.11	o 40 
293.65/45.13	o 41 
293.65/45.15	o 42 
293.65/45.16	o 43 
293.65/45.17	o 44 
293.65/45.19	o 45 
294.03/45.21	o 46 
294.03/45.22	o 47 
294.03/45.24	o 48 
294.03/45.26	o 49 
294.03/45.27	o 50 
294.03/45.28	o 51 
294.45/45.30	o 52 
294.45/45.32	o 53 
294.45/45.33	o 54 
294.45/45.34	o 55 
294.45/45.35	o 56 
294.45/45.37	o 57 
294.45/45.38	o 58 
294.45/45.39	o 59 
294.86/45.40	o 60 
294.86/45.42	o 61 
294.86/45.44	o 62 
294.86/45.45	o 63 
294.86/45.47	o 64 
294.86/45.48	o 65 
295.20/45.50	o 66 
295.20/45.51	o 67 
295.20/45.52	o 68 
295.20/45.53	o 69 
295.20/45.54	o 70 
295.20/45.56	o 71 
295.20/45.57	o 72 
295.20/45.58	o 73 
295.61/45.60	o 74 
295.61/45.61	o 75 
295.61/45.63	o 76 
295.61/45.65	o 77 
295.61/45.67	o 78 
295.61/45.68	o 79 
295.61/45.70	o 80 
296.04/45.71	o 81 
296.04/45.72	o 82 
296.04/45.74	o 83 
296.04/45.75	o 84 
296.04/45.77	o 85 
296.04/45.78	o 86 
296.04/45.80	o 87 
296.45/45.81	o 88 
296.45/45.82	o 89 
296.45/45.84	o 90 
296.45/45.85	o 91 
296.45/45.87	o 92 
296.45/45.89	o 93 
296.87/45.90	o 94 
296.87/45.91	o 95 
296.87/45.93	o 96 
296.87/45.94	o 97 
296.87/45.96	o 98 
296.87/45.97	o 99 
296.87/45.99	o 100 
296.87/46.00	o 101 
297.34/46.01	o 102 
297.34/46.03	o 103 
297.34/46.04	o 104 
297.34/46.05	o 105 
297.34/46.07	o 106 
297.34/46.08	o 107 
297.34/46.10	o 108 
297.34/46.11	o 109 
297.76/46.13	o 110 
297.76/46.14	o 111 
297.76/46.16	o 112 
297.76/46.17	o 113 
297.76/46.19	o 114 
298.12/46.20	o 115 
298.12/46.22	o 116 
298.12/46.23	o 117 
298.12/46.25	o 118 
298.12/46.26	o 119 
298.12/46.29	o 120 
298.53/46.31	o 121 
298.53/46.32	o 122 
298.53/46.34	o 123 
298.53/46.36	o 124 
298.53/46.37	o 125 
298.53/46.38	o 126 
298.89/46.40	o 127 
298.89/46.42	o 128 
298.89/46.43	o 129 
298.89/46.44	o 130 
298.89/46.46	o 131 
298.89/46.48	o 132 
298.89/46.49	o 133 
299.33/46.50	o 134 
299.33/46.52	o 135 
299.33/46.53	o 136 
299.33/46.55	o 137 
299.33/46.56	o 138 
299.33/46.58	o 139 
299.33/46.59	o 140 
299.76/46.60	o 141 
299.76/46.62	o 142 
299.76/46.63	o 143 
299.76/46.65	o 144 
299.76/46.66	o 145 
299.76/46.67	o 146 
299.76/46.69	o 147 
299.76/46.70	o 148 
300.19/46.71	o 149 
300.19/46.73	o 150 
300.19/46.74	o 151 
300.19/46.75	o 152 
300.19/46.76	o 153 
300.19/46.78	o 154 
300.19/46.79	o 155 
300.66/46.81	o 156 
300.66/46.82	o 157 
300.66/46.84	o 158 
300.66/46.85	o 159 
300.66/46.86	o 160 
300.66/46.87	o 161 
300.66/46.88	o 162 
301.11/46.90	o 163 
301.11/46.92	o 164 
301.11/46.93	o 165 
301.11/46.94	o 166 
301.11/46.96	o 167 
301.11/46.97	o 168 
301.11/46.98	o 169 
301.11/46.99	o 170 
301.11/47.01	o 171 
301.60/47.02	o 172 
301.60/47.04	o 173 
301.60/47.05	o 174 
301.60/47.07	o 175 
301.60/47.08	o 176 
301.60/47.09	o 177 
302.02/47.11	o 178 
302.02/47.12	o 179 
302.02/47.13	o 180 
302.02/47.14	o 181 
302.02/47.16	o 182 
302.02/47.17	o 183 
302.02/47.18	o 184 
302.02/47.19	o 185 
302.47/47.21	o 186 
302.47/47.22	o 187 
302.47/47.23	o 188 
302.47/47.24	o 189 
302.47/47.25	o 190 
302.47/47.27	o 191 
302.47/47.28	o 192 
302.47/47.29	o 193 
302.96/47.30	o 194 
302.96/47.31	o 195 
302.96/47.32	o 196 
302.96/47.33	o 197 
302.96/47.35	o 198 
302.96/47.36	o 199 
302.96/47.38	o 200 
302.96/47.39	o 201 
303.47/47.40	o 202 
303.47/47.42	o 203 
303.47/47.43	o 204 
303.47/47.45	o 205 
303.47/47.46	o 206 
303.47/47.47	o 207 
303.47/47.48	o 208 
303.47/47.49	o 209 
303.47/47.50	o 210 
303.93/47.51	o 211 
303.93/47.53	o 212 
303.93/47.53	o 213 
303.93/47.55	o 214 
303.93/47.56	o 215 
303.93/47.57	o 216 
303.93/47.58	o 217 
303.93/47.60	o 218 
304.40/47.61	o 219 
304.40/47.62	o 220 
304.40/47.63	o 221 
304.40/47.64	o 222 
304.40/47.65	o 223 
304.40/47.66	o 224 
304.40/47.67	o 225 
304.40/47.68	o 226 
304.40/47.69	o 227 
304.96/47.70	o 228 
304.96/47.72	o 229 
304.96/47.73	o 230 
304.96/47.74	o 231 
304.96/47.76	o 232 
304.96/47.77	o 233 
304.96/47.78	o 234 
304.96/47.80	o 235 
305.42/47.81	o 236 
305.42/47.82	o 237 
305.42/47.83	o 238 
305.42/47.84	o 239 
305.42/47.85	o 240 
305.42/47.86	o 241 
305.42/47.87	o 242 
305.42/47.89	o 243 
305.95/47.90	o 244 
305.95/47.91	o 245 
305.95/47.92	o 246 
305.95/47.93	o 247 
305.95/47.94	o 248 
305.95/47.95	o 249 
305.95/47.97	o 250 
305.95/47.98	o 251 
305.95/48.00	o 252 
305.95/48.01	o 253 
306.47/48.02	o 254 
306.47/48.03	o 255 
306.47/48.04	o 256 
306.47/48.05	o 257 
306.47/48.06	o 258 
306.47/48.07	o 259 
306.47/48.08	o 260 
306.47/48.10	o 261 
307.02/48.11	o 262 
307.02/48.12	o 263 
307.02/48.13	o 264 
307.02/48.14	o 265 
307.02/48.15	o 266 
307.02/48.16	o 267 
307.02/48.17	o 268 
307.02/48.18	o 269 
307.02/48.20	o 270 
307.51/48.21	o 271 
307.51/48.22	o 272 
307.51/48.23	o 273 
307.51/48.24	o 274 
307.51/48.25	o 275 
307.51/48.26	o 276 
307.51/48.27	o 277 
307.51/48.28	o 278 
308.05/48.30	o 279 
308.05/48.31	o 280 
308.05/48.32	o 281 
308.05/48.33	o 282 
308.05/48.35	o 283 
308.05/48.36	o 284 
308.05/48.37	o 285 
308.50/48.40	o 286 
309.06/48.90	o 287 
309.06/48.91	o 288 
310.37/50.15	o 289 
310.37/50.16	o 290 
310.37/50.18	o 291 
310.37/50.19	o 292 
310.69/50.21	o 293 
310.69/50.22	o 294 
310.69/50.23	o 295 
310.69/50.25	o 296 
310.69/50.26	o 297 
310.69/50.27	o 298 
310.69/50.28	o 299 
310.69/50.29	o 300 
311.20/50.30	o 301 
311.20/50.31	o 302 
311.20/50.33	o 303 
311.20/50.34	o 304 
311.20/50.35	o 305 
311.20/50.36	o 306 
311.20/50.37	o 307 
311.20/50.39	o 308 
311.20/50.40	o 309 
311.72/50.41	o 310 
311.72/50.42	o 311 
311.72/50.43	o 312 
311.72/50.44	o 313 
311.72/50.45	o 314 
311.72/50.46	o 315 
311.72/50.48	o 316 
311.72/50.49	o 317 
312.28/50.50	o 318 
312.28/50.52	o 319 
312.28/50.53	o 320 
312.28/50.54	o 321 
312.28/50.56	o 322 
312.28/50.58	o 323 
312.28/50.59	o 324 
312.81/50.60	o 325 
312.81/50.61	o 326 
312.81/50.62	o 327 
312.81/50.64	o 328 
312.81/50.65	o 329 
312.81/50.66	o 330 
312.81/50.67	o 331 
312.81/50.68	o 332 
312.81/50.69	o 333 
313.33/50.70	o 334 
313.33/50.72	o 335 
313.33/50.73	o 336 
313.33/50.74	o 337 
313.33/50.75	o 338 
313.33/50.76	o 339 
313.33/50.78	o 340 
313.33/50.79	o 341 
313.86/50.80	o 342 
313.86/50.82	o 343 
313.86/50.83	o 344 
313.86/50.84	o 345 
313.86/50.85	o 346 
313.86/50.86	o 347 
313.86/50.87	o 348 
313.86/50.88	o 349 
313.86/50.89	o 350 
314.45/50.91	o 351 
314.45/50.92	o 352 
314.45/50.93	o 353 
314.45/50.94	o 354 
314.45/50.96	o 355 
314.45/50.97	o 356 
314.45/50.98	o 357 
314.45/50.99	o 358 
314.45/51.01	o 359 
314.98/51.02	o 360 
314.98/51.03	o 361 
314.98/51.04	o 362 
314.98/51.05	o 363 
314.98/51.07	o 364 
314.98/51.08	o 365 
314.98/51.09	o 366 
315.54/51.11	o 367 
315.54/51.12	o 368 
315.54/51.13	o 369 
315.54/51.15	o 370 
315.54/51.16	o 371 
315.54/51.17	o 372 
315.54/51.19	o 373 
316.04/51.20	o 374 
316.04/51.21	o 375 
316.04/51.22	o 376 
316.04/51.24	o 377 
316.04/51.26	o 378 
316.04/51.27	o 379 
316.04/51.28	o 380 
316.04/51.29	o 381 
316.55/51.31	o 382 
316.55/51.32	o 383 
316.55/51.34	o 384 
316.55/51.35	o 385 
316.55/51.37	o 386 
316.55/51.38	o 387 
316.55/51.40	o 388 
317.04/51.41	o 389 
317.04/51.43	o 390 
317.04/51.44	o 391 
317.04/51.45	o 392 
317.04/51.47	o 393 
317.04/51.48	o 394 
317.04/51.50	o 395 
317.57/51.51	o 396 
317.57/51.52	o 397 
317.57/51.53	o 398 
317.57/51.55	o 399 
317.57/51.57	o 400 
317.57/51.58	o 401 
317.57/51.59	o 402 
318.12/51.60	o 403 
318.12/51.62	o 404 
318.12/51.63	o 405 
318.12/51.64	o 406 
318.12/51.65	o 407 
318.12/51.67	o 408 
318.12/51.68	o 409 
318.12/51.69	o 410 
318.12/51.71	o 411 
318.65/51.72	o 412 
318.65/51.73	o 413 
318.65/51.74	o 414 
318.65/51.75	o 415 
318.65/51.76	o 416 
318.65/51.78	o 417 
318.65/51.79	o 418 
319.17/51.80	o 419 
319.17/51.81	o 420 
319.17/51.83	o 421 
319.17/51.84	o 422 
319.17/51.85	o 423 
319.17/51.86	o 424 
319.17/51.87	o 425 
319.17/51.88	o 426 
319.17/51.89	o 427 
319.80/51.90	o 428 
319.80/51.92	o 429 
319.80/51.93	o 430 
319.80/51.94	o 431 
319.80/51.95	o 432 
319.80/51.97	o 433 
319.80/51.98	o 434 
319.80/51.99	o 435 
320.36/52.01	o 436 
320.36/52.03	o 437 
320.36/52.04	o 438 
320.36/52.05	o 439 
320.36/52.07	o 440 
320.36/52.08	o 441 
320.36/52.09	o 442 
320.36/52.10	o 443 
320.84/52.11	o 444 
320.84/52.13	o 445 
320.84/52.14	o 446 
320.84/52.15	o 447 
320.84/52.16	o 448 
320.84/52.18	o 449 
320.84/52.19	o 450 
321.37/52.21	o 451 
321.37/52.22	o 452 
321.37/52.23	o 453 
321.37/52.24	o 454 
321.37/52.26	o 455 
321.37/52.28	o 456 
321.37/52.29	o 457 
321.93/52.31	o 458 
321.93/52.32	o 459 
321.93/52.34	o 460 
321.93/52.35	o 461 
321.93/52.37	o 462 
321.93/52.38	o 463 
322.40/52.40	o 464 
322.40/52.41	o 465 
322.40/52.42	o 466 
322.40/52.44	o 467 
322.40/52.45	o 468 
322.40/52.46	o 469 
322.89/52.50	o 470 
323.48/53.07	o 471 
324.73/54.29	o 472 
324.88/54.30	o 473 
324.88/54.31	o 474 
324.88/54.33	o 475 
324.88/54.34	o 476 
324.88/54.37	o 477 
324.88/54.38	o 478 
324.88/54.39	o 479 
325.34/54.41	o 480 
325.34/54.42	o 481 
325.34/54.44	o 482 
325.34/54.45	o 483 
325.34/54.46	o 484 
325.34/54.48	o 485 
325.34/54.49	o 486 
325.94/54.50	o 487 
325.94/54.52	o 488 
325.94/54.53	o 489 
325.94/54.54	o 490 
325.94/54.56	o 491 
325.94/54.58	o 492 
325.94/54.59	o 493 
326.48/54.61	o 494 
326.48/54.62	o 495 
326.48/54.64	o 496 
326.48/54.65	o 497 
326.48/54.67	o 498 
326.48/54.68	o 499 
326.48/54.69	o 500 
327.00/54.71	o 501 
327.00/54.73	o 502 
327.00/54.74	o 503 
327.00/54.76	o 504 
327.00/54.77	o 505 
327.00/54.79	o 506 
327.53/54.81	o 507 
327.53/54.82	o 508 
327.53/54.84	o 509 
327.53/54.86	o 510 
327.53/54.87	o 511 
327.53/54.89	o 512 
327.97/54.91	o 513 
327.97/54.93	o 514 
327.97/54.94	o 515 
327.97/54.96	o 516 
327.97/54.97	o 517 
327.97/54.99	o 518 
327.97/55.00	o 519 
328.58/55.01	o 520 
328.58/55.03	o 521 
328.58/55.04	o 522 
328.58/55.06	o 523 
328.58/55.08	o 524 
328.58/55.09	o 525 
328.58/55.10	o 526 
329.07/55.12	o 527 
329.07/55.14	o 528 
329.07/55.15	o 529 
329.07/55.16	o 530 
329.07/55.17	o 531 
329.07/55.19	o 532 
329.63/55.20	o 533 
329.63/55.22	o 534 
329.63/55.24	o 535 
329.63/55.27	o 536 
329.63/55.29	o 537 
329.63/55.30	o 538 
330.14/55.32	o 539 
330.14/55.33	o 540 
330.14/55.34	o 541 
330.14/55.36	o 542 
330.14/55.37	o 543 
330.14/55.38	o 544 
330.68/55.40	o 545 
330.68/55.41	o 546 
330.68/55.42	o 547 
330.68/55.44	o 548 
330.68/55.45	o 549 
330.68/55.47	o 550 
330.68/55.48	o 551 
330.68/55.49	o 552 
331.27/55.51	o 553 
331.27/55.52	o 554 
331.27/55.54	o 555 
331.27/55.55	o 556 
331.27/55.56	o 557 
331.27/55.57	o 558 
331.27/55.59	o 559 
331.82/55.60	o 560 
331.82/55.61	o 561 
331.82/55.63	o 562 
331.82/55.65	o 563 
331.82/55.66	o 564 
331.82/55.67	o 565 
331.82/55.69	o 566 
332.41/55.72	o 567 
332.41/55.74	o 568 
332.41/55.76	o 569 
332.41/55.77	o 570 
332.41/55.79	o 571 
332.90/55.81	o 572 
332.90/55.82	o 573 
332.90/55.83	o 574 
332.90/55.85	o 575 
332.90/55.86	o 576 
332.90/55.88	o 577 
333.44/55.90	o 578 
333.44/55.91	o 579 
333.44/55.93	o 580 
333.44/55.94	o 581 
333.44/55.96	o 582 
333.44/55.97	o 583 
333.44/55.98	o 584 
333.44/56.00	o 585 
334.05/56.02	o 586 
334.05/56.04	o 587 
334.05/56.05	o 588 
334.05/56.06	o 589 
334.05/56.08	o 590 
334.05/56.09	o 591 
334.05/56.10	o 592 
334.68/56.12	o 593 
334.68/56.13	o 594 
334.68/56.14	o 595 
334.68/56.16	o 596 
334.68/56.17	o 597 
334.68/56.18	o 598 
334.68/56.19	o 599 
335.22/56.21	o 600 
335.22/56.22	o 601 
335.22/56.24	o 602 
335.22/56.25	o 603 
335.22/56.27	o 604 
335.22/56.29	o 605 
335.22/56.30	o 606 
335.79/56.32	o 607 
335.79/56.33	o 608 
335.79/56.35	o 609 
335.79/56.36	o 610 
335.79/56.38	o 611 
335.79/56.40	o 612 
336.32/56.41	o 613 
336.32/56.43	o 614 
336.32/56.44	o 615 
336.32/56.46	o 616 
336.32/56.48	o 617 
336.32/56.50	o 618 
336.88/56.51	o 619 
336.88/56.53	o 620 
336.88/56.54	o 621 
336.88/56.56	o 622 
336.88/56.58	o 623 
336.88/56.59	o 624 
336.88/56.60	o 625 
337.50/56.62	o 626 
337.50/56.63	o 627 
337.50/56.65	o 628 
337.50/56.66	o 629 
337.50/56.68	o 630 
337.50/56.69	o 631 
338.09/56.70	o 632 
338.09/56.72	o 633 
338.09/56.73	o 634 
338.09/56.74	o 635 
338.09/56.76	o 636 
338.09/56.78	o 637 
338.09/56.80	o 638 
338.63/56.81	o 639 
338.63/56.83	o 640 
338.63/56.84	o 641 
338.63/56.86	o 642 
338.63/56.87	o 643 
338.63/56.89	o 644 
339.22/56.90	o 645 
339.22/56.92	o 646 
339.22/56.93	o 647 
339.22/56.95	o 648 
339.22/56.96	o 649 
339.22/56.98	o 650 
339.22/56.99	o 651 
339.22/57.02	o 652 
339.95/57.03	o 653 
339.95/57.05	o 654 
339.95/57.07	o 655 
339.95/57.08	o 656 
339.95/57.10	o 657 
340.49/57.11	o 658 
340.49/57.13	o 659 
340.49/57.14	o 660 
340.49/57.16	o 661 
340.49/57.17	o 662 
340.49/57.19	o 663 
341.02/57.21	o 664 
341.02/57.24	o 665 
341.46/57.57	o 666 
342.72/58.76	o 667 
342.72/58.79	o 668 
342.96/58.80	o 669 
342.96/58.82	o 670 
342.96/58.83	o 671 
342.96/58.85	o 672 
342.96/58.86	o 673 
342.96/58.88	o 674 
343.50/58.90	o 675 
343.50/58.91	o 676 
343.50/58.93	o 677 
343.50/58.95	o 678 
343.50/58.96	o 679 
343.50/58.98	o 680 
343.50/59.00	o 681 
344.10/59.01	o 682 
344.10/59.03	o 683 
344.10/59.04	o 684 
344.10/59.06	o 685 
344.10/59.07	o 686 
344.10/59.09	o 687 
344.10/59.10	o 688 
344.71/59.12	o 689 
344.71/59.13	o 690 
344.71/59.15	o 691 
344.71/59.16	o 692 
344.71/59.17	o 693 
344.71/59.19	o 694 
345.22/59.20	o 695 
345.22/59.22	o 696 
345.22/59.23	o 697 
345.22/59.25	o 698 
345.22/59.27	o 699 
345.22/59.29	o 700 
345.76/59.31	o 701 
345.76/59.33	o 702 
345.76/59.35	o 703 
345.76/59.36	o 704 
345.76/59.37	o 705 
345.76/59.39	o 706 
346.31/59.40	o 707 
346.31/59.42	o 708 
346.31/59.44	o 709 
346.31/59.45	o 710 
346.31/59.47	o 711 
346.31/59.49	o 712 
346.85/59.50	o 713 
346.85/59.52	o 714 
346.85/59.54	o 715 
346.85/59.55	o 716 
346.85/59.57	o 717 
346.85/59.59	o 718 
347.39/59.60	o 719 
347.39/59.62	o 720 
347.39/59.63	o 721 
347.39/59.65	o 722 
347.39/59.66	o 723 
347.39/59.68	o 724 
347.94/59.70	o 725 
347.94/59.71	o 726 
347.94/59.73	o 727 
347.94/59.75	o 728 
347.94/59.77	o 729 
347.94/59.78	o 730 
348.48/59.80	o 731 
348.48/59.81	o 732 
348.48/59.84	o 733 
348.48/59.85	o 734 
348.48/59.87	o 735 
348.48/59.88	o 736 
349.06/59.90	o 737 
349.06/59.92	o 738 
349.06/59.94	o 739 
349.06/59.96	o 740 
349.06/59.98	o 741 
349.06/59.99	o 742 
349.06/60.01	o 743 
349.68/60.03	o 744 
349.68/60.05	o 745 
349.68/60.07	o 746 
349.68/60.09	o 747 
350.12/60.11	o 748 
350.12/60.13	o 749 
350.12/60.14	o 750 
350.12/60.16	o 751 
350.12/60.18	o 752 
350.61/60.20	o 753 
350.61/60.21	o 754 
350.61/60.23	o 755 
350.61/60.25	o 756 
350.61/60.26	o 757 
350.61/60.28	o 758 
351.15/60.30	o 759 
351.15/60.32	o 760 
351.15/60.34	o 761 
351.15/60.36	o 762 
351.15/60.38	o 763 
351.65/60.40	o 764 
351.65/60.41	o 765 
351.65/60.43	o 766 
351.65/60.44	o 767 
351.65/60.46	o 768 
351.65/60.47	o 769 
351.65/60.49	o 770 
352.28/60.51	o 771 
352.28/60.53	o 772 
352.28/60.55	o 773 
352.28/60.56	o 774 
352.28/60.58	o 775 
352.28/60.59	o 776 
352.77/60.61	o 777 
352.77/60.63	o 778 
352.77/60.64	o 779 
352.77/60.66	o 780 
352.77/60.68	o 781 
352.77/60.69	o 782 
353.41/60.71	o 783 
353.41/60.73	o 784 
353.41/60.75	o 785 
353.41/60.77	o 786 
353.41/60.79	o 787 
353.90/60.81	o 788 
353.90/60.82	o 789 
353.90/60.84	o 790 
353.90/60.86	o 791 
353.90/60.87	o 792 
353.90/60.89	o 793 
354.44/60.90	o 794 
354.44/60.93	o 795 
354.44/60.94	o 796 
354.44/60.96	o 797 
354.44/60.98	o 798 
354.44/61.00	o 799 
354.98/61.02	o 800 
354.98/61.04	o 801 
354.98/61.06	o 802 
354.98/61.07	o 803 
354.98/61.09	o 804 
355.52/61.11	o 805 
355.52/61.12	o 806 
355.52/61.15	o 807 
355.52/61.16	o 808 
355.52/61.18	o 809 
355.52/61.20	o 810 
356.02/61.22	o 811 
356.02/61.23	o 812 
356.02/61.25	o 813 
356.02/61.27	o 814 
356.02/61.29	o 815 
356.58/61.31	o 816 
356.58/61.32	o 817 
356.58/61.34	o 818 
356.58/61.36	o 819 
356.58/61.37	o 820 
356.58/61.39	o 821 
357.20/61.41	o 822 
357.20/61.43	o 823 
357.20/61.44	o 824 
357.20/61.46	o 825 
357.20/61.47	o 826 
357.20/61.49	o 827 
357.74/61.51	o 828 
357.74/61.53	o 829 
357.74/61.54	o 830 
357.74/61.56	o 831 
357.74/61.57	o 832 
357.74/61.59	o 833 
358.38/61.61	o 834 
358.38/61.63	o 835 
358.38/61.64	o 836 
358.38/61.67	o 837 
358.38/61.68	o 838 
358.89/61.70	o 839 
358.89/61.72	o 840 
358.89/61.74	o 841 
358.89/61.77	o 842 
358.89/61.79	o 843 
359.46/61.80	o 844 
359.46/61.82	o 845 
359.46/61.84	o 846 
359.46/61.86	o 847 
359.46/61.88	o 848 
359.99/61.90	o 849 
359.99/61.92	o 850 
359.99/61.93	o 851 
359.99/61.95	o 852 
359.99/61.97	o 853 
359.99/61.99	o 854 
359.99/62.01	o 855 
360.60/62.03	o 856 
360.60/62.07	o 857 
361.03/62.20	o 858 
362.23/63.36	o 859 
362.23/63.39	o 860 
362.60/63.52	o 861 
362.60/63.53	o 862 
363.95/64.70	o 863 
363.95/64.74	o 864 
364.28/64.86	o 865 
366.38/66.06	o 866 
366.38/66.08	o 867 
372.25/66.87	o 868 
372.25/66.89	o 869 
374.64/67.19	o 870 
375.39/67.24	o 871 
375.39/67.26	o 872 
402.36/71.08	o 873 
768.98/117.16	o 874 
770.26/118.35	o 875 
770.26/118.37	o 876 
770.26/118.39	o 877 
770.62/118.41	o 878 
770.62/118.43	o 879 
770.62/118.45	o 880 
770.62/118.47	o 881 
770.62/118.49	o 882 
771.14/118.52	o 883 
771.14/118.55	o 884 
771.46/118.66	o 885 
772.74/119.84	o 886 
876.07/133.48	o 887 
5099.18/665.30	o 888 
5099.93/665.31	o 889 
5102.30/665.61	o 890 
19825.45/2520.09	s SATISFIABLE
19825.45/2520.09	v <instantiation>
19825.45/2520.09	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>
19825.45/2520.09	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 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 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 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 0 1 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 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 0 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 1 1 0 1 0 1 0 0 1 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 0 1 0 2 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 2 1 1 0 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 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 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 414 438 447 463 488 890 </values>
19825.45/2520.09	v </instantiation>
19825.45/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	890

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 (11936 MiB free)
  memory of node 1: 16384 MiB (12151 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280619-1503114900/watcher-4280619-1503114900 -o /tmp/evaluation-result-4280619-1503114900/solver-4280619-1503114900 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503111468-13722 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 242364003 HOME/instance-4280619-1503114900.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=14590, runsolver pid=14587

[startup+0.100156 s]*
/proc/loadavg: 7.81 7.86 8.05 2/200 14611
/proc/meminfo: memFree=24652392/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13695 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144570804 9740288 346 33554432000 4194304 5098028 140733664238656 140733664236760 139862893146748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28004352 140733664244837 140733664245047 140733664245047 140733664247787 0
/proc/14590/statm: 2378 346 289 221 0 87 0
[pid=14592] ppid=14590 vsize=25999808 memory=26096 CPUtime=0.12 cores=0-7
/proc/14592/stat : 14592 (java) S 14590 14590 13695 0 -1 1077944320 5478 0 0 0 10 2 0 0 20 0 20 0 144570804 26623803392 6524 33554432000 4194304 4196468 140730808968000 140730808950544 139873606983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
/proc/14592/statm: 6499952 6524 2847 1 0 6488269 0
[pid=14592/tid=14593] ppid=14590 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/14592/task/14593/stat : 14593 (java) R 14590 14590 13695 0 -1 4202560 3487 0 0 0 7 1 0 0 20 0 20 0 144570805 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873611217952 139873591063902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14594] ppid=14590 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144570805 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873165008016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14595] ppid=14590 vsize=25999808 memory=140167197030016 CPUtime=0 cores=0-7
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873163955216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14596] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873162902416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14597] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873161849616 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14598] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873160796816 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14599] ppid=14590 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144570805 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873159744016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14600] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873158691216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14601] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144570805 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873157638416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14602] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144570807 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873002437488 139873606994562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14603] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14603/stat : 14603 (java) S 14590 14590 13695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144570807 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873001383456 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14604] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14604/stat : 14604 (java) S 14590 14590 13695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144570808 26623803392 6590 33554432000 4194304 4196468 140730808968000 139873000330608 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14605] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570810 26623803392 6590 33554432000 4194304 4196468 140730808968000 139872999278928 139873607002011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14606] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13695 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 144570810 26623803392 6590 33554432000 4194304 4196468 140730808968000 139872998226288 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14607] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14607/stat : 14607 (java) S 14590 14590 13695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144570810 26623803392 6590 33554432000 4194304 4196468 140730808968000 139872997173488 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14608] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14608/stat : 14608 (java) R 14590 14590 13695 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 144570810 26623803392 6590 33554432000 4194304 4196468 140730808968000 139872996120688 139873606994562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14609] ppid=14590 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14592/task/14609/stat : 14609 (java) S 14590 14590 13695 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 144570810 26623803392 6590 33554432000 4194304 4196468 140730808968000 139872995067888 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14610] ppid=14590 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14610/stat : 14610 (java) S 14590 14590 13695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144570810 26623803392 6590 33554432000 4194304 4196468 140730808968000 139872994016352 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14611] ppid=14590 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14592/task/14611/stat : 14611 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570810 26623803392 6590 33554432000 4194304 4196468 140730808968000 139872790637616 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27480 KiB

[startup+0.210057 s]*
/proc/loadavg: 7.81 7.86 8.05 3/200 14611
/proc/meminfo: memFree=24641164/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13695 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144570804 9740288 346 33554432000 4194304 5098028 140733664238656 140733664236760 139862893146748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28004352 140733664244837 140733664245047 140733664245047 140733664247787 0
/proc/14590/statm: 2378 346 289 221 0 87 0
[pid=14592] ppid=14590 vsize=26004064 memory=39376 CPUtime=0.33 cores=0-7
/proc/14592/stat : 14592 (java) S 14590 14590 13695 0 -1 1077944320 8359 0 0 0 30 3 0 0 20 0 20 0 144570804 26628161536 9844 33554432000 4194304 4196468 140730808968000 140730808950544 139873606983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
/proc/14592/statm: 6501016 9844 3082 1 0 6488269 0
[pid=14592/tid=14593] ppid=14590 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14592/task/14593/stat : 14593 (java) R 14590 14590 13695 0 -1 4202560 5403 0 0 0 17 2 0 0 20 0 20 0 144570805 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873611206320 139873607005341 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14594] ppid=14590 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873165008016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14595] ppid=14590 vsize=26004064 memory=140167197724944 CPUtime=0 cores=0-7
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873163955216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14596] ppid=14590 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873162902416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14597] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873161849616 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14598] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873160796816 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14599] ppid=14590 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873159744016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14600] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873158691216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14601] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873157638416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14602] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144570807 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873002437488 139873606994562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14603] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14603/stat : 14603 (java) S 14590 14590 13695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144570807 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873001383456 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14604] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14604/stat : 14604 (java) S 14590 14590 13695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144570808 26628161536 9844 33554432000 4194304 4196468 140730808968000 139873000330608 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14605] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570810 26628161536 9844 33554432000 4194304 4196468 140730808968000 139872999278928 139873607002011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14606] ppid=14590 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13695 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 144570810 26628161536 9844 33554432000 4194304 4196468 140730808968000 139872998226288 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14607] ppid=14590 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14592/task/14607/stat : 14607 (java) S 14590 14590 13695 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 20 0 144570810 26628161536 9844 33554432000 4194304 4196468 140730808968000 139872997173488 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14608] ppid=14590 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/14592/task/14608/stat : 14608 (java) S 14590 14590 13695 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 20 0 144570810 26628161536 9844 33554432000 4194304 4196468 140730808968000 139872996120688 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14609] ppid=14590 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/14592/task/14609/stat : 14609 (java) R 14590 14590 13695 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 20 0 144570810 26628161536 9844 33554432000 4194304 4196468 140730808968000 139872995067888 139873591063902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14610] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14610/stat : 14610 (java) S 14590 14590 13695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144570810 26628161536 9844 33554432000 4194304 4196468 140730808968000 139872994016352 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14611] ppid=14590 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14592/task/14611/stat : 14611 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570810 26628161536 9844 33554432000 4194304 4196468 140730808968000 139872790637616 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40760 KiB

[startup+0.309369 s]*
/proc/loadavg: 7.81 7.86 8.05 3/200 14611
/proc/meminfo: memFree=24636884/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13695 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144570804 9740288 346 33554432000 4194304 5098028 140733664238656 140733664236760 139862893146748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28004352 140733664244837 140733664245047 140733664245047 140733664247787 0
/proc/14590/statm: 2378 346 289 221 0 87 0
[pid=14592] ppid=14590 vsize=26004064 memory=46092 CPUtime=0.49 cores=0-7
/proc/14592/stat : 14592 (java) S 14590 14590 13695 0 -1 1077944320 9179 0 0 0 45 4 0 0 20 0 20 0 144570804 26628161536 11523 33554432000 4194304 4196468 140730808968000 140730808950544 139873606983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
/proc/14592/statm: 6501016 11523 3110 1 0 6488269 0
[pid=14592/tid=14593] ppid=14590 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14592/task/14593/stat : 14593 (java) R 14590 14590 13695 0 -1 4202560 6079 0 0 0 26 3 0 0 20 0 20 0 144570805 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873611220976 139873606995350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14594] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873165008016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14595] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873163955216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14596] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873162902416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14597] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873161849616 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14598] ppid=14590 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873160796816 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14599] ppid=14590 vsize=26004064 memory=140167063106479 CPUtime=0 cores=0-7
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873159744016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14600] ppid=14590 vsize=26004064 memory=140167063108784 CPUtime=0 cores=0-7
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873158691216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14601] ppid=14590 vsize=26004064 memory=140167063111088 CPUtime=0 cores=0-7
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144570805 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873157638416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14602] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144570807 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873002437488 139873606994562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14603] ppid=14590 vsize=26004064 memory=280334126229136 CPUtime=0 cores=0-7
/proc/14592/task/14603/stat : 14603 (java) S 14590 14590 13695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144570807 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873001383456 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14604] ppid=14590 vsize=26004064 memory=280334126236048 CPUtime=0 cores=0-7
/proc/14592/task/14604/stat : 14604 (java) S 14590 14590 13695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144570808 26628161536 11523 33554432000 4194304 4196468 140730808968000 139873000330608 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14605] ppid=14590 vsize=26004064 memory=280334126177328 CPUtime=0 cores=0-7
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570810 26628161536 11523 33554432000 4194304 4196468 140730808968000 139872999278928 139873607002011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14606] ppid=14590 vsize=26004064 memory=280334126249872 CPUtime=0.01 cores=0-7
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13695 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 144570810 26628161536 11523 33554432000 4194304 4196468 140730808968000 139872998226288 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14607] ppid=14590 vsize=26004064 memory=280334126256784 CPUtime=0.02 cores=0-7
/proc/14592/task/14607/stat : 14607 (java) S 14590 14590 13695 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 144570810 26628161536 11523 33554432000 4194304 4196468 140730808968000 139872997173488 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14608] ppid=14590 vsize=26004064 memory=280334126254480 CPUtime=0.02 cores=0-7
/proc/14592/task/14608/stat : 14608 (java) S 14590 14590 13695 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 20 0 144570810 26628161536 11523 33554432000 4194304 4196468 140730808968000 139872996120688 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14609] ppid=14590 vsize=26004064 memory=280334126270640 CPUtime=0.12 cores=0-7
/proc/14592/task/14609/stat : 14609 (java) R 14590 14590 13695 0 -1 4202560 836 0 0 0 12 0 0 0 20 0 20 0 144570810 26628161536 11523 33554432000 4194304 4196468 140730808968000 139872995064256 139873606995350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14610] ppid=14590 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14610/stat : 14610 (java) S 14590 14590 13695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144570810 26628161536 11523 33554432000 4194304 4196468 140730808968000 139872994016352 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14611] ppid=14590 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14592/task/14611/stat : 14611 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570810 26628161536 11523 33554432000 4194304 4196468 140730808968000 139872790637616 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47476 KiB

[startup+0.700904 s]
/proc/loadavg: 7.81 7.86 8.05 5/200 14611
/proc/meminfo: memFree=24610472/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13695 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144570804 9740288 346 33554432000 4194304 5098028 140733664238656 140733664236760 139862893146748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28004352 140733664244837 140733664245047 140733664245047 140733664247787 0
/proc/14590/statm: 2378 346 289 221 0 87 0
[pid=14592] ppid=14590 vsize=26004140 memory=90884 CPUtime=1.78 cores=0-7
/proc/14592/stat : 14592 (java) S 14590 14590 13695 0 -1 1077944320 12179 0 0 0 172 6 0 0 20 0 20 0 144570804 26628239360 22721 33554432000 4194304 4196468 140730808968000 140730808950544 139873606983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
/proc/14592/statm: 6501035 22721 3197 1 0 6488269 0
[pid=14592/tid=14593] ppid=14590 vsize=26004140 memory=280334126628528 CPUtime=0.67 cores=0-7
/proc/14592/task/14593/stat : 14593 (java) R 14590 14590 13695 0 -1 4202560 6502 0 0 0 64 3 0 0 20 0 20 0 144570805 26628239360 22721 33554432000 4194304 4196468 140730808968000 139873611219936 139873589446263 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14594] ppid=14590 vsize=26004140 memory=140167063315312 CPUtime=0 cores=0-7
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144570805 26628239360 22721 33554432000 4194304 4196468 140730808968000 139873165008016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14595] ppid=14590 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628239360 22721 33554432000 4194304 4196468 140730808968000 139873163955216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14596] ppid=14590 vsize=26004140 memory=1200 CPUtime=0 cores=0-7
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144570805 26628239360 22721 33554432000 4194304 4196468 140730808968000 139873162902416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0

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

[pid=14592/tid=21599] ppid=14590 vsize=26541776 memory=1384 CPUtime=1753 cores=0-7
/proc/14592/task/21599/stat : 21599 (java) R 14590 14590 13695 0 -1 4202560 28345 0 0 0 175278 22 0 0 20 0 28 0 144637365 27178778624 588843 33554432000 4194304 4196468 140730808968000 139872772604976 139873213829555 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
Current children cumulated CPU time: 19208.8 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2356756 KiB

[startup+2502.3 s]
/proc/loadavg: 8.34 8.33 8.23 9/208 21647
/proc/meminfo: memFree=22319000/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13695 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144570804 9740288 346 33554432000 4194304 5098028 140733664238656 140733664236760 139862893146748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28004352 140733664244837 140733664245047 140733664245047 140733664247787 0
/proc/14590/statm: 2378 346 289 221 0 87 0
[pid=14592] ppid=14590 vsize=26541776 memory=2354908 CPUtime=19684.9 cores=0-7
/proc/14592/stat : 14592 (java) S 14590 14590 13695 0 -1 1077944320 955380 0 0 0 1967547 941 0 0 20 0 28 0 144570804 27178778624 588727 33554432000 4194304 4196468 140730808968000 140730808950544 139873606983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
/proc/14592/statm: 6635444 588727 3305 1 0 6622678 0
[pid=14592/tid=14593] ppid=14590 vsize=26541776 memory=2355420 CPUtime=6.67 cores=0-7
/proc/14592/task/14593/stat : 14593 (java) S 14590 14590 13695 0 -1 1077944384 13903 0 0 0 649 18 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873611224128 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14594] ppid=14590 vsize=26541776 memory=1384 CPUtime=16.14 cores=0-7
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13695 0 -1 1077944384 30980 0 0 0 1573 41 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873165008016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14595] ppid=14590 vsize=26541776 memory=2354908 CPUtime=16.21 cores=0-7
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13695 0 -1 1077944384 34102 0 0 0 1582 39 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873163955216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14596] ppid=14590 vsize=26541776 memory=1384 CPUtime=16.13 cores=0-7
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13695 0 -1 1077944384 33516 0 0 0 1574 39 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873162902416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14597] ppid=14590 vsize=26541776 memory=2354908 CPUtime=16.13 cores=0-7
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13695 0 -1 1077944384 35161 0 0 0 1574 39 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873161849616 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14598] ppid=14590 vsize=26541776 memory=2354908 CPUtime=16.14 cores=0-7
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13695 0 -1 1077944384 30662 0 0 0 1577 37 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873160796816 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14599] ppid=14590 vsize=26541776 memory=1384 CPUtime=16.04 cores=0-7
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13695 0 -1 1077944384 31455 0 0 0 1566 38 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873159744016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14600] ppid=14590 vsize=26541776 memory=932 CPUtime=16.07 cores=0-7
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13695 0 -1 1077944384 32558 0 0 0 1568 39 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873158691216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14601] ppid=14590 vsize=26541776 memory=2354908 CPUtime=16.13 cores=0-7
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13695 0 -1 1077944384 34900 0 0 0 1575 38 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873157638416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14602] ppid=14590 vsize=26541776 memory=2355360 CPUtime=5.55 cores=0-7
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13695 0 -1 1077944384 129447 0 0 0 453 102 0 0 20 0 28 0 144570807 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873002437488 139873606994562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14603] ppid=14590 vsize=26541776 memory=4144 CPUtime=0 cores=0-7
/proc/14592/task/14603/stat : 14603 (java) S 14590 14590 13695 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 144570807 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873001383520 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14604] ppid=14590 vsize=26541776 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14592/task/14604/stat : 14604 (java) S 14590 14590 13695 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 144570808 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873000330624 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14605] ppid=14590 vsize=26541776 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872999278928 139873607002011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14606] ppid=14590 vsize=26541776 memory=4144 CPUtime=4.14 cores=0-7
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13695 0 -1 1077944384 33525 0 0 0 407 7 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872998226288 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14607] ppid=14590 vsize=26541776 memory=40396 CPUtime=3.82 cores=0-7
/proc/14592/task/14607/stat : 14607 (java) S 14590 14590 13695 0 -1 1077944384 23251 0 0 0 379 3 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872997173488 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14608] ppid=14590 vsize=26541776 memory=2354908 CPUtime=4.04 cores=0-7
/proc/14592/task/14608/stat : 14608 (java) S 14590 14590 13695 0 -1 1077944384 35627 0 0 0 396 8 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872996120688 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14609] ppid=14590 vsize=26541776 memory=1384 CPUtime=1.34 cores=0-7
/proc/14592/task/14609/stat : 14609 (java) S 14590 14590 13695 0 -1 1077944384 28653 0 0 0 129 5 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872995067888 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14610] ppid=14590 vsize=26541776 memory=2355420 CPUtime=0 cores=0-7
/proc/14592/task/14610/stat : 14610 (java) S 14590 14590 13695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872994016352 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14611] ppid=14590 vsize=26541776 memory=1384 CPUtime=1.02 cores=0-7
/proc/14592/task/14611/stat : 14611 (java) S 14590 14590 13695 0 -1 1077944384 7904 0 0 0 23 79 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872790637616 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21592] ppid=14590 vsize=26541776 memory=176799 CPUtime=1812.42 cores=0-7
/proc/14592/task/21592/stat : 21592 (java) R 14590 14590 13695 0 -1 4202560 17294 0 0 0 181218 24 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872778911744 139873213001292 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21593] ppid=14590 vsize=26541776 memory=176555 CPUtime=1809.72 cores=0-7
/proc/14592/task/21593/stat : 21593 (java) R 14590 14590 13695 0 -1 4202560 23029 0 0 0 180952 20 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872783123224 139873218750460 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21594] ppid=14590 vsize=26541776 memory=1384 CPUtime=1807.34 cores=0-7
/proc/14592/task/21594/stat : 21594 (java) R 14590 14590 13695 0 -1 4202560 21983 0 0 0 180710 24 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872776807168 139873218752967 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21595] ppid=14590 vsize=26541776 memory=1384 CPUtime=1811.73 cores=0-7
/proc/14592/task/21595/stat : 21595 (java) R 14590 14590 13695 0 -1 4202560 18415 0 0 0 181151 22 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872775754368 139873214757174 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21596] ppid=14590 vsize=26541776 memory=2354908 CPUtime=1812.42 cores=0-7
/proc/14592/task/21596/stat : 21596 (java) R 14590 14590 13695 0 -1 4202560 22532 0 0 0 181215 27 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872779965152 139873213827293 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21597] ppid=14590 vsize=26541776 memory=1384 CPUtime=1807.93 cores=0-7
/proc/14592/task/21597/stat : 21597 (java) R 14590 14590 13695 0 -1 4202560 81376 0 0 0 180744 49 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872777859280 139873215825920 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21598] ppid=14590 vsize=26541776 memory=1384 CPUtime=1805.68 cores=0-7
/proc/14592/task/21598/stat : 21598 (java) R 14590 14590 13695 0 -1 4202560 20357 0 0 0 180548 20 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872782071024 139873217759939 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21599] ppid=14590 vsize=26541776 memory=2354908 CPUtime=1812.15 cores=0-7
/proc/14592/task/21599/stat : 21599 (java) R 14590 14590 13695 0 -1 4202560 30085 0 0 0 181191 24 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872772607936 139873213161127 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
Current children cumulated CPU time: 19684.9 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2356292 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.27 8.31 8.23 9/208 21647
/proc/meminfo: memFree=22318976/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14590/stat : 14590 (xcsp3-exec) S 14587 14590 13695 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144570804 9740288 346 33554432000 4194304 5098028 140733664238656 140733664236760 139862893146748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28004352 140733664244837 140733664245047 140733664245047 140733664247787 0
/proc/14590/statm: 2378 346 289 221 0 87 0
[pid=14592] ppid=14590 vsize=26541776 memory=2354908 CPUtime=19825.4 cores=0-7
/proc/14592/stat : 14592 (java) S 14590 14590 13695 0 -1 1077944320 957764 0 0 0 1981602 943 0 0 20 0 28 0 144570804 27178778624 588727 33554432000 4194304 4196468 140730808968000 140730808950544 139873606983415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
/proc/14592/statm: 6635444 588727 3305 1 0 6622678 0
[pid=14592/tid=14593] ppid=14590 vsize=26541776 memory=1796 CPUtime=6.67 cores=0-7
/proc/14592/task/14593/stat : 14593 (java) S 14590 14590 13695 0 -1 1077944384 13903 0 0 0 649 18 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873611224128 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14594] ppid=14590 vsize=26541776 memory=960 CPUtime=16.27 cores=0-7
/proc/14592/task/14594/stat : 14594 (java) S 14590 14590 13695 0 -1 1077944384 31020 0 0 0 1586 41 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873165008016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14595] ppid=14590 vsize=26541776 memory=140167063761441 CPUtime=16.33 cores=0-7
/proc/14592/task/14595/stat : 14595 (java) S 14590 14590 13695 0 -1 1077944384 34143 0 0 0 1594 39 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873163955216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14596] ppid=14590 vsize=26541776 memory=4126316290023845779 CPUtime=16.25 cores=0-7
/proc/14592/task/14596/stat : 14596 (java) S 14590 14590 13695 0 -1 1077944384 33724 0 0 0 1586 39 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873162902416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14597] ppid=14590 vsize=26541776 memory=10096 CPUtime=16.25 cores=0-7
/proc/14592/task/14597/stat : 14597 (java) S 14590 14590 13695 0 -1 1077944384 35475 0 0 0 1586 39 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873161849616 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14598] ppid=14590 vsize=26541776 memory=1224 CPUtime=16.26 cores=0-7
/proc/14592/task/14598/stat : 14598 (java) S 14590 14590 13695 0 -1 1077944384 30967 0 0 0 1589 37 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873160796816 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14599] ppid=14590 vsize=26541776 memory=5784 CPUtime=16.17 cores=0-7
/proc/14592/task/14599/stat : 14599 (java) S 14590 14590 13695 0 -1 1077944384 31550 0 0 0 1579 38 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873159744016 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14600] ppid=14590 vsize=26541776 memory=1720 CPUtime=16.2 cores=0-7
/proc/14592/task/14600/stat : 14600 (java) S 14590 14590 13695 0 -1 1077944384 32603 0 0 0 1581 39 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873158691216 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14601] ppid=14590 vsize=26541776 memory=4612 CPUtime=16.25 cores=0-7
/proc/14592/task/14601/stat : 14601 (java) S 14590 14590 13695 0 -1 1077944384 34967 0 0 0 1587 38 0 0 20 0 28 0 144570805 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873157638416 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14602] ppid=14590 vsize=26541776 memory=1008 CPUtime=5.58 cores=0-7
/proc/14592/task/14602/stat : 14602 (java) S 14590 14590 13695 0 -1 1077944384 129701 0 0 0 456 102 0 0 20 0 28 0 144570807 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873002437488 139873606994562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14603] ppid=14590 vsize=26541776 memory=1944 CPUtime=0 cores=0-7
/proc/14592/task/14603/stat : 14603 (java) S 14590 14590 13695 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 144570807 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873001383520 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14604] ppid=14590 vsize=26541776 memory=1200 CPUtime=0 cores=0-7
/proc/14592/task/14604/stat : 14604 (java) S 14590 14590 13695 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 144570808 27178778624 588727 33554432000 4194304 4196468 140730808968000 139873000330624 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14605] ppid=14590 vsize=26541776 memory=1424 CPUtime=0 cores=0-7
/proc/14592/task/14605/stat : 14605 (java) S 14590 14590 13695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872999278928 139873607002011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14606] ppid=14590 vsize=26541776 memory=6791534058613427641 CPUtime=4.14 cores=0-7
/proc/14592/task/14606/stat : 14606 (java) S 14590 14590 13695 0 -1 1077944384 33527 0 0 0 407 7 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872998226288 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14607] ppid=14590 vsize=26541776 memory=4132 CPUtime=3.82 cores=0-7
/proc/14592/task/14607/stat : 14607 (java) S 14590 14590 13695 0 -1 1077944384 23253 0 0 0 379 3 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872997173488 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14608] ppid=14590 vsize=26541776 memory=2204 CPUtime=4.04 cores=0-7
/proc/14592/task/14608/stat : 14608 (java) S 14590 14590 13695 0 -1 1077944384 35629 0 0 0 396 8 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872996120688 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14609] ppid=14590 vsize=26541776 memory=7792 CPUtime=1.34 cores=0-7
/proc/14592/task/14609/stat : 14609 (java) S 14590 14590 13695 0 -1 1077944384 28655 0 0 0 129 5 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872995067888 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14610] ppid=14590 vsize=26541776 memory=844 CPUtime=0 cores=0-7
/proc/14592/task/14610/stat : 14610 (java) S 14590 14590 13695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872994016352 139873606993621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=14611] ppid=14590 vsize=26541776 memory=1696 CPUtime=1.02 cores=0-7
/proc/14592/task/14611/stat : 14611 (java) S 14590 14590 13695 0 -1 1077944384 7917 0 0 0 23 79 0 0 20 0 28 0 144570810 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872790637616 139873606994562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21592] ppid=14590 vsize=26541776 memory=920 CPUtime=1829.93 cores=0-7
/proc/14592/task/21592/stat : 21592 (java) R 14590 14590 13695 0 -1 4202560 17374 0 0 0 182969 24 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872778911712 139873215272320 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21593] ppid=14590 vsize=26541776 memory=4116 CPUtime=1827.13 cores=0-7
/proc/14592/task/21593/stat : 21593 (java) R 14590 14590 13695 0 -1 4202560 23131 0 0 0 182693 20 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872783123392 139873213897226 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21594] ppid=14590 vsize=26541776 memory=1152 CPUtime=1824.79 cores=0-7
/proc/14592/task/21594/stat : 21594 (java) R 14590 14590 13695 0 -1 4202560 22068 0 0 0 182455 24 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872776806928 139873219531977 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21595] ppid=14590 vsize=26541776 memory=4332 CPUtime=1829.15 cores=0-7
/proc/14592/task/21595/stat : 21595 (java) R 14590 14590 13695 0 -1 4202560 18501 0 0 0 182893 22 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872775754320 139873218216232 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21596] ppid=14590 vsize=26541776 memory=1384 CPUtime=1829.89 cores=0-7
/proc/14592/task/21596/stat : 21596 (java) R 14590 14590 13695 0 -1 4202560 22619 0 0 0 182962 27 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872779964984 139873217760003 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21597] ppid=14590 vsize=26541776 memory=2354908 CPUtime=1825.35 cores=0-7
/proc/14592/task/21597/stat : 21597 (java) R 14590 14590 13695 0 -1 4202560 81747 0 0 0 182486 49 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872777862432 139873215824098 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21598] ppid=14590 vsize=26541776 memory=4612 CPUtime=1823.12 cores=0-7
/proc/14592/task/21598/stat : 21598 (java) R 14590 14590 13695 0 -1 4202560 20445 0 0 0 182292 20 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872782070592 139873211205924 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
[pid=14592/tid=21599] ppid=14590 vsize=26541776 memory=1008 CPUtime=1829.55 cores=0-7
/proc/14592/task/21599/stat : 21599 (java) R 14590 14590 13695 0 -1 4202560 30180 0 0 0 182931 24 0 0 20 0 28 0 144637365 27178778624 588727 33554432000 4194304 4196468 140730808968000 139872772604968 139873213161158 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 39374848 140730808976530 140730808976707 140730808976707 140730808979407 0
Current children cumulated CPU time: 19825.4 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 2356292 KiB

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

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

[startup+2520.13 s]
# the end of solver process 14592 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19816.8 s, system=9.44919 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): 2520.13
CPU time (s): 19826.2
CPU user time (s): 19816.8
CPU system time (s): 9.44919
CPU usage (%): 786.715
Max. virtual memory (cumulated for all children) (KiB): 26552048
Max. memory (cumulated for all children) (KiB): 2569664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19816.8
system time used= 9.44919
maximum resident set size= 2568796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 958696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 404421
involuntary context switches= 218680


# summary of solver processes directly reported to runsolver:
#   pid: 14590,14592
#   total CPU time (s): 19826.2
#   total CPU user time (s): 19816.8
#   total CPU system time (s): 9.44919

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5832 second user time and 28.9964 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-19 05:40:40
IDJOB=4280619
IDBENCH=115895
IDSOLVER=2675
FILE ID=node151/4280619-1503114900
RUNJOBID= node151-1503111468-13722
PBS_JOBID= 20630760
Free space on /tmp= 61804 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-4280619-1503114900/watcher-4280619-1503114900 -o /tmp/evaluation-result-4280619-1503114900/solver-4280619-1503114900 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503111468-13722 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 242364003 HOME/instance-4280619-1503114900.xml

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

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=242364003

node151.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	: 5332.95
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	: 5332.95
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	: 5332.95
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	: 5332.95
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:        24667360 kB
MemAvailable:   31973904 kB
Buffers:          319240 kB
Cached:          7279776 kB
SwapCached:            0 kB
Active:          1785236 kB
Inactive:        5866000 kB
Active(anon):      44068 kB
Inactive(anon):    44348 kB
Active(file):    1741168 kB
Inactive(file):  5821652 kB
Unevictable:        7576 kB
Mlocked:            7576 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7580 kB
Writeback:             0 kB
AnonPages:         59748 kB
Mapped:            50520 kB
Shmem:             33416 kB
Slab:             145680 kB
SReclaimable:     119116 kB
SUnreclaim:        26564 kB
KernelStack:        3264 kB
PageTables:         4580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332768 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61796 MiB
End job on node151 at 2017-08-19 06:22:41