Trace number 4273748

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
OscaR - Conflict Ordering 2017-07-26SAT (TO)670 2520.0801 2496.3301

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.23/0.40	c version: 2017-07-26
0.23/0.41	c seed: 255557762
0.23/0.41	c timeout: 2520
0.23/0.41	c memlimit: 11000
0.23/0.41	c nbcore: 4
0.40/0.43	c Parsing instance...
5.62/3.13	c Parsing done, starting search...
22.45/18.44	o 219
22.45/18.44	o 220
22.45/18.45	o 221
22.45/18.45	o 222
22.45/18.46	o 223
22.45/18.46	o 224
22.45/18.46	o 225
22.45/18.47	o 226
22.45/18.47	o 227
22.45/18.47	o 228
22.45/18.48	o 229
22.45/18.48	o 230
22.45/18.48	o 231
22.45/18.48	o 232
22.45/18.49	o 233
22.45/18.49	o 234
22.45/18.49	o 235
22.45/18.49	o 236
22.45/18.49	o 237
22.68/18.50	o 238
22.68/18.50	o 239
22.68/18.50	o 240
22.68/18.50	o 241
22.68/18.51	o 242
22.68/18.51	o 243
22.68/18.51	o 244
22.68/18.51	o 245
22.68/18.51	o 246
22.68/18.52	o 247
22.68/18.52	o 248
22.68/18.52	o 249
22.68/18.52	o 250
22.68/18.52	o 251
22.68/18.53	o 252
22.68/18.53	o 253
22.68/18.53	o 254
22.68/18.53	o 255
22.68/18.54	o 256
22.68/18.54	o 257
22.68/18.54	o 258
22.68/18.54	o 259
22.68/18.55	o 260
22.68/18.55	o 261
22.68/18.55	o 262
22.68/18.55	o 263
22.68/18.56	o 264
22.68/18.56	o 265
22.68/18.56	o 266
22.68/18.56	o 267
22.68/18.57	o 268
22.68/18.57	o 269
22.68/18.57	o 270
22.68/18.58	o 271
22.68/18.58	o 272
22.68/18.58	o 273
22.68/18.58	o 274
22.68/18.58	o 275
22.68/18.58	o 276
22.68/18.59	o 277
22.68/18.59	o 278
22.68/18.59	o 279
22.68/18.59	o 280
22.68/18.59	o 281
22.68/18.60	o 282
22.95/18.60	o 283
22.95/18.60	o 284
22.95/18.60	o 285
22.95/18.60	o 286
22.95/18.60	o 287
22.95/18.61	o 288
22.95/18.61	o 289
22.95/18.61	o 290
22.95/18.61	o 291
22.95/18.61	o 292
22.95/18.62	o 293
22.95/18.62	o 294
22.95/18.62	o 295
22.95/18.62	o 296
22.95/18.62	o 297
22.95/18.63	o 298
22.95/18.63	o 299
22.95/18.63	o 300
22.95/18.63	o 301
22.95/18.63	o 302
22.95/18.64	o 303
22.95/18.64	o 304
22.95/18.64	o 305
22.95/18.64	o 306
22.95/18.64	o 307
22.95/18.65	o 308
22.95/18.65	o 309
22.95/18.65	o 310
22.95/18.65	o 311
22.95/18.65	o 312
22.95/18.65	o 313
22.95/18.66	o 314
22.95/18.66	o 315
22.95/18.66	o 316
22.95/18.66	o 317
22.95/18.66	o 318
22.95/18.66	o 319
22.95/18.67	o 320
22.95/18.67	o 321
22.95/18.67	o 322
22.95/18.67	o 323
22.95/18.67	o 324
22.95/18.68	o 325
22.95/18.68	o 326
22.95/18.68	o 327
22.95/18.68	o 328
22.95/18.68	o 329
22.95/18.68	o 330
22.95/18.69	o 331
22.95/18.69	o 332
22.95/18.69	o 333
22.95/18.69	o 334
22.95/18.69	o 335
22.95/18.70	o 336
23.15/18.70	o 337
23.15/18.70	o 338
23.15/18.70	o 339
23.15/18.70	o 340
23.15/18.71	o 341
23.15/18.71	o 342
23.15/18.71	o 343
23.15/18.71	o 344
23.15/18.72	o 345
23.15/18.72	o 346
23.15/18.72	o 347
23.15/18.72	o 348
23.15/18.73	o 349
23.15/18.73	o 350
23.15/18.73	o 351
23.15/18.73	o 352
23.15/18.73	o 353
23.15/18.74	o 354
23.15/18.74	o 355
23.15/18.74	o 356
23.15/18.74	o 357
23.15/18.74	o 358
23.15/18.75	o 359
23.15/18.75	o 360
23.15/18.75	o 361
23.15/18.75	o 362
23.15/18.76	o 363
23.15/18.76	o 364
23.15/18.76	o 365
23.15/18.76	o 366
23.15/18.76	o 367
23.15/18.77	o 368
23.15/18.77	o 369
23.15/18.77	o 370
23.15/18.77	o 371
23.15/18.78	o 372
23.15/18.78	o 373
23.15/18.78	o 374
23.15/18.78	o 375
23.15/18.78	o 376
23.15/18.79	o 377
23.15/18.79	o 378
23.15/18.79	o 379
23.15/18.79	o 380
23.15/18.79	o 381
23.15/18.80	o 382
23.37/18.80	o 383
23.37/18.80	o 384
23.37/18.80	o 385
23.37/18.80	o 386
23.37/18.81	o 387
23.37/18.81	o 388
23.37/18.81	o 389
23.37/18.81	o 390
23.37/18.81	o 391
23.37/18.81	o 392
23.37/18.82	o 393
23.37/18.82	o 394
23.37/18.82	o 395
23.37/18.82	o 396
23.37/18.82	o 397
23.37/18.83	o 398
23.37/18.83	o 399
23.37/18.83	o 400
23.37/18.83	o 401
23.37/18.83	o 402
23.37/18.84	o 403
23.37/18.84	o 404
23.37/18.84	o 405
23.37/18.84	o 406
23.37/18.85	o 407
23.37/18.85	o 408
23.37/18.85	o 409
23.37/18.85	o 410
23.37/18.85	o 411
23.37/18.86	o 412
23.37/18.86	o 413
23.37/18.86	o 414
23.37/18.86	o 415
23.37/18.86	o 416
23.37/18.87	o 417
23.37/18.87	o 418
23.37/18.87	o 419
23.37/18.87	o 420
23.37/18.87	o 421
23.37/18.88	o 422
23.37/18.88	o 423
23.37/18.88	o 424
23.37/18.88	o 425
23.37/18.88	o 426
23.37/18.89	o 427
23.37/18.89	o 428
23.37/18.89	o 429
23.37/18.89	o 430
23.37/18.89	o 431
23.37/18.90	o 432
23.47/18.90	o 433
23.47/18.90	o 434
23.47/18.90	o 435
23.47/18.90	o 436
23.47/18.91	o 437
23.47/18.91	o 438
23.47/18.91	o 439
23.47/18.91	o 440
23.47/18.91	o 441
23.47/18.92	o 442
23.47/18.92	o 443
23.47/18.92	o 444
23.47/18.92	o 445
23.47/18.92	o 446
23.47/18.93	o 447
23.47/18.93	o 448
23.47/18.93	o 449
23.47/18.93	o 450
23.47/18.93	o 451
23.47/18.94	o 452
23.47/18.94	o 453
23.47/18.94	o 454
23.47/18.94	o 455
23.47/18.94	o 456
23.47/18.95	o 457
23.47/18.95	o 458
23.47/18.95	o 459
23.47/18.95	o 460
23.47/18.96	o 461
23.47/18.96	o 462
23.47/18.96	o 463
23.47/18.96	o 464
23.47/18.96	o 465
23.47/18.97	o 466
23.47/18.97	o 467
23.47/18.97	o 468
23.47/18.97	o 469
23.47/18.98	o 470
23.47/18.98	o 471
23.47/18.98	o 472
23.47/18.98	o 473
23.47/18.99	o 474
23.47/18.99	o 475
23.47/18.99	o 476
23.47/18.99	o 477
23.47/19.00	o 478
23.47/19.00	o 479
23.47/19.00	o 480
23.47/19.00	o 481
23.47/19.00	o 482
23.60/19.01	o 483
23.60/19.01	o 484
23.60/19.01	o 485
23.60/19.01	o 486
23.60/19.02	o 487
23.60/19.02	o 488
23.60/19.02	o 489
23.60/19.02	o 490
23.60/19.02	o 491
23.60/19.03	o 492
23.60/19.03	o 493
23.60/19.03	o 494
23.60/19.04	o 495
23.60/19.04	o 496
23.60/19.04	o 497
23.60/19.04	o 498
23.60/19.04	o 499
23.60/19.05	o 500
23.60/19.05	o 501
23.60/19.05	o 502
23.60/19.05	o 503
23.60/19.06	o 504
23.60/19.06	o 505
23.60/19.06	o 506
23.60/19.06	o 507
23.60/19.06	o 508
23.60/19.07	o 509
23.60/19.07	o 510
23.60/19.07	o 511
23.60/19.07	o 512
23.60/19.08	o 513
23.60/19.08	o 514
23.60/19.08	o 515
23.60/19.08	o 516
23.60/19.08	o 517
23.60/19.09	o 518
23.60/19.09	o 519
23.60/19.09	o 520
23.60/19.09	o 521
23.60/19.10	o 522
23.60/19.10	o 523
23.60/19.10	o 524
23.60/19.10	o 525
23.70/19.11	o 526
23.70/19.11	o 527
23.70/19.11	o 528
23.70/19.12	o 529
23.70/19.12	o 530
23.70/19.12	o 531
23.70/19.12	o 532
23.70/19.13	o 533
23.70/19.13	o 534
23.70/19.13	o 535
23.70/19.13	o 536
23.70/19.13	o 537
23.70/19.14	o 538
23.70/19.14	o 539
23.70/19.14	o 540
23.70/19.14	o 541
23.70/19.14	o 542
23.70/19.15	o 543
23.70/19.15	o 544
23.70/19.15	o 545
23.70/19.15	o 546
23.70/19.16	o 547
23.70/19.16	o 548
23.70/19.16	o 549
23.70/19.16	o 550
23.70/19.16	o 551
23.70/19.17	o 552
23.70/19.17	o 553
23.70/19.17	o 554
23.70/19.17	o 555
23.70/19.18	o 556
23.70/19.18	o 557
23.70/19.18	o 558
23.70/19.18	o 559
23.70/19.19	o 560
23.70/19.19	o 561
23.70/19.19	o 562
23.70/19.19	o 563
23.70/19.20	o 564
23.79/19.20	o 565
23.79/19.20	o 566
23.79/19.20	o 567
23.79/19.21	o 568
23.79/19.21	o 569
23.79/19.21	o 570
23.79/19.21	o 571
23.79/19.22	o 572
23.79/19.22	o 573
23.79/19.22	o 574
23.79/19.22	o 575
23.79/19.23	o 576
23.79/19.23	o 577
23.79/19.23	o 578
23.79/19.23	o 579
23.79/19.23	o 580
23.79/19.24	o 581
23.79/19.24	o 582
23.79/19.24	o 583
23.79/19.24	o 584
23.79/19.25	o 585
23.79/19.25	o 586
23.79/19.25	o 587
23.79/19.25	o 588
23.79/19.26	o 589
23.79/19.26	o 590
23.79/19.26	o 591
23.79/19.26	o 592
23.79/19.27	o 593
23.79/19.27	o 594
23.79/19.27	o 595
23.79/19.27	o 596
23.79/19.28	o 597
23.79/19.28	o 598
23.79/19.28	o 599
23.79/19.28	o 600
23.79/19.29	o 601
23.79/19.29	o 602
23.79/19.29	o 603
23.79/19.29	o 604
23.79/19.30	o 605
23.90/19.30	o 606
23.90/19.30	o 607
23.90/19.30	o 608
23.90/19.31	o 609
23.90/19.31	o 610
23.90/19.31	o 611
23.90/19.31	o 612
23.90/19.32	o 613
23.90/19.32	o 614
23.90/19.32	o 615
23.90/19.32	o 616
23.90/19.33	o 617
23.90/19.33	o 618
23.90/19.33	o 619
23.90/19.33	o 620
23.90/19.34	o 621
23.90/19.34	o 622
23.90/19.34	o 623
23.90/19.34	o 624
23.90/19.35	o 625
23.90/19.35	o 626
23.90/19.35	o 627
23.90/19.35	o 628
23.90/19.36	o 629
23.90/19.36	o 630
23.90/19.36	o 631
23.90/19.36	o 632
23.90/19.37	o 633
23.90/19.37	o 634
23.90/19.37	o 635
23.90/19.38	o 636
23.90/19.38	o 637
23.90/19.38	o 638
23.90/19.38	o 639
23.90/19.39	o 640
23.90/19.39	o 641
23.90/19.39	o 642
24.00/19.40	o 643
24.00/19.40	o 644
24.00/19.40	o 645
24.00/19.41	o 646
24.00/19.41	o 647
24.00/19.42	o 648
24.00/19.42	o 649
24.00/19.43	o 650
24.00/19.45	o 651
24.00/19.47	o 652
24.00/19.49	o 653
24.18/19.50	o 654
24.18/19.51	o 655
24.18/19.53	o 656
24.18/19.54	o 657
24.18/19.55	o 658
24.18/19.56	o 659
24.18/19.59	o 660
24.28/19.62	o 661
24.28/19.63	o 662
24.39/19.79	o 663
24.57/19.83	o 664
24.67/19.94	o 665
25.01/20.11	o 666
46.13/41.06	o 667
46.13/41.10	o 668
47.32/42.20	o 669
928.83/922.22	o 670
2520.03/2496.30	s SATISFIABLE
2520.03/2496.31	v <instantiation>
2520.03/2496.31	v 	<list>
2520.03/2496.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
2520.03/2496.31	v 	</list>
2520.03/2496.31	v 	<values>
2520.03/2496.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 
2520.03/2496.31	v 	</values>
2520.03/2496.31	v </instantiation>

Verifier Data 

OK	670

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273748-1502698807/watcher-4273748-1502698807 -o /tmp/evaluation-result-4273748-1502698807/solver-4273748-1502698807 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 255557762 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273748-1502698807.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15519, runsolver pid=15516

[startup+0.101657 s]*
/proc/loadavg: 1.09 1.31 1.35 3/200 15525
/proc/meminfo: memFree=31051236/32770624 swapFree=67105588/67108860
[pid=15519] ppid=15516 vsize=13358552 memory=14932 CPUtime=0.01 cores=0,2,4,6
/proc/15519/stat : 15519 (java) S 15516 15519 12560 0 -1 1077944320 3566 0 0 0 1 0 0 0 20 0 6 0 72076106 13679157248 3733 18446744073709551615 4194304 4196468 140735265358512 140735265341056 139994914361079 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
/proc/15519/statm: 3339638 3733 1913 1 0 3329135 0
[pid=15519/tid=15521] ppid=15516 vsize=13358552 memory=-6439968830534014599 CPUtime=0.01 cores=0,2,4,6
/proc/15519/task/15521/stat : 15521 (java) R 15516 15519 12560 0 -1 4202560 2280 0 0 0 1 0 0 0 20 0 6 0 72076115 13679157248 3733 18446744073709551615 4194304 4196468 140735265358512 139994918597200 139994899484016 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15522] ppid=15516 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15522/stat : 15522 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 72076116 13679157248 3733 18446744073709551615 4194304 4196468 140735265358512 139994871326992 139994914371285 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15523] ppid=15516 vsize=13358552 memory=139810101302912 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15523/stat : 15523 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 72076116 13679157248 3733 18446744073709551615 4194304 4196468 140735265358512 139994870274448 139994914371285 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15524] ppid=15516 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15524/stat : 15524 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 72076116 13679157248 3733 18446744073709551615 4194304 4196468 140735265358512 139994869221904 139994914371285 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15525] ppid=15516 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15525/stat : 15525 (java) S 15516 15519 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 72076116 13679157248 3733 18446744073709551615 4194304 4196468 140735265358512 139994868169360 139994914371285 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14932 KiB

[startup+0.209586 s]*
/proc/loadavg: 1.09 1.31 1.35 3/209 15534
/proc/meminfo: memFree=31045900/32770624 swapFree=67105588/67108860
[pid=15519] ppid=15516 vsize=13975920 memory=25156 CPUtime=0.07 cores=0,2,4,6
/proc/15519/stat : 15519 (java) S 15516 15519 12560 0 -1 1077944320 6055 0 0 0 6 1 0 0 20 0 15 0 72076106 14311342080 6223 18446744073709551615 4194304 4196468 140735265358512 140735265341056 139994914361079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
/proc/15519/statm: 3493980 6223 2710 1 0 3482759 0
[pid=15519/tid=15521] ppid=15516 vsize=13975920 memory=8318255677412212789 CPUtime=0.05 cores=0,2,4,6
/proc/15519/task/15521/stat : 15521 (java) R 15516 15519 12560 0 -1 4202560 4259 0 0 0 5 0 0 0 20 0 15 0 72076115 14311342080 6355 18446744073709551615 4194304 4196468 140735265358512 139994918590456 139994875342445 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15522] ppid=15516 vsize=13975920 memory=328 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15522/stat : 15522 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14311342080 6355 18446744073709551615 4194304 4196468 140735265358512 139994871326992 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15523] ppid=15516 vsize=13975920 memory=288370186253014656 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15523/stat : 15523 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14311342080 6355 18446744073709551615 4194304 4196468 140735265358512 139994870274448 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15524] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15524/stat : 15524 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14311342080 6355 18446744073709551615 4194304 4196468 140735265358512 139994869221904 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15525] ppid=15516 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15525/stat : 15525 (java) S 15516 15519 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72076116 14311342080 6355 18446744073709551615 4194304 4196468 140735265358512 139994868169360 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15526] ppid=15516 vsize=13975920 memory=139810101302912 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15526/stat : 15526 (java) S 15516 15519 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72076117 14311342080 6421 18446744073709551615 4194304 4196468 140735265358512 139994460740080 139994914372226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15527] ppid=15516 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15527/stat : 15527 (java) S 15516 15519 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72076118 14311342080 6421 18446744073709551615 4194304 4196468 140735265358512 139994391897504 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15528] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15528/stat : 15528 (java) S 15516 15519 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72076118 14311342080 6421 18446744073709551615 4194304 4196468 140735265358512 139994390844912 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15529] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15529/stat : 15529 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14311342080 6421 18446744073709551615 4194304 4196468 140735265358512 139994389793488 139994914379675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15530] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15530/stat : 15530 (java) S 15516 15519 12560 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 72076120 14311342080 6421 18446744073709551615 4194304 4196468 140735265358512 139994388740080 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15531] ppid=15516 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15531/stat : 15531 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14311342080 6421 18446744073709551615 4194304 4196468 140735265358512 139994387687536 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15532] ppid=15516 vsize=13975920 memory=139810101302912 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15532/stat : 15532 (java) S 15516 15519 12560 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 72076120 14311342080 6421 18446744073709551615 4194304 4196468 140735265358512 139994386634992 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15533] ppid=15516 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15533/stat : 15533 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14311342080 6421 18446744073709551615 4194304 4196468 140735265358512 139994385582688 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15534] ppid=15516 vsize=13975920 memory=139810101302912 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15534/stat : 15534 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076127 14311342080 6421 18446744073709551615 4194304 4196468 140735265358512 139994384530224 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 25156 KiB

[startup+0.31912 s]*
/proc/loadavg: 1.09 1.31 1.35 3/209 15534
/proc/meminfo: memFree=31030980/32770624 swapFree=67105588/67108860
[pid=15519] ppid=15516 vsize=13975920 memory=39876 CPUtime=0.23 cores=0,2,4,6
/proc/15519/stat : 15519 (java) S 15516 15519 12560 0 -1 1077944320 10161 0 0 0 21 2 0 0 20 0 15 0 72076106 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 140735265341056 139994914361079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
/proc/15519/statm: 3493980 9969 3550 1 0 3482759 0
[pid=15519/tid=15521] ppid=15516 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/15519/task/15521/stat : 15521 (java) R 15516 15519 12560 0 -1 4202560 7906 0 0 0 15 1 0 0 20 0 15 0 72076115 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994918579904 139994898441566 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15522] ppid=15516 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15522/stat : 15522 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994871326992 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15523] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15523/stat : 15523 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994870274448 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15524] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15524/stat : 15524 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994869221904 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15525] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15525/stat : 15525 (java) S 15516 15519 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72076116 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994868169360 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15526] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15526/stat : 15526 (java) S 15516 15519 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72076117 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994460740080 139994914372226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15527] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15527/stat : 15527 (java) S 15516 15519 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72076118 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994391897504 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15528] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15528/stat : 15528 (java) S 15516 15519 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72076118 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994390844912 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15529] ppid=15516 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15529/stat : 15529 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994389793488 139994914379675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15530] ppid=15516 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15519/task/15530/stat : 15530 (java) S 15516 15519 12560 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 72076120 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994388740080 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15531] ppid=15516 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15531/stat : 15531 (java) S 15516 15519 12560 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 72076120 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994387687536 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15532] ppid=15516 vsize=13975920 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/15519/task/15532/stat : 15532 (java) S 15516 15519 12560 0 -1 1077944384 364 0 0 0 4 0 0 0 20 0 15 0 72076120 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994386634992 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15533] ppid=15516 vsize=13975920 memory=139810101302912 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15533/stat : 15533 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994385582688 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15534] ppid=15516 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15534/stat : 15534 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076127 14311342080 9969 18446744073709551615 4194304 4196468 140735265358512 139994384530224 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39876 KiB

[startup+0.70064 s]
/proc/loadavg: 1.09 1.31 1.35 5/209 15534
/proc/meminfo: memFree=31018456/32770624 swapFree=67105588/67108860
[pid=15519] ppid=15516 vsize=13977988 memory=68396 CPUtime=1 cores=0,2,4,6
/proc/15519/stat : 15519 (java) S 15516 15519 12560 0 -1 1077944320 13850 0 0 0 96 4 0 0 20 0 15 0 72076106 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 140735265341056 139994914361079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
/proc/15519/statm: 3494497 17099 3724 1 0 3483271 0
[pid=15519/tid=15521] ppid=15516 vsize=13977988 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/15519/task/15521/stat : 15521 (java) R 15516 15519 12560 0 -1 4202560 10375 0 0 0 50 3 0 0 20 0 15 0 72076115 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994918595664 139994914373014 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15522] ppid=15516 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15522/stat : 15522 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994871326992 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15523] ppid=15516 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15523/stat : 15523 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994870274448 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15524] ppid=15516 vsize=13977988 memory=1046 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15524/stat : 15524 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994869221904 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15525] ppid=15516 vsize=13977988 memory=4529 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15525/stat : 15525 (java) S 15516 15519 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72076116 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994868169360 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15526] ppid=15516 vsize=13977988 memory=139809977031488 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15526/stat : 15526 (java) S 15516 15519 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72076117 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994460740080 139994914372226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15527] ppid=15516 vsize=13977988 memory=3472468089024688960 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15527/stat : 15527 (java) S 15516 15519 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72076118 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994391897504 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15528] ppid=15516 vsize=13977988 memory=64 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15528/stat : 15528 (java) S 15516 15519 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72076118 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994390844912 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15529] ppid=15516 vsize=13977988 memory=242 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15529/stat : 15529 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994389793488 139994914379675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15530] ppid=15516 vsize=13977988 memory=468 CPUtime=0.12 cores=0,2,4,6
/proc/15519/task/15530/stat : 15530 (java) S 15516 15519 12560 0 -1 1077944384 917 0 0 0 12 0 0 0 20 0 15 0 72076120 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994388740080 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15531] ppid=15516 vsize=13977988 memory=329 CPUtime=0.12 cores=0,2,4,6
/proc/15519/task/15531/stat : 15531 (java) R 15516 15519 12560 0 -1 1077944384 414 0 0 0 12 0 0 0 20 0 15 0 72076120 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994387687536 139994914372226 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15532] ppid=15516 vsize=13977988 memory=120 CPUtime=0.2 cores=0,2,4,6
/proc/15519/task/15532/stat : 15532 (java) R 15516 15519 12560 0 -1 4202560 763 0 0 0 20 0 0 0 20 0 15 0 72076120 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994386630720 139994893830417 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15533] ppid=15516 vsize=13977988 memory=2437 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15533/stat : 15533 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994385582688 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15534] ppid=15516 vsize=13977988 memory=273 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15534/stat : 15534 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076127 14313459712 17099 18446744073709551615 4194304 4196468 140735265358512 139994384530224 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68396 KiB

[startup+1.50066 s]
/proc/loadavg: 1.09 1.31 1.35 5/209 15534
/proc/meminfo: memFree=30962428/32770624 swapFree=67105588/67108860
[pid=15519] ppid=15516 vsize=13982084 memory=165632 CPUtime=3.28 cores=0,2,4,6
/proc/15519/stat : 15519 (java) S 15516 15519 12560 0 -1 1077944320 26417 0 0 0 320 8 0 0 20 0 15 0 72076106 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 140735265341056 139994914361079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
/proc/15519/statm: 3495521 41408 3763 1 0 3484295 0
[pid=15519/tid=15521] ppid=15516 vsize=13982084 memory=277 CPUtime=1.33 cores=0,2,4,6
/proc/15519/task/15521/stat : 15521 (java) R 15516 15519 12560 0 -1 4202560 15283 0 0 0 127 6 0 0 20 0 15 0 72076115 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994918597712 139994898441566 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15522] ppid=15516 vsize=13982084 memory=113 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15522/stat : 15522 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994871326992 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15523] ppid=15516 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15523/stat : 15523 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994870274448 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15524] ppid=15516 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15524/stat : 15524 (java) S 15516 15519 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72076116 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994869221904 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15525] ppid=15516 vsize=13982084 memory=64 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15525/stat : 15525 (java) S 15516 15519 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72076116 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994868169360 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15526] ppid=15516 vsize=13982084 memory=242 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15526/stat : 15526 (java) S 15516 15519 12560 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 72076117 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994460740080 139994914372226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15527] ppid=15516 vsize=13982084 memory=468 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15527/stat : 15527 (java) S 15516 15519 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72076118 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994391897504 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15528] ppid=15516 vsize=13982084 memory=329 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15528/stat : 15528 (java) S 15516 15519 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72076118 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994390844912 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15529] ppid=15516 vsize=13982084 memory=120 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15529/stat : 15529 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994389793488 139994914379675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15530] ppid=15516 vsize=13982084 memory=2437 CPUtime=0.62 cores=0,2,4,6
/proc/15519/task/15530/stat : 15530 (java) S 15516 15519 12560 0 -1 1077944384 2433 0 0 0 62 0 0 0 20 0 15 0 72076120 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994388740080 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15531] ppid=15516 vsize=13982084 memory=273 CPUtime=0.64 cores=0,2,4,6
/proc/15519/task/15531/stat : 15531 (java) R 15516 15519 12560 0 -1 4202560 2098 0 0 0 64 0 0 0 20 0 15 0 72076120 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994387687536 139994898257855 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15532] ppid=15516 vsize=13982084 memory=19031000092388 CPUtime=0.67 cores=0,2,4,6
/proc/15519/task/15532/stat : 15532 (java) R 15516 15519 12560 0 -1 4202560 4820 0 0 0 66 1 0 0 20 0 15 0 72076120 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994386630720 139994907457939 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15533] ppid=15516 vsize=13982084 memory=3054156605112197152 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15533/stat : 15533 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994385582688 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15534] ppid=15516 vsize=13982084 memory=-9106937485548952949 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15534/stat : 15534 (java) S 15516 15519 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72076127 14317654016 41408 18446744073709551615 4194304 4196468 140735265358512 139994384530224 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 13982084 KiB

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

/proc/15519/task/15521/stat : 15521 (java) R 15516 15519 12560 0 -1 4202560 102452 0 0 0 237012 72 0 0 20 0 15 0 72076115 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994918599472 139994552838087 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15522] ppid=15516 vsize=13982084 memory=3229564 CPUtime=6.27 cores=0,2,4,6
/proc/15519/task/15522/stat : 15522 (java) S 15516 15519 12560 0 -1 1077944384 30211 0 0 0 596 31 0 0 20 0 15 0 72076116 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994871326992 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15523] ppid=15516 vsize=13982084 memory=3231612 CPUtime=6.28 cores=0,2,4,6
/proc/15519/task/15523/stat : 15523 (java) S 15516 15519 12560 0 -1 1077944384 25866 0 0 0 595 33 0 0 20 0 15 0 72076116 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994870274448 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15524] ppid=15516 vsize=13982084 memory=3229564 CPUtime=6.26 cores=0,2,4,6
/proc/15519/task/15524/stat : 15524 (java) S 15516 15519 12560 0 -1 1077944384 26086 0 0 0 594 32 0 0 20 0 15 0 72076116 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994869221904 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15525] ppid=15516 vsize=13982084 memory=3231612 CPUtime=6.23 cores=0,2,4,6
/proc/15519/task/15525/stat : 15525 (java) S 15516 15519 12560 0 -1 1077944384 24132 0 0 0 591 32 0 0 20 0 15 0 72076116 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994868169360 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15526] ppid=15516 vsize=13982084 memory=3231612 CPUtime=2.54 cores=0,2,4,6
/proc/15519/task/15526/stat : 15526 (java) S 15516 15519 12560 0 -1 1077944384 22955 0 0 0 234 20 0 0 20 0 15 0 72076117 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994460740080 139994914372226 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15527] ppid=15516 vsize=13982084 memory=19031000092388 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15527/stat : 15527 (java) S 15516 15519 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 72076118 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994391897568 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15528] ppid=15516 vsize=13982084 memory=3231612 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15528/stat : 15528 (java) S 15516 15519 12560 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72076118 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994390844928 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15529] ppid=15516 vsize=13982084 memory=3231612 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15529/stat : 15529 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994389793488 139994914379675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15530] ppid=15516 vsize=13982084 memory=3231612 CPUtime=1.84 cores=0,2,4,6
/proc/15519/task/15530/stat : 15530 (java) S 15516 15519 12560 0 -1 1077944384 5179 0 0 0 182 2 0 0 20 0 15 0 72076120 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994388740080 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15531] ppid=15516 vsize=13982084 memory=3231612 CPUtime=2.01 cores=0,2,4,6
/proc/15519/task/15531/stat : 15531 (java) S 15516 15519 12560 0 -1 1077944384 5345 0 0 0 200 1 0 0 20 0 15 0 72076120 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994387687536 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15532] ppid=15516 vsize=13982084 memory=4144 CPUtime=0.97 cores=0,2,4,6
/proc/15519/task/15532/stat : 15532 (java) S 15516 15519 12560 0 -1 1077944384 9392 0 0 0 94 3 0 0 20 0 15 0 72076120 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994386634992 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15533] ppid=15516 vsize=13982084 memory=3229564 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15533/stat : 15533 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994385582688 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15534] ppid=15516 vsize=13982084 memory=3229564 CPUtime=1.41 cores=0,2,4,6
/proc/15519/task/15534/stat : 15534 (java) S 15516 15519 12560 0 -1 1077944384 1714 0 0 0 69 72 0 0 20 0 15 0 72076127 14317654016 807903 18446744073709551615 4194304 4196468 140735265358512 139994384530224 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
Current children cumulated CPU time: 2404.74 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3231612 KiB

[startup+2442.3 s]
/proc/loadavg: 1.02 1.22 1.33 3/209 15775
/proc/meminfo: memFree=25184320/32770624 swapFree=67105588/67108860
[pid=15519] ppid=15516 vsize=13982084 memory=3233660 CPUtime=2465.42 cores=0,2,4,6
/proc/15519/stat : 15519 (java) S 15516 15519 12560 0 -1 1077944320 258425 0 0 0 246268 274 0 0 20 0 15 0 72076106 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 140735265341056 139994914361079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
/proc/15519/statm: 3495521 808415 3814 1 0 3484295 0
[pid=15519/tid=15521] ppid=15516 vsize=13982084 memory=3233660 CPUtime=2430.4 cores=0,2,4,6
/proc/15519/task/15521/stat : 15521 (java) R 15516 15519 12560 0 -1 4202560 103596 0 0 0 242968 72 0 0 20 0 15 0 72076115 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994918599424 139994554023191 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15522] ppid=15516 vsize=13982084 memory=3233660 CPUtime=6.51 cores=0,2,4,6
/proc/15519/task/15522/stat : 15522 (java) S 15516 15519 12560 0 -1 1077944384 30624 0 0 0 619 32 0 0 20 0 15 0 72076116 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994871326992 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15523] ppid=15516 vsize=13982084 memory=3231612 CPUtime=6.52 cores=0,2,4,6
/proc/15519/task/15523/stat : 15523 (java) S 15516 15519 12560 0 -1 1077944384 26397 0 0 0 618 34 0 0 20 0 15 0 72076116 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994870274448 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15524] ppid=15516 vsize=13982084 memory=3231612 CPUtime=6.5 cores=0,2,4,6
/proc/15519/task/15524/stat : 15524 (java) S 15516 15519 12560 0 -1 1077944384 26484 0 0 0 618 32 0 0 20 0 15 0 72076116 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994869221904 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15525] ppid=15516 vsize=13982084 memory=3231612 CPUtime=6.47 cores=0,2,4,6
/proc/15519/task/15525/stat : 15525 (java) S 15516 15519 12560 0 -1 1077944384 24726 0 0 0 614 33 0 0 20 0 15 0 72076116 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994868169360 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15526] ppid=15516 vsize=13982084 memory=3233660 CPUtime=2.64 cores=0,2,4,6
/proc/15519/task/15526/stat : 15526 (java) S 15516 15519 12560 0 -1 1077944384 23477 0 0 0 243 21 0 0 20 0 15 0 72076117 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994460740080 139994914372226 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15527] ppid=15516 vsize=13982084 memory=3233660 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15527/stat : 15527 (java) S 15516 15519 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 72076118 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994391897568 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15528] ppid=15516 vsize=13982084 memory=3233660 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15528/stat : 15528 (java) S 15516 15519 12560 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72076118 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994390844928 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15529] ppid=15516 vsize=13982084 memory=3233660 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15529/stat : 15529 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994389793488 139994914379675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15530] ppid=15516 vsize=13982084 memory=3233660 CPUtime=1.84 cores=0,2,4,6
/proc/15519/task/15530/stat : 15530 (java) S 15516 15519 12560 0 -1 1077944384 5185 0 0 0 182 2 0 0 20 0 15 0 72076120 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994388740080 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15531] ppid=15516 vsize=13982084 memory=3233660 CPUtime=2.01 cores=0,2,4,6
/proc/15519/task/15531/stat : 15531 (java) S 15516 15519 12560 0 -1 1077944384 5351 0 0 0 200 1 0 0 20 0 15 0 72076120 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994387687536 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15532] ppid=15516 vsize=13982084 memory=3233660 CPUtime=0.97 cores=0,2,4,6
/proc/15519/task/15532/stat : 15532 (java) S 15516 15519 12560 0 -1 1077944384 9398 0 0 0 94 3 0 0 20 0 15 0 72076120 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994386634992 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15533] ppid=15516 vsize=13982084 memory=3233660 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15533/stat : 15533 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994385582688 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15534] ppid=15516 vsize=13982084 memory=14260 CPUtime=1.46 cores=0,2,4,6
/proc/15519/task/15534/stat : 15534 (java) S 15516 15519 12560 0 -1 1077944384 1751 0 0 0 72 74 0 0 20 0 15 0 72076127 14317654016 808415 18446744073709551615 4194304 4196468 140735265358512 139994384530224 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
Current children cumulated CPU time: 2465.42 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3233660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2496.3 s]
/proc/loadavg: 1.55 1.33 1.36 3/209 15777
/proc/meminfo: memFree=25179908/32770624 swapFree=67105588/67108860
[pid=15519] ppid=15516 vsize=13982084 memory=3235708 CPUtime=2520.03 cores=0,2,4,6
/proc/15519/stat : 15519 (java) S 15516 15519 12560 0 -1 1077944320 261136 0 0 0 251725 278 0 0 20 0 15 0 72076106 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 140735265341056 139994914361079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
/proc/15519/statm: 3495521 808927 3814 1 0 3484295 0
[pid=15519/tid=15521] ppid=15516 vsize=13982084 memory=1412 CPUtime=2484.05 cores=0,2,4,6
/proc/15519/task/15521/stat : 15521 (java) R 15516 15519 12560 0 -1 4202560 104623 0 0 0 248332 73 0 0 20 0 15 0 72076115 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994918599456 139994552945523 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15522] ppid=15516 vsize=13982084 memory=3225468 CPUtime=6.73 cores=0,2,4,6
/proc/15519/task/15522/stat : 15522 (java) S 15516 15519 12560 0 -1 1077944384 30934 0 0 0 640 33 0 0 20 0 15 0 72076116 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994871326992 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15523] ppid=15516 vsize=13982084 memory=4144 CPUtime=6.73 cores=0,2,4,6
/proc/15519/task/15523/stat : 15523 (java) S 15516 15519 12560 0 -1 1077944384 26747 0 0 0 638 35 0 0 20 0 15 0 72076116 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994870274448 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15524] ppid=15516 vsize=13982084 memory=3235708 CPUtime=6.71 cores=0,2,4,6
/proc/15519/task/15524/stat : 15524 (java) S 15516 15519 12560 0 -1 1077944384 26690 0 0 0 638 33 0 0 20 0 15 0 72076116 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994869221904 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15525] ppid=15516 vsize=13982084 memory=3235708 CPUtime=6.68 cores=0,2,4,6
/proc/15519/task/15525/stat : 15525 (java) S 15516 15519 12560 0 -1 1077944384 25156 0 0 0 635 33 0 0 20 0 15 0 72076116 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994868169360 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15526] ppid=15516 vsize=13982084 memory=3235708 CPUtime=2.72 cores=0,2,4,6
/proc/15519/task/15526/stat : 15526 (java) S 15516 15519 12560 0 -1 1077944384 23827 0 0 0 251 21 0 0 20 0 15 0 72076117 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994460740080 139994914372226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15527] ppid=15516 vsize=13982084 memory=3235708 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15527/stat : 15527 (java) S 15516 15519 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 72076118 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994391897568 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15528] ppid=15516 vsize=13982084 memory=3235708 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15528/stat : 15528 (java) S 15516 15519 12560 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72076118 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994390844928 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15529] ppid=15516 vsize=13982084 memory=3235708 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15529/stat : 15529 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994389793488 139994914379675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15530] ppid=15516 vsize=13982084 memory=272 CPUtime=1.84 cores=0,2,4,6
/proc/15519/task/15530/stat : 15530 (java) S 15516 15519 12560 0 -1 1077944384 5189 0 0 0 182 2 0 0 20 0 15 0 72076120 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994388740080 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15531] ppid=15516 vsize=13982084 memory=3235708 CPUtime=2.01 cores=0,2,4,6
/proc/15519/task/15531/stat : 15531 (java) S 15516 15519 12560 0 -1 1077944384 5355 0 0 0 200 1 0 0 20 0 15 0 72076120 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994387687536 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15532] ppid=15516 vsize=13982084 memory=3235708 CPUtime=0.97 cores=0,2,4,6
/proc/15519/task/15532/stat : 15532 (java) S 15516 15519 12560 0 -1 1077944384 9402 0 0 0 94 3 0 0 20 0 15 0 72076120 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994386634992 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15533] ppid=15516 vsize=13982084 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15533/stat : 15533 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994385582688 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15534] ppid=15516 vsize=13982084 memory=3235708 CPUtime=1.48 cores=0,2,4,6
/proc/15519/task/15534/stat : 15534 (java) S 15516 15519 12560 0 -1 1077944384 1777 0 0 0 73 75 0 0 20 0 15 0 72076127 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994384530224 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3235708 KiB

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

[startup+2496.33 s]
# the end of solver process 15519 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.28 s, system=2.80076 s

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

[startup+2496.3 s]
/proc/loadavg: 1.55 1.33 1.36 3/209 15777
/proc/meminfo: memFree=25179908/32770624 swapFree=67105588/67108860
[pid=15519] ppid=15516 vsize=13982084 memory=3235708 CPUtime=2520.03 cores=0,2,4,6
/proc/15519/stat : 15519 (java) S 15516 15519 12560 0 -1 1077944320 261136 0 0 0 251725 278 0 0 20 0 15 0 72076106 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 140735265341056 139994914361079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
/proc/15519/statm: 3495521 808927 3814 1 0 3484295 0
[pid=15519/tid=15521] ppid=15516 vsize=13982084 memory=1412 CPUtime=2484.05 cores=0,2,4,6
/proc/15519/task/15521/stat : 15521 (java) R 15516 15519 12560 0 -1 4202560 104623 0 0 0 248332 73 0 0 20 0 15 0 72076115 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994918599456 139994552945523 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15522] ppid=15516 vsize=13982084 memory=3225468 CPUtime=6.73 cores=0,2,4,6
/proc/15519/task/15522/stat : 15522 (java) S 15516 15519 12560 0 -1 1077944384 30934 0 0 0 640 33 0 0 20 0 15 0 72076116 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994871326992 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15523] ppid=15516 vsize=13982084 memory=4144 CPUtime=6.73 cores=0,2,4,6
/proc/15519/task/15523/stat : 15523 (java) S 15516 15519 12560 0 -1 1077944384 26747 0 0 0 638 35 0 0 20 0 15 0 72076116 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994870274448 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15524] ppid=15516 vsize=13982084 memory=3235708 CPUtime=6.71 cores=0,2,4,6
/proc/15519/task/15524/stat : 15524 (java) S 15516 15519 12560 0 -1 1077944384 26690 0 0 0 638 33 0 0 20 0 15 0 72076116 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994869221904 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15525] ppid=15516 vsize=13982084 memory=3235708 CPUtime=6.68 cores=0,2,4,6
/proc/15519/task/15525/stat : 15525 (java) S 15516 15519 12560 0 -1 1077944384 25156 0 0 0 635 33 0 0 20 0 15 0 72076116 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994868169360 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15526] ppid=15516 vsize=13982084 memory=3235708 CPUtime=2.72 cores=0,2,4,6
/proc/15519/task/15526/stat : 15526 (java) S 15516 15519 12560 0 -1 1077944384 23827 0 0 0 251 21 0 0 20 0 15 0 72076117 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994460740080 139994914372226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15527] ppid=15516 vsize=13982084 memory=3235708 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15527/stat : 15527 (java) S 15516 15519 12560 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 72076118 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994391897568 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15528] ppid=15516 vsize=13982084 memory=3235708 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15528/stat : 15528 (java) S 15516 15519 12560 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72076118 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994390844928 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15529] ppid=15516 vsize=13982084 memory=3235708 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15529/stat : 15529 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994389793488 139994914379675 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15530] ppid=15516 vsize=13982084 memory=272 CPUtime=1.84 cores=0,2,4,6
/proc/15519/task/15530/stat : 15530 (java) S 15516 15519 12560 0 -1 1077944384 5189 0 0 0 182 2 0 0 20 0 15 0 72076120 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994388740080 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15531] ppid=15516 vsize=13982084 memory=3235708 CPUtime=2.01 cores=0,2,4,6
/proc/15519/task/15531/stat : 15531 (java) S 15516 15519 12560 0 -1 1077944384 5355 0 0 0 200 1 0 0 20 0 15 0 72076120 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994387687536 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15532] ppid=15516 vsize=13982084 memory=3235708 CPUtime=0.97 cores=0,2,4,6
/proc/15519/task/15532/stat : 15532 (java) S 15516 15519 12560 0 -1 1077944384 9402 0 0 0 94 3 0 0 20 0 15 0 72076120 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994386634992 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15533] ppid=15516 vsize=13982084 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/15519/task/15533/stat : 15533 (java) S 15516 15519 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72076120 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994385582688 139994914371285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
[pid=15519/tid=15534] ppid=15516 vsize=13982084 memory=3235708 CPUtime=1.48 cores=0,2,4,6
/proc/15519/task/15534/stat : 15534 (java) S 15516 15519 12560 0 -1 1077944384 1777 0 0 0 73 75 0 0 20 0 15 0 72076127 14317654016 808927 18446744073709551615 4194304 4196468 140735265358512 139994384530224 139994914372226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 12517376 140735265366383 140735265366569 140735265366569 140735265370063 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3235708 KiB

Child status: 143
Real time (s): 2496.33
CPU time (s): 2520.08
CPU user time (s): 2517.28
CPU system time (s): 2.80076
CPU usage (%): 100.952
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3855916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.28
system time used= 2.80076
maximum resident set size= 3857616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261624
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127353
involuntary context switches= 5860


# summary of solver processes directly reported to runsolver:
#   pid: 15519
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2517.28
#   total CPU system time (s): 2.80076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1059 second user time and 22.4703 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-14 10:06:05
IDJOB=4273748
IDBENCH=115917
IDSOLVER=2666
FILE ID=node126/4273748-1502698807
RUNJOBID= node126-1502662832-10387
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273748-1502698807/watcher-4273748-1502698807 -o /tmp/evaluation-result-4273748-1502698807/solver-4273748-1502698807 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 255557762 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273748-1502698807.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=255557762

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31058332 kB
MemAvailable:   31516144 kB
Buffers:          297496 kB
Cached:           429020 kB
SwapCached:          524 kB
Active:          1010148 kB
Inactive:         220556 kB
Active(anon):     452260 kB
Inactive(anon):    85396 kB
Active(file):     557888 kB
Inactive(file):   135160 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             41960 kB
Writeback:             4 kB
AnonPages:        503452 kB
Mapped:            62636 kB
Shmem:             33440 kB
Slab:             187196 kB
SReclaimable:     161196 kB
SUnreclaim:        26000 kB
KernelStack:        3408 kB
PageTables:         5980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1318936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    442368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61948 MiB
End job on node126 at 2017-08-14 10:47:42