Trace number 4259706

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)104 251.718 240.033

General information on the benchmark

NameRcpsp/Rcpsp-m1-j120/
Rcpsp-j120-50-04.xml
MD5SUM88cc4e0405f00f13705dc5989c1027aa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark100
Best CPU time to get the best result obtained on this benchmark244.85899
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints261
Number of domains2
Minimum domain size1
Maximum domain size677
Distribution of domain sizes[{"size":1,"count":1},{"size":677,"count":121}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":3},{"degree":4,"count":6},{"degree":5,"count":20},{"degree":6,"count":49},{"degree":7,"count":26},{"degree":8,"count":15},{"degree":9,"count":3}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":257},{"arity":49,"count":1},{"arity":61,"count":1},{"arity":63,"count":1},{"arity":68,"count":1}]
Number of extensional constraints0
Number of intensional constraints257
Distribution of constraint types[{"type":"intension","count":257},{"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.39/2.23	c Concrete v3.4 running
10.10/4.73	o 676
10.43/4.80	o 675
10.43/4.85	o 674
10.77/4.92	o 673
11.09/5.01	o 672
11.09/5.04	o 671
11.09/5.08	o 670
11.09/5.10	o 669
11.43/5.12	o 668
11.43/5.14	o 667
11.43/5.16	o 666
11.43/5.18	o 665
11.74/5.20	o 664
11.74/5.22	o 663
11.74/5.24	o 662
11.74/5.26	o 661
11.74/5.28	o 660
11.74/5.30	o 659
12.04/5.31	o 658
12.04/5.33	o 657
12.04/5.35	o 656
12.04/5.37	o 655
12.04/5.39	o 654
12.27/5.40	o 653
12.27/5.42	o 652
12.27/5.44	o 651
12.27/5.46	o 650
12.27/5.47	o 649
12.27/5.49	o 648
12.43/5.51	o 647
12.43/5.53	o 646
12.43/5.54	o 645
12.43/5.56	o 644
12.43/5.58	o 643
12.43/5.60	o 642
12.64/5.66	o 641
12.64/5.68	o 640
12.64/5.69	o 639
12.76/5.71	o 638
12.76/5.73	o 637
12.76/5.74	o 636
12.76/5.76	o 635
12.76/5.78	o 634
12.76/5.79	o 633
12.89/5.81	o 632
12.89/5.83	o 631
12.89/5.85	o 630
12.89/5.86	o 629
12.89/5.88	o 628
12.89/5.90	o 627
13.11/5.91	o 626
13.11/5.93	o 625
13.11/5.94	o 624
13.11/5.96	o 623
13.11/5.98	o 622
13.11/6.00	o 621
13.34/6.01	o 620
13.34/6.03	o 619
13.34/6.05	o 618
13.34/6.06	o 617
13.34/6.08	o 616
13.34/6.09	o 615
13.59/6.11	o 614
13.59/6.12	o 613
13.59/6.14	o 612
13.59/6.16	o 611
13.59/6.17	o 610
13.59/6.19	o 609
13.87/6.20	o 608
13.87/6.22	o 607
13.87/6.24	o 606
13.87/6.25	o 605
13.87/6.27	o 604
13.87/6.28	o 603
14.12/6.30	o 602
14.12/6.32	o 601
14.12/6.34	o 600
14.12/6.35	o 599
14.12/6.37	o 598
14.12/6.39	o 597
14.44/6.41	o 596
14.44/6.42	o 595
14.44/6.44	o 594
14.44/6.46	o 593
14.44/6.48	o 592
14.44/6.49	o 591
14.72/6.51	o 590
14.72/6.54	o 589
14.72/6.55	o 588
14.72/6.57	o 587
14.72/6.58	o 586
14.72/6.60	o 585
14.85/6.61	o 584
14.85/6.63	o 583
14.85/6.64	o 582
14.85/6.66	o 581
14.85/6.67	o 580
14.85/6.68	o 579
14.85/6.70	o 578
14.97/6.71	o 577
14.97/6.73	o 576
14.97/6.74	o 575
14.97/6.76	o 574
14.97/6.77	o 573
14.97/6.79	o 572
15.08/6.80	o 571
15.08/6.82	o 570
15.08/6.84	o 569
15.08/6.85	o 568
15.08/6.87	o 567
15.08/6.88	o 566
15.08/6.90	o 565
15.19/6.91	o 564
15.19/6.92	o 563
15.19/6.94	o 562
15.19/6.95	o 561
15.19/6.97	o 560
15.19/6.98	o 559
15.19/6.99	o 558
15.29/7.01	o 557
15.29/7.02	o 556
15.29/7.03	o 555
15.29/7.05	o 554
15.29/7.06	o 553
15.29/7.08	o 552
15.29/7.09	o 551
15.40/7.10	o 550
15.40/7.12	o 549
15.40/7.13	o 548
15.40/7.15	o 547
15.40/7.16	o 546
15.40/7.18	o 545
15.40/7.19	o 544
15.50/7.20	o 543
15.50/7.24	o 542
15.50/7.25	o 541
15.50/7.26	o 540
15.50/7.28	o 539
15.50/7.29	o 538
15.61/7.31	o 537
15.61/7.32	o 536
15.61/7.33	o 535
15.61/7.34	o 534
15.61/7.36	o 533
15.61/7.37	o 532
15.61/7.38	o 531
15.71/7.46	o 530
15.71/7.47	o 529
15.71/7.48	o 528
15.95/7.51	o 527
15.95/7.53	o 526
15.95/7.54	o 525
15.95/7.56	o 524
15.95/7.57	o 523
15.95/7.58	o 522
16.08/7.60	o 521
16.08/7.61	o 520
16.08/7.62	o 519
16.08/7.64	o 518
16.08/7.65	o 517
16.08/7.66	o 516
16.08/7.68	o 515
16.08/7.69	o 514
16.20/7.71	o 513
16.20/7.72	o 512
16.20/7.73	o 511
16.20/7.75	o 510
16.20/7.76	o 509
16.20/7.78	o 508
16.20/7.79	o 507
16.31/7.81	o 506
16.31/7.82	o 505
16.31/7.84	o 504
16.31/7.85	o 503
16.31/7.87	o 502
16.31/7.88	o 501
16.44/7.90	o 500
16.44/7.91	o 499
16.44/7.92	o 498
16.44/7.94	o 497
16.44/7.95	o 496
16.44/7.96	o 495
16.44/7.98	o 494
16.44/7.99	o 493
16.55/8.00	o 492
16.55/8.02	o 491
16.55/8.03	o 490
16.55/8.05	o 489
16.55/8.06	o 488
16.55/8.07	o 487
16.55/8.09	o 486
16.65/8.10	o 485
16.65/8.12	o 484
16.65/8.13	o 483
16.65/8.15	o 482
16.65/8.16	o 481
16.65/8.17	o 480
16.65/8.19	o 479
16.76/8.20	o 478
16.76/8.22	o 477
16.76/8.23	o 476
16.76/8.24	o 475
16.76/8.26	o 474
16.76/8.27	o 473
16.76/8.28	o 472
16.86/8.30	o 471
16.86/8.31	o 470
16.86/8.32	o 469
16.86/8.34	o 468
16.86/8.35	o 467
16.86/8.37	o 466
16.86/8.38	o 465
16.86/8.40	o 464
16.96/8.41	o 463
16.96/8.42	o 462
16.96/8.44	o 461
16.96/8.45	o 460
16.96/8.47	o 459
16.96/8.48	o 458
16.96/8.49	o 457
17.06/8.51	o 456
17.06/8.52	o 455
17.06/8.54	o 454
17.06/8.55	o 453
17.06/8.56	o 452
17.06/8.58	o 451
17.06/8.59	o 450
17.17/8.61	o 449
17.17/8.62	o 448
17.17/8.63	o 447
17.17/8.65	o 446
17.17/8.66	o 445
17.17/8.67	o 444
17.17/8.69	o 443
17.27/8.70	o 442
17.27/8.72	o 441
17.27/8.73	o 440
17.27/8.74	o 439
17.27/8.76	o 438
17.27/8.77	o 437
17.27/8.78	o 436
17.27/8.80	o 435
17.38/8.82	o 434
17.38/8.83	o 433
17.38/8.84	o 432
17.38/8.86	o 431
17.38/8.87	o 430
17.38/8.88	o 429
17.38/8.90	o 428
17.49/8.91	o 427
17.49/8.92	o 426
17.49/8.94	o 425
17.49/8.95	o 424
17.49/8.97	o 423
17.49/8.98	o 422
17.49/8.99	o 421
17.59/9.01	o 420
17.59/9.02	o 419
17.59/9.03	o 418
17.59/9.05	o 417
17.59/9.06	o 416
17.59/9.08	o 415
17.59/9.10	o 414
17.70/9.11	o 413
17.70/9.12	o 412
17.70/9.14	o 411
17.70/9.15	o 410
17.70/9.17	o 409
17.70/9.18	o 408
17.70/9.19	o 407
17.80/9.20	o 406
17.80/9.22	o 405
17.80/9.23	o 404
17.80/9.24	o 403
17.80/9.26	o 402
17.92/9.32	o 401
17.92/9.34	o 400
17.92/9.35	o 399
17.92/9.37	o 398
17.92/9.38	o 397
17.92/9.40	o 396
18.02/9.41	o 395
18.02/9.42	o 394
18.02/9.44	o 393
18.02/9.45	o 392
18.02/9.47	o 391
18.02/9.48	o 390
18.02/9.49	o 389
18.12/9.51	o 388
18.12/9.52	o 387
18.12/9.53	o 386
18.12/9.55	o 385
18.12/9.56	o 384
18.12/9.57	o 383
18.12/9.59	o 382
18.22/9.60	o 381
18.22/9.62	o 380
18.22/9.63	o 379
18.22/9.65	o 378
18.22/9.66	o 377
18.22/9.67	o 376
18.22/9.69	o 375
18.33/9.70	o 374
18.33/9.71	o 373
18.33/9.73	o 372
18.33/9.74	o 371
18.33/9.76	o 370
18.33/9.78	o 369
18.33/9.79	o 368
18.44/9.80	o 367
18.44/9.82	o 366
18.44/9.83	o 365
18.44/9.85	o 364
18.44/9.86	o 363
18.44/9.87	o 362
18.44/9.89	o 361
18.54/9.90	o 360
18.54/9.92	o 359
18.54/9.93	o 358
18.54/9.94	o 357
18.54/9.96	o 356
18.54/9.97	o 355
18.54/9.98	o 354
18.54/10.00	o 353
18.65/10.01	o 352
18.65/10.02	o 351
18.65/10.04	o 350
18.65/10.05	o 349
18.65/10.06	o 348
18.65/10.08	o 347
18.65/10.09	o 346
18.74/10.10	o 345
18.74/10.12	o 344
18.74/10.13	o 343
18.74/10.14	o 342
18.74/10.16	o 341
18.74/10.17	o 340
18.74/10.18	o 339
18.84/10.20	o 338
18.84/10.21	o 337
18.84/10.23	o 336
18.84/10.24	o 335
18.84/10.26	o 334
18.84/10.27	o 333
18.84/10.28	o 332
18.84/10.30	o 331
18.94/10.31	o 330
18.94/10.32	o 329
18.94/10.34	o 328
18.94/10.35	o 327
18.94/10.37	o 326
18.94/10.38	o 325
18.94/10.39	o 324
19.05/10.41	o 323
19.05/10.42	o 322
19.05/10.44	o 321
19.05/10.45	o 320
19.05/10.47	o 319
19.05/10.48	o 318
19.05/10.49	o 317
19.19/10.51	o 316
19.19/10.53	o 315
19.19/10.54	o 314
19.19/10.55	o 313
19.19/10.57	o 312
19.19/10.58	o 311
19.19/10.59	o 310
19.43/10.60	o 309
19.43/10.62	o 308
19.43/10.63	o 307
19.43/10.64	o 306
19.43/10.66	o 305
19.43/10.67	o 304
19.43/10.69	o 303
19.56/10.70	o 302
19.56/10.71	o 301
19.56/10.73	o 300
19.56/10.74	o 299
19.56/10.75	o 298
19.56/10.77	o 297
19.56/10.78	o 296
19.56/10.79	o 295
19.66/10.80	o 294
19.66/10.82	o 293
19.66/10.83	o 292
19.66/10.84	o 291
19.66/10.86	o 290
19.66/10.87	o 289
19.66/10.89	o 288
19.77/10.90	o 287
19.77/10.91	o 286
19.77/10.95	o 285
19.77/10.96	o 284
19.77/10.98	o 283
19.77/10.99	o 282
19.92/11.00	o 281
19.92/11.02	o 280
19.92/11.03	o 279
19.92/11.04	o 278
19.92/11.06	o 277
19.92/11.07	o 276
19.92/11.08	o 275
19.92/11.10	o 274
20.02/11.11	o 273
20.02/11.12	o 272
20.02/11.14	o 271
20.02/11.15	o 270
20.02/11.16	o 269
20.02/11.18	o 268
20.02/11.19	o 267
20.12/11.21	o 266
20.12/11.22	o 265
20.12/11.23	o 264
20.12/11.25	o 263
20.12/11.27	o 262
20.12/11.28	o 261
20.12/11.29	o 260
20.22/11.31	o 259
20.22/11.32	o 258
20.22/11.34	o 257
20.22/11.35	o 256
20.22/11.36	o 255
20.22/11.38	o 254
20.22/11.39	o 253
20.33/11.41	o 252
20.33/11.42	o 251
20.33/11.44	o 250
20.33/11.45	o 249
20.33/11.46	o 248
20.33/11.48	o 247
20.33/11.49	o 246
20.50/11.50	o 245
20.50/11.52	o 244
20.50/11.53	o 243
20.50/11.54	o 242
20.50/11.56	o 241
20.50/11.57	o 240
20.50/11.58	o 239
20.60/11.60	o 238
20.60/11.61	o 237
20.60/11.62	o 236
20.60/11.64	o 235
20.60/11.65	o 234
20.60/11.66	o 233
20.60/11.68	o 232
20.60/11.69	o 231
20.70/11.71	o 230
20.70/11.72	o 229
20.70/11.73	o 228
20.70/11.75	o 227
20.70/11.76	o 226
20.70/11.77	o 225
20.70/11.78	o 224
20.80/11.87	o 223
20.80/11.89	o 222
20.91/11.90	o 221
20.91/11.91	o 220
20.91/11.93	o 219
20.91/11.94	o 218
20.91/11.96	o 217
20.91/11.97	o 216
20.91/11.98	o 215
20.91/12.00	o 214
21.01/12.01	o 213
21.01/12.02	o 212
21.01/12.04	o 211
21.01/12.05	o 210
21.01/12.07	o 209
21.01/12.08	o 208
21.01/12.10	o 207
21.13/12.11	o 206
21.13/12.12	o 205
21.13/12.14	o 204
21.13/12.15	o 203
21.13/12.16	o 202
21.13/12.18	o 201
21.13/12.19	o 200
21.23/12.20	o 199
21.23/12.22	o 198
21.23/12.23	o 197
21.23/12.24	o 196
21.23/12.26	o 195
21.23/12.27	o 194
21.23/12.28	o 193
21.32/12.30	o 192
21.32/12.31	o 191
21.32/12.32	o 190
21.32/12.34	o 189
21.32/12.35	o 188
21.32/12.36	o 187
21.32/12.38	o 186
21.32/12.39	o 185
21.48/12.40	o 184
21.48/12.42	o 183
21.48/12.43	o 182
21.48/12.44	o 181
21.48/12.46	o 180
21.48/12.47	o 179
21.48/12.48	o 178
21.48/12.49	o 177
21.67/12.51	o 176
21.67/12.52	o 175
21.67/12.53	o 174
21.67/12.55	o 173
21.67/12.56	o 172
21.67/12.57	o 171
21.67/12.58	o 170
21.79/12.60	o 169
21.79/12.61	o 168
21.79/12.62	o 167
21.79/12.64	o 166
21.79/12.65	o 165
21.79/12.67	o 164
21.79/12.68	o 163
21.79/12.69	o 162
21.90/12.71	o 161
21.90/12.72	o 160
21.90/12.73	o 159
21.90/12.75	o 158
21.90/12.76	o 157
21.90/12.77	o 156
21.90/12.79	o 155
22.00/12.80	o 154
22.00/12.81	o 153
22.00/12.86	o 152
22.00/12.87	o 151
22.00/12.89	o 150
22.14/12.90	o 149
22.14/12.92	o 148
22.14/12.93	o 147
22.14/12.94	o 146
22.14/12.96	o 145
22.14/12.97	o 144
22.14/12.99	o 143
22.37/13.00	o 142
22.37/13.05	o 141
22.37/13.06	o 140
22.37/13.07	o 139
22.37/13.09	o 138
22.50/13.10	o 137
22.50/13.12	o 136
22.50/13.13	o 135
22.50/13.15	o 134
22.50/13.16	o 133
22.50/13.17	o 132
22.50/13.19	o 131
22.50/13.20	o 130
22.61/13.21	o 129
22.61/13.23	o 128
22.61/13.24	o 127
22.61/13.25	o 126
22.61/13.27	o 125
22.61/13.28	o 124
22.61/13.29	o 123
22.72/13.31	o 122
22.72/13.32	o 121
22.72/13.33	o 120
22.72/13.35	o 119
22.72/13.36	o 118
22.72/13.38	o 117
22.72/13.39	o 116
22.82/13.40	o 115
22.82/13.44	o 114
22.82/13.48	o 113
22.97/13.50	o 112
22.97/13.51	o 111
22.97/13.56	o 110
23.15/13.60	o 109
23.15/13.63	o 108
23.75/14.15	o 107
24.20/14.57	o 106
24.40/14.70	o 105
54.57/44.73	o 104
251.68/240.00	java.util.concurrent.TimeoutException
251.68/240.01		at concrete.MAC.mac(MAC.scala:74)
251.68/240.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
251.68/240.01		at scala.util.Try$.apply(Try.scala:209)
251.68/240.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
251.68/240.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
251.68/240.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
251.68/240.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
251.68/240.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
251.68/240.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
251.68/240.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
251.68/240.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
251.68/240.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
251.68/240.01		at concrete.MAC.oneRun(MAC.scala:146)
251.68/240.01		at concrete.MAC.nextSolution(MAC.scala:166)
251.68/240.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
251.68/240.01		at concrete.ProblemState.map(ProblemState.scala:203)
251.68/240.01		at concrete.ProblemState.map(ProblemState.scala:188)
251.68/240.01		at concrete.MAC.nextSolution(MAC.scala:195)
251.68/240.01		at concrete.Solver.hasNext(Solver.scala:202)
251.68/240.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
251.68/240.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
251.68/240.01		at concrete.Solver.toStream(Solver.scala:73)
251.68/240.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
251.68/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
251.68/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
251.68/240.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
251.68/240.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
251.68/240.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
251.68/240.01		at scala.util.Success.map(Try.scala:209)
251.68/240.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
251.68/240.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
251.68/240.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
251.68/240.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
251.68/240.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
251.68/240.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
251.68/240.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
251.68/240.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
251.68/240.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
251.68/240.01		at scala.collection.immutable.List.foreach(List.scala:389)
251.68/240.01		at scala.App.main(App.scala:76)
251.68/240.01		at scala.App.main$(App.scala:74)
251.68/240.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
251.68/240.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
251.68/240.01	v <instantiation cost="104">
251.68/240.01	v       <list>
251.68/240.01	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[100] s[101] s[102] s[103] s[104] s[105] s[106] s[107] s[108] s[109] s[110] s[111] s[112] s[113] s[114] s[115] s[116] s[117] s[118] s[119] s[120] s[121]
251.68/240.01	v       </list>
251.68/240.01	v       <values>
251.68/240.01	v         0 0 1 2 1 12 12 21 31 13 9 8 9 39 14 13 13 25 13 13 24 16 27 28 35 30 17 23 28 15 16 31 11 45 21 31 40 22 34 26 35 35 38 36 18 32 37 27 39 41 52 28 46 44 22 36 42 42 39 47 42 55 33 57 43 45 60 56 43 56 48 46 58 57 58 67 79 68 58 55 44 53 63 74 74 72 76 62 56 60 54 74 60 61 83 55 65 82 65 75 62 65 61 78 69 71 81 71 75 82 82 84 84 91 79 81 86 88 96 100 94 104
251.68/240.01	v       </values>
251.68/240.01	v     </instantiation>
251.68/240.01	s SATISFIABLE

Verifier Data 

OK	104

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-4259706-1501655333/watcher-4259706-1501655333 -o /tmp/evaluation-result-4259706-1501655333/solver-4259706-1501655333 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259706-1501655333.xml 

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

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.62 1.83 1.83 2/199 15915
/proc/meminfo: memFree=30867340/32770624 swapFree=0/251812
[pid=15915] ppid=15912 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15915/stat : 15915 (runsolver) D 15912 15915 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 7443909 24240128 106 18446744073709551615 4194304 4338465 140728561657424 140728561655064 139992388715223 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 16285696 140728561660113 140728561660487 140728561660487 140728561663946 0
/proc/15915/statm: 5918 106 53 36 0 2156 0

[startup+0.10017 s]
/proc/loadavg: 1.62 1.83 1.83 2/199 15915
/proc/meminfo: memFree=30867340/32770624 swapFree=0/251812
[pid=15915] ppid=15912 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/15915/stat : 15915 (bash) S 15912 15915 3187 0 -1 4202496 682 1545 0 0 0 0 0 0 20 0 1 0 7443909 9736192 351 18446744073709551615 4194304 5098028 140729014837296 140729014834936 140668357708800 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 9 0 0 7196144 7232144 30543872 140729014845970 140729014846055 140729014846055 140729014849514 0
/proc/15915/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200277 s]
/proc/loadavg: 1.62 1.83 1.83 2/199 15915
/proc/meminfo: memFree=30867340/32770624 swapFree=0/251812
[pid=15915] ppid=15912 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/15915/stat : 15915 (bash) S 15912 15915 3187 0 -1 4202496 891 6496 0 0 0 0 0 1 20 0 1 0 7443909 9867264 377 18446744073709551615 4194304 5098028 140729014837296 140729014831304 140668357708800 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 9 0 0 7196144 7232144 30543872 140729014845970 140729014846055 140729014846055 140729014849514 0
/proc/15915/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300321 s]
/proc/loadavg: 1.62 1.83 1.83 2/199 15915
/proc/meminfo: memFree=30867340/32770624 swapFree=0/251812
[pid=15915] ppid=15912 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/15915/stat : 15915 (java) S 15912 15915 3187 0 -1 1077944320 5819 12292 0 0 5 1 5 3 20 0 14 0 7443909 14241083392 5492 18446744073709551615 4194304 4196468 140736707648432 140736707630976 140008532889335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
/proc/15915/statm: 3476827 5492 2553 1 0 3466332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.70249 s]
/proc/loadavg: 1.62 1.83 1.83 2/199 15915
/proc/meminfo: memFree=30867340/32770624 swapFree=0/251812
[pid=15915] ppid=15912 vsize=13974784 CPUtime=0.64 cores=0,2,4,6
/proc/15915/stat : 15915 (java) S 15912 15915 3187 0 -1 1077944320 13812 12292 0 0 54 2 5 3 20 0 15 0 7443909 14310178816 14227 18446744073709551615 4194304 4196468 140736707648432 140736707630976 140008532889335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
/proc/15915/statm: 3493696 14227 3090 1 0 3482973 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 13974784

[startup+1.50488 s]
/proc/loadavg: 1.65 1.83 1.83 3/214 15978
/proc/meminfo: memFree=30774368/32770624 swapFree=0/251832
[pid=15915] ppid=15912 vsize=13985408 CPUtime=1.85 cores=0,2,4,6
/proc/15915/stat : 15915 (java) S 15912 15915 3187 0 -1 1077944320 27918 12292 0 0 171 6 5 3 20 0 15 0 7443909 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140736707630976 140008532889335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
/proc/15915/statm: 3496352 33940 3329 1 0 3485533 0
[pid=15915/tid=15965] ppid=15912 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/15915/task/15965/stat : 15965 (java) R 15912 15915 3187 0 -1 4202560 22672 12292 0 0 117 4 5 3 20 0 15 0 7443933 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008537109296 140008525126462 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15966] ppid=15912 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15966/stat : 15966 (java) S 15912 15915 3187 0 -1 1077944384 1 12292 0 0 0 0 5 3 20 0 15 0 7443933 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008489855760 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15967] ppid=15912 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15967/stat : 15967 (java) S 15912 15915 3187 0 -1 1077944384 1 12292 0 0 0 0 5 3 20 0 15 0 7443933 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008488803216 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15968] ppid=15912 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15968/stat : 15968 (java) S 15912 15915 3187 0 -1 1077944384 1 12292 0 0 0 0 5 3 20 0 15 0 7443933 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008487750672 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15969] ppid=15912 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15969/stat : 15969 (java) S 15912 15915 3187 0 -1 1077944384 2 12292 0 0 0 0 5 3 20 0 15 0 7443933 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008486698128 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15970] ppid=15912 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15970/stat : 15970 (java) S 15912 15915 3187 0 -1 1077944384 6 12292 0 0 0 0 5 3 20 0 15 0 7443935 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008010786800 140008532900482 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15971] ppid=15912 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15971/stat : 15971 (java) S 15912 15915 3187 0 -1 1077944384 33 12292 0 0 0 0 5 3 20 0 15 0 7443935 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008009733024 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15972] ppid=15912 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15972/stat : 15972 (java) S 15912 15915 3187 0 -1 1077944384 21 12292 0 0 0 0 5 3 20 0 15 0 7443935 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008008680432 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15973] ppid=15912 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15973/stat : 15973 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008007629008 140008532907931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15974] ppid=15912 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/15915/task/15974/stat : 15974 (java) S 15912 15915 3187 0 -1 1077944384 958 12292 0 0 13 0 5 3 20 0 15 0 7443938 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008006576624 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15975] ppid=15912 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/15915/task/15975/stat : 15975 (java) S 15912 15915 3187 0 -1 1077944384 749 12292 0 0 16 0 5 3 20 0 15 0 7443938 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008005524080 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15976] ppid=15912 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/15915/task/15976/stat : 15976 (java) R 15912 15915 3187 0 -1 4202560 1308 12292 0 0 23 0 5 3 20 0 15 0 7443938 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008004471536 140008512351050 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15977] ppid=15912 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15977/stat : 15977 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008003419232 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15978] ppid=15912 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15978/stat : 15978 (java) S 15912 15915 3187 0 -1 1077944384 10 12292 0 0 0 0 5 3 20 0 15 0 7443943 14321057792 33940 18446744073709551615 4194304 4196468 140736707648432 140008002365744 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13985408

[startup+3.10911 s]
/proc/loadavg: 1.65 1.83 1.83 4/214 15978
/proc/meminfo: memFree=30697724/32770624 swapFree=0/251840
[pid=15915] ppid=15912 vsize=13997884 CPUtime=5.57 cores=0,2,4,6
/proc/15915/stat : 15915 (java) S 15912 15915 3187 0 -1 1077944320 44036 12292 0 0 534 15 5 3 20 0 15 0 7443909 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140736707630976 140008532889335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
/proc/15915/statm: 3499471 53444 3446 1 0 3488093 0
[pid=15915/tid=15965] ppid=15912 vsize=13997884 CPUtime=2.86 cores=0,2,4,6
/proc/15915/task/15965/stat : 15965 (java) R 15912 15915 3187 0 -1 4202560 29700 12292 0 0 271 7 5 3 20 0 15 0 7443933 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008537119816 140008167108083 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15966] ppid=15912 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15966/stat : 15966 (java) S 15912 15915 3187 0 -1 1077944384 202 12292 0 0 0 0 5 3 20 0 15 0 7443933 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008489855760 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15967] ppid=15912 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/15915/task/15967/stat : 15967 (java) S 15912 15915 3187 0 -1 1077944384 66 12292 0 0 1 0 5 3 20 0 15 0 7443933 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008488803216 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15968] ppid=15912 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15968/stat : 15968 (java) S 15912 15915 3187 0 -1 1077944384 9 12292 0 0 0 0 5 3 20 0 15 0 7443933 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008487750672 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15969] ppid=15912 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/15915/task/15969/stat : 15969 (java) S 15912 15915 3187 0 -1 1077944384 71 12292 0 0 1 0 5 3 20 0 15 0 7443933 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008486698128 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15970] ppid=15912 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/15915/task/15970/stat : 15970 (java) S 15912 15915 3187 0 -1 1077944384 1697 12292 0 0 1 0 5 3 20 0 15 0 7443935 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008010786800 140008532900482 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15971] ppid=15912 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15971/stat : 15971 (java) S 15912 15915 3187 0 -1 1077944384 54 12292 0 0 0 0 5 3 20 0 15 0 7443935 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008009733088 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15972] ppid=15912 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15972/stat : 15972 (java) S 15912 15915 3187 0 -1 1077944384 44 12292 0 0 0 0 5 3 20 0 15 0 7443935 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008008680448 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15973] ppid=15912 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15973/stat : 15973 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008007629008 140008532907931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15974] ppid=15912 vsize=13997884 CPUtime=0.82 cores=0,2,4,6
/proc/15915/task/15974/stat : 15974 (java) R 15912 15915 3187 0 -1 4202560 2449 12292 0 0 74 0 5 3 20 0 15 0 7443938 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008006576624 140008525178784 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15975] ppid=15912 vsize=13997884 CPUtime=0.83 cores=0,2,4,6
/proc/15915/task/15975/stat : 15975 (java) R 15912 15915 3187 0 -1 4202560 1677 12292 0 0 74 1 5 3 20 0 15 0 7443938 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008005500272 140008512133222 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15976] ppid=15912 vsize=13997884 CPUtime=1.18 cores=0,2,4,6
/proc/15915/task/15976/stat : 15976 (java) S 15912 15915 3187 0 -1 1077944384 5898 12292 0 0 107 3 5 3 20 0 15 0 7443938 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008004471536 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15977] ppid=15912 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15977/stat : 15977 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008003419232 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15978] ppid=15912 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15978/stat : 15978 (java) S 15912 15915 3187 0 -1 1077944384 12 12292 0 0 0 0 5 3 20 0 15 0 7443943 14333833216 53444 18446744073709551615 4194304 4196468 140736707648432 140008002365744 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 13997884

[startup+6.30066 s]
/proc/loadavg: 1.65 1.83 1.83 3/214 15978
/proc/meminfo: memFree=30513172/32770624 swapFree=0/251844
[pid=15915] ppid=15912 vsize=14069564 CPUtime=14.12 cores=0,2,4,6
/proc/15915/stat : 15915 (java) S 15912 15915 3187 0 -1 1077944320 66496 12292 0 0 1382 22 5 3 20 0 15 0 7443909 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140736707630976 140008532889335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
/proc/15915/statm: 3517391 93987 3469 1 0 3506013 0
[pid=15915/tid=15965] ppid=15912 vsize=14069564 CPUtime=5.78 cores=0,2,4,6
/proc/15915/task/15965/stat : 15965 (java) R 15912 15915 3187 0 -1 4202560 44421 12292 0 0 560 10 5 3 20 0 15 0 7443933 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008537125264 140008183923396 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15966] ppid=15912 vsize=14069564 CPUtime=0.22 cores=0,2,4,6
/proc/15915/task/15966/stat : 15966 (java) S 15912 15915 3187 0 -1 1077944384 289 12292 0 0 13 1 5 3 20 0 15 0 7443933 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008489855760 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15967] ppid=15912 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/15915/task/15967/stat : 15967 (java) S 15912 15915 3187 0 -1 1077944384 93 12292 0 0 12 0 5 3 20 0 15 0 7443933 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008488803216 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15968] ppid=15912 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/15915/task/15968/stat : 15968 (java) S 15912 15915 3187 0 -1 1077944384 41 12292 0 0 12 0 5 3 20 0 15 0 7443933 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008487750672 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15969] ppid=15912 vsize=14069564 CPUtime=0.22 cores=0,2,4,6
/proc/15915/task/15969/stat : 15969 (java) S 15912 15915 3187 0 -1 1077944384 95 12292 0 0 14 0 5 3 20 0 15 0 7443933 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008486698128 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15970] ppid=15912 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/15915/task/15970/stat : 15970 (java) S 15912 15915 3187 0 -1 1077944384 2398 12292 0 0 13 0 5 3 20 0 15 0 7443935 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008010786800 140008532900482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15971] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15971/stat : 15971 (java) S 15912 15915 3187 0 -1 1077944384 54 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008009733152 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15972] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15972/stat : 15972 (java) S 15912 15915 3187 0 -1 1077944384 44 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008008680448 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15973] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15973/stat : 15973 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008007629008 140008532907931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15974] ppid=15912 vsize=14069564 CPUtime=3.06 cores=0,2,4,6
/proc/15915/task/15974/stat : 15974 (java) R 15912 15915 3187 0 -1 4202560 5818 12292 0 0 297 1 5 3 20 0 15 0 7443938 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008006555856 140008516274208 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15975] ppid=15912 vsize=14069564 CPUtime=2.83 cores=0,2,4,6
/proc/15915/task/15975/stat : 15975 (java) R 15912 15915 3187 0 -1 4202560 3819 12292 0 0 274 1 5 3 20 0 15 0 7443938 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008005524080 140008513082285 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15976] ppid=15912 vsize=14069564 CPUtime=1.96 cores=0,2,4,6
/proc/15915/task/15976/stat : 15976 (java) S 15912 15915 3187 0 -1 1077944384 7252 12292 0 0 184 4 5 3 20 0 15 0 7443938 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008004471536 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15977] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15977/stat : 15977 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008003419232 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15978] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15978/stat : 15978 (java) S 15912 15915 3187 0 -1 1077944384 15 12292 0 0 0 0 5 3 20 0 15 0 7443943 14407233536 93987 18446744073709551615 4194304 4196468 140736707648432 140008002365744 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
Current children cumulated CPU time (s) 14.12
Current children cumulated vsize (KiB) 14069564

[startup+12.7006 s]
/proc/loadavg: 1.78 1.85 1.84 3/214 15979
/proc/meminfo: memFree=30295720/32770624 swapFree=0/251844
[pid=15915] ppid=15912 vsize=14069564 CPUtime=21.9 cores=0,2,4,6
/proc/15915/stat : 15915 (java) S 15912 15915 3187 0 -1 1077944320 79231 12292 0 0 2152 30 5 3 20 0 15 0 7443909 14407233536 145740 18446744073709551615 4194304 4196468 140736707648432 140736707630976 140008532889335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
/proc/15915/statm: 3517391 145740 3477 1 0 3506013 0
[pid=15915/tid=15965] ppid=15912 vsize=14069564 CPUtime=12.15 cores=0,2,4,6
/proc/15915/task/15965/stat : 15965 (java) R 15912 15915 3187 0 -1 4202560 47109 12292 0 0 1193 14 5 3 20 0 15 0 7443933 14407233536 145740 18446744073709551615 4194304 4196468 140736707648432 140008537118224 140008183971078 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15966] ppid=15912 vsize=14069564 CPUtime=0.23 cores=0,2,4,6
/proc/15915/task/15966/stat : 15966 (java) S 15912 15915 3187 0 -1 1077944384 314 12292 0 0 14 1 5 3 20 0 15 0 7443933 14407233536 145740 18446744073709551615 4194304 4196468 140736707648432 140008489855760 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15967] ppid=15912 vsize=14069564 CPUtime=0.22 cores=0,2,4,6
/proc/15915/task/15967/stat : 15967 (java) S 15912 15915 3187 0 -1 1077944384 124 12292 0 0 13 1 5 3 20 0 15 0 7443933 14407233536 145740 18446744073709551615 4194304 4196468 140736707648432 140008488803216 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15968] ppid=15912 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/15915/task/15968/stat : 15968 (java) S 15912 15915 3187 0 -1 1077944384 137 12292 0 0 13 0 5 3 20 0 15 0 7443933 14407233536 145740 18446744073709551615 4194304 4196468 140736707648432 140008487750672 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15969] ppid=15912 vsize=14069564 CPUtime=0.24 cores=0,2,4,6
/proc/15915/task/15969/stat : 15969 (java) S 15912 15915 3187 0 -1 1077944384 1303 12292 0 0 15 1 5 3 20 0 15 0 7443933 14407233536 145740 18446744073709551615 4194304 4196468 140736707648432 140008486698128 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15970] ppid=15912 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/15915/task/15970/stat : 15970 (java) S 15912 15915 3187 0 -1 1077944384 2746 12292 0 0 13 0 5 3 20 0 15 0 7443935 14407233536 145740 18446744073709551615 4194304 4196468 140736707648432 140008010786800 140008532900482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15971] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15971/stat : 15971 (java) S 15912 15915 3187 0 -1 1077944384 58 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 145740 18446744073709551615 4194304 4196468 140736707648432 140008009733152 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15972] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15972/stat : 15972 (java) S 15912 15915 3187 0 -1 1077944384 44 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 145740 18446744073709551615 4194304 4196468 140736707648432 140008008680448 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15973] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15973/stat : 15973 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 145740 18446744073709551615 4194304 4196468 140736707648432 140008007629008 140008532907931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0

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

/proc/15915/task/15977/stat : 15977 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 187939 18446744073709551615 4194304 4196468 140736707648432 140008003419232 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15978] ppid=15912 vsize=14069564 CPUtime=0.1 cores=0,2,4,6
/proc/15915/task/15978/stat : 15978 (java) S 15912 15915 3187 0 -1 1077944384 668 12292 0 0 1 1 5 3 20 0 15 0 7443943 14407233536 187939 18446744073709551615 4194304 4196468 140736707648432 140008002365744 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
Current children cumulated CPU time (s) 61
Current children cumulated vsize (KiB) 14069564

[startup+102.301 s]
/proc/loadavg: 2.15 1.97 1.88 3/214 16230
/proc/meminfo: memFree=29596552/32770624 swapFree=0/251972
[pid=15915] ppid=15912 vsize=14069564 CPUtime=112.62 cores=0,2,4,6
/proc/15915/stat : 15915 (java) S 15912 15915 3187 0 -1 1077944320 108466 12292 0 0 11210 44 5 3 20 0 15 0 7443909 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140736707630976 140008532889335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
/proc/15915/statm: 3517391 183969 3477 1 0 3506013 0
[pid=15915/tid=15965] ppid=15912 vsize=14069564 CPUtime=101.51 cores=0,2,4,6
/proc/15915/task/15965/stat : 15965 (java) R 15912 15915 3187 0 -1 4202560 54120 12292 0 0 10125 18 5 3 20 0 15 0 7443933 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008537123328 140008183387426 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15966] ppid=15912 vsize=14069564 CPUtime=0.33 cores=0,2,4,6
/proc/15915/task/15966/stat : 15966 (java) S 15912 15915 3187 0 -1 1077944384 498 12292 0 0 22 3 5 3 20 0 15 0 7443933 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008489855760 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15967] ppid=15912 vsize=14069564 CPUtime=0.31 cores=0,2,4,6
/proc/15915/task/15967/stat : 15967 (java) S 15912 15915 3187 0 -1 1077944384 1395 12292 0 0 21 2 5 3 20 0 15 0 7443933 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008488803216 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15968] ppid=15912 vsize=14069564 CPUtime=0.31 cores=0,2,4,6
/proc/15915/task/15968/stat : 15968 (java) S 15912 15915 3187 0 -1 1077944384 3266 12292 0 0 21 2 5 3 20 0 15 0 7443933 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008487750672 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15969] ppid=15912 vsize=14069564 CPUtime=0.34 cores=0,2,4,6
/proc/15915/task/15969/stat : 15969 (java) S 15912 15915 3187 0 -1 1077944384 1987 12292 0 0 23 3 5 3 20 0 15 0 7443933 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008486698128 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15970] ppid=15912 vsize=14069564 CPUtime=0.31 cores=0,2,4,6
/proc/15915/task/15970/stat : 15970 (java) S 15912 15915 3187 0 -1 1077944384 3829 12292 0 0 22 1 5 3 20 0 15 0 7443935 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008010786800 140008532900482 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15971] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15971/stat : 15971 (java) S 15912 15915 3187 0 -1 1077944384 61 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008009733152 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15972] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15972/stat : 15972 (java) S 15912 15915 3187 0 -1 1077944384 44 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008008680448 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15973] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15973/stat : 15973 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008007629008 140008532907931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15974] ppid=15912 vsize=14069564 CPUtime=3.75 cores=0,2,4,6
/proc/15915/task/15974/stat : 15974 (java) S 15912 15915 3187 0 -1 1077944384 13740 12292 0 0 365 2 5 3 20 0 15 0 7443938 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008006576624 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15975] ppid=15912 vsize=14069564 CPUtime=4.1 cores=0,2,4,6
/proc/15915/task/15975/stat : 15975 (java) S 15912 15915 3187 0 -1 1077944384 11751 12292 0 0 400 2 5 3 20 0 15 0 7443938 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008005524080 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15976] ppid=15912 vsize=14069564 CPUtime=2.13 cores=0,2,4,6
/proc/15915/task/15976/stat : 15976 (java) S 15912 15915 3187 0 -1 1077944384 14899 12292 0 0 200 5 5 3 20 0 15 0 7443938 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008004471536 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15977] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15977/stat : 15977 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008003419232 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15978] ppid=15912 vsize=14069564 CPUtime=0.13 cores=0,2,4,6
/proc/15915/task/15978/stat : 15978 (java) S 15912 15915 3187 0 -1 1077944384 719 12292 0 0 2 3 5 3 20 0 15 0 7443943 14407233536 183969 18446744073709551615 4194304 4196468 140736707648432 140008002365744 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
Current children cumulated CPU time (s) 112.62
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.93 1.95 1.88 3/216 16234
/proc/meminfo: memFree=29456388/32770624 swapFree=0/252008
[pid=15915] ppid=15912 vsize=14069564 CPUtime=173.17 cores=0,2,4,6
/proc/15915/stat : 15915 (java) S 15912 15915 3187 0 -1 1077944320 112350 12292 0 0 17258 51 5 3 20 0 15 0 7443909 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140736707630976 140008532889335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
/proc/15915/statm: 3517391 180905 3477 1 0 3506013 0
[pid=15915/tid=15965] ppid=15912 vsize=14069564 CPUtime=161.05 cores=0,2,4,6
/proc/15915/task/15965/stat : 15965 (java) R 15912 15915 3187 0 -1 4202560 55209 12292 0 0 16078 19 5 3 20 0 15 0 7443933 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008537123328 140008175442020 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15966] ppid=15912 vsize=14069564 CPUtime=0.52 cores=0,2,4,6
/proc/15915/task/15966/stat : 15966 (java) S 15912 15915 3187 0 -1 1077944384 1075 12292 0 0 40 4 5 3 20 0 15 0 7443933 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008489855760 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15967] ppid=15912 vsize=14069564 CPUtime=0.51 cores=0,2,4,6
/proc/15915/task/15967/stat : 15967 (java) S 15912 15915 3187 0 -1 1077944384 2547 12292 0 0 39 4 5 3 20 0 15 0 7443933 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008488803216 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15968] ppid=15912 vsize=14069564 CPUtime=0.51 cores=0,2,4,6
/proc/15915/task/15968/stat : 15968 (java) S 15912 15915 3187 0 -1 1077944384 3424 12292 0 0 40 3 5 3 20 0 15 0 7443933 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008487750672 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15969] ppid=15912 vsize=14069564 CPUtime=0.53 cores=0,2,4,6
/proc/15915/task/15969/stat : 15969 (java) S 15912 15915 3187 0 -1 1077944384 2076 12292 0 0 40 5 5 3 20 0 15 0 7443933 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008486698128 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15970] ppid=15912 vsize=14069564 CPUtime=0.52 cores=0,2,4,6
/proc/15915/task/15970/stat : 15970 (java) S 15912 15915 3187 0 -1 1077944384 4210 12292 0 0 41 3 5 3 20 0 15 0 7443935 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008010786800 140008532900482 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15971] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15971/stat : 15971 (java) S 15912 15915 3187 0 -1 1077944384 61 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008009733152 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15972] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15972/stat : 15972 (java) S 15912 15915 3187 0 -1 1077944384 44 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008008680448 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15973] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15973/stat : 15973 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008007629008 140008532907931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15974] ppid=15912 vsize=14069564 CPUtime=3.75 cores=0,2,4,6
/proc/15915/task/15974/stat : 15974 (java) S 15912 15915 3187 0 -1 1077944384 14166 12292 0 0 365 2 5 3 20 0 15 0 7443938 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008006576624 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15975] ppid=15912 vsize=14069564 CPUtime=4.1 cores=0,2,4,6
/proc/15915/task/15975/stat : 15975 (java) S 15912 15915 3187 0 -1 1077944384 11754 12292 0 0 400 2 5 3 20 0 15 0 7443938 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008005524080 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15976] ppid=15912 vsize=14069564 CPUtime=2.13 cores=0,2,4,6
/proc/15915/task/15976/stat : 15976 (java) S 15912 15915 3187 0 -1 1077944384 14901 12292 0 0 200 5 5 3 20 0 15 0 7443938 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008004471536 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15977] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15977/stat : 15977 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008003419232 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15978] ppid=15912 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/15915/task/15978/stat : 15978 (java) S 15912 15915 3187 0 -1 1077944384 726 12292 0 0 4 5 5 3 20 0 15 0 7443943 14407233536 180905 18446744073709551615 4194304 4196468 140736707648432 140008002365744 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
Current children cumulated CPU time (s) 173.17
Current children cumulated vsize (KiB) 14069564

[startup+222.307 s]
/proc/loadavg: 1.75 1.89 1.86 3/215 16236
/proc/meminfo: memFree=29454636/32770624 swapFree=0/252036
[pid=15915] ppid=15912 vsize=14069564 CPUtime=233.79 cores=0,2,4,6
/proc/15915/stat : 15915 (java) S 15912 15915 3187 0 -1 1077944320 115375 12292 0 0 23314 57 5 3 20 0 15 0 7443909 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140736707630976 140008532889335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
/proc/15915/statm: 3517391 180281 3477 1 0 3506013 0
[pid=15915/tid=15965] ppid=15912 vsize=14069564 CPUtime=220.55 cores=0,2,4,6
/proc/15915/task/15965/stat : 15965 (java) R 15912 15915 3187 0 -1 4202560 56100 12292 0 0 22028 19 5 3 20 0 15 0 7443933 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008537123408 140008182179712 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15966] ppid=15912 vsize=14069564 CPUtime=0.74 cores=0,2,4,6
/proc/15915/task/15966/stat : 15966 (java) S 15912 15915 3187 0 -1 1077944384 1137 12292 0 0 61 5 5 3 20 0 15 0 7443933 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008489855760 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15967] ppid=15912 vsize=14069564 CPUtime=0.73 cores=0,2,4,6
/proc/15915/task/15967/stat : 15967 (java) S 15912 15915 3187 0 -1 1077944384 3060 12292 0 0 60 5 5 3 20 0 15 0 7443933 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008488803216 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15968] ppid=15912 vsize=14069564 CPUtime=0.73 cores=0,2,4,6
/proc/15915/task/15968/stat : 15968 (java) S 15912 15915 3187 0 -1 1077944384 4489 12292 0 0 61 4 5 3 20 0 15 0 7443933 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008487750672 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15969] ppid=15912 vsize=14069564 CPUtime=0.73 cores=0,2,4,6
/proc/15915/task/15969/stat : 15969 (java) S 15912 15915 3187 0 -1 1077944384 2172 12292 0 0 60 5 5 3 20 0 15 0 7443933 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008486698128 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15970] ppid=15912 vsize=14069564 CPUtime=0.74 cores=0,2,4,6
/proc/15915/task/15970/stat : 15970 (java) S 15912 15915 3187 0 -1 1077944384 4582 12292 0 0 62 4 5 3 20 0 15 0 7443935 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008010786800 140008532900482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15971] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15971/stat : 15971 (java) S 15912 15915 3187 0 -1 1077944384 61 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008009733152 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15972] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15972/stat : 15972 (java) S 15912 15915 3187 0 -1 1077944384 44 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008008680448 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15973] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15973/stat : 15973 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008007629008 140008532907931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15974] ppid=15912 vsize=14069564 CPUtime=3.75 cores=0,2,4,6
/proc/15915/task/15974/stat : 15974 (java) S 15912 15915 3187 0 -1 1077944384 14168 12292 0 0 365 2 5 3 20 0 15 0 7443938 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008006576624 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15975] ppid=15912 vsize=14069564 CPUtime=4.1 cores=0,2,4,6
/proc/15915/task/15975/stat : 15975 (java) S 15912 15915 3187 0 -1 1077944384 11757 12292 0 0 400 2 5 3 20 0 15 0 7443938 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008005524080 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15976] ppid=15912 vsize=14069564 CPUtime=2.13 cores=0,2,4,6
/proc/15915/task/15976/stat : 15976 (java) S 15912 15915 3187 0 -1 1077944384 14903 12292 0 0 200 5 5 3 20 0 15 0 7443938 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008004471536 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15977] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15977/stat : 15977 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008003419232 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15978] ppid=15912 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/15915/task/15978/stat : 15978 (java) S 15912 15915 3187 0 -1 1077944384 745 12292 0 0 6 7 5 3 20 0 15 0 7443943 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008002365744 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
Current children cumulated CPU time (s) 233.79
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.67 1.87 1.85 3/215 16236
/proc/meminfo: memFree=29456048/32770624 swapFree=0/252044
[pid=15915] ppid=15912 vsize=14069564 CPUtime=251.68 cores=0,2,4,6
/proc/15915/stat : 15915 (java) S 15912 15915 3187 0 -1 1077944320 117414 12292 0 0 25101 59 5 3 20 0 15 0 7443909 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140736707630976 140008532889335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
/proc/15915/statm: 3517391 180281 3477 1 0 3506013 0
[pid=15915/tid=15965] ppid=15912 vsize=14069564 CPUtime=238.12 cores=0,2,4,6
/proc/15915/task/15965/stat : 15965 (java) R 15912 15915 3187 0 -1 4202560 56403 12292 0 0 23784 20 5 3 20 0 15 0 7443933 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008537123296 140008183388697 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15966] ppid=15912 vsize=14069564 CPUtime=0.8 cores=0,2,4,6
/proc/15915/task/15966/stat : 15966 (java) S 15912 15915 3187 0 -1 1077944384 1139 12292 0 0 66 6 5 3 20 0 15 0 7443933 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008489855760 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15967] ppid=15912 vsize=14069564 CPUtime=0.79 cores=0,2,4,6
/proc/15915/task/15967/stat : 15967 (java) S 15912 15915 3187 0 -1 1077944384 3061 12292 0 0 66 5 5 3 20 0 15 0 7443933 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008488803216 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15968] ppid=15912 vsize=14069564 CPUtime=0.78 cores=0,2,4,6
/proc/15915/task/15968/stat : 15968 (java) S 15912 15915 3187 0 -1 1077944384 4491 12292 0 0 66 4 5 3 20 0 15 0 7443933 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008487750672 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15969] ppid=15912 vsize=14069564 CPUtime=0.8 cores=0,2,4,6
/proc/15915/task/15969/stat : 15969 (java) S 15912 15915 3187 0 -1 1077944384 2175 12292 0 0 66 6 5 3 20 0 15 0 7443933 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008486698128 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15970] ppid=15912 vsize=14069564 CPUtime=0.8 cores=0,2,4,6
/proc/15915/task/15970/stat : 15970 (java) S 15912 15915 3187 0 -1 1077944384 4597 12292 0 0 68 4 5 3 20 0 15 0 7443935 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008010786800 140008532900482 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15971] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15971/stat : 15971 (java) S 15912 15915 3187 0 -1 1077944384 61 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008009733152 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15972] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15972/stat : 15972 (java) S 15912 15915 3187 0 -1 1077944384 44 12292 0 0 0 0 5 3 20 0 15 0 7443935 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008008680448 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15973] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15973/stat : 15973 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008007629008 140008532907931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15974] ppid=15912 vsize=14069564 CPUtime=3.75 cores=0,2,4,6
/proc/15915/task/15974/stat : 15974 (java) S 15912 15915 3187 0 -1 1077944384 14168 12292 0 0 365 2 5 3 20 0 15 0 7443938 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008006576624 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15975] ppid=15912 vsize=14069564 CPUtime=4.1 cores=0,2,4,6
/proc/15915/task/15975/stat : 15975 (java) S 15912 15915 3187 0 -1 1077944384 11757 12292 0 0 400 2 5 3 20 0 15 0 7443938 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008005524080 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15976] ppid=15912 vsize=14069564 CPUtime=2.13 cores=0,2,4,6
/proc/15915/task/15976/stat : 15976 (java) S 15912 15915 3187 0 -1 1077944384 16616 12292 0 0 200 5 5 3 20 0 15 0 7443938 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008004471536 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15977] ppid=15912 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/15915/task/15977/stat : 15977 (java) S 15912 15915 3187 0 -1 1077944384 3 12292 0 0 0 0 5 3 20 0 15 0 7443938 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008003419232 140008532899541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
[pid=15915/tid=15978] ppid=15912 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/15915/task/15978/stat : 15978 (java) S 15912 15915 3187 0 -1 1077944384 745 12292 0 0 6 7 5 3 20 0 15 0 7443943 14407233536 180281 18446744073709551615 4194304 4196468 140736707648432 140008002365744 140008532900482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140736707655630 140736707658415 140736707658415 140736707661775 0
Current children cumulated CPU time (s) 251.68
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 15915 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.033
CPU time (s): 251.718
CPU user time (s): 251.082
CPU system time (s): 0.636544
CPU usage (%): 104.868
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.082
system time used= 0.636544
maximum resident set size= 756380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131799
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= 25319
involuntary context switches= 1224

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17242 second user time and 1.47963 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 08:14:52
IDJOB=4259706
IDBENCH=129617
IDSOLVER=2646
FILE ID=node135/4259706-1501655333
RUNJOBID= node135-1501639717-27966
PBS_JOBID= 
Free space on /tmp= 61816 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-50-04.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259706-1501655333/watcher-4259706-1501655333 -o /tmp/evaluation-result-4259706-1501655333/solver-4259706-1501655333 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300  bin/concrete HOME/instance-4259706-1501655333.xml

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

MD5SUM BENCH= 88cc4e0405f00f13705dc5989c1027aa
RANDOM SEED=873749825

node135.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.21
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.21
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.21
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.21
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:        30868540 kB
MemAvailable:   31147880 kB
Buffers:          131688 kB
Cached:           424724 kB
SwapCached:            0 kB
Active:          1222948 kB
Inactive:         260144 kB
Active(anon):     927364 kB
Inactive(anon):     8592 kB
Active(file):     295584 kB
Inactive(file):   251552 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24276 kB
Writeback:             0 kB
AnonPages:        926728 kB
Mapped:            42428 kB
Shmem:              8960 kB
Slab:             122404 kB
SReclaimable:      96076 kB
SUnreclaim:        26328 kB
KernelStack:        3488 kB
PageTables:         6580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1835336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    714752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61792 MiB
End job on node135 at 2017-08-02 08:18:53