Trace number 4245207

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4OPT3 77.0784 57.5869

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-ash331GPIA.xml
MD5SUMa2156ca8d664195666e0b5da895e2590
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark2.9995999
Satisfiable
(Un)Satisfiability was proved
Number of variables662
Number of constraints4181
Number of domains1
Minimum domain size662
Maximum domain size662
Distribution of domain sizes[{"size":662,"count":662}]
Minimum variable degree2
Maximum variable degree24
Distribution of variable degrees[{"degree":2,"count":1},{"degree":7,"count":6},{"degree":8,"count":4},{"degree":9,"count":32},{"degree":10,"count":59},{"degree":11,"count":48},{"degree":12,"count":58},{"degree":13,"count":88},{"degree":14,"count":129},{"degree":15,"count":115},{"degree":16,"count":41},{"degree":17,"count":31},{"degree":18,"count":16},{"degree":19,"count":14},{"degree":20,"count":4},{"degree":21,"count":6},{"degree":22,"count":4},{"degree":23,"count":4},{"degree":24,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4181}]
Number of extensional constraints0
Number of intensional constraints4181
Distribution of constraint types[{"type":"intension","count":4181}]
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 

3.66/2.20	c Concrete v3.4 running
20.97/6.61	o 661
21.38/6.78	o 660
21.71/6.90	o 659
22.24/7.01	o 658
22.55/7.15	o 657
22.79/7.26	o 656
22.90/7.36	o 655
23.10/7.46	o 654
23.29/7.56	o 653
23.56/7.65	o 652
23.91/7.76	o 651
24.31/7.86	o 650
24.63/7.95	o 649
24.92/8.04	o 648
25.09/8.12	o 647
25.20/8.20	o 646
25.20/8.29	o 645
25.33/8.37	o 644
25.47/8.46	o 643
25.64/8.54	o 642
25.75/8.62	o 641
25.86/8.70	o 640
25.86/8.78	o 639
25.98/8.86	o 638
26.09/8.94	o 637
26.18/9.02	o 636
26.18/9.09	o 635
26.28/9.17	o 634
26.38/9.25	o 633
26.49/9.33	o 632
26.61/9.41	o 631
26.61/9.49	o 630
26.71/9.57	o 629
26.81/9.65	o 628
26.91/9.72	o 627
27.01/9.80	o 626
27.01/9.89	o 625
27.15/9.96	o 624
27.25/10.04	o 623
27.34/10.12	o 622
27.44/10.20	o 621
27.44/10.27	o 620
27.55/10.35	o 619
27.65/10.43	o 618
27.75/10.51	o 617
27.75/10.59	o 616
27.85/10.66	o 615
27.95/10.74	o 614
28.05/10.82	o 613
28.18/10.90	o 612
28.18/10.98	o 611
28.29/11.05	o 610
28.39/11.13	o 609
28.48/11.21	o 608
28.48/11.29	o 607
28.58/11.37	o 606
28.69/11.45	o 605
28.79/11.53	o 604
28.89/11.61	o 603
28.89/11.69	o 602
28.99/11.77	o 601
29.09/11.85	o 600
29.20/11.93	o 599
29.30/12.01	o 598
29.30/12.09	o 597
29.41/12.17	o 596
29.51/12.25	o 595
29.61/12.33	o 594
29.71/12.41	o 593
29.71/12.49	o 592
29.93/12.61	o 591
29.93/12.70	o 590
30.03/12.77	o 589
30.13/12.85	o 588
30.23/12.93	o 587
30.33/13.01	o 586
30.33/13.09	o 585
30.43/13.16	o 584
30.54/13.25	o 583
30.64/13.32	o 582
30.74/13.40	o 581
30.74/13.48	o 580
30.85/13.55	o 579
30.95/13.63	o 578
31.05/13.71	o 577
31.05/13.78	o 576
31.15/13.86	o 575
31.25/13.94	o 574
31.35/14.01	o 573
31.35/14.09	o 572
31.45/14.17	o 571
31.55/14.25	o 570
31.67/14.33	o 569
31.67/14.41	o 568
31.78/14.48	o 567
31.86/14.56	o 566
31.97/14.64	o 565
32.07/14.71	o 564
32.07/14.79	o 563
32.17/14.87	o 562
32.27/14.94	o 561
32.37/15.02	o 560
32.37/15.09	o 559
32.60/15.21	o 558
32.70/15.31	o 557
32.70/15.38	o 556
32.81/15.46	o 555
32.91/15.54	o 554
33.00/15.62	o 553
33.00/15.69	o 552
33.10/15.77	o 551
33.20/15.85	o 550
33.30/15.92	o 549
33.40/16.00	o 548
33.40/16.08	o 547
33.50/16.16	o 546
33.60/16.23	o 545
33.71/16.31	o 544
33.71/16.39	o 543
33.81/16.47	o 542
33.92/16.55	o 541
34.02/16.62	o 540
34.11/16.70	o 539
34.11/16.78	o 538
34.21/16.85	o 537
34.31/16.93	o 536
34.42/17.01	o 535
34.42/17.08	o 534
34.52/17.16	o 533
34.62/17.24	o 532
34.72/17.32	o 531
34.72/17.40	o 530
34.82/17.47	o 529
34.92/17.55	o 528
35.03/17.63	o 527
35.13/17.71	o 526
35.13/17.78	o 525
35.22/17.86	o 524
35.32/17.94	o 523
35.41/18.02	o 522
35.52/18.10	o 521
35.52/18.18	o 520
35.62/18.26	o 519
35.71/18.34	o 518
35.81/18.42	o 517
35.81/18.49	o 516
35.91/18.57	o 515
36.02/18.65	o 514
36.12/18.73	o 513
36.22/18.81	o 512
36.40/18.90	o 511
36.40/18.99	o 510
36.55/19.06	o 509
36.66/19.18	o 508
36.79/19.28	o 507
36.89/19.35	o 506
36.99/19.43	o 505
37.09/19.51	o 504
37.09/19.58	o 503
37.19/19.66	o 502
37.29/19.74	o 501
37.40/19.81	o 500
37.40/19.89	o 499
37.50/19.97	o 498
37.59/20.04	o 497
37.71/20.12	o 496
37.71/20.20	o 495
37.82/20.27	o 494
37.92/20.34	o 493
38.02/20.42	o 492
38.02/20.49	o 491
38.12/20.57	o 490
38.22/20.64	o 489
38.32/20.72	o 488
38.32/20.79	o 487
38.42/20.87	o 486
38.53/20.95	o 485
38.63/21.02	o 484
38.72/21.10	o 483
38.72/21.17	o 482
38.82/21.25	o 481
38.92/21.32	o 480
39.02/21.40	o 479
39.02/21.47	o 478
39.12/21.55	o 477
39.22/21.62	o 476
39.32/21.70	o 475
39.32/21.77	o 474
39.42/21.85	o 473
39.52/21.92	o 472
39.52/22.00	o 471
39.63/22.07	o 470
39.74/22.15	o 469
39.83/22.22	o 468
39.93/22.30	o 467
39.93/22.37	o 466
40.03/22.45	o 465
40.13/22.53	o 464
40.23/22.60	o 463
40.23/22.68	o 462
40.33/22.75	o 461
40.43/22.83	o 460
40.53/22.91	o 459
40.53/22.99	o 458
40.64/23.07	o 457
40.74/23.14	o 456
40.84/23.22	o 455
40.93/23.30	o 454
40.93/23.38	o 453
41.03/23.46	o 452
41.13/23.55	o 451
41.29/23.67	o 450
41.39/23.75	o 449
41.49/23.82	o 448
41.49/23.90	o 447
41.59/23.97	o 446
41.69/24.05	o 445
41.79/24.12	o 444
41.79/24.20	o 443
41.90/24.28	o 442
42.00/24.35	o 441
42.09/24.43	o 440
42.19/24.50	o 439
42.19/24.58	o 438
42.29/24.65	o 437
42.39/24.73	o 436
42.49/24.80	o 435
42.49/24.88	o 434
42.59/24.96	o 433
42.69/25.03	o 432
42.79/25.11	o 431
42.79/25.18	o 430
42.89/25.25	o 429
43.00/25.33	o 428
43.00/25.41	o 427
43.11/25.48	o 426
43.20/25.56	o 425
43.30/25.63	o 424
43.40/25.71	o 423
43.40/25.78	o 422
43.50/25.86	o 421
43.60/25.93	o 420
43.70/26.01	o 419
43.70/26.08	o 418
43.80/26.16	o 417
43.90/26.23	o 416
44.00/26.31	o 415
44.00/26.38	o 414
44.11/26.46	o 413
44.21/26.54	o 412
44.31/26.61	o 411
44.31/26.69	o 410
44.41/26.76	o 409
44.51/26.84	o 408
44.61/26.92	o 407
44.61/26.99	o 406
44.72/27.07	o 405
44.83/27.14	o 404
44.93/27.22	o 403
44.93/27.29	o 402
45.03/27.37	o 401
45.13/27.44	o 400
45.24/27.52	o 399
45.24/27.60	o 398
45.34/27.67	o 397
45.43/27.75	o 396
45.53/27.82	o 395
45.63/27.90	o 394
45.63/27.97	o 393
45.73/28.05	o 392
45.83/28.13	o 391
45.93/28.20	o 390
45.93/28.28	o 389
46.03/28.36	o 388
46.13/28.44	o 387
46.23/28.52	o 386
46.23/28.59	o 385
46.34/28.67	o 384
46.44/28.75	o 383
46.55/28.83	o 382
46.65/28.91	o 381
46.65/28.98	o 380
46.75/29.05	o 379
46.85/29.13	o 378
46.95/29.21	o 377
46.95/29.28	o 376
47.05/29.36	o 375
47.15/29.43	o 374
47.25/29.50	o 373
47.25/29.58	o 372
47.35/29.65	o 371
47.47/29.74	o 370
47.57/29.81	o 369
47.57/29.88	o 368
47.66/29.96	o 367
47.76/30.03	o 366
47.86/30.11	o 365
47.86/30.18	o 364
47.96/30.26	o 363
48.06/30.33	o 362
48.16/30.40	o 361
48.16/30.48	o 360
48.26/30.55	o 359
48.36/30.63	o 358
48.46/30.70	o 357
48.46/30.78	o 356
48.57/30.86	o 355
48.67/30.93	o 354
48.76/31.01	o 353
48.76/31.08	o 352
48.86/31.16	o 351
48.96/31.23	o 350
49.06/31.31	o 349
49.06/31.38	o 348
49.16/31.46	o 347
49.27/31.54	o 346
49.37/31.61	o 345
49.37/31.68	o 344
49.47/31.76	o 343
49.57/31.83	o 342
49.68/31.91	o 341
49.68/31.99	o 340
49.78/32.06	o 339
49.87/32.14	o 338
49.97/32.21	o 337
49.97/32.29	o 336
50.07/32.36	o 335
50.17/32.44	o 334
50.27/32.51	o 333
50.27/32.59	o 332
50.37/32.66	o 331
50.47/32.74	o 330
50.57/32.81	o 329
50.57/32.89	o 328
50.67/32.96	o 327
50.78/33.04	o 326
50.88/33.12	o 325
50.88/33.19	o 324
50.97/33.27	o 323
51.07/33.34	o 322
51.17/33.42	o 321
51.17/33.49	o 320
51.27/33.56	o 319
51.37/33.64	o 318
51.47/33.71	o 317
51.47/33.79	o 316
51.57/33.86	o 315
51.67/33.94	o 314
51.80/34.02	o 313
51.80/34.10	o 312
51.91/34.18	o 311
52.01/34.25	o 310
52.10/34.33	o 309
52.20/34.40	o 308
52.20/34.47	o 307
52.30/34.55	o 306
52.40/34.62	o 305
52.51/34.70	o 304
52.51/34.77	o 303
52.61/34.85	o 302
52.71/34.92	o 301
52.81/35.00	o 300
52.81/35.07	o 299
52.91/35.15	o 298
53.02/35.23	o 297
53.02/35.30	o 296
53.12/35.38	o 295
53.21/35.45	o 294
53.31/35.53	o 293
53.41/35.60	o 292
53.41/35.68	o 291
53.51/35.75	o 290
53.61/35.83	o 289
53.71/35.90	o 288
53.71/35.98	o 287
53.81/36.05	o 286
53.91/36.12	o 285
54.01/36.20	o 284
54.01/36.27	o 283
54.13/36.35	o 282
54.23/36.43	o 281
54.32/36.51	o 280
54.32/36.58	o 279
54.43/36.66	o 278
54.53/36.73	o 277
54.64/36.81	o 276
54.64/36.88	o 275
54.74/36.96	o 274
54.84/37.03	o 273
54.94/37.11	o 272
54.94/37.18	o 271
55.04/37.25	o 270
55.14/37.33	o 269
55.14/37.41	o 268
55.25/37.48	o 267
55.35/37.56	o 266
55.44/37.63	o 265
55.54/37.71	o 264
55.54/37.78	o 263
55.64/37.86	o 262
55.74/37.93	o 261
55.84/38.01	o 260
55.84/38.08	o 259
55.95/38.16	o 258
56.05/38.23	o 257
56.15/38.30	o 256
56.15/38.38	o 255
56.25/38.45	o 254
56.36/38.53	o 253
56.36/38.60	o 252
56.46/38.68	o 251
56.55/38.76	o 250
56.65/38.83	o 249
56.75/38.91	o 248
56.75/38.98	o 247
56.93/39.05	o 246
57.03/39.13	o 245
57.13/39.21	o 244
57.13/39.28	o 243
57.23/39.36	o 242
57.32/39.44	o 241
57.43/39.52	o 240
57.43/39.60	o 239
57.54/39.68	o 238
57.64/39.75	o 237
57.73/39.83	o 236
57.83/39.91	o 235
57.83/39.99	o 234
57.92/40.06	o 233
58.03/40.14	o 232
58.12/40.22	o 231
58.12/40.30	o 230
58.23/40.37	o 229
58.33/40.45	o 228
58.43/40.53	o 227
58.52/40.61	o 226
58.52/40.69	o 225
58.67/40.77	o 224
58.77/40.85	o 223
58.86/40.92	o 222
58.96/41.00	o 221
58.96/41.07	o 220
59.06/41.15	o 219
59.16/41.22	o 218
59.26/41.30	o 217
59.26/41.37	o 216
59.36/41.45	o 215
59.46/41.52	o 214
59.56/41.60	o 213
59.56/41.67	o 212
59.66/41.75	o 211
59.77/41.83	o 210
59.77/41.90	o 209
59.87/41.98	o 208
59.96/42.05	o 207
60.06/42.12	o 206
60.16/42.20	o 205
60.16/42.27	o 204
60.26/42.35	o 203
60.36/42.42	o 202
60.36/42.49	o 201
60.46/42.57	o 200
60.56/42.64	o 199
60.66/42.72	o 198
60.66/42.79	o 197
60.76/42.87	o 196
60.87/42.95	o 195
60.97/43.02	o 194
60.97/43.09	o 193
61.06/43.17	o 192
61.16/43.24	o 191
61.26/43.32	o 190
61.26/43.39	o 189
61.36/43.47	o 188
61.46/43.54	o 187
61.56/43.62	o 186
61.56/43.69	o 185
61.66/43.77	o 184
61.76/43.84	o 183
61.86/43.92	o 182
61.86/43.99	o 181
61.97/44.07	o 180
62.07/44.15	o 179
62.16/44.22	o 178
62.16/44.30	o 177
62.26/44.37	o 176
62.36/44.45	o 175
62.46/44.52	o 174
62.46/44.59	o 173
62.56/44.67	o 172
62.68/44.74	o 171
62.78/44.82	o 170
62.78/44.89	o 169
62.88/44.97	o 168
62.98/45.04	o 167
63.09/45.12	o 166
63.09/45.20	o 165
63.19/45.27	o 164
63.28/45.34	o 163
63.38/45.42	o 162
63.38/45.49	o 161
63.48/45.57	o 160
63.58/45.64	o 159
63.68/45.72	o 158
63.68/45.79	o 157
63.78/45.87	o 156
63.88/45.94	o 155
63.98/46.01	o 154
63.98/46.09	o 153
64.08/46.16	o 152
64.19/46.24	o 151
64.30/46.31	o 150
64.30/46.39	o 149
64.40/46.47	o 148
64.50/46.54	o 147
64.60/46.62	o 146
64.60/46.69	o 145
64.70/46.76	o 144
64.80/46.84	o 143
64.90/46.91	o 142
64.90/46.99	o 141
65.00/47.06	o 140
65.10/47.14	o 139
65.20/47.21	o 138
65.20/47.28	o 137
65.31/47.36	o 136
65.41/47.44	o 135
65.50/47.52	o 134
65.64/47.63	o 133
65.74/47.73	o 132
65.84/47.81	o 131
65.84/47.88	o 130
65.96/47.96	o 129
66.06/48.03	o 128
66.16/48.11	o 127
66.16/48.18	o 126
66.25/48.26	o 125
66.35/48.33	o 124
66.35/48.40	o 123
66.46/48.48	o 122
66.57/48.55	o 121
66.66/48.63	o 120
66.76/48.70	o 119
66.76/48.78	o 118
66.86/48.85	o 117
66.96/48.92	o 116
67.06/49.00	o 115
67.06/49.07	o 114
67.16/49.15	o 113
67.26/49.22	o 112
67.26/49.30	o 111
67.36/49.37	o 110
67.46/49.45	o 109
67.57/49.52	o 108
67.57/49.60	o 107
67.67/49.67	o 106
67.76/49.74	o 105
67.86/49.82	o 104
67.86/49.89	o 103
67.96/49.97	o 102
68.06/50.04	o 101
68.16/50.11	o 100
68.16/50.19	o 99
68.26/50.26	o 98
68.36/50.34	o 97
68.46/50.41	o 96
68.46/50.49	o 95
68.56/50.56	o 94
68.67/50.63	o 93
68.77/50.71	o 92
68.77/50.78	o 91
68.86/50.86	o 90
68.96/50.93	o 89
69.06/51.01	o 88
69.06/51.08	o 87
69.16/51.15	o 86
69.26/51.23	o 85
69.36/51.30	o 84
69.36/51.38	o 83
69.46/51.45	o 82
69.56/51.52	o 81
69.66/51.60	o 80
69.66/51.67	o 79
69.77/51.75	o 78
69.87/51.82	o 77
69.87/51.90	o 76
69.96/51.97	o 75
70.06/52.04	o 74
70.16/52.12	o 73
70.16/52.19	o 72
70.26/52.27	o 71
70.36/52.34	o 70
70.46/52.42	o 69
70.46/52.49	o 68
70.56/52.58	o 67
70.77/52.67	o 66
71.09/52.75	o 65
71.27/52.83	o 64
71.39/52.91	o 63
71.39/52.98	o 62
71.51/53.07	o 61
71.64/53.14	o 60
71.74/53.22	o 59
72.01/53.30	o 58
72.01/53.37	o 57
72.12/53.45	o 56
72.22/53.53	o 55
72.32/53.60	o 54
72.32/53.68	o 53
72.42/53.75	o 52
72.52/53.82	o 51
72.52/53.90	o 50
72.63/53.97	o 49
72.73/54.05	o 48
72.83/54.12	o 47
72.92/54.20	o 46
72.92/54.27	o 45
73.02/54.35	o 44
73.13/54.42	o 43
73.23/54.50	o 42
73.23/54.57	o 41
73.33/54.65	o 40
73.43/54.72	o 39
73.43/54.80	o 38
73.53/54.87	o 37
73.63/54.95	o 36
73.74/55.03	o 35
73.74/55.10	o 34
73.84/55.18	o 33
73.93/55.26	o 32
74.03/55.34	o 31
74.13/55.42	o 30
74.13/55.49	o 29
74.23/55.57	o 28
74.33/55.65	o 27
74.44/55.72	o 26
74.54/55.80	o 25
74.54/55.88	o 24
74.64/55.96	o 23
74.74/56.03	o 22
74.86/56.12	o 21
75.00/56.23	o 20
75.10/56.32	o 19
75.10/56.39	o 18
75.20/56.47	o 17
75.30/56.54	o 16
75.40/56.61	o 15
75.40/56.68	o 14
75.50/56.76	o 13
75.60/56.83	o 12
75.70/56.90	o 11
75.70/56.98	o 10
75.80/57.05	o 9
75.91/57.13	o 8
75.91/57.20	o 7
76.03/57.30	o 6
76.40/57.38	o 5
76.61/57.47	o 4
76.87/57.51	o 3
76.87/57.54	v <instantiation cost="3">
76.87/57.54	v       <list>
76.87/57.54	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]
76.87/57.54	v       </list>
76.87/57.54	v       <values>
76.87/57.54	v         3 2 3 0 3 2 1 0 0 3 0 1 2 3 2 1 3 2 3 2 3 1 0 2 0 3 0 2 1 2 1 3 0 2 1 3 1 2 0 3 3 1 2 1 2 0 1 0 2 3 1 0 2 3 2 3 1 0 2 1 0 3 2 3 2 3 2 3 0 3 2 3 2 1 0 1 2 0 2 1 2 0 3 1 3 1 1 3 2 0 2 3 2 0 2 3 2 0 2 3 3 2 3 1 0 1 1 2 3 2 3 2 1 0 0 3 2 3 2 0 3 1 2 1 3 1 2 3 1 3 1 3 0 1 1 2 3 0 1 0 3 0 3 1 0 2 3 1 0 2 0 3 0 3 1 3 1 3 0 2 0 3 0 3 0 2 0 2 0 1 1 2 1 0 3 2 1 0 2 0 3 1 2 0 3 0 2 3 2 0 3 0 3 2 1 2 3 1 3 1 2 0 3 1 2 0 2 1 3 0 3 1 1 2 0 3 0 2 1 2 0 3 2 0 2 1 3 0 0 2 3 2 1 0 2 3 1 0 1 3 2 3 3 1 3 2 1 2 0 2 1 3 1 3 1 0 1 3 1 0 0 2 3 2 1 0 1 3 2 3 1 0 0 3 0 3 2 3 0 3 2 1 3 0 1 0 1 2 0 3 2 1 2 3 0 1 3 2 0 2 3 1 3 2 1 0 1 2 3 2 3 2 3 0 0 3 2 3 3 0 2 0 2 3 0 1 3 2 3 1 0 2 3 2 2 0 1 3 2 3 0 3 0 2 0 3 0 2 0 3 1 0 1 2 3 2 3 0 0 2 3 1 3 1 0 1 3 1 3 1 1 2 0 2 0 3 0 2 2 1 2 1 0 1 0 2 0 2 1 2 2 1 3 1 3 0 3 1 3 0 0 2 3 2 3 1 2 1 3 1 2 3 2 0 2 3 2 0 1 0 0 2 1 3 0 3 2 3 2 3 1 3 1 0 3 2 3 2 1 2 1 2 1 3 1 0 0 1 0 3 0 1 2 3 1 0 2 3 2 0 2 1 2 3 2 0 2 3 1 0 1 0 3 0 0 1 3 1 3 2 0 2 3 0 1 2 0 3 2 1 0 3 2 3 3 0 2 0 3 1 0 3 2 1 2 1 0 1 2 1 3 1 2 3 2 3 2 3 2 0 3 1 0 1 3 1 1 3 0 3 3 2 1 0 3 1 3 1 0 3 0 2 0 2 0 3 1 0 3 2 3 2 3 1 2 0 2 3 1 0 2 3 3 2 1 0 1 2 0 1 0 3 2 1 0 1 2 3 2 1 0 2 1 3 3 1 2 0 3 1 1 3 2 0 1 3 0 2 1 2 3 1 3 2 0 1 0 3 1 0 2 0 2 3 3 2 3 0 1 0 1 2 1 3 0 1 2 3 3 2 0 1 2 3 1 3 2 3 1 2 1 0 3 0 3 1 2 0 2 0 3 2 0 1 3 1 0 2 0 3 3 2
76.87/57.54	v       </values>
76.87/57.54	v     </instantiation>
76.87/57.54	s OPTIMUM FOUND

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245207-1500701505/watcher-4245207-1500701505 -o /tmp/evaluation-result-4245207-1500701505/solver-4245207-1500701505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12413 --watchdog 2560 bin/concrete HOME/instance-4245207-1500701505.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.79 1.44 1.51 3/262 13839
/proc/meminfo: memFree=30677424/32770624 swapFree=5720/274472
[pid=13839] ppid=13836 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (bash) S 13836 13839 16473 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 5419697 9736192 350 33554432000 4194304 5098028 140731754561968 140731754559608 139979214924800 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 23195648 140731754571022 140731754571107 140731754571107 140731754573806 0
/proc/13839/statm: 2377 350 277 221 0 86 0

[startup+0.100128 s]
/proc/loadavg: 1.79 1.44 1.51 3/262 13839
/proc/meminfo: memFree=30677424/32770624 swapFree=5720/274472
[pid=13839] ppid=13836 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (bash) S 13836 13839 16473 0 -1 4202496 880 6419 0 0 0 0 0 1 20 0 1 0 5419697 9871360 378 33554432000 4194304 5098028 140731754561968 140731754555976 139979214924800 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 23195648 140731754571022 140731754571107 140731754571107 140731754573806 0
/proc/13839/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200333 s]
/proc/loadavg: 1.79 1.44 1.51 3/262 13839
/proc/meminfo: memFree=30677424/32770624 swapFree=5720/274472
[pid=13839] ppid=13836 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (java) S 13836 13839 16473 0 -1 1077944320 5098 12416 0 0 6 1 8 3 20 0 13 0 5419697 10686320640 5478 33554432000 4194304 4196468 140727984650352 140727984632896 139624069005047 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
/proc/13839/statm: 2608965 5478 2169 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300291 s]
/proc/loadavg: 1.79 1.44 1.51 3/262 13839
/proc/meminfo: memFree=30677424/32770624 swapFree=5720/274472
[pid=13839] ppid=13836 vsize=10902392 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (java) S 13836 13839 16473 0 -1 1077944320 7066 12416 0 0 23 2 8 3 20 0 20 0 5419697 11164049408 8835 33554432000 4194304 4196468 140727984650352 140727984632896 139624069005047 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
/proc/13839/statm: 2725598 8835 2977 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.70019 s]
/proc/loadavg: 1.79 1.44 1.51 3/262 13839
/proc/meminfo: memFree=30677424/32770624 swapFree=5720/274472
[pid=13839] ppid=13836 vsize=10902720 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (java) S 13836 13839 16473 0 -1 1077944320 12173 12416 0 0 73 4 8 3 20 0 20 0 5419697 11164385280 15034 33554432000 4194304 4196468 140727984650352 140727984632896 139624069005047 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
/proc/13839/statm: 2725680 15034 3155 1 0 2713890 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 10902720

[startup+1.50621 s]
/proc/loadavg: 1.79 1.44 1.51 4/282 13912
/proc/meminfo: memFree=30575728/32770624 swapFree=5720/274840
[pid=13839] ppid=13836 vsize=10913344 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (java) S 13836 13839 16473 0 -1 1077944320 27154 12416 0 0 203 13 8 3 20 0 20 0 5419697 11175264256 43993 33554432000 4194304 4196468 140727984650352 140727984632896 139624069005047 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
/proc/13839/statm: 2728336 43993 3401 1 0 2716450 0
[pid=13839/tid=13894] ppid=13836 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13894/stat : 13894 (java) R 13836 13839 16473 0 -1 4202560 19232 12416 0 0 125 6 8 3 20 0 20 0 5419710 11175264256 43993 33554432000 4194304 4196468 140727984650352 139624073224496 139624054172335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13895] ppid=13836 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13895/stat : 13895 (java) S 13836 13839 16473 0 -1 1077944384 20 12416 0 0 0 0 8 3 20 0 20 0 5419711 11175264256 43993 33554432000 4194304 4196468 140727984650352 139624021625104 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13896] ppid=13836 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13896/stat : 13896 (java) S 13836 13839 16473 0 -1 1077944384 35 12416 0 0 0 0 8 3 20 0 20 0 5419711 11175264256 43993 33554432000 4194304 4196468 140727984650352 139624020572560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13897] ppid=13836 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13897/stat : 13897 (java) S 13836 13839 16473 0 -1 1077944384 23 12416 0 0 0 0 8 3 20 0 20 0 5419711 11175264256 43993 33554432000 4194304 4196468 140727984650352 139624019520016 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13898] ppid=13836 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13898/stat : 13898 (java) S 13836 13839 16473 0 -1 1077944384 17 12416 0 0 1 0 8 3 20 0 20 0 5419711 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623672765072 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13899] ppid=13836 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13899/stat : 13899 (java) S 13836 13839 16473 0 -1 1077944384 44 12416 0 0 0 0 8 3 20 0 20 0 5419711 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623671712528 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13900] ppid=13836 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13900/stat : 13900 (java) S 13836 13839 16473 0 -1 1077944384 116 12416 0 0 1 0 8 3 20 0 20 0 5419711 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623670659984 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13901] ppid=13836 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13901/stat : 13901 (java) S 13836 13839 16473 0 -1 1077944384 26 12416 0 0 1 0 8 3 20 0 20 0 5419711 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623669607440 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13902] ppid=13836 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13902/stat : 13902 (java) S 13836 13839 16473 0 -1 1077944384 23 12416 0 0 0 0 8 3 20 0 20 0 5419711 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623668554896 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13903] ppid=13836 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13903/stat : 13903 (java) S 13836 13839 16473 0 -1 1077944384 1550 12416 0 0 1 0 8 3 20 0 20 0 5419713 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623543052272 139624069016194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13904] ppid=13836 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13904/stat : 13904 (java) S 13836 13839 16473 0 -1 1077944384 55 12416 0 0 0 0 8 3 20 0 20 0 5419714 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623541998560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13905] ppid=13836 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13905/stat : 13905 (java) S 13836 13839 16473 0 -1 1077944384 44 12416 0 0 0 0 8 3 20 0 20 0 5419714 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623540945920 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13906] ppid=13836 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13906/stat : 13906 (java) S 13836 13839 16473 0 -1 1077944384 1 12416 0 0 0 0 8 3 20 0 20 0 5419719 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623539894480 139624069023643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13907] ppid=13836 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13907/stat : 13907 (java) S 13836 13839 16473 0 -1 1077944384 761 12416 0 0 12 0 8 3 20 0 20 0 5419719 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623538842096 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13908] ppid=13836 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13908/stat : 13908 (java) R 13836 13839 16473 0 -1 4202560 1087 12416 0 0 17 0 8 3 20 0 20 0 5419719 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623537775576 139624048251780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13909] ppid=13836 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13909/stat : 13909 (java) R 13836 13839 16473 0 -1 4202560 736 12416 0 0 11 0 8 3 20 0 20 0 5419719 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623536726160 139624050180336 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13910] ppid=13836 vsize=10913344 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13910/stat : 13910 (java) R 13836 13839 16473 0 -1 4202560 1252 12416 0 0 25 0 8 3 20 0 20 0 5419719 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623535684464 139624069016982 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13911] ppid=13836 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13911/stat : 13911 (java) S 13836 13839 16473 0 -1 1077944384 3 12416 0 0 0 0 8 3 20 0 20 0 5419719 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623534631136 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13912] ppid=13836 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13912/stat : 13912 (java) S 13836 13839 16473 0 -1 1077944384 3 12416 0 0 0 0 8 3 20 0 20 0 5419720 11175264256 43993 33554432000 4194304 4196468 140727984650352 139623533578672 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10913344

[startup+3.10081 s]
/proc/loadavg: 1.79 1.44 1.51 4/282 13912
/proc/meminfo: memFree=30501360/32770624 swapFree=5720/274840
[pid=13839] ppid=13836 vsize=10923772 CPUtime=7.26 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (java) S 13836 13839 16473 0 -1 1077944320 42583 12416 0 0 697 18 8 3 20 0 20 0 5419697 11185942528 61027 33554432000 4194304 4196468 140727984650352 140727984632896 139624069005047 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
/proc/13839/statm: 2730943 61027 3481 1 0 2718498 0
[pid=13839/tid=13894] ppid=13836 vsize=10923772 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13894/stat : 13894 (java) R 13836 13839 16473 0 -1 4202560 24777 12416 0 0 281 9 8 3 20 0 20 0 5419710 11185942528 61027 33554432000 4194304 4196468 140727984650352 139624073236552 139624053085534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13895] ppid=13836 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13895/stat : 13895 (java) S 13836 13839 16473 0 -1 1077944384 20 12416 0 0 0 0 8 3 20 0 20 0 5419711 11185942528 61027 33554432000 4194304 4196468 140727984650352 139624021625104 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13896] ppid=13836 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13896/stat : 13896 (java) S 13836 13839 16473 0 -1 1077944384 35 12416 0 0 0 0 8 3 20 0 20 0 5419711 11185942528 61027 33554432000 4194304 4196468 140727984650352 139624020572560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13897] ppid=13836 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13897/stat : 13897 (java) S 13836 13839 16473 0 -1 1077944384 23 12416 0 0 0 0 8 3 20 0 20 0 5419711 11185942528 61027 33554432000 4194304 4196468 140727984650352 139624019520016 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13898] ppid=13836 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13898/stat : 13898 (java) S 13836 13839 16473 0 -1 1077944384 17 12416 0 0 1 0 8 3 20 0 20 0 5419711 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623672765072 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13899] ppid=13836 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13899/stat : 13899 (java) S 13836 13839 16473 0 -1 1077944384 44 12416 0 0 0 0 8 3 20 0 20 0 5419711 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623671712528 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13900] ppid=13836 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13900/stat : 13900 (java) S 13836 13839 16473 0 -1 1077944384 116 12416 0 0 1 0 8 3 20 0 20 0 5419711 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623670659984 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13901] ppid=13836 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13901/stat : 13901 (java) S 13836 13839 16473 0 -1 1077944384 26 12416 0 0 1 0 8 3 20 0 20 0 5419711 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623669607440 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13902] ppid=13836 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13902/stat : 13902 (java) S 13836 13839 16473 0 -1 1077944384 23 12416 0 0 0 0 8 3 20 0 20 0 5419711 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623668554896 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13903] ppid=13836 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13903/stat : 13903 (java) S 13836 13839 16473 0 -1 1077944384 1789 12416 0 0 1 0 8 3 20 0 20 0 5419713 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623543052272 139624069016194 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13904] ppid=13836 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13904/stat : 13904 (java) S 13836 13839 16473 0 -1 1077944384 55 12416 0 0 0 0 8 3 20 0 20 0 5419714 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623541998560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13905] ppid=13836 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13905/stat : 13905 (java) S 13836 13839 16473 0 -1 1077944384 44 12416 0 0 0 0 8 3 20 0 20 0 5419714 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623540945920 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13906] ppid=13836 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13906/stat : 13906 (java) S 13836 13839 16473 0 -1 1077944384 1 12416 0 0 0 0 8 3 20 0 20 0 5419719 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623539894480 139624069023643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13907] ppid=13836 vsize=10923772 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13907/stat : 13907 (java) S 13836 13839 16473 0 -1 1077944384 4472 12416 0 0 106 1 8 3 20 0 20 0 5419719 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623538842096 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13908] ppid=13836 vsize=10923772 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13908/stat : 13908 (java) S 13836 13839 16473 0 -1 1077944384 2728 12416 0 0 99 1 8 3 20 0 20 0 5419719 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623537789552 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13909] ppid=13836 vsize=10923772 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13909/stat : 13909 (java) R 13836 13839 16473 0 -1 4202560 1997 12416 0 0 86 1 8 3 20 0 20 0 5419719 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623536723440 139624048665248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13910] ppid=13836 vsize=10923772 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13910/stat : 13910 (java) S 13836 13839 16473 0 -1 1077944384 4279 12416 0 0 113 1 8 3 20 0 20 0 5419719 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623535684464 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13911] ppid=13836 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13911/stat : 13911 (java) S 13836 13839 16473 0 -1 1077944384 3 12416 0 0 0 0 8 3 20 0 20 0 5419719 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623534631136 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13912] ppid=13836 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13912/stat : 13912 (java) S 13836 13839 16473 0 -1 1077944384 5 12416 0 0 0 0 8 3 20 0 20 0 5419720 11185942528 61027 33554432000 4194304 4196468 140727984650352 139623533578672 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 10923772

[startup+6.30116 s]
/proc/loadavg: 1.81 1.45 1.52 10/282 13912
/proc/meminfo: memFree=30345764/32770624 swapFree=5720/274852
[pid=13839] ppid=13836 vsize=11000368 CPUtime=19.37 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (java) S 13836 13839 16473 0 -1 1077944320 70195 12416 0 0 1886 40 8 3 20 0 20 0 5419697 11264376832 104435 33554432000 4194304 4196468 140727984650352 140727984632896 139624069005047 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
/proc/13839/statm: 2750092 104435 3496 1 0 2737647 0
[pid=13839/tid=13894] ppid=13836 vsize=11000368 CPUtime=6.02 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13894/stat : 13894 (java) S 13836 13839 16473 0 -1 1077944384 37213 12416 0 0 579 12 8 3 20 0 20 0 5419710 11264376832 104435 33554432000 4194304 4196468 140727984650352 139624073242704 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13895] ppid=13836 vsize=11000368 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13895/stat : 13895 (java) R 13836 13839 16473 0 -1 4202560 68 12416 0 0 10 2 8 3 20 0 20 0 5419711 11264376832 104435 33554432000 4194304 4196468 140727984650352 139624021625304 139624053705735 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13896] ppid=13836 vsize=11000368 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13896/stat : 13896 (java) R 13836 13839 16473 0 -1 4202560 62 12416 0 0 9 1 8 3 20 0 20 0 5419711 11264376832 104435 33554432000 4194304 4196468 140727984650352 139624020572680 139624061633255 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13897] ppid=13836 vsize=11000368 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13897/stat : 13897 (java) R 13836 13839 16473 0 -1 4202560 68 12416 0 0 9 2 8 3 20 0 20 0 5419711 11264376832 104435 33554432000 4194304 4196468 140727984650352 139624019520136 139624054763864 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13898] ppid=13836 vsize=11000368 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13898/stat : 13898 (java) R 13836 13839 16473 0 -1 4202560 65 12416 0 0 11 1 8 3 20 0 20 0 5419711 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623672765192 139624061633255 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13899] ppid=13836 vsize=11000368 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13899/stat : 13899 (java) R 13836 13839 16473 0 -1 4202560 68 12416 0 0 10 2 8 3 20 0 20 0 5419711 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623671712648 139624061633255 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13900] ppid=13836 vsize=11000368 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13900/stat : 13900 (java) R 13836 13839 16473 0 -1 4202560 197 12416 0 0 11 2 8 3 20 0 20 0 5419711 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623670660104 139624061633255 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13901] ppid=13836 vsize=11000368 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13901/stat : 13901 (java) R 13836 13839 16473 0 -1 4202560 59 12416 0 0 9 1 8 3 20 0 20 0 5419711 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623669607560 139624061633255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13902] ppid=13836 vsize=11000368 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13902/stat : 13902 (java) R 13836 13839 16473 0 -1 4202560 67 12416 0 0 8 2 8 3 20 0 20 0 5419711 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623668555016 139624061633255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13903] ppid=13836 vsize=11000368 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13903/stat : 13903 (java) S 13836 13839 16473 0 -1 1077944384 2324 12416 0 0 8 0 8 3 20 0 20 0 5419713 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623543050896 139624069015253 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13904] ppid=13836 vsize=11000368 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13904/stat : 13904 (java) S 13836 13839 16473 0 -1 1077944384 56 12416 0 0 0 0 8 3 20 0 20 0 5419714 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623541998560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13905] ppid=13836 vsize=11000368 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13905/stat : 13905 (java) S 13836 13839 16473 0 -1 1077944384 44 12416 0 0 0 0 8 3 20 0 20 0 5419714 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623540945920 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13906] ppid=13836 vsize=11000368 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13906/stat : 13906 (java) S 13836 13839 16473 0 -1 1077944384 1 12416 0 0 0 0 8 3 20 0 20 0 5419719 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623539894480 139624069023643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13907] ppid=13836 vsize=11000368 CPUtime=3.41 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13907/stat : 13907 (java) S 13836 13839 16473 0 -1 1077944384 7871 12416 0 0 328 2 8 3 20 0 20 0 5419719 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623538842096 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13908] ppid=13836 vsize=11000368 CPUtime=3.58 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13908/stat : 13908 (java) R 13836 13839 16473 0 -1 4202560 9098 12416 0 0 345 2 8 3 20 0 20 0 5419719 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623537775432 139624050548770 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13909] ppid=13836 vsize=11000368 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13909/stat : 13909 (java) S 13836 13839 16473 0 -1 1077944384 3658 12416 0 0 295 1 8 3 20 0 20 0 5419719 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623536722000 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13910] ppid=13836 vsize=11000368 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13910/stat : 13910 (java) S 13836 13839 16473 0 -1 1077944384 7178 12416 0 0 247 2 8 3 20 0 20 0 5419719 11264376832 104435 33554432000 4194304 4196468 140727984650352 139623535684464 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13911] ppid=13836 vsize=11000368 CPUtime=0.11 cores=0,2,4,6,8,10,12,14

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

[pid=13839/tid=13901] ppid=13836 vsize=10997500 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13901/stat : 13901 (java) S 13836 13839 16473 0 -1 1077944384 146 12416 0 0 20 5 8 3 20 0 20 0 5419711 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623669607440 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13902] ppid=13836 vsize=10997500 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13902/stat : 13902 (java) S 13836 13839 16473 0 -1 1077944384 853 12416 0 0 24 5 8 3 20 0 20 0 5419711 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623668554896 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13903] ppid=13836 vsize=10997500 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13903/stat : 13903 (java) S 13836 13839 16473 0 -1 1077944384 3867 12416 0 0 17 1 8 3 20 0 20 0 5419713 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623543052272 139624069016194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13904] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13904/stat : 13904 (java) S 13836 13839 16473 0 -1 1077944384 68 12416 0 0 0 0 8 3 20 0 20 0 5419714 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623541998560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13905] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13905/stat : 13905 (java) S 13836 13839 16473 0 -1 1077944384 45 12416 0 0 0 0 8 3 20 0 20 0 5419714 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623540945920 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13906] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13906/stat : 13906 (java) S 13836 13839 16473 0 -1 1077944384 1 12416 0 0 0 0 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623539894480 139624069023643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13907] ppid=13836 vsize=10997500 CPUtime=4.64 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13907/stat : 13907 (java) S 13836 13839 16473 0 -1 1077944384 12529 12416 0 0 450 3 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623538842096 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13908] ppid=13836 vsize=10997500 CPUtime=5.17 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13908/stat : 13908 (java) S 13836 13839 16473 0 -1 1077944384 15293 12416 0 0 503 3 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623537789552 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13909] ppid=13836 vsize=10997500 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13909/stat : 13909 (java) S 13836 13839 16473 0 -1 1077944384 8947 12416 0 0 421 2 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623536737008 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13910] ppid=13836 vsize=10997500 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13910/stat : 13910 (java) S 13836 13839 16473 0 -1 1077944384 19685 12416 0 0 275 3 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623535684464 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13911] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13911/stat : 13911 (java) S 13836 13839 16473 0 -1 1077944384 3 12416 0 0 0 0 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623534631136 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13912] ppid=13836 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13912/stat : 13912 (java) S 13836 13839 16473 0 -1 1077944384 1173 12416 0 0 2 0 8 3 20 0 20 0 5419720 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623533578672 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
Current children cumulated CPU time (s) 75.6
Current children cumulated vsize (KiB) 10997500

[startup+57.2012 s]
/proc/loadavg: 1.52 1.43 1.50 3/282 13912
/proc/meminfo: memFree=28508860/32770624 swapFree=5720/274928
[pid=13839] ppid=13836 vsize=10997500 CPUtime=76.03 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (java) S 13836 13839 16473 0 -1 1077944320 112259 12416 0 0 7496 96 8 3 20 0 20 0 5419697 11261440000 544568 33554432000 4194304 4196468 140727984650352 140727984632896 139624069005047 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
/proc/13839/statm: 2749375 544568 3524 1 0 2736930 0
[pid=13839/tid=13894] ppid=13836 vsize=10997500 CPUtime=56.58 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13894/stat : 13894 (java) R 13836 13839 16473 0 -1 4202560 44793 12416 0 0 5608 39 8 3 20 0 20 0 5419710 11261440000 544568 33554432000 4194304 4196468 140727984650352 139624073238456 139623709467027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13895] ppid=13836 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13895/stat : 13895 (java) S 13836 13839 16473 0 -1 1077944384 1402 12416 0 0 25 5 8 3 20 0 20 0 5419711 11261440000 544568 33554432000 4194304 4196468 140727984650352 139624021625104 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13896] ppid=13836 vsize=10997500 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13896/stat : 13896 (java) S 13836 13839 16473 0 -1 1077944384 118 12416 0 0 27 4 8 3 20 0 20 0 5419711 11261440000 544568 33554432000 4194304 4196468 140727984650352 139624020572560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13897] ppid=13836 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13897/stat : 13897 (java) S 13836 13839 16473 0 -1 1077944384 136 12416 0 0 26 4 8 3 20 0 20 0 5419711 11261440000 544568 33554432000 4194304 4196468 140727984650352 139624019520016 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13898] ppid=13836 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13898/stat : 13898 (java) S 13836 13839 16473 0 -1 1077944384 168 12416 0 0 28 5 8 3 20 0 20 0 5419711 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623672765072 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13899] ppid=13836 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13899/stat : 13899 (java) S 13836 13839 16473 0 -1 1077944384 187 12416 0 0 28 5 8 3 20 0 20 0 5419711 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623671712528 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13900] ppid=13836 vsize=10997500 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13900/stat : 13900 (java) S 13836 13839 16473 0 -1 1077944384 701 12416 0 0 29 5 8 3 20 0 20 0 5419711 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623670659984 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13901] ppid=13836 vsize=10997500 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13901/stat : 13901 (java) S 13836 13839 16473 0 -1 1077944384 146 12416 0 0 20 5 8 3 20 0 20 0 5419711 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623669607440 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13902] ppid=13836 vsize=10997500 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13902/stat : 13902 (java) S 13836 13839 16473 0 -1 1077944384 853 12416 0 0 24 5 8 3 20 0 20 0 5419711 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623668554896 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13903] ppid=13836 vsize=10997500 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13903/stat : 13903 (java) S 13836 13839 16473 0 -1 1077944384 3867 12416 0 0 17 1 8 3 20 0 20 0 5419713 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623543052272 139624069016194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13904] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13904/stat : 13904 (java) S 13836 13839 16473 0 -1 1077944384 68 12416 0 0 0 0 8 3 20 0 20 0 5419714 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623541998560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13905] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13905/stat : 13905 (java) S 13836 13839 16473 0 -1 1077944384 45 12416 0 0 0 0 8 3 20 0 20 0 5419714 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623540945920 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13906] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13906/stat : 13906 (java) S 13836 13839 16473 0 -1 1077944384 1 12416 0 0 0 0 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623539894480 139624069023643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13907] ppid=13836 vsize=10997500 CPUtime=4.65 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13907/stat : 13907 (java) R 13836 13839 16473 0 -1 4202560 12529 12416 0 0 451 3 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623538842392 139624049217242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13908] ppid=13836 vsize=10997500 CPUtime=5.19 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13908/stat : 13908 (java) S 13836 13839 16473 0 -1 1077944384 15300 12416 0 0 505 3 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623537789552 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13909] ppid=13836 vsize=10997500 CPUtime=4.34 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13909/stat : 13909 (java) S 13836 13839 16473 0 -1 1077944384 8947 12416 0 0 421 2 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623536737008 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13910] ppid=13836 vsize=10997500 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13910/stat : 13910 (java) S 13836 13839 16473 0 -1 1077944384 19693 12416 0 0 275 3 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623535684464 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13911] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13911/stat : 13911 (java) S 13836 13839 16473 0 -1 1077944384 3 12416 0 0 0 0 8 3 20 0 20 0 5419719 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623534631136 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13912] ppid=13836 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13912/stat : 13912 (java) S 13836 13839 16473 0 -1 1077944384 1173 12416 0 0 2 0 8 3 20 0 20 0 5419720 11261440000 544568 33554432000 4194304 4196468 140727984650352 139623533578672 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
Current children cumulated CPU time (s) 76.03
Current children cumulated vsize (KiB) 10997500

[startup+57.4011 s]
/proc/loadavg: 1.52 1.43 1.50 3/282 13912
/proc/meminfo: memFree=28508860/32770624 swapFree=5720/274928
[pid=13839] ppid=13836 vsize=10997500 CPUtime=76.61 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (java) S 13836 13839 16473 0 -1 1077944320 112842 12416 0 0 7554 96 8 3 20 0 20 0 5419697 11261440000 544570 33554432000 4194304 4196468 140727984650352 140727984632896 139624069005047 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
/proc/13839/statm: 2749375 544570 3524 1 0 2736930 0
[pid=13839/tid=13894] ppid=13836 vsize=10997500 CPUtime=56.77 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13894/stat : 13894 (java) R 13836 13839 16473 0 -1 4202560 44939 12416 0 0 5627 39 8 3 20 0 20 0 5419710 11261440000 544570 33554432000 4194304 4196468 140727984650352 139624073236104 139623718495341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13895] ppid=13836 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13895/stat : 13895 (java) S 13836 13839 16473 0 -1 1077944384 1402 12416 0 0 25 5 8 3 20 0 20 0 5419711 11261440000 544570 33554432000 4194304 4196468 140727984650352 139624021625104 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13896] ppid=13836 vsize=10997500 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13896/stat : 13896 (java) S 13836 13839 16473 0 -1 1077944384 118 12416 0 0 27 4 8 3 20 0 20 0 5419711 11261440000 544570 33554432000 4194304 4196468 140727984650352 139624020572560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13897] ppid=13836 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13897/stat : 13897 (java) S 13836 13839 16473 0 -1 1077944384 136 12416 0 0 26 4 8 3 20 0 20 0 5419711 11261440000 544570 33554432000 4194304 4196468 140727984650352 139624019520016 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13898] ppid=13836 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13898/stat : 13898 (java) S 13836 13839 16473 0 -1 1077944384 168 12416 0 0 28 5 8 3 20 0 20 0 5419711 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623672765072 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13899] ppid=13836 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13899/stat : 13899 (java) S 13836 13839 16473 0 -1 1077944384 187 12416 0 0 28 5 8 3 20 0 20 0 5419711 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623671712528 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13900] ppid=13836 vsize=10997500 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13900/stat : 13900 (java) S 13836 13839 16473 0 -1 1077944384 701 12416 0 0 29 5 8 3 20 0 20 0 5419711 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623670659984 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13901] ppid=13836 vsize=10997500 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13901/stat : 13901 (java) S 13836 13839 16473 0 -1 1077944384 146 12416 0 0 20 5 8 3 20 0 20 0 5419711 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623669607440 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13902] ppid=13836 vsize=10997500 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13902/stat : 13902 (java) S 13836 13839 16473 0 -1 1077944384 853 12416 0 0 24 5 8 3 20 0 20 0 5419711 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623668554896 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13903] ppid=13836 vsize=10997500 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13903/stat : 13903 (java) S 13836 13839 16473 0 -1 1077944384 3867 12416 0 0 17 1 8 3 20 0 20 0 5419713 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623543052272 139624069016194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13904] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13904/stat : 13904 (java) S 13836 13839 16473 0 -1 1077944384 68 12416 0 0 0 0 8 3 20 0 20 0 5419714 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623541998560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13905] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13905/stat : 13905 (java) S 13836 13839 16473 0 -1 1077944384 45 12416 0 0 0 0 8 3 20 0 20 0 5419714 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623540945920 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13906] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13906/stat : 13906 (java) S 13836 13839 16473 0 -1 1077944384 1 12416 0 0 0 0 8 3 20 0 20 0 5419719 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623539894480 139624069023643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13907] ppid=13836 vsize=10997500 CPUtime=4.75 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13907/stat : 13907 (java) R 13836 13839 16473 0 -1 4202560 12871 12416 0 0 461 3 8 3 20 0 20 0 5419719 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623538828352 139624069026394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13908] ppid=13836 vsize=10997500 CPUtime=5.33 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13908/stat : 13908 (java) S 13836 13839 16473 0 -1 1077944384 15350 12416 0 0 519 3 8 3 20 0 20 0 5419719 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623537789552 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13909] ppid=13836 vsize=10997500 CPUtime=4.45 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13909/stat : 13909 (java) S 13836 13839 16473 0 -1 1077944384 8967 12416 0 0 432 2 8 3 20 0 20 0 5419719 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623536737008 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13910] ppid=13836 vsize=10997500 CPUtime=2.92 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13910/stat : 13910 (java) S 13836 13839 16473 0 -1 1077944384 19721 12416 0 0 278 3 8 3 20 0 20 0 5419719 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623535684464 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13911] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13911/stat : 13911 (java) S 13836 13839 16473 0 -1 1077944384 3 12416 0 0 0 0 8 3 20 0 20 0 5419719 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623534631136 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13912] ppid=13836 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13912/stat : 13912 (java) S 13836 13839 16473 0 -1 1077944384 1173 12416 0 0 2 0 8 3 20 0 20 0 5419720 11261440000 544570 33554432000 4194304 4196468 140727984650352 139623533578672 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
Current children cumulated CPU time (s) 76.61
Current children cumulated vsize (KiB) 10997500

[startup+57.5012 s]
/proc/loadavg: 1.52 1.43 1.50 3/282 13912
/proc/meminfo: memFree=28508860/32770624 swapFree=5720/274928
[pid=13839] ppid=13836 vsize=10997500 CPUtime=76.87 cores=0,2,4,6,8,10,12,14
/proc/13839/stat : 13839 (java) S 13836 13839 16473 0 -1 1077944320 113008 12416 0 0 7580 96 8 3 20 0 20 0 5419697 11261440000 544571 33554432000 4194304 4196468 140727984650352 140727984632896 139624069005047 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
/proc/13839/statm: 2749375 544571 3524 1 0 2736930 0
[pid=13839/tid=13894] ppid=13836 vsize=10997500 CPUtime=56.87 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13894/stat : 13894 (java) R 13836 13839 16473 0 -1 4202560 45046 12416 0 0 5637 39 8 3 20 0 20 0 5419710 11261440000 544571 33554432000 4194304 4196468 140727984650352 139624073235512 139623718582772 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13895] ppid=13836 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13895/stat : 13895 (java) S 13836 13839 16473 0 -1 1077944384 1402 12416 0 0 25 5 8 3 20 0 20 0 5419711 11261440000 544571 33554432000 4194304 4196468 140727984650352 139624021625104 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13896] ppid=13836 vsize=10997500 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13896/stat : 13896 (java) S 13836 13839 16473 0 -1 1077944384 118 12416 0 0 27 4 8 3 20 0 20 0 5419711 11261440000 544571 33554432000 4194304 4196468 140727984650352 139624020572560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13897] ppid=13836 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13897/stat : 13897 (java) S 13836 13839 16473 0 -1 1077944384 136 12416 0 0 26 4 8 3 20 0 20 0 5419711 11261440000 544571 33554432000 4194304 4196468 140727984650352 139624019520016 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13898] ppid=13836 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13898/stat : 13898 (java) S 13836 13839 16473 0 -1 1077944384 168 12416 0 0 28 5 8 3 20 0 20 0 5419711 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623672765072 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13899] ppid=13836 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13899/stat : 13899 (java) S 13836 13839 16473 0 -1 1077944384 187 12416 0 0 28 5 8 3 20 0 20 0 5419711 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623671712528 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13900] ppid=13836 vsize=10997500 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13900/stat : 13900 (java) S 13836 13839 16473 0 -1 1077944384 701 12416 0 0 29 5 8 3 20 0 20 0 5419711 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623670659984 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13901] ppid=13836 vsize=10997500 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13901/stat : 13901 (java) S 13836 13839 16473 0 -1 1077944384 146 12416 0 0 20 5 8 3 20 0 20 0 5419711 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623669607440 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13902] ppid=13836 vsize=10997500 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13902/stat : 13902 (java) S 13836 13839 16473 0 -1 1077944384 853 12416 0 0 24 5 8 3 20 0 20 0 5419711 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623668554896 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13903] ppid=13836 vsize=10997500 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13903/stat : 13903 (java) S 13836 13839 16473 0 -1 1077944384 3867 12416 0 0 17 1 8 3 20 0 20 0 5419713 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623543052272 139624069016194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13904] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13904/stat : 13904 (java) S 13836 13839 16473 0 -1 1077944384 68 12416 0 0 0 0 8 3 20 0 20 0 5419714 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623541998560 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13905] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13905/stat : 13905 (java) S 13836 13839 16473 0 -1 1077944384 45 12416 0 0 0 0 8 3 20 0 20 0 5419714 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623540945920 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13906] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13906/stat : 13906 (java) S 13836 13839 16473 0 -1 1077944384 1 12416 0 0 0 0 8 3 20 0 20 0 5419719 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623539894480 139624069023643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13907] ppid=13836 vsize=10997500 CPUtime=4.8 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13907/stat : 13907 (java) R 13836 13839 16473 0 -1 4202560 12880 12416 0 0 466 3 8 3 20 0 20 0 5419719 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623538842096 139624053399057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13908] ppid=13836 vsize=10997500 CPUtime=5.36 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13908/stat : 13908 (java) R 13836 13839 16473 0 -1 4202560 15351 12416 0 0 522 3 8 3 20 0 20 0 5419719 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623537789848 139624052528361 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13909] ppid=13836 vsize=10997500 CPUtime=4.51 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13909/stat : 13909 (java) R 13836 13839 16473 0 -1 4202560 8971 12416 0 0 438 2 8 3 20 0 20 0 5419719 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623536737304 139624054111132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13910] ppid=13836 vsize=10997500 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13910/stat : 13910 (java) S 13836 13839 16473 0 -1 1077944384 19763 12416 0 0 280 4 8 3 20 0 20 0 5419719 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623535684464 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13911] ppid=13836 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13911/stat : 13911 (java) S 13836 13839 16473 0 -1 1077944384 3 12416 0 0 0 0 8 3 20 0 20 0 5419719 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623534631136 139624069015253 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
[pid=13839/tid=13912] ppid=13836 vsize=10997500 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13839/task/13912/stat : 13912 (java) S 13836 13839 16473 0 -1 1077944384 1173 12416 0 0 2 0 8 3 20 0 20 0 5419720 11261440000 544571 33554432000 4194304 4196468 140727984650352 139623533578672 139624069016194 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29888512 140727984655041 140727984657815 140727984657815 140727984660431 0
Current children cumulated CPU time (s) 76.87
Current children cumulated vsize (KiB) 10997500

Child status: 0
Real time (s): 57.5869
CPU time (s): 77.0784
CPU user time (s): 76.0486
CPU system time (s): 1.02978
CPU usage (%): 133.847
Max. virtual memory (cumulated for all children) (KiB): 11000368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.0486
system time used= 1.02978
maximum resident set size= 2178908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125891
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14376
involuntary context switches= 5431

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.476543 second user time and 0.619316 second system time

The end

Launcher Data 

Begin job on node114 at 2017-07-22 07:31:45
IDJOB=4245207
IDBENCH=120649
IDSOLVER=2630
FILE ID=node114/4245207-1500701505
RUNJOBID= node114-1500696853-12413
PBS_JOBID= 20623324
Free space on /tmp= 61988 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-ash331GPIA.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245207-1500701505/watcher-4245207-1500701505 -o /tmp/evaluation-result-4245207-1500701505/solver-4245207-1500701505 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12413 --watchdog 2560  bin/concrete HOME/instance-4245207-1500701505.xml

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

MD5SUM BENCH= a2156ca8d664195666e0b5da895e2590
RANDOM SEED=410416212

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30678160 kB
MemAvailable:   30924044 kB
Buffers:          128444 kB
Cached:           397196 kB
SwapCached:            0 kB
Active:          1370548 kB
Inactive:         283300 kB
Active(anon):    1131216 kB
Inactive(anon):     8828 kB
Active(file):     239332 kB
Inactive(file):   274472 kB
Unevictable:        5720 kB
Mlocked:            5720 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24724 kB
Writeback:             0 kB
AnonPages:       1134268 kB
Mapped:            44076 kB
Shmem:              8848 kB
Slab:             129972 kB
SReclaimable:      95828 kB
SUnreclaim:        34144 kB
KernelStack:        4512 kB
PageTables:         7436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1896972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1034240 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= 61964 MiB
End job on node114 at 2017-07-22 07:32:43