Trace number 4247786

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)105 2400.11 2334.53

General information on the benchmark

NameRcpsp/Rcpsp-m1-j120/
Rcpsp-j120-02-05.xml
MD5SUMc642010e55c7dc039ba248b7a99425a6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark103
Best CPU time to get the best result obtained on this benchmark7.73093
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints187
Number of domains2
Minimum domain size1
Maximum domain size697
Distribution of domain sizes[{"size":1,"count":1},{"size":697,"count":121}]
Minimum variable degree3
Maximum variable degree6
Distribution of variable degrees[{"degree":3,"count":40},{"degree":4,"count":47},{"degree":5,"count":31},{"degree":6,"count":4}]
Minimum constraint arity2
Maximum constraint arity32
Distribution of constraint arities[{"arity":2,"count":183},{"arity":26,"count":1},{"arity":30,"count":1},{"arity":32,"count":2}]
Number of extensional constraints0
Number of intensional constraints183
Distribution of constraint types[{"type":"intension","count":183},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

3.79/2.12	c Concrete v3.4 running
11.52/4.47	o 696
11.98/4.54	o 695
11.98/4.59	o 694
12.39/4.63	o 693
12.39/4.66	o 692
12.84/4.71	o 691
12.84/4.75	o 690
12.84/4.79	o 689
13.27/4.82	o 688
13.27/4.84	o 687
13.27/4.86	o 686
13.27/4.87	o 685
13.27/4.89	o 684
13.69/4.90	o 683
13.69/4.91	o 682
13.69/4.93	o 681
13.69/4.94	o 680
13.69/4.95	o 679
13.69/4.96	o 678
13.69/4.98	o 677
13.69/4.99	o 676
14.04/5.00	o 675
14.04/5.01	o 674
14.04/5.02	o 673
14.04/5.03	o 672
14.04/5.04	o 671
14.04/5.06	o 670
14.04/5.07	o 669
14.04/5.08	o 668
14.04/5.09	o 667
14.32/5.10	o 666
14.32/5.11	o 665
14.32/5.12	o 664
14.32/5.13	o 663
14.32/5.14	o 662
14.32/5.15	o 661
14.32/5.16	o 660
14.32/5.17	o 659
14.32/5.19	o 658
14.55/5.20	o 657
14.55/5.21	o 656
14.55/5.22	o 655
14.55/5.23	o 654
14.55/5.24	o 653
14.55/5.25	o 652
14.55/5.26	o 651
14.55/5.27	o 650
14.55/5.28	o 649
14.55/5.29	o 648
14.80/5.30	o 647
14.80/5.31	o 646
14.80/5.32	o 645
14.80/5.33	o 644
14.80/5.34	o 643
14.80/5.35	o 642
14.80/5.36	o 641
14.80/5.37	o 640
14.80/5.38	o 639
14.80/5.38	o 638
14.80/5.39	o 637
15.17/5.40	o 636
15.17/5.41	o 635
15.17/5.42	o 634
15.17/5.45	o 633
15.17/5.47	o 632
15.17/5.49	o 631
15.62/5.51	o 630
15.62/5.54	o 629
15.62/5.56	o 628
15.62/5.59	o 627
16.04/5.61	o 626
16.04/5.63	o 625
16.04/5.66	o 624
16.04/5.68	o 623
16.39/5.71	o 622
16.39/5.73	o 621
16.39/5.76	o 620
16.39/5.77	o 619
16.39/5.78	o 618
16.39/5.78	o 617
16.39/5.79	o 616
16.71/5.80	o 615
16.71/5.81	o 614
16.71/5.82	o 613
16.71/5.83	o 612
16.71/5.84	o 611
16.71/5.84	o 610
16.71/5.85	o 609
16.71/5.86	o 608
16.71/5.87	o 607
16.71/5.88	o 606
16.71/5.89	o 605
17.12/5.90	o 604
17.12/5.91	o 603
17.12/5.91	o 602
17.12/5.92	o 601
17.12/5.93	o 600
17.12/5.94	o 599
17.12/5.94	o 598
17.12/5.95	o 597
17.12/5.96	o 596
17.12/5.97	o 595
17.12/5.98	o 594
17.12/5.99	o 593
17.12/5.99	o 592
17.44/6.00	o 591
17.44/6.01	o 590
17.44/6.01	o 589
17.44/6.02	o 588
17.44/6.03	o 587
17.44/6.04	o 586
17.44/6.04	o 585
17.44/6.05	o 584
17.44/6.06	o 583
17.44/6.06	o 582
17.44/6.07	o 581
17.44/6.08	o 580
17.44/6.09	o 579
17.44/6.09	o 578
17.55/6.10	o 577
17.55/6.11	o 576
17.55/6.12	o 575
17.55/6.12	o 574
17.55/6.13	o 573
17.55/6.14	o 572
17.55/6.14	o 571
17.55/6.15	o 570
17.55/6.16	o 569
17.55/6.17	o 568
17.55/6.18	o 567
17.55/6.18	o 566
17.55/6.19	o 565
17.71/6.21	o 564
17.71/6.22	o 563
17.71/6.22	o 562
17.71/6.23	o 561
17.71/6.24	o 560
17.71/6.24	o 559
17.71/6.25	o 558
17.71/6.26	o 557
17.71/6.26	o 556
17.71/6.27	o 555
17.71/6.28	o 554
17.71/6.28	o 553
17.71/6.29	o 552
17.83/6.30	o 551
17.83/6.31	o 550
17.83/6.31	o 549
17.83/6.32	o 548
17.83/6.33	o 547
17.83/6.33	o 546
17.83/6.34	o 545
17.83/6.35	o 544
17.83/6.36	o 543
17.83/6.36	o 542
17.83/6.37	o 541
17.83/6.38	o 540
17.83/6.38	o 539
17.83/6.39	o 538
17.99/6.40	o 537
17.99/6.41	o 536
17.99/6.41	o 535
17.99/6.42	o 534
17.99/6.43	o 533
17.99/6.44	o 532
17.99/6.45	o 531
17.99/6.45	o 530
17.99/6.46	o 529
17.99/6.47	o 528
17.99/6.48	o 527
17.99/6.49	o 526
17.99/6.49	o 525
18.23/6.50	o 524
18.23/6.51	o 523
18.23/6.51	o 522
18.23/6.52	o 521
18.23/6.53	o 520
18.23/6.54	o 519
18.23/6.54	o 518
18.23/6.55	o 517
18.23/6.56	o 516
18.23/6.57	o 515
18.23/6.57	o 514
18.23/6.58	o 513
18.23/6.59	o 512
18.23/6.59	o 511
18.23/6.60	o 510
18.38/6.61	o 509
18.38/6.62	o 508
18.38/6.63	o 507
18.38/6.64	o 506
18.38/6.64	o 505
18.38/6.65	o 504
18.38/6.66	o 503
18.38/6.66	o 502
18.38/6.67	o 501
18.38/6.68	o 500
18.38/6.69	o 499
18.38/6.69	o 498
18.38/6.70	o 497
18.50/6.71	o 496
18.50/6.71	o 495
18.50/6.72	o 494
18.50/6.73	o 493
18.50/6.74	o 492
18.50/6.74	o 491
18.50/6.75	o 490
18.50/6.76	o 489
18.50/6.76	o 488
18.50/6.77	o 487
18.50/6.78	o 486
18.50/6.78	o 485
18.50/6.79	o 484
18.59/6.80	o 483
18.59/6.81	o 482
18.59/6.81	o 481
18.59/6.82	o 480
18.59/6.83	o 479
18.59/6.83	o 478
18.59/6.84	o 477
18.59/6.85	o 476
18.59/6.85	o 475
18.59/6.86	o 474
18.59/6.87	o 473
18.59/6.88	o 472
18.59/6.88	o 471
18.59/6.89	o 470
18.59/6.90	o 469
18.70/6.90	o 468
18.70/6.91	o 467
18.70/6.92	o 466
18.70/6.92	o 465
18.70/6.93	o 464
18.70/6.94	o 463
18.70/6.95	o 462
18.70/6.95	o 461
18.70/6.96	o 460
18.70/6.97	o 459
18.70/6.97	o 458
18.70/6.98	o 457
18.70/6.99	o 456
18.70/7.00	o 455
18.81/7.00	o 454
18.81/7.01	o 453
18.81/7.02	o 452
18.81/7.03	o 451
18.81/7.04	o 450
18.81/7.04	o 449
18.81/7.05	o 448
18.81/7.06	o 447
18.81/7.06	o 446
18.81/7.07	o 445
18.81/7.08	o 444
18.81/7.09	o 443
18.81/7.09	o 442
18.93/7.10	o 441
18.93/7.11	o 440
18.93/7.11	o 439
18.93/7.12	o 438
18.93/7.13	o 437
18.93/7.13	o 436
18.93/7.14	o 435
18.93/7.15	o 434
18.93/7.16	o 433
18.93/7.16	o 432
18.93/7.17	o 431
18.93/7.18	o 430
18.93/7.18	o 429
18.93/7.19	o 428
19.04/7.20	o 427
19.04/7.20	o 426
19.04/7.21	o 425
19.04/7.22	o 424
19.04/7.22	o 423
19.04/7.23	o 422
19.04/7.24	o 421
19.04/7.24	o 420
19.04/7.25	o 419
19.04/7.26	o 418
19.04/7.26	o 417
19.04/7.27	o 416
19.04/7.27	o 415
19.04/7.28	o 414
19.04/7.29	o 413
19.04/7.29	o 412
19.14/7.30	o 411
19.14/7.31	o 410
19.14/7.31	o 409
19.14/7.32	o 408
19.14/7.33	o 407
19.14/7.33	o 406
19.14/7.34	o 405
19.14/7.35	o 404
19.14/7.35	o 403
19.14/7.36	o 402
19.14/7.37	o 401
19.14/7.37	o 400
19.14/7.38	o 399
19.14/7.39	o 398
19.14/7.39	o 397
19.25/7.40	o 396
19.25/7.40	o 395
19.25/7.41	o 394
19.25/7.42	o 393
19.25/7.43	o 392
19.25/7.43	o 391
19.25/7.44	o 390
19.25/7.45	o 389
19.25/7.45	o 388
19.25/7.46	o 387
19.25/7.47	o 386
19.25/7.48	o 385
19.25/7.48	o 384
19.25/7.49	o 383
19.35/7.50	o 382
19.35/7.51	o 381
19.35/7.51	o 380
19.35/7.53	o 379
19.35/7.53	o 378
19.35/7.54	o 377
19.35/7.55	o 376
19.35/7.55	o 375
19.35/7.56	o 374
19.35/7.57	o 373
19.35/7.57	o 372
19.35/7.58	o 371
19.35/7.59	o 370
19.35/7.59	o 369
19.46/7.60	o 368
19.46/7.61	o 367
19.46/7.61	o 366
19.46/7.62	o 365
19.46/7.63	o 364
19.46/7.63	o 363
19.46/7.64	o 362
19.46/7.64	o 361
19.46/7.65	o 360
19.46/7.66	o 359
19.46/7.67	o 358
19.46/7.67	o 357
19.46/7.68	o 356
19.46/7.69	o 355
19.46/7.69	o 354
19.46/7.70	o 353
19.57/7.71	o 352
19.57/7.71	o 351
19.57/7.72	o 350
19.57/7.73	o 349
19.57/7.73	o 348
19.57/7.74	o 347
19.57/7.75	o 346
19.57/7.75	o 345
19.57/7.76	o 344
19.57/7.77	o 343
19.57/7.77	o 342
19.57/7.78	o 341
19.57/7.79	o 340
19.57/7.79	o 339
19.57/7.80	o 338
19.68/7.81	o 337
19.68/7.81	o 336
19.68/7.82	o 335
19.68/7.83	o 334
19.68/7.83	o 333
19.68/7.84	o 332
19.68/7.85	o 331
19.68/7.85	o 330
19.68/7.86	o 329
19.68/7.87	o 328
19.68/7.87	o 327
19.68/7.88	o 326
19.68/7.89	o 325
19.68/7.89	o 324
19.78/7.90	o 323
19.78/7.91	o 322
19.78/7.92	o 321
19.78/7.92	o 320
19.78/7.93	o 319
19.78/7.94	o 318
19.78/7.94	o 317
19.78/7.95	o 316
19.78/7.96	o 315
19.78/7.97	o 314
19.78/7.97	o 313
19.78/7.98	o 312
19.78/7.99	o 311
19.78/7.99	o 310
19.89/8.00	o 309
19.89/8.01	o 308
19.89/8.02	o 307
19.89/8.03	o 306
19.89/8.03	o 305
19.89/8.04	o 304
19.89/8.05	o 303
19.89/8.05	o 302
19.89/8.06	o 301
19.89/8.07	o 300
19.89/8.07	o 299
19.89/8.08	o 298
19.89/8.09	o 297
19.89/8.09	o 296
20.00/8.10	o 295
20.00/8.11	o 294
20.00/8.11	o 293
20.00/8.12	o 292
20.00/8.13	o 291
20.00/8.13	o 290
20.00/8.14	o 289
20.00/8.15	o 288
20.00/8.16	o 287
20.00/8.16	o 286
20.00/8.17	o 285
20.00/8.18	o 284
20.00/8.18	o 283
20.00/8.19	o 282
20.00/8.20	o 281
20.12/8.20	o 280
20.12/8.21	o 279
20.12/8.22	o 278
20.12/8.22	o 277
20.12/8.23	o 276
20.12/8.24	o 275
20.12/8.25	o 274
20.12/8.25	o 273
20.12/8.26	o 272
20.12/8.27	o 271
20.12/8.27	o 270
20.12/8.28	o 269
20.12/8.29	o 268
20.12/8.29	o 267
20.28/8.30	o 266
20.28/8.31	o 265
20.28/8.31	o 264
20.28/8.32	o 263
20.28/8.33	o 262
20.28/8.33	o 261
20.28/8.34	o 260
20.28/8.35	o 259
20.28/8.35	o 258
20.28/8.36	o 257
20.28/8.37	o 256
20.28/8.37	o 255
20.28/8.38	o 254
20.28/8.38	o 253
20.28/8.39	o 252
20.37/8.40	o 251
20.37/8.41	o 250
20.37/8.41	o 249
20.37/8.42	o 248
20.37/8.42	o 247
20.37/8.43	o 246
20.37/8.44	o 245
20.37/8.45	o 244
20.37/8.45	o 243
20.37/8.46	o 242
20.37/8.47	o 241
20.37/8.47	o 240
20.37/8.48	o 239
20.37/8.49	o 238
20.37/8.50	o 237
20.51/8.50	o 236
20.51/8.51	o 235
20.51/8.52	o 234
20.51/8.53	o 233
20.51/8.53	o 232
20.51/8.54	o 231
20.51/8.55	o 230
20.51/8.56	o 229
20.51/8.56	o 228
20.51/8.57	o 227
20.51/8.58	o 226
20.51/8.59	o 225
20.51/8.60	o 224
20.65/8.60	o 223
20.65/8.61	o 222
20.65/8.62	o 221
20.65/8.62	o 220
20.65/8.63	o 219
20.65/8.64	o 218
20.65/8.64	o 217
20.65/8.65	o 216
20.65/8.65	o 215
20.65/8.66	o 214
20.65/8.67	o 213
20.65/8.67	o 212
20.65/8.68	o 211
20.65/8.69	o 210
20.65/8.69	o 209
20.76/8.70	o 208
20.76/8.71	o 207
20.76/8.71	o 206
20.76/8.72	o 205
20.76/8.73	o 204
20.76/8.73	o 203
20.76/8.74	o 202
20.76/8.75	o 201
20.76/8.75	o 200
20.76/8.76	o 199
20.76/8.77	o 198
20.76/8.77	o 197
20.76/8.78	o 196
20.76/8.79	o 195
20.76/8.79	o 194
20.76/8.80	o 193
20.76/8.81	o 192
20.94/8.81	o 191
20.94/8.82	o 190
20.94/8.83	o 189
20.94/8.84	o 188
20.94/8.84	o 187
20.94/8.85	o 186
20.94/8.86	o 185
20.94/8.86	o 184
20.94/8.87	o 183
20.94/8.88	o 182
20.94/8.88	o 181
20.94/8.89	o 180
20.94/8.90	o 179
20.94/8.90	o 178
21.15/8.91	o 177
21.15/8.92	o 176
21.15/8.93	o 175
21.15/8.93	o 174
21.15/8.94	o 173
21.15/8.95	o 172
21.15/8.95	o 171
21.15/8.96	o 170
21.15/8.97	o 169
21.15/8.97	o 168
21.15/8.98	o 167
21.15/8.99	o 166
21.15/8.99	o 165
21.27/9.00	o 164
21.27/9.01	o 163
21.27/9.02	o 162
21.27/9.02	o 161
21.27/9.03	o 160
21.27/9.04	o 159
21.27/9.04	o 158
21.27/9.05	o 157
21.27/9.05	o 156
21.27/9.06	o 155
21.27/9.07	o 154
21.27/9.07	o 153
21.27/9.08	o 152
21.27/9.09	o 151
21.27/9.10	o 150
21.39/9.10	o 149
21.39/9.11	o 148
21.39/9.12	o 147
21.39/9.12	o 146
21.39/9.13	o 145
21.39/9.14	o 144
21.39/9.14	o 143
21.39/9.15	o 142
21.39/9.16	o 141
21.39/9.17	o 140
21.39/9.17	o 139
21.39/9.18	o 138
21.39/9.19	o 137
21.39/9.20	o 136
21.48/9.21	o 135
21.48/9.22	o 134
21.48/9.22	o 133
21.48/9.23	o 132
21.48/9.24	o 131
21.48/9.24	o 130
21.48/9.25	o 129
21.48/9.26	o 128
21.48/9.26	o 127
21.48/9.27	o 126
21.48/9.28	o 125
21.48/9.28	o 124
21.48/9.29	o 123
21.60/9.30	o 122
21.60/9.30	o 121
21.60/9.31	o 120
21.60/9.32	o 119
21.60/9.35	o 118
21.60/9.36	o 117
21.60/9.36	o 116
21.60/9.37	o 115
21.60/9.39	o 114
21.60/9.39	o 113
21.80/9.43	o 112
21.80/9.44	o 111
21.80/9.46	o 110
21.94/9.59	o 109
22.52/9.97	o 108
24.23/11.40	o 107
24.23/11.50	o 106
24.54/11.71	o 105
2400.06/2334.51	java.util.concurrent.TimeoutException
2400.06/2334.51		at concrete.MAC.mac(MAC.scala:74)
2400.06/2334.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.06/2334.51		at scala.util.Try$.apply(Try.scala:209)
2400.06/2334.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.06/2334.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.06/2334.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.06/2334.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.06/2334.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.06/2334.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.06/2334.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.06/2334.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.06/2334.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.06/2334.51		at concrete.MAC.oneRun(MAC.scala:146)
2400.06/2334.51		at concrete.MAC.nextSolution(MAC.scala:166)
2400.06/2334.51		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.06/2334.51		at concrete.ProblemState.map(ProblemState.scala:203)
2400.06/2334.51		at concrete.ProblemState.map(ProblemState.scala:188)
2400.06/2334.51		at concrete.MAC.nextSolution(MAC.scala:195)
2400.06/2334.51		at concrete.Solver.hasNext(Solver.scala:202)
2400.06/2334.51		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.06/2334.51		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.06/2334.51		at concrete.Solver.toStream(Solver.scala:73)
2400.06/2334.51		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.06/2334.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.06/2334.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.06/2334.51		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.06/2334.51		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.06/2334.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.06/2334.51		at scala.util.Success.map(Try.scala:209)
2400.06/2334.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.06/2334.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.06/2334.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.06/2334.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.06/2334.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.06/2334.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.06/2334.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.06/2334.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.06/2334.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.06/2334.51		at scala.collection.immutable.List.foreach(List.scala:389)
2400.06/2334.51		at scala.App.main(App.scala:76)
2400.06/2334.51		at scala.App.main$(App.scala:74)
2400.06/2334.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.06/2334.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.06/2334.52	v <instantiation cost="105">
2400.06/2334.52	v       <list>
2400.06/2334.52	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[100] s[101] s[102] s[103] s[104] s[105] s[106] s[107] s[108] s[109] s[110] s[111] s[112] s[113] s[114] s[115] s[116] s[117] s[118] s[119] s[120] s[121]
2400.06/2334.52	v       </list>
2400.06/2334.52	v       <values>
2400.06/2334.52	v         0 0 0 0 22 8 19 24 18 3 18 29 2 8 37 16 40 35 33 43 17 42 15 24 24 20 64 25 28 36 15 20 44 47 26 46 72 20 43 65 42 46 19 53 51 36 29 35 55 21 52 20 7 57 86 35 27 52 22 48 26 27 26 56 52 59 42 75 48 62 30 90 50 35 33 68 69 88 82 67 35 40 61 73 89 76 52 55 57 92 66 85 72 43 91 67 44 70 56 65 72 73 74 64 96 65 77 54 75 77 67 91 83 84 101 85 81 90 103 97 95 105
2400.06/2334.52	v       </values>
2400.06/2334.52	v     </instantiation>
2400.06/2334.52	s SATISFIABLE

Verifier Data 

OK	105

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-4247786-1500738511/watcher-4247786-1500738511 -o /tmp/evaluation-result-4247786-1500738511/solver-4247786-1500738511 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23066 --watchdog 2560 bin/concrete HOME/instance-4247786-1500738511.xml 

pid=28432
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 1.38 1.40 1.55 3/261 28435
/proc/meminfo: memFree=30972736/32770624 swapFree=5756/318780
[pid=28435] ppid=28432 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (bash) S 28432 28435 23034 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 9116454 9736192 351 33554432000 4194304 5098028 140732985894160 140732985891800 140074877598720 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 16760832 140732985898254 140732985898339 140732985898339 140732985901038 0
/proc/28435/statm: 2377 351 278 221 0 86 0

[startup+0.10013 s]
/proc/loadavg: 1.38 1.40 1.55 3/261 28435
/proc/meminfo: memFree=30972736/32770624 swapFree=5756/318780
[pid=28435] ppid=28432 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (bash) S 28432 28435 23034 0 -1 4202496 884 6412 0 0 0 0 0 1 20 0 1 0 9116454 9871360 378 33554432000 4194304 5098028 140732985894160 140732985888168 140074877598720 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 16760832 140732985898254 140732985898339 140732985898339 140732985901038 0
/proc/28435/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200368 s]
/proc/loadavg: 1.38 1.40 1.55 3/261 28435
/proc/meminfo: memFree=30972736/32770624 swapFree=5756/318780
[pid=28435] ppid=28432 vsize=10435860 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (java) S 28432 28435 23034 0 -1 1077944320 4747 12278 0 0 5 0 8 4 20 0 13 0 9116454 10686320640 5091 33554432000 4194304 4196468 140731050762480 140731050745024 140343092944631 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
/proc/28435/statm: 2608965 5091 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860

[startup+0.300226 s]
/proc/loadavg: 1.38 1.40 1.55 3/261 28435
/proc/meminfo: memFree=30972736/32770624 swapFree=5756/318780
[pid=28435] ppid=28432 vsize=10902392 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (java) S 28432 28435 23034 0 -1 1077944320 7976 12278 0 0 21 1 8 4 20 0 20 0 9116454 11164049408 9648 33554432000 4194304 4196468 140731050762480 140731050745024 140343092944631 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
/proc/28435/statm: 2725598 9648 2981 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902392

[startup+0.700183 s]
/proc/loadavg: 1.38 1.40 1.55 3/261 28435
/proc/meminfo: memFree=30972736/32770624 swapFree=5756/318780
[pid=28435] ppid=28432 vsize=10902720 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (java) S 28432 28435 23034 0 -1 1077944320 12917 12278 0 0 80 3 8 4 20 0 20 0 9116454 11164385280 16260 33554432000 4194304 4196468 140731050762480 140731050745024 140343092944631 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
/proc/28435/statm: 2725680 16260 3220 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720

[startup+1.50112 s]
/proc/loadavg: 1.38 1.40 1.55 3/281 28508
/proc/meminfo: memFree=30864676/32770624 swapFree=5756/318780
[pid=28435] ppid=28432 vsize=10915392 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (java) S 28432 28435 23034 0 -1 1077944320 26986 12278 0 0 202 15 8 4 20 0 20 0 9116454 11177361408 44593 33554432000 4194304 4196468 140731050762480 140731050745024 140343092944631 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
/proc/28435/statm: 2728848 44593 3408 1 0 2716962 0
[pid=28435/tid=28490] ppid=28432 vsize=10915392 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28490/stat : 28490 (java) R 28432 28435 23034 0 -1 4202560 19119 12278 0 0 124 5 8 4 20 0 20 0 9116469 11177361408 44593 33554432000 4194304 4196468 140731050762480 140343097171088 140343092956566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28491] ppid=28432 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28491/stat : 28491 (java) S 28432 28435 23034 0 -1 1077944384 30 12278 0 0 0 0 8 4 20 0 20 0 9116470 11177361408 44593 33554432000 4194304 4196468 140731050762480 140343029635856 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28492] ppid=28432 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28492/stat : 28492 (java) S 28432 28435 23034 0 -1 1077944384 52 12278 0 0 1 0 8 4 20 0 20 0 9116470 11177361408 44593 33554432000 4194304 4196468 140731050762480 140343028583312 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28493] ppid=28432 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28493/stat : 28493 (java) S 28432 28435 23034 0 -1 1077944384 18 12278 0 0 1 0 8 4 20 0 20 0 9116470 11177361408 44593 33554432000 4194304 4196468 140731050762480 140343027530768 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28494] ppid=28432 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28494/stat : 28494 (java) S 28432 28435 23034 0 -1 1077944384 128 12278 0 0 0 0 8 4 20 0 20 0 9116470 11177361408 44593 33554432000 4194304 4196468 140731050762480 140343026478224 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28495] ppid=28432 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28495/stat : 28495 (java) S 28432 28435 23034 0 -1 1077944384 20 12278 0 0 1 0 8 4 20 0 20 0 9116470 11177361408 44593 33554432000 4194304 4196468 140731050762480 140343025424656 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28496] ppid=28432 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28496/stat : 28496 (java) S 28432 28435 23034 0 -1 1077944384 14 12278 0 0 0 0 8 4 20 0 20 0 9116470 11177361408 44593 33554432000 4194304 4196468 140731050762480 140343024372112 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28497] ppid=28432 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28497/stat : 28497 (java) S 28432 28435 23034 0 -1 1077944384 27 12278 0 0 0 0 8 4 20 0 20 0 9116470 11177361408 44593 33554432000 4194304 4196468 140731050762480 140342693063184 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28498] ppid=28432 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28498/stat : 28498 (java) S 28432 28435 23034 0 -1 1077944384 14 12278 0 0 0 0 8 4 20 0 20 0 9116470 11177361408 44593 33554432000 4194304 4196468 140731050762480 140342692010640 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28499] ppid=28432 vsize=10915392 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28499/stat : 28499 (java) S 28432 28435 23034 0 -1 1077944384 1251 12278 0 0 1 0 8 4 20 0 20 0 9116472 11177361408 44593 33554432000 4194304 4196468 140731050762480 140341910112752 140343092955778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28500] ppid=28432 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28500/stat : 28500 (java) S 28432 28435 23034 0 -1 1077944384 55 12278 0 0 0 0 8 4 20 0 20 0 9116472 11177361408 44593 33554432000 4194304 4196468 140731050762480 140341909059040 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28501] ppid=28432 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28501/stat : 28501 (java) S 28432 28435 23034 0 -1 1077944384 44 12278 0 0 0 0 8 4 20 0 20 0 9116473 11177361408 44593 33554432000 4194304 4196468 140731050762480 140341908006400 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28502] ppid=28432 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28502/stat : 28502 (java) S 28432 28435 23034 0 -1 1077944384 1 12278 0 0 0 0 8 4 20 0 20 0 9116476 11177361408 44593 33554432000 4194304 4196468 140731050762480 140341906954960 140343092963227 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28503] ppid=28432 vsize=10915392 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28503/stat : 28503 (java) S 28432 28435 23034 0 -1 1077944384 1467 12278 0 0 16 0 8 4 20 0 20 0 9116476 11177361408 44593 33554432000 4194304 4196468 140731050762480 140341905901552 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28504] ppid=28432 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28504/stat : 28504 (java) S 28432 28435 23034 0 -1 1077944384 451 12278 0 0 12 0 8 4 20 0 20 0 9116476 11177361408 44593 33554432000 4194304 4196468 140731050762480 140341904849008 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28505] ppid=28432 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28505/stat : 28505 (java) R 28432 28435 23034 0 -1 4202560 718 12278 0 0 10 0 8 4 20 0 20 0 9116476 11177361408 44593 33554432000 4194304 4196468 140731050762480 140341903786144 140343077341448 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28506] ppid=28432 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28506/stat : 28506 (java) S 28432 28435 23034 0 -1 1077944384 1438 12278 0 0 27 0 8 4 20 0 20 0 9116476 11177361408 44593 33554432000 4194304 4196468 140731050762480 140341902743920 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28507] ppid=28432 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28507/stat : 28507 (java) S 28432 28435 23034 0 -1 1077944384 3 12278 0 0 0 0 8 4 20 0 20 0 9116476 11177361408 44593 33554432000 4194304 4196468 140731050762480 140341901691616 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28508] ppid=28432 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28508/stat : 28508 (java) S 28432 28435 23034 0 -1 1077944384 3 12278 0 0 0 0 8 4 20 0 20 0 9116477 11177361408 44593 33554432000 4194304 4196468 140731050762480 140341900639152 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10915392

[startup+3.10107 s]
/proc/loadavg: 1.38 1.40 1.55 5/281 28508
/proc/meminfo: memFree=30792140/32770624 swapFree=5756/318812
[pid=28435] ppid=28432 vsize=10925820 CPUtime=6.83 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (java) S 28432 28435 23034 0 -1 1077944320 39682 12278 0 0 650 21 8 4 20 0 20 0 9116454 11188039680 56748 33554432000 4194304 4196468 140731050762480 140731050745024 140343092944631 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
/proc/28435/statm: 2731455 56748 3473 1 0 2719010 0
[pid=28435/tid=28490] ppid=28432 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28490/stat : 28490 (java) R 28432 28435 23034 0 -1 4202560 24669 12278 0 0 281 8 8 4 20 0 20 0 9116469 11188039680 56748 33554432000 4194304 4196468 140731050762480 140343097178664 140342703718643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28491] ppid=28432 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28491/stat : 28491 (java) S 28432 28435 23034 0 -1 1077944384 30 12278 0 0 0 0 8 4 20 0 20 0 9116470 11188039680 56748 33554432000 4194304 4196468 140731050762480 140343029635856 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28492] ppid=28432 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28492/stat : 28492 (java) S 28432 28435 23034 0 -1 1077944384 52 12278 0 0 1 0 8 4 20 0 20 0 9116470 11188039680 56748 33554432000 4194304 4196468 140731050762480 140343028583312 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28493] ppid=28432 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28493/stat : 28493 (java) S 28432 28435 23034 0 -1 1077944384 18 12278 0 0 1 0 8 4 20 0 20 0 9116470 11188039680 56748 33554432000 4194304 4196468 140731050762480 140343027530768 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28494] ppid=28432 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28494/stat : 28494 (java) S 28432 28435 23034 0 -1 1077944384 128 12278 0 0 0 0 8 4 20 0 20 0 9116470 11188039680 56748 33554432000 4194304 4196468 140731050762480 140343026478224 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28495] ppid=28432 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28495/stat : 28495 (java) S 28432 28435 23034 0 -1 1077944384 20 12278 0 0 1 0 8 4 20 0 20 0 9116470 11188039680 56748 33554432000 4194304 4196468 140731050762480 140343025424656 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28496] ppid=28432 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28496/stat : 28496 (java) S 28432 28435 23034 0 -1 1077944384 14 12278 0 0 0 0 8 4 20 0 20 0 9116470 11188039680 56748 33554432000 4194304 4196468 140731050762480 140343024372112 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28497] ppid=28432 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28497/stat : 28497 (java) S 28432 28435 23034 0 -1 1077944384 27 12278 0 0 0 0 8 4 20 0 20 0 9116470 11188039680 56748 33554432000 4194304 4196468 140731050762480 140342693063184 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28498] ppid=28432 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28498/stat : 28498 (java) S 28432 28435 23034 0 -1 1077944384 14 12278 0 0 0 0 8 4 20 0 20 0 9116470 11188039680 56748 33554432000 4194304 4196468 140731050762480 140342692010640 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28499] ppid=28432 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28499/stat : 28499 (java) S 28432 28435 23034 0 -1 1077944384 1270 12278 0 0 1 0 8 4 20 0 20 0 9116472 11188039680 56748 33554432000 4194304 4196468 140731050762480 140341910112752 140343092955778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28500] ppid=28432 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28500/stat : 28500 (java) S 28432 28435 23034 0 -1 1077944384 55 12278 0 0 0 0 8 4 20 0 20 0 9116472 11188039680 56748 33554432000 4194304 4196468 140731050762480 140341909059040 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28501] ppid=28432 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28501/stat : 28501 (java) S 28432 28435 23034 0 -1 1077944384 44 12278 0 0 0 0 8 4 20 0 20 0 9116473 11188039680 56748 33554432000 4194304 4196468 140731050762480 140341908006400 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28502] ppid=28432 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28502/stat : 28502 (java) S 28432 28435 23034 0 -1 1077944384 1 12278 0 0 0 0 8 4 20 0 20 0 9116476 11188039680 56748 33554432000 4194304 4196468 140731050762480 140341906954960 140343092963227 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28503] ppid=28432 vsize=10925820 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28503/stat : 28503 (java) R 28432 28435 23034 0 -1 4202560 2480 12278 0 0 70 1 8 4 20 0 20 0 9116476 11188039680 56748 33554432000 4194304 4196468 140731050762480 140341905887576 140343074492035 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28504] ppid=28432 vsize=10925820 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28504/stat : 28504 (java) R 28432 28435 23034 0 -1 4202560 1618 12278 0 0 74 1 8 4 20 0 20 0 9116476 11188039680 56748 33554432000 4194304 4196468 140731050762480 140341904829616 140343073115361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28505] ppid=28432 vsize=10925820 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28505/stat : 28505 (java) R 28432 28435 23034 0 -1 4202560 3369 12278 0 0 94 1 8 4 20 0 20 0 9116476 11188039680 56748 33554432000 4194304 4196468 140731050762480 140341903781232 140343086044331 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28506] ppid=28432 vsize=10925820 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28506/stat : 28506 (java) S 28432 28435 23034 0 -1 1077944384 3733 12278 0 0 118 1 8 4 20 0 20 0 9116476 11188039680 56748 33554432000 4194304 4196468 140731050762480 140341902743920 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28507] ppid=28432 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28507/stat : 28507 (java) S 28432 28435 23034 0 -1 1077944384 3 12278 0 0 0 0 8 4 20 0 20 0 9116476 11188039680 56748 33554432000 4194304 4196468 140731050762480 140341901691616 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28508] ppid=28432 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28508/stat : 28508 (java) S 28432 28435 23034 0 -1 1077944384 4 12278 0 0 0 0 8 4 20 0 20 0 9116477 11188039680 56748 33554432000 4194304 4196468 140731050762480 140341900639152 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 10925820

[startup+6.30091 s]
/proc/loadavg: 1.43 1.41 1.56 6/281 28508
/proc/meminfo: memFree=30607552/32770624 swapFree=5756/318808
[pid=28435] ppid=28432 vsize=10997500 CPUtime=17.83 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (java) S 28432 28435 23034 0 -1 1077944320 82698 12278 0 0 1737 34 8 4 20 0 20 0 9116454 11261440000 98571 33554432000 4194304 4196468 140731050762480 140731050745024 140343092944631 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
/proc/28435/statm: 2749375 98571 3507 1 0 2736930 0
[pid=28435/tid=28490] ppid=28432 vsize=10997500 CPUtime=5.88 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28490/stat : 28490 (java) R 28432 28435 23034 0 -1 4202560 42909 12278 0 0 565 11 8 4 20 0 20 0 9116469 11261440000 98571 33554432000 4194304 4196468 140731050762480 140343097173248 140342718514006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28491] ppid=28432 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28491/stat : 28491 (java) S 28432 28435 23034 0 -1 1077944384 62 12278 0 0 12 1 8 4 20 0 20 0 9116470 11261440000 98571 33554432000 4194304 4196468 140731050762480 140343029635856 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28492] ppid=28432 vsize=10997500 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28492/stat : 28492 (java) S 28432 28435 23034 0 -1 1077944384 78 12278 0 0 18 0 8 4 20 0 20 0 9116470 11261440000 98571 33554432000 4194304 4196468 140731050762480 140343028583312 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28493] ppid=28432 vsize=10997500 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28493/stat : 28493 (java) S 28432 28435 23034 0 -1 1077944384 72 12278 0 0 17 1 8 4 20 0 20 0 9116470 11261440000 98571 33554432000 4194304 4196468 140731050762480 140343027530768 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28494] ppid=28432 vsize=10997500 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28494/stat : 28494 (java) S 28432 28435 23034 0 -1 1077944384 161 12278 0 0 16 1 8 4 20 0 20 0 9116470 11261440000 98571 33554432000 4194304 4196468 140731050762480 140343026478224 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28495] ppid=28432 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28495/stat : 28495 (java) S 28432 28435 23034 0 -1 1077944384 55 12278 0 0 13 1 8 4 20 0 20 0 9116470 11261440000 98571 33554432000 4194304 4196468 140731050762480 140343025424656 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28496] ppid=28432 vsize=10997500 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28496/stat : 28496 (java) S 28432 28435 23034 0 -1 1077944384 148 12278 0 0 15 1 8 4 20 0 20 0 9116470 11261440000 98571 33554432000 4194304 4196468 140731050762480 140343024372112 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28497] ppid=28432 vsize=10997500 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28497/stat : 28497 (java) S 28432 28435 23034 0 -1 1077944384 56 12278 0 0 16 1 8 4 20 0 20 0 9116470 11261440000 98571 33554432000 4194304 4196468 140731050762480 140342693063184 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28498] ppid=28432 vsize=10997500 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28498/stat : 28498 (java) S 28432 28435 23034 0 -1 1077944384 792 12278 0 0 16 1 8 4 20 0 20 0 9116470 11261440000 98571 33554432000 4194304 4196468 140731050762480 140342692010640 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28499] ppid=28432 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28499/stat : 28499 (java) S 28432 28435 23034 0 -1 1077944384 2418 12278 0 0 14 0 8 4 20 0 20 0 9116472 11261440000 98571 33554432000 4194304 4196468 140731050762480 140341910112752 140343092955778 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28500] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28500/stat : 28500 (java) S 28432 28435 23034 0 -1 1077944384 59 12278 0 0 0 0 8 4 20 0 20 0 9116472 11261440000 98571 33554432000 4194304 4196468 140731050762480 140341909059104 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28501] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28501/stat : 28501 (java) S 28432 28435 23034 0 -1 1077944384 45 12278 0 0 0 0 8 4 20 0 20 0 9116473 11261440000 98571 33554432000 4194304 4196468 140731050762480 140341908006400 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28502] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28502/stat : 28502 (java) S 28432 28435 23034 0 -1 1077944384 1 12278 0 0 0 0 8 4 20 0 20 0 9116476 11261440000 98571 33554432000 4194304 4196468 140731050762480 140341906954960 140343092963227 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28503] ppid=28432 vsize=10997500 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28503/stat : 28503 (java) S 28432 28435 23034 0 -1 1077944384 11580 12278 0 0 294 3 8 4 20 0 20 0 9116476 11261440000 98571 33554432000 4194304 4196468 140731050762480 140341905901552 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28504] ppid=28432 vsize=10997500 CPUtime=2.76 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28504/stat : 28504 (java) S 28432 28435 23034 0 -1 1077944384 7205 12278 0 0 262 2 8 4 20 0 20 0 9116476 11261440000 98571 33554432000 4194304 4196468 140731050762480 140341904849008 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28505] ppid=28432 vsize=10997500 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28505/stat : 28505 (java) S 28432 28435 23034 0 -1 1077944384 8394 12278 0 0 281 2 8 4 20 0 20 0 9116476 11261440000 98571 33554432000 4194304 4196468 140731050762480 140341903796464 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28506] ppid=28432 vsize=10997500 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28506/stat : 28506 (java) S 28432 28435 23034 0 -1 1077944384 6041 12278 0 0 189 2 8 4 20 0 20 0 9116476 11261440000 98571 33554432000 4194304 4196468 140731050762480 140341902743920 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28507] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15

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

[pid=28435/tid=28504] ppid=28432 vsize=10997500 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28504/stat : 28504 (java) S 28432 28435 23034 0 -1 1077944384 13650 12278 0 0 335 3 8 4 20 0 20 0 9116476 11261440000 239073 33554432000 4194304 4196468 140731050762480 140341904849008 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28505] ppid=28432 vsize=10997500 CPUtime=3.49 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28505/stat : 28505 (java) S 28432 28435 23034 0 -1 1077944384 13587 12278 0 0 334 3 8 4 20 0 20 0 9116476 11261440000 239073 33554432000 4194304 4196468 140731050762480 140341903796464 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28506] ppid=28432 vsize=10997500 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28506/stat : 28506 (java) S 28432 28435 23034 0 -1 1077944384 16354 12278 0 0 205 3 8 4 20 0 20 0 9116476 11261440000 239073 33554432000 4194304 4196468 140731050762480 140341902743920 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28507] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28507/stat : 28507 (java) S 28432 28435 23034 0 -1 1077944384 3 12278 0 0 0 0 8 4 20 0 20 0 9116476 11261440000 239073 33554432000 4194304 4196468 140731050762480 140341901691616 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28508] ppid=28432 vsize=10997500 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28508/stat : 28508 (java) S 28432 28435 23034 0 -1 1077944384 1802 12278 0 0 59 54 8 4 20 0 20 0 9116477 11261440000 239073 33554432000 4194304 4196468 140731050762480 140341900639152 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
Current children cumulated CPU time (s) 2326.09
Current children cumulated vsize (KiB) 10997500

[startup+2322.3 s]
/proc/loadavg: 1.62 1.56 1.59 3/281 29859
/proc/meminfo: memFree=29270504/32770624 swapFree=5756/320356
[pid=28435] ppid=28432 vsize=10997500 CPUtime=2387.59 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (java) S 28432 28435 23034 0 -1 1077944320 182346 12278 0 0 238333 414 8 4 20 0 20 0 9116454 11261440000 239605 33554432000 4194304 4196468 140731050762480 140731050745024 140343092944631 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
/proc/28435/statm: 2749375 239605 3520 1 0 2736930 0
[pid=28435/tid=28490] ppid=28432 vsize=10997500 CPUtime=2303.35 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28490/stat : 28490 (java) R 28432 28435 23034 0 -1 4202560 71463 12278 0 0 230287 36 8 4 20 0 20 0 9116469 11261440000 239605 33554432000 4194304 4196468 140731050762480 140343097178480 140342719250466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28491] ppid=28432 vsize=10997500 CPUtime=8.05 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28491/stat : 28491 (java) S 28432 28435 23034 0 -1 1077944384 3695 12278 0 0 753 40 8 4 20 0 20 0 9116470 11261440000 239605 33554432000 4194304 4196468 140731050762480 140343029635856 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28492] ppid=28432 vsize=10997500 CPUtime=8.09 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28492/stat : 28492 (java) S 28432 28435 23034 0 -1 1077944384 2940 12278 0 0 759 38 8 4 20 0 20 0 9116470 11261440000 239605 33554432000 4194304 4196468 140731050762480 140343028583312 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28493] ppid=28432 vsize=10997500 CPUtime=8.09 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28493/stat : 28493 (java) S 28432 28435 23034 0 -1 1077944384 3973 12278 0 0 761 36 8 4 20 0 20 0 9116470 11261440000 239605 33554432000 4194304 4196468 140731050762480 140343027530768 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28494] ppid=28432 vsize=10997500 CPUtime=8.17 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28494/stat : 28494 (java) S 28432 28435 23034 0 -1 1077944384 3653 12278 0 0 771 34 8 4 20 0 20 0 9116470 11261440000 239605 33554432000 4194304 4196468 140731050762480 140343026478224 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28495] ppid=28432 vsize=10997500 CPUtime=8.09 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28495/stat : 28495 (java) S 28432 28435 23034 0 -1 1077944384 7394 12278 0 0 755 42 8 4 20 0 20 0 9116470 11261440000 239605 33554432000 4194304 4196468 140731050762480 140343025424656 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28496] ppid=28432 vsize=10997500 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28496/stat : 28496 (java) S 28432 28435 23034 0 -1 1077944384 1920 12278 0 0 737 41 8 4 20 0 20 0 9116470 11261440000 239605 33554432000 4194304 4196468 140731050762480 140343024372112 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28497] ppid=28432 vsize=10997500 CPUtime=8.03 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28497/stat : 28497 (java) S 28432 28435 23034 0 -1 1077944384 3658 12278 0 0 754 37 8 4 20 0 20 0 9116470 11261440000 239605 33554432000 4194304 4196468 140731050762480 140342693063184 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28498] ppid=28432 vsize=10997500 CPUtime=7.92 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28498/stat : 28498 (java) S 28432 28435 23034 0 -1 1077944384 5529 12278 0 0 744 36 8 4 20 0 20 0 9116470 11261440000 239605 33554432000 4194304 4196468 140731050762480 140342692010640 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28499] ppid=28432 vsize=10997500 CPUtime=7.27 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28499/stat : 28499 (java) S 28432 28435 23034 0 -1 1077944384 11863 12278 0 0 679 36 8 4 20 0 20 0 9116472 11261440000 239605 33554432000 4194304 4196468 140731050762480 140341910112752 140343092955778 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28500] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28500/stat : 28500 (java) S 28432 28435 23034 0 -1 1077944384 59 12278 0 0 0 0 8 4 20 0 20 0 9116472 11261440000 239605 33554432000 4194304 4196468 140731050762480 140341909059104 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28501] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28501/stat : 28501 (java) S 28432 28435 23034 0 -1 1077944384 45 12278 0 0 0 0 8 4 20 0 20 0 9116473 11261440000 239605 33554432000 4194304 4196468 140731050762480 140341908006400 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28502] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28502/stat : 28502 (java) S 28432 28435 23034 0 -1 1077944384 1 12278 0 0 0 0 8 4 20 0 20 0 9116476 11261440000 239605 33554432000 4194304 4196468 140731050762480 140341906954960 140343092963227 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28503] ppid=28432 vsize=10997500 CPUtime=3.7 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28503/stat : 28503 (java) S 28432 28435 23034 0 -1 1077944384 18600 12278 0 0 354 4 8 4 20 0 20 0 9116476 11261440000 239605 33554432000 4194304 4196468 140731050762480 140341905901552 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28504] ppid=28432 vsize=10997500 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28504/stat : 28504 (java) S 28432 28435 23034 0 -1 1077944384 13652 12278 0 0 335 3 8 4 20 0 20 0 9116476 11261440000 239605 33554432000 4194304 4196468 140731050762480 140341904849008 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28505] ppid=28432 vsize=10997500 CPUtime=3.49 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28505/stat : 28505 (java) S 28432 28435 23034 0 -1 1077944384 13589 12278 0 0 334 3 8 4 20 0 20 0 9116476 11261440000 239605 33554432000 4194304 4196468 140731050762480 140341903796464 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28506] ppid=28432 vsize=10997500 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28506/stat : 28506 (java) S 28432 28435 23034 0 -1 1077944384 16356 12278 0 0 205 3 8 4 20 0 20 0 9116476 11261440000 239605 33554432000 4194304 4196468 140731050762480 140341902743920 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28507] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28507/stat : 28507 (java) S 28432 28435 23034 0 -1 1077944384 3 12278 0 0 0 0 8 4 20 0 20 0 9116476 11261440000 239605 33554432000 4194304 4196468 140731050762480 140341901691616 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28508] ppid=28432 vsize=10997500 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28508/stat : 28508 (java) S 28432 28435 23034 0 -1 1077944384 1820 12278 0 0 60 56 8 4 20 0 20 0 9116477 11261440000 239605 33554432000 4194304 4196468 140731050762480 140341900639152 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
Current children cumulated CPU time (s) 2387.59
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2334.5 s]
/proc/loadavg: 1.49 1.53 1.58 3/281 29859
/proc/meminfo: memFree=29270404/32770624 swapFree=5756/320376
[pid=28435] ppid=28432 vsize=10997500 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (java) S 28432 28435 23034 0 -1 1077944320 182458 12278 0 0 239578 416 8 4 20 0 20 0 9116454 11261440000 239613 33554432000 4194304 4196468 140731050762480 140731050745024 140343092944631 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
/proc/28435/statm: 2749375 239613 3520 1 0 2736930 0
[pid=28435/tid=28490] ppid=28432 vsize=10997500 CPUtime=2315.45 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28490/stat : 28490 (java) R 28432 28435 23034 0 -1 4202560 71561 12278 0 0 231497 36 8 4 20 0 20 0 9116469 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343097178480 140342721172986 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28491] ppid=28432 vsize=10997500 CPUtime=8.1 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28491/stat : 28491 (java) S 28432 28435 23034 0 -1 1077944384 3696 12278 0 0 758 40 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343029635856 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28492] ppid=28432 vsize=10997500 CPUtime=8.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28492/stat : 28492 (java) S 28432 28435 23034 0 -1 1077944384 2940 12278 0 0 763 38 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343028583312 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28493] ppid=28432 vsize=10997500 CPUtime=8.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28493/stat : 28493 (java) S 28432 28435 23034 0 -1 1077944384 3974 12278 0 0 764 36 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343027530768 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28494] ppid=28432 vsize=10997500 CPUtime=8.2 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28494/stat : 28494 (java) S 28432 28435 23034 0 -1 1077944384 3654 12278 0 0 774 34 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343026478224 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28495] ppid=28432 vsize=10997500 CPUtime=8.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28495/stat : 28495 (java) S 28432 28435 23034 0 -1 1077944384 7395 12278 0 0 759 42 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343025424656 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28496] ppid=28432 vsize=10997500 CPUtime=7.95 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28496/stat : 28496 (java) S 28432 28435 23034 0 -1 1077944384 1924 12278 0 0 742 41 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343024372112 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28497] ppid=28432 vsize=10997500 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28497/stat : 28497 (java) S 28432 28435 23034 0 -1 1077944384 3660 12278 0 0 758 37 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140342693063184 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28498] ppid=28432 vsize=10997500 CPUtime=7.95 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28498/stat : 28498 (java) S 28432 28435 23034 0 -1 1077944384 5529 12278 0 0 747 36 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140342692010640 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28499] ppid=28432 vsize=10997500 CPUtime=7.31 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28499/stat : 28499 (java) S 28432 28435 23034 0 -1 1077944384 11865 12278 0 0 683 36 8 4 20 0 20 0 9116472 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341910112752 140343092955778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28500] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28500/stat : 28500 (java) S 28432 28435 23034 0 -1 1077944384 59 12278 0 0 0 0 8 4 20 0 20 0 9116472 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341909059104 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28501] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28501/stat : 28501 (java) S 28432 28435 23034 0 -1 1077944384 45 12278 0 0 0 0 8 4 20 0 20 0 9116473 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341908006400 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28502] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28502/stat : 28502 (java) S 28432 28435 23034 0 -1 1077944384 1 12278 0 0 0 0 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341906954960 140343092963227 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28503] ppid=28432 vsize=10997500 CPUtime=3.7 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28503/stat : 28503 (java) S 28432 28435 23034 0 -1 1077944384 18600 12278 0 0 354 4 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341905901552 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28504] ppid=28432 vsize=10997500 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28504/stat : 28504 (java) S 28432 28435 23034 0 -1 1077944384 13652 12278 0 0 335 3 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341904849008 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28505] ppid=28432 vsize=10997500 CPUtime=3.49 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28505/stat : 28505 (java) S 28432 28435 23034 0 -1 1077944384 13589 12278 0 0 334 3 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341903796464 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28506] ppid=28432 vsize=10997500 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28506/stat : 28506 (java) S 28432 28435 23034 0 -1 1077944384 16356 12278 0 0 205 3 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341902743920 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28507] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28507/stat : 28507 (java) S 28432 28435 23034 0 -1 1077944384 3 12278 0 0 0 0 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341901691616 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28508] ppid=28432 vsize=10997500 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28508/stat : 28508 (java) S 28432 28435 23034 0 -1 1077944384 1822 12278 0 0 60 56 8 4 20 0 20 0 9116477 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341900639152 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10997500

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

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

[startup+2334.5 s]
/proc/loadavg: 1.49 1.53 1.58 3/281 29859
/proc/meminfo: memFree=29270404/32770624 swapFree=5756/320376
[pid=28435] ppid=28432 vsize=10997500 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/28435/stat : 28435 (java) S 28432 28435 23034 0 -1 1077944320 182458 12278 0 0 239578 416 8 4 20 0 20 0 9116454 11261440000 239613 33554432000 4194304 4196468 140731050762480 140731050745024 140343092944631 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
/proc/28435/statm: 2749375 239613 3520 1 0 2736930 0
[pid=28435/tid=28490] ppid=28432 vsize=10997500 CPUtime=2315.45 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28490/stat : 28490 (java) R 28432 28435 23034 0 -1 4202560 71561 12278 0 0 231497 36 8 4 20 0 20 0 9116469 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343097178480 140342721172986 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28491] ppid=28432 vsize=10997500 CPUtime=8.1 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28491/stat : 28491 (java) S 28432 28435 23034 0 -1 1077944384 3696 12278 0 0 758 40 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343029635856 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28492] ppid=28432 vsize=10997500 CPUtime=8.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28492/stat : 28492 (java) S 28432 28435 23034 0 -1 1077944384 2940 12278 0 0 763 38 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343028583312 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28493] ppid=28432 vsize=10997500 CPUtime=8.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28493/stat : 28493 (java) S 28432 28435 23034 0 -1 1077944384 3974 12278 0 0 764 36 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343027530768 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28494] ppid=28432 vsize=10997500 CPUtime=8.2 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28494/stat : 28494 (java) S 28432 28435 23034 0 -1 1077944384 3654 12278 0 0 774 34 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343026478224 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28495] ppid=28432 vsize=10997500 CPUtime=8.13 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28495/stat : 28495 (java) S 28432 28435 23034 0 -1 1077944384 7395 12278 0 0 759 42 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343025424656 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28496] ppid=28432 vsize=10997500 CPUtime=7.95 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28496/stat : 28496 (java) S 28432 28435 23034 0 -1 1077944384 1924 12278 0 0 742 41 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140343024372112 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28497] ppid=28432 vsize=10997500 CPUtime=8.07 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28497/stat : 28497 (java) S 28432 28435 23034 0 -1 1077944384 3660 12278 0 0 758 37 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140342693063184 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28498] ppid=28432 vsize=10997500 CPUtime=7.95 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28498/stat : 28498 (java) S 28432 28435 23034 0 -1 1077944384 5529 12278 0 0 747 36 8 4 20 0 20 0 9116470 11261440000 239613 33554432000 4194304 4196468 140731050762480 140342692010640 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28499] ppid=28432 vsize=10997500 CPUtime=7.31 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28499/stat : 28499 (java) S 28432 28435 23034 0 -1 1077944384 11865 12278 0 0 683 36 8 4 20 0 20 0 9116472 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341910112752 140343092955778 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28500] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28500/stat : 28500 (java) S 28432 28435 23034 0 -1 1077944384 59 12278 0 0 0 0 8 4 20 0 20 0 9116472 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341909059104 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28501] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28501/stat : 28501 (java) S 28432 28435 23034 0 -1 1077944384 45 12278 0 0 0 0 8 4 20 0 20 0 9116473 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341908006400 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28502] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28502/stat : 28502 (java) S 28432 28435 23034 0 -1 1077944384 1 12278 0 0 0 0 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341906954960 140343092963227 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28503] ppid=28432 vsize=10997500 CPUtime=3.7 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28503/stat : 28503 (java) S 28432 28435 23034 0 -1 1077944384 18600 12278 0 0 354 4 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341905901552 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28504] ppid=28432 vsize=10997500 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28504/stat : 28504 (java) S 28432 28435 23034 0 -1 1077944384 13652 12278 0 0 335 3 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341904849008 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28505] ppid=28432 vsize=10997500 CPUtime=3.49 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28505/stat : 28505 (java) S 28432 28435 23034 0 -1 1077944384 13589 12278 0 0 334 3 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341903796464 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28506] ppid=28432 vsize=10997500 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28506/stat : 28506 (java) S 28432 28435 23034 0 -1 1077944384 16356 12278 0 0 205 3 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341902743920 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28507] ppid=28432 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28507/stat : 28507 (java) S 28432 28435 23034 0 -1 1077944384 3 12278 0 0 0 0 8 4 20 0 20 0 9116476 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341901691616 140343092954837 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
[pid=28435/tid=28508] ppid=28432 vsize=10997500 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/28435/task/28508/stat : 28508 (java) S 28432 28435 23034 0 -1 1077944384 1822 12278 0 0 60 56 8 4 20 0 20 0 9116477 11261440000 239613 33554432000 4194304 4196468 140731050762480 140341900639152 140343092955778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28770304 140731050764993 140731050767767 140731050767767 140731050770383 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10997500

Child status: 143
Real time (s): 2334.53
CPU time (s): 2400.11
CPU user time (s): 2395.88
CPU system time (s): 4.22445
CPU usage (%): 102.809
Max. virtual memory (cumulated for all children) (KiB): 10997568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.88
system time used= 4.22445
maximum resident set size= 959212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195529
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295528
involuntary context switches= 177036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4456 second user time and 21.172 second system time

The end

Launcher Data 

Begin job on node146 at 2017-07-22 17:48:31
IDJOB=4247786
IDBENCH=129315
IDSOLVER=2630
FILE ID=node146/4247786-1500738511
RUNJOBID= node146-1500717875-23066
PBS_JOBID= 20623365
Free space on /tmp= 61768 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-02-05.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247786-1500738511/watcher-4247786-1500738511 -o /tmp/evaluation-result-4247786-1500738511/solver-4247786-1500738511 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23066 --watchdog 2560  bin/concrete HOME/instance-4247786-1500738511.xml

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

MD5SUM BENCH= c642010e55c7dc039ba248b7a99425a6
RANDOM SEED=767263052

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30972740 kB
MemAvailable:   31304800 kB
Buffers:          157752 kB
Cached:           452952 kB
SwapCached:            0 kB
Active:          1029356 kB
Inactive:         327636 kB
Active(anon):     748740 kB
Inactive(anon):     8856 kB
Active(file):     280616 kB
Inactive(file):   318780 kB
Unevictable:        5756 kB
Mlocked:            5788 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24252 kB
Writeback:             0 kB
AnonPages:        849484 kB
Mapped:            44992 kB
Shmem:              8852 kB
Slab:             130732 kB
SReclaimable:      96996 kB
SUnreclaim:        33736 kB
KernelStack:        4896 kB
PageTables:         8940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1304208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    745472 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= 61744 MiB
End job on node146 at 2017-07-22 18:27:26