Trace number 4262088

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)96 2520.1201 2480.4299

General information on the benchmark

NameRcpsp/Rcpsp-m1-j120/
Rcpsp-j120-02-03.xml
MD5SUMabd8ffabcee15199c8d23122c13b1758
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark92
Best CPU time to get the best result obtained on this benchmark19.205
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints187
Number of domains2
Minimum domain size1
Maximum domain size737
Distribution of domain sizes[{"size":1,"count":1},{"size":737,"count":121}]
Minimum variable degree3
Maximum variable degree6
Distribution of variable degrees[{"degree":3,"count":43},{"degree":4,"count":39},{"degree":5,"count":38},{"degree":6,"count":2}]
Minimum constraint arity2
Maximum constraint arity43
Distribution of constraint arities[{"arity":2,"count":183},{"arity":22,"count":1},{"arity":26,"count":1},{"arity":29,"count":1},{"arity":43,"count":1}]
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.35/2.24	c Concrete v3.4 running
9.44/4.48	o 736
9.75/4.53	o 735
10.07/4.63	o 734
10.07/4.63	o 733
10.07/4.65	o 732
10.07/4.69	o 731
10.41/4.72	o 730
10.41/4.74	o 729
10.41/4.77	o 728
10.41/4.79	o 727
10.73/4.81	o 726
10.73/4.83	o 725
10.73/4.85	o 724
10.73/4.86	o 723
10.73/4.89	o 722
11.04/4.92	o 721
11.04/4.96	o 720
11.34/5.01	o 719
11.34/5.05	o 718
11.34/5.09	o 717
11.64/5.12	o 716
11.64/5.14	o 715
11.64/5.15	o 714
11.64/5.17	o 713
11.64/5.18	o 712
11.95/5.20	o 711
11.95/5.21	o 710
11.95/5.23	o 709
11.95/5.24	o 708
11.95/5.26	o 707
11.95/5.27	o 706
11.95/5.29	o 705
12.25/5.30	o 704
12.25/5.31	o 703
12.25/5.32	o 702
12.25/5.33	o 701
12.25/5.35	o 700
12.25/5.36	o 699
12.25/5.37	o 698
12.25/5.38	o 697
12.25/5.39	o 696
12.56/5.42	o 695
12.56/5.43	o 694
12.56/5.44	o 693
12.56/5.45	o 692
12.56/5.46	o 691
12.56/5.47	o 690
12.56/5.49	o 689
12.56/5.50	o 688
12.87/5.51	o 687
12.87/5.52	o 686
12.87/5.53	o 685
12.87/5.54	o 684
12.87/5.55	o 683
12.87/5.55	o 682
12.87/5.56	o 681
12.87/5.57	o 680
12.87/5.58	o 679
12.87/5.59	o 678
12.87/5.60	o 677
13.18/5.61	o 676
13.18/5.62	o 675
13.18/5.63	o 674
13.18/5.64	o 673
13.18/5.64	o 672
13.18/5.65	o 671
13.18/5.66	o 670
13.18/5.67	o 669
13.18/5.68	o 668
13.18/5.68	o 667
13.18/5.69	o 666
13.47/5.70	o 665
13.47/5.71	o 664
13.47/5.72	o 663
13.47/5.73	o 662
13.47/5.73	o 661
13.47/5.74	o 660
13.47/5.75	o 659
13.47/5.76	o 658
13.47/5.77	o 657
13.47/5.77	o 656
13.47/5.78	o 655
13.47/5.79	o 654
13.47/5.80	o 653
13.71/5.81	o 652
13.71/5.82	o 651
13.71/5.83	o 650
13.71/5.84	o 649
13.71/5.85	o 648
13.71/5.85	o 647
13.71/5.86	o 646
13.71/5.87	o 645
13.71/5.88	o 644
13.71/5.89	o 643
13.90/5.90	o 642
13.90/5.91	o 641
13.90/5.92	o 640
13.90/5.92	o 639
13.90/5.93	o 638
13.90/5.94	o 637
13.90/5.95	o 636
13.90/5.96	o 635
13.90/5.97	o 634
13.90/5.98	o 633
13.90/5.98	o 632
13.90/5.99	o 631
14.08/6.00	o 630
14.08/6.01	o 629
14.08/6.02	o 628
14.08/6.03	o 627
14.08/6.04	o 626
14.08/6.04	o 625
14.08/6.05	o 624
14.08/6.06	o 623
14.08/6.07	o 622
14.08/6.08	o 621
14.08/6.09	o 620
14.08/6.09	o 619
14.24/6.10	o 618
14.24/6.11	o 617
14.24/6.12	o 616
14.24/6.13	o 615
14.24/6.13	o 614
14.24/6.14	o 613
14.24/6.15	o 612
14.24/6.16	o 611
14.24/6.17	o 610
14.24/6.17	o 609
14.24/6.18	o 608
14.24/6.19	o 607
14.24/6.20	o 606
14.38/6.20	o 605
14.38/6.21	o 604
14.38/6.22	o 603
14.38/6.23	o 602
14.38/6.24	o 601
14.38/6.24	o 600
14.38/6.25	o 599
14.38/6.26	o 598
14.38/6.27	o 597
14.38/6.28	o 596
14.38/6.28	o 595
14.38/6.29	o 594
14.65/6.30	o 593
14.65/6.31	o 592
14.65/6.31	o 591
14.65/6.32	o 590
14.65/6.33	o 589
14.65/6.33	o 588
14.65/6.34	o 587
14.65/6.35	o 586
14.65/6.36	o 585
14.65/6.36	o 584
14.65/6.37	o 583
14.65/6.38	o 582
14.65/6.39	o 581
14.65/6.39	o 580
14.95/6.40	o 579
14.95/6.41	o 578
14.95/6.42	o 577
14.95/6.43	o 576
14.95/6.43	o 575
14.95/6.44	o 574
14.95/6.45	o 573
14.95/6.46	o 572
14.95/6.46	o 571
14.95/6.47	o 570
14.95/6.48	o 569
14.95/6.48	o 568
14.95/6.49	o 567
14.95/6.50	o 566
15.23/6.50	o 565
15.23/6.51	o 564
15.23/6.51	o 563
15.23/6.52	o 562
15.23/6.53	o 561
15.23/6.53	o 560
15.23/6.54	o 559
15.23/6.54	o 558
15.23/6.55	o 557
15.23/6.56	o 556
15.23/6.56	o 555
15.23/6.57	o 554
15.23/6.58	o 553
15.23/6.58	o 552
15.23/6.59	o 551
15.23/6.59	o 550
15.23/6.60	o 549
15.46/6.61	o 548
15.46/6.61	o 547
15.46/6.62	o 546
15.46/6.62	o 545
15.46/6.63	o 544
15.46/6.64	o 543
15.46/6.64	o 542
15.46/6.65	o 541
15.46/6.66	o 540
15.46/6.66	o 539
15.46/6.67	o 538
15.46/6.67	o 537
15.46/6.68	o 536
15.46/6.68	o 535
15.46/6.69	o 534
15.46/6.70	o 533
15.58/6.70	o 532
15.58/6.71	o 531
15.58/6.71	o 530
15.58/6.72	o 529
15.58/6.73	o 528
15.58/6.73	o 527
15.58/6.74	o 526
15.58/6.74	o 525
15.58/6.75	o 524
15.58/6.75	o 523
15.58/6.76	o 522
15.58/6.77	o 521
15.58/6.77	o 520
15.58/6.78	o 519
15.58/6.78	o 518
15.58/6.79	o 517
15.58/6.80	o 516
15.67/6.80	o 515
15.67/6.81	o 514
15.67/6.81	o 513
15.67/6.82	o 512
15.67/6.83	o 511
15.67/6.83	o 510
15.67/6.84	o 509
15.67/6.85	o 508
15.67/6.85	o 507
15.67/6.86	o 506
15.67/6.86	o 505
15.67/6.87	o 504
15.67/6.88	o 503
15.67/6.88	o 502
15.67/6.89	o 501
15.79/6.90	o 500
15.79/6.90	o 499
15.79/6.91	o 498
15.79/6.91	o 497
15.79/6.92	o 496
15.79/6.93	o 495
15.79/6.93	o 494
15.79/6.94	o 493
15.79/6.94	o 492
15.79/6.95	o 491
15.79/6.96	o 490
15.79/6.96	o 489
15.79/6.97	o 488
15.79/6.97	o 487
15.79/6.98	o 486
15.79/6.99	o 485
15.79/6.99	o 484
15.90/7.00	o 483
15.90/7.00	o 482
15.90/7.01	o 481
15.90/7.02	o 480
15.90/7.02	o 479
15.90/7.03	o 478
15.90/7.03	o 477
15.90/7.04	o 476
15.90/7.04	o 475
15.90/7.05	o 474
15.90/7.06	o 473
15.90/7.06	o 472
15.90/7.07	o 471
15.90/7.07	o 470
15.90/7.08	o 469
15.90/7.08	o 468
15.90/7.09	o 467
16.02/7.10	o 466
16.02/7.10	o 465
16.02/7.11	o 464
16.02/7.11	o 463
16.02/7.12	o 462
16.02/7.13	o 461
16.02/7.13	o 460
16.02/7.14	o 459
16.02/7.15	o 458
16.02/7.15	o 457
16.02/7.16	o 456
16.02/7.16	o 455
16.02/7.17	o 454
16.02/7.18	o 453
16.02/7.18	o 452
16.02/7.19	o 451
16.02/7.19	o 450
16.21/7.20	o 449
16.21/7.20	o 448
16.21/7.21	o 447
16.21/7.22	o 446
16.21/7.22	o 445
16.21/7.23	o 444
16.21/7.23	o 443
16.21/7.24	o 442
16.21/7.25	o 441
16.21/7.25	o 440
16.21/7.26	o 439
16.21/7.26	o 438
16.21/7.27	o 437
16.21/7.28	o 436
16.21/7.28	o 435
16.21/7.29	o 434
16.21/7.29	o 433
16.33/7.30	o 432
16.33/7.30	o 431
16.33/7.31	o 430
16.33/7.32	o 429
16.33/7.33	o 428
16.33/7.33	o 427
16.33/7.34	o 426
16.33/7.34	o 425
16.33/7.35	o 424
16.33/7.35	o 423
16.33/7.36	o 422
16.33/7.37	o 421
16.33/7.37	o 420
16.33/7.38	o 419
16.33/7.38	o 418
16.33/7.39	o 417
16.33/7.40	o 416
16.44/7.40	o 415
16.44/7.41	o 414
16.44/7.41	o 413
16.44/7.42	o 412
16.44/7.42	o 411
16.44/7.43	o 410
16.44/7.44	o 409
16.44/7.44	o 408
16.44/7.45	o 407
16.44/7.45	o 406
16.44/7.46	o 405
16.44/7.47	o 404
16.44/7.47	o 403
16.44/7.48	o 402
16.44/7.48	o 401
16.44/7.49	o 400
16.58/7.50	o 399
16.58/7.50	o 398
16.58/7.51	o 397
16.58/7.52	o 396
16.58/7.52	o 395
16.58/7.53	o 394
16.58/7.53	o 393
16.58/7.54	o 392
16.58/7.54	o 391
16.58/7.55	o 390
16.58/7.56	o 389
16.58/7.56	o 388
16.58/7.57	o 387
16.58/7.57	o 386
16.58/7.58	o 385
16.58/7.58	o 384
16.58/7.59	o 383
16.58/7.60	o 382
16.69/7.60	o 381
16.69/7.61	o 380
16.69/7.61	o 379
16.69/7.62	o 378
16.69/7.62	o 377
16.69/7.63	o 376
16.69/7.64	o 375
16.69/7.64	o 374
16.69/7.65	o 373
16.69/7.65	o 372
16.69/7.66	o 371
16.69/7.66	o 370
16.69/7.67	o 369
16.69/7.68	o 368
16.69/7.68	o 367
16.69/7.69	o 366
16.69/7.69	o 365
16.69/7.70	o 364
16.80/7.70	o 363
16.80/7.71	o 362
16.80/7.72	o 361
16.80/7.72	o 360
16.80/7.73	o 359
16.80/7.73	o 358
16.80/7.74	o 357
16.80/7.74	o 356
16.80/7.75	o 355
16.80/7.76	o 354
16.80/7.76	o 353
16.80/7.77	o 352
16.80/7.78	o 351
16.80/7.78	o 350
16.80/7.79	o 349
16.80/7.79	o 348
16.80/7.80	o 347
16.94/7.81	o 346
16.94/7.82	o 345
16.94/7.82	o 344
16.94/7.83	o 343
16.94/7.83	o 342
16.94/7.84	o 341
16.94/7.85	o 340
16.94/7.85	o 339
16.94/7.86	o 338
16.94/7.87	o 337
16.94/7.87	o 336
16.94/7.88	o 335
16.94/7.88	o 334
16.94/7.89	o 333
16.94/7.90	o 332
17.06/7.90	o 331
17.06/7.91	o 330
17.06/7.91	o 329
17.06/7.92	o 328
17.06/7.92	o 327
17.06/7.93	o 326
17.06/7.93	o 325
17.06/7.94	o 324
17.06/7.95	o 323
17.06/7.95	o 322
17.06/7.96	o 321
17.06/7.96	o 320
17.06/7.97	o 319
17.06/7.97	o 318
17.06/7.98	o 317
17.06/7.99	o 316
17.06/7.99	o 315
17.17/8.00	o 314
17.17/8.00	o 313
17.17/8.01	o 312
17.17/8.01	o 311
17.17/8.02	o 310
17.17/8.03	o 309
17.17/8.03	o 308
17.17/8.04	o 307
17.17/8.04	o 306
17.17/8.05	o 305
17.17/8.05	o 304
17.17/8.06	o 303
17.17/8.07	o 302
17.17/8.07	o 301
17.17/8.08	o 300
17.17/8.08	o 299
17.17/8.09	o 298
17.17/8.10	o 297
17.28/8.10	o 296
17.28/8.11	o 295
17.28/8.11	o 294
17.28/8.12	o 293
17.28/8.13	o 292
17.28/8.13	o 291
17.28/8.14	o 290
17.28/8.14	o 289
17.28/8.15	o 288
17.28/8.16	o 287
17.28/8.16	o 286
17.28/8.17	o 285
17.28/8.17	o 284
17.28/8.18	o 283
17.28/8.19	o 282
17.28/8.19	o 281
17.38/8.20	o 280
17.38/8.20	o 279
17.38/8.21	o 278
17.38/8.21	o 277
17.38/8.22	o 276
17.38/8.22	o 275
17.38/8.23	o 274
17.38/8.24	o 273
17.38/8.24	o 272
17.38/8.25	o 271
17.38/8.25	o 270
17.38/8.26	o 269
17.38/8.26	o 268
17.38/8.27	o 267
17.38/8.28	o 266
17.38/8.28	o 265
17.38/8.29	o 264
17.38/8.29	o 263
17.49/8.30	o 262
17.49/8.30	o 261
17.49/8.31	o 260
17.49/8.32	o 259
17.49/8.32	o 258
17.49/8.33	o 257
17.49/8.33	o 256
17.49/8.34	o 255
17.49/8.35	o 254
17.49/8.35	o 253
17.49/8.36	o 252
17.49/8.37	o 251
17.49/8.37	o 250
17.49/8.38	o 249
17.49/8.38	o 248
17.49/8.39	o 247
17.49/8.40	o 246
17.59/8.40	o 245
17.59/8.41	o 244
17.59/8.41	o 243
17.59/8.42	o 242
17.59/8.42	o 241
17.59/8.43	o 240
17.59/8.44	o 239
17.59/8.44	o 238
17.59/8.45	o 237
17.59/8.45	o 236
17.59/8.46	o 235
17.59/8.46	o 234
17.59/8.47	o 233
17.59/8.48	o 232
17.59/8.48	o 231
17.59/8.49	o 230
17.59/8.49	o 229
17.70/8.50	o 228
17.70/8.51	o 227
17.70/8.51	o 226
17.70/8.52	o 225
17.70/8.53	o 224
17.70/8.53	o 223
17.70/8.54	o 222
17.70/8.54	o 221
17.70/8.55	o 220
17.70/8.56	o 219
17.70/8.56	o 218
17.70/8.57	o 217
17.70/8.57	o 216
17.70/8.58	o 215
17.70/8.59	o 214
17.70/8.59	o 213
17.81/8.60	o 212
17.81/8.60	o 211
17.81/8.61	o 210
17.81/8.62	o 209
17.81/8.62	o 208
17.81/8.63	o 207
17.81/8.63	o 206
17.81/8.64	o 205
17.81/8.65	o 204
17.81/8.65	o 203
17.81/8.66	o 202
17.81/8.66	o 201
17.81/8.67	o 200
17.81/8.68	o 199
17.81/8.68	o 198
17.81/8.69	o 197
17.81/8.70	o 196
17.97/8.70	o 195
17.97/8.71	o 194
17.97/8.71	o 193
17.97/8.72	o 192
17.97/8.73	o 191
17.97/8.73	o 190
17.97/8.74	o 189
17.97/8.74	o 188
17.97/8.75	o 187
17.97/8.76	o 186
17.97/8.76	o 185
17.97/8.77	o 184
17.97/8.77	o 183
17.97/8.78	o 182
17.97/8.78	o 181
17.97/8.79	o 180
17.97/8.80	o 179
18.18/8.80	o 178
18.18/8.81	o 177
18.18/8.82	o 176
18.18/8.82	o 175
18.18/8.83	o 174
18.18/8.83	o 173
18.18/8.84	o 172
18.18/8.84	o 171
18.18/8.85	o 170
18.18/8.86	o 169
18.18/8.86	o 168
18.18/8.87	o 167
18.18/8.88	o 166
18.18/8.88	o 165
18.18/8.89	o 164
18.18/8.89	o 163
18.18/8.90	o 162
18.30/8.91	o 161
18.30/8.91	o 160
18.30/8.92	o 159
18.30/8.92	o 158
18.30/8.93	o 157
18.30/8.94	o 156
18.30/8.95	o 155
18.30/8.95	o 154
18.30/8.96	o 153
18.30/8.96	o 152
18.30/8.97	o 151
18.30/8.98	o 150
18.30/8.98	o 149
18.30/8.99	o 148
18.30/8.99	o 147
18.40/9.00	o 146
18.40/9.01	o 145
18.40/9.01	o 144
18.40/9.02	o 143
18.40/9.02	o 142
18.40/9.03	o 141
18.40/9.04	o 140
18.40/9.04	o 139
18.40/9.05	o 138
18.40/9.05	o 137
18.40/9.06	o 136
18.40/9.07	o 135
18.40/9.07	o 134
18.40/9.08	o 133
18.40/9.08	o 132
18.40/9.09	o 131
18.50/9.10	o 130
18.50/9.10	o 129
18.50/9.11	o 128
18.50/9.12	o 127
18.50/9.12	o 126
18.50/9.13	o 125
18.50/9.13	o 124
18.50/9.14	o 123
18.50/9.15	o 122
18.50/9.15	o 121
18.50/9.16	o 120
18.50/9.16	o 119
18.50/9.17	o 118
18.50/9.18	o 117
18.50/9.18	o 116
18.50/9.19	o 115
18.50/9.20	o 114
18.64/9.20	o 113
18.64/9.21	o 112
18.64/9.22	o 111
18.64/9.23	o 110
18.64/9.25	o 109
18.64/9.26	o 108
18.64/9.27	o 107
18.64/9.28	o 106
18.87/9.32	o 105
18.87/9.36	o 104
18.87/9.36	o 103
18.87/9.37	o 102
18.87/9.38	o 101
20.30/10.38	o 100
20.41/10.41	o 99
20.41/10.45	o 98
24.65/14.40	o 97
28.62/18.24	o 96
2520.07/2480.41	java.util.concurrent.TimeoutException
2520.07/2480.41		at concrete.MAC.mac(MAC.scala:74)
2520.07/2480.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.07/2480.41		at scala.util.Try$.apply(Try.scala:209)
2520.07/2480.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2480.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2480.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2480.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2480.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.07/2480.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2480.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2480.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2480.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2480.41		at concrete.MAC.oneRun(MAC.scala:146)
2520.07/2480.41		at concrete.MAC.nextSolution(MAC.scala:166)
2520.07/2480.41		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.07/2480.41		at concrete.ProblemState.map(ProblemState.scala:203)
2520.07/2480.41		at concrete.ProblemState.map(ProblemState.scala:188)
2520.07/2480.41		at concrete.MAC.nextSolution(MAC.scala:195)
2520.07/2480.41		at concrete.Solver.hasNext(Solver.scala:202)
2520.07/2480.41		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.07/2480.41		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.07/2480.41		at concrete.Solver.toStream(Solver.scala:73)
2520.07/2480.41		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.07/2480.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.07/2480.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.07/2480.41		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.07/2480.41		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.07/2480.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2480.41		at scala.util.Success.map(Try.scala:209)
2520.07/2480.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.07/2480.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.07/2480.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.07/2480.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.07/2480.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.07/2480.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2480.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2480.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2480.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2480.41		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2480.41		at scala.App.main(App.scala:76)
2520.07/2480.41		at scala.App.main$(App.scala:74)
2520.07/2480.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.07/2480.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2480.41	v <instantiation cost="96">
2520.07/2480.41	v       <list>
2520.07/2480.41	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]
2520.07/2480.41	v       </list>
2520.07/2480.41	v       <values>
2520.07/2480.41	v         0 2 0 1 20 8 8 25 18 35 35 18 20 28 21 43 29 44 22 32 79 48 43 16 11 39 42 45 55 51 57 8 63 12 54 77 30 37 17 28 66 72 81 84 23 47 39 43 48 25 81 49 60 45 62 28 64 54 35 61 28 49 39 69 12 59 29 38 52 54 87 43 52 86 61 68 29 51 65 39 66 65 79 58 58 69 62 91 58 67 64 63 62 55 34 85 76 88 72 69 57 62 81 70 85 65 75 75 63 75 68 74 84 83 87 85 91 86 94 92 93 96
2520.07/2480.41	v       </values>
2520.07/2480.41	v     </instantiation>
2520.07/2480.41	s SATISFIABLE

Verifier Data 

OK	96

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-4262088-1502451634/watcher-4262088-1502451634 -o /tmp/evaluation-result-4262088-1502451634/solver-4262088-1502451634 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4262088-1502451634.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.50 1.43 1.42 2/194 11391
/proc/meminfo: memFree=30550248/32770624 swapFree=0/506208
[pid=11391] ppid=11388 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11391/stat : 11391 (runsolver) D 11388 11391 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47384202 24240128 106 18446744073709551615 4194304 4338465 140722365233008 140722365230648 140424483431127 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 38760448 140722365239505 140722365239881 140722365239881 140722365243338 0
/proc/11391/statm: 5918 106 53 36 0 2156 0

[startup+0.10013 s]
/proc/loadavg: 1.50 1.43 1.42 2/194 11391
/proc/meminfo: memFree=30550248/32770624 swapFree=0/506208
[pid=11391] ppid=11388 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/11391/stat : 11391 (bash) S 11388 11391 1330 0 -1 4202496 715 3537 0 0 0 0 0 0 20 0 1 0 47384202 9736192 355 18446744073709551615 4194304 5098028 140727205793744 140727205791384 140343395634176 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 34484224 140727205802516 140727205802601 140727205802601 140727205806058 0
/proc/11391/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200322 s]
/proc/loadavg: 1.50 1.43 1.42 2/194 11391
/proc/meminfo: memFree=30550248/32770624 swapFree=0/506208
[pid=11391] ppid=11388 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/11391/stat : 11391 (bash) S 11388 11391 1330 0 -1 4202496 892 6488 0 0 0 0 0 1 20 0 1 0 47384202 9867264 377 18446744073709551615 4194304 5098028 140727205793744 140727205787752 140343395634176 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 34484224 140727205802516 140727205802601 140727205802601 140727205806058 0
/proc/11391/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300361 s]
/proc/loadavg: 1.50 1.43 1.42 2/194 11391
/proc/meminfo: memFree=30550248/32770624 swapFree=0/506208
[pid=11391] ppid=11388 vsize=13907308 CPUtime=0.12 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11388 11391 1330 0 -1 1077944320 5565 12527 0 0 5 0 5 2 20 0 14 0 47384202 14241083392 5247 18446744073709551615 4194304 4196468 140735693534368 140735693516912 139887064465143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
/proc/11391/statm: 3476827 5247 2568 1 0 3466324 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13907308

[startup+0.700257 s]
/proc/loadavg: 1.50 1.43 1.42 2/194 11391
/proc/meminfo: memFree=30550248/32770624 swapFree=0/506208
[pid=11391] ppid=11388 vsize=13974784 CPUtime=0.59 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11388 11391 1330 0 -1 1077944320 13698 12527 0 0 48 4 5 2 20 0 15 0 47384202 14310178816 14118 18446744073709551615 4194304 4196468 140735693534368 140735693516912 139887064465143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
/proc/11391/statm: 3493696 14118 3076 1 0 3482965 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13974784

[startup+1.50066 s]
/proc/loadavg: 1.50 1.43 1.42 3/209 11454
/proc/meminfo: memFree=30458388/32770624 swapFree=0/506284
[pid=11391] ppid=11388 vsize=13985408 CPUtime=1.8 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11388 11391 1330 0 -1 1077944320 27350 12527 0 0 164 9 5 2 20 0 15 0 47384202 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 140735693516912 139887064465143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
/proc/11391/statm: 3496352 33878 3339 1 0 3485525 0
[pid=11391/tid=11441] ppid=11388 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/11391/task/11441/stat : 11441 (java) R 11388 11391 1330 0 -1 4202560 21962 12527 0 0 113 6 5 2 20 0 15 0 47384226 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139887068688240 139887025443197 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11442] ppid=11388 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11442/stat : 11442 (java) S 11388 11391 1330 0 -1 1077944384 1 12527 0 0 0 0 5 2 20 0 15 0 47384226 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139887021431056 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11443] ppid=11388 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11443/stat : 11443 (java) S 11388 11391 1330 0 -1 1077944384 1 12527 0 0 0 0 5 2 20 0 15 0 47384226 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139887020378512 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11444] ppid=11388 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11444/stat : 11444 (java) S 11388 11391 1330 0 -1 1077944384 1 12527 0 0 0 0 5 2 20 0 15 0 47384226 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139887019325968 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11445] ppid=11388 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11445/stat : 11445 (java) S 11388 11391 1330 0 -1 1077944384 2 12527 0 0 0 0 5 2 20 0 15 0 47384226 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139886661397136 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11446] ppid=11388 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11446/stat : 11446 (java) S 11388 11391 1330 0 -1 1077944384 5 12527 0 0 0 0 5 2 20 0 15 0 47384228 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139886542690800 139887064476290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11447] ppid=11388 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11447/stat : 11447 (java) S 11388 11391 1330 0 -1 1077944384 33 12527 0 0 0 0 5 2 20 0 15 0 47384228 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139886541637024 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11448] ppid=11388 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11448/stat : 11448 (java) S 11388 11391 1330 0 -1 1077944384 21 12527 0 0 0 0 5 2 20 0 15 0 47384228 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139886540584432 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11449] ppid=11388 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11449/stat : 11449 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139886539533008 139887064483739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11450] ppid=11388 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/11391/task/11450/stat : 11450 (java) S 11388 11391 1330 0 -1 1077944384 1211 12527 0 0 14 0 5 2 20 0 15 0 47384231 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139886538479600 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11451] ppid=11388 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/11391/task/11451/stat : 11451 (java) S 11388 11391 1330 0 -1 1077944384 590 12527 0 0 13 0 5 2 20 0 15 0 47384231 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139886537427056 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11452] ppid=11388 vsize=13985408 CPUtime=0.28 cores=1,3,5,7
/proc/11391/task/11452/stat : 11452 (java) R 11388 11391 1330 0 -1 4202560 1360 12527 0 0 21 0 5 2 20 0 15 0 47384231 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139886536374512 139887048545630 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11453] ppid=11388 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11453/stat : 11453 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139886535322208 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11454] ppid=11388 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11454/stat : 11454 (java) S 11388 11391 1330 0 -1 1077944384 6 12527 0 0 0 0 5 2 20 0 15 0 47384236 14321057792 33878 18446744073709551615 4194304 4196468 140735693534368 139886534269744 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 13985408

[startup+3.10137 s]
/proc/loadavg: 1.50 1.43 1.42 6/209 11454
/proc/meminfo: memFree=30379592/32770624 swapFree=0/506284
[pid=11391] ppid=11388 vsize=13997884 CPUtime=5.85 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11388 11391 1330 0 -1 1077944320 45022 12527 0 0 562 16 5 2 20 0 15 0 47384202 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 140735693516912 139887064465143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
/proc/11391/statm: 3499471 53878 3441 1 0 3488085 0
[pid=11391/tid=11441] ppid=11388 vsize=13997884 CPUtime=2.81 cores=1,3,5,7
/proc/11391/task/11441/stat : 11441 (java) R 11388 11391 1330 0 -1 4202560 29636 12527 0 0 265 9 5 2 20 0 15 0 47384226 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139887068697040 139886707639872 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11442] ppid=11388 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/11391/task/11442/stat : 11442 (java) S 11388 11391 1330 0 -1 1077944384 65 12527 0 0 1 0 5 2 20 0 15 0 47384226 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139887021431056 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11443] ppid=11388 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/11391/task/11443/stat : 11443 (java) S 11388 11391 1330 0 -1 1077944384 55 12527 0 0 1 0 5 2 20 0 15 0 47384226 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139887020378512 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11444] ppid=11388 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/11391/task/11444/stat : 11444 (java) S 11388 11391 1330 0 -1 1077944384 195 12527 0 0 1 0 5 2 20 0 15 0 47384226 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139887019325968 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11445] ppid=11388 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/11391/task/11445/stat : 11445 (java) S 11388 11391 1330 0 -1 1077944384 48 12527 0 0 1 0 5 2 20 0 15 0 47384226 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139886661397136 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11446] ppid=11388 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/11391/task/11446/stat : 11446 (java) S 11388 11391 1330 0 -1 1077944384 1661 12527 0 0 1 0 5 2 20 0 15 0 47384228 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139886542690800 139887064476290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11447] ppid=11388 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11447/stat : 11447 (java) S 11388 11391 1330 0 -1 1077944384 54 12527 0 0 0 0 5 2 20 0 15 0 47384228 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139886541637088 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11448] ppid=11388 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11448/stat : 11448 (java) S 11388 11391 1330 0 -1 1077944384 44 12527 0 0 0 0 5 2 20 0 15 0 47384228 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139886540584448 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11449] ppid=11388 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11449/stat : 11449 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139886539533008 139887064483739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11450] ppid=11388 vsize=13997884 CPUtime=0.84 cores=1,3,5,7
/proc/11391/task/11450/stat : 11450 (java) R 11388 11391 1330 0 -1 4202560 2263 12527 0 0 76 1 5 2 20 0 15 0 47384231 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139886538459312 139887043689590 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11451] ppid=11388 vsize=13997884 CPUtime=1.12 cores=1,3,5,7
/proc/11391/task/11451/stat : 11451 (java) S 11388 11391 1330 0 -1 1077944384 4039 12527 0 0 104 1 5 2 20 0 15 0 47384231 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139886537427056 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11452] ppid=11388 vsize=13997884 CPUtime=1.16 cores=1,3,5,7
/proc/11391/task/11452/stat : 11452 (java) S 11388 11391 1330 0 -1 1077944384 4797 12527 0 0 108 1 5 2 20 0 15 0 47384231 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139886536374512 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11453] ppid=11388 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11453/stat : 11453 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139886535322208 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11454] ppid=11388 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11454/stat : 11454 (java) S 11388 11391 1330 0 -1 1077944384 7 12527 0 0 0 0 5 2 20 0 15 0 47384236 14333833216 53878 18446744073709551615 4194304 4196468 140735693534368 139886534269744 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 13997884

[startup+6.30154 s]
/proc/loadavg: 1.54 1.44 1.42 5/209 11454
/proc/meminfo: memFree=30187804/32770624 swapFree=0/506284
[pid=11391] ppid=11388 vsize=14069564 CPUtime=14.65 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11388 11391 1330 0 -1 1077944320 86356 12527 0 0 1432 26 5 2 20 0 15 0 47384202 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 140735693516912 139887064465143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
/proc/11391/statm: 3517391 93980 3483 1 0 3506005 0
[pid=11391/tid=11441] ppid=11388 vsize=14069564 CPUtime=5.75 cores=1,3,5,7
/proc/11391/task/11441/stat : 11441 (java) R 11388 11391 1330 0 -1 4202560 47339 12527 0 0 555 13 5 2 20 0 15 0 47384226 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139887068698016 139886699031680 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11442] ppid=11388 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/11391/task/11442/stat : 11442 (java) S 11388 11391 1330 0 -1 1077944384 787 12527 0 0 13 0 5 2 20 0 15 0 47384226 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139887021431056 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11443] ppid=11388 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/11391/task/11443/stat : 11443 (java) S 11388 11391 1330 0 -1 1077944384 134 12527 0 0 9 0 5 2 20 0 15 0 47384226 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139887020378512 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11444] ppid=11388 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/11391/task/11444/stat : 11444 (java) S 11388 11391 1330 0 -1 1077944384 284 12527 0 0 13 0 5 2 20 0 15 0 47384226 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139887019325968 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11445] ppid=11388 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/11391/task/11445/stat : 11445 (java) S 11388 11391 1330 0 -1 1077944384 318 12527 0 0 9 0 5 2 20 0 15 0 47384226 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139886661397136 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11446] ppid=11388 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/11391/task/11446/stat : 11446 (java) S 11388 11391 1330 0 -1 1077944384 2484 12527 0 0 12 0 5 2 20 0 15 0 47384228 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139886542690800 139887064476290 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11447] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11447/stat : 11447 (java) S 11388 11391 1330 0 -1 1077944384 57 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139886541637088 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11448] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11448/stat : 11448 (java) S 11388 11391 1330 0 -1 1077944384 44 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139886540584448 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11449] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11449/stat : 11449 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139886539533008 139887064483739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11450] ppid=11388 vsize=14069564 CPUtime=2.93 cores=1,3,5,7
/proc/11391/task/11450/stat : 11450 (java) R 11388 11391 1330 0 -1 4202560 7077 12527 0 0 284 2 5 2 20 0 15 0 47384231 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139886538470256 139887047876015 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11451] ppid=11388 vsize=14069564 CPUtime=3.66 cores=1,3,5,7
/proc/11391/task/11451/stat : 11451 (java) R 11388 11391 1330 0 -1 4202560 16004 12527 0 0 356 3 5 2 20 0 15 0 47384231 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139886537416624 139887049589848 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11452] ppid=11388 vsize=14069564 CPUtime=1.85 cores=1,3,5,7
/proc/11391/task/11452/stat : 11452 (java) S 11388 11391 1330 0 -1 1077944384 9562 12527 0 0 176 2 5 2 20 0 15 0 47384231 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139886536374512 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11453] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11453/stat : 11453 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139886535322208 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11454] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11454/stat : 11454 (java) S 11388 11391 1330 0 -1 1077944384 108 12527 0 0 0 0 5 2 20 0 15 0 47384236 14407233536 93980 18446744073709551615 4194304 4196468 140735693534368 139886534269744 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
Current children cumulated CPU time (s) 14.65
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.57 1.45 1.43 3/209 11455
/proc/meminfo: memFree=30039384/32770624 swapFree=0/506284
[pid=11391] ppid=11388 vsize=14069564 CPUtime=23.03 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11388 11391 1330 0 -1 1077944320 97160 12527 0 0 2264 32 5 2 20 0 15 0 47384202 14407233536 138300 18446744073709551615 4194304 4196468 140735693534368 140735693516912 139887064465143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
/proc/11391/statm: 3517391 138300 3489 1 0 3506005 0
[pid=11391/tid=11441] ppid=11388 vsize=14069564 CPUtime=12.12 cores=1,3,5,7
/proc/11391/task/11441/stat : 11441 (java) R 11388 11391 1330 0 -1 4202560 50179 12527 0 0 1188 17 5 2 20 0 15 0 47384226 14407233536 138300 18446744073709551615 4194304 4196468 140735693534368 139887068699024 139886715500099 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11442] ppid=11388 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11391/task/11442/stat : 11442 (java) S 11388 11391 1330 0 -1 1077944384 870 12527 0 0 14 1 5 2 20 0 15 0 47384226 14407233536 138300 18446744073709551615 4194304 4196468 140735693534368 139887021431056 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11443] ppid=11388 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/11391/task/11443/stat : 11443 (java) S 11388 11391 1330 0 -1 1077944384 1351 12527 0 0 10 0 5 2 20 0 15 0 47384226 14407233536 138300 18446744073709551615 4194304 4196468 140735693534368 139887020378512 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11444] ppid=11388 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11391/task/11444/stat : 11444 (java) S 11388 11391 1330 0 -1 1077944384 302 12527 0 0 14 0 5 2 20 0 15 0 47384226 14407233536 138300 18446744073709551615 4194304 4196468 140735693534368 139887019325968 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11445] ppid=11388 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/11391/task/11445/stat : 11445 (java) S 11388 11391 1330 0 -1 1077944384 381 12527 0 0 9 1 5 2 20 0 15 0 47384226 14407233536 138300 18446744073709551615 4194304 4196468 140735693534368 139886661397136 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11446] ppid=11388 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/11391/task/11446/stat : 11446 (java) S 11388 11391 1330 0 -1 1077944384 2801 12527 0 0 13 0 5 2 20 0 15 0 47384228 14407233536 138300 18446744073709551615 4194304 4196468 140735693534368 139886542690800 139887064476290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11447] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11447/stat : 11447 (java) S 11388 11391 1330 0 -1 1077944384 60 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 138300 18446744073709551615 4194304 4196468 140735693534368 139886541637088 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11448] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11448/stat : 11448 (java) S 11388 11391 1330 0 -1 1077944384 44 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 138300 18446744073709551615 4194304 4196468 140735693534368 139886540584448 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11449] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11449/stat : 11449 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 138300 18446744073709551615 4194304 4196468 140735693534368 139886539533008 139887064483739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0

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

/proc/11391/task/11453/stat : 11453 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886535322208 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11454] ppid=11388 vsize=14069564 CPUtime=1.47 cores=1,3,5,7
/proc/11391/task/11454/stat : 11454 (java) S 11388 11391 1330 0 -1 1077944384 1231 12527 0 0 62 78 5 2 20 0 15 0 47384236 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886534269744 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
Current children cumulated CPU time (s) 2299.33
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.12 1.31 1.41 3/210 11745
/proc/meminfo: memFree=29917364/32770624 swapFree=0/506820
[pid=11391] ppid=11388 vsize=14069564 CPUtime=2360.04 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11388 11391 1330 0 -1 1077944320 200953 12527 0 0 235664 333 5 2 20 0 15 0 47384202 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 140735693516912 139887064465143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
/proc/11391/statm: 3517391 193726 3489 1 0 3506005 0
[pid=11391/tid=11441] ppid=11388 vsize=14069564 CPUtime=2299.48 cores=1,3,5,7
/proc/11391/task/11441/stat : 11441 (java) R 11388 11391 1330 0 -1 4202560 85126 12527 0 0 229893 48 5 2 20 0 15 0 47384226 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139887068699136 139886707293875 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11442] ppid=11388 vsize=14069564 CPUtime=9.71 cores=1,3,5,7
/proc/11391/task/11442/stat : 11442 (java) S 11388 11391 1330 0 -1 1077944384 8287 12527 0 0 907 57 5 2 20 0 15 0 47384226 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139887021431056 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11443] ppid=11388 vsize=14069564 CPUtime=9.66 cores=1,3,5,7
/proc/11391/task/11443/stat : 11443 (java) S 11388 11391 1330 0 -1 1077944384 9743 12527 0 0 907 52 5 2 20 0 15 0 47384226 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139887020378512 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11444] ppid=11388 vsize=14069564 CPUtime=9.73 cores=1,3,5,7
/proc/11391/task/11444/stat : 11444 (java) S 11388 11391 1330 0 -1 1077944384 9903 12527 0 0 911 55 5 2 20 0 15 0 47384226 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139887019325968 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11445] ppid=11388 vsize=14069564 CPUtime=9.65 cores=1,3,5,7
/proc/11391/task/11445/stat : 11445 (java) S 11388 11391 1330 0 -1 1077944384 13508 12527 0 0 907 51 5 2 20 0 15 0 47384226 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886661397136 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11446] ppid=11388 vsize=14069564 CPUtime=10.07 cores=1,3,5,7
/proc/11391/task/11446/stat : 11446 (java) S 11388 11391 1330 0 -1 1077944384 13078 12527 0 0 950 50 5 2 20 0 15 0 47384228 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886542690800 139887064476290 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11447] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11447/stat : 11447 (java) S 11388 11391 1330 0 -1 1077944384 60 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886541637088 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11448] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11448/stat : 11448 (java) S 11388 11391 1330 0 -1 1077944384 44 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886540584448 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11449] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11449/stat : 11449 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886539533008 139887064483739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11450] ppid=11388 vsize=14069564 CPUtime=3.86 cores=1,3,5,7
/proc/11391/task/11450/stat : 11450 (java) S 11388 11391 1330 0 -1 1077944384 14527 12527 0 0 376 3 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886538479600 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11451] ppid=11388 vsize=14069564 CPUtime=4.83 cores=1,3,5,7
/proc/11391/task/11451/stat : 11451 (java) S 11388 11391 1330 0 -1 1077944384 26711 12527 0 0 472 4 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886537427056 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11452] ppid=11388 vsize=14069564 CPUtime=2.04 cores=1,3,5,7
/proc/11391/task/11452/stat : 11452 (java) S 11388 11391 1330 0 -1 1077944384 16569 12527 0 0 194 3 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886536374512 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11453] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11453/stat : 11453 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886535322208 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11454] ppid=11388 vsize=14069564 CPUtime=1.5 cores=1,3,5,7
/proc/11391/task/11454/stat : 11454 (java) S 11388 11391 1330 0 -1 1077944384 1239 12527 0 0 63 80 5 2 20 0 15 0 47384236 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886534269744 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
Current children cumulated CPU time (s) 2360.04
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.30 1.32 1.41 3/209 11747
/proc/meminfo: memFree=29919616/32770624 swapFree=0/506832
[pid=11391] ppid=11388 vsize=14069564 CPUtime=2420.77 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11388 11391 1330 0 -1 1077944320 202286 12527 0 0 241730 340 5 2 20 0 15 0 47384202 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 140735693516912 139887064465143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
/proc/11391/statm: 3517391 193726 3489 1 0 3506005 0
[pid=11391/tid=11441] ppid=11388 vsize=14069564 CPUtime=2358.9 cores=1,3,5,7
/proc/11391/task/11441/stat : 11441 (java) R 11388 11391 1330 0 -1 4202560 85813 12527 0 0 235834 49 5 2 20 0 15 0 47384226 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139887068699184 139886700074955 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11442] ppid=11388 vsize=14069564 CPUtime=9.96 cores=1,3,5,7
/proc/11391/task/11442/stat : 11442 (java) S 11388 11391 1330 0 -1 1077944384 8547 12527 0 0 931 58 5 2 20 0 15 0 47384226 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139887021431056 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11443] ppid=11388 vsize=14069564 CPUtime=9.91 cores=1,3,5,7
/proc/11391/task/11443/stat : 11443 (java) S 11388 11391 1330 0 -1 1077944384 9765 12527 0 0 931 53 5 2 20 0 15 0 47384226 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139887020378512 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11444] ppid=11388 vsize=14069564 CPUtime=9.98 cores=1,3,5,7
/proc/11391/task/11444/stat : 11444 (java) S 11388 11391 1330 0 -1 1077944384 9936 12527 0 0 935 56 5 2 20 0 15 0 47384226 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139887019325968 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11445] ppid=11388 vsize=14069564 CPUtime=9.9 cores=1,3,5,7
/proc/11391/task/11445/stat : 11445 (java) S 11388 11391 1330 0 -1 1077944384 13602 12527 0 0 931 52 5 2 20 0 15 0 47384226 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886661397136 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11446] ppid=11388 vsize=14069564 CPUtime=10.33 cores=1,3,5,7
/proc/11391/task/11446/stat : 11446 (java) S 11388 11391 1330 0 -1 1077944384 13301 12527 0 0 975 51 5 2 20 0 15 0 47384228 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886542690800 139887064476290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11447] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11447/stat : 11447 (java) S 11388 11391 1330 0 -1 1077944384 60 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886541637088 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11448] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11448/stat : 11448 (java) S 11388 11391 1330 0 -1 1077944384 44 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886540584448 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11449] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11449/stat : 11449 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886539533008 139887064483739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11450] ppid=11388 vsize=14069564 CPUtime=3.86 cores=1,3,5,7
/proc/11391/task/11450/stat : 11450 (java) S 11388 11391 1330 0 -1 1077944384 14529 12527 0 0 376 3 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886538479600 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11451] ppid=11388 vsize=14069564 CPUtime=4.83 cores=1,3,5,7
/proc/11391/task/11451/stat : 11451 (java) S 11388 11391 1330 0 -1 1077944384 26713 12527 0 0 472 4 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886537427056 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11452] ppid=11388 vsize=14069564 CPUtime=2.04 cores=1,3,5,7
/proc/11391/task/11452/stat : 11452 (java) S 11388 11391 1330 0 -1 1077944384 16571 12527 0 0 194 3 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886536374512 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11453] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11453/stat : 11453 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886535322208 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11454] ppid=11388 vsize=14069564 CPUtime=1.54 cores=1,3,5,7
/proc/11391/task/11454/stat : 11454 (java) S 11388 11391 1330 0 -1 1077944384 1247 12527 0 0 65 82 5 2 20 0 15 0 47384236 14407233536 193726 18446744073709551615 4194304 4196468 140735693534368 139886534269744 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
Current children cumulated CPU time (s) 2420.77
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.09 1.27 1.39 3/209 11749
/proc/meminfo: memFree=29918280/32770624 swapFree=0/506828
[pid=11391] ppid=11388 vsize=14069564 CPUtime=2481.51 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11388 11391 1330 0 -1 1077944320 202885 12527 0 0 247796 348 5 2 20 0 15 0 47384202 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 140735693516912 139887064465143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
/proc/11391/statm: 3517391 194238 3489 1 0 3506005 0
[pid=11391/tid=11441] ppid=11388 vsize=14069564 CPUtime=2418.32 cores=1,3,5,7
/proc/11391/task/11441/stat : 11441 (java) R 11388 11391 1330 0 -1 4202560 86320 12527 0 0 241776 49 5 2 20 0 15 0 47384226 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139887068698928 139886702356787 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11442] ppid=11388 vsize=14069564 CPUtime=10.22 cores=1,3,5,7
/proc/11391/task/11442/stat : 11442 (java) S 11388 11391 1330 0 -1 1077944384 8573 12527 0 0 956 59 5 2 20 0 15 0 47384226 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139887021431056 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11443] ppid=11388 vsize=14069564 CPUtime=10.18 cores=1,3,5,7
/proc/11391/task/11443/stat : 11443 (java) S 11388 11391 1330 0 -1 1077944384 9782 12527 0 0 956 55 5 2 20 0 15 0 47384226 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139887020378512 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11444] ppid=11388 vsize=14069564 CPUtime=10.23 cores=1,3,5,7
/proc/11391/task/11444/stat : 11444 (java) S 11388 11391 1330 0 -1 1077944384 9960 12527 0 0 958 58 5 2 20 0 15 0 47384226 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139887019325968 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11445] ppid=11388 vsize=14069564 CPUtime=10.16 cores=1,3,5,7
/proc/11391/task/11445/stat : 11445 (java) S 11388 11391 1330 0 -1 1077944384 13613 12527 0 0 955 54 5 2 20 0 15 0 47384226 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886661397136 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11446] ppid=11388 vsize=14069564 CPUtime=10.59 cores=1,3,5,7
/proc/11391/task/11446/stat : 11446 (java) S 11388 11391 1330 0 -1 1077944384 13311 12527 0 0 1000 52 5 2 20 0 15 0 47384228 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886542690800 139887064476290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11447] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11447/stat : 11447 (java) S 11388 11391 1330 0 -1 1077944384 60 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886541637088 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11448] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11448/stat : 11448 (java) S 11388 11391 1330 0 -1 1077944384 44 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886540584448 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11449] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11449/stat : 11449 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886539533008 139887064483739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11450] ppid=11388 vsize=14069564 CPUtime=3.86 cores=1,3,5,7
/proc/11391/task/11450/stat : 11450 (java) S 11388 11391 1330 0 -1 1077944384 14529 12527 0 0 376 3 5 2 20 0 15 0 47384231 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886538479600 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11451] ppid=11388 vsize=14069564 CPUtime=4.83 cores=1,3,5,7
/proc/11391/task/11451/stat : 11451 (java) S 11388 11391 1330 0 -1 1077944384 26713 12527 0 0 472 4 5 2 20 0 15 0 47384231 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886537427056 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11452] ppid=11388 vsize=14069564 CPUtime=2.04 cores=1,3,5,7
/proc/11391/task/11452/stat : 11452 (java) S 11388 11391 1330 0 -1 1077944384 16571 12527 0 0 194 3 5 2 20 0 15 0 47384231 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886536374512 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11453] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11453/stat : 11453 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886535322208 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11454] ppid=11388 vsize=14069564 CPUtime=1.59 cores=1,3,5,7
/proc/11391/task/11454/stat : 11454 (java) S 11388 11391 1330 0 -1 1077944384 1251 12527 0 0 67 85 5 2 20 0 15 0 47384236 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886534269744 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
Current children cumulated CPU time (s) 2481.51
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2480.4 s]
/proc/loadavg: 1.25 1.30 1.39 3/209 11750
/proc/meminfo: memFree=29918376/32770624 swapFree=0/506824
[pid=11391] ppid=11388 vsize=14069564 CPUtime=2520.07 cores=1,3,5,7
/proc/11391/stat : 11391 (java) S 11388 11391 1330 0 -1 1077944320 203917 12527 0 0 251648 352 5 2 20 0 15 0 47384202 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 140735693516912 139887064465143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
/proc/11391/statm: 3517391 194238 3489 1 0 3506005 0
[pid=11391/tid=11441] ppid=11388 vsize=14069564 CPUtime=2456.03 cores=1,3,5,7
/proc/11391/task/11441/stat : 11441 (java) R 11388 11391 1330 0 -1 4202560 86737 12527 0 0 245546 50 5 2 20 0 15 0 47384226 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139887068698960 139886702358558 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11442] ppid=11388 vsize=14069564 CPUtime=10.39 cores=1,3,5,7
/proc/11391/task/11442/stat : 11442 (java) S 11388 11391 1330 0 -1 1077944384 8595 12527 0 0 971 61 5 2 20 0 15 0 47384226 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139887021431056 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11443] ppid=11388 vsize=14069564 CPUtime=10.33 cores=1,3,5,7
/proc/11391/task/11443/stat : 11443 (java) S 11388 11391 1330 0 -1 1077944384 9873 12527 0 0 971 55 5 2 20 0 15 0 47384226 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139887020378512 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11444] ppid=11388 vsize=14069564 CPUtime=10.4 cores=1,3,5,7
/proc/11391/task/11444/stat : 11444 (java) S 11388 11391 1330 0 -1 1077944384 9964 12527 0 0 974 59 5 2 20 0 15 0 47384226 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139887019325968 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11445] ppid=11388 vsize=14069564 CPUtime=10.32 cores=1,3,5,7
/proc/11391/task/11445/stat : 11445 (java) S 11388 11391 1330 0 -1 1077944384 13876 12527 0 0 971 54 5 2 20 0 15 0 47384226 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886661397136 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11446] ppid=11388 vsize=14069564 CPUtime=10.76 cores=1,3,5,7
/proc/11391/task/11446/stat : 11446 (java) S 11388 11391 1330 0 -1 1077944384 13523 12527 0 0 1016 53 5 2 20 0 15 0 47384228 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886542690800 139887064476290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11447] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11447/stat : 11447 (java) S 11388 11391 1330 0 -1 1077944384 60 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886541637088 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11448] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11448/stat : 11448 (java) S 11388 11391 1330 0 -1 1077944384 44 12527 0 0 0 0 5 2 20 0 15 0 47384228 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886540584448 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11449] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11449/stat : 11449 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886539533008 139887064483739 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11450] ppid=11388 vsize=14069564 CPUtime=3.87 cores=1,3,5,7
/proc/11391/task/11450/stat : 11450 (java) S 11388 11391 1330 0 -1 1077944384 14531 12527 0 0 377 3 5 2 20 0 15 0 47384231 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886538479600 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11451] ppid=11388 vsize=14069564 CPUtime=4.83 cores=1,3,5,7
/proc/11391/task/11451/stat : 11451 (java) S 11388 11391 1330 0 -1 1077944384 26716 12527 0 0 472 4 5 2 20 0 15 0 47384231 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886537427056 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11452] ppid=11388 vsize=14069564 CPUtime=2.04 cores=1,3,5,7
/proc/11391/task/11452/stat : 11452 (java) S 11388 11391 1330 0 -1 1077944384 16573 12527 0 0 194 3 5 2 20 0 15 0 47384231 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886536374512 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11453] ppid=11388 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/11391/task/11453/stat : 11453 (java) S 11388 11391 1330 0 -1 1077944384 3 12527 0 0 0 0 5 2 20 0 15 0 47384231 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886535322208 139887064475349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
[pid=11391/tid=11454] ppid=11388 vsize=14069564 CPUtime=1.61 cores=1,3,5,7
/proc/11391/task/11454/stat : 11454 (java) S 11388 11391 1330 0 -1 1077944384 1267 12527 0 0 68 86 5 2 20 0 15 0 47384236 14407233536 194238 18446744073709551615 4194304 4196468 140735693534368 139886534269744 139887064476290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10502144 140735693539280 140735693542065 140735693542065 140735693545423 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 14069564

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 11391 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2480.43
CPU time (s): 2520.12
CPU user time (s): 2516.56
CPU system time (s): 3.56822
CPU usage (%): 101.601
Max. virtual memory (cumulated for all children) (KiB): 14072252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.56
system time used= 3.56822
maximum resident set size= 777608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275746
involuntary context switches= 7381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.942 second user time and 15.4494 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-11 13:26:29
IDJOB=4262088
IDBENCH=129228
IDSOLVER=2650
FILE ID=node125/4262088-1502451634
RUNJOBID= node125-1502411403-1395
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-02-03.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262088-1502451634/watcher-4262088-1502451634 -o /tmp/evaluation-result-4262088-1502451634/solver-4262088-1502451634 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580  bin/concrete HOME/instance-4262088-1502451634.xml

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

MD5SUM BENCH= abd8ffabcee15199c8d23122c13b1758
RANDOM SEED=913997680

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30550884 kB
MemAvailable:   31313560 kB
Buffers:          251132 kB
Cached:           803112 kB
SwapCached:            0 kB
Active:          1265752 kB
Inactive:         530856 kB
Active(anon):     742844 kB
Inactive(anon):    24908 kB
Active(file):     522908 kB
Inactive(file):   505948 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24368 kB
Writeback:             0 kB
AnonPages:        742256 kB
Mapped:            54720 kB
Shmem:             25252 kB
Slab:             125376 kB
SReclaimable:      99312 kB
SUnreclaim:        26064 kB
KernelStack:        3392 kB
PageTables:         8128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1521704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    651264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node125 at 2017-08-11 14:07:50