Trace number 4259702

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 252.509 240.033

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 benchmark18.4881
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.30/2.38	c Concrete v3.4 running
9.63/4.61	o 736
9.63/4.66	o 735
9.98/4.70	o 734
9.98/4.75	o 733
9.98/4.78	o 732
10.32/4.82	o 731
10.32/4.84	o 730
10.32/4.87	o 729
10.32/4.89	o 728
10.66/4.91	o 727
10.66/4.93	o 726
10.66/4.95	o 725
10.66/4.97	o 724
10.66/4.99	o 723
10.97/5.01	o 722
10.97/5.04	o 721
10.97/5.08	o 720
11.27/5.12	o 719
11.27/5.15	o 718
11.27/5.16	o 717
11.27/5.18	o 716
11.27/5.19	o 715
11.57/5.20	o 714
11.57/5.21	o 713
11.57/5.22	o 712
11.57/5.24	o 711
11.57/5.25	o 710
11.57/5.26	o 709
11.57/5.27	o 708
11.57/5.28	o 707
11.57/5.29	o 706
11.87/5.30	o 705
11.87/5.31	o 704
11.87/5.32	o 703
11.87/5.33	o 702
11.87/5.34	o 701
11.87/5.35	o 700
11.87/5.36	o 699
11.87/5.37	o 698
11.87/5.38	o 697
11.87/5.39	o 696
12.18/5.42	o 695
12.18/5.43	o 694
12.18/5.44	o 693
12.18/5.45	o 692
12.18/5.46	o 691
12.18/5.46	o 690
12.18/5.47	o 689
12.18/5.48	o 688
12.18/5.49	o 687
12.52/5.51	o 686
12.52/5.51	o 685
12.52/5.52	o 684
12.52/5.53	o 683
12.52/5.54	o 682
12.52/5.55	o 681
12.52/5.56	o 680
12.52/5.56	o 679
12.52/5.57	o 678
12.52/5.58	o 677
12.52/5.59	o 676
12.52/5.60	o 675
12.71/5.61	o 674
12.71/5.62	o 673
12.71/5.63	o 672
12.71/5.64	o 671
12.71/5.65	o 670
12.71/5.66	o 669
12.71/5.66	o 668
12.71/5.67	o 667
12.71/5.68	o 666
12.71/5.69	o 665
12.95/5.70	o 664
12.95/5.71	o 663
12.95/5.72	o 662
12.95/5.73	o 661
12.95/5.73	o 660
12.95/5.74	o 659
12.95/5.75	o 658
12.95/5.76	o 657
12.95/5.77	o 656
12.95/5.78	o 655
12.95/5.78	o 654
12.95/5.79	o 653
13.09/5.80	o 652
13.09/5.81	o 651
13.09/5.82	o 650
13.09/5.83	o 649
13.09/5.83	o 648
13.09/5.84	o 647
13.09/5.85	o 646
13.09/5.86	o 645
13.09/5.87	o 644
13.09/5.87	o 643
13.09/5.88	o 642
13.09/5.89	o 641
13.30/5.90	o 640
13.30/5.91	o 639
13.30/5.91	o 638
13.30/5.92	o 637
13.30/5.93	o 636
13.30/5.94	o 635
13.30/5.94	o 634
13.30/5.95	o 633
13.30/5.96	o 632
13.30/5.97	o 631
13.30/5.98	o 630
13.30/5.98	o 629
13.30/5.99	o 628
13.50/6.00	o 627
13.50/6.01	o 626
13.50/6.01	o 625
13.50/6.02	o 624
13.50/6.03	o 623
13.50/6.04	o 622
13.50/6.05	o 621
13.50/6.05	o 620
13.50/6.06	o 619
13.50/6.07	o 618
13.50/6.08	o 617
13.50/6.08	o 616
13.50/6.09	o 615
13.76/6.10	o 614
13.76/6.11	o 613
13.76/6.11	o 612
13.76/6.12	o 611
13.76/6.13	o 610
13.76/6.14	o 609
13.76/6.14	o 608
13.76/6.15	o 607
13.76/6.16	o 606
13.76/6.16	o 605
13.76/6.17	o 604
13.76/6.18	o 603
13.76/6.19	o 602
13.76/6.19	o 601
14.06/6.20	o 600
14.06/6.21	o 599
14.06/6.21	o 598
14.06/6.22	o 597
14.06/6.23	o 596
14.06/6.24	o 595
14.06/6.24	o 594
14.06/6.25	o 593
14.06/6.26	o 592
14.06/6.26	o 591
14.06/6.27	o 590
14.06/6.28	o 589
14.06/6.28	o 588
14.06/6.29	o 587
14.06/6.30	o 586
14.35/6.30	o 585
14.35/6.31	o 584
14.35/6.32	o 583
14.35/6.32	o 582
14.35/6.33	o 581
14.35/6.34	o 580
14.35/6.35	o 579
14.35/6.35	o 578
14.35/6.37	o 577
14.35/6.40	o 576
14.66/6.42	o 575
14.66/6.45	o 574
14.66/6.48	o 573
14.96/6.50	o 572
14.96/6.53	o 571
14.96/6.55	o 570
14.96/6.57	o 569
14.96/6.60	o 568
15.29/6.62	o 567
15.29/6.63	o 566
15.29/6.64	o 565
15.29/6.64	o 564
15.29/6.65	o 563
15.29/6.65	o 562
15.29/6.66	o 561
15.29/6.67	o 560
15.29/6.67	o 559
15.29/6.68	o 558
15.29/6.69	o 557
15.29/6.69	o 556
15.29/6.70	o 555
15.53/6.70	o 554
15.53/6.71	o 553
15.53/6.72	o 552
15.53/6.72	o 551
15.53/6.73	o 550
15.53/6.74	o 549
15.53/6.74	o 548
15.53/6.75	o 547
15.53/6.75	o 546
15.53/6.76	o 545
15.53/6.77	o 544
15.53/6.77	o 543
15.53/6.78	o 542
15.53/6.79	o 541
15.53/6.79	o 540
15.72/6.80	o 539
15.72/6.80	o 538
15.72/6.81	o 537
15.72/6.82	o 536
15.72/6.82	o 535
15.72/6.83	o 534
15.72/6.83	o 533
15.72/6.84	o 532
15.72/6.85	o 531
15.72/6.85	o 530
15.72/6.86	o 529
15.72/6.86	o 528
15.72/6.87	o 527
15.72/6.88	o 526
15.72/6.88	o 525
15.72/6.89	o 524
15.72/6.89	o 523
15.83/6.90	o 522
15.83/6.90	o 521
15.83/6.91	o 520
15.83/6.92	o 519
15.83/6.92	o 518
15.83/6.93	o 517
15.83/6.93	o 516
15.83/6.94	o 515
15.83/6.95	o 514
15.83/6.95	o 513
15.83/6.96	o 512
15.83/6.97	o 511
15.83/6.97	o 510
15.83/6.98	o 509
15.83/6.98	o 508
15.83/6.99	o 507
15.93/7.00	o 506
15.93/7.00	o 505
15.93/7.01	o 504
15.93/7.02	o 503
15.93/7.02	o 502
15.93/7.03	o 501
15.93/7.03	o 500
15.93/7.04	o 499
15.93/7.05	o 498
15.93/7.06	o 497
15.93/7.06	o 496
15.93/7.07	o 495
15.93/7.07	o 494
15.93/7.08	o 493
15.93/7.09	o 492
15.93/7.09	o 491
15.93/7.10	o 490
16.05/7.10	o 489
16.05/7.11	o 488
16.05/7.11	o 487
16.05/7.12	o 486
16.05/7.13	o 485
16.05/7.13	o 484
16.05/7.14	o 483
16.05/7.14	o 482
16.05/7.15	o 481
16.05/7.16	o 480
16.05/7.16	o 479
16.05/7.17	o 478
16.05/7.17	o 477
16.05/7.18	o 476
16.05/7.18	o 475
16.05/7.19	o 474
16.20/7.20	o 473
16.20/7.20	o 472
16.20/7.21	o 471
16.20/7.21	o 470
16.20/7.22	o 469
16.20/7.23	o 468
16.20/7.23	o 467
16.20/7.24	o 466
16.20/7.24	o 465
16.20/7.25	o 464
16.20/7.26	o 463
16.20/7.26	o 462
16.20/7.27	o 461
16.20/7.27	o 460
16.20/7.28	o 459
16.20/7.29	o 458
16.20/7.29	o 457
16.33/7.30	o 456
16.33/7.30	o 455
16.33/7.31	o 454
16.33/7.31	o 453
16.33/7.32	o 452
16.33/7.33	o 451
16.33/7.33	o 450
16.33/7.34	o 449
16.33/7.34	o 448
16.33/7.35	o 447
16.33/7.35	o 446
16.33/7.36	o 445
16.33/7.37	o 444
16.33/7.37	o 443
16.33/7.38	o 442
16.33/7.38	o 441
16.33/7.39	o 440
16.33/7.40	o 439
16.45/7.40	o 438
16.45/7.41	o 437
16.45/7.41	o 436
16.45/7.42	o 435
16.45/7.42	o 434
16.45/7.43	o 433
16.45/7.44	o 432
16.45/7.44	o 431
16.45/7.45	o 430
16.45/7.45	o 429
16.45/7.46	o 428
16.45/7.47	o 427
16.45/7.47	o 426
16.45/7.48	o 425
16.45/7.49	o 424
16.45/7.49	o 423
16.55/7.50	o 422
16.55/7.50	o 421
16.55/7.51	o 420
16.55/7.51	o 419
16.55/7.52	o 418
16.55/7.53	o 417
16.55/7.53	o 416
16.55/7.54	o 415
16.55/7.54	o 414
16.55/7.55	o 413
16.55/7.56	o 412
16.55/7.56	o 411
16.55/7.57	o 410
16.55/7.57	o 409
16.55/7.58	o 408
16.55/7.58	o 407
16.55/7.59	o 406
16.55/7.60	o 405
16.66/7.60	o 404
16.66/7.61	o 403
16.66/7.61	o 402
16.66/7.62	o 401
16.66/7.63	o 400
16.66/7.63	o 399
16.66/7.64	o 398
16.66/7.64	o 397
16.66/7.65	o 396
16.66/7.66	o 395
16.66/7.66	o 394
16.66/7.67	o 393
16.66/7.67	o 392
16.66/7.68	o 391
16.66/7.69	o 390
16.66/7.69	o 389
16.66/7.70	o 388
16.77/7.70	o 387
16.77/7.71	o 386
16.77/7.71	o 385
16.77/7.72	o 384
16.77/7.73	o 383
16.77/7.73	o 382
16.77/7.74	o 381
16.77/7.74	o 380
16.77/7.75	o 379
16.77/7.75	o 378
16.77/7.76	o 377
16.77/7.77	o 376
16.77/7.77	o 375
16.77/7.78	o 374
16.77/7.78	o 373
16.77/7.79	o 372
16.77/7.79	o 371
16.77/7.80	o 370
16.88/7.81	o 369
16.88/7.81	o 368
16.88/7.82	o 367
16.88/7.82	o 366
16.88/7.83	o 365
16.88/7.83	o 364
16.88/7.84	o 363
16.88/7.84	o 362
16.88/7.85	o 361
16.88/7.86	o 360
16.88/7.86	o 359
16.88/7.87	o 358
16.88/7.88	o 357
16.88/7.88	o 356
16.88/7.89	o 355
16.88/7.89	o 354
16.99/7.90	o 353
16.99/7.91	o 352
16.99/7.91	o 351
16.99/7.92	o 350
16.99/7.92	o 349
16.99/7.93	o 348
16.99/7.94	o 347
16.99/7.94	o 346
16.99/7.95	o 345
16.99/7.96	o 344
16.99/7.96	o 343
16.99/7.97	o 342
16.99/7.98	o 341
16.99/7.98	o 340
16.99/7.99	o 339
16.99/8.00	o 338
17.14/8.00	o 337
17.14/8.01	o 336
17.14/8.01	o 335
17.14/8.02	o 334
17.14/8.03	o 333
17.14/8.03	o 332
17.14/8.04	o 331
17.14/8.05	o 330
17.14/8.05	o 329
17.14/8.06	o 328
17.14/8.07	o 327
17.14/8.07	o 326
17.14/8.08	o 325
17.14/8.08	o 324
17.14/8.09	o 323
17.14/8.09	o 322
17.24/8.10	o 321
17.24/8.10	o 320
17.24/8.11	o 319
17.24/8.12	o 318
17.24/8.12	o 317
17.24/8.13	o 316
17.24/8.13	o 315
17.24/8.14	o 314
17.24/8.14	o 313
17.24/8.15	o 312
17.24/8.16	o 311
17.24/8.16	o 310
17.24/8.17	o 309
17.24/8.17	o 308
17.24/8.18	o 307
17.24/8.18	o 306
17.24/8.19	o 305
17.24/8.20	o 304
17.34/8.20	o 303
17.34/8.21	o 302
17.34/8.21	o 301
17.34/8.22	o 300
17.34/8.23	o 299
17.34/8.23	o 298
17.34/8.24	o 297
17.34/8.24	o 296
17.34/8.25	o 295
17.34/8.26	o 294
17.34/8.26	o 293
17.34/8.27	o 292
17.34/8.27	o 291
17.34/8.28	o 290
17.34/8.29	o 289
17.34/8.29	o 288
17.45/8.30	o 287
17.45/8.30	o 286
17.45/8.31	o 285
17.45/8.32	o 284
17.45/8.32	o 283
17.45/8.33	o 282
17.45/8.33	o 281
17.45/8.34	o 280
17.45/8.34	o 279
17.45/8.35	o 278
17.45/8.36	o 277
17.45/8.36	o 276
17.45/8.37	o 275
17.45/8.37	o 274
17.45/8.38	o 273
17.45/8.38	o 272
17.45/8.39	o 271
17.45/8.39	o 270
17.55/8.40	o 269
17.55/8.41	o 268
17.55/8.41	o 267
17.55/8.42	o 266
17.55/8.42	o 265
17.55/8.43	o 264
17.55/8.44	o 263
17.55/8.44	o 262
17.55/8.45	o 261
17.55/8.45	o 260
17.55/8.46	o 259
17.55/8.46	o 258
17.55/8.47	o 257
17.55/8.48	o 256
17.55/8.48	o 255
17.55/8.49	o 254
17.55/8.49	o 253
17.65/8.50	o 252
17.65/8.51	o 251
17.65/8.51	o 250
17.65/8.52	o 249
17.65/8.52	o 248
17.65/8.53	o 247
17.65/8.54	o 246
17.65/8.54	o 245
17.65/8.55	o 244
17.65/8.55	o 243
17.65/8.56	o 242
17.65/8.56	o 241
17.65/8.57	o 240
17.65/8.58	o 239
17.65/8.58	o 238
17.65/8.59	o 237
17.65/8.60	o 236
17.79/8.60	o 235
17.79/8.61	o 234
17.79/8.61	o 233
17.79/8.62	o 232
17.79/8.63	o 231
17.79/8.63	o 230
17.79/8.64	o 229
17.79/8.64	o 228
17.79/8.65	o 227
17.79/8.66	o 226
17.79/8.66	o 225
17.79/8.67	o 224
17.79/8.68	o 223
17.79/8.68	o 222
17.79/8.69	o 221
17.79/8.69	o 220
17.92/8.70	o 219
17.92/8.71	o 218
17.92/8.71	o 217
17.92/8.72	o 216
17.92/8.73	o 215
17.92/8.73	o 214
17.92/8.74	o 213
17.92/8.74	o 212
17.92/8.75	o 211
17.92/8.75	o 210
17.92/8.76	o 209
17.92/8.77	o 208
17.92/8.77	o 207
17.92/8.78	o 206
17.92/8.79	o 205
17.92/8.79	o 204
17.92/8.80	o 203
18.04/8.80	o 202
18.04/8.81	o 201
18.04/8.82	o 200
18.04/8.82	o 199
18.04/8.83	o 198
18.04/8.83	o 197
18.04/8.84	o 196
18.04/8.85	o 195
18.04/8.85	o 194
18.04/8.86	o 193
18.04/8.86	o 192
18.04/8.87	o 191
18.04/8.88	o 190
18.04/8.88	o 189
18.04/8.89	o 188
18.04/8.89	o 187
18.04/8.90	o 186
18.24/8.91	o 185
18.24/8.91	o 184
18.24/8.92	o 183
18.24/8.92	o 182
18.24/8.93	o 181
18.24/8.94	o 180
18.24/8.94	o 179
18.24/8.95	o 178
18.24/8.95	o 177
18.24/8.96	o 176
18.24/8.97	o 175
18.24/8.97	o 174
18.24/8.98	o 173
18.24/8.98	o 172
18.24/8.99	o 171
18.24/8.99	o 170
18.35/9.00	o 169
18.35/9.01	o 168
18.35/9.01	o 167
18.35/9.02	o 166
18.35/9.02	o 165
18.35/9.03	o 164
18.35/9.04	o 163
18.35/9.04	o 162
18.35/9.05	o 161
18.35/9.05	o 160
18.35/9.06	o 159
18.35/9.06	o 158
18.35/9.07	o 157
18.35/9.08	o 156
18.35/9.08	o 155
18.35/9.09	o 154
18.35/9.09	o 153
18.45/9.10	o 152
18.45/9.11	o 151
18.45/9.11	o 150
18.45/9.12	o 149
18.45/9.12	o 148
18.45/9.13	o 147
18.45/9.14	o 146
18.45/9.14	o 145
18.45/9.15	o 144
18.45/9.15	o 143
18.45/9.16	o 142
18.45/9.17	o 141
18.45/9.17	o 140
18.45/9.18	o 139
18.45/9.19	o 138
18.45/9.19	o 137
18.55/9.20	o 136
18.55/9.21	o 135
18.55/9.21	o 134
18.55/9.22	o 133
18.55/9.23	o 132
18.55/9.23	o 131
18.55/9.24	o 130
18.55/9.25	o 129
18.55/9.25	o 128
18.55/9.26	o 127
18.55/9.27	o 126
18.55/9.27	o 125
18.55/9.28	o 124
18.55/9.29	o 123
18.55/9.29	o 122
18.67/9.30	o 121
18.67/9.30	o 120
18.67/9.31	o 119
18.67/9.32	o 118
18.67/9.32	o 117
18.67/9.33	o 116
18.67/9.34	o 115
18.67/9.34	o 114
18.67/9.35	o 113
18.67/9.35	o 112
18.67/9.36	o 111
18.67/9.38	o 110
18.67/9.40	o 109
18.88/9.40	o 108
18.88/9.42	o 107
18.88/9.43	o 106
18.88/9.46	o 105
19.11/9.50	o 104
19.11/9.51	o 103
19.11/9.51	o 102
19.11/9.52	o 101
20.58/10.55	o 100
20.58/10.58	o 99
20.68/10.62	o 98
25.06/14.71	o 97
29.12/18.72	o 96
252.46/240.00	java.util.concurrent.TimeoutException
252.46/240.00		at concrete.MAC.mac(MAC.scala:74)
252.46/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.46/240.00		at scala.util.Try$.apply(Try.scala:209)
252.46/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.46/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.46/240.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.46/240.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.46/240.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.46/240.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.46/240.00		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.46/240.00		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.46/240.00		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.46/240.00		at concrete.MAC.oneRun(MAC.scala:146)
252.46/240.00		at concrete.MAC.nextSolution(MAC.scala:166)
252.46/240.00		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.46/240.00		at concrete.ProblemState.map(ProblemState.scala:203)
252.46/240.00		at concrete.ProblemState.map(ProblemState.scala:188)
252.46/240.00		at concrete.MAC.nextSolution(MAC.scala:195)
252.46/240.00		at concrete.Solver.hasNext(Solver.scala:202)
252.46/240.00		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.46/240.00		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.46/240.00		at concrete.Solver.toStream(Solver.scala:73)
252.46/240.00		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.46/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.46/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.46/240.00		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.46/240.00		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.46/240.00		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.46/240.00		at scala.util.Success.map(Try.scala:209)
252.46/240.00		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.46/240.00		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.46/240.00		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.46/240.00		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.46/240.00		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.46/240.00		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.46/240.00		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.46/240.00		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.46/240.00		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.46/240.00		at scala.collection.immutable.List.foreach(List.scala:389)
252.46/240.00		at scala.App.main(App.scala:76)
252.46/240.00		at scala.App.main$(App.scala:74)
252.46/240.00		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.46/240.00		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.46/240.01	v <instantiation cost="96">
252.46/240.01	v       <list>
252.46/240.01	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]
252.46/240.01	v       </list>
252.46/240.01	v       <values>
252.46/240.01	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
252.46/240.01	v       </values>
252.46/240.01	v     </instantiation>
252.46/240.01	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-4259702-1501655111/watcher-4259702-1501655111 -o /tmp/evaluation-result-4259702-1501655111/solver-4259702-1501655111 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29418 --watchdog 300 bin/concrete HOME/instance-4259702-1501655111.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.86 2.20 1.97 2/195 13049
/proc/meminfo: memFree=30300824/32770624 swapFree=0/949676
[pid=13049] ppid=13046 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13049/stat : 13049 (runsolver) D 13046 13049 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 14135774 24240128 107 18446744073709551615 4194304 4338465 140736589108384 140736589106024 140313957409495 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 25780224 140736589115600 140736589115974 140736589115974 140736589119434 0
/proc/13049/statm: 5918 107 54 36 0 2156 0

[startup+0.100099 s]
/proc/loadavg: 1.86 2.20 1.97 2/195 13049
/proc/meminfo: memFree=30300824/32770624 swapFree=0/949676
[pid=13049] ppid=13046 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/13049/stat : 13049 (bash) S 13046 13049 5678 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 14135774 9736192 352 18446744073709551615 4194304 5098028 140732783342832 140732783340472 139753060793344 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 22478848 140732783346193 140732783346278 140732783346278 140732783349738 0
/proc/13049/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200264 s]
/proc/loadavg: 1.86 2.20 1.97 2/195 13049
/proc/meminfo: memFree=30300824/32770624 swapFree=0/949676
[pid=13049] ppid=13046 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/13049/stat : 13049 (bash) S 13046 13049 5678 0 -1 4202496 897 6483 0 0 0 0 0 1 20 0 1 0 14135774 9867264 377 18446744073709551615 4194304 5098028 140732783342832 140732783336840 139753060793344 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 22478848 140732783346193 140732783346278 140732783346278 140732783349738 0
/proc/13049/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300323 s]
/proc/loadavg: 1.86 2.20 1.97 2/195 13049
/proc/meminfo: memFree=30300824/32770624 swapFree=0/949676
[pid=13049] ppid=13046 vsize=13574488 CPUtime=0.11 cores=1,3,5,7
/proc/13049/stat : 13049 (java) S 13046 13049 5678 0 -1 1077944320 4903 12831 0 0 2 1 5 3 20 0 9 0 14135774 13900275712 4675 18446744073709551615 4194304 4196468 140729636095696 140729636078240 140094912556791 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
/proc/13049/statm: 3393622 4675 2077 1 0 3383127 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13574488

[startup+0.701108 s]
/proc/loadavg: 1.86 2.20 1.97 2/195 13049
/proc/meminfo: memFree=30300824/32770624 swapFree=0/949676
[pid=13049] ppid=13046 vsize=13974784 CPUtime=0.45 cores=1,3,5,7
/proc/13049/stat : 13049 (java) S 13046 13049 5678 0 -1 1077944320 12905 12831 0 0 33 4 5 3 20 0 15 0 14135774 14310178816 13202 18446744073709551615 4194304 4196468 140729636095696 140729636078240 140094912556791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
/proc/13049/statm: 3493696 13202 3049 1 0 3482973 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13974784

[startup+1.50064 s]
/proc/loadavg: 1.87 2.20 1.97 3/210 13112
/proc/meminfo: memFree=30218056/32770624 swapFree=0/949720
[pid=13049] ppid=13046 vsize=13983360 CPUtime=1.6 cores=1,3,5,7
/proc/13049/stat : 13049 (java) S 13046 13049 5678 0 -1 1077944320 25327 12831 0 0 144 8 5 3 20 0 15 0 14135774 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140729636078240 140094912556791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
/proc/13049/statm: 3495840 31739 3328 1 0 3485021 0
[pid=13049/tid=13099] ppid=13046 vsize=13983360 CPUtime=1.13 cores=1,3,5,7
/proc/13049/task/13099/stat : 13099 (java) R 13046 13049 5678 0 -1 4202560 20734 12831 0 0 99 6 5 3 20 0 15 0 14135801 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094916791848 140094912578717 0 4 1 16800974 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13100] ppid=13046 vsize=13983360 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13100/stat : 13100 (java) S 13046 13049 5678 0 -1 1077944384 1 12831 0 0 0 0 5 3 20 0 15 0 14135802 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094512569360 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13101] ppid=13046 vsize=13983360 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13101/stat : 13101 (java) S 13046 13049 5678 0 -1 1077944384 1 12831 0 0 0 0 5 3 20 0 15 0 14135802 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094511516816 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13102] ppid=13046 vsize=13983360 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13102/stat : 13102 (java) S 13046 13049 5678 0 -1 1077944384 1 12831 0 0 0 0 5 3 20 0 15 0 14135802 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094510463760 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13103] ppid=13046 vsize=13983360 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13103/stat : 13103 (java) S 13046 13049 5678 0 -1 1077944384 2 12831 0 0 0 0 5 3 20 0 15 0 14135802 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094509411216 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13104] ppid=13046 vsize=13983360 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13104/stat : 13104 (java) S 13046 13049 5678 0 -1 1077944384 5 12831 0 0 0 0 5 3 20 0 15 0 14135803 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094458231024 140094912567938 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13105] ppid=13046 vsize=13983360 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13105/stat : 13105 (java) S 13046 13049 5678 0 -1 1077944384 33 12831 0 0 0 0 5 3 20 0 15 0 14135803 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094457177248 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13106] ppid=13046 vsize=13983360 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13106/stat : 13106 (java) S 13046 13049 5678 0 -1 1077944384 21 12831 0 0 0 0 5 3 20 0 15 0 14135804 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094456124144 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13107] ppid=13046 vsize=13983360 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13107/stat : 13107 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135806 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094455072720 140094912575387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13108] ppid=13046 vsize=13983360 CPUtime=0.23 cores=1,3,5,7
/proc/13049/task/13108/stat : 13108 (java) S 13046 13049 5678 0 -1 1077944384 995 12831 0 0 15 0 5 3 20 0 15 0 14135806 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094454020848 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13109] ppid=13046 vsize=13983360 CPUtime=0.18 cores=1,3,5,7
/proc/13049/task/13109/stat : 13109 (java) S 13046 13049 5678 0 -1 1077944384 526 12831 0 0 10 0 5 3 20 0 15 0 14135806 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094452968304 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13110] ppid=13046 vsize=13983360 CPUtime=0.27 cores=1,3,5,7
/proc/13049/task/13110/stat : 13110 (java) S 13046 13049 5678 0 -1 1077944384 838 12831 0 0 19 0 5 3 20 0 15 0 14135806 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094384105968 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13111] ppid=13046 vsize=13983360 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13111/stat : 13111 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135807 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094383053664 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13112] ppid=13046 vsize=13983360 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13112/stat : 13112 (java) S 13046 13049 5678 0 -1 1077944384 8 12831 0 0 0 0 5 3 20 0 15 0 14135823 14318960640 31739 18446744073709551615 4194304 4196468 140729636095696 140094382000688 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 13983360

[startup+3.10061 s]
/proc/loadavg: 1.87 2.20 1.97 5/210 13112
/proc/meminfo: memFree=30135504/32770624 swapFree=0/949724
[pid=13049] ppid=13046 vsize=13997884 CPUtime=5.54 cores=1,3,5,7
/proc/13049/stat : 13049 (java) S 13046 13049 5678 0 -1 1077944320 44711 12831 0 0 530 16 5 3 20 0 15 0 14135774 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140729636078240 140094912556791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
/proc/13049/statm: 3499471 52133 3446 1 0 3488093 0
[pid=13049/tid=13099] ppid=13046 vsize=13997884 CPUtime=2.7 cores=1,3,5,7
/proc/13049/task/13099/stat : 13099 (java) R 13046 13049 5678 0 -1 4202560 29573 12831 0 0 253 9 5 3 20 0 15 0 14135801 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094916786256 140094896637278 0 4 1 16800974 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13100] ppid=13046 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13100/stat : 13100 (java) S 13046 13049 5678 0 -1 1077944384 74 12831 0 0 0 0 5 3 20 0 15 0 14135802 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094512569360 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13101] ppid=13046 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/13049/task/13101/stat : 13101 (java) S 13046 13049 5678 0 -1 1077944384 55 12831 0 0 1 0 5 3 20 0 15 0 14135802 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094511516816 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13102] ppid=13046 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13102/stat : 13102 (java) S 13046 13049 5678 0 -1 1077944384 31 12831 0 0 0 0 5 3 20 0 15 0 14135802 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094510463760 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13103] ppid=13046 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13103/stat : 13103 (java) S 13046 13049 5678 0 -1 1077944384 198 12831 0 0 0 0 5 3 20 0 15 0 14135802 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094509411216 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13104] ppid=13046 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/13049/task/13104/stat : 13104 (java) S 13046 13049 5678 0 -1 1077944384 1486 12831 0 0 1 0 5 3 20 0 15 0 14135803 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094458231024 140094912567938 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13105] ppid=13046 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13105/stat : 13105 (java) S 13046 13049 5678 0 -1 1077944384 55 12831 0 0 0 0 5 3 20 0 15 0 14135803 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094457177312 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13106] ppid=13046 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13106/stat : 13106 (java) S 13046 13049 5678 0 -1 1077944384 43 12831 0 0 0 0 5 3 20 0 15 0 14135804 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094456124160 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13107] ppid=13046 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13107/stat : 13107 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135806 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094455072720 140094912575387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13108] ppid=13046 vsize=13997884 CPUtime=0.84 cores=1,3,5,7
/proc/13049/task/13108/stat : 13108 (java) S 13046 13049 5678 0 -1 1077944384 2491 12831 0 0 76 0 5 3 20 0 15 0 14135806 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094454020848 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13109] ppid=13046 vsize=13997884 CPUtime=1.03 cores=1,3,5,7
/proc/13049/task/13109/stat : 13109 (java) R 13046 13049 5678 0 -1 4202560 4001 12831 0 0 94 1 5 3 20 0 15 0 14135806 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094452955984 140094896953542 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13110] ppid=13046 vsize=13997884 CPUtime=1.09 cores=1,3,5,7
/proc/13049/task/13110/stat : 13110 (java) R 13046 13049 5678 0 -1 4202560 4533 12831 0 0 99 2 5 3 20 0 15 0 14135806 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094384105968 140094896637278 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13111] ppid=13046 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13111/stat : 13111 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135807 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094383053664 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13112] ppid=13046 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13112/stat : 13112 (java) S 13046 13049 5678 0 -1 1077944384 10 12831 0 0 0 0 5 3 20 0 15 0 14135823 14333833216 52133 18446744073709551615 4194304 4196468 140729636095696 140094382000688 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 13997884

[startup+6.30111 s]
/proc/loadavg: 1.87 2.20 1.97 6/210 13112
/proc/meminfo: memFree=29945848/32770624 swapFree=0/949724
[pid=13049] ppid=13046 vsize=14069564 CPUtime=14.35 cores=1,3,5,7
/proc/13049/stat : 13049 (java) S 13046 13049 5678 0 -1 1077944320 70201 12831 0 0 1402 25 5 3 20 0 15 0 14135774 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140729636078240 140094912556791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
/proc/13049/statm: 3517391 95037 3473 1 0 3506013 0
[pid=13049/tid=13099] ppid=13046 vsize=14069564 CPUtime=5.62 cores=1,3,5,7
/proc/13049/task/13099/stat : 13099 (java) R 13046 13049 5678 0 -1 4202560 44819 12831 0 0 541 13 5 3 20 0 15 0 14135801 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094916792208 140094552810012 0 4 1 16800974 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13100] ppid=13046 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/13049/task/13100/stat : 13100 (java) S 13046 13049 5678 0 -1 1077944384 95 12831 0 0 12 1 5 3 20 0 15 0 14135802 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094512569360 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13101] ppid=13046 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/13049/task/13101/stat : 13101 (java) S 13046 13049 5678 0 -1 1077944384 88 12831 0 0 12 0 5 3 20 0 15 0 14135802 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094511516816 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13102] ppid=13046 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/13049/task/13102/stat : 13102 (java) S 13046 13049 5678 0 -1 1077944384 109 12831 0 0 9 1 5 3 20 0 15 0 14135802 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094510463760 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13103] ppid=13046 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/13049/task/13103/stat : 13103 (java) S 13046 13049 5678 0 -1 1077944384 240 12831 0 0 8 1 5 3 20 0 15 0 14135802 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094509411216 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13104] ppid=13046 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/13049/task/13104/stat : 13104 (java) S 13046 13049 5678 0 -1 1077944384 2253 12831 0 0 12 0 5 3 20 0 15 0 14135803 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094458231024 140094912567938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13105] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13105/stat : 13105 (java) S 13046 13049 5678 0 -1 1077944384 55 12831 0 0 0 0 5 3 20 0 15 0 14135803 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094457177376 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13106] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13106/stat : 13106 (java) S 13046 13049 5678 0 -1 1077944384 44 12831 0 0 0 0 5 3 20 0 15 0 14135804 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094456124160 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13107] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13107/stat : 13107 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135806 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094455072720 140094912575387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13108] ppid=13046 vsize=14069564 CPUtime=3.02 cores=1,3,5,7
/proc/13049/task/13108/stat : 13108 (java) R 13046 13049 5678 0 -1 4202560 4203 12831 0 0 293 1 5 3 20 0 15 0 14135806 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094454005424 140094896053575 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13109] ppid=13046 vsize=14069564 CPUtime=3.42 cores=1,3,5,7
/proc/13049/task/13109/stat : 13109 (java) R 13046 13049 5678 0 -1 4202560 10234 12831 0 0 332 2 5 3 20 0 15 0 14135806 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094452947664 140094892243335 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13110] ppid=13046 vsize=14069564 CPUtime=1.86 cores=1,3,5,7
/proc/13049/task/13110/stat : 13110 (java) S 13046 13049 5678 0 -1 1077944384 5888 12831 0 0 176 2 5 3 20 0 15 0 14135806 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094384105968 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13111] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13111/stat : 13111 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135807 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094383053664 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13112] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13112/stat : 13112 (java) S 13046 13049 5678 0 -1 1077944384 11 12831 0 0 0 0 5 3 20 0 15 0 14135823 14407233536 95037 18446744073709551615 4194304 4196468 140729636095696 140094382000688 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
Current children cumulated CPU time (s) 14.35
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.96 2.21 1.97 3/210 13112
/proc/meminfo: memFree=29723328/32770624 swapFree=0/949732
[pid=13049] ppid=13046 vsize=14069564 CPUtime=23.05 cores=1,3,5,7
/proc/13049/stat : 13049 (java) S 13046 13049 5678 0 -1 1077944320 93084 12831 0 0 2264 33 5 3 20 0 15 0 14135774 14407233536 147892 18446744073709551615 4194304 4196468 140729636095696 140729636078240 140094912556791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
/proc/13049/statm: 3517391 147892 3479 1 0 3506013 0
[pid=13049/tid=13099] ppid=13046 vsize=14069564 CPUtime=12 cores=1,3,5,7
/proc/13049/task/13099/stat : 13099 (java) R 13046 13049 5678 0 -1 4202560 47264 12831 0 0 1175 17 5 3 20 0 15 0 14135801 14407233536 147892 18446744073709551615 4194304 4196468 140729636095696 140094916790736 140094538500987 0 4 1 16800974 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13100] ppid=13046 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/13049/task/13100/stat : 13100 (java) S 13046 13049 5678 0 -1 1077944384 140 12831 0 0 13 1 5 3 20 0 15 0 14135802 14407233536 147892 18446744073709551615 4194304 4196468 140729636095696 140094512569360 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13101] ppid=13046 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/13049/task/13101/stat : 13101 (java) S 13046 13049 5678 0 -1 1077944384 903 12831 0 0 13 1 5 3 20 0 15 0 14135802 14407233536 147892 18446744073709551615 4194304 4196468 140729636095696 140094511516816 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13102] ppid=13046 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/13049/task/13102/stat : 13102 (java) S 13046 13049 5678 0 -1 1077944384 488 12831 0 0 10 1 5 3 20 0 15 0 14135802 14407233536 147892 18446744073709551615 4194304 4196468 140729636095696 140094510463760 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13103] ppid=13046 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/13049/task/13103/stat : 13103 (java) S 13046 13049 5678 0 -1 1077944384 263 12831 0 0 9 1 5 3 20 0 15 0 14135802 14407233536 147892 18446744073709551615 4194304 4196468 140729636095696 140094509411216 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13104] ppid=13046 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/13049/task/13104/stat : 13104 (java) S 13046 13049 5678 0 -1 1077944384 2590 12831 0 0 13 0 5 3 20 0 15 0 14135803 14407233536 147892 18446744073709551615 4194304 4196468 140729636095696 140094458231024 140094912567938 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13105] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13105/stat : 13105 (java) S 13046 13049 5678 0 -1 1077944384 59 12831 0 0 0 0 5 3 20 0 15 0 14135803 14407233536 147892 18446744073709551615 4194304 4196468 140729636095696 140094457177376 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13106] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13106/stat : 13106 (java) S 13046 13049 5678 0 -1 1077944384 44 12831 0 0 0 0 5 3 20 0 15 0 14135804 14407233536 147892 18446744073709551615 4194304 4196468 140729636095696 140094456124160 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13107] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13107/stat : 13107 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135806 14407233536 147892 18446744073709551615 4194304 4196468 140729636095696 140094455072720 140094912575387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0

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

/proc/13049/task/13111/stat : 13111 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135807 14407233536 201672 18446744073709551615 4194304 4196468 140729636095696 140094383053664 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13112] ppid=13046 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/13049/task/13112/stat : 13112 (java) S 13046 13049 5678 0 -1 1077944384 298 12831 0 0 1 1 5 3 20 0 15 0 14135823 14407233536 201672 18446744073709551615 4194304 4196468 140729636095696 140094382000688 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
Current children cumulated CPU time (s) 61.7
Current children cumulated vsize (KiB) 14069564

[startup+102.301 s]
/proc/loadavg: 1.36 1.94 1.90 3/210 13114
/proc/meminfo: memFree=29510104/32770624 swapFree=0/949796
[pid=13049] ppid=13046 vsize=14069564 CPUtime=113.13 cores=1,3,5,7
/proc/13049/stat : 13049 (java) S 13046 13049 5678 0 -1 1077944320 109999 12831 0 0 11258 47 5 3 20 0 15 0 14135774 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140729636078240 140094912556791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
/proc/13049/statm: 3517391 200647 3479 1 0 3506013 0
[pid=13049/tid=13099] ppid=13046 vsize=14069564 CPUtime=101.32 cores=1,3,5,7
/proc/13049/task/13099/stat : 13099 (java) R 13046 13049 5678 0 -1 4202560 53775 12831 0 0 10104 20 5 3 20 0 15 0 14135801 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094916790720 140094551623802 0 4 1 16800974 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13100] ppid=13046 vsize=14069564 CPUtime=0.34 cores=1,3,5,7
/proc/13049/task/13100/stat : 13100 (java) S 13046 13049 5678 0 -1 1077944384 1828 12831 0 0 23 3 5 3 20 0 15 0 14135802 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094512569360 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13101] ppid=13046 vsize=14069564 CPUtime=0.34 cores=1,3,5,7
/proc/13049/task/13101/stat : 13101 (java) S 13046 13049 5678 0 -1 1077944384 1521 12831 0 0 23 3 5 3 20 0 15 0 14135802 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094511516816 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13102] ppid=13046 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/13049/task/13102/stat : 13102 (java) S 13046 13049 5678 0 -1 1077944384 737 12831 0 0 20 3 5 3 20 0 15 0 14135802 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094510463760 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13103] ppid=13046 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/13049/task/13103/stat : 13103 (java) S 13046 13049 5678 0 -1 1077944384 2695 12831 0 0 18 3 5 3 20 0 15 0 14135802 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094509411216 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13104] ppid=13046 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/13049/task/13104/stat : 13104 (java) S 13046 13049 5678 0 -1 1077944384 3722 12831 0 0 23 1 5 3 20 0 15 0 14135803 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094458231024 140094912567938 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13105] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13105/stat : 13105 (java) S 13046 13049 5678 0 -1 1077944384 59 12831 0 0 0 0 5 3 20 0 15 0 14135803 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094457177376 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13106] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13106/stat : 13106 (java) S 13046 13049 5678 0 -1 1077944384 44 12831 0 0 0 0 5 3 20 0 15 0 14135804 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094456124160 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13107] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13107/stat : 13107 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135806 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094455072720 140094912575387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13108] ppid=13046 vsize=14069564 CPUtime=4.11 cores=1,3,5,7
/proc/13049/task/13108/stat : 13108 (java) S 13046 13049 5678 0 -1 1077944384 13389 12831 0 0 401 2 5 3 20 0 15 0 14135806 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094454020848 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13109] ppid=13046 vsize=14069564 CPUtime=4.54 cores=1,3,5,7
/proc/13049/task/13109/stat : 13109 (java) S 13046 13049 5678 0 -1 1077944384 18131 12831 0 0 443 3 5 3 20 0 15 0 14135806 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094452968304 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13110] ppid=13046 vsize=14069564 CPUtime=2.04 cores=1,3,5,7
/proc/13049/task/13110/stat : 13110 (java) S 13046 13049 5678 0 -1 1077944384 11619 12831 0 0 193 3 5 3 20 0 15 0 14135806 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094384105968 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13111] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13111/stat : 13111 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135807 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094383053664 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13112] ppid=13046 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/13049/task/13112/stat : 13112 (java) S 13046 13049 5678 0 -1 1077944384 317 12831 0 0 2 3 5 3 20 0 15 0 14135823 14407233536 200647 18446744073709551615 4194304 4196468 140729636095696 140094382000688 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
Current children cumulated CPU time (s) 113.13
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.25 1.81 1.86 6/210 13116
/proc/meminfo: memFree=29510188/32770624 swapFree=0/949820
[pid=13049] ppid=13046 vsize=14069564 CPUtime=173.85 cores=1,3,5,7
/proc/13049/stat : 13049 (java) S 13046 13049 5678 0 -1 1077944320 120798 12831 0 0 17323 54 5 3 20 0 15 0 14135774 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140729636078240 140094912556791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
/proc/13049/statm: 3517391 200653 3479 1 0 3506013 0
[pid=13049/tid=13099] ppid=13046 vsize=14069564 CPUtime=160.74 cores=1,3,5,7
/proc/13049/task/13099/stat : 13099 (java) R 13046 13049 5678 0 -1 4202560 55120 12831 0 0 16045 21 5 3 20 0 15 0 14135801 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094916790704 140094551549028 0 4 1 16800974 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13100] ppid=13046 vsize=14069564 CPUtime=0.57 cores=1,3,5,7
/proc/13049/task/13100/stat : 13100 (java) S 13046 13049 5678 0 -1 1077944384 1919 12831 0 0 45 4 5 3 20 0 15 0 14135802 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094512569360 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13101] ppid=13046 vsize=14069564 CPUtime=0.56 cores=1,3,5,7
/proc/13049/task/13101/stat : 13101 (java) S 13046 13049 5678 0 -1 1077944384 3037 12831 0 0 44 4 5 3 20 0 15 0 14135802 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094511516816 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13102] ppid=13046 vsize=14069564 CPUtime=0.55 cores=1,3,5,7
/proc/13049/task/13102/stat : 13102 (java) S 13046 13049 5678 0 -1 1077944384 869 12831 0 0 42 5 5 3 20 0 15 0 14135802 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094510463760 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13103] ppid=13046 vsize=14069564 CPUtime=0.53 cores=1,3,5,7
/proc/13049/task/13103/stat : 13103 (java) S 13046 13049 5678 0 -1 1077944384 2796 12831 0 0 40 5 5 3 20 0 15 0 14135802 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094509411216 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13104] ppid=13046 vsize=14069564 CPUtime=0.57 cores=1,3,5,7
/proc/13049/task/13104/stat : 13104 (java) S 13046 13049 5678 0 -1 1077944384 4098 12831 0 0 47 2 5 3 20 0 15 0 14135803 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094458231024 140094912567938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13105] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13105/stat : 13105 (java) S 13046 13049 5678 0 -1 1077944384 59 12831 0 0 0 0 5 3 20 0 15 0 14135803 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094457177376 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13106] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13106/stat : 13106 (java) S 13046 13049 5678 0 -1 1077944384 44 12831 0 0 0 0 5 3 20 0 15 0 14135804 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094456124160 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13107] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13107/stat : 13107 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135806 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094455072720 140094912575387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13108] ppid=13046 vsize=14069564 CPUtime=4.16 cores=1,3,5,7
/proc/13049/task/13108/stat : 13108 (java) S 13046 13049 5678 0 -1 1077944384 14703 12831 0 0 406 2 5 3 20 0 15 0 14135806 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094454020848 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13109] ppid=13046 vsize=14069564 CPUtime=4.57 cores=1,3,5,7
/proc/13049/task/13109/stat : 13109 (java) S 13046 13049 5678 0 -1 1077944384 19321 12831 0 0 446 3 5 3 20 0 15 0 14135806 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094452968304 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13110] ppid=13046 vsize=14069564 CPUtime=2.05 cores=1,3,5,7
/proc/13049/task/13110/stat : 13110 (java) S 13046 13049 5678 0 -1 1077944384 16318 12831 0 0 194 3 5 3 20 0 15 0 14135806 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094384105968 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13111] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13111/stat : 13111 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135807 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094383053664 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13112] ppid=13046 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/13049/task/13112/stat : 13112 (java) S 13046 13049 5678 0 -1 1077944384 352 12831 0 0 4 4 5 3 20 0 15 0 14135823 14407233536 200653 18446744073709551615 4194304 4196468 140729636095696 140094382000688 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
Current children cumulated CPU time (s) 173.85
Current children cumulated vsize (KiB) 14069564

[startup+222.307 s]
/proc/loadavg: 1.42 1.77 1.84 3/210 13243
/proc/meminfo: memFree=29473992/32770624 swapFree=0/949900
[pid=13049] ppid=13046 vsize=14069564 CPUtime=234.54 cores=1,3,5,7
/proc/13049/stat : 13049 (java) S 13046 13049 5678 0 -1 1077944320 124235 12831 0 0 23385 61 5 3 20 0 15 0 14135774 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140729636078240 140094912556791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
/proc/13049/statm: 3517391 200668 3479 1 0 3506013 0
[pid=13049/tid=13099] ppid=13046 vsize=14069564 CPUtime=220.17 cores=1,3,5,7
/proc/13049/task/13099/stat : 13099 (java) R 13046 13049 5678 0 -1 4202560 56291 12831 0 0 21987 22 5 3 20 0 15 0 14135801 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094916790848 140094536226763 0 4 1 16800974 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13100] ppid=13046 vsize=14069564 CPUtime=0.81 cores=1,3,5,7
/proc/13049/task/13100/stat : 13100 (java) S 13046 13049 5678 0 -1 1077944384 2061 12831 0 0 68 5 5 3 20 0 15 0 14135802 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094512569360 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13101] ppid=13046 vsize=14069564 CPUtime=0.81 cores=1,3,5,7
/proc/13049/task/13101/stat : 13101 (java) S 13046 13049 5678 0 -1 1077944384 3163 12831 0 0 67 6 5 3 20 0 15 0 14135802 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094511516816 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13102] ppid=13046 vsize=14069564 CPUtime=0.78 cores=1,3,5,7
/proc/13049/task/13102/stat : 13102 (java) S 13046 13049 5678 0 -1 1077944384 2366 12831 0 0 64 6 5 3 20 0 15 0 14135802 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094510463760 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13103] ppid=13046 vsize=14069564 CPUtime=0.77 cores=1,3,5,7
/proc/13049/task/13103/stat : 13103 (java) S 13046 13049 5678 0 -1 1077944384 2874 12831 0 0 63 6 5 3 20 0 15 0 14135802 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094509411216 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13104] ppid=13046 vsize=14069564 CPUtime=0.83 cores=1,3,5,7
/proc/13049/task/13104/stat : 13104 (java) S 13046 13049 5678 0 -1 1077944384 4493 12831 0 0 71 4 5 3 20 0 15 0 14135803 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094458231024 140094912567938 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13105] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13105/stat : 13105 (java) S 13046 13049 5678 0 -1 1077944384 59 12831 0 0 0 0 5 3 20 0 15 0 14135803 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094457177376 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13106] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13106/stat : 13106 (java) S 13046 13049 5678 0 -1 1077944384 44 12831 0 0 0 0 5 3 20 0 15 0 14135804 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094456124160 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13107] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13107/stat : 13107 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135806 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094455072720 140094912575387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13108] ppid=13046 vsize=14069564 CPUtime=4.16 cores=1,3,5,7
/proc/13049/task/13108/stat : 13108 (java) S 13046 13049 5678 0 -1 1077944384 14708 12831 0 0 406 2 5 3 20 0 15 0 14135806 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094454020848 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13109] ppid=13046 vsize=14069564 CPUtime=4.57 cores=1,3,5,7
/proc/13049/task/13109/stat : 13109 (java) S 13046 13049 5678 0 -1 1077944384 19323 12831 0 0 446 3 5 3 20 0 15 0 14135806 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094452968304 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13110] ppid=13046 vsize=14069564 CPUtime=2.05 cores=1,3,5,7
/proc/13049/task/13110/stat : 13110 (java) S 13046 13049 5678 0 -1 1077944384 16320 12831 0 0 194 3 5 3 20 0 15 0 14135806 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094384105968 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13111] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13111/stat : 13111 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135807 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094383053664 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13112] ppid=13046 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/13049/task/13112/stat : 13112 (java) S 13046 13049 5678 0 -1 1077944384 371 12831 0 0 5 7 5 3 20 0 15 0 14135823 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094382000688 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
Current children cumulated CPU time (s) 234.54
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.39 1.75 1.83 3/209 13244
/proc/meminfo: memFree=29468352/32770624 swapFree=0/949912
[pid=13049] ppid=13046 vsize=14069564 CPUtime=252.46 cores=1,3,5,7
/proc/13049/stat : 13049 (java) S 13046 13049 5678 0 -1 1077944320 127814 12831 0 0 25174 64 5 3 20 0 15 0 14135774 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140729636078240 140094912556791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
/proc/13049/statm: 3517391 200668 3479 1 0 3506013 0
[pid=13049/tid=13099] ppid=13046 vsize=14069564 CPUtime=237.71 cores=1,3,5,7
/proc/13049/task/13099/stat : 13099 (java) R 13046 13049 5678 0 -1 4202560 56616 12831 0 0 23741 22 5 3 20 0 15 0 14135801 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094916790784 140094543468054 0 4 1 16800974 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13100] ppid=13046 vsize=14069564 CPUtime=0.88 cores=1,3,5,7
/proc/13049/task/13100/stat : 13100 (java) S 13046 13049 5678 0 -1 1077944384 2062 12831 0 0 74 6 5 3 20 0 15 0 14135802 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094512569360 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13101] ppid=13046 vsize=14069564 CPUtime=0.88 cores=1,3,5,7
/proc/13049/task/13101/stat : 13101 (java) S 13046 13049 5678 0 -1 1077944384 3164 12831 0 0 74 6 5 3 20 0 15 0 14135802 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094511516816 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13102] ppid=13046 vsize=14069564 CPUtime=0.85 cores=1,3,5,7
/proc/13049/task/13102/stat : 13102 (java) S 13046 13049 5678 0 -1 1077944384 2367 12831 0 0 71 6 5 3 20 0 15 0 14135802 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094510463760 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13103] ppid=13046 vsize=14069564 CPUtime=0.84 cores=1,3,5,7
/proc/13049/task/13103/stat : 13103 (java) S 13046 13049 5678 0 -1 1077944384 2875 12831 0 0 69 7 5 3 20 0 15 0 14135802 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094509411216 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13104] ppid=13046 vsize=14069564 CPUtime=0.9 cores=1,3,5,7
/proc/13049/task/13104/stat : 13104 (java) S 13046 13049 5678 0 -1 1077944384 4494 12831 0 0 78 4 5 3 20 0 15 0 14135803 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094458231024 140094912567938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13105] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13105/stat : 13105 (java) S 13046 13049 5678 0 -1 1077944384 59 12831 0 0 0 0 5 3 20 0 15 0 14135803 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094457177376 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13106] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13106/stat : 13106 (java) S 13046 13049 5678 0 -1 1077944384 44 12831 0 0 0 0 5 3 20 0 15 0 14135804 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094456124160 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13107] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13107/stat : 13107 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135806 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094455072720 140094912575387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13108] ppid=13046 vsize=14069564 CPUtime=4.18 cores=1,3,5,7
/proc/13049/task/13108/stat : 13108 (java) S 13046 13049 5678 0 -1 1077944384 15713 12831 0 0 408 2 5 3 20 0 15 0 14135806 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094454020848 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13109] ppid=13046 vsize=14069564 CPUtime=4.57 cores=1,3,5,7
/proc/13049/task/13109/stat : 13109 (java) S 13046 13049 5678 0 -1 1077944384 19751 12831 0 0 446 3 5 3 20 0 15 0 14135806 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094452968304 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13110] ppid=13046 vsize=14069564 CPUtime=2.05 cores=1,3,5,7
/proc/13049/task/13110/stat : 13110 (java) S 13046 13049 5678 0 -1 1077944384 18131 12831 0 0 194 3 5 3 20 0 15 0 14135806 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094384105968 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13111] ppid=13046 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/13049/task/13111/stat : 13111 (java) S 13046 13049 5678 0 -1 1077944384 3 12831 0 0 0 0 5 3 20 0 15 0 14135807 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094383053664 140094912566997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
[pid=13049/tid=13112] ppid=13046 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/13049/task/13112/stat : 13112 (java) S 13046 13049 5678 0 -1 1077944384 376 12831 0 0 5 7 5 3 20 0 15 0 14135823 14407233536 200668 18446744073709551615 4194304 4196468 140729636095696 140094382000688 140094912567938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32862208 140729636104141 140729636106926 140729636106926 140729636110287 0
Current children cumulated CPU time (s) 252.46
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 13049 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.033
CPU time (s): 252.509
CPU user time (s): 251.815
CPU system time (s): 0.693653
CPU usage (%): 105.197
Max. virtual memory (cumulated for all children) (KiB): 14072276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.815
system time used= 0.693653
maximum resident set size= 811312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142459
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27572
involuntary context switches= 1448

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13426 second user time and 1.47879 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 08:11:12
IDJOB=4259702
IDBENCH=129228
IDSOLVER=2646
FILE ID=node128/4259702-1501655111
RUNJOBID= node128-1501642693-29418
PBS_JOBID= 
Free space on /tmp= 61828 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-4259702-1501655111/watcher-4259702-1501655111 -o /tmp/evaluation-result-4259702-1501655111/solver-4259702-1501655111 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29418 --watchdog 300  bin/concrete HOME/instance-4259702-1501655111.xml

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

MD5SUM BENCH= abd8ffabcee15199c8d23122c13b1758
RANDOM SEED=1418312144

node128.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.05
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.05
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.05
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.05
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:        30301904 kB
MemAvailable:   31256024 kB
Buffers:          127836 kB
Cached:          1106312 kB
SwapCached:            0 kB
Active:          1099980 kB
Inactive:         958460 kB
Active(anon):     824704 kB
Inactive(anon):     8532 kB
Active(file):     275276 kB
Inactive(file):   949928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24436 kB
Writeback:             0 kB
AnonPages:        822312 kB
Mapped:            43848 kB
Shmem:              8872 kB
Slab:             115468 kB
SReclaimable:      89500 kB
SUnreclaim:        25968 kB
KernelStack:        3408 kB
PageTables:         6368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1741004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    602112 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= 61804 MiB
End job on node128 at 2017-08-02 08:15:12