Trace number 4311538

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 with restarts 2018-08-17SAT (TO)6 2520.04 2475.92

General information on the benchmark

NameGraphColoring/
GraphColoring-2-fullins-5_c18.xml
MD5SUM7175cc64c8263572fa1d1d1459976d33
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark352.426
Satisfiable
(Un)Satisfiability was proved
Number of variables852
Number of constraints12201
Number of domains1
Minimum domain size852
Maximum domain size852
Distribution of domain sizes[{"size":852,"count":852}]
Minimum variable degree9
Maximum variable degree216
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":12201}]
Number of extensional constraints0
Number of intensional constraints12201
Distribution of constraint types[{"type":"intension","count":12201}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 475522958
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
7.58/3.06	c Parsing done, starting search...
8.33/3.37	o 851
8.82/3.56	o 850
9.52/3.93	o 846
9.52/3.93	o 845
9.52/3.93	o 844
9.67/4.03	o 842
9.90/4.22	o 841
10.54/4.51	o 840
10.66/4.61	o 839
10.66/4.63	o 837
10.66/4.64	o 836
11.01/4.90	o 835
11.01/4.98	o 834
11.14/5.03	o 832
11.14/5.05	o 831
11.37/5.24	o 830
11.47/5.36	o 828
11.67/5.53	o 826
11.67/5.60	o 825
11.81/5.61	o 822
12.01/5.81	o 821
12.11/5.90	o 820
12.11/5.95	o 817
12.32/6.15	o 815
12.41/6.28	o 814
12.61/6.44	o 813
12.71/6.53	o 811
12.81/6.65	o 808
12.91/6.79	o 805
13.11/6.96	o 804
13.11/6.97	o 800
13.32/7.12	o 798
13.41/7.26	o 797
13.41/7.28	o 795
13.81/7.62	o 792
14.11/7.96	o 791
14.22/8.03	o 787
14.62/8.42	o 786
14.62/8.49	o 785
14.92/8.73	o 783
15.02/8.83	o 781
15.23/9.09	o 777
15.42/9.23	o 776
15.53/9.30	o 775
15.63/9.48	o 773
15.93/9.73	o 772
16.03/9.82	o 771
16.03/9.83	o 769
16.14/9.94	o 768
16.26/10.02	o 765
16.26/10.05	o 764
16.45/10.20	o 763
16.45/10.27	o 762
16.54/10.32	o 758
16.65/10.43	o 756
16.75/10.53	o 755
16.85/10.60	o 754
16.85/10.62	o 753
16.85/10.66	o 752
16.95/10.76	o 751
17.07/10.84	o 750
17.07/10.85	o 749
17.07/10.85	o 748
17.28/11.03	o 747
17.28/11.09	o 746
17.51/11.29	o 745
17.82/11.50	o 742
17.82/11.57	o 740
17.82/11.59	o 738
18.12/11.87	o 732
18.21/11.99	o 731
18.33/12.06	o 730
18.33/12.10	o 728
18.45/12.14	o 727
18.63/12.33	o 726
18.63/12.39	o 725
18.74/12.43	o 724
18.83/12.53	o 722
18.93/12.67	o 720
18.93/12.69	o 715
19.27/12.96	o 713
19.49/13.02	o 712
19.49/13.06	o 711
19.66/13.11	o 709
19.66/13.17	o 708
19.66/13.17	o 707
19.85/13.31	o 706
19.85/13.32	o 704
19.85/13.32	o 701
19.95/13.42	o 700
20.05/13.50	o 699
20.16/13.63	o 697
20.46/13.96	o 695
20.67/14.16	o 693
20.87/14.30	o 691
21.17/14.61	o 690
21.17/14.68	o 689
21.53/14.94	o 688
21.53/14.96	o 687
21.65/15.04	o 686
21.65/15.08	o 685
21.65/15.09	o 684
21.65/15.10	o 683
21.84/15.21	o 682
22.14/15.52	o 681
22.14/15.59	o 680
22.34/15.70	o 679
22.34/15.79	o 678
22.44/15.83	o 677
22.44/15.86	o 676
22.55/15.91	o 675
22.65/16.10	o 674
22.84/16.24	o 673
22.94/16.33	o 672
23.04/16.40	o 670
23.24/16.68	o 668
23.54/17.00	o 667
23.65/17.05	o 666
23.76/17.15	o 665
23.76/17.18	o 664
24.05/17.41	o 663
24.15/17.54	o 662
24.15/17.58	o 658
24.55/17.92	o 657
24.55/17.99	o 656
24.66/18.04	o 655
24.66/18.09	o 654
24.85/18.23	o 653
24.85/18.29	o 652
25.05/18.48	o 650
25.15/18.53	o 649
25.15/18.59	o 647
25.35/18.70	o 645
25.45/18.84	o 644
25.55/18.93	o 643
25.55/19.00	o 642
25.76/19.16	o 641
25.85/19.24	o 640
25.85/19.25	o 639
25.95/19.33	o 637
25.95/19.38	o 636
26.05/19.49	o 634
26.35/19.70	o 633
26.35/19.77	o 632
26.45/19.83	o 631
26.45/19.87	o 630
26.55/19.91	o 629
26.66/20.02	o 628
26.76/20.15	o 627
26.86/20.23	o 626
26.96/20.30	o 625
26.96/20.39	o 623
27.06/20.49	o 622
27.16/20.56	o 621
27.26/20.62	o 620
27.26/20.67	o 619
27.26/20.68	o 618
27.45/20.80	o 615
27.45/20.83	o 614
27.45/20.85	o 612
27.45/20.88	o 611
27.88/21.15	o 609
28.01/21.23	o 607
28.11/21.33	o 606
28.21/21.45	o 604
28.31/21.54	o 603
28.31/21.55	o 602
28.31/21.57	o 601
28.71/21.93	o 600
28.71/21.96	o 599
28.82/22.01	o 598
28.82/22.05	o 597
29.01/22.21	o 596
29.01/22.24	o 593
29.01/22.26	o 592
29.11/22.35	o 591
29.21/22.42	o 589
29.31/22.54	o 586
29.31/22.54	o 585
29.51/22.75	o 584
29.61/22.81	o 583
29.71/22.97	o 582
29.82/23.03	o 581
29.82/23.08	o 578
29.92/23.12	o 576
30.02/23.29	o 575
30.12/23.36	o 574
30.12/23.37	o 572
30.22/23.45	o 570
30.22/23.46	o 569
30.32/23.54	o 568
30.42/23.60	o 567
30.42/23.67	o 566
30.42/23.68	o 564
30.42/23.70	o 563
30.52/23.74	o 562
30.52/23.75	o 561
30.52/23.79	o 560
30.62/23.88	o 557
30.83/24.05	o 556
30.83/24.10	o 555
30.93/24.18	o 554
31.02/24.26	o 553
31.02/24.28	o 552
31.12/24.32	o 551
31.12/24.39	o 550
31.22/24.45	o 548
31.42/24.60	o 547
31.42/24.66	o 546
31.52/24.72	o 545
31.52/24.73	o 544
31.62/24.85	o 543
31.62/24.86	o 542
31.62/24.88	o 541
31.72/24.96	o 539
31.83/25.06	o 538
31.83/25.07	o 537
31.93/25.11	o 536
32.02/25.21	o 535
32.02/25.21	o 534
32.12/25.36	o 533
32.22/25.42	o 532
32.32/25.52	o 531
32.42/25.61	o 530
32.42/25.63	o 529
32.52/25.78	o 528
32.72/25.99	o 526
32.94/26.14	o 525
33.03/26.23	o 524
33.13/26.30	o 523
33.13/26.39	o 522
33.23/26.40	o 521
33.33/26.53	o 520
33.43/26.66	o 517
33.53/26.74	o 516
33.53/26.76	o 515
33.84/27.08	o 514
33.94/27.16	o 512
33.94/27.19	o 511
34.13/27.33	o 510
34.23/27.41	o 509
34.23/27.47	o 508
34.23/27.48	o 507
34.34/27.50	o 506
34.54/27.72	o 505
34.54/27.76	o 504
34.54/27.79	o 503
34.74/27.97	o 502
34.85/28.03	o 501
34.95/28.12	o 500
34.95/28.14	o 498
35.14/28.36	o 497
35.24/28.43	o 496
35.24/28.47	o 494
35.35/28.59	o 493
35.45/28.64	o 492
35.55/28.72	o 491
35.55/28.77	o 490
35.65/28.82	o 489
35.65/28.84	o 488
35.75/28.91	o 487
35.75/28.94	o 486
35.86/29.01	o 485
35.86/29.08	o 484
35.86/29.09	o 483
36.05/29.27	o 482
36.05/29.29	o 481
36.15/29.35	o 480
36.35/29.56	o 479
36.45/29.61	o 478
36.45/29.69	o 477
36.55/29.70	o 476
36.55/29.79	o 475
36.65/29.80	o 474
36.65/29.87	o 473
36.86/30.03	o 472
36.86/30.10	o 471
36.96/30.15	o 470
37.05/30.20	o 469
37.05/30.22	o 468
37.05/30.28	o 466
37.16/30.34	o 465
37.26/30.44	o 464
37.35/30.58	o 463
37.35/30.59	o 462
37.55/30.74	o 460
37.75/30.91	o 459
37.75/30.96	o 458
37.86/31.08	o 457
37.96/31.13	o 456
37.96/31.13	o 454
38.06/31.21	o 453
38.15/31.30	o 452
38.15/31.32	o 451
38.15/31.33	o 450
38.45/31.67	o 449
38.45/31.69	o 448
38.55/31.72	o 447
38.66/31.88	o 446
38.75/31.95	o 445
38.75/32.00	o 444
38.86/32.02	o 443
38.86/32.05	o 441
38.86/32.05	o 440
38.96/32.15	o 439
39.05/32.22	o 438
39.05/32.27	o 437
39.05/32.29	o 436
39.26/32.41	o 434
39.49/32.66	o 433
39.59/32.75	o 432
39.59/32.79	o 431
39.69/32.84	o 429
39.69/32.89	o 427
39.79/32.96	o 426
39.90/33.02	o 424
40.00/33.18	o 423
40.10/33.21	o 422
40.10/33.24	o 421
40.19/33.35	o 420
40.19/33.37	o 419
40.29/33.48	o 417
40.39/33.57	o 415
40.49/33.65	o 414
40.59/33.70	o 413
40.59/33.78	o 412
40.69/33.84	o 409
40.79/33.97	o 408
40.91/34.03	o 407
41.00/34.11	o 406
41.00/34.18	o 405
41.09/34.20	o 404
41.09/34.22	o 403
41.09/34.24	o 402
41.29/34.48	o 401
41.39/34.50	o 400
41.50/34.60	o 399
41.50/34.60	o 398
41.59/34.71	o 397
41.69/34.80	o 396
41.69/34.82	o 395
41.69/34.86	o 394
41.79/34.90	o 393
41.79/34.91	o 392
41.79/34.96	o 391
41.79/34.98	o 390
41.91/35.05	o 389
41.91/35.07	o 388
42.23/35.20	o 387
42.23/35.22	o 386
42.33/35.30	o 384
42.33/35.32	o 382
42.33/35.33	o 381
42.33/35.38	o 380
42.43/35.43	o 379
42.43/35.48	o 378
42.53/35.56	o 377
42.63/35.64	o 376
42.73/35.78	o 375
42.83/35.82	o 373
42.83/35.85	o 372
42.83/35.86	o 371
42.93/35.90	o 370
42.93/35.98	o 369
43.04/36.01	o 368
43.14/36.16	o 367
43.23/36.22	o 366
43.33/36.31	o 364
43.43/36.40	o 363
43.43/36.42	o 362
43.63/36.60	o 361
43.63/36.66	o 360
43.73/36.79	o 359
43.83/36.85	o 358
43.93/36.92	o 357
43.93/36.95	o 356
44.04/37.08	o 355
44.14/37.14	o 354
44.14/37.18	o 353
44.23/37.21	o 352
44.23/37.23	o 351
44.33/37.36	o 350
44.33/37.38	o 349
44.43/37.44	o 348
44.43/37.49	o 347
44.54/37.53	o 346
44.54/37.57	o 345
44.64/37.63	o 344
44.64/37.70	o 343
44.74/37.74	o 342
44.74/37.74	o 341
44.84/37.81	o 340
44.84/37.87	o 339
44.84/37.89	o 338
44.84/37.89	o 337
44.94/37.94	o 336
44.94/37.96	o 335
44.94/37.99	o 334
45.05/38.04	o 333
45.15/38.11	o 332
45.15/38.13	o 331
45.24/38.20	o 330
45.24/38.23	o 329
45.34/38.39	o 328
45.44/38.44	o 327
45.44/38.47	o 325
45.54/38.53	o 323
45.64/38.61	o 322
45.64/38.64	o 321
45.74/38.71	o 320
45.74/38.77	o 319
45.84/38.80	o 318
45.84/38.88	o 317
45.94/38.92	o 315
45.94/39.00	o 314
46.05/39.05	o 313
46.05/39.10	o 312
46.15/39.14	o 311
46.24/39.21	o 310
46.24/39.27	o 309
46.24/39.29	o 308
46.44/39.42	o 307
46.44/39.44	o 306
46.44/39.45	o 304
46.44/39.45	o 303
46.64/39.69	o 302
46.74/39.72	o 301
46.74/39.76	o 300
46.84/39.81	o 299
46.94/39.94	o 298
46.94/39.98	o 297
47.05/40.01	o 296
47.05/40.04	o 295
47.05/40.10	o 294
47.15/40.16	o 293
47.15/40.20	o 292
47.24/40.26	o 291
47.24/40.29	o 290
47.34/40.30	o 289
47.34/40.38	o 288
47.44/40.43	o 287
47.44/40.43	o 286
47.54/40.50	o 285
47.54/40.55	o 284
47.54/40.59	o 283
47.74/40.70	o 282
47.74/40.76	o 281
47.84/40.81	o 280
47.94/40.99	o 278
48.05/41.05	o 277
48.15/41.14	o 276
48.15/41.15	o 275
48.24/41.25	o 274
48.24/41.29	o 273
48.34/41.37	o 272
48.34/41.37	o 271
48.44/41.42	o 270
48.44/41.48	o 269
48.54/41.54	o 268
48.54/41.58	o 267
48.64/41.64	o 266
48.64/41.66	o 265
48.74/41.71	o 264
48.74/41.77	o 263
48.84/41.82	o 262
48.84/41.84	o 261
48.94/41.90	o 260
48.94/41.93	o 259
49.05/42.01	o 258
49.05/42.07	o 257
49.05/42.07	o 256
49.15/42.13	o 255
49.15/42.16	o 254
49.34/42.30	o 253
49.34/42.35	o 252
49.34/42.39	o 251
49.44/42.43	o 250
49.44/42.49	o 249
49.54/42.54	o 248
49.54/42.55	o 247
49.64/42.60	o 246
49.64/42.66	o 245
49.74/42.71	o 244
49.74/42.74	o 243
49.74/42.79	o 242
49.84/42.82	o 241
49.84/42.88	o 240
49.94/42.92	o 239
49.94/43.00	o 238
50.04/43.05	o 237
50.04/43.10	o 236
50.14/43.13	o 235
50.14/43.19	o 234
50.23/43.24	o 233
50.33/43.32	o 232
50.33/43.38	o 231
50.43/43.43	o 230
50.43/43.47	o 229
50.63/43.60	o 228
50.63/43.63	o 227
50.63/43.69	o 226
50.74/43.74	o 225
50.74/43.78	o 224
50.84/43.82	o 223
50.84/43.83	o 222
50.84/43.89	o 221
50.94/43.92	o 220
50.94/43.94	o 219
50.94/43.99	o 218
51.07/44.02	o 217
51.07/44.07	o 216
51.18/44.11	o 215
51.18/44.13	o 214
51.27/44.24	o 213
51.27/44.28	o 212
51.37/44.31	o 211
51.37/44.39	o 210
51.47/44.44	o 209
51.57/44.52	o 208
51.57/44.59	o 207
51.72/44.61	o 206
52.02/44.90	o 205
52.02/44.94	o 204
52.13/45.01	o 203
52.13/45.03	o 202
52.13/45.08	o 201
52.23/45.15	o 200
52.32/45.21	o 199
52.32/45.23	o 198
52.32/45.25	o 196
52.32/45.29	o 195
52.52/45.41	o 194
52.52/45.47	o 193
52.62/45.51	o 192
52.62/45.55	o 191
52.72/45.61	o 190
52.72/45.65	o 189
52.72/45.68	o 188
52.82/45.73	o 187
52.82/45.76	o 186
52.92/45.83	o 185
52.92/45.85	o 184
53.02/45.90	o 183
53.02/45.94	o 182
53.02/46.00	o 181
53.13/46.05	o 180
53.32/46.20	o 179
53.32/46.22	o 178
53.32/46.25	o 177
53.42/46.32	o 176
53.42/46.34	o 175
53.42/46.37	o 174
53.52/46.46	o 173
53.62/46.50	o 172
53.62/46.51	o 171
53.62/46.53	o 170
53.62/46.59	o 169
53.72/46.65	o 168
53.82/46.70	o 167
53.82/46.75	o 166
53.82/46.78	o 165
53.92/46.87	o 164
53.92/46.89	o 163
54.02/46.94	o 162
54.02/46.99	o 161
54.12/47.03	o 160
54.12/47.10	o 159
54.23/47.13	o 158
54.23/47.19	o 157
54.32/47.23	o 156
54.32/47.26	o 155
54.42/47.32	o 154
54.42/47.36	o 153
54.62/47.51	o 152
54.62/47.54	o 151
54.72/47.63	o 150
54.72/47.68	o 149
54.82/47.70	o 148
54.82/47.79	o 147
54.92/47.83	o 146
54.92/47.89	o 145
55.02/47.92	o 144
55.02/47.95	o 143
55.02/48.00	o 142
55.23/48.13	o 141
55.23/48.18	o 140
55.32/48.23	o 139
55.32/48.27	o 138
55.42/48.31	o 137
55.42/48.38	o 136
55.52/48.42	o 135
55.52/48.45	o 134
55.52/48.48	o 133
55.62/48.58	o 132
55.72/48.61	o 131
55.72/48.67	o 130
55.92/48.81	o 129
55.92/48.85	o 128
55.92/48.88	o 127
56.02/48.94	o 126
56.02/48.97	o 125
56.13/49.04	o 124
56.23/49.12	o 123
56.23/49.16	o 122
56.32/49.20	o 121
56.32/49.27	o 120
56.42/49.31	o 119
56.42/49.34	o 118
56.42/49.36	o 117
56.42/49.39	o 116
56.52/49.43	o 115
56.52/49.46	o 114
56.62/49.51	o 113
56.62/49.55	o 112
56.62/49.59	o 111
56.72/49.64	o 110
56.72/49.68	o 109
56.82/49.72	o 108
56.82/49.77	o 107
56.92/49.81	o 106
56.92/49.87	o 105
57.02/49.91	o 104
57.02/49.95	o 103
57.23/50.11	o 102
57.23/50.14	o 101
57.32/50.22	o 100
57.32/50.26	o 99
57.32/50.28	o 98
57.42/50.33	o 97
57.42/50.36	o 96
57.52/50.40	o 95
57.52/50.47	o 94
57.62/50.50	o 93
57.62/50.55	o 92
57.62/50.57	o 91
57.72/50.65	o 90
57.72/50.69	o 89
57.82/50.77	o 88
57.92/50.81	o 87
57.92/50.85	o 86
57.92/50.89	o 85
58.02/50.92	o 84
58.02/50.97	o 83
58.02/51.00	o 82
58.15/51.04	o 81
58.27/51.12	o 80
58.27/51.15	o 79
58.37/51.20	o 78
58.37/51.24	o 77
58.57/51.42	o 76
58.57/51.45	o 75
58.67/51.51	o 74
58.67/51.56	o 73
58.67/51.58	o 72
58.77/51.61	o 71
58.87/51.76	o 70
58.87/51.79	o 69
58.97/51.83	o 68
58.97/51.87	o 67
59.07/51.91	o 66
59.07/51.95	o 65
59.07/51.98	o 64
59.17/52.02	o 63
59.17/52.05	o 62
59.17/52.09	o 61
59.27/52.13	o 60
59.27/52.17	o 59
59.37/52.22	o 58
59.37/52.27	o 57
59.47/52.30	o 56
59.47/52.38	o 55
59.57/52.41	o 54
59.57/52.46	o 53
59.57/52.50	o 52
59.66/52.53	o 51
59.66/52.55	o 50
59.86/52.72	o 49
59.86/52.75	o 48
59.96/52.89	o 47
60.06/52.92	o 46
60.06/53.00	o 45
60.17/53.03	o 44
60.17/53.07	o 43
60.17/53.10	o 42
60.27/53.15	o 41
60.27/53.20	o 40
60.36/53.23	o 39
60.36/53.27	o 38
60.46/53.32	o 37
60.46/53.36	o 36
60.46/53.39	o 35
60.57/53.43	o 34
60.57/53.47	o 33
60.67/53.51	o 32
60.67/53.55	o 31
60.80/53.60	o 30
60.80/53.63	o 29
60.80/53.67	o 28
60.91/53.71	o 27
60.91/53.75	o 26
60.91/53.78	o 25
61.01/53.84	o 24
61.01/53.87	o 23
61.22/54.03	o 22
61.22/54.07	o 21
61.34/54.11	o 20
61.34/54.15	o 19
61.34/54.19	o 18
61.43/54.25	o 17
61.43/54.29	o 16
61.54/54.34	o 15
61.54/54.39	o 14
61.64/54.43	o 13
61.64/54.47	o 12
61.77/54.52	o 11
61.77/54.58	o 10
61.92/54.62	o 9
61.92/54.67	o 8
62.02/54.72	o 7
62.47/55.04	o 6
2520.01/2475.90	s SATISFIABLE
2520.01/2475.90	v <instantiation>
2520.01/2475.90	v 	<list>
2520.01/2475.90	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851]
2520.01/2475.90	v 	</list>
2520.01/2475.90	v 	<values>
2520.01/2475.90	v 		1 4 0 0 3 3 0 0 1 4 0 2 6 6 6 6 3 3 5 5 5 5 5 5 1 1 1 0 1 1 1 0 0 0 0 3 4 5 5 3 3 5 5 4 4 5 5 5 1 4 5 0 3 5 0 0 3 4 0 0 3 3 0 3 3 6 6 6 6 6 6 6 5 6 6 6 0 0 0 0 0 0 0 0 3 0 0 3 3 6 6 3 4 3 6 6 6 6 6 3 6 4 6 0 1 4 1 0 4 1 1 0 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 2 0 0 1 4 4 4 1 1 2 1 4 4 4 2 1 4 1 0 6 5 6 3 3 6 6 3 6 3 5 6 3 3 5 3 5 6 6 6 6 3 6 3 3 6 3 3 3 3 3 3 3 3 3 3 5 6 3 3 5 3 5 6 3 3 3 3 3 3 3 3 4 1 5 0 3 2 1 0 1 1 0 0 1 4 0 2 6 2 2 2 1 2 6 6 6 6 6 6 2 0 0 0 0 1 0 2 1 2 2 2 4 2 3 4 2 4 4 2 4 4 2 2 1 2 2 2 2 3 0 2 2 2 6 6 6 4 0 6 6 3 6 6 2 3 6 6 6 6 6 6 2 0 2 0 2 0 6 0 6 0 0 6 6 2 6 6 3 2 6 6 6 6 6 6 6 2 6 6 4 2 0 1 2 3 2 1 1 1 1 2 2 2 1 1 2 2 1 2 1 2 2 2 2 2 1 2 4 1 1 0 1 0 0 1 2 2 4 4 2 4 2 4 4 4 2 2 2 2 1 0 6 6 6 6 6 6 6 6 6 6 6 6 2 3 6 6 3 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 2 3 6 3 6 6 6 6 6 6 6 6 6 6 6 6 2 2 6 0 5 5 5 5 3 3 4 5 5 4 5 3 6 4 5 5 4 5 5 5 3 4 3 5 5 5 0 5 3 5 5 5 5 5 5 3 5 3 3 4 5 3 3 5 4 3 3 5 5 4 4 5 6 5 5 5 3 5 5 5 5 3 5 5 4 5 5 5 4 6 5 5 6 5 5 5 6 5 3 3 5 5 3 3 5 5 5 5 6 6 3 6 3 5 3 5 3 5 3 5 6 3 6 6 5 5 5 5 5 3 4 4 3 5 5 5 4 3 5 3 3 5 5 3 3 3 5 5 5 5 4 5 5 5 5 4 4 2 4 3 4 5 5 5 3 5 5 4 4 5 5 3 5 4 3 5 5 5 5 5 5 3 6 5 6 5 5 5 5 5 4 5 6 5 6 5 5 5 5 4 5 5 6 5 5 5 3 5 6 5 5 5 4 4 6 6 5 5 6 6 5 6 5 5 5 5 5 5 5 5 6 5 1 1 1 2 2 1 1 0 2 2 1 0 2 1 0 0 1 2 2 2 1 2 1 2 1 2 0 0 2 2 0 0 2 2 0 0 2 1 2 1 2 1 1 1 2 2 1 2 2 1 1 1 1 0 2 1 1 1 1 1 2 0 0 1 0 1 1 1 1 2 0 1 1 2 1 0 2 2 1 0 2 1 1 0 0 1 1 1 3 1 1 0 1 2 1 2 1 2 1 1 2 1 1 1 1 0 0 2 1 0 2 2 2 0 1 0 0 0 2 1 2 2 1 2 0 1 0 2 2 2 0 0 0 2 2 0 1 0 1 0 0 1 1 1 2 1 1 1 2 1 2 0 0 2 1 2 1 3 1 1 2 2 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 2 1 0 1 1 1 2 0 2 2 1 1 2 1 0 3 2 1 3 1 3 0 1 1 2 0 3 2 0 0 0 2 1 0 0 4 5 1 6 
2520.01/2475.90	v 	</values>
2520.01/2475.90	v </instantiation>

Verifier Data

OK	6

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311538-1534543791/watcher-4311538-1534543791 -o /tmp/evaluation-result-4311538-1534543791/solver-4311538-1534543791 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534541038-19625 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 475522958 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311538-1534543791.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
solver pid=20256, runsolver pid=20253
Current StackSize limit: 8192 KiB


[startup+0.100122 s]*
/proc/loadavg: 1.24 1.38 1.30 3/215 20271
/proc/meminfo: memFree=23161032/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14082736 memory=32004 CPUtime=0.11 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 6401 0 0 0 10 1 0 0 20 0 15 0 271942417 14420721664 8001 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3520684 8001 3157 1 0 3482761 0
[pid=20256/tid=20258] ppid=20253 vsize=14082736 memory=-8629632960754259331 CPUtime=0.09 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 4448 0 0 0 8 1 0 0 20 0 15 0 271942417 14420721664 8001 33554432000 4194304 4196468 140723042702560 139762629777696 139762611254942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 8001 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 8001 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 8001 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 8001 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271942419 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761536447520 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761535394672 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0.01 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 271942422 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942423 14420721664 8001 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32004 KiB

[startup+0.212494 s]*
/proc/loadavg: 1.24 1.38 1.30 6/215 20271
/proc/meminfo: memFree=23145776/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14082736 memory=47816 CPUtime=0.31 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 10062 0 0 0 29 2 0 0 20 0 15 0 271942417 14420721664 11954 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3520684 11954 3361 1 0 3482761 0
[pid=20256/tid=20258] ppid=20253 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 7775 0 0 0 18 2 0 0 20 0 15 0 271942417 14420721664 11954 33554432000 4194304 4196468 140723042702560 139762629800640 139762625584534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 11954 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14082736 memory=3763237972226688672 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 11954 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 11954 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 11954 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271942419 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761536447520 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761535394672 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 15 0 271942422 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 15 0 271942422 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0.06 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) R 20253 20256 19594 0 -1 4202560 298 0 0 0 6 0 0 0 20 0 15 0 271942422 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761531184176 139762625593946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942423 14420721664 11954 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47816 KiB

[startup+0.310422 s]*
/proc/loadavg: 1.24 1.38 1.30 5/215 20271
/proc/meminfo: memFree=23142488/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14082736 memory=51148 CPUtime=0.44 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 10414 0 0 0 42 2 0 0 20 0 15 0 271942417 14420721664 12787 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3520684 12787 3364 1 0 3482761 0
[pid=20256/tid=20258] ppid=20253 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 8107 0 0 0 28 2 0 0 20 0 15 0 271942417 14420721664 12787 33554432000 4194304 4196468 140723042702560 139762629780432 139762605848270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14082736 memory=4294977871 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 12787 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14082736 memory=3835014091287905952 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 12787 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 12787 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271942418 14420721664 12787 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271942419 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761536447520 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271942420 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761535394672 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 271942422 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 15 0 271942422 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 307 0 0 0 8 0 0 0 20 0 15 0 271942422 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14082736 memory=140488830174848 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942423 14420721664 12787 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51148 KiB

[startup+0.700733 s]
/proc/loadavg: 1.24 1.38 1.30 3/215 20271
/proc/meminfo: memFree=23118784/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14084804 memory=88828 CPUtime=0.98 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 17113 0 0 0 94 4 0 0 20 0 15 0 271942417 14422839296 22207 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3521201 22207 3500 1 0 3483273 0
[pid=20256/tid=20258] ppid=20253 vsize=14084804 memory=227517638140550 CPUtime=0.67 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 14445 0 0 0 64 3 0 0 20 0 15 0 271942417 14422839296 22207 33554432000 4194304 4196468 140723042702560 139762629795856 139762609653086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14084804 memory=1477442 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14422839296 22207 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14422839296 22207 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942418 14422839296 22207 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14084804 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271942418 14422839296 22207 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271942419 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14084804 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271942420 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761536447520 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271942420 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761535394672 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14084804 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14084804 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 581 0 0 0 6 0 0 0 20 0 15 0 271942422 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14084804 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 345 0 0 0 8 0 0 0 20 0 15 0 271942422 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 362 0 0 0 15 0 0 0 20 0 15 0 271942422 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14084804 memory=15764 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271942423 14422839296 22207 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88828 KiB

[startup+1.50073 s]
/proc/loadavg: 1.24 1.38 1.30 5/215 20271
/proc/meminfo: memFree=23067048/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14086852 memory=222280 CPUtime=3.34 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 21851 0 0 0 327 7 0 0 20 0 15 0 271942417 14424936448 55570 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3521713 55570 3565 1 0 3483785 0
[pid=20256/tid=20258] ppid=20253 vsize=14086852 memory=10803 CPUtime=1.46 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 15625 0 0 0 141 5 0 0 20 0 15 0 271942417 14424936448 55570 33554432000 4194304 4196468 140723042702560 139762629808560 139762217728517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 271942418 14424936448 55570 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 271942418 14424936448 55570 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 271942418 14424936448 55570 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 271942418 14424936448 55570 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 271942419 14424936448 55570 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0

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

/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 91650 0 0 0 236483 74 0 0 20 0 15 0 271942417 14429130752 561770 33554432000 4194304 4196468 140723042702560 139762629810704 139762219595995 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14090948 memory=748 CPUtime=12.03 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 29090 0 0 0 1163 40 0 0 20 0 15 0 271942418 14429130752 561770 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14090948 memory=2256312 CPUtime=12.04 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 29071 0 0 0 1166 38 0 0 20 0 15 0 271942418 14429130752 561770 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14090948 memory=2252208 CPUtime=11.98 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 30087 0 0 0 1160 38 0 0 20 0 15 0 271942418 14429130752 561770 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14090948 memory=2253748 CPUtime=12.06 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 30418 0 0 0 1168 38 0 0 20 0 15 0 271942418 14429130752 561770 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14090948 memory=2249644 CPUtime=3.28 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 27041 0 0 0 292 36 0 0 20 0 15 0 271942419 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14090948 memory=2250156 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761536447584 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14090948 memory=2248104 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761535394688 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14090948 memory=2247592 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14090948 memory=2247592 CPUtime=2.68 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 7166 0 0 0 267 1 0 0 20 0 15 0 271942422 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14090948 memory=1620 CPUtime=2.77 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 10789 0 0 0 275 2 0 0 20 0 15 0 271942422 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14090948 memory=238418 CPUtime=1.06 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 10957 0 0 0 105 1 0 0 20 0 15 0 271942422 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14090948 memory=4100 CPUtime=1.27 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1586 0 0 0 62 65 0 0 20 0 15 0 271942423 14429130752 561770 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 2424.84 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2247080 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.49 1.43 3/215 20510
/proc/meminfo: memFree=20513964/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14090948 memory=2210656 CPUtime=2485.82 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 272052 0 0 0 248271 311 0 0 20 0 15 0 271942417 14429130752 552664 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3522737 552664 3609 1 0 3484809 0
[pid=20256/tid=20258] ppid=20253 vsize=14090948 memory=2211168 CPUtime=2425.09 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 92798 0 0 0 242435 74 0 0 20 0 15 0 271942417 14429130752 552664 33554432000 4194304 4196468 140723042702560 139762629810704 139762216250581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14090948 memory=2213220 CPUtime=12.35 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 29376 0 0 0 1195 40 0 0 20 0 15 0 271942418 14429130752 552664 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14090948 memory=2212708 CPUtime=12.37 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 29290 0 0 0 1199 38 0 0 20 0 15 0 271942418 14429130752 552664 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14090948 memory=2211680 CPUtime=12.32 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 30469 0 0 0 1194 38 0 0 20 0 15 0 271942418 14429130752 552664 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14090948 memory=2210656 CPUtime=12.39 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 30782 0 0 0 1200 39 0 0 20 0 15 0 271942418 14429130752 552664 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14090948 memory=2211168 CPUtime=3.38 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 27385 0 0 0 301 37 0 0 20 0 15 0 271942419 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14090948 memory=3808 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761536447584 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14090948 memory=2221940 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761535394688 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14090948 memory=2223480 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14090948 memory=3808 CPUtime=2.68 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 7170 0 0 0 267 1 0 0 20 0 15 0 271942422 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14090948 memory=6432 CPUtime=2.77 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 10793 0 0 0 275 2 0 0 20 0 15 0 271942422 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14090948 memory=1220 CPUtime=1.06 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 10961 0 0 0 105 1 0 0 20 0 15 0 271942422 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14090948 memory=1068 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14090948 memory=2210656 CPUtime=1.3 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1612 0 0 0 63 67 0 0 20 0 15 0 271942423 14429130752 552664 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 2485.82 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2210656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2475.9 s]
/proc/loadavg: 1.27 1.45 1.42 3/215 20510
/proc/meminfo: memFree=20524700/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2520.01 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 273515 0 0 0 251687 314 0 0 20 0 15 0 271942417 14429130752 549586 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3522737 549586 3609 1 0 3484809 0
[pid=20256/tid=20258] ppid=20253 vsize=14090948 memory=2200908 CPUtime=2458.4 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 93409 0 0 0 245766 74 0 0 20 0 15 0 271942417 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762629810784 139762214510909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14090948 memory=2213220 CPUtime=12.54 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 29384 0 0 0 1214 40 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14090948 memory=2203472 CPUtime=12.57 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 29440 0 0 0 1219 38 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14090948 memory=2200908 CPUtime=12.52 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 30659 0 0 0 1213 39 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14090948 memory=2201420 CPUtime=12.59 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 31092 0 0 0 1220 39 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14090948 memory=2199368 CPUtime=3.44 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 27559 0 0 0 306 38 0 0 20 0 15 0 271942419 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14090948 memory=2200396 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761536447584 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14090948 memory=2198856 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761535394688 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14090948 memory=2198344 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2.68 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 7172 0 0 0 267 1 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2.77 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 10795 0 0 0 275 2 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14090948 memory=2198856 CPUtime=1.07 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 10963 0 0 0 106 1 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14090948 memory=304336023431948585 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14090948 memory=6791534058613427641 CPUtime=1.32 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1626 0 0 0 64 68 0 0 20 0 15 0 271942423 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2198344 KiB

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

[startup+2475.92 s]
# the end of solver process 20256 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.89 s, system=3.1523 s

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

[startup+2475.9 s]
/proc/loadavg: 1.27 1.45 1.42 3/215 20510
/proc/meminfo: memFree=20524700/32770624 swapFree=67108792/67108860
[pid=20256] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2520.01 cores=0,2,4,6
/proc/20256/stat : 20256 (java) S 20253 20256 19594 0 -1 1077944320 273515 0 0 0 251687 314 0 0 20 0 15 0 271942417 14429130752 549586 33554432000 4194304 4196468 140723042702560 140723042685104 139762625572599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
/proc/20256/statm: 3522737 549586 3609 1 0 3484809 0
[pid=20256/tid=20258] ppid=20253 vsize=14090948 memory=2200908 CPUtime=2458.4 cores=0,2,4,6
/proc/20256/task/20258/stat : 20258 (java) R 20253 20256 19594 0 -1 4202560 93409 0 0 0 245766 74 0 0 20 0 15 0 271942417 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762629810784 139762214510909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20259] ppid=20253 vsize=14090948 memory=2213220 CPUtime=12.54 cores=0,2,4,6
/proc/20256/task/20259/stat : 20259 (java) S 20253 20256 19594 0 -1 1077944384 29384 0 0 0 1214 40 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762540641424 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20260] ppid=20253 vsize=14090948 memory=2203472 CPUtime=12.57 cores=0,2,4,6
/proc/20256/task/20260/stat : 20260 (java) S 20253 20256 19594 0 -1 1077944384 29440 0 0 0 1219 38 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762539588624 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20261] ppid=20253 vsize=14090948 memory=2200908 CPUtime=12.52 cores=0,2,4,6
/proc/20256/task/20261/stat : 20261 (java) S 20253 20256 19594 0 -1 1077944384 30659 0 0 0 1213 39 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762538535824 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20262] ppid=20253 vsize=14090948 memory=2201420 CPUtime=12.59 cores=0,2,4,6
/proc/20256/task/20262/stat : 20262 (java) S 20253 20256 19594 0 -1 1077944384 31092 0 0 0 1220 39 0 0 20 0 15 0 271942418 14429130752 549586 33554432000 4194304 4196468 140723042702560 139762537483024 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20263] ppid=20253 vsize=14090948 memory=2199368 CPUtime=3.44 cores=0,2,4,6
/proc/20256/task/20263/stat : 20263 (java) S 20253 20256 19594 0 -1 1077944384 27559 0 0 0 306 38 0 0 20 0 15 0 271942419 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761537501552 139762625583746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20264] ppid=20253 vsize=14090948 memory=2200396 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20264/stat : 20264 (java) S 20253 20256 19594 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761536447584 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20265] ppid=20253 vsize=14090948 memory=2198856 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20265/stat : 20265 (java) S 20253 20256 19594 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 271942420 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761535394688 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20266] ppid=20253 vsize=14090948 memory=2198344 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20266/stat : 20266 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761534342992 139762625591195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20267] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2.68 cores=0,2,4,6
/proc/20256/task/20267/stat : 20267 (java) S 20253 20256 19594 0 -1 1077944384 7172 0 0 0 267 1 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761533291376 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20268] ppid=20253 vsize=14090948 memory=2198344 CPUtime=2.77 cores=0,2,4,6
/proc/20256/task/20268/stat : 20268 (java) S 20253 20256 19594 0 -1 1077944384 10795 0 0 0 275 2 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761532238576 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20269] ppid=20253 vsize=14090948 memory=2198856 CPUtime=1.07 cores=0,2,4,6
/proc/20256/task/20269/stat : 20269 (java) S 20253 20256 19594 0 -1 1077944384 10963 0 0 0 106 1 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761531185776 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20270] ppid=20253 vsize=14090948 memory=304336023431948585 CPUtime=0 cores=0,2,4,6
/proc/20256/task/20270/stat : 20270 (java) S 20253 20256 19594 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271942422 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761530133216 139762625582805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
[pid=20256/tid=20271] ppid=20253 vsize=14090948 memory=6791534058613427641 CPUtime=1.32 cores=0,2,4,6
/proc/20256/task/20271/stat : 20271 (java) S 20253 20256 19594 0 -1 1077944384 1626 0 0 0 64 68 0 0 20 0 15 0 271942423 14429130752 549586 33554432000 4194304 4196468 140723042702560 139761529080496 139762625583746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13291520 140723042710601 140723042710793 140723042710793 140723042713551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2198344 KiB

Child status: 143
Real time (s): 2475.92
CPU time (s): 2520.04
CPU user time (s): 2516.89
CPU system time (s): 3.1523
CPU usage (%): 101.782
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3850724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.89
system time used= 3.15231
maximum resident set size= 3852768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273976
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= 141024
involuntary context switches= 5688


# summary of solver processes directly reported to runsolver:
#   pid: 20256
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2516.89
#   total CPU system time (s): 3.1523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2756 second user time and 20.1876 second system time

The end

Launcher Data

Begin job on node150 at 2018-08-18 00:09:51
IDJOB=4311538
IDBENCH=141143
IDSOLVER=2799
FILE ID=node150/4311538-1534543791
RUNJOBID= node150-1534541038-19625
PBS_JOBID= 21038629
Free space on /tmp= 48188 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/GraphColoring/GraphColoring-2-fullins-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311538-1534543791/watcher-4311538-1534543791 -o /tmp/evaluation-result-4311538-1534543791/solver-4311538-1534543791 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534541038-19625 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 475522958 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311538-1534543791.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=475522958

node150.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.76
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.76
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.76
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.76
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:        23179668 kB
MemAvailable:   31655796 kB
Buffers:          181832 kB
Cached:          8555220 kB
SwapCached:            0 kB
Active:          4913384 kB
Inactive:        4109708 kB
Active(anon):     263348 kB
Inactive(anon):    92016 kB
Active(file):    4650036 kB
Inactive(file):  4017692 kB
Unevictable:        7708 kB
Mlocked:            7708 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             36468 kB
Writeback:             0 kB
AnonPages:        435120 kB
Mapped:            32136 kB
Shmem:             66116 kB
Slab:             265304 kB
SReclaimable:     236860 kB
SUnreclaim:        28444 kB
KernelStack:        3792 kB
PageTables:         5856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1247404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    315392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 48152 MiB
End job on node150 at 2018-08-18 00:51:08