Trace number 4262092

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 2520.0901 2485.6201

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 benchmark2400.04
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.15/2.20	c Concrete v3.4 running
10.00/4.70	o 676
10.27/4.76	o 675
10.62/4.81	o 674
10.62/4.88	o 673
10.95/4.96	o 672
10.95/4.99	o 671
11.27/5.02	o 670
11.27/5.04	o 669
11.27/5.06	o 668
11.27/5.08	o 667
11.58/5.11	o 666
11.58/5.13	o 665
11.58/5.15	o 664
11.58/5.17	o 663
11.58/5.19	o 662
11.89/5.20	o 661
11.89/5.22	o 660
11.89/5.24	o 659
11.89/5.26	o 658
11.89/5.28	o 657
12.20/5.30	o 656
12.20/5.32	o 655
12.20/5.33	o 654
12.20/5.35	o 653
12.20/5.37	o 652
12.20/5.39	o 651
12.46/5.41	o 650
12.46/5.42	o 649
12.46/5.44	o 648
12.46/5.46	o 647
12.46/5.47	o 646
12.46/5.49	o 645
12.46/5.51	o 644
12.66/5.53	o 643
12.66/5.54	o 642
12.81/5.61	o 641
12.81/5.63	o 640
12.81/5.64	o 639
12.81/5.66	o 638
12.81/5.68	o 637
12.81/5.70	o 636
12.95/5.71	o 635
12.95/5.73	o 634
12.95/5.74	o 633
12.95/5.76	o 632
12.95/5.78	o 631
12.95/5.80	o 630
13.07/5.81	o 629
13.07/5.83	o 628
13.07/5.85	o 627
13.07/5.86	o 626
13.07/5.88	o 625
13.07/5.90	o 624
13.21/5.91	o 623
13.21/5.93	o 622
13.21/5.95	o 621
13.21/5.96	o 620
13.21/5.98	o 619
13.21/6.00	o 618
13.43/6.01	o 617
13.43/6.03	o 616
13.43/6.04	o 615
13.43/6.06	o 614
13.43/6.07	o 613
13.43/6.09	o 612
13.70/6.10	o 611
13.70/6.12	o 610
13.70/6.14	o 609
13.70/6.15	o 608
13.70/6.17	o 607
13.70/6.19	o 606
13.98/6.20	o 605
13.98/6.22	o 604
13.98/6.23	o 603
13.98/6.25	o 602
13.98/6.27	o 601
13.98/6.29	o 600
14.23/6.30	o 599
14.23/6.32	o 598
14.23/6.34	o 597
14.23/6.35	o 596
14.23/6.37	o 595
14.23/6.39	o 594
14.53/6.40	o 593
14.53/6.42	o 592
14.53/6.44	o 591
14.53/6.46	o 590
14.53/6.49	o 589
14.83/6.50	o 588
14.83/6.52	o 587
14.83/6.53	o 586
14.83/6.55	o 585
14.83/6.57	o 584
14.83/6.58	o 583
14.83/6.60	o 582
15.16/6.61	o 581
15.16/6.63	o 580
15.16/6.64	o 579
15.16/6.66	o 578
15.16/6.68	o 577
15.16/6.70	o 576
15.47/6.71	o 575
15.47/6.73	o 574
15.47/6.74	o 573
15.47/6.76	o 572
15.47/6.78	o 571
15.47/6.79	o 570
15.68/6.81	o 569
15.68/6.82	o 568
15.68/6.84	o 567
15.68/6.85	o 566
15.68/6.87	o 565
15.68/6.88	o 564
15.68/6.90	o 563
15.85/6.91	o 562
15.85/6.93	o 561
15.85/6.94	o 560
15.85/6.96	o 559
15.85/6.97	o 558
15.85/6.99	o 557
16.15/7.00	o 556
16.15/7.01	o 555
16.15/7.03	o 554
16.15/7.04	o 553
16.15/7.05	o 552
16.15/7.07	o 551
16.15/7.08	o 550
16.33/7.10	o 549
16.33/7.11	o 548
16.33/7.13	o 547
16.33/7.14	o 546
16.33/7.15	o 545
16.33/7.17	o 544
16.33/7.18	o 543
16.43/7.22	o 542
16.43/7.23	o 541
16.43/7.25	o 540
16.43/7.26	o 539
16.43/7.27	o 538
16.43/7.28	o 537
16.43/7.30	o 536
16.54/7.31	o 535
16.54/7.32	o 534
16.54/7.33	o 533
16.54/7.35	o 532
16.54/7.36	o 531
16.66/7.43	o 530
16.66/7.44	o 529
16.66/7.46	o 528
16.66/7.49	o 527
16.87/7.50	o 526
16.87/7.52	o 525
16.87/7.53	o 524
16.87/7.55	o 523
16.87/7.56	o 522
16.87/7.57	o 521
16.87/7.59	o 520
17.05/7.60	o 519
17.05/7.61	o 518
17.05/7.63	o 517
17.05/7.64	o 516
17.05/7.65	o 515
17.05/7.67	o 514
17.05/7.68	o 513
17.05/7.70	o 512
17.15/7.71	o 511
17.15/7.72	o 510
17.15/7.74	o 509
17.15/7.75	o 508
17.15/7.77	o 507
17.15/7.79	o 506
17.15/7.80	o 505
17.28/7.81	o 504
17.28/7.83	o 503
17.28/7.84	o 502
17.28/7.86	o 501
17.28/7.87	o 500
17.28/7.88	o 499
17.28/7.89	o 498
17.39/7.91	o 497
17.39/7.92	o 496
17.39/7.93	o 495
17.39/7.95	o 494
17.39/7.96	o 493
17.39/7.97	o 492
17.39/7.99	o 491
17.49/8.00	o 490
17.49/8.01	o 489
17.49/8.03	o 488
17.49/8.04	o 487
17.49/8.06	o 486
17.49/8.07	o 485
17.49/8.09	o 484
17.60/8.10	o 483
17.60/8.12	o 482
17.60/8.13	o 481
17.60/8.14	o 480
17.60/8.15	o 479
17.60/8.17	o 478
17.60/8.18	o 477
17.70/8.20	o 476
17.70/8.21	o 475
17.70/8.22	o 474
17.70/8.24	o 473
17.70/8.25	o 472
17.70/8.26	o 471
17.70/8.28	o 470
17.70/8.29	o 469
17.80/8.31	o 468
17.80/8.32	o 467
17.80/8.34	o 466
17.80/8.35	o 465
17.80/8.36	o 464
17.80/8.38	o 463
17.80/8.39	o 462
17.91/8.40	o 461
17.91/8.42	o 460
17.91/8.43	o 459
17.91/8.44	o 458
17.91/8.46	o 457
17.91/8.47	o 456
17.91/8.49	o 455
18.01/8.50	o 454
18.01/8.51	o 453
18.01/8.53	o 452
18.01/8.54	o 451
18.01/8.56	o 450
18.01/8.57	o 449
18.01/8.58	o 448
18.01/8.59	o 447
18.11/8.61	o 446
18.11/8.62	o 445
18.11/8.64	o 444
18.11/8.65	o 443
18.11/8.66	o 442
18.11/8.68	o 441
18.11/8.69	o 440
18.22/8.70	o 439
18.22/8.72	o 438
18.22/8.73	o 437
18.22/8.74	o 436
18.22/8.76	o 435
18.22/8.77	o 434
18.22/8.79	o 433
18.22/8.80	o 432
18.33/8.82	o 431
18.33/8.83	o 430
18.33/8.84	o 429
18.33/8.85	o 428
18.33/8.87	o 427
18.33/8.88	o 426
18.33/8.90	o 425
18.44/8.91	o 424
18.44/8.92	o 423
18.44/8.94	o 422
18.44/8.95	o 421
18.44/8.97	o 420
18.44/8.98	o 419
18.44/8.99	o 418
18.54/9.01	o 417
18.54/9.02	o 416
18.54/9.04	o 415
18.54/9.05	o 414
18.54/9.06	o 413
18.54/9.08	o 412
18.54/9.09	o 411
18.64/9.10	o 410
18.64/9.12	o 409
18.64/9.13	o 408
18.64/9.14	o 407
18.64/9.16	o 406
18.64/9.17	o 405
18.64/9.18	o 404
18.74/9.20	o 403
18.74/9.21	o 402
18.74/9.28	o 401
18.74/9.29	o 400
18.86/9.30	o 399
18.86/9.32	o 398
18.86/9.33	o 397
18.86/9.35	o 396
18.86/9.36	o 395
18.86/9.37	o 394
18.86/9.39	o 393
18.96/9.40	o 392
18.96/9.41	o 391
18.96/9.43	o 390
18.96/9.44	o 389
18.96/9.45	o 388
18.96/9.47	o 387
18.96/9.48	o 386
18.96/9.49	o 385
19.06/9.51	o 384
19.06/9.52	o 383
19.06/9.53	o 382
19.06/9.55	o 381
19.06/9.56	o 380
19.06/9.58	o 379
19.06/9.59	o 378
19.16/9.61	o 377
19.16/9.62	o 376
19.16/9.64	o 375
19.16/9.65	o 374
19.16/9.66	o 373
19.16/9.68	o 372
19.16/9.69	o 371
19.27/9.70	o 370
19.27/9.72	o 369
19.27/9.73	o 368
19.27/9.74	o 367
19.27/9.76	o 366
19.27/9.77	o 365
19.27/9.78	o 364
19.37/9.80	o 363
19.37/9.81	o 362
19.37/9.83	o 361
19.37/9.84	o 360
19.37/9.85	o 359
19.37/9.87	o 358
19.37/9.88	o 357
19.37/9.89	o 356
19.48/9.91	o 355
19.48/9.92	o 354
19.48/9.93	o 353
19.48/9.95	o 352
19.48/9.96	o 351
19.48/9.97	o 350
19.48/9.99	o 349
19.48/10.00	o 348
19.58/10.01	o 347
19.58/10.03	o 346
19.58/10.04	o 345
19.58/10.05	o 344
19.58/10.06	o 343
19.58/10.08	o 342
19.58/10.09	o 341
19.68/10.10	o 340
19.68/10.12	o 339
19.68/10.13	o 338
19.68/10.14	o 337
19.68/10.16	o 336
19.68/10.17	o 335
19.68/10.19	o 334
19.78/10.20	o 333
19.78/10.21	o 332
19.78/10.23	o 331
19.78/10.24	o 330
19.78/10.25	o 329
19.78/10.27	o 328
19.78/10.28	o 327
19.88/10.30	o 326
19.88/10.31	o 325
19.88/10.33	o 324
19.88/10.34	o 323
19.88/10.36	o 322
19.88/10.37	o 321
19.88/10.39	o 320
19.99/10.40	o 319
19.99/10.41	o 318
19.99/10.43	o 317
19.99/10.44	o 316
19.99/10.45	o 315
19.99/10.47	o 314
19.99/10.48	o 313
19.99/10.49	o 312
20.24/10.51	o 311
20.24/10.52	o 310
20.24/10.53	o 309
20.24/10.55	o 308
20.24/10.56	o 307
20.24/10.57	o 306
20.24/10.59	o 305
20.40/10.60	o 304
20.40/10.61	o 303
20.40/10.63	o 302
20.40/10.64	o 301
20.40/10.65	o 300
20.40/10.67	o 299
20.40/10.68	o 298
20.40/10.69	o 297
20.51/10.71	o 296
20.51/10.72	o 295
20.51/10.73	o 294
20.51/10.74	o 293
20.51/10.76	o 292
20.51/10.77	o 291
20.51/10.79	o 290
20.61/10.80	o 289
20.61/10.81	o 288
20.61/10.83	o 287
20.61/10.84	o 286
20.61/10.88	o 285
20.61/10.89	o 284
20.75/10.90	o 283
20.75/10.92	o 282
20.75/10.93	o 281
20.75/10.94	o 280
20.75/10.96	o 279
20.75/10.97	o 278
20.75/10.98	o 277
20.75/11.00	o 276
20.86/11.01	o 275
20.86/11.02	o 274
20.86/11.04	o 273
20.86/11.05	o 272
20.86/11.06	o 271
20.86/11.08	o 270
20.86/11.09	o 269
20.86/11.11	o 268
20.97/11.12	o 267
20.97/11.13	o 266
20.97/11.15	o 265
20.97/11.16	o 264
20.97/11.18	o 263
20.97/11.19	o 262
21.06/11.21	o 261
21.06/11.22	o 260
21.06/11.23	o 259
21.06/11.25	o 258
21.06/11.26	o 257
21.06/11.27	o 256
21.06/11.29	o 255
21.16/11.30	o 254
21.16/11.31	o 253
21.16/11.33	o 252
21.16/11.34	o 251
21.16/11.36	o 250
21.16/11.37	o 249
21.16/11.39	o 248
21.34/11.40	o 247
21.34/11.41	o 246
21.34/11.43	o 245
21.34/11.44	o 244
21.34/11.45	o 243
21.34/11.47	o 242
21.34/11.48	o 241
21.34/11.49	o 240
21.45/11.51	o 239
21.45/11.52	o 238
21.45/11.53	o 237
21.45/11.54	o 236
21.45/11.56	o 235
21.45/11.57	o 234
21.45/11.58	o 233
21.55/11.60	o 232
21.55/11.61	o 231
21.55/11.63	o 230
21.55/11.64	o 229
21.55/11.65	o 228
21.55/11.67	o 227
21.55/11.68	o 226
21.55/11.69	o 225
21.65/11.70	o 224
21.65/11.80	o 223
21.77/11.81	o 222
21.77/11.82	o 221
21.77/11.84	o 220
21.77/11.85	o 219
21.77/11.87	o 218
21.77/11.88	o 217
21.77/11.89	o 216
21.87/11.91	o 215
21.87/11.92	o 214
21.87/11.93	o 213
21.87/11.95	o 212
21.87/11.96	o 211
21.87/11.97	o 210
21.87/11.98	o 209
21.98/12.00	o 208
21.98/12.01	o 207
21.98/12.03	o 206
21.98/12.04	o 205
21.98/12.05	o 204
21.98/12.07	o 203
21.98/12.08	o 202
21.98/12.09	o 201
22.08/12.11	o 200
22.08/12.12	o 199
22.08/12.13	o 198
22.08/12.15	o 197
22.08/12.16	o 196
22.08/12.17	o 195
22.08/12.19	o 194
22.08/12.20	o 193
22.19/12.21	o 192
22.19/12.22	o 191
22.19/12.24	o 190
22.19/12.25	o 189
22.19/12.26	o 188
22.19/12.28	o 187
22.19/12.29	o 186
22.34/12.30	o 185
22.34/12.32	o 184
22.34/12.33	o 183
22.34/12.34	o 182
22.34/12.35	o 181
22.34/12.37	o 180
22.34/12.38	o 179
22.34/12.39	o 178
22.48/12.40	o 177
22.48/12.42	o 176
22.48/12.43	o 175
22.48/12.44	o 174
22.48/12.45	o 173
22.48/12.47	o 172
22.48/12.48	o 171
22.48/12.49	o 170
22.58/12.50	o 169
22.58/12.52	o 168
22.58/12.53	o 167
22.58/12.54	o 166
22.58/12.56	o 165
22.58/12.57	o 164
22.58/12.59	o 163
22.70/12.60	o 162
22.70/12.61	o 161
22.70/12.63	o 160
22.70/12.64	o 159
22.70/12.65	o 158
22.70/12.67	o 157
22.70/12.68	o 156
22.70/12.69	o 155
22.80/12.71	o 154
22.80/12.72	o 153
22.80/12.77	o 152
22.80/12.78	o 151
22.80/12.79	o 150
22.93/12.81	o 149
22.93/12.82	o 148
22.93/12.84	o 147
22.93/12.85	o 146
22.93/12.86	o 145
22.93/12.88	o 144
22.93/12.89	o 143
23.18/12.91	o 142
23.18/12.95	o 141
23.18/12.96	o 140
23.18/12.98	o 139
23.18/12.99	o 138
23.32/13.00	o 137
23.32/13.02	o 136
23.32/13.03	o 135
23.32/13.05	o 134
23.32/13.06	o 133
23.32/13.07	o 132
23.32/13.08	o 131
23.32/13.10	o 130
23.42/13.11	o 129
23.42/13.12	o 128
23.42/13.14	o 127
23.42/13.15	o 126
23.42/13.16	o 125
23.42/13.18	o 124
23.42/13.19	o 123
23.54/13.20	o 122
23.54/13.22	o 121
23.54/13.23	o 120
23.54/13.24	o 119
23.54/13.26	o 118
23.54/13.27	o 117
23.54/13.29	o 116
23.54/13.30	o 115
23.64/13.34	o 114
23.64/13.38	o 113
23.64/13.39	o 112
23.85/13.41	o 111
23.85/13.45	o 110
23.85/13.49	o 109
23.98/13.53	o 108
24.59/14.05	o 107
25.02/14.46	o 106
25.12/14.59	o 105
55.46/44.61	o 104
2520.04/2485.60	java.util.concurrent.TimeoutException
2520.04/2485.60		at concrete.MAC.mac(MAC.scala:74)
2520.04/2485.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.04/2485.60		at scala.util.Try$.apply(Try.scala:209)
2520.04/2485.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2485.60		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2485.60		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2485.60		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2485.60		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.04/2485.60		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2485.60		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2485.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2485.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2485.60		at concrete.MAC.oneRun(MAC.scala:146)
2520.04/2485.60		at concrete.MAC.nextSolution(MAC.scala:166)
2520.04/2485.60		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.04/2485.60		at concrete.ProblemState.map(ProblemState.scala:203)
2520.04/2485.60		at concrete.ProblemState.map(ProblemState.scala:188)
2520.04/2485.60		at concrete.MAC.nextSolution(MAC.scala:195)
2520.04/2485.60		at concrete.Solver.hasNext(Solver.scala:202)
2520.04/2485.60		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.04/2485.60		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.04/2485.60		at concrete.Solver.toStream(Solver.scala:73)
2520.04/2485.60		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.04/2485.60		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.04/2485.60		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.04/2485.60		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.04/2485.60		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.04/2485.60		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2485.60		at scala.util.Success.map(Try.scala:209)
2520.04/2485.60		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.04/2485.60		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.04/2485.60		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.04/2485.60		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.04/2485.60		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.04/2485.60		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2485.60		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2485.60		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2485.60		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2485.60		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2485.60		at scala.App.main(App.scala:76)
2520.04/2485.60		at scala.App.main$(App.scala:74)
2520.04/2485.60		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.04/2485.60		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2485.61	v <instantiation cost="104">
2520.04/2485.61	v       <list>
2520.04/2485.61	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.04/2485.61	v       </list>
2520.04/2485.61	v       <values>
2520.04/2485.61	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
2520.04/2485.61	v       </values>
2520.04/2485.61	v     </instantiation>
2520.04/2485.61	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-4262092-1502451925/watcher-4262092-1502451925 -o /tmp/evaluation-result-4262092-1502451925/solver-4262092-1502451925 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580 bin/concrete HOME/instance-4262092-1502451925.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.26 1.34 1.39 2/203 23351
/proc/meminfo: memFree=30617760/32770624 swapFree=0/463968
[pid=23351] ppid=23348 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23351/stat : 23351 (runsolver) D 23348 23351 13007 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 87103684 24240128 108 18446744073709551615 4194304 4338465 140733951955040 140733951952680 139940977398487 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 15380480 140733951963344 140733951963721 140733951963721 140733951967178 0
/proc/23351/statm: 5918 108 54 36 0 2156 0

[startup+0.100092 s]
/proc/loadavg: 1.26 1.34 1.39 2/203 23351
/proc/meminfo: memFree=30617760/32770624 swapFree=0/463968
[pid=23351] ppid=23348 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/23351/stat : 23351 (bash) S 23348 23351 13007 0 -1 4202496 891 6488 0 0 0 0 0 1 20 0 1 0 87103684 9867264 377 18446744073709551615 4194304 5098028 140723384406208 140723384400216 139873083350016 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 7 0 0 7196144 7232144 34058240 140723384414740 140723384414825 140723384414825 140723384418282 0
/proc/23351/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200272 s]
/proc/loadavg: 1.26 1.34 1.39 2/203 23351
/proc/meminfo: memFree=30617760/32770624 swapFree=0/463968
[pid=23351] ppid=23348 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/23351/stat : 23351 (bash) S 23348 23351 13007 0 -1 4202496 891 6488 0 0 0 0 0 1 20 0 1 0 87103684 9867264 377 18446744073709551615 4194304 5098028 140723384406208 140723384400216 139873083350016 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 7 0 0 7196144 7232144 34058240 140723384414740 140723384414825 140723384414825 140723384418282 0
/proc/23351/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300348 s]
/proc/loadavg: 1.26 1.34 1.39 2/203 23351
/proc/meminfo: memFree=30617760/32770624 swapFree=0/463968
[pid=23351] ppid=23348 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/23351/stat : 23351 (java) S 23348 23351 13007 0 -1 1077944320 5975 12759 0 0 5 1 4 3 20 0 14 0 87103684 14241083392 5670 18446744073709551615 4194304 4196468 140721065615568 140721065598112 140340343365367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
/proc/23351/statm: 3476827 5670 2659 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700261 s]
/proc/loadavg: 1.26 1.34 1.39 2/203 23351
/proc/meminfo: memFree=30617760/32770624 swapFree=0/463968
[pid=23351] ppid=23348 vsize=13974784 CPUtime=0.66 cores=1,3,5,7
/proc/23351/stat : 23351 (java) S 23348 23351 13007 0 -1 1077944320 13951 12759 0 0 55 4 4 3 20 0 15 0 87103684 14310178816 14408 18446744073709551615 4194304 4196468 140721065615568 140721065598112 140340343365367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
/proc/23351/statm: 3493696 14408 3136 1 0 3482965 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 13974784

[startup+1.50062 s]
/proc/loadavg: 1.26 1.34 1.39 3/218 23414
/proc/meminfo: memFree=30523480/32770624 swapFree=0/464068
[pid=23351] ppid=23348 vsize=13985408 CPUtime=1.87 cores=1,3,5,7
/proc/23351/stat : 23351 (java) S 23348 23351 13007 0 -1 1077944320 28487 12759 0 0 170 10 4 3 20 0 15 0 87103684 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140721065598112 140340343365367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
/proc/23351/statm: 3496352 39703 3367 1 0 3485525 0
[pid=23351/tid=23401] ppid=23348 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/23351/task/23401/stat : 23401 (java) S 23348 23351 13007 0 -1 1077944384 22711 12759 0 0 114 7 4 3 20 0 15 0 87103706 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140340347583664 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23402] ppid=23348 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23402/stat : 23402 (java) S 23348 23351 13007 0 -1 1077944384 44 12759 0 0 0 0 4 3 20 0 15 0 87103707 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140340277799184 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23403] ppid=23348 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23403/stat : 23403 (java) S 23348 23351 13007 0 -1 1077944384 63 12759 0 0 0 0 4 3 20 0 15 0 87103707 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140340276746640 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23404] ppid=23348 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23404/stat : 23404 (java) S 23348 23351 13007 0 -1 1077944384 193 12759 0 0 0 0 4 3 20 0 15 0 87103707 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140340275694096 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23405] ppid=23348 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23405/stat : 23405 (java) S 23348 23351 13007 0 -1 1077944384 53 12759 0 0 0 0 4 3 20 0 15 0 87103707 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140340274641552 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23406] ppid=23348 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23406/stat : 23406 (java) R 23348 23351 13007 0 -1 4202560 227 12759 0 0 0 0 4 3 20 0 15 0 87103708 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140339821790016 140340335606757 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23407] ppid=23348 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23407/stat : 23407 (java) S 23348 23351 13007 0 -1 1077944384 33 12759 0 0 0 0 4 3 20 0 15 0 87103708 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140339820737952 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23408] ppid=23348 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23408/stat : 23408 (java) S 23348 23351 13007 0 -1 1077944384 21 12759 0 0 0 0 4 3 20 0 15 0 87103709 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140339819685360 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23409] ppid=23348 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23409/stat : 23409 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103711 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140339818633936 140340343383963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23410] ppid=23348 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/23351/task/23410/stat : 23410 (java) S 23348 23351 13007 0 -1 1077944384 980 12759 0 0 13 0 4 3 20 0 15 0 87103711 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140339817580528 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23411] ppid=23348 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/23351/task/23411/stat : 23411 (java) S 23348 23351 13007 0 -1 1077944384 665 12759 0 0 16 0 4 3 20 0 15 0 87103711 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140339816527984 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23412] ppid=23348 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/23351/task/23412/stat : 23412 (java) S 23348 23351 13007 0 -1 1077944384 1336 12759 0 0 23 0 4 3 20 0 15 0 87103711 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140339815471312 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23413] ppid=23348 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23413/stat : 23413 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103712 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140339814423136 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23414] ppid=23348 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23414/stat : 23414 (java) S 23348 23351 13007 0 -1 1077944384 10 12759 0 0 0 0 4 3 20 0 15 0 87103716 14321057792 39703 18446744073709551615 4194304 4196468 140721065615568 140339813370672 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 13985408

[startup+3.10163 s]
/proc/loadavg: 1.26 1.34 1.39 4/218 23414
/proc/meminfo: memFree=30440920/32770624 swapFree=0/464064
[pid=23351] ppid=23348 vsize=13997884 CPUtime=5.99 cores=1,3,5,7
/proc/23351/stat : 23351 (java) S 23348 23351 13007 0 -1 1077944320 45408 12759 0 0 577 15 4 3 20 0 15 0 87103684 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140721065598112 140340343365367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
/proc/23351/statm: 3499471 54188 3441 1 0 3488085 0
[pid=23351/tid=23401] ppid=23348 vsize=13997884 CPUtime=2.85 cores=1,3,5,7
/proc/23351/task/23401/stat : 23401 (java) R 23348 23351 13007 0 -1 4202560 30504 12759 0 0 269 9 4 3 20 0 15 0 87103706 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140340347592176 140339961176698 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23402] ppid=23348 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23351/task/23402/stat : 23402 (java) S 23348 23351 13007 0 -1 1077944384 49 12759 0 0 1 0 4 3 20 0 15 0 87103707 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140340277799184 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23403] ppid=23348 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23403/stat : 23403 (java) S 23348 23351 13007 0 -1 1077944384 63 12759 0 0 0 0 4 3 20 0 15 0 87103707 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140340276746640 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23404] ppid=23348 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23351/task/23404/stat : 23404 (java) S 23348 23351 13007 0 -1 1077944384 193 12759 0 0 1 0 4 3 20 0 15 0 87103707 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140340275694096 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23405] ppid=23348 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23351/task/23405/stat : 23405 (java) S 23348 23351 13007 0 -1 1077944384 58 12759 0 0 1 0 4 3 20 0 15 0 87103707 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140340274641552 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23406] ppid=23348 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23351/task/23406/stat : 23406 (java) S 23348 23351 13007 0 -1 1077944384 1529 12759 0 0 1 0 4 3 20 0 15 0 87103708 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140339821791728 140340343376514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23407] ppid=23348 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23407/stat : 23407 (java) S 23348 23351 13007 0 -1 1077944384 54 12759 0 0 0 0 4 3 20 0 15 0 87103708 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140339820738016 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23408] ppid=23348 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23408/stat : 23408 (java) S 23348 23351 13007 0 -1 1077944384 44 12759 0 0 0 0 4 3 20 0 15 0 87103709 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140339819685376 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23409] ppid=23348 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23409/stat : 23409 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103711 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140339818633936 140340343383963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23410] ppid=23348 vsize=13997884 CPUtime=0.87 cores=1,3,5,7
/proc/23351/task/23410/stat : 23410 (java) R 23348 23351 13007 0 -1 4202560 2035 12759 0 0 79 1 4 3 20 0 15 0 87103711 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140339817567344 140340327752480 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23411] ppid=23348 vsize=13997884 CPUtime=1.2 cores=1,3,5,7
/proc/23351/task/23411/stat : 23411 (java) R 23348 23351 13007 0 -1 4202560 4198 12759 0 0 113 0 4 3 20 0 15 0 87103711 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140339816528112 140340343386714 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23412] ppid=23348 vsize=13997884 CPUtime=1.16 cores=1,3,5,7
/proc/23351/task/23412/stat : 23412 (java) R 23348 23351 13007 0 -1 4202560 4519 12759 0 0 108 1 4 3 20 0 15 0 87103711 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140339815475440 140340327445854 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23413] ppid=23348 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23413/stat : 23413 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103712 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140339814423136 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23414] ppid=23348 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23414/stat : 23414 (java) S 23348 23351 13007 0 -1 1077944384 11 12759 0 0 0 0 4 3 20 0 15 0 87103716 14333833216 54188 18446744073709551615 4194304 4196468 140721065615568 140339813370672 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 13997884

[startup+6.30071 s]
/proc/loadavg: 1.23 1.33 1.39 5/218 23414
/proc/meminfo: memFree=30273148/32770624 swapFree=0/464060
[pid=23351] ppid=23348 vsize=14069564 CPUtime=14.23 cores=1,3,5,7
/proc/23351/stat : 23351 (java) S 23348 23351 13007 0 -1 1077944320 74001 12759 0 0 1393 23 4 3 20 0 15 0 87103684 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140721065598112 140340343365367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
/proc/23351/statm: 3517391 92656 3481 1 0 3506005 0
[pid=23351/tid=23401] ppid=23348 vsize=14069564 CPUtime=5.79 cores=1,3,5,7
/proc/23351/task/23401/stat : 23401 (java) R 23348 23351 13007 0 -1 4202560 45383 12759 0 0 559 13 4 3 20 0 15 0 87103706 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140340347599424 140339969816221 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23402] ppid=23348 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/23351/task/23402/stat : 23402 (java) S 23348 23351 13007 0 -1 1077944384 425 12759 0 0 14 0 4 3 20 0 15 0 87103707 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140340277799184 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23403] ppid=23348 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/23351/task/23403/stat : 23403 (java) S 23348 23351 13007 0 -1 1077944384 836 12759 0 0 11 0 4 3 20 0 15 0 87103707 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140340276746640 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23404] ppid=23348 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/23351/task/23404/stat : 23404 (java) S 23348 23351 13007 0 -1 1077944384 234 12759 0 0 13 0 4 3 20 0 15 0 87103707 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140340275694096 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23405] ppid=23348 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/23351/task/23405/stat : 23405 (java) S 23348 23351 13007 0 -1 1077944384 172 12759 0 0 11 0 4 3 20 0 15 0 87103707 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140340274641552 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23406] ppid=23348 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/23351/task/23406/stat : 23406 (java) S 23348 23351 13007 0 -1 1077944384 2479 12759 0 0 13 0 4 3 20 0 15 0 87103708 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140339821791728 140340343376514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23407] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23407/stat : 23407 (java) S 23348 23351 13007 0 -1 1077944384 61 12759 0 0 0 0 4 3 20 0 15 0 87103708 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140339820738016 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23408] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23408/stat : 23408 (java) S 23348 23351 13007 0 -1 1077944384 45 12759 0 0 0 0 4 3 20 0 15 0 87103709 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140339819685376 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23409] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23409/stat : 23409 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103711 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140339818633936 140340343383963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23410] ppid=23348 vsize=14069564 CPUtime=2.86 cores=1,3,5,7
/proc/23351/task/23410/stat : 23410 (java) R 23348 23351 13007 0 -1 4202560 6296 12759 0 0 277 2 4 3 20 0 15 0 87103711 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140339817561544 140340327759243 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23411] ppid=23348 vsize=14069564 CPUtime=3.14 cores=1,3,5,7
/proc/23351/task/23411/stat : 23411 (java) R 23348 23351 13007 0 -1 4202560 8636 12759 0 0 306 1 4 3 20 0 15 0 87103711 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140339816527984 140340321192605 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23412] ppid=23348 vsize=14069564 CPUtime=1.94 cores=1,3,5,7
/proc/23351/task/23412/stat : 23412 (java) R 23348 23351 13007 0 -1 1077944384 7156 12759 0 0 184 3 4 3 20 0 15 0 87103711 14407233536 92656 18446744073709551615 4194304 4196468 140721065615568 140339815475440 140340343376514 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23413] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23413/stat : 23413 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103712 14407233536 92722 18446744073709551615 4194304 4196468 140721065615568 140339814423136 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23414] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23414/stat : 23414 (java) S 23348 23351 13007 0 -1 1077944384 130 12759 0 0 0 0 4 3 20 0 15 0 87103716 14407233536 92722 18446744073709551615 4194304 4196468 140721065615568 140339813370672 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
Current children cumulated CPU time (s) 14.23
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.30 1.35 1.39 3/216 23414
/proc/meminfo: memFree=30048016/32770624 swapFree=0/464056
[pid=23351] ppid=23348 vsize=14069564 CPUtime=22.8 cores=1,3,5,7
/proc/23351/stat : 23351 (java) S 23348 23351 13007 0 -1 1077944320 85667 12759 0 0 2244 29 4 3 20 0 15 0 87103684 14407233536 145724 18446744073709551615 4194304 4196468 140721065615568 140721065598112 140340343365367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
/proc/23351/statm: 3517391 145724 3487 1 0 3506005 0
[pid=23351/tid=23401] ppid=23348 vsize=14069564 CPUtime=12.16 cores=1,3,5,7
/proc/23351/task/23401/stat : 23401 (java) R 23348 23351 13007 0 -1 4202560 46765 12759 0 0 1194 15 4 3 20 0 15 0 87103706 14407233536 145724 18446744073709551615 4194304 4196468 140721065615568 140340347598800 140339970471371 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23402] ppid=23348 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/23351/task/23402/stat : 23402 (java) S 23348 23351 13007 0 -1 1077944384 436 12759 0 0 15 1 4 3 20 0 15 0 87103707 14407233536 145724 18446744073709551615 4194304 4196468 140721065615568 140340277799184 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23403] ppid=23348 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/23351/task/23403/stat : 23403 (java) S 23348 23351 13007 0 -1 1077944384 846 12759 0 0 12 1 4 3 20 0 15 0 87103707 14407233536 145724 18446744073709551615 4194304 4196468 140721065615568 140340276746640 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23404] ppid=23348 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/23351/task/23404/stat : 23404 (java) S 23348 23351 13007 0 -1 1077944384 250 12759 0 0 14 1 4 3 20 0 15 0 87103707 14407233536 145724 18446744073709551615 4194304 4196468 140721065615568 140340275694096 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23405] ppid=23348 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/23351/task/23405/stat : 23405 (java) S 23348 23351 13007 0 -1 1077944384 182 12759 0 0 13 1 4 3 20 0 15 0 87103707 14407233536 145724 18446744073709551615 4194304 4196468 140721065615568 140340274641552 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23406] ppid=23348 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/23351/task/23406/stat : 23406 (java) S 23348 23351 13007 0 -1 1077944384 2577 12759 0 0 14 0 4 3 20 0 15 0 87103708 14407233536 145724 18446744073709551615 4194304 4196468 140721065615568 140339821791728 140340343376514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23407] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23407/stat : 23407 (java) S 23348 23351 13007 0 -1 1077944384 61 12759 0 0 0 0 4 3 20 0 15 0 87103708 14407233536 145724 18446744073709551615 4194304 4196468 140721065615568 140339820738016 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23408] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23408/stat : 23408 (java) S 23348 23351 13007 0 -1 1077944384 45 12759 0 0 0 0 4 3 20 0 15 0 87103709 14407233536 145724 18446744073709551615 4194304 4196468 140721065615568 140339819685376 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23409] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23409/stat : 23409 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103711 14407233536 145724 18446744073709551615 4194304 4196468 140721065615568 140339818633936 140340343383963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0

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

/proc/23351/task/23413/stat : 23413 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103712 14407233536 181406 18446744073709551615 4194304 4196468 140721065615568 140339814423136 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23414] ppid=23348 vsize=14069564 CPUtime=1.34 cores=1,3,5,7
/proc/23351/task/23414/stat : 23414 (java) S 23348 23351 13007 0 -1 1077944384 1240 12759 0 0 58 69 4 3 20 0 15 0 87103716 14407233536 181406 18446744073709551615 4194304 4196468 140721065615568 140339813370672 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
Current children cumulated CPU time (s) 2294.65
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.56 1.45 1.43 3/217 23710
/proc/meminfo: memFree=29954680/32770624 swapFree=0/464508
[pid=23351] ppid=23348 vsize=14069564 CPUtime=2355.22 cores=1,3,5,7
/proc/23351/stat : 23351 (java) S 23348 23351 13007 0 -1 1077944320 185321 12759 0 0 235239 276 4 3 20 0 15 0 87103684 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140721065598112 140340343365367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
/proc/23351/statm: 3517391 181417 3493 1 0 3506005 0
[pid=23351/tid=23401] ppid=23348 vsize=14069564 CPUtime=2303.9 cores=1,3,5,7
/proc/23351/task/23401/stat : 23401 (java) R 23348 23351 13007 0 -1 4202560 79318 12759 0 0 230344 39 4 3 20 0 15 0 87103706 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140340347599264 140339957413544 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23402] ppid=23348 vsize=14069564 CPUtime=7.89 cores=1,3,5,7
/proc/23351/task/23402/stat : 23402 (java) S 23348 23351 13007 0 -1 1077944384 7802 12759 0 0 742 40 4 3 20 0 15 0 87103707 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140340277799184 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23403] ppid=23348 vsize=14069564 CPUtime=7.87 cores=1,3,5,7
/proc/23351/task/23403/stat : 23403 (java) S 23348 23351 13007 0 -1 1077944384 12498 12759 0 0 735 45 4 3 20 0 15 0 87103707 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140340276746640 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23404] ppid=23348 vsize=14069564 CPUtime=7.87 cores=1,3,5,7
/proc/23351/task/23404/stat : 23404 (java) S 23348 23351 13007 0 -1 1077944384 9339 12759 0 0 738 42 4 3 20 0 15 0 87103707 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140340275694096 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23405] ppid=23348 vsize=14069564 CPUtime=7.88 cores=1,3,5,7
/proc/23351/task/23405/stat : 23405 (java) S 23348 23351 13007 0 -1 1077944384 7528 12759 0 0 737 44 4 3 20 0 15 0 87103707 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140340274641552 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23406] ppid=23348 vsize=14069564 CPUtime=7.97 cores=1,3,5,7
/proc/23351/task/23406/stat : 23406 (java) S 23348 23351 13007 0 -1 1077944384 12139 12759 0 0 749 41 4 3 20 0 15 0 87103708 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140339821791728 140340343376514 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23407] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23407/stat : 23407 (java) S 23348 23351 13007 0 -1 1077944384 67 12759 0 0 0 0 4 3 20 0 15 0 87103708 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140339820738016 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23408] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23408/stat : 23408 (java) S 23348 23351 13007 0 -1 1077944384 45 12759 0 0 0 0 4 3 20 0 15 0 87103709 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140339819685376 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23409] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23409/stat : 23409 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103711 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140339818633936 140340343383963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23410] ppid=23348 vsize=14069564 CPUtime=4.19 cores=1,3,5,7
/proc/23351/task/23410/stat : 23410 (java) S 23348 23351 13007 0 -1 1077944384 15157 12759 0 0 409 3 4 3 20 0 15 0 87103711 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140339817580528 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23411] ppid=23348 vsize=14069564 CPUtime=4.65 cores=1,3,5,7
/proc/23351/task/23411/stat : 23411 (java) S 23348 23351 13007 0 -1 1077944384 17082 12759 0 0 456 2 4 3 20 0 15 0 87103711 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140339816527984 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23412] ppid=23348 vsize=14069564 CPUtime=2.15 cores=1,3,5,7
/proc/23351/task/23412/stat : 23412 (java) S 23348 23351 13007 0 -1 1077944384 20931 12759 0 0 203 5 4 3 20 0 15 0 87103711 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140339815475440 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23413] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23413/stat : 23413 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103712 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140339814423136 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23414] ppid=23348 vsize=14069564 CPUtime=1.37 cores=1,3,5,7
/proc/23351/task/23414/stat : 23414 (java) S 23348 23351 13007 0 -1 1077944384 1258 12759 0 0 59 71 4 3 20 0 15 0 87103716 14407233536 181417 18446744073709551615 4194304 4196468 140721065615568 140339813370672 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
Current children cumulated CPU time (s) 2355.22
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.56 1.47 1.43 3/217 23712
/proc/meminfo: memFree=29953296/32770624 swapFree=0/464512
[pid=23351] ppid=23348 vsize=14069564 CPUtime=2415.77 cores=1,3,5,7
/proc/23351/stat : 23351 (java) S 23348 23351 13007 0 -1 1077944320 186545 12759 0 0 241287 283 4 3 20 0 15 0 87103684 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140721065598112 140340343365367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
/proc/23351/statm: 3517391 181934 3493 1 0 3506005 0
[pid=23351/tid=23401] ppid=23348 vsize=14069564 CPUtime=2363.45 cores=1,3,5,7
/proc/23351/task/23401/stat : 23401 (java) R 23348 23351 13007 0 -1 4202560 79907 12759 0 0 236298 40 4 3 20 0 15 0 87103706 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140340347599152 140339968470471 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23402] ppid=23348 vsize=14069564 CPUtime=8.08 cores=1,3,5,7
/proc/23351/task/23402/stat : 23402 (java) S 23348 23351 13007 0 -1 1077944384 7854 12759 0 0 760 41 4 3 20 0 15 0 87103707 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140340277799184 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23403] ppid=23348 vsize=14069564 CPUtime=8.07 cores=1,3,5,7
/proc/23351/task/23403/stat : 23403 (java) S 23348 23351 13007 0 -1 1077944384 12568 12759 0 0 754 46 4 3 20 0 15 0 87103707 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140340276746640 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23404] ppid=23348 vsize=14069564 CPUtime=8.06 cores=1,3,5,7
/proc/23351/task/23404/stat : 23404 (java) S 23348 23351 13007 0 -1 1077944384 9364 12759 0 0 755 44 4 3 20 0 15 0 87103707 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140340275694096 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23405] ppid=23348 vsize=14069564 CPUtime=8.07 cores=1,3,5,7
/proc/23351/task/23405/stat : 23405 (java) S 23348 23351 13007 0 -1 1077944384 7773 12759 0 0 755 45 4 3 20 0 15 0 87103707 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140340274641552 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23406] ppid=23348 vsize=14069564 CPUtime=8.16 cores=1,3,5,7
/proc/23351/task/23406/stat : 23406 (java) S 23348 23351 13007 0 -1 1077944384 12347 12759 0 0 767 42 4 3 20 0 15 0 87103708 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140339821791728 140340343376514 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23407] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23407/stat : 23407 (java) S 23348 23351 13007 0 -1 1077944384 67 12759 0 0 0 0 4 3 20 0 15 0 87103708 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140339820738016 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23408] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23408/stat : 23408 (java) S 23348 23351 13007 0 -1 1077944384 45 12759 0 0 0 0 4 3 20 0 15 0 87103709 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140339819685376 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23409] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23409/stat : 23409 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103711 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140339818633936 140340343383963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23410] ppid=23348 vsize=14069564 CPUtime=4.19 cores=1,3,5,7
/proc/23351/task/23410/stat : 23410 (java) S 23348 23351 13007 0 -1 1077944384 15159 12759 0 0 409 3 4 3 20 0 15 0 87103711 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140339817580528 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23411] ppid=23348 vsize=14069564 CPUtime=4.65 cores=1,3,5,7
/proc/23351/task/23411/stat : 23411 (java) S 23348 23351 13007 0 -1 1077944384 17084 12759 0 0 456 2 4 3 20 0 15 0 87103711 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140339816527984 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23412] ppid=23348 vsize=14069564 CPUtime=2.15 cores=1,3,5,7
/proc/23351/task/23412/stat : 23412 (java) S 23348 23351 13007 0 -1 1077944384 20933 12759 0 0 203 5 4 3 20 0 15 0 87103711 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140339815475440 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23413] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23413/stat : 23413 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103712 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140339814423136 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23414] ppid=23348 vsize=14069564 CPUtime=1.4 cores=1,3,5,7
/proc/23351/task/23414/stat : 23414 (java) S 23348 23351 13007 0 -1 1077944384 1287 12759 0 0 60 73 4 3 20 0 15 0 87103716 14407233536 181934 18446744073709551615 4194304 4196468 140721065615568 140339813370672 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
Current children cumulated CPU time (s) 2415.77
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.49 1.48 1.44 3/214 23714
/proc/meminfo: memFree=29956388/32770624 swapFree=0/464540
[pid=23351] ppid=23348 vsize=14069564 CPUtime=2476.34 cores=1,3,5,7
/proc/23351/stat : 23351 (java) S 23348 23351 13007 0 -1 1077944320 187310 12759 0 0 247337 290 4 3 20 0 15 0 87103684 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140721065598112 140340343365367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
/proc/23351/statm: 3517391 181939 3493 1 0 3506005 0
[pid=23351/tid=23401] ppid=23348 vsize=14069564 CPUtime=2423.01 cores=1,3,5,7
/proc/23351/task/23401/stat : 23401 (java) R 23348 23351 13007 0 -1 4202560 80360 12759 0 0 242253 41 4 3 20 0 15 0 87103706 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140340347599152 140339970039339 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23402] ppid=23348 vsize=14069564 CPUtime=8.28 cores=1,3,5,7
/proc/23351/task/23402/stat : 23402 (java) S 23348 23351 13007 0 -1 1077944384 7866 12759 0 0 779 42 4 3 20 0 15 0 87103707 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140340277799184 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23403] ppid=23348 vsize=14069564 CPUtime=8.26 cores=1,3,5,7
/proc/23351/task/23403/stat : 23403 (java) S 23348 23351 13007 0 -1 1077944384 12804 12759 0 0 772 47 4 3 20 0 15 0 87103707 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140340276746640 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23404] ppid=23348 vsize=14069564 CPUtime=8.26 cores=1,3,5,7
/proc/23351/task/23404/stat : 23404 (java) S 23348 23351 13007 0 -1 1077944384 9386 12759 0 0 774 45 4 3 20 0 15 0 87103707 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140340275694096 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23405] ppid=23348 vsize=14069564 CPUtime=8.27 cores=1,3,5,7
/proc/23351/task/23405/stat : 23405 (java) S 23348 23351 13007 0 -1 1077944384 7786 12759 0 0 774 46 4 3 20 0 15 0 87103707 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140340274641552 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23406] ppid=23348 vsize=14069564 CPUtime=8.36 cores=1,3,5,7
/proc/23351/task/23406/stat : 23406 (java) S 23348 23351 13007 0 -1 1077944384 12370 12759 0 0 785 44 4 3 20 0 15 0 87103708 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140339821791728 140340343376514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23407] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23407/stat : 23407 (java) S 23348 23351 13007 0 -1 1077944384 67 12759 0 0 0 0 4 3 20 0 15 0 87103708 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140339820738016 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23408] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23408/stat : 23408 (java) S 23348 23351 13007 0 -1 1077944384 45 12759 0 0 0 0 4 3 20 0 15 0 87103709 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140339819685376 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23409] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23409/stat : 23409 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103711 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140339818633936 140340343383963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23410] ppid=23348 vsize=14069564 CPUtime=4.2 cores=1,3,5,7
/proc/23351/task/23410/stat : 23410 (java) S 23348 23351 13007 0 -1 1077944384 15159 12759 0 0 409 4 4 3 20 0 15 0 87103711 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140339817580528 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23411] ppid=23348 vsize=14069564 CPUtime=4.65 cores=1,3,5,7
/proc/23351/task/23411/stat : 23411 (java) S 23348 23351 13007 0 -1 1077944384 17085 12759 0 0 456 2 4 3 20 0 15 0 87103711 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140339816527984 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23412] ppid=23348 vsize=14069564 CPUtime=2.15 cores=1,3,5,7
/proc/23351/task/23412/stat : 23412 (java) S 23348 23351 13007 0 -1 1077944384 20934 12759 0 0 203 5 4 3 20 0 15 0 87103711 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140339815475440 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23413] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23413/stat : 23413 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103712 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140339814423136 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23414] ppid=23348 vsize=14069564 CPUtime=1.44 cores=1,3,5,7
/proc/23351/task/23414/stat : 23414 (java) S 23348 23351 13007 0 -1 1077944384 1291 12759 0 0 62 75 4 3 20 0 15 0 87103716 14407233536 181939 18446744073709551615 4194304 4196468 140721065615568 140339813370672 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
Current children cumulated CPU time (s) 2476.34
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2485.6 s]
/proc/loadavg: 1.49 1.49 1.44 3/215 23717
/proc/meminfo: memFree=29956328/32770624 swapFree=0/464560
[pid=23351] ppid=23348 vsize=14069564 CPUtime=2520.04 cores=1,3,5,7
/proc/23351/stat : 23351 (java) S 23348 23351 13007 0 -1 1077944320 188010 12759 0 0 251702 295 4 3 20 0 15 0 87103684 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140721065598112 140340343365367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
/proc/23351/statm: 3517391 181942 3493 1 0 3506005 0
[pid=23351/tid=23401] ppid=23348 vsize=14069564 CPUtime=2466 cores=1,3,5,7
/proc/23351/task/23401/stat : 23401 (java) R 23348 23351 13007 0 -1 4202560 80700 12759 0 0 246551 42 4 3 20 0 15 0 87103706 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140340347599264 140339970039667 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23402] ppid=23348 vsize=14069564 CPUtime=8.41 cores=1,3,5,7
/proc/23351/task/23402/stat : 23402 (java) S 23348 23351 13007 0 -1 1077944384 7871 12759 0 0 791 43 4 3 20 0 15 0 87103707 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140340277799184 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23403] ppid=23348 vsize=14069564 CPUtime=8.4 cores=1,3,5,7
/proc/23351/task/23403/stat : 23403 (java) S 23348 23351 13007 0 -1 1077944384 12820 12759 0 0 785 48 4 3 20 0 15 0 87103707 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140340276746640 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23404] ppid=23348 vsize=14069564 CPUtime=8.41 cores=1,3,5,7
/proc/23351/task/23404/stat : 23404 (java) S 23348 23351 13007 0 -1 1077944384 9437 12759 0 0 788 46 4 3 20 0 15 0 87103707 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140340275694096 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23405] ppid=23348 vsize=14069564 CPUtime=8.41 cores=1,3,5,7
/proc/23351/task/23405/stat : 23405 (java) S 23348 23351 13007 0 -1 1077944384 7846 12759 0 0 787 47 4 3 20 0 15 0 87103707 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140340274641552 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23406] ppid=23348 vsize=14069564 CPUtime=8.49 cores=1,3,5,7
/proc/23351/task/23406/stat : 23406 (java) S 23348 23351 13007 0 -1 1077944384 12574 12759 0 0 798 44 4 3 20 0 15 0 87103708 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140339821791728 140340343376514 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23407] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23407/stat : 23407 (java) S 23348 23351 13007 0 -1 1077944384 67 12759 0 0 0 0 4 3 20 0 15 0 87103708 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140339820738016 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23408] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23408/stat : 23408 (java) S 23348 23351 13007 0 -1 1077944384 45 12759 0 0 0 0 4 3 20 0 15 0 87103709 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140339819685376 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23409] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23409/stat : 23409 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103711 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140339818633936 140340343383963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23410] ppid=23348 vsize=14069564 CPUtime=4.2 cores=1,3,5,7
/proc/23351/task/23410/stat : 23410 (java) S 23348 23351 13007 0 -1 1077944384 15161 12759 0 0 409 4 4 3 20 0 15 0 87103711 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140339817580528 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23411] ppid=23348 vsize=14069564 CPUtime=4.65 cores=1,3,5,7
/proc/23351/task/23411/stat : 23411 (java) S 23348 23351 13007 0 -1 1077944384 17087 12759 0 0 456 2 4 3 20 0 15 0 87103711 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140339816527984 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23412] ppid=23348 vsize=14069564 CPUtime=2.15 cores=1,3,5,7
/proc/23351/task/23412/stat : 23412 (java) S 23348 23351 13007 0 -1 1077944384 20936 12759 0 0 203 5 4 3 20 0 15 0 87103711 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140339815475440 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23413] ppid=23348 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/23351/task/23413/stat : 23413 (java) S 23348 23351 13007 0 -1 1077944384 3 12759 0 0 0 0 4 3 20 0 15 0 87103712 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140339814423136 140340343375573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
[pid=23351/tid=23414] ppid=23348 vsize=14069564 CPUtime=1.47 cores=1,3,5,7
/proc/23351/task/23414/stat : 23414 (java) S 23348 23351 13007 0 -1 1077944384 1309 12759 0 0 63 77 4 3 20 0 15 0 87103716 14407233536 181942 18446744073709551615 4194304 4196468 140721065615568 140339813370672 140340343376514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140721065617360 140721065620145 140721065620145 140721065623503 0
Current children cumulated CPU time (s) 2520.04
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 23351 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2485.62
CPU time (s): 2520.09
CPU user time (s): 2517.1
CPU system time (s): 2.99233
CPU usage (%): 101.387
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.1
system time used= 2.99233
maximum resident set size= 765048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201532
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 232946
involuntary context switches= 7973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4172 second user time and 15.4935 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-11 13:31:30
IDJOB=4262092
IDBENCH=129617
IDSOLVER=2650
FILE ID=node135/4262092-1502451925
RUNJOBID= node135-1502411443-13072
PBS_JOBID= 
Free space on /tmp= 62008 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-4262092-1502451925/watcher-4262092-1502451925 -o /tmp/evaluation-result-4262092-1502451925/solver-4262092-1502451925 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580  bin/concrete HOME/instance-4262092-1502451925.xml

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

MD5SUM BENCH= 88cc4e0405f00f13705dc5989c1027aa
RANDOM SEED=2045259815

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:        30619624 kB
MemAvailable:   31447468 kB
Buffers:          290828 kB
Cached:           828868 kB
SwapCached:            0 kB
Active:          1210728 kB
Inactive:         496848 kB
Active(anon):     588332 kB
Inactive(anon):    33140 kB
Active(file):     622396 kB
Inactive(file):   463708 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24164 kB
Writeback:             0 kB
AnonPages:        587792 kB
Mapped:            64060 kB
Shmem:             33464 kB
Slab:             142824 kB
SReclaimable:     115152 kB
SUnreclaim:        27672 kB
KernelStack:        3568 kB
PageTables:         9144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1305656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    485376 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= 61984 MiB
End job on node135 at 2017-08-11 14:12:56