Trace number 4262089

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 2520.1299 2478.3301

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

pid=24857
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.13 1.58 1.42 2/194 24860
/proc/meminfo: memFree=30652192/32770624 swapFree=0/307384
[pid=24860] ppid=24857 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24860/stat : 24860 (runsolver) D 24857 24860 16548 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 47363602 24240128 107 18446744073709551615 4194304 4338465 140730686653232 140730686650872 139824633115351 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 13234176 140730686660816 140730686661193 140730686661193 140730686664650 0
/proc/24860/statm: 5918 107 54 36 0 2156 0

[startup+0.100058 s]
/proc/loadavg: 2.13 1.58 1.42 2/194 24860
/proc/meminfo: memFree=30652192/32770624 swapFree=0/307384
[pid=24860] ppid=24857 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/24860/stat : 24860 (bash) S 24857 24860 16548 0 -1 4202496 896 6478 0 0 0 0 0 1 20 0 1 0 47363602 9867264 377 18446744073709551615 4194304 5098028 140729927673488 140729927667496 139853539290112 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 6 0 0 7196144 7232144 34664448 140729927680532 140729927680617 140729927680617 140729927684074 0
/proc/24860/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200399 s]
/proc/loadavg: 2.13 1.58 1.42 2/194 24860
/proc/meminfo: memFree=30652192/32770624 swapFree=0/307384
[pid=24860] ppid=24857 vsize=98708 CPUtime=0.08 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 2217 12737 0 0 0 0 5 3 20 0 2 0 47363602 101076992 1147 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 0 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 24933 1147 848 1 0 17057 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 98708

[startup+0.300229 s]
/proc/loadavg: 2.13 1.58 1.42 2/194 24860
/proc/meminfo: memFree=30652192/32770624 swapFree=0/307384
[pid=24860] ppid=24857 vsize=13973872 CPUtime=0.14 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 5560 12737 0 0 5 1 5 3 20 0 15 0 47363602 14309244928 5235 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 3493468 5235 2563 1 0 3482965 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13973872

[startup+0.700287 s]
/proc/loadavg: 2.13 1.58 1.42 2/194 24860
/proc/meminfo: memFree=30652192/32770624 swapFree=0/307384
[pid=24860] ppid=24857 vsize=13974784 CPUtime=0.7 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 13935 12737 0 0 58 4 5 3 20 0 15 0 47363602 14310178816 14828 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 3493696 14828 3116 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784

[startup+1.50075 s]
/proc/loadavg: 2.13 1.58 1.42 3/209 24923
/proc/meminfo: memFree=30557620/32770624 swapFree=0/307408
[pid=24860] ppid=24857 vsize=13985408 CPUtime=1.88 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 29482 12737 0 0 170 10 5 3 20 0 15 0 47363602 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 3496352 39648 3369 1 0 3485525 0
[pid=24860/tid=24910] ppid=24857 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/24860/task/24910/stat : 24910 (java) S 24857 24860 16548 0 -1 1077944384 22458 12737 0 0 115 6 5 3 20 0 15 0 47363622 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139737205947680 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24911] ppid=24857 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24911/stat : 24911 (java) S 24857 24860 16548 0 -1 1077944384 54 12737 0 0 0 0 5 3 20 0 15 0 47363622 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139737164835472 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24912] ppid=24857 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24912/stat : 24912 (java) S 24857 24860 16548 0 -1 1077944384 59 12737 0 0 0 0 5 3 20 0 15 0 47363623 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736801163792 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24913] ppid=24857 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24913/stat : 24913 (java) S 24857 24860 16548 0 -1 1077944384 190 12737 0 0 0 0 5 3 20 0 15 0 47363623 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736800110992 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24914] ppid=24857 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24914/stat : 24914 (java) S 24857 24860 16548 0 -1 1077944384 44 12737 0 0 0 0 5 3 20 0 15 0 47363623 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736799058192 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24915] ppid=24857 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24915/stat : 24915 (java) R 24857 24860 16548 0 -1 4202560 1299 12737 0 0 0 0 5 3 20 0 15 0 47363624 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736680174784 139737187420967 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24916] ppid=24857 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24916/stat : 24916 (java) S 24857 24860 16548 0 -1 1077944384 33 12737 0 0 0 0 5 3 20 0 15 0 47363624 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736679122464 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24917] ppid=24857 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24917/stat : 24917 (java) S 24857 24860 16548 0 -1 1077944384 21 12737 0 0 0 0 5 3 20 0 15 0 47363625 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736678069616 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24918] ppid=24857 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24918/stat : 24918 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736677017936 139737201747867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24919] ppid=24857 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/24860/task/24919/stat : 24919 (java) S 24857 24860 16548 0 -1 1077944384 1084 12737 0 0 16 0 5 3 20 0 15 0 47363627 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736675965296 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24920] ppid=24857 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/24860/task/24920/stat : 24920 (java) S 24857 24860 16548 0 -1 1077944384 732 12737 0 0 13 0 5 3 20 0 15 0 47363627 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736674912496 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24921] ppid=24857 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/24860/task/24921/stat : 24921 (java) S 24857 24860 16548 0 -1 1077944384 1345 12737 0 0 22 0 5 3 20 0 15 0 47363627 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736673855072 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24922] ppid=24857 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24922/stat : 24922 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736672807136 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24923] ppid=24857 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24923/stat : 24923 (java) S 24857 24860 16548 0 -1 1077944384 5 12737 0 0 0 0 5 3 20 0 15 0 47363632 14321057792 39648 18446744073709551615 4194304 4196468 140730652011344 139736671755440 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13985408

[startup+3.10156 s]
/proc/loadavg: 2.13 1.58 1.42 4/209 24923
/proc/meminfo: memFree=30482736/32770624 swapFree=0/307408
[pid=24860] ppid=24857 vsize=13997884 CPUtime=5.93 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 45217 12737 0 0 570 15 5 3 20 0 15 0 47363602 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 3499471 53474 3446 1 0 3488085 0
[pid=24860/tid=24910] ppid=24857 vsize=13997884 CPUtime=2.87 cores=0,2,4,6
/proc/24860/task/24910/stat : 24910 (java) R 24857 24860 16548 0 -1 4202560 29910 12737 0 0 271 8 5 3 20 0 15 0 47363622 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139737205959120 139736852036960 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24911] ppid=24857 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24911/stat : 24911 (java) S 24857 24860 16548 0 -1 1077944384 59 12737 0 0 0 0 5 3 20 0 15 0 47363622 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139737164835472 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24912] ppid=24857 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/24860/task/24912/stat : 24912 (java) S 24857 24860 16548 0 -1 1077944384 59 12737 0 0 1 0 5 3 20 0 15 0 47363623 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736801163792 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24913] ppid=24857 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24913/stat : 24913 (java) S 24857 24860 16548 0 -1 1077944384 190 12737 0 0 0 0 5 3 20 0 15 0 47363623 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736800110992 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24914] ppid=24857 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24914/stat : 24914 (java) S 24857 24860 16548 0 -1 1077944384 49 12737 0 0 0 0 5 3 20 0 15 0 47363623 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736799058192 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24915] ppid=24857 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/24860/task/24915/stat : 24915 (java) S 24857 24860 16548 0 -1 1077944384 1681 12737 0 0 1 0 5 3 20 0 15 0 47363624 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736680176496 139737201740418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24916] ppid=24857 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24916/stat : 24916 (java) S 24857 24860 16548 0 -1 1077944384 56 12737 0 0 0 0 5 3 20 0 15 0 47363624 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736679122464 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24917] ppid=24857 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24917/stat : 24917 (java) S 24857 24860 16548 0 -1 1077944384 43 12737 0 0 0 0 5 3 20 0 15 0 47363625 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736678069632 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24918] ppid=24857 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24918/stat : 24918 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736677017936 139737201747867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24919] ppid=24857 vsize=13997884 CPUtime=0.87 cores=0,2,4,6
/proc/24860/task/24919/stat : 24919 (java) R 24857 24860 16548 0 -1 4202560 2365 12737 0 0 78 1 5 3 20 0 15 0 47363627 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736675946128 139737186136401 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24920] ppid=24857 vsize=13997884 CPUtime=1.11 cores=0,2,4,6
/proc/24860/task/24920/stat : 24920 (java) R 24857 24860 16548 0 -1 4202560 4082 12737 0 0 102 1 5 3 20 0 15 0 47363627 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736674912496 139737201750618 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24921] ppid=24857 vsize=13997884 CPUtime=1.2 cores=0,2,4,6
/proc/24860/task/24921/stat : 24921 (java) S 24857 24860 16548 0 -1 1077944384 4558 12737 0 0 111 1 5 3 20 0 15 0 47363627 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736673859696 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24922] ppid=24857 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24922/stat : 24922 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736672807136 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24923] ppid=24857 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24923/stat : 24923 (java) S 24857 24860 16548 0 -1 1077944384 7 12737 0 0 0 0 5 3 20 0 15 0 47363632 14333833216 53474 18446744073709551615 4194304 4196468 140730652011344 139736671755440 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 13997884

[startup+6.30088 s]
/proc/loadavg: 2.28 1.62 1.43 4/209 24923
/proc/meminfo: memFree=30294912/32770624 swapFree=0/307408
[pid=24860] ppid=24857 vsize=14069564 CPUtime=14.83 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 70692 12737 0 0 1449 26 5 3 20 0 15 0 47363602 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 3517391 95600 3484 1 0 3506005 0
[pid=24860/tid=24910] ppid=24857 vsize=14069564 CPUtime=5.78 cores=0,2,4,6
/proc/24860/task/24910/stat : 24910 (java) R 24857 24860 16548 0 -1 4202560 44998 12737 0 0 557 13 5 3 20 0 15 0 47363622 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139737205949456 139736842790080 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24911] ppid=24857 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/24860/task/24911/stat : 24911 (java) S 24857 24860 16548 0 -1 1077944384 77 12737 0 0 13 0 5 3 20 0 15 0 47363622 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139737164835472 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24912] ppid=24857 vsize=14069564 CPUtime=0.24 cores=0,2,4,6
/proc/24860/task/24912/stat : 24912 (java) S 24857 24860 16548 0 -1 1077944384 83 12737 0 0 16 0 5 3 20 0 15 0 47363623 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736801163792 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24913] ppid=24857 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/24860/task/24913/stat : 24913 (java) S 24857 24860 16548 0 -1 1077944384 253 12737 0 0 11 0 5 3 20 0 15 0 47363623 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736800110992 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24914] ppid=24857 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/24860/task/24914/stat : 24914 (java) S 24857 24860 16548 0 -1 1077944384 86 12737 0 0 11 0 5 3 20 0 15 0 47363623 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736799058192 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24915] ppid=24857 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/24860/task/24915/stat : 24915 (java) S 24857 24860 16548 0 -1 1077944384 2321 12737 0 0 13 0 5 3 20 0 15 0 47363624 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736680176496 139737201740418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24916] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24916/stat : 24916 (java) S 24857 24860 16548 0 -1 1077944384 56 12737 0 0 0 0 5 3 20 0 15 0 47363624 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736679122528 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24917] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24917/stat : 24917 (java) S 24857 24860 16548 0 -1 1077944384 43 12737 0 0 0 0 5 3 20 0 15 0 47363625 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736678069632 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24918] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24918/stat : 24918 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736677017936 139737201747867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24919] ppid=24857 vsize=14069564 CPUtime=2.92 cores=0,2,4,6
/proc/24860/task/24919/stat : 24919 (java) R 24857 24860 16548 0 -1 4202560 5094 12737 0 0 282 2 5 3 20 0 15 0 47363627 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736675952496 139737184937488 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24920] ppid=24857 vsize=14069564 CPUtime=3.72 cores=0,2,4,6
/proc/24860/task/24920/stat : 24920 (java) R 24857 24860 16548 0 -1 4202560 9753 12737 0 0 361 3 5 3 20 0 15 0 47363627 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736674898520 139737181422375 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24921] ppid=24857 vsize=14069564 CPUtime=1.9 cores=0,2,4,6
/proc/24860/task/24921/stat : 24921 (java) S 24857 24860 16548 0 -1 1077944384 5758 12737 0 0 180 2 5 3 20 0 15 0 47363627 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736673859696 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24922] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24922/stat : 24922 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736672807136 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24923] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24923/stat : 24923 (java) S 24857 24860 16548 0 -1 1077944384 10 12737 0 0 0 0 5 3 20 0 15 0 47363632 14407233536 95600 18446744073709551615 4194304 4196468 140730652011344 139736671755440 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
Current children cumulated CPU time (s) 14.83
Current children cumulated vsize (KiB) 14069564

[startup+12.7008 s]
/proc/loadavg: 2.34 1.64 1.44 3/209 24923
/proc/meminfo: memFree=30080856/32770624 swapFree=0/307412
[pid=24860] ppid=24857 vsize=14069564 CPUtime=23.4 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 89933 12737 0 0 2299 33 5 3 20 0 15 0 47363602 14407233536 146572 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 3517391 146572 3490 1 0 3506005 0
[pid=24860/tid=24910] ppid=24857 vsize=14069564 CPUtime=12.15 cores=0,2,4,6
/proc/24860/task/24910/stat : 24910 (java) R 24857 24860 16548 0 -1 4202560 47527 12737 0 0 1191 16 5 3 20 0 15 0 47363622 14407233536 146572 18446744073709551615 4194304 4196468 140730652011344 139737205963296 139736860792752 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24911] ppid=24857 vsize=14069564 CPUtime=0.23 cores=0,2,4,6
/proc/24860/task/24911/stat : 24911 (java) S 24857 24860 16548 0 -1 1077944384 115 12737 0 0 14 1 5 3 20 0 15 0 47363622 14407233536 146572 18446744073709551615 4194304 4196468 140730652011344 139737164835472 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24912] ppid=24857 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/24860/task/24912/stat : 24912 (java) S 24857 24860 16548 0 -1 1077944384 461 12737 0 0 17 0 5 3 20 0 15 0 47363623 14407233536 146572 18446744073709551615 4194304 4196468 140730652011344 139736801163792 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24913] ppid=24857 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/24860/task/24913/stat : 24913 (java) S 24857 24860 16548 0 -1 1077944384 1049 12737 0 0 12 1 5 3 20 0 15 0 47363623 14407233536 146572 18446744073709551615 4194304 4196468 140730652011344 139736800110992 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24914] ppid=24857 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/24860/task/24914/stat : 24914 (java) S 24857 24860 16548 0 -1 1077944384 143 12737 0 0 12 1 5 3 20 0 15 0 47363623 14407233536 146572 18446744073709551615 4194304 4196468 140730652011344 139736799058192 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24915] ppid=24857 vsize=14069564 CPUtime=0.22 cores=0,2,4,6
/proc/24860/task/24915/stat : 24915 (java) S 24857 24860 16548 0 -1 1077944384 2635 12737 0 0 14 0 5 3 20 0 15 0 47363624 14407233536 146572 18446744073709551615 4194304 4196468 140730652011344 139736680176496 139737201740418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24916] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24916/stat : 24916 (java) S 24857 24860 16548 0 -1 1077944384 62 12737 0 0 0 0 5 3 20 0 15 0 47363624 14407233536 146572 18446744073709551615 4194304 4196468 140730652011344 139736679122528 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24917] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24917/stat : 24917 (java) S 24857 24860 16548 0 -1 1077944384 43 12737 0 0 0 0 5 3 20 0 15 0 47363625 14407233536 146572 18446744073709551615 4194304 4196468 140730652011344 139736678069632 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24918] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24918/stat : 24918 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 146572 18446744073709551615 4194304 4196468 140730652011344 139736677017936 139737201747867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0

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

[pid=24860/tid=24923] ppid=24857 vsize=14069564 CPUtime=1.51 cores=0,2,4,6
/proc/24860/task/24923/stat : 24923 (java) S 24857 24860 16548 0 -1 1077944384 1482 12737 0 0 70 73 5 3 20 0 15 0 47363632 14407233536 209729 18446744073709551615 4194304 4196468 140730652011344 139736671755440 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
Current children cumulated CPU time (s) 2362.15
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.25 1.40 1.39 3/209 25088
/proc/meminfo: memFree=29786456/32770624 swapFree=0/308408
[pid=24860] ppid=24857 vsize=14069564 CPUtime=2422.89 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 229864 12737 0 0 241953 328 5 3 20 0 15 0 47363602 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 3517391 210251 3490 1 0 3506005 0
[pid=24860/tid=24910] ppid=24857 vsize=14069564 CPUtime=2356.57 cores=0,2,4,6
/proc/24860/task/24910/stat : 24910 (java) R 24857 24860 16548 0 -1 4202560 91030 12737 0 0 235604 45 5 3 20 0 15 0 47363622 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139737205963056 139736859394054 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24911] ppid=24857 vsize=14069564 CPUtime=10.86 cores=0,2,4,6
/proc/24860/task/24911/stat : 24911 (java) S 24857 24860 16548 0 -1 1077944384 14900 12737 0 0 1023 55 5 3 20 0 15 0 47363622 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139737164835472 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24912] ppid=24857 vsize=14069564 CPUtime=10.87 cores=0,2,4,6
/proc/24860/task/24912/stat : 24912 (java) S 24857 24860 16548 0 -1 1077944384 14761 12737 0 0 1029 50 5 3 20 0 15 0 47363623 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736801163792 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24913] ppid=24857 vsize=14069564 CPUtime=10.82 cores=0,2,4,6
/proc/24860/task/24913/stat : 24913 (java) S 24857 24860 16548 0 -1 1077944384 16881 12737 0 0 1019 55 5 3 20 0 15 0 47363623 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736800110992 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24914] ppid=24857 vsize=14069564 CPUtime=10.85 cores=0,2,4,6
/proc/24860/task/24914/stat : 24914 (java) S 24857 24860 16548 0 -1 1077944384 9126 12737 0 0 1027 50 5 3 20 0 15 0 47363623 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736799058192 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24915] ppid=24857 vsize=14069564 CPUtime=10.83 cores=0,2,4,6
/proc/24860/task/24915/stat : 24915 (java) S 24857 24860 16548 0 -1 1077944384 16064 12737 0 0 1021 54 5 3 20 0 15 0 47363624 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736680176496 139737201740418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24916] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24916/stat : 24916 (java) S 24857 24860 16548 0 -1 1077944384 62 12737 0 0 0 0 5 3 20 0 15 0 47363624 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736679122528 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24917] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24917/stat : 24917 (java) S 24857 24860 16548 0 -1 1077944384 43 12737 0 0 0 0 5 3 20 0 15 0 47363625 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736678069632 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24918] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24918/stat : 24918 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736677017936 139737201747867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24919] ppid=24857 vsize=14069564 CPUtime=4.26 cores=0,2,4,6
/proc/24860/task/24919/stat : 24919 (java) S 24857 24860 16548 0 -1 1077944384 20817 12737 0 0 414 4 5 3 20 0 15 0 47363627 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736675965296 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24920] ppid=24857 vsize=14069564 CPUtime=4.78 cores=0,2,4,6
/proc/24860/task/24920/stat : 24920 (java) S 24857 24860 16548 0 -1 1077944384 23752 12737 0 0 466 4 5 3 20 0 15 0 47363627 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736674912496 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24921] ppid=24857 vsize=14069564 CPUtime=2.1 cores=0,2,4,6
/proc/24860/task/24921/stat : 24921 (java) S 24857 24860 16548 0 -1 1077944384 18768 12737 0 0 198 4 5 3 20 0 15 0 47363627 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736673859696 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24922] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24922/stat : 24922 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736672807136 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24923] ppid=24857 vsize=14069564 CPUtime=1.53 cores=0,2,4,6
/proc/24860/task/24923/stat : 24923 (java) S 24857 24860 16548 0 -1 1077944384 1500 12737 0 0 71 74 5 3 20 0 15 0 47363632 14407233536 210251 18446744073709551615 4194304 4196468 140730652011344 139736671755440 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
Current children cumulated CPU time (s) 2422.89
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.91 1.55 1.44 3/209 25214
/proc/meminfo: memFree=29372964/32770624 swapFree=0/308416
[pid=24860] ppid=24857 vsize=14069564 CPUtime=2483.64 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 231207 12737 0 0 248019 337 5 3 20 0 15 0 47363602 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 3517391 210257 3490 1 0 3506005 0
[pid=24860/tid=24910] ppid=24857 vsize=14069564 CPUtime=2415.96 cores=0,2,4,6
/proc/24860/task/24910/stat : 24910 (java) R 24857 24860 16548 0 -1 4202560 91712 12737 0 0 241541 47 5 3 20 0 15 0 47363622 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139737205963280 139736860790925 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24911] ppid=24857 vsize=14069564 CPUtime=11.13 cores=0,2,4,6
/proc/24860/task/24911/stat : 24911 (java) S 24857 24860 16548 0 -1 1077944384 15155 12737 0 0 1048 57 5 3 20 0 15 0 47363622 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139737164835472 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24912] ppid=24857 vsize=14069564 CPUtime=11.14 cores=0,2,4,6
/proc/24860/task/24912/stat : 24912 (java) S 24857 24860 16548 0 -1 1077944384 14789 12737 0 0 1054 52 5 3 20 0 15 0 47363623 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736801163792 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24913] ppid=24857 vsize=14069564 CPUtime=11.1 cores=0,2,4,6
/proc/24860/task/24913/stat : 24913 (java) S 24857 24860 16548 0 -1 1077944384 16990 12737 0 0 1045 57 5 3 20 0 15 0 47363623 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736800110992 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24914] ppid=24857 vsize=14069564 CPUtime=11.11 cores=0,2,4,6
/proc/24860/task/24914/stat : 24914 (java) S 24857 24860 16548 0 -1 1077944384 9163 12737 0 0 1052 51 5 3 20 0 15 0 47363623 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736799058192 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24915] ppid=24857 vsize=14069564 CPUtime=11.09 cores=0,2,4,6
/proc/24860/task/24915/stat : 24915 (java) S 24857 24860 16548 0 -1 1077944384 16273 12737 0 0 1046 55 5 3 20 0 15 0 47363624 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736680176496 139737201740418 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24916] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24916/stat : 24916 (java) S 24857 24860 16548 0 -1 1077944384 62 12737 0 0 0 0 5 3 20 0 15 0 47363624 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736679122528 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24917] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24917/stat : 24917 (java) S 24857 24860 16548 0 -1 1077944384 43 12737 0 0 0 0 5 3 20 0 15 0 47363625 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736678069632 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24918] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24918/stat : 24918 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736677017936 139737201747867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24919] ppid=24857 vsize=14069564 CPUtime=4.26 cores=0,2,4,6
/proc/24860/task/24919/stat : 24919 (java) S 24857 24860 16548 0 -1 1077944384 20819 12737 0 0 414 4 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736675965296 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24920] ppid=24857 vsize=14069564 CPUtime=4.78 cores=0,2,4,6
/proc/24860/task/24920/stat : 24920 (java) S 24857 24860 16548 0 -1 1077944384 23754 12737 0 0 466 4 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736674912496 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24921] ppid=24857 vsize=14069564 CPUtime=2.1 cores=0,2,4,6
/proc/24860/task/24921/stat : 24921 (java) S 24857 24860 16548 0 -1 1077944384 18770 12737 0 0 198 4 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736673859696 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24922] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24922/stat : 24922 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736672807136 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24923] ppid=24857 vsize=14069564 CPUtime=1.57 cores=0,2,4,6
/proc/24860/task/24923/stat : 24923 (java) S 24857 24860 16548 0 -1 1077944384 1517 12737 0 0 73 76 5 3 20 0 15 0 47363632 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736671755440 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
Current children cumulated CPU time (s) 2483.64
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2478.3 s]
/proc/loadavg: 1.83 1.57 1.45 3/209 25215
/proc/meminfo: memFree=29207520/32770624 swapFree=0/308428
[pid=24860] ppid=24857 vsize=14069564 CPUtime=2520.09 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 231609 12737 0 0 251660 341 5 3 20 0 15 0 47363602 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 3517391 210257 3490 1 0 3506005 0
[pid=24860/tid=24910] ppid=24857 vsize=14069564 CPUtime=2451.58 cores=0,2,4,6
/proc/24860/task/24910/stat : 24910 (java) R 24857 24860 16548 0 -1 4202560 92084 12737 0 0 245103 47 5 3 20 0 15 0 47363622 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139737205963168 139736859544133 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24911] ppid=24857 vsize=14069564 CPUtime=11.3 cores=0,2,4,6
/proc/24860/task/24911/stat : 24911 (java) S 24857 24860 16548 0 -1 1077944384 15157 12737 0 0 1064 58 5 3 20 0 15 0 47363622 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139737164835472 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24912] ppid=24857 vsize=14069564 CPUtime=11.3 cores=0,2,4,6
/proc/24860/task/24912/stat : 24912 (java) S 24857 24860 16548 0 -1 1077944384 14794 12737 0 0 1069 53 5 3 20 0 15 0 47363623 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736801163792 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24913] ppid=24857 vsize=14069564 CPUtime=11.26 cores=0,2,4,6
/proc/24860/task/24913/stat : 24913 (java) S 24857 24860 16548 0 -1 1077944384 17004 12737 0 0 1061 57 5 3 20 0 15 0 47363623 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736800110992 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24914] ppid=24857 vsize=14069564 CPUtime=11.28 cores=0,2,4,6
/proc/24860/task/24914/stat : 24914 (java) S 24857 24860 16548 0 -1 1077944384 9163 12737 0 0 1068 52 5 3 20 0 15 0 47363623 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736799058192 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24915] ppid=24857 vsize=14069564 CPUtime=11.24 cores=0,2,4,6
/proc/24860/task/24915/stat : 24915 (java) S 24857 24860 16548 0 -1 1077944384 16280 12737 0 0 1060 56 5 3 20 0 15 0 47363624 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736680176496 139737201740418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24916] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24916/stat : 24916 (java) S 24857 24860 16548 0 -1 1077944384 62 12737 0 0 0 0 5 3 20 0 15 0 47363624 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736679122528 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24917] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24917/stat : 24917 (java) S 24857 24860 16548 0 -1 1077944384 43 12737 0 0 0 0 5 3 20 0 15 0 47363625 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736678069632 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24918] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24918/stat : 24918 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736677017936 139737201747867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24919] ppid=24857 vsize=14069564 CPUtime=4.26 cores=0,2,4,6
/proc/24860/task/24919/stat : 24919 (java) S 24857 24860 16548 0 -1 1077944384 20819 12737 0 0 414 4 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736675965296 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24920] ppid=24857 vsize=14069564 CPUtime=4.78 cores=0,2,4,6
/proc/24860/task/24920/stat : 24920 (java) S 24857 24860 16548 0 -1 1077944384 23754 12737 0 0 466 4 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736674912496 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24921] ppid=24857 vsize=14069564 CPUtime=2.1 cores=0,2,4,6
/proc/24860/task/24921/stat : 24921 (java) S 24857 24860 16548 0 -1 1077944384 18770 12737 0 0 198 4 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736673859696 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24922] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24922/stat : 24922 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736672807136 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24923] ppid=24857 vsize=14069564 CPUtime=1.6 cores=0,2,4,6
/proc/24860/task/24923/stat : 24923 (java) S 24857 24860 16548 0 -1 1077944384 1519 12737 0 0 75 77 5 3 20 0 15 0 47363632 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736671755440 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
Current children cumulated CPU time (s) 2520.09
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 24860 sig 9
??? kill -24860 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2478.3 s]
/proc/loadavg: 1.83 1.57 1.45 3/209 25215
/proc/meminfo: memFree=29207520/32770624 swapFree=0/308428
[pid=24860] ppid=24857 vsize=14069564 CPUtime=2520.09 cores=0,2,4,6
/proc/24860/stat : 24860 (java) S 24857 24860 16548 0 -1 1077944320 231609 12737 0 0 251660 341 5 3 20 0 15 0 47363602 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 140730651993888 139737201729271 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
/proc/24860/statm: 3517391 210257 3490 1 0 3506005 0
[pid=24860/tid=24910] ppid=24857 vsize=14069564 CPUtime=2451.58 cores=0,2,4,6
/proc/24860/task/24910/stat : 24910 (java) R 24857 24860 16548 0 -1 4202560 92084 12737 0 0 245103 47 5 3 20 0 15 0 47363622 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139737205963168 139736859544133 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24911] ppid=24857 vsize=14069564 CPUtime=11.3 cores=0,2,4,6
/proc/24860/task/24911/stat : 24911 (java) S 24857 24860 16548 0 -1 1077944384 15157 12737 0 0 1064 58 5 3 20 0 15 0 47363622 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139737164835472 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24912] ppid=24857 vsize=14069564 CPUtime=11.3 cores=0,2,4,6
/proc/24860/task/24912/stat : 24912 (java) S 24857 24860 16548 0 -1 1077944384 14794 12737 0 0 1069 53 5 3 20 0 15 0 47363623 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736801163792 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24913] ppid=24857 vsize=14069564 CPUtime=11.26 cores=0,2,4,6
/proc/24860/task/24913/stat : 24913 (java) S 24857 24860 16548 0 -1 1077944384 17004 12737 0 0 1061 57 5 3 20 0 15 0 47363623 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736800110992 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24914] ppid=24857 vsize=14069564 CPUtime=11.28 cores=0,2,4,6
/proc/24860/task/24914/stat : 24914 (java) S 24857 24860 16548 0 -1 1077944384 9163 12737 0 0 1068 52 5 3 20 0 15 0 47363623 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736799058192 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24915] ppid=24857 vsize=14069564 CPUtime=11.24 cores=0,2,4,6
/proc/24860/task/24915/stat : 24915 (java) S 24857 24860 16548 0 -1 1077944384 16280 12737 0 0 1060 56 5 3 20 0 15 0 47363624 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736680176496 139737201740418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24916] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24916/stat : 24916 (java) S 24857 24860 16548 0 -1 1077944384 62 12737 0 0 0 0 5 3 20 0 15 0 47363624 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736679122528 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24917] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24917/stat : 24917 (java) S 24857 24860 16548 0 -1 1077944384 43 12737 0 0 0 0 5 3 20 0 15 0 47363625 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736678069632 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24918] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24918/stat : 24918 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736677017936 139737201747867 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24919] ppid=24857 vsize=14069564 CPUtime=4.26 cores=0,2,4,6
/proc/24860/task/24919/stat : 24919 (java) S 24857 24860 16548 0 -1 1077944384 20819 12737 0 0 414 4 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736675965296 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24920] ppid=24857 vsize=14069564 CPUtime=4.78 cores=0,2,4,6
/proc/24860/task/24920/stat : 24920 (java) S 24857 24860 16548 0 -1 1077944384 23754 12737 0 0 466 4 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736674912496 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24921] ppid=24857 vsize=14069564 CPUtime=2.1 cores=0,2,4,6
/proc/24860/task/24921/stat : 24921 (java) S 24857 24860 16548 0 -1 1077944384 18770 12737 0 0 198 4 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736673859696 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24922] ppid=24857 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/24860/task/24922/stat : 24922 (java) S 24857 24860 16548 0 -1 1077944384 3 12737 0 0 0 0 5 3 20 0 15 0 47363627 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736672807136 139737201739477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
[pid=24860/tid=24923] ppid=24857 vsize=14069564 CPUtime=1.6 cores=0,2,4,6
/proc/24860/task/24923/stat : 24923 (java) S 24857 24860 16548 0 -1 1077944384 1519 12737 0 0 75 77 5 3 20 0 15 0 47363632 14407233536 210257 18446744073709551615 4194304 4196468 140730652011344 139736671755440 139737201740418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13242368 140730652014544 140730652017329 140730652017329 140730652020687 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2478.33
CPU time (s): 2520.13
CPU user time (s): 2516.68
CPU system time (s): 3.449
CPU usage (%): 101.687
Max. virtual memory (cumulated for all children) (KiB): 14069620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.68
system time used= 3.44901
maximum resident set size= 841752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245402
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 288278
involuntary context switches= 9371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.01143 second user time and 17.5832 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-11 13:27:20
IDJOB=4262089
IDBENCH=129315
IDSOLVER=2650
FILE ID=node126/4262089-1502451681
RUNJOBID= node126-1502411413-16611
PBS_JOBID= 
Free space on /tmp= 62008 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-4262089-1502451681/watcher-4262089-1502451681 -o /tmp/evaluation-result-4262089-1502451681/solver-4262089-1502451681 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502411413-16611 --watchdog 2580  bin/concrete HOME/instance-4262089-1502451681.xml

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

MD5SUM BENCH= c642010e55c7dc039ba248b7a99425a6
RANDOM SEED=857346778

node126.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.81
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.81
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.81
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.81
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:        30652800 kB
MemAvailable:   31263880 kB
Buffers:          280500 kB
Cached:           603716 kB
SwapCached:          524 kB
Active:          1280492 kB
Inactive:         378708 kB
Active(anon):     729064 kB
Inactive(anon):    71324 kB
Active(file):     551428 kB
Inactive(file):   307384 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             24400 kB
Writeback:             4 kB
AnonPages:        774740 kB
Mapped:            54172 kB
Shmem:             25248 kB
Slab:             162408 kB
SReclaimable:     136204 kB
SUnreclaim:        26204 kB
KernelStack:        3408 kB
PageTables:         6392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1705324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    559104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61984 MiB
End job on node126 at 2017-08-11 14:08:39