Trace number 4307804

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
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)7 2520.1 2486.05

General information on the benchmark

NameGraphColoring/
GraphColoring-4-fullins-4_c18.xml
MD5SUM954cbc6df2411a2de12d490b8b2019f6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark18.4833
Satisfiable
(Un)Satisfiability was proved
Number of variables690
Number of constraints6650
Number of domains1
Minimum domain size690
Maximum domain size690
Distribution of domain sizes[{"size":690,"count":690}]
Minimum variable degree7
Maximum variable degree120
Distribution of variable degrees[{"degree":7,"count":4},{"degree":8,"count":18},{"degree":9,"count":14},{"degree":10,"count":56},{"degree":11,"count":18},{"degree":12,"count":78},{"degree":13,"count":10},{"degree":14,"count":40},{"degree":15,"count":40},{"degree":16,"count":160},{"degree":17,"count":6},{"degree":18,"count":24},{"degree":19,"count":6},{"degree":20,"count":24},{"degree":26,"count":6},{"degree":29,"count":6},{"degree":30,"count":24},{"degree":31,"count":24},{"degree":32,"count":96},{"degree":47,"count":6},{"degree":48,"count":24},{"degree":120,"count":6}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":6650}]
Number of extensional constraints0
Number of intensional constraints6650
Distribution of constraint types[{"type":"intension","count":6650}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data

0.66/0.56	c version: 2018-08-14
0.66/0.56	c seed: 595316965
0.66/0.56	c timeout: 2520
0.66/0.57	c memlimit: 11000
0.66/0.57	c nbcore: 4
0.66/0.59	c Parsing instance...
4.53/2.09	c Parsing done, starting search...
5.35/2.32	o 689
5.35/2.39	o 688
5.62/2.49	o 687
5.90/2.51	o 681
5.90/2.54	o 680
5.90/2.58	o 679
6.07/2.65	o 678
6.07/2.69	o 676
6.21/2.73	o 675
6.21/2.78	o 674
6.40/2.81	o 672
6.40/2.84	o 670
6.58/2.92	o 669
6.58/2.95	o 668
6.58/2.99	o 666
6.76/3.03	o 665
6.76/3.09	o 661
6.87/3.16	o 659
6.87/3.16	o 658
6.87/3.19	o 656
6.97/3.24	o 654
6.97/3.26	o 653
7.10/3.38	o 651
7.54/3.79	o 650
7.54/3.79	o 649
7.54/3.79	o 648
7.54/3.79	o 645
7.54/3.79	o 644
7.54/3.79	o 643
7.70/3.80	o 642
7.70/3.86	o 639
7.80/3.93	o 638
7.80/3.99	o 637
7.91/4.02	o 636
7.91/4.06	o 634
7.91/4.09	o 633
8.01/4.14	o 632
8.01/4.15	o 631
8.01/4.16	o 630
8.01/4.18	o 629
8.11/4.23	o 625
8.21/4.35	o 624
8.21/4.37	o 623
8.31/4.41	o 621
8.31/4.47	o 620
8.42/4.55	o 618
8.52/4.62	o 612
8.52/4.69	o 610
8.62/4.79	o 609
8.72/4.83	o 608
8.72/4.85	o 607
8.72/4.89	o 605
8.83/4.90	o 604
8.83/4.99	o 601
8.83/5.00	o 600
8.94/5.06	o 599
9.04/5.11	o 597
9.04/5.13	o 596
9.04/5.16	o 595
9.04/5.18	o 592
9.04/5.19	o 588
9.13/5.20	o 587
9.13/5.21	o 586
9.13/5.29	o 585
9.23/5.33	o 584
9.23/5.35	o 583
9.33/5.41	o 582
9.33/5.43	o 580
9.33/5.44	o 579
9.33/5.47	o 577
9.45/5.58	o 576
9.55/5.61	o 575
9.55/5.64	o 573
9.55/5.68	o 571
9.66/5.72	o 569
9.66/5.79	o 567
9.77/5.83	o 566
9.77/5.87	o 565
9.88/5.92	o 564
9.88/5.93	o 563
9.88/5.99	o 562
10.03/6.04	o 561
10.03/6.08	o 559
10.12/6.15	o 558
10.12/6.15	o 557
10.12/6.16	o 556
10.22/6.20	o 555
10.22/6.24	o 551
10.22/6.28	o 550
10.39/6.33	o 549
10.39/6.38	o 547
10.53/6.42	o 546
10.53/6.42	o 545
10.53/6.47	o 544
10.53/6.48	o 543
10.63/6.54	o 542
10.76/6.60	o 541
10.76/6.64	o 540
10.76/6.67	o 538
10.90/6.72	o 537
10.90/6.74	o 536
11.03/6.81	o 535
11.03/6.81	o 534
11.03/6.87	o 533
11.16/6.90	o 532
11.16/6.94	o 531
11.16/6.95	o 530
11.16/6.96	o 529
11.16/7.00	o 527
11.27/7.02	o 526
11.27/7.06	o 525
11.27/7.08	o 524
11.27/7.08	o 523
11.39/7.12	o 519
11.39/7.14	o 518
11.39/7.18	o 516
11.53/7.29	o 515
11.63/7.32	o 513
11.63/7.36	o 512
11.73/7.47	o 511
11.83/7.50	o 509
11.83/7.52	o 508
11.83/7.56	o 506
11.98/7.62	o 505
11.98/7.65	o 504
11.98/7.69	o 503
12.08/7.71	o 502
12.08/7.74	o 501
12.08/7.76	o 500
12.08/7.80	o 499
12.18/7.83	o 498
12.18/7.85	o 496
12.18/7.88	o 495
12.18/7.88	o 494
12.18/7.89	o 493
12.28/7.91	o 492
12.28/7.92	o 490
12.28/7.94	o 489
12.28/7.95	o 488
12.28/8.00	o 487
12.39/8.04	o 485
12.39/8.06	o 482
12.39/8.09	o 481
12.49/8.16	o 480
12.58/8.23	o 478
12.58/8.26	o 474
12.68/8.32	o 473
12.68/8.36	o 472
12.68/8.37	o 471
12.79/8.42	o 469
12.79/8.42	o 468
12.79/8.46	o 467
12.79/8.46	o 466
12.89/8.60	o 465
12.99/8.63	o 463
12.99/8.68	o 459
12.99/8.69	o 458
13.09/8.72	o 455
13.09/8.77	o 454
13.09/8.79	o 453
13.19/8.81	o 452
13.19/8.87	o 450
13.29/8.94	o 449
13.29/8.94	o 448
13.40/9.03	o 447
13.40/9.03	o 445
13.40/9.07	o 444
13.50/9.12	o 443
13.50/9.13	o 440
13.50/9.16	o 438
13.59/9.20	o 437
13.59/9.21	o 436
13.59/9.24	o 435
13.59/9.24	o 434
13.59/9.28	o 433
13.69/9.31	o 432
13.69/9.34	o 430
13.69/9.38	o 429
13.69/9.39	o 428
13.69/9.39	o 427
13.79/9.46	o 426
13.79/9.49	o 425
13.94/9.51	o 424
13.94/9.53	o 422
14.04/9.61	o 421
14.04/9.65	o 419
14.04/9.69	o 418
14.14/9.73	o 417
14.14/9.76	o 414
14.14/9.77	o 413
14.24/9.81	o 412
14.34/9.90	o 411
14.34/9.93	o 410
14.34/9.96	o 408
14.34/9.99	o 407
14.45/10.01	o 405
14.45/10.01	o 404
14.45/10.04	o 403
14.45/10.04	o 402
14.45/10.04	o 401
14.45/10.10	o 400
14.55/10.11	o 399
14.55/10.11	o 398
14.55/10.13	o 397
14.64/10.21	o 396
14.64/10.21	o 395
14.64/10.22	o 394
14.64/10.24	o 393
14.64/10.25	o 392
14.64/10.27	o 391
14.74/10.32	o 390
14.74/10.36	o 389
14.74/10.38	o 388
14.74/10.38	o 387
14.84/10.42	o 386
14.84/10.46	o 385
14.84/10.48	o 384
14.95/10.52	o 383
14.95/10.56	o 382
15.05/10.60	o 380
15.05/10.62	o 379
15.05/10.62	o 378
15.05/10.64	o 377
15.05/10.65	o 376
15.05/10.68	o 375
15.05/10.69	o 374
15.16/10.73	o 373
15.16/10.74	o 372
15.16/10.80	o 371
15.26/10.80	o 370
15.26/10.84	o 368
15.26/10.87	o 367
15.36/10.92	o 366
15.36/10.93	o 364
15.36/10.98	o 361
15.36/10.99	o 360
15.47/11.04	o 359
15.47/11.07	o 358
15.47/11.10	o 357
15.57/11.11	o 356
15.66/11.20	o 355
15.66/11.24	o 353
15.66/11.29	o 351
15.76/11.30	o 350
15.76/11.31	o 349
15.76/11.31	o 348
15.76/11.34	o 347
15.76/11.36	o 346
15.76/11.38	o 344
15.86/11.43	o 343
15.86/11.46	o 342
15.86/11.47	o 341
15.86/11.47	o 340
15.97/11.51	o 339
15.97/11.53	o 338
15.97/11.57	o 337
16.07/11.60	o 336
16.07/11.64	o 335
16.07/11.64	o 333
16.07/11.68	o 332
16.17/11.70	o 331
16.17/11.71	o 330
16.17/11.76	o 329
16.17/11.76	o 328
16.27/11.81	o 327
16.27/11.81	o 326
16.27/11.82	o 325
16.27/11.84	o 324
16.27/11.86	o 323
16.27/11.87	o 322
16.37/11.91	o 321
16.37/11.94	o 320
16.37/11.98	o 319
16.48/12.02	o 318
16.48/12.05	o 317
16.48/12.07	o 316
16.58/12.11	o 315
16.58/12.13	o 314
16.58/12.16	o 313
16.58/12.17	o 312
16.67/12.21	o 311
16.67/12.24	o 309
16.67/12.28	o 308
16.77/12.31	o 307
16.77/12.31	o 306
16.77/12.35	o 305
16.77/12.38	o 304
16.77/12.39	o 303
16.97/12.51	o 302
16.97/12.54	o 301
16.97/12.57	o 300
16.97/12.58	o 299
17.07/12.62	o 298
17.07/12.66	o 297
17.07/12.68	o 296
17.18/12.72	o 295
17.18/12.76	o 294
17.18/12.77	o 293
17.18/12.78	o 292
17.27/12.83	o 291
17.27/12.84	o 290
17.37/12.91	o 289
17.37/12.93	o 288
17.37/13.00	o 287
17.50/13.04	o 286
17.50/13.05	o 285
17.50/13.10	o 284
17.60/13.13	o 283
17.60/13.15	o 282
17.60/13.19	o 281
17.71/13.23	o 279
17.71/13.26	o 278
17.71/13.29	o 277
17.81/13.31	o 276
17.81/13.33	o 274
17.81/13.37	o 272
17.91/13.41	o 271
17.91/13.43	o 270
17.91/13.44	o 269
17.91/13.46	o 268
17.91/13.49	o 266
18.01/13.52	o 265
18.01/13.56	o 264
18.01/13.56	o 263
18.01/13.59	o 262
18.11/13.60	o 261
18.11/13.66	o 260
18.24/13.70	o 259
18.24/13.73	o 257
18.34/13.81	o 256
18.34/13.84	o 254
18.34/13.86	o 253
18.34/13.89	o 252
18.44/13.91	o 251
18.44/13.92	o 250
18.44/13.93	o 249
18.44/13.95	o 248
18.44/13.98	o 247
18.55/14.02	o 246
18.55/14.03	o 245
18.55/14.05	o 244
18.55/14.09	o 243
18.65/14.11	o 242
18.65/14.14	o 241
18.65/14.17	o 240
18.74/14.20	o 239
18.74/14.23	o 238
18.74/14.24	o 237
18.74/14.29	o 236
18.84/14.31	o 235
18.84/14.33	o 234
18.84/14.34	o 233
18.84/14.37	o 232
18.94/14.40	o 231
18.94/14.43	o 230
18.94/14.45	o 229
18.94/14.47	o 228
19.04/14.51	o 227
19.04/14.52	o 226
19.04/14.58	o 225
19.04/14.59	o 224
19.14/14.62	o 223
19.14/14.63	o 222
19.14/14.67	o 221
19.24/14.70	o 220
19.24/14.72	o 219
19.24/14.74	o 218
19.24/14.78	o 217
19.24/14.78	o 216
19.24/14.79	o 215
19.34/14.81	o 214
19.34/14.83	o 213
19.34/14.86	o 212
19.34/14.89	o 211
19.44/14.91	o 210
19.44/14.92	o 209
19.44/14.92	o 208
19.44/14.93	o 207
19.44/14.96	o 206
19.44/14.99	o 205
19.55/15.01	o 204
19.55/15.04	o 203
19.66/15.11	o 202
19.66/15.14	o 201
19.66/15.17	o 200
19.75/15.20	o 199
19.75/15.22	o 198
19.75/15.25	o 197
19.75/15.27	o 196
19.75/15.29	o 195
19.85/15.30	o 194
19.85/15.33	o 193
19.85/15.37	o 192
19.85/15.39	o 191
19.95/15.40	o 190
19.95/15.48	o 189
19.95/15.49	o 188
20.05/15.52	o 187
20.05/15.54	o 186
20.05/15.58	o 185
20.15/15.60	o 184
20.15/15.63	o 183
20.15/15.66	o 182
20.15/15.69	o 181
20.25/15.72	o 180
20.25/15.75	o 179
20.25/15.76	o 178
20.25/15.78	o 177
20.35/15.81	o 176
20.35/15.83	o 175
20.35/15.86	o 174
20.35/15.89	o 173
20.45/15.91	o 172
20.45/15.94	o 171
20.45/15.95	o 170
20.45/16.01	o 169
20.56/16.03	o 168
20.56/16.05	o 167
20.56/16.07	o 166
20.56/16.10	o 165
20.66/16.12	o 164
20.66/16.16	o 163
20.66/16.19	o 162
20.75/16.21	o 161
20.75/16.24	o 160
20.75/16.27	o 159
20.85/16.30	o 158
20.85/16.32	o 157
20.95/16.41	o 156
20.95/16.44	o 155
20.95/16.47	o 154
20.95/16.48	o 153
20.95/16.48	o 152
21.05/16.50	o 151
21.05/16.52	o 150
21.05/16.55	o 149
21.05/16.57	o 148
21.15/16.61	o 147
21.15/16.63	o 146
21.15/16.66	o 145
21.15/16.68	o 144
21.25/16.71	o 143
21.25/16.74	o 142
21.25/16.76	o 141
21.25/16.77	o 140
21.25/16.79	o 139
21.36/16.82	o 138
21.36/16.85	o 137
21.36/16.88	o 136
21.36/16.89	o 135
21.49/16.92	o 134
21.49/16.95	o 133
21.49/16.98	o 132
21.64/17.02	o 131
21.64/17.05	o 130
21.64/17.07	o 129
21.64/17.07	o 128
21.64/17.10	o 127
21.75/17.13	o 126
21.75/17.15	o 125
21.75/17.18	o 124
21.85/17.20	o 123
21.85/17.21	o 122
21.85/17.23	o 121
21.85/17.24	o 120
21.85/17.28	o 119
21.85/17.30	o 118
21.95/17.31	o 117
21.95/17.33	o 116
21.95/17.35	o 115
21.95/17.37	o 114
21.95/17.39	o 113
22.05/17.41	o 112
22.05/17.43	o 111
22.05/17.45	o 110
22.05/17.48	o 109
22.05/17.49	o 108
22.15/17.52	o 107
22.15/17.54	o 106
22.15/17.57	o 105
22.15/17.59	o 104
22.25/17.62	o 103
22.25/17.64	o 102
22.35/17.71	o 101
22.35/17.72	o 100
22.35/17.76	o 99
22.35/17.78	o 98
22.44/17.81	o 97
22.44/17.82	o 96
22.44/17.84	o 95
22.44/17.86	o 94
22.44/17.88	o 93
22.54/17.91	o 92
22.54/17.93	o 91
22.54/17.95	o 90
22.54/17.97	o 89
22.54/17.99	o 88
22.65/18.02	o 87
22.65/18.04	o 86
22.65/18.06	o 85
22.65/18.08	o 84
22.65/18.10	o 83
22.76/18.13	o 82
22.76/18.14	o 81
22.76/18.18	o 80
22.76/18.19	o 79
22.85/18.21	o 78
22.85/18.24	o 77
22.85/18.26	o 76
22.85/18.30	o 75
23.00/18.31	o 74
23.00/18.33	o 73
23.00/18.36	o 72
23.00/18.38	o 71
23.11/18.40	o 70
23.11/18.42	o 69
23.11/18.44	o 68
23.11/18.46	o 67
23.21/18.53	o 66
23.21/18.55	o 65
23.21/18.57	o 64
23.21/18.59	o 63
23.31/18.61	o 62
23.31/18.64	o 61
23.31/18.66	o 60
23.31/18.68	o 59
23.41/18.70	o 58
23.41/18.72	o 57
23.41/18.74	o 56
23.41/18.76	o 55
23.41/18.79	o 54
23.51/18.80	o 53
23.51/18.83	o 52
23.51/18.85	o 51
23.51/18.86	o 50
23.51/18.88	o 49
23.61/18.90	o 48
23.61/18.92	o 47
23.61/18.94	o 46
23.72/19.01	o 45
23.72/19.03	o 44
23.72/19.05	o 43
23.72/19.07	o 42
23.72/19.09	o 41
23.82/19.12	o 40
23.82/19.13	o 39
23.82/19.16	o 38
23.82/19.18	o 37
23.92/19.20	o 36
23.92/19.22	o 35
23.92/19.24	o 34
24.02/19.31	o 33
24.02/19.33	o 32
24.02/19.34	o 31
24.02/19.37	o 30
24.02/19.38	o 29
24.12/19.41	o 28
24.12/19.43	o 27
24.12/19.45	o 26
24.12/19.47	o 25
24.12/19.49	o 24
24.22/19.51	o 23
24.22/19.53	o 22
24.22/19.55	o 21
24.22/19.57	o 20
24.22/19.59	o 19
24.32/19.61	o 18
24.32/19.63	o 17
24.32/19.65	o 16
24.32/19.67	o 15
24.47/19.70	o 14
24.47/19.73	o 13
24.47/19.75	o 12
24.47/19.78	o 11
24.69/19.81	o 10
24.87/19.90	o 9
24.87/19.94	o 8
24.87/19.99	o 7
2520.06/2486.01	s SATISFIABLE
2520.06/2486.01	v <instantiation>
2520.06/2486.01	v 	<list>
2520.06/2486.01	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689]
2520.06/2486.01	v 	</list>
2520.06/2486.01	v 	<values>
2520.06/2486.01	v 		3 2 7 6 7 6 7 6 3 3 0 7 4 2 3 0 7 6 5 6 5 1 4 4 5 2 4 6 1 0 5 5 5 0 5 6 3 3 7 7 3 6 7 5 7 4 3 7 7 7 7 7 7 6 1 0 1 0 1 1 0 1 1 1 3 1 0 1 0 1 1 1 6 2 7 6 5 6 5 7 2 6 6 3 5 6 7 6 5 6 1 1 3 1 3 6 3 1 0 1 3 0 2 1 0 2 3 1 7 3 1 6 0 5 5 0 3 6 4 2 1 6 3 3 2 1 4 2 3 1 1 6 1 1 1 0 1 1 2 4 1 4 0 1 4 2 1 1 1 1 3 4 2 2 6 4 3 2 6 6 3 2 2 4 3 4 2 6 1 4 1 2 3 4 3 4 4 2 2 0 4 3 4 4 3 0 6 6 2 4 6 6 4 6 2 2 6 4 4 4 5 4 3 4 1 4 3 3 4 0 3 4 2 4 4 1 4 1 1 4 1 4 4 3 2 6 4 4 3 4 5 7 7 7 5 5 5 5 5 7 4 7 7 5 7 5 1 6 5 7 7 5 5 5 5 6 7 7 7 5 7 7 0 5 3 5 5 5 5 5 7 6 5 5 6 5 5 6 5 5 5 5 7 5 7 5 0 1 1 1 7 5 7 7 7 7 5 7 7 7 5 6 5 6 7 7 1 1 7 5 6 3 7 6 6 6 7 7 0 5 5 5 7 1 5 3 5 0 1 5 1 1 1 7 3 1 7 5 5 5 7 5 0 0 1 2 0 3 4 2 2 6 0 0 3 1 2 6 0 2 3 4 3 0 4 4 3 3 3 0 3 3 3 6 3 3 3 3 2 4 2 3 2 6 2 1 2 3 1 3 1 3 2 3 3 2 4 1 3 4 4 3 0 4 0 3 1 4 1 2 0 3 1 2 2 4 0 2 0 6 4 4 0 0 3 3 2 0 2 0 3 0 0 0 4 4 4 2 3 1 6 3 0 4 1 3 1 3 4 4 4 4 0 2 4 2 5 5 2 7 1 7 1 1 7 7 7 7 7 7 7 7 7 7 1 6 2 6 6 6 5 1 5 6 7 6 7 5 5 7 5 5 7 5 7 1 2 7 1 6 7 4 7 4 7 7 7 7 4 7 7 7 1 1 7 1 1 7 6 6 6 6 4 6 7 6 4 4 7 2 5 6 2 5 6 7 2 5 7 7 7 5 7 5 5 7 6 3 7 1 1 7 7 7 7 1 1 1 1 7 1 1 1 1 7 1 7 5 1 7 0 4 2 3 0 0 4 2 2 2 3 0 3 4 4 3 4 0 3 4 4 3 0 0 5 4 0 0 0 3 3 5 3 2 3 0 5 5 4 4 3 3 4 4 2 2 2 3 3 3 0 3 3 0 3 0 3 3 2 4 3 4 0 0 3 3 0 2 3 2 0 0 5 3 5 4 0 0 5 0 3 2 2 2 2 0 3 5 2 2 3 4 0 4 2 3 0 4 3 4 3 3 4 3 3 0 4 0 4 4 0 5 4 2 6 7 2 5 0 1 
2520.06/2486.01	v 	</values>
2520.06/2486.01	v </instantiation>

Verifier Data

OK	7

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10667 MiB free)
  memory of node 1: 16384 MiB (11938 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307804-1534275741/watcher-4307804-1534275741 -o /tmp/evaluation-result-4307804-1534275741/solver-4307804-1534275741 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534258226-10045 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 595316965 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307804-1534275741.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=11831, runsolver pid=11828

[startup+0.100166 s]*
/proc/loadavg: 1.55 1.39 1.35 3/215 11846
/proc/meminfo: memFree=23130116/32770624 swapFree=67059116/67108860
[pid=11831] ppid=11828 vsize=14082736 memory=31576 CPUtime=0.12 cores=0,2,4,6
/proc/11831/stat : 11831 (java) S 11828 11831 10014 0 -1 1077944320 6798 0 0 0 12 0 0 0 20 0 15 0 245137333 14420721664 7894 33554432000 4194304 4196468 140737111553136 140737111535680 140508851883767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
/proc/11831/statm: 3520684 7894 3154 1 0 3482761 0
[pid=11831/tid=11833] ppid=11828 vsize=14082736 memory=-8701690554792054398 CPUtime=0.09 cores=0,2,4,6
/proc/11831/task/11833/stat : 11833 (java) R 11828 11831 10014 0 -1 4202560 4852 0 0 0 9 0 0 0 20 0 15 0 245137333 14420721664 7894 33554432000 4194304 4196468 140737111553136 140508856123520 140508835964254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11834] ppid=11828 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11834/stat : 11834 (java) S 11828 11831 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 7894 33554432000 4194304 4196468 140737111553136 140508447553808 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11835] ppid=11828 vsize=14082736 memory=140340905203328 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11835/stat : 11835 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 7894 33554432000 4194304 4196468 140737111553136 140508446501264 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11836] ppid=11828 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11836/stat : 11836 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 7894 33554432000 4194304 4196468 140737111553136 140508445448720 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11837] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11837/stat : 11837 (java) S 11828 11831 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 7894 33554432000 4194304 4196468 140737111553136 140508444396176 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11838] ppid=11828 vsize=14082736 memory=140340905203328 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11838/stat : 11838 (java) S 11828 11831 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245137335 14420721664 7894 33554432000 4194304 4196468 140737111553136 140507965508080 140508851894914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11839] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11839/stat : 11839 (java) S 11828 11831 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245137336 14420721664 7894 33554432000 4194304 4196468 140737111553136 140507964454304 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11840] ppid=11828 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11840/stat : 11840 (java) S 11828 11831 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245137336 14420721664 7894 33554432000 4194304 4196468 140737111553136 140507963401712 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11841] ppid=11828 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11841/stat : 11841 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137338 14420721664 7894 33554432000 4194304 4196468 140737111553136 140507962350288 140508851902363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11842] ppid=11828 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11842/stat : 11842 (java) S 11828 11831 10014 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 245137338 14420721664 7894 33554432000 4194304 4196468 140737111553136 140507961296880 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11843] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11843/stat : 11843 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137338 14420721664 7894 33554432000 4194304 4196468 140737111553136 140507960244336 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11844] ppid=11828 vsize=14082736 memory=140340905203328 CPUtime=0.01 cores=0,2,4,6
/proc/11831/task/11844/stat : 11844 (java) S 11828 11831 10014 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 245137338 14420721664 7894 33554432000 4194304 4196468 140737111553136 140507959191792 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11845] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11845/stat : 11845 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137339 14420721664 7894 33554432000 4194304 4196468 140737111553136 140507958139488 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11846] ppid=11828 vsize=14082736 memory=140340905203328 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11846/stat : 11846 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137339 14420721664 7894 33554432000 4194304 4196468 140737111553136 140507957087024 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31576 KiB

[startup+0.210422 s]*
/proc/loadavg: 1.55 1.39 1.35 5/215 11846
/proc/meminfo: memFree=23114488/32770624 swapFree=67059116/67108860
[pid=11831] ppid=11828 vsize=14082736 memory=47108 CPUtime=0.29 cores=0,2,4,6
/proc/11831/stat : 11831 (java) S 11828 11831 10014 0 -1 1077944320 10411 0 0 0 27 2 0 0 20 0 15 0 245137333 14420721664 11777 33554432000 4194304 4196468 140737111553136 140737111535680 140508851883767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
/proc/11831/statm: 3520684 11777 3322 1 0 3482761 0
[pid=11831/tid=11833] ppid=11828 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/11831/task/11833/stat : 11833 (java) R 11828 11831 10014 0 -1 4202560 8158 0 0 0 18 1 0 0 20 0 15 0 245137333 14420721664 11777 33554432000 4194304 4196468 140737111553136 140508856110048 140508851895702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11834] ppid=11828 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11834/stat : 11834 (java) S 11828 11831 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 11777 33554432000 4194304 4196468 140737111553136 140508447553808 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11835] ppid=11828 vsize=14082736 memory=140340905214500 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11835/stat : 11835 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 11777 33554432000 4194304 4196468 140737111553136 140508446501264 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11836] ppid=11828 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11836/stat : 11836 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 11777 33554432000 4194304 4196468 140737111553136 140508445448720 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11837] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11837/stat : 11837 (java) S 11828 11831 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 11777 33554432000 4194304 4196468 140737111553136 140508444396176 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11838] ppid=11828 vsize=14082736 memory=140340905203328 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11838/stat : 11838 (java) S 11828 11831 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245137335 14420721664 11777 33554432000 4194304 4196468 140737111553136 140507965508080 140508851894914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11839] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11839/stat : 11839 (java) S 11828 11831 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245137336 14420721664 11777 33554432000 4194304 4196468 140737111553136 140507964454304 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11840] ppid=11828 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11840/stat : 11840 (java) S 11828 11831 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245137336 14420721664 11777 33554432000 4194304 4196468 140737111553136 140507963401712 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11841] ppid=11828 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11841/stat : 11841 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137338 14420721664 11777 33554432000 4194304 4196468 140737111553136 140507962350288 140508851902363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11842] ppid=11828 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11831/task/11842/stat : 11842 (java) R 11828 11831 10014 0 -1 4202560 511 0 0 0 2 0 0 0 20 0 15 0 245137338 14420721664 11777 33554432000 4194304 4196468 140737111553136 140507961286672 140508831129615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11843] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11843/stat : 11843 (java) S 11828 11831 10014 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 245137338 14420721664 11777 33554432000 4194304 4196468 140737111553136 140507960244336 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11844] ppid=11828 vsize=14082736 memory=140340905203328 CPUtime=0.05 cores=0,2,4,6
/proc/11831/task/11844/stat : 11844 (java) R 11828 11831 10014 0 -1 4202560 304 0 0 0 5 0 0 0 20 0 15 0 245137338 14420721664 11777 33554432000 4194304 4196468 140737111553136 140507959191792 140508851905114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11845] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11845/stat : 11845 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137339 14420721664 11777 33554432000 4194304 4196468 140737111553136 140507958139488 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11846] ppid=11828 vsize=14082736 memory=140340905203328 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11846/stat : 11846 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137339 14420721664 11777 33554432000 4194304 4196468 140737111553136 140507957087024 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47108 KiB

[startup+0.310569 s]*
/proc/loadavg: 1.55 1.39 1.35 3/215 11846
/proc/meminfo: memFree=23111448/32770624 swapFree=67059116/67108860
[pid=11831] ppid=11828 vsize=14082736 memory=50492 CPUtime=0.44 cores=0,2,4,6
/proc/11831/stat : 11831 (java) S 11828 11831 10014 0 -1 1077944320 10819 0 0 0 42 2 0 0 20 0 15 0 245137333 14420721664 12623 33554432000 4194304 4196468 140737111553136 140737111535680 140508851883767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
/proc/11831/statm: 3520684 12623 3379 1 0 3482761 0
[pid=11831/tid=11833] ppid=11828 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/11831/task/11833/stat : 11833 (java) R 11828 11831 10014 0 -1 4202560 8496 0 0 0 28 1 0 0 20 0 15 0 245137333 14420721664 12623 33554432000 4194304 4196468 140737111553136 140508856095280 140508832157438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11834] ppid=11828 vsize=14082736 memory=4294979972 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11834/stat : 11834 (java) S 11828 11831 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 12623 33554432000 4194304 4196468 140737111553136 140508447553808 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11835] ppid=11828 vsize=14082736 memory=140340905214481 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11835/stat : 11835 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 12623 33554432000 4194304 4196468 140737111553136 140508446501264 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11836] ppid=11828 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11836/stat : 11836 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 12623 33554432000 4194304 4196468 140737111553136 140508445448720 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11837] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11837/stat : 11837 (java) S 11828 11831 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245137334 14420721664 12623 33554432000 4194304 4196468 140737111553136 140508444396176 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11838] ppid=11828 vsize=14082736 memory=140340905203328 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11838/stat : 11838 (java) S 11828 11831 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245137335 14420721664 12623 33554432000 4194304 4196468 140737111553136 140507965508080 140508851894914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11839] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11839/stat : 11839 (java) S 11828 11831 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245137336 14420721664 12623 33554432000 4194304 4196468 140737111553136 140507964454304 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11840] ppid=11828 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11840/stat : 11840 (java) S 11828 11831 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245137336 14420721664 12623 33554432000 4194304 4196468 140737111553136 140507963401712 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11841] ppid=11828 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11841/stat : 11841 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137338 14420721664 12623 33554432000 4194304 4196468 140737111553136 140507962350288 140508851902363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11842] ppid=11828 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11831/task/11842/stat : 11842 (java) S 11828 11831 10014 0 -1 1077944384 523 0 0 0 3 0 0 0 20 0 15 0 245137338 14420721664 12623 33554432000 4194304 4196468 140737111553136 140507961296880 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11843] ppid=11828 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11831/task/11843/stat : 11843 (java) S 11828 11831 10014 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 15 0 245137338 14420721664 12623 33554432000 4194304 4196468 140737111553136 140507960244336 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11844] ppid=11828 vsize=14082736 memory=140340905203328 CPUtime=0.08 cores=0,2,4,6
/proc/11831/task/11844/stat : 11844 (java) S 11828 11831 10014 0 -1 1077944384 316 0 0 0 8 0 0 0 20 0 15 0 245137338 14420721664 12623 33554432000 4194304 4196468 140737111553136 140507959191792 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11845] ppid=11828 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11845/stat : 11845 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137339 14420721664 12623 33554432000 4194304 4196468 140737111553136 140507958139488 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11846] ppid=11828 vsize=14082736 memory=140340905203328 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11846/stat : 11846 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137339 14420721664 12623 33554432000 4194304 4196468 140737111553136 140507957087024 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50492 KiB

[startup+0.700774 s]
/proc/loadavg: 1.55 1.39 1.35 3/215 11846
/proc/meminfo: memFree=23088264/32770624 swapFree=67059116/67108860
[pid=11831] ppid=11828 vsize=14084804 memory=88736 CPUtime=0.99 cores=0,2,4,6
/proc/11831/stat : 11831 (java) S 11828 11831 10014 0 -1 1077944320 17591 0 0 0 94 5 0 0 20 0 15 0 245137333 14422839296 22184 33554432000 4194304 4196468 140737111553136 140737111535680 140508851883767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
/proc/11831/statm: 3521201 22184 3501 1 0 3483273 0
[pid=11831/tid=11833] ppid=11828 vsize=14084804 memory=191184630727069 CPUtime=0.67 cores=0,2,4,6
/proc/11831/task/11833/stat : 11833 (java) R 11828 11831 10014 0 -1 4202560 14907 0 0 0 63 4 0 0 20 0 15 0 245137333 14422839296 22184 33554432000 4194304 4196468 140737111553136 140508856098672 140508819486440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11834] ppid=11828 vsize=14084804 memory=1283939 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11834/stat : 11834 (java) S 11828 11831 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245137334 14422839296 22184 33554432000 4194304 4196468 140737111553136 140508447553808 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11835] ppid=11828 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11835/stat : 11835 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137334 14422839296 22184 33554432000 4194304 4196468 140737111553136 140508446501264 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11836] ppid=11828 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11836/stat : 11836 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137334 14422839296 22184 33554432000 4194304 4196468 140737111553136 140508445448720 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11837] ppid=11828 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11837/stat : 11837 (java) S 11828 11831 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245137334 14422839296 22184 33554432000 4194304 4196468 140737111553136 140508444396176 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11838] ppid=11828 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11838/stat : 11838 (java) S 11828 11831 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245137335 14422839296 22184 33554432000 4194304 4196468 140737111553136 140507965508080 140508851894914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11839] ppid=11828 vsize=14084804 memory=9051563014102286509 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11839/stat : 11839 (java) S 11828 11831 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245137336 14422839296 22184 33554432000 4194304 4196468 140737111553136 140507964454304 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11840] ppid=11828 vsize=14084804 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11840/stat : 11840 (java) S 11828 11831 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245137336 14422839296 22184 33554432000 4194304 4196468 140737111553136 140507963401712 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11841] ppid=11828 vsize=14084804 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11841/stat : 11841 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137338 14422839296 22184 33554432000 4194304 4196468 140737111553136 140507962350288 140508851902363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11842] ppid=11828 vsize=14084804 memory=6944656575208382560 CPUtime=0.09 cores=0,2,4,6
/proc/11831/task/11842/stat : 11842 (java) S 11828 11831 10014 0 -1 1077944384 671 0 0 0 9 0 0 0 20 0 15 0 245137338 14422839296 22184 33554432000 4194304 4196468 140737111553136 140507961296880 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11843] ppid=11828 vsize=14084804 memory=6943526294502006880 CPUtime=0.05 cores=0,2,4,6
/proc/11831/task/11843/stat : 11843 (java) S 11828 11831 10014 0 -1 1077944384 244 0 0 0 5 0 0 0 20 0 15 0 245137338 14422839296 22184 33554432000 4194304 4196468 140737111553136 140507960244336 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11844] ppid=11828 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/11831/task/11844/stat : 11844 (java) S 11828 11831 10014 0 -1 1077944384 387 0 0 0 15 0 0 0 20 0 15 0 245137338 14422839296 22184 33554432000 4194304 4196468 140737111553136 140507959191792 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11845] ppid=11828 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11845/stat : 11845 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137339 14422839296 22184 33554432000 4194304 4196468 140737111553136 140507958139488 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11846] ppid=11828 vsize=14084804 memory=1860 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11846/stat : 11846 (java) S 11828 11831 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245137339 14422839296 22184 33554432000 4194304 4196468 140737111553136 140507957087024 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88736 KiB

[startup+1.50659 s]
/proc/loadavg: 1.55 1.39 1.35 5/215 11846
/proc/meminfo: memFree=23036144/32770624 swapFree=67059116/67108860
[pid=11831] ppid=11828 vsize=14086852 memory=219936 CPUtime=3.25 cores=0,2,4,6
/proc/11831/stat : 11831 (java) S 11828 11831 10014 0 -1 1077944320 23547 0 0 0 317 8 0 0 20 0 15 0 245137333 14424936448 54984 33554432000 4194304 4196468 140737111553136 140737111535680 140508851883767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
/proc/11831/statm: 3521713 54984 3566 1 0 3483785 0
[pid=11831/tid=11833] ppid=11828 vsize=14086852 memory=12902 CPUtime=1.45 cores=0,2,4,6
/proc/11831/task/11833/stat : 11833 (java) R 11828 11831 10014 0 -1 4202560 16808 0 0 0 140 5 0 0 20 0 15 0 245137333 14424936448 54984 33554432000 4194304 4196468 140737111553136 140508856117760 140508835964254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11834] ppid=11828 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11834/stat : 11834 (java) S 11828 11831 10014 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 245137334 14424936448 54984 33554432000 4194304 4196468 140737111553136 140508447553808 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11835] ppid=11828 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11835/stat : 11835 (java) S 11828 11831 10014 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 245137334 14424936448 54984 33554432000 4194304 4196468 140737111553136 140508446501264 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11836] ppid=11828 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11836/stat : 11836 (java) S 11828 11831 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245137334 14424936448 54984 33554432000 4194304 4196468 140737111553136 140508445448720 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11837] ppid=11828 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11837/stat : 11837 (java) S 11828 11831 10014 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 245137334 14424936448 54984 33554432000 4194304 4196468 140737111553136 140508444396176 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11838] ppid=11828 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11838/stat : 11838 (java) S 11828 11831 10014 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245137335 14424936448 54984 33554432000 4194304 4196468 140737111553136 140507965508080 140508851894914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0

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

/proc/11831/task/11833/stat : 11833 (java) R 11828 11831 10014 0 -1 4202560 97548 0 0 0 230457 77 0 0 20 0 15 0 245137333 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508856122288 140508472282823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11834] ppid=11828 vsize=14090948 memory=3482532 CPUtime=9.04 cores=0,2,4,6
/proc/11831/task/11834/stat : 11834 (java) S 11828 11831 10014 0 -1 1077944384 29027 0 0 0 859 45 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508447553808 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11835] ppid=11828 vsize=14090948 memory=3482532 CPUtime=9.06 cores=0,2,4,6
/proc/11831/task/11835/stat : 11835 (java) S 11828 11831 10014 0 -1 1077944384 28026 0 0 0 864 42 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508446501264 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11836] ppid=11828 vsize=14090948 memory=3482532 CPUtime=9.08 cores=0,2,4,6
/proc/11831/task/11836/stat : 11836 (java) S 11828 11831 10014 0 -1 1077944384 26046 0 0 0 864 44 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508445448720 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11837] ppid=11828 vsize=14090948 memory=3482532 CPUtime=9.04 cores=0,2,4,6
/proc/11831/task/11837/stat : 11837 (java) S 11828 11831 10014 0 -1 1077944384 28736 0 0 0 860 44 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508444396176 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11838] ppid=11828 vsize=14090948 memory=3482532 CPUtime=5.33 cores=0,2,4,6
/proc/11831/task/11838/stat : 11838 (java) S 11828 11831 10014 0 -1 1077944384 25957 0 0 0 496 37 0 0 20 0 15 0 245137335 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507965508080 140508851894914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11839] ppid=11828 vsize=14090948 memory=280681617762720 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11839/stat : 11839 (java) S 11828 11831 10014 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245137336 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507964454368 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11840] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11840/stat : 11840 (java) S 11828 11831 10014 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 245137336 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507963401728 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11841] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11841/stat : 11841 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507962350288 140508851902363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11842] ppid=11828 vsize=14090948 memory=3544 CPUtime=1.99 cores=0,2,4,6
/proc/11831/task/11842/stat : 11842 (java) S 11828 11831 10014 0 -1 1077944384 7358 0 0 0 198 1 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507961296880 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11843] ppid=11828 vsize=14090948 memory=3482532 CPUtime=2.06 cores=0,2,4,6
/proc/11831/task/11843/stat : 11843 (java) S 11828 11831 10014 0 -1 1077944384 6460 0 0 0 205 1 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507960244336 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11844] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0.97 cores=0,2,4,6
/proc/11831/task/11844/stat : 11844 (java) S 11828 11831 10014 0 -1 1077944384 11242 0 0 0 96 1 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507959191792 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11845] ppid=11828 vsize=14090948 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11845/stat : 11845 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137339 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507958139488 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11846] ppid=11828 vsize=14090948 memory=3482532 CPUtime=1.37 cores=0,2,4,6
/proc/11831/task/11846/stat : 11846 (java) S 11828 11831 10014 0 -1 1077944384 2316 0 0 0 65 72 0 0 20 0 15 0 245137339 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507957087024 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
Current children cumulated CPU time: 2353.39 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3482532 KiB

[startup+2382.3 s]
/proc/loadavg: 1.57 1.53 1.50 3/216 11939
/proc/meminfo: memFree=19657272/32770624 swapFree=67059120/67108860
[pid=11831] ppid=11828 vsize=14090948 memory=3482532 CPUtime=2414.48 cores=0,2,4,6
/proc/11831/stat : 11831 (java) S 11828 11831 10014 0 -1 1077944320 269402 0 0 0 241118 330 0 0 20 0 15 0 245137333 14429130752 870633 33554432000 4194304 4196468 140737111553136 140737111535680 140508851883767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
/proc/11831/statm: 3522737 870633 3593 1 0 3484809 0
[pid=11831/tid=11833] ppid=11828 vsize=14090948 memory=3482532 CPUtime=2364.63 cores=0,2,4,6
/proc/11831/task/11833/stat : 11833 (java) R 11828 11831 10014 0 -1 4202560 99348 0 0 0 236385 78 0 0 20 0 15 0 245137333 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508856122384 140508467161979 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11834] ppid=11828 vsize=14090948 memory=3482532 CPUtime=9.43 cores=0,2,4,6
/proc/11831/task/11834/stat : 11834 (java) S 11828 11831 10014 0 -1 1077944384 30094 0 0 0 896 47 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508447553808 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11835] ppid=11828 vsize=14090948 memory=101696235658364 CPUtime=9.44 cores=0,2,4,6
/proc/11831/task/11835/stat : 11835 (java) S 11828 11831 10014 0 -1 1077944384 28253 0 0 0 901 43 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508446501264 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11836] ppid=11828 vsize=14090948 memory=0 CPUtime=9.47 cores=0,2,4,6
/proc/11831/task/11836/stat : 11836 (java) S 11828 11831 10014 0 -1 1077944384 26407 0 0 0 901 46 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508445448720 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11837] ppid=11828 vsize=14090948 memory=3482532 CPUtime=9.43 cores=0,2,4,6
/proc/11831/task/11837/stat : 11837 (java) S 11828 11831 10014 0 -1 1077944384 29793 0 0 0 897 46 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508444396176 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11838] ppid=11828 vsize=14090948 memory=3482532 CPUtime=5.57 cores=0,2,4,6
/proc/11831/task/11838/stat : 11838 (java) S 11828 11831 10014 0 -1 1077944384 26629 0 0 0 517 40 0 0 20 0 15 0 245137335 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507965508080 140508851894914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11839] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11839/stat : 11839 (java) S 11828 11831 10014 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245137336 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507964454368 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11840] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11840/stat : 11840 (java) S 11828 11831 10014 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 245137336 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507963401728 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11841] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11841/stat : 11841 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507962350288 140508851902363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11842] ppid=11828 vsize=14090948 memory=3482532 CPUtime=1.99 cores=0,2,4,6
/proc/11831/task/11842/stat : 11842 (java) S 11828 11831 10014 0 -1 1077944384 7364 0 0 0 198 1 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507961296880 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11843] ppid=11828 vsize=14090948 memory=3482532 CPUtime=2.06 cores=0,2,4,6
/proc/11831/task/11843/stat : 11843 (java) S 11828 11831 10014 0 -1 1077944384 6464 0 0 0 205 1 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507960244336 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11844] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0.97 cores=0,2,4,6
/proc/11831/task/11844/stat : 11844 (java) S 11828 11831 10014 0 -1 1077944384 11248 0 0 0 96 1 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507959191792 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11845] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11845/stat : 11845 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137339 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507958139488 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11846] ppid=11828 vsize=14090948 memory=3482532 CPUtime=1.4 cores=0,2,4,6
/proc/11831/task/11846/stat : 11846 (java) S 11828 11831 10014 0 -1 1077944384 2378 0 0 0 66 74 0 0 20 0 15 0 245137339 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507957087024 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
Current children cumulated CPU time: 2414.48 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3482532 KiB

[startup+2442.3 s]
/proc/loadavg: 1.72 1.57 1.51 3/216 11940
/proc/meminfo: memFree=19656684/32770624 swapFree=67059120/67108860
[pid=11831] ppid=11828 vsize=14090948 memory=3482532 CPUtime=2475.55 cores=0,2,4,6
/proc/11831/stat : 11831 (java) S 11828 11831 10014 0 -1 1077944320 274724 0 0 0 247216 339 0 0 20 0 15 0 245137333 14429130752 870633 33554432000 4194304 4196468 140737111553136 140737111535680 140508851883767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
/proc/11831/statm: 3522737 870633 3593 1 0 3484809 0
[pid=11831/tid=11833] ppid=11828 vsize=14090948 memory=3482532 CPUtime=2423.9 cores=0,2,4,6
/proc/11831/task/11833/stat : 11833 (java) R 11828 11831 10014 0 -1 4202560 101244 0 0 0 242311 79 0 0 20 0 15 0 245137333 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508856122336 140508466431619 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11834] ppid=11828 vsize=14090948 memory=0 CPUtime=9.8 cores=0,2,4,6
/proc/11831/task/11834/stat : 11834 (java) S 11828 11831 10014 0 -1 1077944384 30733 0 0 0 932 48 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508447553808 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11835] ppid=11828 vsize=14090948 memory=3482532 CPUtime=9.82 cores=0,2,4,6
/proc/11831/task/11835/stat : 11835 (java) S 11828 11831 10014 0 -1 1077944384 29081 0 0 0 936 46 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508446501264 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11836] ppid=11828 vsize=14090948 memory=3482532 CPUtime=9.85 cores=0,2,4,6
/proc/11831/task/11836/stat : 11836 (java) S 11828 11831 10014 0 -1 1077944384 26712 0 0 0 938 47 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508445448720 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11837] ppid=11828 vsize=14090948 memory=56 CPUtime=9.8 cores=0,2,4,6
/proc/11831/task/11837/stat : 11837 (java) S 11828 11831 10014 0 -1 1077944384 30752 0 0 0 933 47 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508444396176 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11838] ppid=11828 vsize=14090948 memory=3482532 CPUtime=5.81 cores=0,2,4,6
/proc/11831/task/11838/stat : 11838 (java) S 11828 11831 10014 0 -1 1077944384 27246 0 0 0 539 42 0 0 20 0 15 0 245137335 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507965508080 140508851894914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11839] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11839/stat : 11839 (java) S 11828 11831 10014 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245137336 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507964454368 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11840] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11840/stat : 11840 (java) S 11828 11831 10014 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 245137336 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507963401728 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11841] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11841/stat : 11841 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507962350288 140508851902363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11842] ppid=11828 vsize=14090948 memory=3482532 CPUtime=1.99 cores=0,2,4,6
/proc/11831/task/11842/stat : 11842 (java) S 11828 11831 10014 0 -1 1077944384 7373 0 0 0 198 1 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507961296880 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11843] ppid=11828 vsize=14090948 memory=1408 CPUtime=2.06 cores=0,2,4,6
/proc/11831/task/11843/stat : 11843 (java) S 11828 11831 10014 0 -1 1077944384 6470 0 0 0 205 1 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507960244336 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11844] ppid=11828 vsize=14090948 memory=3482532 CPUtime=0.98 cores=0,2,4,6
/proc/11831/task/11844/stat : 11844 (java) S 11828 11831 10014 0 -1 1077944384 11257 0 0 0 96 2 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507959191792 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11845] ppid=11828 vsize=14090948 memory=800 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11845/stat : 11845 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137339 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507958139488 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11846] ppid=11828 vsize=14090948 memory=288230574492221466 CPUtime=1.44 cores=0,2,4,6
/proc/11831/task/11846/stat : 11846 (java) S 11828 11831 10014 0 -1 1077944384 2432 0 0 0 68 76 0 0 20 0 15 0 245137339 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507957087024 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
Current children cumulated CPU time: 2475.55 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3482532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2486 s]*
/proc/loadavg: 1.75 1.60 1.53 3/216 12017
/proc/meminfo: memFree=20562880/32770624 swapFree=67059120/67108860
[pid=11831] ppid=11828 vsize=14090948 memory=3482532 CPUtime=2520.06 cores=0,2,4,6
/proc/11831/stat : 11831 (java) S 11828 11831 10014 0 -1 1077944320 278548 0 0 0 251660 346 0 0 20 0 15 0 245137333 14429130752 870633 33554432000 4194304 4196468 140737111553136 140737111535680 140508851883767 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
/proc/11831/statm: 3522737 870633 3593 1 0 3484809 0
[pid=11831/tid=11833] ppid=11828 vsize=14090948 memory=6791534058613427641 CPUtime=2467.06 cores=0,2,4,6
/proc/11831/task/11833/stat : 11833 (java) R 11828 11831 10014 0 -1 4202560 102323 0 0 0 246626 80 0 0 20 0 15 0 245137333 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508856122288 140508467161755 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11834] ppid=11828 vsize=14090948 memory=4126316290023845779 CPUtime=10.09 cores=0,2,4,6
/proc/11831/task/11834/stat : 11834 (java) S 11828 11831 10014 0 -1 1077944384 31505 0 0 0 960 49 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508447553808 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11835] ppid=11828 vsize=14090948 memory=3272 CPUtime=10.1 cores=0,2,4,6
/proc/11831/task/11835/stat : 11835 (java) S 11828 11831 10014 0 -1 1077944384 29961 0 0 0 963 47 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508446501264 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11836] ppid=11828 vsize=14090948 memory=3482532 CPUtime=10.14 cores=0,2,4,6
/proc/11831/task/11836/stat : 11836 (java) S 11828 11831 10014 0 -1 1077944384 26997 0 0 0 965 49 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508445448720 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11837] ppid=11828 vsize=14090948 memory=1408 CPUtime=10.09 cores=0,2,4,6
/proc/11831/task/11837/stat : 11837 (java) S 11828 11831 10014 0 -1 1077944384 30996 0 0 0 961 48 0 0 20 0 15 0 245137334 14429130752 870633 33554432000 4194304 4196468 140737111553136 140508444396176 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11838] ppid=11828 vsize=14090948 memory=2732 CPUtime=5.99 cores=0,2,4,6
/proc/11831/task/11838/stat : 11838 (java) S 11828 11831 10014 0 -1 1077944384 27757 0 0 0 556 43 0 0 20 0 15 0 245137335 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507965508080 140508851894914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11839] ppid=11828 vsize=14090948 memory=186800 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11839/stat : 11839 (java) S 11828 11831 10014 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245137336 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507964454368 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11840] ppid=11828 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11840/stat : 11840 (java) S 11828 11831 10014 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 245137336 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507963401728 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11841] ppid=11828 vsize=14090948 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11841/stat : 11841 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507962350288 140508851902363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11842] ppid=11828 vsize=14090948 memory=13808 CPUtime=1.99 cores=0,2,4,6
/proc/11831/task/11842/stat : 11842 (java) S 11828 11831 10014 0 -1 1077944384 7379 0 0 0 198 1 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507961296880 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11843] ppid=11828 vsize=14090948 memory=524 CPUtime=2.06 cores=0,2,4,6
/proc/11831/task/11843/stat : 11843 (java) S 11828 11831 10014 0 -1 1077944384 6474 0 0 0 205 1 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507960244336 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11844] ppid=11828 vsize=14090948 memory=26660 CPUtime=0.98 cores=0,2,4,6
/proc/11831/task/11844/stat : 11844 (java) S 11828 11831 10014 0 -1 1077944384 11263 0 0 0 96 2 0 0 20 0 15 0 245137338 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507959191792 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11845] ppid=11828 vsize=14090948 memory=12882 CPUtime=0 cores=0,2,4,6
/proc/11831/task/11845/stat : 11845 (java) S 11828 11831 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245137339 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507958139488 140508851893973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
[pid=11831/tid=11846] ppid=11828 vsize=14090948 memory=20688 CPUtime=1.47 cores=0,2,4,6
/proc/11831/task/11846/stat : 11846 (java) S 11828 11831 10014 0 -1 1077944384 2469 0 0 0 69 78 0 0 20 0 15 0 245137339 14429130752 870633 33554432000 4194304 4196468 140737111553136 140507957087024 140508851894914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18395136 140737111561289 140737111561481 140737111561481 140737111564239 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3482532 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2486.05 s]
# the end of solver process 11831 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.62 s, system=3.48436 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2486.05
CPU time (s): 2520.1
CPU user time (s): 2516.62
CPU system time (s): 3.48436
CPU usage (%): 101.37
Max. virtual memory (cumulated for all children) (KiB): 14090980
Max. memory (cumulated for all children) (KiB): 3861852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.62
system time used= 3.48436
maximum resident set size= 3862424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279887
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220335
involuntary context switches= 7077


# summary of solver processes directly reported to runsolver:
#   pid: 11831
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.62
#   total CPU system time (s): 3.48436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1551 second user time and 22.808 second system time

The end

Launcher Data

Begin job on node103 at 2018-08-14 21:42:21
IDJOB=4307804
IDBENCH=141140
IDSOLVER=2791
FILE ID=node103/4307804-1534275741
RUNJOBID= node103-1534258226-10045
PBS_JOBID= 21038130
Free space on /tmp= 37304 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-4_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307804-1534275741/watcher-4307804-1534275741 -o /tmp/evaluation-result-4307804-1534275741/solver-4307804-1534275741 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534258226-10045 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 595316965 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307804-1534275741.xml

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

MD5SUM BENCH= 954cbc6df2411a2de12d490b8b2019f6
RANDOM SEED=595316965

node103.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.48
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.48
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.48
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.48
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:        23149100 kB
MemAvailable:   30891428 kB
Buffers:          175200 kB
Cached:          7760456 kB
SwapCached:         5160 kB
Active:          5277652 kB
Inactive:        3723968 kB
Active(anon):    1057964 kB
Inactive(anon):    59304 kB
Active(file):    4219688 kB
Inactive(file):  3664664 kB
Unevictable:        7768 kB
Mlocked:            7768 kB
SwapTotal:      67108860 kB
SwapFree:       67059116 kB
Dirty:             36068 kB
Writeback:             0 kB
AnonPages:       1078472 kB
Mapped:            66544 kB
Shmem:             48712 kB
Slab:             315200 kB
SReclaimable:     286436 kB
SUnreclaim:        28764 kB
KernelStack:        3792 kB
PageTables:         7996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2129400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    995328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 37268 MiB
End job on node103 at 2018-08-14 22:23:48