Trace number 4259703

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)105 251.35201 240.047

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	105

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259703-1501655294/watcher-4259703-1501655294 -o /tmp/evaluation-result-4259703-1501655294/solver-4259703-1501655294 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300 bin/concrete HOME/instance-4259703-1501655294.xml 

pid=13341
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.54 2.00 1.97 3/200 13344
/proc/meminfo: memFree=31033020/32770624 swapFree=0/239268
[pid=13344] ppid=13341 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13344/stat : 13344 (runsolver) D 13341 13344 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13344749 24240128 107 18446744073709551615 4194304 4338465 140723746853984 140723746851624 139852362986199 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 11517952 140723746857168 140723746857542 140723746857542 140723746861002 0
/proc/13344/statm: 5918 107 54 36 0 2156 0

[startup+0.100066 s]
/proc/loadavg: 1.54 2.00 1.97 3/200 13344
/proc/meminfo: memFree=31033020/32770624 swapFree=0/239268
[pid=13344] ppid=13341 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/13344/stat : 13344 (bash) S 13341 13344 5228 0 -1 4202496 890 6484 0 0 0 0 0 1 20 0 1 0 13344749 9867264 376 18446744073709551615 4194304 5098028 140726022081712 140726022075720 139909866605568 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 6 0 0 7196144 7232144 15454208 140726022083089 140726022083174 140726022083174 140726022086634 0
/proc/13344/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200292 s]
/proc/loadavg: 1.54 2.00 1.97 3/200 13344
/proc/meminfo: memFree=31033020/32770624 swapFree=0/239268
[pid=13344] ppid=13341 vsize=13358716 CPUtime=0.08 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 4344 12342 0 0 1 0 5 2 20 0 6 0 13344749 13679325184 3112 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3339679 3112 1894 1 0 3329184 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13358716

[startup+0.305432 s]
/proc/loadavg: 1.54 2.00 1.97 3/200 13344
/proc/meminfo: memFree=31033020/32770624 swapFree=0/239268
[pid=13344] ppid=13341 vsize=13974356 CPUtime=0.16 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 6326 12342 0 0 8 1 5 2 20 0 15 0 13344749 14309740544 6994 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3493589 6994 2791 1 0 3482973 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13974356

[startup+0.700282 s]
/proc/loadavg: 1.54 2.00 1.97 3/200 13344
/proc/meminfo: memFree=31033020/32770624 swapFree=0/239268
[pid=13344] ppid=13341 vsize=13974784 CPUtime=0.72 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 14023 12342 0 0 60 5 5 2 20 0 15 0 13344749 14310178816 14983 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3493696 14983 3108 1 0 3482973 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 13974784

[startup+1.51017 s]
/proc/loadavg: 1.54 2.00 1.97 4/215 13407
/proc/meminfo: memFree=30934704/32770624 swapFree=0/239256
[pid=13344] ppid=13341 vsize=13985408 CPUtime=1.96 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 29661 12342 0 0 178 11 5 2 20 0 15 0 13344749 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3496352 42687 3368 1 0 3485533 0
[pid=13344/tid=13394] ppid=13341 vsize=13985408 CPUtime=1.31 cores=1,3,5,7
/proc/13344/task/13394/stat : 13394 (java) R 13341 13344 5228 0 -1 4202560 22285 12342 0 0 117 7 5 2 20 0 15 0 13344768 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140669275471376 140669251520263 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13395] ppid=13341 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13395/stat : 13395 (java) S 13341 13344 5228 0 -1 1077944384 201 12342 0 0 0 0 5 2 20 0 15 0 13344768 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668871724176 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13396] ppid=13341 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13396/stat : 13396 (java) S 13341 13344 5228 0 -1 1077944384 53 12342 0 0 0 0 5 2 20 0 15 0 13344768 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668870671376 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13397] ppid=13341 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13344/task/13397/stat : 13397 (java) S 13341 13344 5228 0 -1 1077944384 39 12342 0 0 1 0 5 2 20 0 15 0 13344768 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668869618576 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13398] ppid=13341 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13398/stat : 13398 (java) S 13341 13344 5228 0 -1 1077944384 59 12342 0 0 0 0 5 2 20 0 15 0 13344768 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668868565776 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13399] ppid=13341 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/13344/task/13399/stat : 13399 (java) S 13341 13344 5228 0 -1 1077944384 1660 12342 0 0 1 0 5 2 20 0 15 0 13344770 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668749797744 140669271255682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13400] ppid=13341 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13400/stat : 13400 (java) S 13341 13344 5228 0 -1 1077944384 56 12342 0 0 0 0 5 2 20 0 15 0 13344770 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668748743776 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13401] ppid=13341 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13401/stat : 13401 (java) S 13341 13344 5228 0 -1 1077944384 46 12342 0 0 0 0 5 2 20 0 15 0 13344770 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668747690864 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13402] ppid=13341 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13402/stat : 13402 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668746639184 140669271263131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13403] ppid=13341 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13403/stat : 13403 (java) R 13341 13344 5228 0 -1 4202560 1052 12342 0 0 14 0 5 2 20 0 15 0 13344773 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668745576832 140669254730687 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13404] ppid=13341 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/13344/task/13404/stat : 13404 (java) R 13341 13344 5228 0 -1 4202560 689 12342 0 0 17 0 5 2 20 0 15 0 13344773 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668744516064 140669256355424 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13405] ppid=13341 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/13344/task/13405/stat : 13405 (java) S 13341 13344 5228 0 -1 1077944384 1356 12342 0 0 24 0 5 2 20 0 15 0 13344773 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668743481968 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13406] ppid=13341 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13406/stat : 13406 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668742429408 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13407] ppid=13341 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13407/stat : 13407 (java) S 13341 13344 5228 0 -1 1077944384 9 12342 0 0 0 0 5 2 20 0 15 0 13344778 14321057792 42687 18446744073709551615 4194304 4196468 140726076831536 140668741376688 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 13985408

[startup+3.10617 s]
/proc/loadavg: 1.54 2.00 1.97 5/215 13407
/proc/meminfo: memFree=30861280/32770624 swapFree=0/239256
[pid=13344] ppid=13341 vsize=13997884 CPUtime=6.03 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 45099 12342 0 0 580 16 5 2 20 0 15 0 13344749 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3499471 54264 3434 1 0 3488093 0
[pid=13344/tid=13394] ppid=13341 vsize=13997884 CPUtime=2.89 cores=1,3,5,7
/proc/13344/task/13394/stat : 13394 (java) R 13341 13344 5228 0 -1 4202560 29820 12342 0 0 273 9 5 2 20 0 15 0 13344768 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140669275475168 140668921814874 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13395] ppid=13341 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13395/stat : 13395 (java) S 13341 13344 5228 0 -1 1077944384 201 12342 0 0 0 0 5 2 20 0 15 0 13344768 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140668871724176 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13396] ppid=13341 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13396/stat : 13396 (java) S 13341 13344 5228 0 -1 1077944384 53 12342 0 0 0 0 5 2 20 0 15 0 13344768 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140668870671376 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13397] ppid=13341 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13344/task/13397/stat : 13397 (java) S 13341 13344 5228 0 -1 1077944384 39 12342 0 0 1 0 5 2 20 0 15 0 13344768 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140668869618576 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13398] ppid=13341 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13398/stat : 13398 (java) S 13341 13344 5228 0 -1 1077944384 59 12342 0 0 0 0 5 2 20 0 15 0 13344768 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140668868565776 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13399] ppid=13341 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/13344/task/13399/stat : 13399 (java) S 13341 13344 5228 0 -1 1077944384 1673 12342 0 0 1 0 5 2 20 0 15 0 13344770 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140668749797744 140669271255682 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13400] ppid=13341 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13400/stat : 13400 (java) S 13341 13344 5228 0 -1 1077944384 56 12342 0 0 0 0 5 2 20 0 15 0 13344770 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140668748743776 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13401] ppid=13341 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13401/stat : 13401 (java) S 13341 13344 5228 0 -1 1077944384 46 12342 0 0 0 0 5 2 20 0 15 0 13344770 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140668747690864 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13402] ppid=13341 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13402/stat : 13402 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140668746639184 140669271263131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13403] ppid=13341 vsize=13997884 CPUtime=1.15 cores=1,3,5,7
/proc/13344/task/13403/stat : 13403 (java) R 13341 13344 5228 0 -1 4202560 4469 12342 0 0 107 1 5 2 20 0 15 0 13344773 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140668745583936 140669251088116 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13404] ppid=13341 vsize=13997884 CPUtime=0.88 cores=1,3,5,7
/proc/13344/task/13404/stat : 13404 (java) R 13341 13344 5228 0 -1 4202560 1946 12342 0 0 80 1 5 2 20 0 15 0 13344773 14333833216 54264 18446744073709551615 4194304 4196468 140726076831536 140668744522960 140669256126303 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13405] ppid=13341 vsize=13997884 CPUtime=1.2 cores=1,3,5,7
/proc/13344/task/13405/stat : 13405 (java) S 13341 13344 5228 0 -1 1077944384 4571 12342 0 0 112 1 5 2 20 0 15 0 13344773 14333833216 54776 18446744073709551615 4194304 4196468 140726076831536 140668743481968 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13406] ppid=13341 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13406/stat : 13406 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14333833216 54776 18446744073709551615 4194304 4196468 140726076831536 140668742429408 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13407] ppid=13341 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13407/stat : 13407 (java) S 13341 13344 5228 0 -1 1077944384 10 12342 0 0 0 0 5 2 20 0 15 0 13344778 14333833216 54776 18446744073709551615 4194304 4196468 140726076831536 140668741376688 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 13997884

[startup+6.30067 s]
/proc/loadavg: 1.90 2.07 2.00 6/215 13407
/proc/meminfo: memFree=30677036/32770624 swapFree=0/239256
[pid=13344] ppid=13341 vsize=14069564 CPUtime=14.19 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 68700 12342 0 0 1390 22 5 2 20 0 15 0 13344749 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3517391 93634 3472 1 0 3506013 0
[pid=13344/tid=13394] ppid=13341 vsize=14069564 CPUtime=5.81 cores=1,3,5,7
/proc/13344/task/13394/stat : 13394 (java) R 13341 13344 5228 0 -1 4202560 45438 12342 0 0 561 13 5 2 20 0 15 0 13344768 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140669275473152 140669253110440 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13395] ppid=13341 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/13344/task/13395/stat : 13395 (java) S 13341 13344 5228 0 -1 1077944384 281 12342 0 0 11 1 5 2 20 0 15 0 13344768 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668871724176 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13396] ppid=13341 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/13344/task/13396/stat : 13396 (java) S 13341 13344 5228 0 -1 1077944384 838 12342 0 0 13 0 5 2 20 0 15 0 13344768 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668870671376 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13397] ppid=13341 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/13344/task/13397/stat : 13397 (java) S 13341 13344 5228 0 -1 1077944384 131 12342 0 0 12 0 5 2 20 0 15 0 13344768 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668869618576 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13398] ppid=13341 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/13344/task/13398/stat : 13398 (java) S 13341 13344 5228 0 -1 1077944384 101 12342 0 0 9 0 5 2 20 0 15 0 13344768 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668868565776 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13399] ppid=13341 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/13344/task/13399/stat : 13399 (java) S 13341 13344 5228 0 -1 1077944384 2344 12342 0 0 13 0 5 2 20 0 15 0 13344770 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668749797744 140669271255682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13400] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13400/stat : 13400 (java) S 13341 13344 5228 0 -1 1077944384 57 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668748743840 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13401] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13401/stat : 13401 (java) S 13341 13344 5228 0 -1 1077944384 47 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668747690880 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13402] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13402/stat : 13402 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668746639184 140669271263131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13403] ppid=13341 vsize=14069564 CPUtime=3.08 cores=1,3,5,7
/proc/13344/task/13403/stat : 13403 (java) S 13341 13344 5228 0 -1 1077944384 5270 12342 0 0 300 1 5 2 20 0 15 0 13344773 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668745587568 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13404] ppid=13341 vsize=14069564 CPUtime=2.97 cores=1,3,5,7
/proc/13344/task/13404/stat : 13404 (java) S 13341 13344 5228 0 -1 1077944384 6347 12342 0 0 288 2 5 2 20 0 15 0 13344773 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668744534768 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13405] ppid=13341 vsize=14069564 CPUtime=1.85 cores=1,3,5,7
/proc/13344/task/13405/stat : 13405 (java) S 13341 13344 5228 0 -1 1077944384 5678 12342 0 0 177 1 5 2 20 0 15 0 13344773 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668743481968 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13406] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13406/stat : 13406 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668742429408 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13407] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13407/stat : 13407 (java) S 13341 13344 5228 0 -1 1077944384 12 12342 0 0 0 0 5 2 20 0 15 0 13344778 14407233536 93634 18446744073709551615 4194304 4196468 140726076831536 140668741376688 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
Current children cumulated CPU time (s) 14.19
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.83 2.05 1.99 3/215 13407
/proc/meminfo: memFree=30451516/32770624 swapFree=0/239248
[pid=13344] ppid=13341 vsize=14069564 CPUtime=21.91 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 80319 12342 0 0 2154 30 5 2 20 0 15 0 13344749 14407233536 148326 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3517391 148326 3477 1 0 3506013 0
[pid=13344/tid=13394] ppid=13341 vsize=14069564 CPUtime=12.18 cores=1,3,5,7
/proc/13344/task/13394/stat : 13394 (java) R 13341 13344 5228 0 -1 4202560 47503 12342 0 0 1195 16 5 2 20 0 15 0 13344768 14407233536 148326 18446744073709551615 4194304 4196468 140726076831536 140669275475544 140668930869913 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13395] ppid=13341 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/13344/task/13395/stat : 13395 (java) S 13341 13344 5228 0 -1 1077944384 353 12342 0 0 12 1 5 2 20 0 15 0 13344768 14407233536 148326 18446744073709551615 4194304 4196468 140726076831536 140668871724176 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13396] ppid=13341 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/13344/task/13396/stat : 13396 (java) S 13341 13344 5228 0 -1 1077944384 1060 12342 0 0 14 1 5 2 20 0 15 0 13344768 14407233536 148326 18446744073709551615 4194304 4196468 140726076831536 140668870671376 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13397] ppid=13341 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13397/stat : 13397 (java) S 13341 13344 5228 0 -1 1077944384 367 12342 0 0 13 1 5 2 20 0 15 0 13344768 14407233536 148326 18446744073709551615 4194304 4196468 140726076831536 140668869618576 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13398] ppid=13341 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/13344/task/13398/stat : 13398 (java) S 13341 13344 5228 0 -1 1077944384 167 12342 0 0 10 1 5 2 20 0 15 0 13344768 14407233536 148326 18446744073709551615 4194304 4196468 140726076831536 140668868565776 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13399] ppid=13341 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/13344/task/13399/stat : 13399 (java) S 13341 13344 5228 0 -1 1077944384 2715 12342 0 0 14 0 5 2 20 0 15 0 13344770 14407233536 148326 18446744073709551615 4194304 4196468 140726076831536 140668749797744 140669271255682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13400] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13400/stat : 13400 (java) S 13341 13344 5228 0 -1 1077944384 64 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 148326 18446744073709551615 4194304 4196468 140726076831536 140668748743840 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13401] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13401/stat : 13401 (java) S 13341 13344 5228 0 -1 1077944384 47 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 148326 18446744073709551615 4194304 4196468 140726076831536 140668747690880 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13402] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13402/stat : 13402 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 148326 18446744073709551615 4194304 4196468 140726076831536 140668746639184 140669271263131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0

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

/proc/13344/task/13406/stat : 13406 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 194896 18446744073709551615 4194304 4196468 140726076831536 140668742429408 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13407] ppid=13341 vsize=14069564 CPUtime=0.09 cores=1,3,5,7
/proc/13344/task/13407/stat : 13407 (java) S 13341 13344 5228 0 -1 1077944384 101 12342 0 0 1 1 5 2 20 0 15 0 13344778 14407233536 194896 18446744073709551615 4194304 4196468 140726076831536 140668741376688 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
Current children cumulated CPU time (s) 60.63
Current children cumulated vsize (KiB) 14069564

[startup+102.301 s]
/proc/loadavg: 2.19 2.10 2.01 3/215 13907
/proc/meminfo: memFree=30311172/32770624 swapFree=0/239364
[pid=13344] ppid=13341 vsize=14069564 CPUtime=112.09 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 100932 12342 0 0 11158 44 5 2 20 0 15 0 13344749 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3517391 193616 3477 1 0 3506013 0
[pid=13344/tid=13394] ppid=13341 vsize=14069564 CPUtime=101.5 cores=1,3,5,7
/proc/13344/task/13394/stat : 13394 (java) R 13341 13344 5228 0 -1 4202560 54156 12342 0 0 10123 20 5 2 20 0 15 0 13344768 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140669275478336 140668930870742 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13395] ppid=13341 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/13344/task/13395/stat : 13395 (java) S 13341 13344 5228 0 -1 1077944384 965 12342 0 0 22 3 5 2 20 0 15 0 13344768 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668871724176 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13396] ppid=13341 vsize=14069564 CPUtime=0.34 cores=1,3,5,7
/proc/13344/task/13396/stat : 13396 (java) S 13341 13344 5228 0 -1 1077944384 1246 12342 0 0 24 3 5 2 20 0 15 0 13344768 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668870671376 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13397] ppid=13341 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/13344/task/13397/stat : 13397 (java) S 13341 13344 5228 0 -1 1077944384 730 12342 0 0 23 3 5 2 20 0 15 0 13344768 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668869618576 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13398] ppid=13341 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/13344/task/13398/stat : 13398 (java) S 13341 13344 5228 0 -1 1077944384 4266 12342 0 0 20 3 5 2 20 0 15 0 13344768 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668868565776 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13399] ppid=13341 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/13344/task/13399/stat : 13399 (java) S 13341 13344 5228 0 -1 1077944384 3836 12342 0 0 24 1 5 2 20 0 15 0 13344770 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668749797744 140669271255682 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13400] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13400/stat : 13400 (java) S 13341 13344 5228 0 -1 1077944384 64 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668748743840 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13401] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13401/stat : 13401 (java) S 13341 13344 5228 0 -1 1077944384 47 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668747690880 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13402] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13402/stat : 13402 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668746639184 140669271263131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13403] ppid=13341 vsize=14069564 CPUtime=3.7 cores=1,3,5,7
/proc/13344/task/13403/stat : 13403 (java) S 13341 13344 5228 0 -1 1077944384 11128 12342 0 0 361 2 5 2 20 0 15 0 13344773 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668745587568 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13404] ppid=13341 vsize=14069564 CPUtime=3.68 cores=1,3,5,7
/proc/13344/task/13404/stat : 13404 (java) S 13341 13344 5228 0 -1 1077944384 11152 12342 0 0 359 2 5 2 20 0 15 0 13344773 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668744534768 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13405] ppid=13341 vsize=14069564 CPUtime=1.98 cores=1,3,5,7
/proc/13344/task/13405/stat : 13405 (java) S 13341 13344 5228 0 -1 1077944384 11067 12342 0 0 189 2 5 2 20 0 15 0 13344773 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668743481968 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13406] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13406/stat : 13406 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668742429408 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13407] ppid=13341 vsize=14069564 CPUtime=0.11 cores=1,3,5,7
/proc/13344/task/13407/stat : 13407 (java) S 13341 13344 5228 0 -1 1077944384 119 12342 0 0 2 2 5 2 20 0 15 0 13344778 14407233536 193616 18446744073709551615 4194304 4196468 140726076831536 140668741376688 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
Current children cumulated CPU time (s) 112.09
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.87 2.05 2.00 3/215 13909
/proc/meminfo: memFree=30284048/32770624 swapFree=0/239400
[pid=13344] ppid=13341 vsize=14069564 CPUtime=172.74 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 104275 12342 0 0 17217 50 5 2 20 0 15 0 13344749 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3517391 193626 3477 1 0 3506013 0
[pid=13344/tid=13394] ppid=13341 vsize=14069564 CPUtime=160.93 cores=1,3,5,7
/proc/13344/task/13394/stat : 13394 (java) R 13341 13344 5228 0 -1 4202560 55333 12342 0 0 16065 21 5 2 20 0 15 0 13344768 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140669275478432 140668930870469 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13395] ppid=13341 vsize=14069564 CPUtime=0.56 cores=1,3,5,7
/proc/13344/task/13395/stat : 13395 (java) S 13341 13344 5228 0 -1 1077944384 1044 12342 0 0 45 4 5 2 20 0 15 0 13344768 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668871724176 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13396] ppid=13341 vsize=14069564 CPUtime=0.57 cores=1,3,5,7
/proc/13344/task/13396/stat : 13396 (java) S 13341 13344 5228 0 -1 1077944384 1283 12342 0 0 46 4 5 2 20 0 15 0 13344768 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668870671376 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13397] ppid=13341 vsize=14069564 CPUtime=0.57 cores=1,3,5,7
/proc/13344/task/13397/stat : 13397 (java) S 13341 13344 5228 0 -1 1077944384 853 12342 0 0 46 4 5 2 20 0 15 0 13344768 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668869618576 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13398] ppid=13341 vsize=14069564 CPUtime=0.54 cores=1,3,5,7
/proc/13344/task/13398/stat : 13398 (java) S 13341 13344 5228 0 -1 1077944384 5809 12342 0 0 43 4 5 2 20 0 15 0 13344768 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668868565776 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13399] ppid=13341 vsize=14069564 CPUtime=0.57 cores=1,3,5,7
/proc/13344/task/13399/stat : 13399 (java) S 13341 13344 5228 0 -1 1077944384 4192 12342 0 0 48 2 5 2 20 0 15 0 13344770 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668749797744 140669271255682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13400] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13400/stat : 13400 (java) S 13341 13344 5228 0 -1 1077944384 64 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668748743840 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13401] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13401/stat : 13401 (java) S 13341 13344 5228 0 -1 1077944384 47 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668747690880 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13402] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13402/stat : 13402 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668746639184 140669271263131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13403] ppid=13341 vsize=14069564 CPUtime=3.7 cores=1,3,5,7
/proc/13344/task/13403/stat : 13403 (java) S 13341 13344 5228 0 -1 1077944384 11130 12342 0 0 361 2 5 2 20 0 15 0 13344773 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668745587568 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13404] ppid=13341 vsize=14069564 CPUtime=3.68 cores=1,3,5,7
/proc/13344/task/13404/stat : 13404 (java) S 13341 13344 5228 0 -1 1077944384 11155 12342 0 0 359 2 5 2 20 0 15 0 13344773 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668744534768 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13405] ppid=13341 vsize=14069564 CPUtime=1.98 cores=1,3,5,7
/proc/13344/task/13405/stat : 13405 (java) S 13341 13344 5228 0 -1 1077944384 11069 12342 0 0 189 2 5 2 20 0 15 0 13344773 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668743481968 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13406] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13406/stat : 13406 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668742429408 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13407] ppid=13341 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/13344/task/13407/stat : 13407 (java) S 13341 13344 5228 0 -1 1077944384 140 12342 0 0 4 3 5 2 20 0 15 0 13344778 14407233536 193626 18446744073709551615 4194304 4196468 140726076831536 140668741376688 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
Current children cumulated CPU time (s) 172.74
Current children cumulated vsize (KiB) 14069564

[startup+222.307 s]
/proc/loadavg: 1.51 1.92 1.96 3/214 13911
/proc/meminfo: memFree=30284084/32770624 swapFree=0/239428
[pid=13344] ppid=13341 vsize=14069564 CPUtime=233.4 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 109266 12342 0 0 23277 56 5 2 20 0 15 0 13344749 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3517391 193643 3477 1 0 3506013 0
[pid=13344/tid=13394] ppid=13341 vsize=14069564 CPUtime=220.35 cores=1,3,5,7
/proc/13344/task/13394/stat : 13394 (java) R 13341 13344 5228 0 -1 4202560 56358 12342 0 0 22007 21 5 2 20 0 15 0 13344768 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140669275478336 140668931506560 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13395] ppid=13341 vsize=14069564 CPUtime=0.8 cores=1,3,5,7
/proc/13344/task/13395/stat : 13395 (java) S 13341 13344 5228 0 -1 1077944384 1098 12342 0 0 68 5 5 2 20 0 15 0 13344768 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668871724176 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13396] ppid=13341 vsize=14069564 CPUtime=0.81 cores=1,3,5,7
/proc/13344/task/13396/stat : 13396 (java) S 13341 13344 5228 0 -1 1077944384 2859 12342 0 0 68 6 5 2 20 0 15 0 13344768 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668870671376 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13397] ppid=13341 vsize=14069564 CPUtime=0.8 cores=1,3,5,7
/proc/13344/task/13397/stat : 13397 (java) S 13341 13344 5228 0 -1 1077944384 1001 12342 0 0 68 5 5 2 20 0 15 0 13344768 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668869618576 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13398] ppid=13341 vsize=14069564 CPUtime=0.78 cores=1,3,5,7
/proc/13344/task/13398/stat : 13398 (java) S 13341 13344 5228 0 -1 1077944384 5841 12342 0 0 66 5 5 2 20 0 15 0 13344768 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668868565776 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13399] ppid=13341 vsize=14069564 CPUtime=0.83 cores=1,3,5,7
/proc/13344/task/13399/stat : 13399 (java) S 13341 13344 5228 0 -1 1077944384 4567 12342 0 0 72 4 5 2 20 0 15 0 13344770 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668749797744 140669271255682 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13400] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13400/stat : 13400 (java) S 13341 13344 5228 0 -1 1077944384 64 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668748743840 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13401] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13401/stat : 13401 (java) S 13341 13344 5228 0 -1 1077944384 47 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668747690880 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13402] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13402/stat : 13402 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668746639184 140669271263131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13403] ppid=13341 vsize=14069564 CPUtime=3.7 cores=1,3,5,7
/proc/13344/task/13403/stat : 13403 (java) S 13341 13344 5228 0 -1 1077944384 11132 12342 0 0 361 2 5 2 20 0 15 0 13344773 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668745587568 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13404] ppid=13341 vsize=14069564 CPUtime=3.68 cores=1,3,5,7
/proc/13344/task/13404/stat : 13404 (java) S 13341 13344 5228 0 -1 1077944384 12912 12342 0 0 359 2 5 2 20 0 15 0 13344773 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668744534768 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13405] ppid=13341 vsize=14069564 CPUtime=1.98 cores=1,3,5,7
/proc/13344/task/13405/stat : 13405 (java) S 13341 13344 5228 0 -1 1077944384 11071 12342 0 0 189 2 5 2 20 0 15 0 13344773 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668743481968 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13406] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13406/stat : 13406 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668742429408 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13407] ppid=13341 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/13344/task/13407/stat : 13407 (java) S 13341 13344 5228 0 -1 1077944384 160 12342 0 0 6 5 5 2 20 0 15 0 13344778 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668741376688 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
Current children cumulated CPU time (s) 233.4
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.30 1.84 1.93 3/214 13911
/proc/meminfo: memFree=30284056/32770624 swapFree=0/239436
[pid=13344] ppid=13341 vsize=14069564 CPUtime=251.29 cores=1,3,5,7
/proc/13344/stat : 13344 (java) S 13341 13344 5228 0 -1 1077944320 109378 12342 0 0 25063 59 5 2 20 0 15 0 13344749 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140726076814080 140669271244535 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
/proc/13344/statm: 3517391 193643 3477 1 0 3506013 0
[pid=13344/tid=13394] ppid=13341 vsize=14069564 CPUtime=237.88 cores=1,3,5,7
/proc/13344/task/13394/stat : 13394 (java) R 13341 13344 5228 0 -1 4202560 56459 12342 0 0 23760 21 5 2 20 0 15 0 13344768 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140669275478336 140668929493560 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13395] ppid=13341 vsize=14069564 CPUtime=0.86 cores=1,3,5,7
/proc/13344/task/13395/stat : 13395 (java) S 13341 13344 5228 0 -1 1077944384 1100 12342 0 0 74 5 5 2 20 0 15 0 13344768 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668871724176 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13396] ppid=13341 vsize=14069564 CPUtime=0.89 cores=1,3,5,7
/proc/13344/task/13396/stat : 13396 (java) S 13341 13344 5228 0 -1 1077944384 2860 12342 0 0 75 7 5 2 20 0 15 0 13344768 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668870671376 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13397] ppid=13341 vsize=14069564 CPUtime=0.87 cores=1,3,5,7
/proc/13344/task/13397/stat : 13397 (java) S 13341 13344 5228 0 -1 1077944384 1003 12342 0 0 75 5 5 2 20 0 15 0 13344768 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668869618576 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13398] ppid=13341 vsize=14069564 CPUtime=0.85 cores=1,3,5,7
/proc/13344/task/13398/stat : 13398 (java) S 13341 13344 5228 0 -1 1077944384 5845 12342 0 0 72 6 5 2 20 0 15 0 13344768 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668868565776 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13399] ppid=13341 vsize=14069564 CPUtime=0.9 cores=1,3,5,7
/proc/13344/task/13399/stat : 13399 (java) S 13341 13344 5228 0 -1 1077944384 4569 12342 0 0 79 4 5 2 20 0 15 0 13344770 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668749797744 140669271255682 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13400] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13400/stat : 13400 (java) S 13341 13344 5228 0 -1 1077944384 64 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668748743840 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13401] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13401/stat : 13401 (java) S 13341 13344 5228 0 -1 1077944384 47 12342 0 0 0 0 5 2 20 0 15 0 13344770 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668747690880 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13402] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13402/stat : 13402 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668746639184 140669271263131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13403] ppid=13341 vsize=14069564 CPUtime=3.7 cores=1,3,5,7
/proc/13344/task/13403/stat : 13403 (java) S 13341 13344 5228 0 -1 1077944384 11132 12342 0 0 361 2 5 2 20 0 15 0 13344773 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668745587568 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13404] ppid=13341 vsize=14069564 CPUtime=3.68 cores=1,3,5,7
/proc/13344/task/13404/stat : 13404 (java) S 13341 13344 5228 0 -1 1077944384 12912 12342 0 0 359 2 5 2 20 0 15 0 13344773 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668744534768 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13405] ppid=13341 vsize=14069564 CPUtime=1.98 cores=1,3,5,7
/proc/13344/task/13405/stat : 13405 (java) S 13341 13344 5228 0 -1 1077944384 11071 12342 0 0 189 2 5 2 20 0 15 0 13344773 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668743481968 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13406] ppid=13341 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/13344/task/13406/stat : 13406 (java) S 13341 13344 5228 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 13344773 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668742429408 140669271254741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
[pid=13344/tid=13407] ppid=13341 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/13344/task/13407/stat : 13407 (java) S 13341 13344 5228 0 -1 1077944384 160 12342 0 0 6 6 5 2 20 0 15 0 13344778 14407233536 193643 18446744073709551615 4194304 4196468 140726076831536 140668741376688 140669271255682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34754560 140726076835789 140726076838574 140726076838574 140726076841935 0
Current children cumulated CPU time (s) 251.29
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 13344 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.047
CPU time (s): 251.352
CPU user time (s): 250.72
CPU system time (s): 0.631864
CPU usage (%): 104.709
Max. virtual memory (cumulated for all children) (KiB): 14069612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.72
system time used= 0.631864
maximum resident set size= 791892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124124
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= 27460
involuntary context switches= 1387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33183 second user time and 1.31249 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-02 08:14:08
IDJOB=4259703
IDBENCH=129315
IDSOLVER=2646
FILE ID=node133/4259703-1501655294
RUNJOBID= node133-1501653519-11656
PBS_JOBID= 
Free space on /tmp= 61840 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-02-05.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259703-1501655294/watcher-4259703-1501655294 -o /tmp/evaluation-result-4259703-1501655294/solver-4259703-1501655294 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300  bin/concrete HOME/instance-4259703-1501655294.xml

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

MD5SUM BENCH= c642010e55c7dc039ba248b7a99425a6
RANDOM SEED=1114618362

node133.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.17
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.17
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.17
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.17
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:        31033392 kB
MemAvailable:   31272264 kB
Buffers:          126136 kB
Cached:           393156 kB
SwapCached:            0 kB
Active:          1076820 kB
Inactive:         247804 kB
Active(anon):     805940 kB
Inactive(anon):     8536 kB
Active(file):     270880 kB
Inactive(file):   239268 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24516 kB
Writeback:             4 kB
AnonPages:        804852 kB
Mapped:            43692 kB
Shmem:              8892 kB
Slab:             115300 kB
SReclaimable:      89116 kB
SUnreclaim:        26184 kB
KernelStack:        3536 kB
PageTables:         6472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1704040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    577536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61816 MiB
End job on node133 at 2017-08-02 08:18:08