Trace number 4259517

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
Concrete 3.4OPT3 72.401703 56.488098

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.92958
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.20/2.17	c Concrete v3.4 running
16.90/6.50	o 661
17.25/6.67	o 660
17.55/6.79	o 659
18.08/6.92	o 658
18.27/7.03	o 657
18.47/7.13	o 656
18.59/7.24	o 655
18.72/7.34	o 654
18.94/7.45	o 653
19.22/7.55	o 652
19.49/7.64	o 651
19.78/7.74	o 650
20.08/7.84	o 649
20.37/7.95	o 648
20.67/8.05	o 647
20.84/8.13	o 646
20.99/8.21	o 645
20.99/8.29	o 644
21.15/8.38	o 643
21.34/8.46	o 642
21.51/8.54	o 641
21.63/8.62	o 640
21.73/8.70	o 639
21.73/8.78	o 638
21.84/8.86	o 637
21.95/8.93	o 636
22.04/9.01	o 635
22.04/9.09	o 634
22.15/9.17	o 633
22.28/9.25	o 632
22.38/9.33	o 631
22.49/9.41	o 630
22.49/9.49	o 629
22.59/9.56	o 628
22.69/9.64	o 627
22.79/9.72	o 626
22.79/9.80	o 625
22.90/9.87	o 624
23.00/9.95	o 623
23.11/10.03	o 622
23.21/10.10	o 621
23.21/10.18	o 620
23.31/10.26	o 619
23.42/10.34	o 618
23.52/10.42	o 617
23.52/10.49	o 616
23.62/10.57	o 615
23.72/10.65	o 614
23.82/10.73	o 613
23.92/10.80	o 612
23.92/10.88	o 611
24.02/10.96	o 610
24.13/11.04	o 609
24.24/11.12	o 608
24.24/11.19	o 607
24.33/11.27	o 606
24.43/11.35	o 605
24.53/11.43	o 604
24.63/11.50	o 603
24.63/11.58	o 602
24.74/11.66	o 601
24.84/11.74	o 600
24.96/11.83	o 599
25.06/11.90	o 598
25.06/11.98	o 597
25.16/12.06	o 596
25.27/12.13	o 595
25.37/12.21	o 594
25.37/12.29	o 593
25.46/12.36	o 592
25.56/12.44	o 591
25.66/12.52	o 590
25.66/12.59	o 589
25.76/12.67	o 588
25.86/12.75	o 587
25.96/12.83	o 586
26.06/12.90	o 585
26.06/12.98	o 584
26.16/13.06	o 583
26.26/13.14	o 582
26.37/13.21	o 581
26.37/13.30	o 580
26.48/13.37	o 579
26.58/13.45	o 578
26.68/13.52	o 577
26.78/13.60	o 576
26.78/13.67	o 575
26.88/13.75	o 574
26.99/13.83	o 573
27.09/13.91	o 572
27.09/13.98	o 571
27.19/14.06	o 570
27.29/14.14	o 569
27.40/14.22	o 568
27.40/14.29	o 567
27.50/14.37	o 566
27.61/14.45	o 565
27.70/14.52	o 564
27.70/14.60	o 563
27.80/14.67	o 562
27.90/14.75	o 561
28.01/14.83	o 560
28.10/14.90	o 559
28.10/14.99	o 558
28.22/15.06	o 557
28.32/15.14	o 556
28.42/15.21	o 555
28.42/15.29	o 554
28.52/15.37	o 553
28.63/15.44	o 552
28.73/15.52	o 551
28.73/15.59	o 550
28.83/15.67	o 549
28.93/15.74	o 548
29.03/15.82	o 547
29.03/15.90	o 546
29.13/15.97	o 545
29.23/16.05	o 544
29.33/16.13	o 543
29.43/16.20	o 542
29.43/16.28	o 541
29.53/16.36	o 540
29.63/16.43	o 539
29.74/16.51	o 538
29.74/16.58	o 537
29.84/16.66	o 536
29.94/16.74	o 535
30.05/16.82	o 534
30.16/16.90	o 533
30.16/16.98	o 532
30.26/17.05	o 531
30.36/17.13	o 530
30.46/17.21	o 529
30.46/17.28	o 528
30.56/17.36	o 527
30.66/17.44	o 526
30.76/17.51	o 525
30.76/17.59	o 524
30.86/17.66	o 523
30.96/17.74	o 522
31.06/17.82	o 521
31.06/17.89	o 520
31.16/17.97	o 519
31.26/18.04	o 518
31.36/18.12	o 517
31.36/18.19	o 516
31.46/18.27	o 515
31.56/18.35	o 514
31.66/18.42	o 513
31.76/18.50	o 512
31.76/18.57	o 511
31.86/18.65	o 510
31.97/18.73	o 509
32.11/18.81	o 508
32.11/18.89	o 507
32.20/18.96	o 506
32.30/19.04	o 505
32.40/19.11	o 504
32.40/19.19	o 503
32.50/19.27	o 502
32.60/19.34	o 501
32.70/19.42	o 500
32.70/19.50	o 499
32.80/19.57	o 498
32.90/19.65	o 497
33.00/19.72	o 496
33.00/19.80	o 495
33.14/19.87	o 494
33.25/19.95	o 493
33.34/20.02	o 492
33.34/20.09	o 491
33.44/20.17	o 490
33.54/20.24	o 489
33.64/20.32	o 488
33.64/20.39	o 487
33.75/20.47	o 486
33.85/20.54	o 485
33.95/20.62	o 484
34.05/20.70	o 483
34.05/20.77	o 482
34.15/20.85	o 481
34.26/20.92	o 480
34.26/21.00	o 479
34.36/21.07	o 478
34.46/21.15	o 477
34.56/21.22	o 476
34.56/21.30	o 475
34.66/21.37	o 474
34.76/21.44	o 473
34.86/21.52	o 472
34.86/21.59	o 471
34.97/21.67	o 470
35.07/21.74	o 469
35.17/21.81	o 468
35.17/21.89	o 467
35.27/21.96	o 466
35.38/22.04	o 465
35.48/22.11	o 464
35.48/22.19	o 463
35.57/22.26	o 462
35.67/22.34	o 461
35.77/22.41	o 460
35.77/22.49	o 459
35.87/22.56	o 458
35.97/22.64	o 457
36.07/22.71	o 456
36.18/22.80	o 455
36.18/22.87	o 454
36.28/22.95	o 453
36.38/23.02	o 452
36.38/23.10	o 451
36.49/23.17	o 450
36.59/23.24	o 449
36.68/23.32	o 448
36.68/23.39	o 447
36.78/23.47	o 446
36.88/23.54	o 445
36.98/23.61	o 444
36.98/23.69	o 443
37.09/23.76	o 442
37.19/23.84	o 441
37.29/23.91	o 440
37.29/23.99	o 439
37.39/24.06	o 438
37.49/24.13	o 437
37.59/24.21	o 436
37.59/24.28	o 435
37.69/24.36	o 434
37.79/24.44	o 433
37.89/24.51	o 432
37.89/24.58	o 431
37.99/24.66	o 430
38.09/24.73	o 429
38.19/24.80	o 428
38.19/24.88	o 427
38.29/24.96	o 426
38.40/25.03	o 425
38.50/25.10	o 424
38.50/25.18	o 423
38.60/25.25	o 422
38.70/25.33	o 421
38.80/25.40	o 420
38.80/25.48	o 419
38.90/25.55	o 418
39.00/25.63	o 417
39.10/25.70	o 416
39.10/25.78	o 415
39.20/25.85	o 414
39.30/25.92	o 413
39.41/26.00	o 412
39.41/26.07	o 411
39.52/26.15	o 410
39.62/26.22	o 409
39.62/26.30	o 408
39.72/26.37	o 407
39.83/26.44	o 406
39.94/26.52	o 405
39.94/26.59	o 404
40.03/26.67	o 403
40.13/26.74	o 402
40.23/26.82	o 401
40.23/26.89	o 400
40.34/26.97	o 399
40.44/27.04	o 398
40.54/27.12	o 397
40.54/27.20	o 396
40.63/27.28	o 395
40.74/27.35	o 394
40.84/27.43	o 393
40.84/27.50	o 392
40.96/27.57	o 391
41.06/27.65	o 390
41.15/27.72	o 389
41.25/27.80	o 388
41.25/27.87	o 387
41.35/27.95	o 386
41.45/28.02	o 385
41.45/28.09	o 384
41.55/28.17	o 383
41.65/28.24	o 382
41.75/28.31	o 381
41.75/28.39	o 380
41.85/28.46	o 379
41.95/28.54	o 378
42.06/28.61	o 377
42.06/28.69	o 376
42.16/28.76	o 375
42.25/28.83	o 374
42.35/28.91	o 373
42.35/28.98	o 372
42.45/29.06	o 371
42.56/29.13	o 370
42.66/29.21	o 369
42.66/29.28	o 368
42.76/29.35	o 367
42.86/29.43	o 366
42.96/29.50	o 365
42.96/29.57	o 364
43.06/29.65	o 363
43.16/29.73	o 362
43.16/29.80	o 361
43.27/29.88	o 360
43.36/29.95	o 359
43.46/30.02	o 358
43.56/30.10	o 357
43.56/30.17	o 356
43.66/30.25	o 355
43.76/30.32	o 354
43.76/30.40	o 353
43.86/30.47	o 352
43.96/30.54	o 351
44.06/30.62	o 350
44.06/30.69	o 349
44.16/30.76	o 348
44.27/30.84	o 347
44.37/30.92	o 346
44.37/30.99	o 345
44.46/31.06	o 344
44.57/31.14	o 343
44.67/31.21	o 342
44.67/31.28	o 341
44.77/31.36	o 340
44.87/31.43	o 339
44.97/31.51	o 338
44.97/31.58	o 337
45.07/31.66	o 336
45.17/31.73	o 335
45.27/31.81	o 334
45.27/31.88	o 333
45.38/31.96	o 332
45.48/32.03	o 331
45.59/32.12	o 330
45.59/32.19	o 329
45.69/32.26	o 328
45.79/32.34	o 327
45.89/32.41	o 326
45.89/32.48	o 325
45.99/32.56	o 324
46.09/32.63	o 323
46.19/32.71	o 322
46.19/32.78	o 321
46.29/32.85	o 320
46.39/32.93	o 319
46.39/33.00	o 318
46.49/33.07	o 317
46.59/33.15	o 316
46.69/33.22	o 315
46.79/33.30	o 314
46.79/33.37	o 313
46.89/33.45	o 312
46.99/33.52	o 311
46.99/33.59	o 310
47.09/33.67	o 309
47.19/33.74	o 308
47.29/33.82	o 307
47.29/33.89	o 306
47.39/33.96	o 305
47.49/34.04	o 304
47.60/34.11	o 303
47.60/34.19	o 302
47.70/34.26	o 301
47.79/34.33	o 300
47.89/34.41	o 299
47.89/34.48	o 298
48.00/34.56	o 297
48.10/34.64	o 296
48.22/34.71	o 295
48.22/34.79	o 294
48.32/34.86	o 293
48.42/34.94	o 292
48.52/35.01	o 291
48.52/35.09	o 290
48.62/35.16	o 289
48.72/35.23	o 288
48.82/35.31	o 287
48.82/35.38	o 286
48.92/35.45	o 285
49.02/35.53	o 284
49.12/35.60	o 283
49.12/35.68	o 282
49.23/35.76	o 281
49.33/35.83	o 280
49.43/35.90	o 279
49.43/35.98	o 278
49.55/36.05	o 277
49.65/36.13	o 276
49.75/36.20	o 275
49.75/36.27	o 274
49.85/36.35	o 273
49.96/36.42	o 272
50.05/36.50	o 271
50.05/36.57	o 270
50.15/36.64	o 269
50.25/36.72	o 268
50.25/36.79	o 267
50.35/36.87	o 266
50.45/36.94	o 265
50.55/37.01	o 264
50.55/37.09	o 263
50.65/37.16	o 262
50.75/37.24	o 261
50.86/37.32	o 260
50.86/37.39	o 259
50.97/37.46	o 258
51.07/37.53	o 257
51.16/37.61	o 256
51.16/37.68	o 255
51.26/37.75	o 254
51.36/37.83	o 253
51.46/37.90	o 252
51.46/37.98	o 251
51.56/38.05	o 250
51.66/38.12	o 249
51.76/38.20	o 248
51.76/38.27	o 247
51.86/38.34	o 246
51.96/38.42	o 245
51.96/38.49	o 244
52.07/38.56	o 243
52.17/38.64	o 242
52.26/38.71	o 241
52.26/38.79	o 240
52.36/38.86	o 239
52.46/38.93	o 238
52.62/39.01	o 237
52.62/39.08	o 236
52.75/39.16	o 235
52.85/39.23	o 234
52.95/39.31	o 233
52.95/39.38	o 232
53.05/39.45	o 231
53.15/39.53	o 230
53.15/39.60	o 229
53.26/39.67	o 228
53.36/39.75	o 227
53.45/39.82	o 226
53.57/39.90	o 225
53.57/39.98	o 224
53.67/40.05	o 223
53.76/40.13	o 222
53.86/40.20	o 221
53.86/40.27	o 220
53.96/40.35	o 219
54.06/40.42	o 218
54.06/40.50	o 217
54.16/40.57	o 216
54.26/40.64	o 215
54.37/40.72	o 214
54.37/40.79	o 213
54.47/40.87	o 212
54.58/40.94	o 211
54.68/41.02	o 210
54.68/41.09	o 209
54.78/41.16	o 208
54.88/41.23	o 207
54.98/41.31	o 206
54.98/41.38	o 205
55.08/41.45	o 204
55.18/41.53	o 203
55.28/41.60	o 202
55.28/41.67	o 201
55.38/41.75	o 200
55.48/41.82	o 199
55.48/41.89	o 198
55.58/41.97	o 197
55.68/42.04	o 196
55.77/42.12	o 195
55.77/42.19	o 194
55.87/42.26	o 193
55.97/42.33	o 192
56.08/42.41	o 191
56.08/42.48	o 190
56.18/42.55	o 189
56.27/42.64	o 188
56.39/42.71	o 187
56.39/42.79	o 186
56.49/42.86	o 185
56.60/42.93	o 184
56.70/43.01	o 183
56.70/43.08	o 182
56.79/43.16	o 181
56.89/43.23	o 180
56.99/43.30	o 179
56.99/43.38	o 178
57.09/43.45	o 177
57.19/43.53	o 176
57.29/43.60	o 175
57.29/43.67	o 174
57.39/43.75	o 173
57.49/43.82	o 172
57.49/43.89	o 171
57.61/43.97	o 170
57.71/44.04	o 169
57.81/44.11	o 168
57.81/44.19	o 167
57.91/44.26	o 166
58.01/44.33	o 165
58.11/44.41	o 164
58.11/44.48	o 163
58.21/44.55	o 162
58.31/44.63	o 161
58.41/44.70	o 160
58.41/44.78	o 159
58.51/44.85	o 158
58.61/44.92	o 157
58.71/45.00	o 156
58.71/45.07	o 155
58.82/45.14	o 154
58.92/45.21	o 153
58.92/45.29	o 152
59.01/45.36	o 151
59.14/45.44	o 150
59.25/45.52	o 149
59.25/45.59	o 148
59.35/45.67	o 147
59.45/45.74	o 146
59.55/45.81	o 145
59.55/45.89	o 144
59.65/45.96	o 143
59.75/46.03	o 142
59.85/46.11	o 141
59.85/46.18	o 140
59.96/46.25	o 139
60.06/46.33	o 138
60.15/46.40	o 137
60.15/46.47	o 136
60.25/46.54	o 135
60.36/46.62	o 134
60.36/46.69	o 133
60.46/46.77	o 132
60.56/46.84	o 131
60.66/46.92	o 130
60.66/46.99	o 129
60.76/47.06	o 128
60.87/47.14	o 127
60.97/47.21	o 126
60.97/47.28	o 125
61.07/47.35	o 124
61.17/47.43	o 123
61.27/47.50	o 122
61.27/47.57	o 121
61.37/47.64	o 120
61.47/47.72	o 119
61.47/47.79	o 118
61.57/47.86	o 117
61.67/47.93	o 116
61.77/48.00	o 115
61.77/48.08	o 114
61.87/48.15	o 113
61.97/48.22	o 112
61.97/48.30	o 111
62.07/48.37	o 110
62.18/48.45	o 109
62.31/48.52	o 108
62.31/48.59	o 107
62.41/48.67	o 106
62.51/48.74	o 105
62.61/48.81	o 104
62.61/48.88	o 103
62.71/48.96	o 102
62.81/49.03	o 101
62.91/49.10	o 100
62.91/49.17	o 99
63.01/49.24	o 98
63.11/49.32	o 97
63.11/49.39	o 96
63.21/49.46	o 95
63.31/49.53	o 94
63.41/49.60	o 93
63.41/49.68	o 92
63.51/49.75	o 91
63.61/49.82	o 90
63.61/49.89	o 89
63.71/49.97	o 88
63.81/50.04	o 87
63.91/50.11	o 86
63.91/50.18	o 85
64.01/50.26	o 84
64.11/50.33	o 83
64.21/50.40	o 82
64.21/50.47	o 81
64.31/50.54	o 80
64.41/50.62	o 79
64.41/50.69	o 78
64.51/50.76	o 77
64.61/50.83	o 76
64.71/50.91	o 75
64.71/50.98	o 74
64.81/51.05	o 73
64.91/51.12	o 72
64.91/51.20	o 71
65.01/51.27	o 70
65.11/51.34	o 69
65.21/51.42	o 68
65.45/51.51	o 67
65.71/51.60	o 66
65.71/51.69	o 65
66.03/51.78	o 64
66.33/51.87	o 63
66.53/51.95	o 62
66.65/52.02	o 61
66.75/52.10	o 60
66.75/52.18	o 59
66.89/52.26	o 58
67.19/52.34	o 57
67.44/52.41	o 56
67.44/52.49	o 55
67.60/52.56	o 54
67.70/52.64	o 53
67.80/52.71	o 52
67.80/52.79	o 51
67.91/52.86	o 50
68.01/52.94	o 49
68.11/53.01	o 48
68.11/53.08	o 47
68.21/53.16	o 46
68.31/53.23	o 45
68.41/53.31	o 44
68.41/53.38	o 43
68.51/53.46	o 42
68.61/53.53	o 41
68.71/53.61	o 40
68.71/53.68	o 39
68.81/53.75	o 38
68.91/53.83	o 37
68.91/53.90	o 36
69.02/53.97	o 35
69.12/54.05	o 34
69.21/54.12	o 33
69.31/54.20	o 32
69.31/54.28	o 31
69.43/54.35	o 30
69.53/54.43	o 29
69.63/54.50	o 28
69.63/54.58	o 27
69.73/54.65	o 26
69.83/54.72	o 25
69.93/54.80	o 24
69.93/54.87	o 23
70.03/54.94	o 22
70.15/55.02	o 21
70.15/55.10	o 20
70.25/55.17	o 19
70.34/55.25	o 18
70.44/55.32	o 17
70.44/55.39	o 16
70.54/55.47	o 15
70.64/55.54	o 14
70.74/55.62	o 13
70.74/55.69	o 12
70.84/55.77	o 11
70.94/55.84	o 10
71.04/55.91	o 9
71.04/55.99	o 8
71.16/56.06	o 7
71.31/56.15	o 6
71.63/56.26	o 5
71.94/56.35	o 4
71.94/56.39	o 3
72.22/56.43	v <instantiation cost="3">
72.22/56.43	v       <list>
72.22/56.43	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]
72.22/56.43	v       </list>
72.22/56.43	v       <values>
72.22/56.43	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
72.22/56.43	v       </values>
72.22/56.43	v     </instantiation>
72.22/56.43	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-4259517-1501647043/watcher-4259517-1501647043 -o /tmp/evaluation-result-4259517-1501647043/solver-4259517-1501647043 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259517-1501647043.xml 

pid=4025
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.87 1.70 1.71 2/199 4028
/proc/meminfo: memFree=27575916/32770624 swapFree=0/243428
[pid=4028] ppid=4025 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4028/stat : 4028 (runsolver) D 4025 4028 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6614881 24240128 106 18446744073709551615 4194304 4338465 140725750196080 140725750193720 140036267287255 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 18919424 140725750198481 140725750198855 140725750198855 140725750202314 0
/proc/4028/statm: 5918 106 53 36 0 2156 0

[startup+0.100088 s]
/proc/loadavg: 1.87 1.70 1.71 2/199 4028
/proc/meminfo: memFree=27575916/32770624 swapFree=0/243428
[pid=4028] ppid=4025 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/4028/stat : 4028 (bash) S 4025 4028 3187 0 -1 4202496 894 6493 0 0 0 0 0 1 20 0 1 0 6614881 9867264 377 18446744073709551615 4194304 5098028 140723929295392 140723929289400 140372316843008 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 26865664 140723929301522 140723929301607 140723929301607 140723929305066 0
/proc/4028/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200272 s]
/proc/loadavg: 1.87 1.70 1.71 2/199 4028
/proc/meminfo: memFree=27575916/32770624 swapFree=0/243428
[pid=4028] ppid=4025 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/4028/stat : 4028 (bash) S 4025 4028 3187 0 -1 4202496 894 6493 0 0 0 0 0 1 20 0 1 0 6614881 9867264 377 18446744073709551615 4194304 5098028 140723929295392 140723929289400 140372316843008 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 26865664 140723929301522 140723929301607 140723929301607 140723929305066 0
/proc/4028/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300341 s]
/proc/loadavg: 1.87 1.70 1.71 2/199 4028
/proc/meminfo: memFree=27575916/32770624 swapFree=0/243428
[pid=4028] ppid=4025 vsize=13973872 CPUtime=0.13 cores=1,3,5,7
/proc/4028/stat : 4028 (java) S 4025 4028 3187 0 -1 1077944320 5848 12667 0 0 6 0 5 2 20 0 15 0 6614881 14309244928 5498 18446744073709551615 4194304 4196468 140733122842848 140733122825392 139723919331063 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
/proc/4028/statm: 3493468 5498 2563 1 0 3482973 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13973872

[startup+0.700283 s]
/proc/loadavg: 1.87 1.70 1.71 2/199 4028
/proc/meminfo: memFree=27575916/32770624 swapFree=0/243428
[pid=4028] ppid=4025 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/4028/stat : 4028 (java) S 4025 4028 3187 0 -1 1077944320 13942 12667 0 0 60 3 5 2 20 0 15 0 6614881 14310178816 14910 18446744073709551615 4194304 4196468 140733122842848 140733122825392 139723919331063 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
/proc/4028/statm: 3493696 14910 3090 1 0 3482973 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784

[startup+1.50194 s]
/proc/loadavg: 1.87 1.70 1.71 4/214 4091
/proc/meminfo: memFree=27479192/32770624 swapFree=0/243444
[pid=4028] ppid=4025 vsize=13985408 CPUtime=1.91 cores=1,3,5,7
/proc/4028/stat : 4028 (java) S 4025 4028 3187 0 -1 1077944320 29824 12667 0 0 175 9 5 2 20 0 15 0 6614881 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 140733122825392 139723919331063 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
/proc/4028/statm: 3496352 42735 3370 1 0 3485533 0
[pid=4028/tid=4078] ppid=4025 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/4028/task/4078/stat : 4078 (java) R 4025 4028 3187 0 -1 4202560 22292 12667 0 0 116 6 5 2 20 0 15 0 6614902 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723923560104 139723557383931 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4079] ppid=4025 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/4028/task/4079/stat : 4079 (java) S 4025 4028 3187 0 -1 1077944384 194 12667 0 0 1 0 5 2 20 0 15 0 6614903 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723519748752 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4080] ppid=4025 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/4028/task/4080/stat : 4080 (java) S 4025 4028 3187 0 -1 1077944384 45 12667 0 0 1 0 5 2 20 0 15 0 6614903 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723518695952 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4081] ppid=4025 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/4028/task/4081/stat : 4081 (java) S 4025 4028 3187 0 -1 1077944384 59 12667 0 0 1 0 5 2 20 0 15 0 6614903 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723517643152 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4082] ppid=4025 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/4028/task/4082/stat : 4082 (java) S 4025 4028 3187 0 -1 1077944384 70 12667 0 0 1 0 5 2 20 0 15 0 6614903 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723516590352 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4083] ppid=4025 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/4028/task/4083/stat : 4083 (java) S 4025 4028 3187 0 -1 1077944384 1657 12667 0 0 1 0 5 2 20 0 15 0 6614904 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723397884784 139723919342210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4084] ppid=4025 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4084/stat : 4084 (java) S 4025 4028 3187 0 -1 1077944384 55 12667 0 0 0 0 5 2 20 0 15 0 6614905 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723396830816 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4085] ppid=4025 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4085/stat : 4085 (java) S 4025 4028 3187 0 -1 1077944384 44 12667 0 0 0 0 5 2 20 0 15 0 6614905 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723395777920 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4086] ppid=4025 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4086/stat : 4086 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723394726224 139723919349659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4087] ppid=4025 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/4028/task/4087/stat : 4087 (java) S 4025 4028 3187 0 -1 1077944384 1056 12667 0 0 16 0 5 2 20 0 15 0 6614908 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723393673584 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4088] ppid=4025 vsize=13985408 CPUtime=0.18 cores=1,3,5,7
/proc/4028/task/4088/stat : 4088 (java) S 4025 4028 3187 0 -1 1077944384 779 12667 0 0 11 0 5 2 20 0 15 0 6614908 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723392620784 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4089] ppid=4025 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/4028/task/4089/stat : 4089 (java) S 4025 4028 3187 0 -1 1077944384 1404 12667 0 0 23 0 5 2 20 0 15 0 6614908 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723391567984 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4090] ppid=4025 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4090/stat : 4090 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723390515424 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4091] ppid=4025 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4091/stat : 4091 (java) S 4025 4028 3187 0 -1 1077944384 10 12667 0 0 0 0 5 2 20 0 15 0 6614911 14321057792 42735 18446744073709551615 4194304 4196468 140733122842848 139723389463728 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408

[startup+3.10473 s]
/proc/loadavg: 1.87 1.70 1.71 4/214 4091
/proc/meminfo: memFree=27406108/32770624 swapFree=0/243444
[pid=4028] ppid=4025 vsize=13997884 CPUtime=6.09 cores=1,3,5,7
/proc/4028/stat : 4028 (java) S 4025 4028 3187 0 -1 1077944320 40348 12667 0 0 587 15 5 2 20 0 15 0 6614881 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 140733122825392 139723919331063 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
/proc/4028/statm: 3499471 60778 3446 1 0 3488093 0
[pid=4028/tid=4078] ppid=4025 vsize=13997884 CPUtime=2.87 cores=1,3,5,7
/proc/4028/task/4078/stat : 4078 (java) R 4025 4028 3187 0 -1 4202560 26937 12667 0 0 272 8 5 2 20 0 15 0 6614902 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723923560144 139723557438933 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4079] ppid=4025 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4028/task/4079/stat : 4079 (java) S 4025 4028 3187 0 -1 1077944384 194 12667 0 0 1 0 5 2 20 0 15 0 6614903 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723519748752 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4080] ppid=4025 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4028/task/4080/stat : 4080 (java) S 4025 4028 3187 0 -1 1077944384 45 12667 0 0 1 0 5 2 20 0 15 0 6614903 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723518695952 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4081] ppid=4025 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4028/task/4081/stat : 4081 (java) S 4025 4028 3187 0 -1 1077944384 59 12667 0 0 1 0 5 2 20 0 15 0 6614903 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723517643152 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4082] ppid=4025 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4028/task/4082/stat : 4082 (java) S 4025 4028 3187 0 -1 1077944384 70 12667 0 0 1 0 5 2 20 0 15 0 6614903 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723516590352 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4083] ppid=4025 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4028/task/4083/stat : 4083 (java) S 4025 4028 3187 0 -1 1077944384 1692 12667 0 0 1 0 5 2 20 0 15 0 6614904 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723397884784 139723919342210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4084] ppid=4025 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4084/stat : 4084 (java) S 4025 4028 3187 0 -1 1077944384 55 12667 0 0 0 0 5 2 20 0 15 0 6614905 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723396830816 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4085] ppid=4025 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4085/stat : 4085 (java) S 4025 4028 3187 0 -1 1077944384 44 12667 0 0 0 0 5 2 20 0 15 0 6614905 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723395777920 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4086] ppid=4025 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4086/stat : 4086 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723394726224 139723919349659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4087] ppid=4025 vsize=13997884 CPUtime=1.13 cores=1,3,5,7
/proc/4028/task/4087/stat : 4087 (java) R 4025 4028 3187 0 -1 1077944384 2581 12667 0 0 105 1 5 2 20 0 15 0 6614908 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723393662384 139723919341269 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4088] ppid=4025 vsize=13997884 CPUtime=1.08 cores=1,3,5,7
/proc/4028/task/4088/stat : 4088 (java) R 4025 4028 3187 0 -1 4202560 2300 12667 0 0 100 1 5 2 20 0 15 0 6614908 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723392620784 139723896926544 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4089] ppid=4025 vsize=13997884 CPUtime=1.09 cores=1,3,5,7
/proc/4028/task/4089/stat : 4089 (java) S 4025 4028 3187 0 -1 1077944384 4199 12667 0 0 101 1 5 2 20 0 15 0 6614908 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723391567984 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4090] ppid=4025 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4090/stat : 4090 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723390515424 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4091] ppid=4025 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4091/stat : 4091 (java) S 4025 4028 3187 0 -1 1077944384 13 12667 0 0 0 0 5 2 20 0 15 0 6614911 14333833216 60778 18446744073709551615 4194304 4196468 140733122842848 139723389463728 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 13997884

[startup+6.30094 s]
/proc/loadavg: 1.88 1.71 1.72 6/214 4091
/proc/meminfo: memFree=27241148/32770624 swapFree=0/243440
[pid=4028] ppid=4025 vsize=14069564 CPUtime=16.37 cores=1,3,5,7
/proc/4028/stat : 4028 (java) S 4025 4028 3187 0 -1 1077944320 94843 12667 0 0 1605 25 5 2 20 0 15 0 6614881 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 140733122825392 139723919331063 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
/proc/4028/statm: 3517391 98217 3464 1 0 3506013 0
[pid=4028/tid=4078] ppid=4025 vsize=14069564 CPUtime=5.8 cores=1,3,5,7
/proc/4028/task/4078/stat : 4078 (java) S 4025 4028 3187 0 -1 1077944384 49191 12667 0 0 562 11 5 2 20 0 15 0 6614902 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723923568736 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4079] ppid=4025 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/4028/task/4079/stat : 4079 (java) R 4025 4028 3187 0 -1 1077944384 279 12667 0 0 18 1 5 2 20 0 15 0 6614903 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723519748752 139723919341269 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4080] ppid=4025 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/4028/task/4080/stat : 4080 (java) R 4025 4028 3187 0 -1 4202560 164 12667 0 0 13 1 5 2 20 0 15 0 6614903 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723518695952 139723900928080 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4081] ppid=4025 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/4028/task/4081/stat : 4081 (java) R 4025 4028 3187 0 -1 4202560 423 12667 0 0 11 1 5 2 20 0 15 0 6614903 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723517643152 139723904316359 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4082] ppid=4025 vsize=14069564 CPUtime=0.25 cores=1,3,5,7
/proc/4028/task/4082/stat : 4082 (java) R 4025 4028 3187 0 -1 4202560 275 12667 0 0 17 1 5 2 20 0 15 0 6614903 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723516590352 139723904028651 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4083] ppid=4025 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/4028/task/4083/stat : 4083 (java) S 4025 4028 3187 0 -1 1077944384 7507 12667 0 0 7 0 5 2 20 0 15 0 6614904 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723397883184 139723919341269 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4084] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4084/stat : 4084 (java) S 4025 4028 3187 0 -1 1077944384 56 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723396830416 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4085] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4085/stat : 4085 (java) S 4025 4028 3187 0 -1 1077944384 44 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723395777920 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4086] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4086/stat : 4086 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723394726224 139723919349659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4087] ppid=4025 vsize=14069564 CPUtime=3.86 cores=1,3,5,7
/proc/4028/task/4087/stat : 4087 (java) S 4025 4028 3187 0 -1 1077944384 11898 12667 0 0 377 2 5 2 20 0 15 0 6614908 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723393660240 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4088] ppid=4025 vsize=14069564 CPUtime=3.95 cores=1,3,5,7
/proc/4028/task/4088/stat : 4088 (java) R 4025 4028 3187 0 -1 4202560 10858 12667 0 0 386 2 5 2 20 0 15 0 6614908 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723392606808 139723900851123 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4089] ppid=4025 vsize=14069564 CPUtime=2.18 cores=1,3,5,7
/proc/4028/task/4089/stat : 4089 (java) S 4025 4028 3187 0 -1 1077944384 11946 12667 0 0 208 3 5 2 20 0 15 0 6614908 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723391567984 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4090] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4090/stat : 4090 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723390515424 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4091] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4091/stat : 4091 (java) S 4025 4028 3187 0 -1 1077944384 43 12667 0 0 0 0 5 2 20 0 15 0 6614911 14407233536 98217 18446744073709551615 4194304 4196468 140733122842848 139723389463728 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
Current children cumulated CPU time (s) 16.37
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.89 1.71 1.72 3/214 4091
/proc/meminfo: memFree=27006704/32770624 swapFree=0/243448
[pid=4028] ppid=4025 vsize=14069564 CPUtime=25.86 cores=1,3,5,7
/proc/4028/stat : 4028 (java) S 4025 4028 3187 0 -1 1077944320 98863 12667 0 0 2548 31 5 2 20 0 15 0 6614881 14407233536 139876 18446744073709551615 4194304 4196468 140733122842848 140733122825392 139723919331063 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
/proc/4028/statm: 3517391 139876 3476 1 0 3506013 0
[pid=4028/tid=4078] ppid=4025 vsize=14069564 CPUtime=12.05 cores=1,3,5,7
/proc/4028/task/4078/stat : 4078 (java) R 4025 4028 3187 0 -1 4202560 49937 12667 0 0 1183 15 5 2 20 0 15 0 6614902 14407233536 139876 18446744073709551615 4194304 4196468 140733122842848 139723923565304 139723576921455 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4079] ppid=4025 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/4028/task/4079/stat : 4079 (java) S 4025 4028 3187 0 -1 1077944384 334 12667 0 0 25 1 5 2 20 0 15 0 6614903 14407233536 139876 18446744073709551615 4194304 4196468 140733122842848 139723519748752 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4080] ppid=4025 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/4028/task/4080/stat : 4080 (java) S 4025 4028 3187 0 -1 1077944384 207 12667 0 0 20 1 5 2 20 0 15 0 6614903 14407233536 139876 18446744073709551615 4194304 4196468 140733122842848 139723518695952 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4081] ppid=4025 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/4028/task/4081/stat : 4081 (java) S 4025 4028 3187 0 -1 1077944384 1316 12667 0 0 19 1 5 2 20 0 15 0 6614903 14407233536 139876 18446744073709551615 4194304 4196468 140733122842848 139723517643152 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4082] ppid=4025 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/4028/task/4082/stat : 4082 (java) S 4025 4028 3187 0 -1 1077944384 326 12667 0 0 24 1 5 2 20 0 15 0 6614903 14407233536 139876 18446744073709551615 4194304 4196468 140733122842848 139723516590352 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4083] ppid=4025 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/4028/task/4083/stat : 4083 (java) S 4025 4028 3187 0 -1 1077944384 7653 12667 0 0 15 0 5 2 20 0 15 0 6614904 14407233536 139876 18446744073709551615 4194304 4196468 140733122842848 139723397884784 139723919342210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4084] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4084/stat : 4084 (java) S 4025 4028 3187 0 -1 1077944384 58 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 139876 18446744073709551615 4194304 4196468 140733122842848 139723396830816 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4085] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4085/stat : 4085 (java) S 4025 4028 3187 0 -1 1077944384 47 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 139876 18446744073709551615 4194304 4196468 140733122842848 139723395777920 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4086] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4086/stat : 4086 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 139876 18446744073709551615 4194304 4196468 140733122842848 139723394726224 139723919349659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0

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

/proc/4028/task/4083/stat : 4083 (java) S 4025 4028 3187 0 -1 1077944384 8313 12667 0 0 17 0 5 2 20 0 15 0 6614904 14407233536 229336 18446744073709551615 4194304 4196468 140733122842848 139723397884784 139723919342210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4084] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4084/stat : 4084 (java) S 4025 4028 3187 0 -1 1077944384 70 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 229336 18446744073709551615 4194304 4196468 140733122842848 139723396830816 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4085] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4085/stat : 4085 (java) S 4025 4028 3187 0 -1 1077944384 47 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 229336 18446744073709551615 4194304 4196468 140733122842848 139723395777920 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4086] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4086/stat : 4086 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 229336 18446744073709551615 4194304 4196468 140733122842848 139723394726224 139723919349659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4087] ppid=4025 vsize=14069564 CPUtime=5.38 cores=1,3,5,7
/proc/4028/task/4087/stat : 4087 (java) S 4025 4028 3187 0 -1 1077944384 14989 12667 0 0 529 2 5 2 20 0 15 0 6614908 14407233536 229336 18446744073709551615 4194304 4196468 140733122842848 139723393673584 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4088] ppid=4025 vsize=14069564 CPUtime=5.4 cores=1,3,5,7
/proc/4028/task/4088/stat : 4088 (java) S 4025 4028 3187 0 -1 1077944384 13866 12667 0 0 530 3 5 2 20 0 15 0 6614908 14407233536 229336 18446744073709551615 4194304 4196468 140733122842848 139723392620784 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4089] ppid=4025 vsize=14069564 CPUtime=2.5 cores=1,3,5,7
/proc/4028/task/4089/stat : 4089 (java) S 4025 4028 3187 0 -1 1077944384 23958 12667 0 0 240 3 5 2 20 0 15 0 6614908 14407233536 229336 18446744073709551615 4194304 4196468 140733122842848 139723391567984 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4090] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4090/stat : 4090 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 229336 18446744073709551615 4194304 4196468 140733122842848 139723390515424 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4091] ppid=4025 vsize=14069564 CPUtime=0.09 cores=1,3,5,7
/proc/4028/task/4091/stat : 4091 (java) S 4025 4028 3187 0 -1 1077944384 1135 12667 0 0 1 1 5 2 20 0 15 0 6614911 14407233536 229336 18446744073709551615 4194304 4196468 140733122842848 139723389463728 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
Current children cumulated CPU time (s) 65.01
Current children cumulated vsize (KiB) 14069564

[startup+54.4007 s]
/proc/loadavg: 1.85 1.72 1.72 3/214 4091
/proc/meminfo: memFree=26627148/32770624 swapFree=0/243488
[pid=4028] ppid=4025 vsize=14069564 CPUtime=69.53 cores=1,3,5,7
/proc/4028/stat : 4028 (java) S 4025 4028 3187 0 -1 1077944320 130534 12667 0 0 6897 49 5 2 20 0 15 0 6614881 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 140733122825392 139723919331063 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
/proc/4028/statm: 3517391 232038 3483 1 0 3506013 0
[pid=4028/tid=4078] ppid=4025 vsize=14069564 CPUtime=53.65 cores=1,3,5,7
/proc/4028/task/4078/stat : 4078 (java) R 4025 4028 3187 0 -1 4202560 56122 12667 0 0 5337 21 5 2 20 0 15 0 6614902 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723923564896 139723576909383 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4079] ppid=4025 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/4028/task/4079/stat : 4079 (java) S 4025 4028 3187 0 -1 1077944384 883 12667 0 0 30 3 5 2 20 0 15 0 6614903 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723519748752 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4080] ppid=4025 vsize=14069564 CPUtime=0.36 cores=1,3,5,7
/proc/4028/task/4080/stat : 4080 (java) S 4025 4028 3187 0 -1 1077944384 1050 12667 0 0 25 4 5 2 20 0 15 0 6614903 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723518695952 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4081] ppid=4025 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/4028/task/4081/stat : 4081 (java) S 4025 4028 3187 0 -1 1077944384 1814 12667 0 0 24 4 5 2 20 0 15 0 6614903 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723517643152 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4082] ppid=4025 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/4028/task/4082/stat : 4082 (java) S 4025 4028 3187 0 -1 1077944384 445 12667 0 0 30 3 5 2 20 0 15 0 6614903 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723516590352 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4083] ppid=4025 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/4028/task/4083/stat : 4083 (java) S 4025 4028 3187 0 -1 1077944384 8319 12667 0 0 17 0 5 2 20 0 15 0 6614904 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723397884784 139723919342210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4084] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4084/stat : 4084 (java) S 4025 4028 3187 0 -1 1077944384 70 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723396830816 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4085] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4085/stat : 4085 (java) S 4025 4028 3187 0 -1 1077944384 47 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723395777920 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4086] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4086/stat : 4086 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723394726224 139723919349659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4087] ppid=4025 vsize=14069564 CPUtime=6.1 cores=1,3,5,7
/proc/4028/task/4087/stat : 4087 (java) S 4025 4028 3187 0 -1 1077944384 17064 12667 0 0 600 3 5 2 20 0 15 0 6614908 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723393673584 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4088] ppid=4025 vsize=14069564 CPUtime=5.95 cores=1,3,5,7
/proc/4028/task/4088/stat : 4088 (java) S 4025 4028 3187 0 -1 1077944384 17405 12667 0 0 585 3 5 2 20 0 15 0 6614908 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723392620784 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4089] ppid=4025 vsize=14069564 CPUtime=2.52 cores=1,3,5,7
/proc/4028/task/4089/stat : 4089 (java) S 4025 4028 3187 0 -1 1077944384 24021 12667 0 0 242 3 5 2 20 0 15 0 6614908 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723391567984 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4090] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4090/stat : 4090 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723390515424 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4091] ppid=4025 vsize=14069564 CPUtime=0.09 cores=1,3,5,7
/proc/4028/task/4091/stat : 4091 (java) S 4025 4028 3187 0 -1 1077944384 1135 12667 0 0 1 1 5 2 20 0 15 0 6614911 14407233536 232038 18446744073709551615 4194304 4196468 140733122842848 139723389463728 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
Current children cumulated CPU time (s) 69.53
Current children cumulated vsize (KiB) 14069564

[startup+55.2007 s]
/proc/loadavg: 1.86 1.72 1.72 3/214 4091
/proc/meminfo: memFree=26625132/32770624 swapFree=0/243488
[pid=4028] ppid=4025 vsize=14069564 CPUtime=70.34 cores=1,3,5,7
/proc/4028/stat : 4028 (java) S 4025 4028 3187 0 -1 1077944320 130610 12667 0 0 6978 49 5 2 20 0 15 0 6614881 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 140733122825392 139723919331063 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
/proc/4028/statm: 3517391 232039 3483 1 0 3506013 0
[pid=4028/tid=4078] ppid=4025 vsize=14069564 CPUtime=54.45 cores=1,3,5,7
/proc/4028/task/4078/stat : 4078 (java) R 4025 4028 3187 0 -1 4202560 56123 12667 0 0 5417 21 5 2 20 0 15 0 6614902 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723923564896 139723560538355 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4079] ppid=4025 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/4028/task/4079/stat : 4079 (java) S 4025 4028 3187 0 -1 1077944384 883 12667 0 0 30 3 5 2 20 0 15 0 6614903 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723519748752 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4080] ppid=4025 vsize=14069564 CPUtime=0.36 cores=1,3,5,7
/proc/4028/task/4080/stat : 4080 (java) S 4025 4028 3187 0 -1 1077944384 1050 12667 0 0 25 4 5 2 20 0 15 0 6614903 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723518695952 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4081] ppid=4025 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/4028/task/4081/stat : 4081 (java) S 4025 4028 3187 0 -1 1077944384 1814 12667 0 0 24 4 5 2 20 0 15 0 6614903 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723517643152 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4082] ppid=4025 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/4028/task/4082/stat : 4082 (java) S 4025 4028 3187 0 -1 1077944384 445 12667 0 0 30 3 5 2 20 0 15 0 6614903 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723516590352 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4083] ppid=4025 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/4028/task/4083/stat : 4083 (java) S 4025 4028 3187 0 -1 1077944384 8319 12667 0 0 17 0 5 2 20 0 15 0 6614904 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723397884784 139723919342210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4084] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4084/stat : 4084 (java) S 4025 4028 3187 0 -1 1077944384 70 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723396830816 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4085] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4085/stat : 4085 (java) S 4025 4028 3187 0 -1 1077944384 47 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723395777920 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4086] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4086/stat : 4086 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723394726224 139723919349659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4087] ppid=4025 vsize=14069564 CPUtime=6.1 cores=1,3,5,7
/proc/4028/task/4087/stat : 4087 (java) S 4025 4028 3187 0 -1 1077944384 17064 12667 0 0 600 3 5 2 20 0 15 0 6614908 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723393673584 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4088] ppid=4025 vsize=14069564 CPUtime=5.95 cores=1,3,5,7
/proc/4028/task/4088/stat : 4088 (java) S 4025 4028 3187 0 -1 1077944384 17405 12667 0 0 585 3 5 2 20 0 15 0 6614908 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723392620784 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4089] ppid=4025 vsize=14069564 CPUtime=2.53 cores=1,3,5,7
/proc/4028/task/4089/stat : 4089 (java) S 4025 4028 3187 0 -1 1077944384 24096 12667 0 0 243 3 5 2 20 0 15 0 6614908 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723391567984 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4090] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4090/stat : 4090 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723390515424 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4091] ppid=4025 vsize=14069564 CPUtime=0.09 cores=1,3,5,7
/proc/4028/task/4091/stat : 4091 (java) S 4025 4028 3187 0 -1 1077944384 1135 12667 0 0 1 1 5 2 20 0 15 0 6614911 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723389463728 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
Current children cumulated CPU time (s) 70.34
Current children cumulated vsize (KiB) 14069564

[startup+56.0006 s]
/proc/loadavg: 1.86 1.72 1.72 3/214 4091
/proc/meminfo: memFree=26625132/32770624 swapFree=0/243488
[pid=4028] ppid=4025 vsize=14069564 CPUtime=71.16 cores=1,3,5,7
/proc/4028/stat : 4028 (java) S 4025 4028 3187 0 -1 1077944320 130637 12667 0 0 7060 49 5 2 20 0 15 0 6614881 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 140733122825392 139723919331063 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
/proc/4028/statm: 3517391 232039 3483 1 0 3506013 0
[pid=4028/tid=4078] ppid=4025 vsize=14069564 CPUtime=55.25 cores=1,3,5,7
/proc/4028/task/4078/stat : 4078 (java) R 4025 4028 3187 0 -1 4202560 56129 12667 0 0 5497 21 5 2 20 0 15 0 6614902 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723923560416 139723576921565 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4079] ppid=4025 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/4028/task/4079/stat : 4079 (java) S 4025 4028 3187 0 -1 1077944384 883 12667 0 0 30 3 5 2 20 0 15 0 6614903 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723519748752 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4080] ppid=4025 vsize=14069564 CPUtime=0.36 cores=1,3,5,7
/proc/4028/task/4080/stat : 4080 (java) S 4025 4028 3187 0 -1 1077944384 1050 12667 0 0 25 4 5 2 20 0 15 0 6614903 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723518695952 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4081] ppid=4025 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/4028/task/4081/stat : 4081 (java) S 4025 4028 3187 0 -1 1077944384 1814 12667 0 0 24 4 5 2 20 0 15 0 6614903 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723517643152 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4082] ppid=4025 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/4028/task/4082/stat : 4082 (java) S 4025 4028 3187 0 -1 1077944384 445 12667 0 0 30 3 5 2 20 0 15 0 6614903 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723516590352 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4083] ppid=4025 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/4028/task/4083/stat : 4083 (java) S 4025 4028 3187 0 -1 1077944384 8319 12667 0 0 17 0 5 2 20 0 15 0 6614904 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723397884784 139723919342210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4084] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4084/stat : 4084 (java) S 4025 4028 3187 0 -1 1077944384 70 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723396830816 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4085] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4085/stat : 4085 (java) S 4025 4028 3187 0 -1 1077944384 47 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723395777920 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4086] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4086/stat : 4086 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723394726224 139723919349659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4087] ppid=4025 vsize=14069564 CPUtime=6.1 cores=1,3,5,7
/proc/4028/task/4087/stat : 4087 (java) S 4025 4028 3187 0 -1 1077944384 17064 12667 0 0 600 3 5 2 20 0 15 0 6614908 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723393673584 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4088] ppid=4025 vsize=14069564 CPUtime=5.96 cores=1,3,5,7
/proc/4028/task/4088/stat : 4088 (java) S 4025 4028 3187 0 -1 1077944384 17422 12667 0 0 586 3 5 2 20 0 15 0 6614908 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723392620784 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4089] ppid=4025 vsize=14069564 CPUtime=2.54 cores=1,3,5,7
/proc/4028/task/4089/stat : 4089 (java) S 4025 4028 3187 0 -1 1077944384 24100 12667 0 0 244 3 5 2 20 0 15 0 6614908 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723391567984 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4090] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4090/stat : 4090 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723390515424 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4091] ppid=4025 vsize=14069564 CPUtime=0.09 cores=1,3,5,7
/proc/4028/task/4091/stat : 4091 (java) S 4025 4028 3187 0 -1 1077944384 1135 12667 0 0 1 1 5 2 20 0 15 0 6614911 14407233536 232039 18446744073709551615 4194304 4196468 140733122842848 139723389463728 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
Current children cumulated CPU time (s) 71.16
Current children cumulated vsize (KiB) 14069564

[startup+56.4006 s]
/proc/loadavg: 1.86 1.72 1.72 5/214 4091
/proc/meminfo: memFree=26625132/32770624 swapFree=0/243488
[pid=4028] ppid=4025 vsize=14069564 CPUtime=72.22 cores=1,3,5,7
/proc/4028/stat : 4028 (java) S 4025 4028 3187 0 -1 1077944320 131052 12667 0 0 7166 49 5 2 20 0 15 0 6614881 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 140733122825392 139723919331063 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
/proc/4028/statm: 3517391 232066 3483 1 0 3506013 0
[pid=4028/tid=4078] ppid=4025 vsize=14069564 CPUtime=55.65 cores=1,3,5,7
/proc/4028/task/4078/stat : 4078 (java) R 4025 4028 3187 0 -1 4202560 56414 12667 0 0 5537 21 5 2 20 0 15 0 6614902 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723923559648 139723576937832 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4079] ppid=4025 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/4028/task/4079/stat : 4079 (java) S 4025 4028 3187 0 -1 1077944384 883 12667 0 0 30 3 5 2 20 0 15 0 6614903 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723519748752 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4080] ppid=4025 vsize=14069564 CPUtime=0.36 cores=1,3,5,7
/proc/4028/task/4080/stat : 4080 (java) S 4025 4028 3187 0 -1 1077944384 1050 12667 0 0 25 4 5 2 20 0 15 0 6614903 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723518695952 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4081] ppid=4025 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/4028/task/4081/stat : 4081 (java) S 4025 4028 3187 0 -1 1077944384 1814 12667 0 0 24 4 5 2 20 0 15 0 6614903 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723517643152 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4082] ppid=4025 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/4028/task/4082/stat : 4082 (java) S 4025 4028 3187 0 -1 1077944384 445 12667 0 0 30 3 5 2 20 0 15 0 6614903 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723516590352 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4083] ppid=4025 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/4028/task/4083/stat : 4083 (java) S 4025 4028 3187 0 -1 1077944384 8319 12667 0 0 17 0 5 2 20 0 15 0 6614904 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723397884784 139723919342210 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4084] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4084/stat : 4084 (java) S 4025 4028 3187 0 -1 1077944384 70 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723396830816 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4085] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4085/stat : 4085 (java) S 4025 4028 3187 0 -1 1077944384 47 12667 0 0 0 0 5 2 20 0 15 0 6614905 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723395777920 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4086] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4086/stat : 4086 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723394726224 139723919349659 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4087] ppid=4025 vsize=14069564 CPUtime=6.42 cores=1,3,5,7
/proc/4028/task/4087/stat : 4087 (java) R 4025 4028 3187 0 -1 4202560 17084 12667 0 0 632 3 5 2 20 0 15 0 6614908 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723393660400 139723919344972 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4088] ppid=4025 vsize=14069564 CPUtime=6.28 cores=1,3,5,7
/proc/4028/task/4088/stat : 4088 (java) R 4025 4028 3187 0 -1 4202560 17449 12667 0 0 618 3 5 2 20 0 15 0 6614908 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723392601056 139723897348032 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4089] ppid=4025 vsize=14069564 CPUtime=2.57 cores=1,3,5,7
/proc/4028/task/4089/stat : 4089 (java) S 4025 4028 3187 0 -1 1077944384 24183 12667 0 0 247 3 5 2 20 0 15 0 6614908 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723391567984 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4090] ppid=4025 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4028/task/4090/stat : 4090 (java) S 4025 4028 3187 0 -1 1077944384 3 12667 0 0 0 0 5 2 20 0 15 0 6614908 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723390515424 139723919341269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
[pid=4028/tid=4091] ppid=4025 vsize=14069564 CPUtime=0.09 cores=1,3,5,7
/proc/4028/task/4091/stat : 4091 (java) S 4025 4028 3187 0 -1 1077944384 1135 12667 0 0 1 1 5 2 20 0 15 0 6614911 14407233536 232066 18446744073709551615 4194304 4196468 140733122842848 139723389463728 139723919342210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140733122844622 140733122847407 140733122847407 140733122850767 0
Current children cumulated CPU time (s) 72.22
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 56.4881
CPU time (s): 72.4017
CPU user time (s): 71.8653
CPU system time (s): 0.536383
CPU usage (%): 128.172
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.8653
system time used= 0.536383
maximum resident set size= 930204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10621
involuntary context switches= 1533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.278223 second user time and 0.409804 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 05:56:42
IDJOB=4259517
IDBENCH=120649
IDSOLVER=2646
FILE ID=node135/4259517-1501647043
RUNJOBID= node135-1501639717-27967
PBS_JOBID= 
Free space on /tmp= 61812 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-4259517-1501647043/watcher-4259517-1501647043 -o /tmp/evaluation-result-4259517-1501647043/solver-4259517-1501647043 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300  bin/concrete HOME/instance-4259517-1501647043.xml

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

MD5SUM BENCH= a2156ca8d664195666e0b5da895e2590
RANDOM SEED=1998554686

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27576832 kB
MemAvailable:   27845316 kB
Buffers:          122124 kB
Cached:           423856 kB
SwapCached:            0 kB
Active:          4518644 kB
Inactive:         251760 kB
Active(anon):    4225312 kB
Inactive(anon):     8592 kB
Active(file):     293332 kB
Inactive(file):   243168 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24760 kB
Writeback:             4 kB
AnonPages:       4228892 kB
Mapped:            42296 kB
Shmem:              8960 kB
Slab:             121608 kB
SReclaimable:      95636 kB
SUnreclaim:        25972 kB
KernelStack:        3808 kB
PageTables:        12984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4983032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3995648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61788 MiB
End job on node135 at 2017-08-02 05:57:39