Trace number 4244833

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: OscaR - Conflict Ordering 2017-06-30SAT (TO)670 2400.11 2348.33

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-43.xml
MD5SUM2bbdfe474604d495dd31c09972612e7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark911
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables4096
Number of constraints2287
Number of domains4
Minimum domain size2
Maximum domain size4051
Distribution of domain sizes[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree1
Maximum variable degree46
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity2
Maximum constraint arity47
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints2021
Number of intensional constraints216
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"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.42/0.31	c version: 2017-06-30
0.42/0.31	c seed: 1548957634
0.42/0.31	c timeout: 2400
0.42/0.31	c memlimit: 15500
0.42/0.32	c nbcore: 8
0.42/0.34	c Parsing instance...
6.79/2.68	c Parsing done, starting search...
24.09/17.99	o 219
24.09/17.99	o 220
24.25/18.00	o 221
24.25/18.00	o 222
24.25/18.01	o 223
24.25/18.01	o 224
24.25/18.01	o 225
24.25/18.02	o 226
24.25/18.02	o 227
24.25/18.02	o 228
24.25/18.02	o 229
24.25/18.03	o 230
24.25/18.03	o 231
24.25/18.03	o 232
24.25/18.03	o 233
24.25/18.04	o 234
24.25/18.04	o 235
24.25/18.04	o 236
24.25/18.04	o 237
24.25/18.04	o 238
24.25/18.04	o 239
24.25/18.05	o 240
24.25/18.05	o 241
24.25/18.05	o 242
24.25/18.05	o 243
24.25/18.05	o 244
24.25/18.05	o 245
24.25/18.06	o 246
24.25/18.06	o 247
24.25/18.06	o 248
24.25/18.06	o 249
24.25/18.06	o 250
24.25/18.07	o 251
24.25/18.07	o 252
24.25/18.07	o 253
24.25/18.07	o 254
24.25/18.07	o 255
24.25/18.07	o 256
24.25/18.08	o 257
24.25/18.08	o 258
24.25/18.08	o 259
24.25/18.08	o 260
24.25/18.08	o 261
24.25/18.09	o 262
24.25/18.09	o 263
24.25/18.09	o 264
24.25/18.09	o 265
24.25/18.09	o 266
24.25/18.10	o 267
24.56/18.10	o 268
24.56/18.10	o 269
24.56/18.10	o 270
24.56/18.10	o 271
24.56/18.11	o 272
24.56/18.11	o 273
24.56/18.11	o 274
24.56/18.11	o 275
24.56/18.12	o 276
24.56/18.12	o 277
24.56/18.12	o 278
24.56/18.12	o 279
24.56/18.12	o 280
24.56/18.12	o 281
24.56/18.13	o 282
24.56/18.13	o 283
24.56/18.13	o 284
24.56/18.13	o 285
24.56/18.13	o 286
24.56/18.13	o 287
24.56/18.14	o 288
24.56/18.14	o 289
24.56/18.14	o 290
24.56/18.14	o 291
24.56/18.14	o 292
24.56/18.14	o 293
24.56/18.15	o 294
24.56/18.15	o 295
24.56/18.15	o 296
24.56/18.15	o 297
24.56/18.15	o 298
24.56/18.15	o 299
24.56/18.16	o 300
24.56/18.16	o 301
24.56/18.16	o 302
24.56/18.16	o 303
24.56/18.16	o 304
24.56/18.17	o 305
24.56/18.17	o 306
24.56/18.17	o 307
24.56/18.17	o 308
24.56/18.17	o 309
24.56/18.17	o 310
24.56/18.17	o 311
24.56/18.18	o 312
24.56/18.18	o 313
24.56/18.18	o 314
24.56/18.18	o 315
24.56/18.18	o 316
24.56/18.18	o 317
24.56/18.19	o 318
24.56/18.19	o 319
24.56/18.19	o 320
24.56/18.19	o 321
24.56/18.19	o 322
24.56/18.19	o 323
24.56/18.20	o 324
24.56/18.20	o 325
24.84/18.20	o 326
24.84/18.20	o 327
24.84/18.20	o 328
24.84/18.20	o 329
24.84/18.20	o 330
24.84/18.21	o 331
24.84/18.21	o 332
24.84/18.21	o 333
24.84/18.21	o 334
24.84/18.21	o 335
24.84/18.22	o 336
24.84/18.22	o 337
24.84/18.22	o 338
24.84/18.22	o 339
24.84/18.22	o 340
24.84/18.23	o 341
24.84/18.23	o 342
24.84/18.23	o 343
24.84/18.23	o 344
24.84/18.23	o 345
24.84/18.24	o 346
24.84/18.24	o 347
24.84/18.24	o 348
24.84/18.24	o 349
24.84/18.24	o 350
24.84/18.24	o 351
24.84/18.25	o 352
24.84/18.25	o 353
24.84/18.25	o 354
24.84/18.25	o 355
24.84/18.25	o 356
24.84/18.26	o 357
24.84/18.26	o 358
24.84/18.26	o 359
24.84/18.26	o 360
24.84/18.26	o 361
24.84/18.27	o 362
24.84/18.27	o 363
24.84/18.27	o 364
24.84/18.27	o 365
24.84/18.27	o 366
24.84/18.28	o 367
24.84/18.28	o 368
24.84/18.28	o 369
24.84/18.28	o 370
24.84/18.28	o 371
24.84/18.28	o 372
24.84/18.29	o 373
24.84/18.29	o 374
24.84/18.29	o 375
24.84/18.29	o 376
24.84/18.29	o 377
24.84/18.29	o 378
24.84/18.30	o 379
24.84/18.30	o 380
25.06/18.30	o 381
25.06/18.30	o 382
25.06/18.30	o 383
25.06/18.30	o 384
25.06/18.31	o 385
25.06/18.31	o 386
25.06/18.31	o 387
25.06/18.31	o 388
25.06/18.31	o 389
25.06/18.32	o 390
25.06/18.32	o 391
25.06/18.32	o 392
25.06/18.32	o 393
25.06/18.32	o 394
25.06/18.32	o 395
25.06/18.32	o 396
25.06/18.33	o 397
25.06/18.33	o 398
25.06/18.33	o 399
25.06/18.33	o 400
25.06/18.33	o 401
25.06/18.34	o 402
25.06/18.34	o 403
25.06/18.34	o 404
25.06/18.34	o 405
25.06/18.34	o 406
25.06/18.35	o 407
25.06/18.35	o 408
25.06/18.35	o 409
25.06/18.35	o 410
25.06/18.35	o 411
25.06/18.35	o 412
25.06/18.36	o 413
25.06/18.36	o 414
25.06/18.36	o 415
25.06/18.36	o 416
25.06/18.36	o 417
25.06/18.36	o 418
25.06/18.37	o 419
25.06/18.37	o 420
25.06/18.37	o 421
25.06/18.37	o 422
25.06/18.37	o 423
25.06/18.38	o 424
25.06/18.38	o 425
25.06/18.38	o 426
25.06/18.38	o 427
25.06/18.38	o 428
25.06/18.38	o 429
25.06/18.39	o 430
25.06/18.39	o 431
25.06/18.39	o 432
25.06/18.39	o 433
25.06/18.39	o 434
25.06/18.40	o 435
25.06/18.40	o 436
25.17/18.40	o 437
25.17/18.40	o 438
25.17/18.40	o 439
25.17/18.40	o 440
25.17/18.41	o 441
25.17/18.41	o 442
25.17/18.41	o 443
25.17/18.41	o 444
25.17/18.41	o 445
25.17/18.41	o 446
25.17/18.42	o 447
25.17/18.42	o 448
25.17/18.42	o 449
25.17/18.42	o 450
25.17/18.42	o 451
25.17/18.43	o 452
25.17/18.43	o 453
25.17/18.43	o 454
25.17/18.43	o 455
25.17/18.43	o 456
25.17/18.44	o 457
25.17/18.44	o 458
25.17/18.44	o 459
25.17/18.44	o 460
25.17/18.45	o 461
25.17/18.45	o 462
25.17/18.45	o 463
25.17/18.45	o 464
25.17/18.45	o 465
25.17/18.46	o 466
25.17/18.46	o 467
25.17/18.46	o 468
25.17/18.46	o 469
25.17/18.46	o 470
25.17/18.47	o 471
25.17/18.47	o 472
25.17/18.47	o 473
25.17/18.47	o 474
25.17/18.48	o 475
25.17/18.48	o 476
25.17/18.48	o 477
25.17/18.48	o 478
25.17/18.48	o 479
25.17/18.48	o 480
25.17/18.49	o 481
25.17/18.49	o 482
25.17/18.49	o 483
25.17/18.49	o 484
25.17/18.49	o 485
25.17/18.50	o 486
25.32/18.50	o 487
25.32/18.50	o 488
25.32/18.50	o 489
25.32/18.50	o 490
25.32/18.51	o 491
25.32/18.51	o 492
25.32/18.51	o 493
25.32/18.51	o 494
25.32/18.52	o 495
25.32/18.52	o 496
25.32/18.52	o 497
25.32/18.52	o 498
25.32/18.52	o 499
25.32/18.53	o 500
25.32/18.53	o 501
25.32/18.53	o 502
25.32/18.53	o 503
25.32/18.53	o 504
25.32/18.54	o 505
25.32/18.54	o 506
25.32/18.54	o 507
25.32/18.54	o 508
25.32/18.54	o 509
25.32/18.55	o 510
25.32/18.55	o 511
25.32/18.55	o 512
25.32/18.55	o 513
25.32/18.55	o 514
25.32/18.56	o 515
25.32/18.56	o 516
25.32/18.56	o 517
25.32/18.56	o 518
25.32/18.56	o 519
25.32/18.57	o 520
25.32/18.57	o 521
25.32/18.57	o 522
25.32/18.57	o 523
25.32/18.58	o 524
25.32/18.58	o 525
25.32/18.58	o 526
25.32/18.58	o 527
25.32/18.59	o 528
25.32/18.59	o 529
25.32/18.59	o 530
25.32/18.59	o 531
25.32/18.59	o 532
25.42/18.60	o 533
25.42/18.60	o 534
25.42/18.60	o 535
25.42/18.60	o 536
25.42/18.61	o 537
25.42/18.61	o 538
25.42/18.61	o 539
25.42/18.61	o 540
25.42/18.62	o 541
25.42/18.62	o 542
25.42/18.62	o 543
25.42/18.62	o 544
25.42/18.62	o 545
25.42/18.63	o 546
25.42/18.63	o 547
25.42/18.63	o 548
25.42/18.64	o 549
25.42/18.64	o 550
25.42/18.64	o 551
25.42/18.64	o 552
25.42/18.64	o 553
25.42/18.65	o 554
25.42/18.65	o 555
25.42/18.65	o 556
25.42/18.65	o 557
25.42/18.66	o 558
25.42/18.66	o 559
25.42/18.66	o 560
25.42/18.67	o 561
25.42/18.67	o 562
25.42/18.67	o 563
25.42/18.67	o 564
25.42/18.67	o 565
25.42/18.68	o 566
25.42/18.68	o 567
25.42/18.68	o 568
25.42/18.69	o 569
25.42/18.69	o 570
25.42/18.69	o 571
25.42/18.69	o 572
25.42/18.70	o 573
25.42/18.70	o 574
25.42/18.70	o 575
25.53/18.71	o 576
25.53/18.71	o 577
25.53/18.71	o 578
25.53/18.71	o 579
25.53/18.72	o 580
25.53/18.72	o 581
25.53/18.72	o 582
25.53/18.72	o 583
25.53/18.73	o 584
25.53/18.73	o 585
25.53/18.73	o 586
25.53/18.73	o 587
25.53/18.74	o 588
25.53/18.74	o 589
25.53/18.74	o 590
25.53/18.74	o 591
25.53/18.75	o 592
25.53/18.75	o 593
25.53/18.75	o 594
25.53/18.76	o 595
25.53/18.76	o 596
25.53/18.76	o 597
25.53/18.76	o 598
25.53/18.77	o 599
25.53/18.77	o 600
25.53/18.77	o 601
25.53/18.77	o 602
25.53/18.78	o 603
25.53/18.78	o 604
25.53/18.78	o 605
25.53/18.79	o 606
25.53/18.79	o 607
25.53/18.79	o 608
25.53/18.79	o 609
25.53/18.80	o 610
25.53/18.80	o 611
25.53/18.80	o 612
25.53/18.80	o 613
25.63/18.81	o 614
25.63/18.81	o 615
25.63/18.81	o 616
25.63/18.81	o 617
25.63/18.82	o 618
25.63/18.82	o 619
25.63/18.82	o 620
25.63/18.83	o 621
25.63/18.83	o 622
25.63/18.83	o 623
25.63/18.83	o 624
25.63/18.84	o 625
25.63/18.84	o 626
25.63/18.84	o 627
25.63/18.85	o 628
25.63/18.85	o 629
25.63/18.85	o 630
25.63/18.85	o 631
25.63/18.86	o 632
25.63/18.86	o 633
25.63/18.86	o 634
25.63/18.87	o 635
25.63/18.87	o 636
25.63/18.87	o 637
25.63/18.88	o 638
25.63/18.88	o 639
25.63/18.88	o 640
25.63/18.89	o 641
25.63/18.89	o 642
25.63/18.89	o 643
25.63/18.90	o 644
25.74/18.90	o 645
25.74/18.90	o 646
25.74/18.91	o 647
25.74/18.91	o 648
25.74/18.92	o 649
25.74/18.93	o 650
25.74/18.94	o 651
25.74/18.97	o 652
25.74/18.99	o 653
25.91/19.00	o 654
25.91/19.01	o 655
25.91/19.03	o 656
25.91/19.04	o 657
25.91/19.05	o 658
25.91/19.06	o 659
25.91/19.09	o 660
26.02/19.12	o 661
26.02/19.14	o 662
26.33/19.30	o 663
26.33/19.34	o 664
26.45/19.46	o 665
26.69/19.62	o 666
48.40/40.79	o 667
48.50/40.84	o 668
49.60/41.96	o 669
952.13/939.98	o 670
2400.05/2348.30	s SATISFIABLE
2400.05/2348.31	v <instantiation>
2400.05/2348.31	v 	<list>
2400.05/2348.31	v 		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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
2400.05/2348.31	v 	</list>
2400.05/2348.31	v 	<values>
2400.05/2348.31	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 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 0 0 0 0 0 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 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 2 1 1 2 2 1 1 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 1 1 2 2 1 1 2 1 2 2 1 2 2 1 2 1 0 1 0 1 0 1 1 0 2 1 0 1 0 1 2 0 1 1 0 2 0 0 0 1 2 1 2 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 2 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 1 0 0 0 2 2 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 2 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 2 2 1 1 0 0 1 2 0 0 0 0 0 1 1 2 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 2 1 0 1 0 1 0 1 0 0 0 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 2 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 1 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 2 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 2 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 2 0 1 0 0 0 1 0 1 2 1 1 2 1 1 2 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 2 2 2 1 0 1 1 0 0 1 2 2 2 1 1 2 1 2 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 1 2 1 1 1 0 0 1 0 1 0 0 1 2 1 1 2 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 2 2 2 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 2 2 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 2 1 1 0 0 1 1 1 1 0 0 0 1 1 0 0 2 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 2 0 2 0 0 0 1 1 2 0 1 0 0 0 2 2 0 0 2 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 2 1 1 2 0 2 0 2 0 2 0 1 1 2 1 0 0 1 1 2 2 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 1 1 1 1 0 0 0 2 0 0 0 1 2 1 0 1 0 1 2 2 2 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 2 1 1 2 0 0 2 1 1 0 0 0 0 0 1 2 2 2 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 2 1 1 0 1 2 0 0 0 1 0 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 2 2 2 0 0 1 2 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 2 0 1 0 2 2 0 0 1 2 1 0 1 0 1 0 1 2 1 1 2 1 2 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 2 1 2 0 0 0 0 1 2 2 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 1 2 0 0 1 1 2 2 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 1 1 0 1 0 1 2 0 2 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 2 1 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 2 2 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 2 2 2 2 2 1 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 1 0 2 2 2 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 2 1 0 1 1 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 2 2 2 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 2 2 2 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 2 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 2 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 1 1 2 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 2 2 2 2 2 2 1 1 0 0 1 1 1 1 0 0 0 1 0 1 1 2 1 1 0 1 0 0 1 1 0 1 1 2 0 0 1 0 1 0 0 0 0 1 1 2 2 1 2 1 1 2 0 1 1 0 1 0 0 0 0 1 0 0 0 2 2 1 1 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 2 2 2 2 0 1 0 0 0 1 1 0 2 2 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 43 131 219 303 363 388 406 422 436 457 477 494 525 560 586 602 615 629 647 672 700 725 748 769 798 824 845 860 876 890 905 923 941 957 975 995 1010 1027 1041 1055 1082 1115 1131 1165 1190 670 
2400.05/2348.31	v 	</values>
2400.05/2348.31	v </instantiation>

Verifier Data

OK	670

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244833-1500693607/watcher-4244833-1500693607 -o /tmp/evaluation-result-4244833-1500693607/solver-4244833-1500693607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500684088-11482 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1548957634 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244833-1500693607.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.29 1.39 1.38 2/262 12663
/proc/meminfo: memFree=31481228/32770624 swapFree=5852/279164
[pid=12663] ppid=12660 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 2125 0 0 0 0 0 0 0 20 0 2 0 4629423 10889764864 1856 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 2658634 1856 1188 1 0 2647545 0
[pid=12663/tid=12664] ppid=12660 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 902 0 0 0 0 0 0 0 20 0 2 0 4629423 10889764864 1922 33554432000 4194304 4196468 140721036649040 140217306347936 140217283215120 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0

[startup+0.100139 s]
/proc/loadavg: 1.29 1.39 1.38 2/262 12663
/proc/meminfo: memFree=31481228/32770624 swapFree=5852/279164
[pid=12663] ppid=12660 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 5514 0 0 0 8 1 0 0 20 0 20 0 4629423 13582725120 6087 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 3316095 6087 2852 1 0 3303815 0
[pid=12663/tid=12664] ppid=12660 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 3609 0 0 0 7 1 0 0 20 0 20 0 4629423 13582725120 6087 33554432000 4194304 4196468 140721036649040 140217306348128 140217191201795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200452 s]
/proc/loadavg: 1.29 1.39 1.38 2/262 12663
/proc/meminfo: memFree=31481228/32770624 swapFree=5852/279164
[pid=12663] ppid=12660 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 9111 0 0 0 23 2 0 0 20 0 20 0 4629423 13582245888 9113 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 3315978 9113 3533 1 0 3303698 0
[pid=12663/tid=12664] ppid=12660 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 6862 0 0 0 16 2 0 0 20 0 20 0 4629423 13582245888 9113 33554432000 4194304 4196468 140721036649040 140217306333360 140217294784021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300413 s]
/proc/loadavg: 1.29 1.39 1.38 2/262 12663
/proc/meminfo: memFree=31481228/32770624 swapFree=5852/279164
[pid=12663] ppid=12660 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 10100 0 0 0 39 3 0 0 20 0 20 0 4629423 13582245888 10782 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 3315978 10782 3626 1 0 3303698 0
[pid=12663/tid=12664] ppid=12660 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 7552 0 0 0 25 2 0 0 20 0 20 0 4629423 13582245888 10782 33554432000 4194304 4196468 140721036649040 140217306327088 140217286186334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700228 s]
/proc/loadavg: 1.29 1.39 1.38 2/262 12663
/proc/meminfo: memFree=31481228/32770624 swapFree=5852/279164
[pid=12663] ppid=12660 vsize=13265980 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 12751 0 0 0 143 6 0 0 20 0 20 0 4629423 13584363520 20663 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 3316495 20663 3765 1 0 3304210 0
[pid=12663/tid=12664] ppid=12660 vsize=13265980 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 8547 0 0 0 64 4 0 0 20 0 20 0 4629423 13584363520 20663 33554432000 4194304 4196468 140721036649040 140217306339240 140216942560647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13265980

[startup+1.50116 s]
/proc/loadavg: 1.35 1.40 1.38 4/282 12683
/proc/meminfo: memFree=31366864/32770624 swapFree=5852/279536
[pid=12663] ppid=12660 vsize=13270076 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 27065 0 0 0 388 16 0 0 20 0 20 0 4629423 13588557824 58106 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 3317519 58106 3803 1 0 3305234 0
[pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 11607 0 0 0 139 6 0 0 20 0 20 0 4629423 13588557824 58106 33554432000 4194304 4196468 140721036649040 140217306339832 140216943551062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 20 0 4629424 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216494867440 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12677/stat : 12677 (java) S 12660 12663 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216493816016 140217302124443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12678] ppid=12660 vsize=13270076 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12678/stat : 12678 (java) S 12660 12663 10103 0 -1 1077944384 2805 0 0 0 59 0 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216492763632 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 2253 0 0 0 54 0 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 1715 0 0 0 51 1 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12681/stat : 12681 (java) R 12660 12663 10103 0 -1 4202560 6635 0 0 0 74 1 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216489605920 140217282880405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 58106 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 13270076

[startup+3.10084 s]
/proc/loadavg: 1.35 1.40 1.38 3/282 12683
/proc/meminfo: memFree=31062428/32770624 swapFree=5852/279528
[pid=12663] ppid=12660 vsize=13270076 CPUtime=8.24 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 32650 0 0 0 725 99 0 0 20 0 20 0 4629423 13588557824 125055 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 3317519 125055 3823 1 0 3305234 0
[pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=2.85 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 12782 0 0 0 276 9 0 0 20 0 20 0 4629423 13588557824 125055 33554432000 4194304 4196468 140721036649040 140217306341512 140216949135080 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 154 0 0 0 8 9 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 112 0 0 0 8 11 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 161 0 0 0 8 11 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 113 0 0 0 7 9 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 193 0 0 0 8 10 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 128 0 0 0 9 10 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 359 0 0 0 8 11 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 1024 0 0 0 8 11 0 0 20 0 20 0 4629424 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 4629427 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216494867456 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12677/stat : 12677 (java) S 12660 12663 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216493816016 140217302124443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12678] ppid=12660 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12678/stat : 12678 (java) S 12660 12663 10103 0 -1 1077944384 3382 0 0 0 99 0 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216492763632 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 3019 0 0 0 95 0 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 2541 0 0 0 96 1 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12681/stat : 12681 (java) S 12660 12663 10103 0 -1 1077944384 6771 0 0 0 85 1 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216489606000 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 125055 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
Current children cumulated CPU time (s) 8.24
Current children cumulated vsize (KiB) 13270076

[startup+6.30086 s]
/proc/loadavg: 1.56 1.45 1.39 6/282 12770
/proc/meminfo: memFree=30651236/32770624 swapFree=5852/279584
[pid=12663] ppid=12660 vsize=13270076 CPUtime=12.14 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 33745 0 0 0 1092 122 0 0 20 0 20 0 4629423 13588557824 187987 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 3317519 187987 3836 1 0 3305234 0
[pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=6 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 13100 0 0 0 588 12 0 0 20 0 20 0 4629423 13588557824 187987 33554432000 4194304 4196468 140721036649040 140217306344088 140216948640704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 173 0 0 0 10 12 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 139 0 0 0 11 13 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 182 0 0 0 10 13 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 129 0 0 0 8 13 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 215 0 0 0 10 12 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 142 0 0 0 11 11 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 376 0 0 0 10 13 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 1043 0 0 0 10 13 0 0 20 0 20 0 4629424 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 774 0 0 0 1 0 0 0 20 0 20 0 4629427 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 187987 33554432000 4194304 4196468 140721036649040 140216494867456 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 4491 0 0 0 149 1 0 0 20 0 20 0 4629432 13588557824 753973 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 4247 0 0 0 129 2 0 0 20 0 20 0 4629432 13588557824 753973 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12681/stat : 12681 (java) S 12660 12663 10103 0 -1 1077944384 8726 0 0 0 97 2 0 0 20 0 20 0 4629432 13588557824 753973 33554432000 4194304 4196468 140721036649040 140216489606000 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 753973 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 1708 0 0 0 61 55 0 0 20 0 20 0 4629432 13588557824 753973 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
Current children cumulated CPU time (s) 2311.66
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.15 1.28 1.39 3/281 12835
/proc/meminfo: memFree=25578864/32770624 swapFree=5852/281852
[pid=12663] ppid=12660 vsize=13270076 CPUtime=2373.28 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 277394 0 0 0 236844 484 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 3317519 754997 3838 1 0 3305234 0
[pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=2310.22 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 100068 0 0 0 230954 68 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140217306344128 140216950055838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=6.77 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 15088 0 0 0 633 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 16779 0 0 0 628 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=6.7 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 14481 0 0 0 627 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=6.67 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 16166 0 0 0 621 46 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=6.66 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 13607 0 0 0 618 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=6.74 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 15221 0 0 0 630 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=6.83 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 15864 0 0 0 639 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=6.77 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 19852 0 0 0 629 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 23901 0 0 0 232 24 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216494867456 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12677/stat : 12677 (java) S 12660 12663 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216493816016 140217302124443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12678] ppid=12660 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12678/stat : 12678 (java) S 12660 12663 10103 0 -1 1077944384 5697 0 0 0 151 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216492763632 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 4497 0 0 0 149 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 4253 0 0 0 129 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12681/stat : 12681 (java) S 12660 12663 10103 0 -1 1077944384 8732 0 0 0 97 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216489606000 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 1745 0 0 0 62 57 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
Current children cumulated CPU time (s) 2373.28
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2348.3 s]
/proc/loadavg: 1.34 1.32 1.40 3/281 12836
/proc/meminfo: memFree=25577948/32770624 swapFree=5852/281884
[pid=12663] ppid=12660 vsize=13270076 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 279133 0 0 0 239518 487 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 3317519 754997 3838 1 0 3305234 0
[pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=2336.02 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 100912 0 0 0 233533 69 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140217306344128 140216948640736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=6.88 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 15214 0 0 0 644 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=6.82 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 16794 0 0 0 639 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=6.83 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 14817 0 0 0 640 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=6.79 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 16200 0 0 0 633 46 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=6.78 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 13650 0 0 0 630 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=6.85 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 15228 0 0 0 641 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=6.94 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 15885 0 0 0 650 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=6.86 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 19978 0 0 0 638 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 24069 0 0 0 237 24 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216494867456 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12677/stat : 12677 (java) S 12660 12663 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216493816016 140217302124443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12678] ppid=12660 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12678/stat : 12678 (java) S 12660 12663 10103 0 -1 1077944384 5699 0 0 0 151 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216492763632 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 4499 0 0 0 149 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 4255 0 0 0 129 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12681/stat : 12681 (java) S 12660 12663 10103 0 -1 1077944384 8734 0 0 0 97 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216489606000 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 1756 0 0 0 63 57 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13270076

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

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

[startup+2348.3 s]
/proc/loadavg: 1.34 1.32 1.40 3/281 12836
/proc/meminfo: memFree=25577948/32770624 swapFree=5852/281884
[pid=12663] ppid=12660 vsize=13270076 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/12663/stat : 12663 (java) S 12660 12663 10103 0 -1 1077944320 279133 0 0 0 239518 487 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140721036631584 140217302105847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
/proc/12663/statm: 3317519 754997 3838 1 0 3305234 0
[pid=12663/tid=12664] ppid=12660 vsize=13270076 CPUtime=2336.02 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12664/stat : 12664 (java) R 12660 12663 10103 0 -1 4202560 100912 0 0 0 233533 69 0 0 20 0 20 0 4629423 13588557824 754997 33554432000 4194304 4196468 140721036649040 140217306344128 140216948640736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12665] ppid=12660 vsize=13270076 CPUtime=6.88 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12665/stat : 12665 (java) S 12660 12663 10103 0 -1 1077944384 15214 0 0 0 644 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216901388560 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12667] ppid=12660 vsize=13270076 CPUtime=6.82 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12667/stat : 12667 (java) S 12660 12663 10103 0 -1 1077944384 16794 0 0 0 639 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216900336016 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12668] ppid=12660 vsize=13270076 CPUtime=6.83 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12668/stat : 12668 (java) S 12660 12663 10103 0 -1 1077944384 14817 0 0 0 640 43 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216899283472 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12669] ppid=12660 vsize=13270076 CPUtime=6.79 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12669/stat : 12669 (java) S 12660 12663 10103 0 -1 1077944384 16200 0 0 0 633 46 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216898230928 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12670] ppid=12660 vsize=13270076 CPUtime=6.78 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12670/stat : 12670 (java) S 12660 12663 10103 0 -1 1077944384 13650 0 0 0 630 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216897178384 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12671] ppid=12660 vsize=13270076 CPUtime=6.85 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12671/stat : 12671 (java) S 12660 12663 10103 0 -1 1077944384 15228 0 0 0 641 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216896125840 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12672] ppid=12660 vsize=13270076 CPUtime=6.94 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12672/stat : 12672 (java) S 12660 12663 10103 0 -1 1077944384 15885 0 0 0 650 44 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216895073296 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12673] ppid=12660 vsize=13270076 CPUtime=6.86 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12673/stat : 12673 (java) S 12660 12663 10103 0 -1 1077944384 19978 0 0 0 638 48 0 0 20 0 20 0 4629424 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216894020752 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12674] ppid=12660 vsize=13270076 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12674/stat : 12674 (java) S 12660 12663 10103 0 -1 1077944384 24069 0 0 0 237 24 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216496973808 140217302116994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12675] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12675/stat : 12675 (java) S 12660 12663 10103 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4629427 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216495920096 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12676] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12676/stat : 12676 (java) S 12660 12663 10103 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4629428 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216494867456 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12677] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12677/stat : 12677 (java) S 12660 12663 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216493816016 140217302124443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12678] ppid=12660 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12678/stat : 12678 (java) S 12660 12663 10103 0 -1 1077944384 5699 0 0 0 151 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216492763632 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12679] ppid=12660 vsize=13270076 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12679/stat : 12679 (java) S 12660 12663 10103 0 -1 1077944384 4499 0 0 0 149 1 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216491711088 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12680] ppid=12660 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12680/stat : 12680 (java) S 12660 12663 10103 0 -1 1077944384 4255 0 0 0 129 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216490658544 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12681] ppid=12660 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12681/stat : 12681 (java) S 12660 12663 10103 0 -1 1077944384 8734 0 0 0 97 2 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216489606000 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12682] ppid=12660 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12682/stat : 12682 (java) S 12660 12663 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216488552672 140217302116053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
[pid=12663/tid=12683] ppid=12660 vsize=13270076 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/12663/task/12683/stat : 12683 (java) S 12660 12663 10103 0 -1 1077944384 1756 0 0 0 63 57 0 0 20 0 20 0 4629432 13588557824 754997 33554432000 4194304 4196468 140721036649040 140216487500208 140217302116994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12902400 140721036653705 140721036653892 140721036653892 140721036656591 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2348.33
CPU time (s): 2400.11
CPU user time (s): 2395.22
CPU system time (s): 4.88973
CPU usage (%): 102.205
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.22
system time used= 4.88973
maximum resident set size= 3528332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279623
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 165150
involuntary context switches= 147772

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0758 second user time and 18.7836 second system time

The end

Launcher Data

Begin job on node119 at 2017-07-22 05:20:07
IDJOB=4244833
IDBENCH=115917
IDSOLVER=2628
FILE ID=node119/4244833-1500693607
RUNJOBID= node119-1500684088-11482
PBS_JOBID= 20623030
Free space on /tmp= 61836 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244833-1500693607/watcher-4244833-1500693607 -o /tmp/evaluation-result-4244833-1500693607/solver-4244833-1500693607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500684088-11482 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1548957634 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244833-1500693607.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=1548957634

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31481596 kB
MemAvailable:   31743708 kB
Buffers:          116420 kB
Cached:           427852 kB
SwapCached:            0 kB
Active:           568052 kB
Inactive:         287844 kB
Active(anon):     314660 kB
Inactive(anon):     8680 kB
Active(file):     253392 kB
Inactive(file):   279164 kB
Unevictable:        5852 kB
Mlocked:            5852 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42100 kB
Writeback:             0 kB
AnonPages:        317680 kB
Mapped:            44688 kB
Shmem:              8844 kB
Slab:             123892 kB
SReclaimable:      90780 kB
SUnreclaim:        33112 kB
KernelStack:        4480 kB
PageTables:         5776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1152500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61792 MiB
End job on node119 at 2017-07-22 05:59:16