Trace number 4262091

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)194 2520.1201 2478.3301

General information on the benchmark

NameRcpsp/Rcpsp-m1-j120/
Rcpsp-j120-46-04.xml
MD5SUM2bf32ca1cbb3a17ab70e7ee7c2cd4ace
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark178
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables122
Number of constraints261
Number of domains2
Minimum domain size1
Maximum domain size650
Distribution of domain sizes[{"size":1,"count":1},{"size":650,"count":121}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":2},{"degree":4,"count":3},{"degree":5,"count":29},{"degree":6,"count":41},{"degree":7,"count":32},{"degree":8,"count":12},{"degree":9,"count":3}]
Minimum constraint arity2
Maximum constraint arity71
Distribution of constraint arities[{"arity":2,"count":257},{"arity":51,"count":1},{"arity":54,"count":1},{"arity":65,"count":1},{"arity":71,"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.18/2.19	c Concrete v3.4 running
299.72/289.67	o 649
299.99/289.79	o 648
300.91/290.07	o 647
300.91/290.09	o 646
301.13/290.12	o 645
301.13/290.15	o 644
301.13/290.17	o 643
301.13/290.19	o 642
301.38/290.21	o 641
301.38/290.23	o 640
301.38/290.26	o 639
301.38/290.28	o 638
301.55/290.30	o 637
301.55/290.32	o 636
301.55/290.34	o 635
301.55/290.36	o 634
301.55/290.38	o 633
301.55/290.40	o 632
301.73/290.42	o 631
301.73/290.45	o 630
301.73/290.47	o 629
301.73/290.49	o 628
301.98/290.51	o 627
301.98/290.53	o 626
301.98/290.55	o 625
301.98/290.57	o 624
301.98/290.59	o 623
302.21/290.61	o 622
302.21/290.63	o 621
302.21/290.65	o 620
302.21/290.67	o 619
302.21/290.69	o 618
302.42/290.71	o 617
302.42/290.73	o 616
302.42/290.75	o 615
302.42/290.77	o 614
302.42/290.79	o 613
302.62/290.81	o 612
302.62/290.83	o 611
302.62/290.85	o 610
302.62/290.87	o 609
302.62/290.89	o 608
302.74/290.91	o 607
302.74/290.93	o 606
302.74/290.95	o 605
302.74/290.97	o 604
302.74/290.99	o 603
302.92/291.01	o 602
302.92/291.03	o 601
302.92/291.05	o 600
302.92/291.06	o 599
302.92/291.08	o 598
303.09/291.10	o 597
303.09/291.12	o 596
303.09/291.14	o 595
303.09/291.16	o 594
303.09/291.18	o 593
303.37/291.20	o 592
303.37/291.22	o 591
303.37/291.24	o 590
303.37/291.25	o 589
303.37/291.27	o 588
303.37/291.29	o 587
303.53/291.31	o 586
303.53/291.33	o 585
303.53/291.35	o 584
303.53/291.37	o 583
303.53/291.38	o 582
303.64/291.41	o 581
303.64/291.42	o 580
303.64/291.44	o 579
303.64/291.46	o 578
303.64/291.48	o 577
303.81/291.52	o 576
303.81/291.59	o 575
304.00/291.67	o 574
304.19/291.73	o 573
304.19/291.75	o 572
304.19/291.77	o 571
304.19/291.79	o 570
304.34/291.81	o 569
304.34/291.83	o 568
304.34/291.84	o 567
304.34/291.86	o 566
304.34/291.88	o 565
304.46/291.90	o 564
304.46/291.92	o 563
304.46/291.94	o 562
304.46/291.95	o 561
304.46/291.97	o 560
304.46/291.99	o 559
304.58/292.01	o 558
304.58/292.02	o 557
304.58/292.04	o 556
304.58/292.06	o 555
304.58/292.08	o 554
304.58/292.09	o 553
304.68/292.11	o 552
304.68/292.13	o 551
304.68/292.15	o 550
304.68/292.16	o 549
304.68/292.18	o 548
304.79/292.20	o 547
304.79/292.22	o 546
304.79/292.24	o 545
304.79/292.25	o 544
304.79/292.27	o 543
304.79/292.29	o 542
304.90/292.31	o 541
304.90/292.32	o 540
304.90/292.34	o 539
304.90/292.36	o 538
304.90/292.38	o 537
305.00/292.40	o 536
305.00/292.42	o 535
305.00/292.43	o 534
305.00/292.45	o 533
305.00/292.47	o 532
305.00/292.49	o 531
305.12/292.51	o 530
305.12/292.53	o 529
305.12/292.54	o 528
305.12/292.57	o 527
305.12/292.58	o 526
305.25/292.60	o 525
305.25/292.62	o 524
305.25/292.64	o 523
305.25/292.66	o 522
305.25/292.68	o 521
305.25/292.70	o 520
305.43/292.72	o 519
305.43/292.73	o 518
305.43/292.75	o 517
305.43/292.77	o 516
305.43/292.79	o 515
305.53/292.81	o 514
305.53/292.83	o 513
305.53/292.85	o 512
305.53/292.86	o 511
305.53/292.88	o 510
305.64/292.91	o 509
305.64/292.93	o 508
305.64/292.95	o 507
305.64/292.97	o 506
305.64/292.99	o 505
305.89/293.01	o 504
305.89/293.02	o 503
305.89/293.04	o 502
305.89/293.06	o 501
305.89/293.08	o 500
306.00/293.10	o 499
306.00/293.11	o 498
306.00/293.13	o 497
306.00/293.15	o 496
306.00/293.17	o 495
306.00/293.19	o 494
306.10/293.20	o 493
306.10/293.22	o 492
306.10/293.24	o 491
306.10/293.25	o 490
306.10/293.27	o 489
306.10/293.29	o 488
306.20/293.31	o 487
306.20/293.33	o 486
306.20/293.35	o 485
306.20/293.37	o 484
306.20/293.39	o 483
306.31/293.41	o 482
306.31/293.42	o 481
306.31/293.44	o 480
306.31/293.46	o 479
306.31/293.48	o 478
306.31/293.50	o 477
306.41/293.52	o 476
306.41/293.53	o 475
306.41/293.55	o 474
306.41/293.57	o 473
306.41/293.59	o 472
306.51/293.60	o 471
306.51/293.62	o 470
306.51/293.64	o 469
306.51/293.66	o 468
306.51/293.68	o 467
306.51/293.70	o 466
306.62/293.71	o 465
306.62/293.73	o 464
306.62/293.75	o 463
306.62/293.77	o 462
306.62/293.79	o 461
306.72/293.80	o 460
306.72/293.82	o 459
306.72/293.84	o 458
306.72/293.86	o 457
306.72/293.88	o 456
306.82/293.90	o 455
306.82/293.92	o 454
306.82/293.93	o 453
306.82/293.95	o 452
306.82/293.97	o 451
306.82/293.99	o 450
306.92/294.01	o 449
306.92/294.02	o 448
306.92/294.04	o 447
306.92/294.06	o 446
306.92/294.08	o 445
307.03/294.10	o 444
307.03/294.12	o 443
307.03/294.13	o 442
307.03/294.15	o 441
307.03/294.17	o 440
307.03/294.18	o 439
307.14/294.20	o 438
307.14/294.22	o 437
307.14/294.24	o 436
307.14/294.26	o 435
307.14/294.27	o 434
307.14/294.29	o 433
307.24/294.31	o 432
307.24/294.33	o 431
307.24/294.34	o 430
307.24/294.36	o 429
307.24/294.38	o 428
307.34/294.40	o 427
307.34/294.42	o 426
307.34/294.43	o 425
307.34/294.45	o 424
307.34/294.47	o 423
307.34/294.49	o 422
307.44/294.51	o 421
307.44/294.53	o 420
307.44/294.54	o 419
307.44/294.56	o 418
307.44/294.58	o 417
307.55/294.60	o 416
307.55/294.61	o 415
307.55/294.63	o 414
307.55/294.65	o 413
307.55/294.67	o 412
307.55/294.69	o 411
307.66/294.70	o 410
307.66/294.72	o 409
307.66/294.74	o 408
307.66/294.76	o 407
307.66/294.77	o 406
307.66/294.79	o 405
307.76/294.81	o 404
307.76/294.83	o 403
307.76/294.84	o 402
307.76/294.86	o 401
307.76/294.88	o 400
307.76/294.89	o 399
307.86/294.91	o 398
307.86/294.93	o 397
307.86/294.95	o 396
307.86/294.97	o 395
307.86/294.99	o 394
307.98/295.01	o 393
307.98/295.02	o 392
307.98/295.04	o 391
307.98/295.06	o 390
307.98/295.08	o 389
307.98/295.09	o 388
308.08/295.11	o 387
308.08/295.13	o 386
308.08/295.15	o 385
308.08/295.16	o 384
308.08/295.18	o 383
308.18/295.20	o 382
308.18/295.22	o 381
308.18/295.24	o 380
308.18/295.25	o 379
308.18/295.27	o 378
308.18/295.29	o 377
308.28/295.31	o 376
308.28/295.32	o 375
308.28/295.34	o 374
308.28/295.36	o 373
308.28/295.38	o 372
308.28/295.39	o 371
308.38/295.41	o 370
308.38/295.43	o 369
308.38/295.45	o 368
308.38/295.47	o 367
308.38/295.49	o 366
308.48/295.51	o 365
308.48/295.52	o 364
308.48/295.54	o 363
308.48/295.56	o 362
308.48/295.58	o 361
308.48/295.60	o 360
308.58/295.61	o 359
308.58/295.63	o 358
308.58/295.65	o 357
308.58/295.67	o 356
308.58/295.69	o 355
308.68/295.70	o 354
308.68/295.72	o 353
308.68/295.74	o 352
308.68/295.76	o 351
308.68/295.77	o 350
308.68/295.79	o 349
308.78/295.81	o 348
308.78/295.83	o 347
308.78/295.84	o 346
308.78/295.86	o 345
308.78/295.88	o 344
308.78/295.90	o 343
308.89/295.92	o 342
308.89/295.94	o 341
308.89/295.95	o 340
308.89/295.97	o 339
308.89/296.00	o 338
308.99/296.01	o 337
308.99/296.03	o 336
308.99/296.05	o 335
308.99/296.07	o 334
308.99/296.09	o 333
309.09/296.11	o 332
309.09/296.13	o 331
309.09/296.15	o 330
309.09/296.16	o 329
309.09/296.18	o 328
309.19/296.20	o 327
309.19/296.22	o 326
309.19/296.24	o 325
309.19/296.25	o 324
309.19/296.27	o 323
309.19/296.29	o 322
309.29/296.31	o 321
309.29/296.32	o 320
309.29/296.34	o 319
309.29/296.36	o 318
309.29/296.38	o 317
309.40/296.40	o 316
309.40/296.42	o 315
309.40/296.43	o 314
309.40/296.45	o 313
309.40/296.47	o 312
309.40/296.49	o 311
309.51/296.60	o 310
309.63/296.61	o 309
309.63/296.63	o 308
309.63/296.65	o 307
309.63/296.67	o 306
309.63/296.69	o 305
309.73/296.70	o 304
309.73/296.72	o 303
309.73/296.74	o 302
309.73/296.76	o 301
309.73/296.78	o 300
309.84/296.80	o 299
309.84/296.88	o 298
309.96/296.90	o 297
309.96/296.92	o 296
309.96/296.93	o 295
309.96/296.95	o 294
309.96/296.97	o 293
309.96/296.99	o 292
310.06/297.01	o 291
310.06/297.02	o 290
310.06/297.04	o 289
310.06/297.06	o 288
310.06/297.08	o 287
310.06/297.10	o 286
310.17/297.11	o 285
310.17/297.13	o 284
310.17/297.15	o 283
310.17/297.17	o 282
310.17/297.19	o 281
310.26/297.21	o 280
310.26/297.22	o 279
310.26/297.24	o 278
310.26/297.26	o 277
310.26/297.28	o 276
310.37/297.30	o 275
310.37/297.31	o 274
310.37/297.33	o 273
310.37/297.35	o 272
310.37/297.37	o 271
310.37/297.39	o 270
310.47/297.41	o 269
310.47/297.43	o 268
310.47/297.44	o 267
310.47/297.46	o 266
310.47/297.48	o 265
310.57/297.50	o 264
310.57/297.52	o 263
310.57/297.54	o 262
310.57/297.56	o 261
310.57/297.58	o 260
310.57/297.60	o 259
310.72/297.61	o 258
310.72/297.63	o 257
310.72/297.65	o 256
310.72/297.67	o 255
310.72/297.68	o 254
310.82/297.70	o 253
310.82/297.72	o 252
310.82/297.74	o 251
310.82/297.76	o 250
310.82/297.78	o 249
310.82/297.79	o 248
310.92/297.81	o 247
310.92/297.83	o 246
310.92/297.84	o 245
310.92/297.87	o 244
310.92/297.89	o 243
311.02/297.91	o 242
311.02/297.93	o 241
311.02/297.95	o 240
311.02/297.97	o 239
311.02/297.99	o 238
311.12/298.01	o 237
311.12/298.03	o 236
311.12/298.05	o 235
311.12/298.07	o 234
311.12/298.08	o 233
311.30/298.15	o 232
311.30/298.17	o 231
311.30/298.18	o 230
311.41/298.20	o 229
311.41/298.22	o 228
311.41/298.24	o 227
311.41/298.26	o 226
311.41/298.28	o 225
311.58/298.30	o 224
311.58/298.32	o 223
311.58/298.34	o 222
311.58/298.39	o 221
311.68/298.41	o 220
311.68/298.43	o 219
311.68/298.44	o 218
311.68/298.46	o 217
311.68/298.48	o 216
311.78/298.50	o 215
312.53/299.30	o 214
312.66/299.35	o 213
312.81/299.41	o 212
312.81/299.43	o 211
312.81/299.48	o 210
312.91/299.54	o 209
312.91/299.60	o 208
313.13/299.72	o 207
313.13/299.74	o 206
313.23/299.84	o 205
325.32/311.74	o 204
326.22/312.63	o 203
326.22/312.65	o 202
326.22/312.67	o 201
326.22/312.68	o 200
327.02/313.48	o 199
328.43/314.83	o 198
328.43/314.85	o 197
328.53/314.91	o 196
328.83/315.20	o 195
329.44/315.89	o 194
2520.08/2478.31	java.util.concurrent.TimeoutException
2520.08/2478.31		at concrete.MAC.mac(MAC.scala:74)
2520.08/2478.31		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.08/2478.31		at scala.util.Try$.apply(Try.scala:209)
2520.08/2478.31		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2478.31		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2478.31		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2478.31		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2478.31		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.08/2478.31		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2478.31		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2478.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2478.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2478.31		at concrete.MAC.oneRun(MAC.scala:146)
2520.08/2478.31		at concrete.MAC.nextSolution(MAC.scala:166)
2520.08/2478.31		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.08/2478.31		at concrete.ProblemState.map(ProblemState.scala:203)
2520.08/2478.31		at concrete.ProblemState.map(ProblemState.scala:188)
2520.08/2478.31		at concrete.MAC.nextSolution(MAC.scala:195)
2520.08/2478.31		at concrete.Solver.hasNext(Solver.scala:202)
2520.08/2478.31		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.08/2478.31		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.08/2478.31		at concrete.Solver.toStream(Solver.scala:73)
2520.08/2478.31		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.08/2478.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.08/2478.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.08/2478.31		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.08/2478.31		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.08/2478.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2478.31		at scala.util.Success.map(Try.scala:209)
2520.08/2478.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.08/2478.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.08/2478.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.08/2478.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.08/2478.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.08/2478.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2478.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2478.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2478.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2478.31		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2478.31		at scala.App.main(App.scala:76)
2520.08/2478.31		at scala.App.main$(App.scala:74)
2520.08/2478.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.08/2478.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2478.32	v <instantiation cost="194">
2520.08/2478.32	v       <list>
2520.08/2478.32	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] s[100] s[101] s[102] s[103] s[104] s[105] s[106] s[107] s[108] s[109] s[110] s[111] s[112] s[113] s[114] s[115] s[116] s[117] s[118] s[119] s[120] s[121]
2520.08/2478.32	v       </list>
2520.08/2478.32	v       <values>
2520.08/2478.32	v         0 13 3 1 13 8 52 27 72 37 55 40 104 65 78 64 57 45 79 36 65 27 10 75 27 19 81 30 31 48 35 99 33 100 56 38 78 95 42 147 90 71 85 50 19 94 78 83 95 54 134 100 137 103 75 57 147 113 91 112 82 90 128 113 137 147 90 102 84 104 125 109 114 121 113 153 152 186 142 145 154 173 140 153 128 113 153 137 139 145 122 159 150 146 155 163 177 156 159 180 169 167 170 187 177 152 170 173 159 177 177 183 174 183 145 183 178 186 186 193 189 194
2520.08/2478.32	v       </values>
2520.08/2478.32	v     </instantiation>
2520.08/2478.32	s SATISFIABLE

Verifier Data

OK	194

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-4262091-1502451628/watcher-4262091-1502451628 -o /tmp/evaluation-result-4262091-1502451628/solver-4262091-1502451628 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580 bin/concrete HOME/instance-4262091-1502451628.xml 

pid=15915
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.01 1.20 1.38 4/198 15918
/proc/meminfo: memFree=30285760/32770624 swapFree=0/427936
[pid=15918] ppid=15915 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (runsolver) D 15915 15918 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 92978047 24240128 106 18446744073709551615 4194304 4338465 140732592135152 140732592132792 140206857876183 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 32399360 140732592140497 140732592140873 140732592140873 140732592144330 0
/proc/15918/statm: 5918 106 53 36 0 2156 0

[startup+0.100132 s]
/proc/loadavg: 1.01 1.20 1.38 4/198 15918
/proc/meminfo: memFree=30285760/32770624 swapFree=0/427936
[pid=15918] ppid=15915 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/15918/stat : 15918 (bash) S 15915 15918 4821 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 92978047 9736192 352 18446744073709551615 4194304 5098028 140725050382448 140725050380088 139839425391616 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 9 0 0 7196144 7232144 35274752 140725050389012 140725050389097 140725050389097 140725050392554 0
/proc/15918/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200204 s]
/proc/loadavg: 1.01 1.20 1.38 4/198 15918
/proc/meminfo: memFree=30285760/32770624 swapFree=0/427936
[pid=15918] ppid=15915 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/15918/stat : 15918 (bash) S 15915 15918 4821 0 -1 4202496 898 6472 0 0 0 0 0 1 20 0 1 0 92978047 9867264 377 18446744073709551615 4194304 5098028 140725050382448 140725050376456 139839425391616 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 9 0 0 7196144 7232144 35274752 140725050389012 140725050389097 140725050389097 140725050392554 0
/proc/15918/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300255 s]
/proc/loadavg: 1.01 1.20 1.38 4/198 15918
/proc/meminfo: memFree=30285760/32770624 swapFree=0/427936
[pid=15918] ppid=15915 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/15918/stat : 15918 (java) S 15915 15918 4821 0 -1 1077944320 5491 12656 0 0 5 1 5 3 20 0 14 0 92978047 14241083392 5170 18446744073709551615 4194304 4196468 140727392174384 140727392156928 139643159998199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
/proc/15918/statm: 3476827 5170 2565 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700218 s]
/proc/loadavg: 1.01 1.20 1.38 4/198 15918
/proc/meminfo: memFree=30285760/32770624 swapFree=0/427936
[pid=15918] ppid=15915 vsize=13974784 CPUtime=0.69 cores=1,3,5,7
/proc/15918/stat : 15918 (java) S 15915 15918 4821 0 -1 1077944320 13899 12656 0 0 57 4 5 3 20 0 15 0 92978047 14310178816 14798 18446744073709551615 4194304 4196468 140727392174384 140727392156928 139643159998199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
/proc/15918/statm: 3493696 14798 3107 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784

[startup+1.50059 s]
/proc/loadavg: 1.09 1.22 1.39 3/213 15981
/proc/meminfo: memFree=30189988/32770624 swapFree=0/427956
[pid=15918] ppid=15915 vsize=13985408 CPUtime=1.89 cores=1,3,5,7
/proc/15918/stat : 15918 (java) S 15915 15918 4821 0 -1 1077944320 29619 12656 0 0 171 10 5 3 20 0 15 0 92978047 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 140727392156928 139643159998199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
/proc/15918/statm: 3496352 43208 3362 1 0 3485525 0
[pid=15918/tid=15968] ppid=15915 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/15918/task/15968/stat : 15968 (java) S 15915 15918 4821 0 -1 1077944384 22609 12656 0 0 114 7 5 3 20 0 15 0 92978069 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139643164219056 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15969] ppid=15915 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/15918/task/15969/stat : 15969 (java) S 15915 15918 4821 0 -1 1077944384 227 12656 0 0 1 0 5 3 20 0 15 0 92978069 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139643079412112 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15970] ppid=15915 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15970/stat : 15970 (java) S 15915 15918 4821 0 -1 1077944384 41 12656 0 0 0 0 5 3 20 0 15 0 92978069 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139643078359328 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15971] ppid=15915 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/15918/task/15971/stat : 15971 (java) R 15915 15918 4821 0 -1 4202560 51 12656 0 0 1 0 5 3 20 0 15 0 92978069 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642758228744 139643152626407 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15972] ppid=15915 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15972/stat : 15972 (java) S 15915 15918 4821 0 -1 1077944384 63 12656 0 0 0 0 5 3 20 0 15 0 92978069 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642757175824 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15973] ppid=15915 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/15918/task/15973/stat : 15973 (java) S 15915 15918 4821 0 -1 1077944384 1574 12656 0 0 1 0 5 3 20 0 15 0 92978071 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642638640288 139643160008405 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15974] ppid=15915 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15974/stat : 15974 (java) S 15915 15918 4821 0 -1 1077944384 33 12656 0 0 0 0 5 3 20 0 15 0 92978071 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642637587744 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15975] ppid=15915 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15975/stat : 15975 (java) S 15915 15918 4821 0 -1 1077944384 21 12656 0 0 0 0 5 3 20 0 15 0 92978071 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642636535408 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15976] ppid=15915 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15976/stat : 15976 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642635483728 139643160016795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15977] ppid=15915 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/15918/task/15977/stat : 15977 (java) S 15915 15918 4821 0 -1 1077944384 1245 12656 0 0 16 0 5 3 20 0 15 0 92978074 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642634430576 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15978] ppid=15915 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/15918/task/15978/stat : 15978 (java) S 15915 15918 4821 0 -1 1077944384 570 12656 0 0 12 0 5 3 20 0 15 0 92978074 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642633377776 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15979] ppid=15915 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/15918/task/15979/stat : 15979 (java) S 15915 15918 4821 0 -1 1077944384 1019 12656 0 0 22 0 5 3 20 0 15 0 92978074 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642632325488 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15980] ppid=15915 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15980/stat : 15980 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642631272928 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15981] ppid=15915 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15981/stat : 15981 (java) S 15915 15918 4821 0 -1 1077944384 5 12656 0 0 0 0 5 3 20 0 15 0 92978078 14321057792 43208 18446744073709551615 4194304 4196468 140727392174384 139642630220720 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408

[startup+3.10088 s]
/proc/loadavg: 1.09 1.22 1.39 4/213 15981
/proc/meminfo: memFree=30114608/32770624 swapFree=0/427956
[pid=15918] ppid=15915 vsize=13997884 CPUtime=5.68 cores=1,3,5,7
/proc/15918/stat : 15918 (java) S 15915 15918 4821 0 -1 1077944320 44078 12656 0 0 545 15 5 3 20 0 15 0 92978047 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 140727392156928 139643159998199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
/proc/15918/statm: 3499471 54195 3441 1 0 3488085 0
[pid=15918/tid=15968] ppid=15915 vsize=13997884 CPUtime=2.87 cores=1,3,5,7
/proc/15918/task/15968/stat : 15968 (java) R 15915 15918 4821 0 -1 4202560 29658 12656 0 0 270 9 5 3 20 0 15 0 92978069 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139643164227848 139643142213544 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15969] ppid=15915 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/15918/task/15969/stat : 15969 (java) S 15915 15918 4821 0 -1 1077944384 227 12656 0 0 1 0 5 3 20 0 15 0 92978069 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139643079412112 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15970] ppid=15915 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/15918/task/15970/stat : 15970 (java) S 15915 15918 4821 0 -1 1077944384 41 12656 0 0 1 0 5 3 20 0 15 0 92978069 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139643078359312 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15971] ppid=15915 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/15918/task/15971/stat : 15971 (java) S 15915 15918 4821 0 -1 1077944384 51 12656 0 0 1 0 5 3 20 0 15 0 92978069 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642758228624 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15972] ppid=15915 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15972/stat : 15972 (java) S 15915 15918 4821 0 -1 1077944384 63 12656 0 0 0 0 5 3 20 0 15 0 92978069 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642757175824 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15973] ppid=15915 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/15918/task/15973/stat : 15973 (java) S 15915 15918 4821 0 -1 1077944384 1590 12656 0 0 1 0 5 3 20 0 15 0 92978071 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642638641776 139643160009346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15974] ppid=15915 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15974/stat : 15974 (java) S 15915 15918 4821 0 -1 1077944384 55 12656 0 0 0 0 5 3 20 0 15 0 92978071 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642637587808 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15975] ppid=15915 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15975/stat : 15975 (java) S 15915 15918 4821 0 -1 1077944384 43 12656 0 0 0 0 5 3 20 0 15 0 92978071 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642636535424 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15976] ppid=15915 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15976/stat : 15976 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642635483728 139643160016795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15977] ppid=15915 vsize=13997884 CPUtime=0.89 cores=1,3,5,7
/proc/15918/task/15977/stat : 15977 (java) R 15915 15918 4821 0 -1 4202560 2507 12656 0 0 81 0 5 3 20 0 15 0 92978074 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642634417120 139643139684766 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15978] ppid=15915 vsize=13997884 CPUtime=0.85 cores=1,3,5,7
/proc/15918/task/15978/stat : 15978 (java) R 15915 15918 4821 0 -1 4202560 1975 12656 0 0 76 1 5 3 20 0 15 0 92978074 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642633356304 139643145105804 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15979] ppid=15915 vsize=13997884 CPUtime=1.19 cores=1,3,5,7
/proc/15918/task/15979/stat : 15979 (java) S 15915 15918 4821 0 -1 1077944384 5699 12656 0 0 110 1 5 3 20 0 15 0 92978074 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642632325488 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15980] ppid=15915 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15980/stat : 15980 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642631272928 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15981] ppid=15915 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15981/stat : 15981 (java) S 15915 15918 4821 0 -1 1077944384 8 12656 0 0 0 0 5 3 20 0 15 0 92978078 14333833216 54195 18446744073709551615 4194304 4196468 140727392174384 139642630220720 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 13997884

[startup+6.30076 s]
/proc/loadavg: 1.16 1.23 1.39 3/213 15981
/proc/meminfo: memFree=29934172/32770624 swapFree=0/427956
[pid=15918] ppid=15915 vsize=14069564 CPUtime=12.76 cores=1,3,5,7
/proc/15918/stat : 15918 (java) S 15915 15918 4821 0 -1 1077944320 64862 12656 0 0 1245 23 5 3 20 0 15 0 92978047 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 140727392156928 139643159998199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
/proc/15918/statm: 3517391 101291 3476 1 0 3506005 0
[pid=15918/tid=15968] ppid=15915 vsize=14069564 CPUtime=6.01 cores=1,3,5,7
/proc/15918/task/15968/stat : 15968 (java) R 15915 15918 4821 0 -1 4202560 44327 12656 0 0 580 13 5 3 20 0 15 0 92978069 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139643164230040 139642763569888 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15969] ppid=15915 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15918/task/15969/stat : 15969 (java) S 15915 15918 4821 0 -1 1077944384 1107 12656 0 0 3 1 5 3 20 0 15 0 92978069 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139643079412112 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15970] ppid=15915 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15918/task/15970/stat : 15970 (java) S 15915 15918 4821 0 -1 1077944384 147 12656 0 0 4 0 5 3 20 0 15 0 92978069 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139643078359312 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15971] ppid=15915 vsize=14069564 CPUtime=0.11 cores=1,3,5,7
/proc/15918/task/15971/stat : 15971 (java) S 15915 15918 4821 0 -1 1077944384 113 12656 0 0 3 0 5 3 20 0 15 0 92978069 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642758228624 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15972] ppid=15915 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15918/task/15972/stat : 15972 (java) S 15915 15918 4821 0 -1 1077944384 120 12656 0 0 3 1 5 3 20 0 15 0 92978069 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642757175824 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15973] ppid=15915 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15918/task/15973/stat : 15973 (java) S 15915 15918 4821 0 -1 1077944384 2502 12656 0 0 4 0 5 3 20 0 15 0 92978071 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642638641776 139643160009346 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15974] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15974/stat : 15974 (java) S 15915 15918 4821 0 -1 1077944384 55 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642637587872 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15975] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15975/stat : 15975 (java) S 15915 15918 4821 0 -1 1077944384 43 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642636535424 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15976] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15976/stat : 15976 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642635483728 139643160016795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15977] ppid=15915 vsize=14069564 CPUtime=2.43 cores=1,3,5,7
/proc/15918/task/15977/stat : 15977 (java) S 15915 15918 4821 0 -1 1077944384 3231 12656 0 0 234 1 5 3 20 0 15 0 92978074 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642634430576 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15978] ppid=15915 vsize=14069564 CPUtime=2.46 cores=1,3,5,7
/proc/15918/task/15978/stat : 15978 (java) R 15915 15918 4821 0 -1 4202560 4202 12656 0 0 236 2 5 3 20 0 15 0 92978074 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642633377776 139643145113254 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15979] ppid=15915 vsize=14069564 CPUtime=1.83 cores=1,3,5,7
/proc/15918/task/15979/stat : 15979 (java) S 15915 15918 4821 0 -1 1077944384 6843 12656 0 0 173 2 5 3 20 0 15 0 92978074 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642632325488 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15980] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15980/stat : 15980 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642631272928 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15981] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15981/stat : 15981 (java) S 15915 15918 4821 0 -1 1077944384 11 12656 0 0 0 0 5 3 20 0 15 0 92978078 14407233536 101291 18446744073709551615 4194304 4196468 140727392174384 139642630220720 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.23 1.24 1.39 3/213 15981
/proc/meminfo: memFree=29667332/32770624 swapFree=0/427952
[pid=15918] ppid=15915 vsize=14069564 CPUtime=19.69 cores=1,3,5,7
/proc/15918/stat : 15918 (java) S 15915 15918 4821 0 -1 1077944320 71040 12656 0 0 1931 30 5 3 20 0 15 0 92978047 14407233536 170877 18446744073709551615 4194304 4196468 140727392174384 140727392156928 139643159998199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
/proc/15918/statm: 3517391 170877 3477 1 0 3506005 0
[pid=15918/tid=15968] ppid=15915 vsize=14069564 CPUtime=12.37 cores=1,3,5,7
/proc/15918/task/15968/stat : 15968 (java) R 15915 15918 4821 0 -1 4202560 45375 12656 0 0 1213 16 5 3 20 0 15 0 92978069 14407233536 170877 18446744073709551615 4194304 4196468 140727392174384 139643164232272 139642772353538 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15969] ppid=15915 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/15918/task/15969/stat : 15969 (java) S 15915 15918 4821 0 -1 1077944384 1224 12656 0 0 5 1 5 3 20 0 15 0 92978069 14407233536 170877 18446744073709551615 4194304 4196468 140727392174384 139643079412112 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15970] ppid=15915 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/15918/task/15970/stat : 15970 (java) S 15915 15918 4821 0 -1 1077944384 652 12656 0 0 5 1 5 3 20 0 15 0 92978069 14407233536 170877 18446744073709551615 4194304 4196468 140727392174384 139643078359312 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15971] ppid=15915 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/15918/task/15971/stat : 15971 (java) S 15915 15918 4821 0 -1 1077944384 142 12656 0 0 5 1 5 3 20 0 15 0 92978069 14407233536 170877 18446744073709551615 4194304 4196468 140727392174384 139642758228624 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15972] ppid=15915 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/15918/task/15972/stat : 15972 (java) S 15915 15918 4821 0 -1 1077944384 455 12656 0 0 4 1 5 3 20 0 15 0 92978069 14407233536 170877 18446744073709551615 4194304 4196468 140727392174384 139642757175824 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15973] ppid=15915 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/15918/task/15973/stat : 15973 (java) S 15915 15918 4821 0 -1 1077944384 2909 12656 0 0 5 0 5 3 20 0 15 0 92978071 14407233536 170877 18446744073709551615 4194304 4196468 140727392174384 139642638641776 139643160009346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15974] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15974/stat : 15974 (java) S 15915 15918 4821 0 -1 1077944384 55 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 170877 18446744073709551615 4194304 4196468 140727392174384 139642637587872 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15975] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15975/stat : 15975 (java) S 15915 15918 4821 0 -1 1077944384 43 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 170877 18446744073709551615 4194304 4196468 140727392174384 139642636535424 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15976] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15976/stat : 15976 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 170877 18446744073709551615 4194304 4196468 140727392174384 139642635483728 139643160016795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0

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

[pid=15918/tid=15981] ppid=15915 vsize=14069564 CPUtime=1.41 cores=1,3,5,7
/proc/15918/task/15981/stat : 15981 (java) S 15915 15918 4821 0 -1 1077944384 1132 12656 0 0 57 76 5 3 20 0 15 0 92978078 14407233536 192053 18446744073709551615 4194304 4196468 140727392174384 139642630220720 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
Current children cumulated CPU time (s) 2361.83
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.39 1.32 1.32 3/214 16281
/proc/meminfo: memFree=29596208/32770624 swapFree=0/428572
[pid=15918] ppid=15915 vsize=14069564 CPUtime=2422.66 cores=1,3,5,7
/proc/15918/stat : 15918 (java) S 15915 15918 4821 0 -1 1077944320 204545 12656 0 0 241916 342 5 3 20 0 15 0 92978047 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 140727392156928 139643159998199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
/proc/15918/statm: 3517391 190782 3488 1 0 3506005 0
[pid=15918/tid=15968] ppid=15915 vsize=14069564 CPUtime=2358.09 cores=1,3,5,7
/proc/15918/task/15968/stat : 15968 (java) R 15915 15918 4821 0 -1 4202560 86117 12656 0 0 235753 48 5 3 20 0 15 0 92978069 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139643164232288 139642774000207 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15969] ppid=15915 vsize=14069564 CPUtime=10.46 cores=1,3,5,7
/proc/15918/task/15969/stat : 15969 (java) S 15915 15918 4821 0 -1 1077944384 8170 12656 0 0 984 54 5 3 20 0 15 0 92978069 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139643079412112 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15970] ppid=15915 vsize=14069564 CPUtime=10.47 cores=1,3,5,7
/proc/15918/task/15970/stat : 15970 (java) S 15915 15918 4821 0 -1 1077944384 13073 12656 0 0 987 52 5 3 20 0 15 0 92978069 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139643078359312 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15971] ppid=15915 vsize=14069564 CPUtime=10.45 cores=1,3,5,7
/proc/15918/task/15971/stat : 15971 (java) S 15915 15918 4821 0 -1 1077944384 11373 12656 0 0 976 61 5 3 20 0 15 0 92978069 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642758228624 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15972] ppid=15915 vsize=14069564 CPUtime=10.49 cores=1,3,5,7
/proc/15918/task/15972/stat : 15972 (java) S 15915 15918 4821 0 -1 1077944384 7605 12656 0 0 987 54 5 3 20 0 15 0 92978069 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642757175824 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15973] ppid=15915 vsize=14069564 CPUtime=10.88 cores=1,3,5,7
/proc/15918/task/15973/stat : 15973 (java) S 15915 15918 4821 0 -1 1077944384 21392 12656 0 0 1029 51 5 3 20 0 15 0 92978071 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642638641776 139643160009346 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15974] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15974/stat : 15974 (java) S 15915 15918 4821 0 -1 1077944384 58 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642637587872 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15975] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15975/stat : 15975 (java) S 15915 15918 4821 0 -1 1077944384 45 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642636535424 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15976] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15976/stat : 15976 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642635483728 139643160016795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15977] ppid=15915 vsize=14069564 CPUtime=4.46 cores=1,3,5,7
/proc/15918/task/15977/stat : 15977 (java) S 15915 15918 4821 0 -1 1077944384 16162 12656 0 0 436 2 5 3 20 0 15 0 92978074 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642634430576 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15978] ppid=15915 vsize=14069564 CPUtime=4.35 cores=1,3,5,7
/proc/15918/task/15978/stat : 15978 (java) S 15915 15918 4821 0 -1 1077944384 16694 12656 0 0 424 3 5 3 20 0 15 0 92978074 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642633377776 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15979] ppid=15915 vsize=14069564 CPUtime=2.2 cores=1,3,5,7
/proc/15918/task/15979/stat : 15979 (java) S 15915 15918 4821 0 -1 1077944384 20559 12656 0 0 208 4 5 3 20 0 15 0 92978074 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642632325488 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15980] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15980/stat : 15980 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642631272928 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15981] ppid=15915 vsize=14069564 CPUtime=1.43 cores=1,3,5,7
/proc/15918/task/15981/stat : 15981 (java) S 15915 15918 4821 0 -1 1077944384 1136 12656 0 0 58 77 5 3 20 0 15 0 92978078 14407233536 190782 18446744073709551615 4194304 4196468 140727392174384 139642630220720 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
Current children cumulated CPU time (s) 2422.66
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.18 1.29 1.31 3/214 16283
/proc/meminfo: memFree=29596248/32770624 swapFree=0/428592
[pid=15918] ppid=15915 vsize=14069564 CPUtime=2483.54 cores=1,3,5,7
/proc/15918/stat : 15918 (java) S 15915 15918 4821 0 -1 1077944320 205539 12656 0 0 247997 349 5 3 20 0 15 0 92978047 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 140727392156928 139643159998199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
/proc/15918/statm: 3517391 190784 3488 1 0 3506005 0
[pid=15918/tid=15968] ppid=15915 vsize=14069564 CPUtime=2417.48 cores=1,3,5,7
/proc/15918/task/15968/stat : 15968 (java) R 15915 15918 4821 0 -1 4202560 86746 12656 0 0 241691 49 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139643164232256 139642775412769 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15969] ppid=15915 vsize=14069564 CPUtime=10.74 cores=1,3,5,7
/proc/15918/task/15969/stat : 15969 (java) S 15915 15918 4821 0 -1 1077944384 8180 12656 0 0 1011 55 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139643079412112 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15970] ppid=15915 vsize=14069564 CPUtime=10.76 cores=1,3,5,7
/proc/15918/task/15970/stat : 15970 (java) S 15915 15918 4821 0 -1 1077944384 13176 12656 0 0 1015 53 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139643078359312 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15971] ppid=15915 vsize=14069564 CPUtime=10.74 cores=1,3,5,7
/proc/15918/task/15971/stat : 15971 (java) S 15915 15918 4821 0 -1 1077944384 11396 12656 0 0 1004 62 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642758228624 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15972] ppid=15915 vsize=14069564 CPUtime=10.77 cores=1,3,5,7
/proc/15918/task/15972/stat : 15972 (java) S 15915 15918 4821 0 -1 1077944384 7617 12656 0 0 1015 54 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642757175824 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15973] ppid=15915 vsize=14069564 CPUtime=11.17 cores=1,3,5,7
/proc/15918/task/15973/stat : 15973 (java) S 15915 15918 4821 0 -1 1077944384 21596 12656 0 0 1057 52 5 3 20 0 15 0 92978071 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642638641776 139643160009346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15974] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15974/stat : 15974 (java) S 15915 15918 4821 0 -1 1077944384 58 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642637587872 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15975] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15975/stat : 15975 (java) S 15915 15918 4821 0 -1 1077944384 45 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642636535424 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15976] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15976/stat : 15976 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642635483728 139643160016795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15977] ppid=15915 vsize=14069564 CPUtime=4.46 cores=1,3,5,7
/proc/15918/task/15977/stat : 15977 (java) S 15915 15918 4821 0 -1 1077944384 16164 12656 0 0 436 2 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642634430576 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15978] ppid=15915 vsize=14069564 CPUtime=4.35 cores=1,3,5,7
/proc/15918/task/15978/stat : 15978 (java) S 15915 15918 4821 0 -1 1077944384 16696 12656 0 0 424 3 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642633377776 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15979] ppid=15915 vsize=14069564 CPUtime=2.2 cores=1,3,5,7
/proc/15918/task/15979/stat : 15979 (java) S 15915 15918 4821 0 -1 1077944384 20561 12656 0 0 208 4 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642632325488 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15980] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15980/stat : 15980 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642631272928 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15981] ppid=15915 vsize=14069564 CPUtime=1.47 cores=1,3,5,7
/proc/15918/task/15981/stat : 15981 (java) S 15915 15918 4821 0 -1 1077944384 1143 12656 0 0 60 79 5 3 20 0 15 0 92978078 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642630220720 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
Current children cumulated CPU time (s) 2483.54
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2478.3 s]
/proc/loadavg: 1.28 1.30 1.32 3/214 16284
/proc/meminfo: memFree=29593984/32770624 swapFree=0/428576
[pid=15918] ppid=15915 vsize=14069564 CPUtime=2520.08 cores=1,3,5,7
/proc/15918/stat : 15918 (java) S 15915 15918 4821 0 -1 1077944320 206043 12656 0 0 251647 353 5 3 20 0 15 0 92978047 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 140727392156928 139643159998199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
/proc/15918/statm: 3517391 190784 3488 1 0 3506005 0
[pid=15918/tid=15968] ppid=15915 vsize=14069564 CPUtime=2453.1 cores=1,3,5,7
/proc/15918/task/15968/stat : 15968 (java) R 15915 15918 4821 0 -1 4202560 87004 12656 0 0 245253 49 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139643164232288 139642774000372 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15969] ppid=15915 vsize=14069564 CPUtime=10.92 cores=1,3,5,7
/proc/15918/task/15969/stat : 15969 (java) S 15915 15918 4821 0 -1 1077944384 8181 12656 0 0 1029 55 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139643079412112 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15970] ppid=15915 vsize=14069564 CPUtime=10.94 cores=1,3,5,7
/proc/15918/task/15970/stat : 15970 (java) S 15915 15918 4821 0 -1 1077944384 13182 12656 0 0 1032 54 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139643078359312 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15971] ppid=15915 vsize=14069564 CPUtime=10.92 cores=1,3,5,7
/proc/15918/task/15971/stat : 15971 (java) S 15915 15918 4821 0 -1 1077944384 11402 12656 0 0 1021 63 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642758228624 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15972] ppid=15915 vsize=14069564 CPUtime=10.95 cores=1,3,5,7
/proc/15918/task/15972/stat : 15972 (java) S 15915 15918 4821 0 -1 1077944384 7842 12656 0 0 1032 55 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642757175824 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15973] ppid=15915 vsize=14069564 CPUtime=11.34 cores=1,3,5,7
/proc/15918/task/15973/stat : 15973 (java) S 15915 15918 4821 0 -1 1077944384 21602 12656 0 0 1074 52 5 3 20 0 15 0 92978071 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642638641776 139643160009346 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15974] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15974/stat : 15974 (java) S 15915 15918 4821 0 -1 1077944384 58 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642637587872 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15975] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15975/stat : 15975 (java) S 15915 15918 4821 0 -1 1077944384 45 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642636535424 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15976] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15976/stat : 15976 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642635483728 139643160016795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15977] ppid=15915 vsize=14069564 CPUtime=4.46 cores=1,3,5,7
/proc/15918/task/15977/stat : 15977 (java) S 15915 15918 4821 0 -1 1077944384 16164 12656 0 0 436 2 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642634430576 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15978] ppid=15915 vsize=14069564 CPUtime=4.35 cores=1,3,5,7
/proc/15918/task/15978/stat : 15978 (java) S 15915 15918 4821 0 -1 1077944384 16696 12656 0 0 424 3 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642633377776 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15979] ppid=15915 vsize=14069564 CPUtime=2.2 cores=1,3,5,7
/proc/15918/task/15979/stat : 15979 (java) S 15915 15918 4821 0 -1 1077944384 20561 12656 0 0 208 4 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642632325488 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15980] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15980/stat : 15980 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642631272928 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15981] ppid=15915 vsize=14069564 CPUtime=1.49 cores=1,3,5,7
/proc/15918/task/15981/stat : 15981 (java) S 15915 15918 4821 0 -1 1077944384 1145 12656 0 0 61 80 5 3 20 0 15 0 92978078 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642630220720 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
Current children cumulated CPU time (s) 2520.08
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 15918 sig 9
??? kill -15918 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2478.3 s]
/proc/loadavg: 1.28 1.30 1.32 3/214 16284
/proc/meminfo: memFree=29593984/32770624 swapFree=0/428576
[pid=15918] ppid=15915 vsize=14069564 CPUtime=2520.08 cores=1,3,5,7
/proc/15918/stat : 15918 (java) S 15915 15918 4821 0 -1 1077944320 206043 12656 0 0 251647 353 5 3 20 0 15 0 92978047 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 140727392156928 139643159998199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
/proc/15918/statm: 3517391 190784 3488 1 0 3506005 0
[pid=15918/tid=15968] ppid=15915 vsize=14069564 CPUtime=2453.1 cores=1,3,5,7
/proc/15918/task/15968/stat : 15968 (java) R 15915 15918 4821 0 -1 4202560 87004 12656 0 0 245253 49 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139643164232288 139642774000372 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15969] ppid=15915 vsize=14069564 CPUtime=10.92 cores=1,3,5,7
/proc/15918/task/15969/stat : 15969 (java) S 15915 15918 4821 0 -1 1077944384 8181 12656 0 0 1029 55 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139643079412112 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15970] ppid=15915 vsize=14069564 CPUtime=10.94 cores=1,3,5,7
/proc/15918/task/15970/stat : 15970 (java) S 15915 15918 4821 0 -1 1077944384 13182 12656 0 0 1032 54 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139643078359312 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15971] ppid=15915 vsize=14069564 CPUtime=10.92 cores=1,3,5,7
/proc/15918/task/15971/stat : 15971 (java) S 15915 15918 4821 0 -1 1077944384 11402 12656 0 0 1021 63 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642758228624 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15972] ppid=15915 vsize=14069564 CPUtime=10.95 cores=1,3,5,7
/proc/15918/task/15972/stat : 15972 (java) S 15915 15918 4821 0 -1 1077944384 7842 12656 0 0 1032 55 5 3 20 0 15 0 92978069 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642757175824 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15973] ppid=15915 vsize=14069564 CPUtime=11.34 cores=1,3,5,7
/proc/15918/task/15973/stat : 15973 (java) S 15915 15918 4821 0 -1 1077944384 21602 12656 0 0 1074 52 5 3 20 0 15 0 92978071 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642638641776 139643160009346 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15974] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15974/stat : 15974 (java) S 15915 15918 4821 0 -1 1077944384 58 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642637587872 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15975] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15975/stat : 15975 (java) S 15915 15918 4821 0 -1 1077944384 45 12656 0 0 0 0 5 3 20 0 15 0 92978071 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642636535424 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15976] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15976/stat : 15976 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642635483728 139643160016795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15977] ppid=15915 vsize=14069564 CPUtime=4.46 cores=1,3,5,7
/proc/15918/task/15977/stat : 15977 (java) S 15915 15918 4821 0 -1 1077944384 16164 12656 0 0 436 2 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642634430576 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15978] ppid=15915 vsize=14069564 CPUtime=4.35 cores=1,3,5,7
/proc/15918/task/15978/stat : 15978 (java) S 15915 15918 4821 0 -1 1077944384 16696 12656 0 0 424 3 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642633377776 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15979] ppid=15915 vsize=14069564 CPUtime=2.2 cores=1,3,5,7
/proc/15918/task/15979/stat : 15979 (java) S 15915 15918 4821 0 -1 1077944384 20561 12656 0 0 208 4 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642632325488 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15980] ppid=15915 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15918/task/15980/stat : 15980 (java) S 15915 15918 4821 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 92978074 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642631272928 139643160008405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
[pid=15918/tid=15981] ppid=15915 vsize=14069564 CPUtime=1.49 cores=1,3,5,7
/proc/15918/task/15981/stat : 15981 (java) S 15915 15918 4821 0 -1 1077944384 1145 12656 0 0 61 80 5 3 20 0 15 0 92978078 14407233536 190784 18446744073709551615 4194304 4196468 140727392174384 139642630220720 139643160009346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34697216 140727392176080 140727392178865 140727392178865 140727392182223 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2478.33
CPU time (s): 2520.12
CPU user time (s): 2516.55
CPU system time (s): 3.57465
CPU usage (%): 101.686
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.55
system time used= 3.57464
maximum resident set size= 917800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219455
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274536
involuntary context switches= 7869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6625 second user time and 16.3375 second system time

The end

Launcher Data

Begin job on node133 at 2017-08-11 13:26:21
IDJOB=4262091
IDBENCH=129200
IDSOLVER=2650
FILE ID=node133/4262091-1502451628
RUNJOBID= node133-1502411423-4885
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j120/Rcpsp-j120-46-04.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262091-1502451628/watcher-4262091-1502451628 -o /tmp/evaluation-result-4262091-1502451628/solver-4262091-1502451628 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580  bin/concrete HOME/instance-4262091-1502451628.xml

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

MD5SUM BENCH= 2bf32ca1cbb3a17ab70e7ee7c2cd4ace
RANDOM SEED=1358278078

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30285516 kB
MemAvailable:   31159996 kB
Buffers:          292656 kB
Cached:           876204 kB
SwapCached:            0 kB
Active:          1584664 kB
Inactive:         461048 kB
Active(anon):     877332 kB
Inactive(anon):    33112 kB
Active(file):     707332 kB
Inactive(file):   427936 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24164 kB
Writeback:             0 kB
AnonPages:        881376 kB
Mapped:            64180 kB
Shmem:             33468 kB
Slab:             137432 kB
SReclaimable:     110092 kB
SUnreclaim:        27340 kB
KernelStack:        3744 kB
PageTables:         7844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1650872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    704512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

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