Trace number 4261936

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.4OPT17 12.4994 5.1977401

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-06-a4.xml
MD5SUM3be13f028e00a9c301b8790857e4d16d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark0.214339
Satisfiable
(Un)Satisfiability was proved
Number of variables6
Number of constraints87
Number of domains1
Minimum domain size501
Maximum domain size501
Distribution of domain sizes[{"size":501,"count":6}]
Minimum variable degree51
Maximum variable degree52
Distribution of variable degrees[{"degree":51,"count":4},{"degree":52,"count":2}]
Minimum constraint arity1
Maximum constraint arity6
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":40},{"arity":4,"count":45},{"arity":6,"count":1}]
Number of extensional constraints0
Number of intensional constraints86
Distribution of constraint types[{"type":"intension","count":86},{"type":"ordered","count":1}]
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.16/2.17	c Concrete v3.4 running
8.51/4.02	o 500
8.51/4.04	o 499
10.27/4.56	o 498
10.27/4.56	o 497
10.27/4.56	o 496
10.27/4.56	o 495
10.27/4.56	o 494
10.27/4.56	o 493
10.27/4.56	o 492
10.27/4.56	o 491
10.27/4.56	o 490
10.27/4.56	o 489
10.27/4.56	o 488
10.27/4.56	o 487
10.27/4.56	o 486
10.27/4.56	o 485
10.27/4.56	o 484
10.27/4.56	o 483
10.27/4.56	o 482
10.27/4.56	o 481
10.27/4.56	o 480
10.27/4.56	o 479
10.27/4.56	o 478
10.27/4.56	o 477
10.27/4.56	o 476
10.27/4.56	o 475
10.27/4.56	o 474
10.27/4.56	o 473
10.27/4.56	o 472
10.27/4.56	o 471
10.27/4.56	o 470
10.27/4.56	o 469
10.27/4.56	o 468
10.27/4.56	o 467
10.27/4.56	o 466
10.27/4.56	o 465
10.27/4.56	o 464
10.27/4.56	o 463
10.27/4.56	o 462
10.27/4.56	o 461
10.27/4.56	o 460
10.27/4.56	o 459
10.27/4.56	o 458
10.27/4.56	o 457
10.27/4.56	o 456
10.27/4.56	o 455
10.27/4.56	o 454
10.27/4.56	o 453
10.27/4.56	o 452
10.27/4.56	o 451
10.27/4.56	o 450
10.27/4.56	o 449
10.27/4.56	o 448
10.27/4.56	o 447
10.27/4.56	o 446
10.27/4.56	o 445
10.27/4.56	o 444
10.27/4.56	o 443
10.27/4.56	o 442
10.27/4.56	o 441
10.27/4.56	o 440
10.27/4.56	o 439
10.27/4.56	o 438
10.27/4.56	o 437
10.27/4.56	o 436
10.27/4.56	o 435
10.27/4.56	o 434
10.27/4.56	o 433
10.27/4.56	o 432
10.27/4.56	o 431
10.27/4.56	o 430
10.27/4.56	o 429
10.27/4.56	o 428
10.27/4.56	o 427
10.27/4.56	o 426
10.27/4.56	o 425
10.27/4.56	o 424
10.27/4.56	o 423
10.27/4.56	o 422
10.27/4.56	o 421
10.27/4.56	o 420
10.27/4.56	o 419
10.27/4.56	o 418
10.27/4.56	o 417
10.27/4.56	o 416
10.27/4.56	o 415
10.27/4.56	o 414
10.27/4.56	o 413
10.27/4.56	o 412
10.27/4.56	o 411
10.27/4.56	o 410
10.27/4.56	o 409
10.27/4.56	o 408
10.27/4.56	o 407
10.27/4.56	o 406
10.27/4.56	o 405
10.27/4.56	o 404
10.27/4.56	o 403
10.27/4.56	o 402
10.27/4.56	o 401
10.27/4.56	o 400
10.27/4.56	o 399
10.27/4.56	o 398
10.27/4.57	o 397
10.27/4.57	o 396
10.27/4.57	o 395
10.27/4.58	o 394
10.27/4.58	o 393
10.27/4.59	o 392
10.27/4.59	o 391
10.27/4.59	o 390
10.27/4.59	o 389
10.27/4.59	o 388
10.58/4.60	o 387
10.58/4.60	o 386
10.58/4.60	o 385
10.58/4.60	o 384
10.58/4.61	o 383
10.58/4.61	o 382
10.58/4.61	o 381
10.58/4.62	o 380
10.58/4.62	o 379
10.58/4.62	o 378
10.58/4.62	o 377
10.58/4.62	o 376
10.58/4.63	o 375
10.58/4.63	o 374
10.58/4.63	o 373
10.58/4.64	o 372
10.58/4.64	o 371
10.58/4.64	o 370
10.58/4.64	o 369
10.58/4.64	o 368
10.58/4.64	o 367
10.58/4.65	o 366
10.58/4.65	o 365
10.58/4.65	o 364
10.58/4.65	o 363
10.58/4.65	o 362
10.58/4.66	o 361
10.58/4.66	o 360
10.58/4.66	o 359
10.58/4.66	o 358
10.58/4.66	o 357
10.58/4.67	o 356
10.58/4.67	o 355
10.58/4.67	o 354
10.58/4.67	o 353
10.58/4.67	o 352
10.58/4.68	o 351
10.58/4.68	o 350
10.58/4.68	o 349
10.58/4.68	o 348
10.58/4.68	o 347
10.58/4.68	o 346
10.58/4.69	o 345
10.58/4.69	o 344
10.58/4.69	o 343
10.58/4.69	o 342
10.58/4.70	o 341
10.90/4.70	o 340
10.90/4.70	o 339
10.90/4.70	o 338
10.90/4.70	o 337
10.90/4.70	o 336
10.90/4.71	o 335
10.90/4.72	o 334
10.90/4.72	o 333
10.90/4.72	o 332
10.90/4.72	o 331
10.90/4.72	o 330
10.90/4.72	o 329
10.90/4.72	o 328
10.90/4.72	o 327
10.90/4.72	o 326
10.90/4.72	o 325
10.90/4.72	o 324
10.90/4.72	o 323
10.90/4.73	o 322
10.90/4.73	o 321
10.90/4.73	o 320
10.90/4.73	o 319
10.90/4.73	o 318
10.90/4.73	o 317
10.90/4.74	o 316
10.90/4.74	o 315
10.90/4.74	o 314
10.90/4.74	o 313
10.90/4.74	o 312
10.90/4.74	o 311
10.90/4.74	o 310
10.90/4.75	o 309
10.90/4.75	o 308
10.90/4.75	o 307
10.90/4.75	o 306
10.90/4.75	o 305
10.90/4.75	o 304
10.90/4.75	o 303
10.90/4.75	o 302
10.90/4.76	o 301
10.90/4.76	o 300
10.90/4.76	o 299
10.90/4.76	o 298
10.90/4.76	o 297
10.90/4.76	o 296
10.90/4.76	o 295
10.90/4.77	o 294
10.90/4.77	o 293
10.90/4.77	o 292
10.90/4.77	o 291
10.90/4.77	o 290
10.90/4.77	o 289
10.90/4.78	o 288
10.90/4.78	o 287
10.90/4.78	o 286
10.90/4.78	o 285
10.90/4.78	o 284
10.90/4.78	o 283
10.90/4.78	o 282
10.90/4.79	o 281
10.90/4.79	o 280
10.90/4.79	o 279
10.90/4.79	o 278
10.90/4.79	o 277
10.90/4.79	o 276
10.90/4.79	o 275
11.22/4.80	o 274
11.22/4.80	o 273
11.22/4.80	o 272
11.22/4.80	o 271
11.22/4.81	o 270
11.22/4.81	o 269
11.22/4.81	o 268
11.22/4.81	o 267
11.22/4.81	o 266
11.22/4.81	o 265
11.22/4.81	o 264
11.22/4.82	o 263
11.22/4.82	o 262
11.22/4.82	o 261
11.22/4.82	o 260
11.22/4.82	o 259
11.22/4.83	o 258
11.22/4.83	o 257
11.22/4.83	o 256
11.22/4.83	o 255
11.22/4.83	o 254
11.22/4.84	o 253
11.22/4.84	o 252
11.22/4.84	o 251
11.22/4.84	o 250
11.22/4.84	o 249
11.22/4.84	o 248
11.22/4.84	o 247
11.22/4.85	o 246
11.22/4.85	o 245
11.22/4.85	o 244
11.22/4.85	o 243
11.22/4.85	o 242
11.22/4.85	o 241
11.22/4.85	o 240
11.22/4.85	o 239
11.22/4.85	o 238
11.22/4.85	o 237
11.22/4.85	o 236
11.22/4.86	o 235
11.22/4.86	o 234
11.22/4.86	o 233
11.22/4.86	o 232
11.22/4.86	o 231
11.22/4.86	o 230
11.22/4.86	o 229
11.22/4.86	o 228
11.22/4.87	o 227
11.22/4.87	o 226
11.22/4.87	o 225
11.22/4.87	o 224
11.22/4.87	o 223
11.22/4.87	o 222
11.22/4.87	o 221
11.22/4.87	o 220
11.22/4.87	o 219
11.22/4.88	o 218
11.22/4.88	o 217
11.22/4.88	o 216
11.22/4.88	o 215
11.22/4.88	o 214
11.22/4.88	o 213
11.22/4.88	o 212
11.22/4.88	o 211
11.22/4.88	o 210
11.22/4.89	o 209
11.22/4.89	o 208
11.22/4.89	o 207
11.22/4.89	o 206
11.22/4.89	o 205
11.22/4.89	o 204
11.22/4.89	o 203
11.22/4.89	o 202
11.22/4.89	o 201
11.54/4.90	o 200
11.54/4.90	o 199
11.54/4.90	o 198
11.54/4.90	o 197
11.54/4.90	o 196
11.54/4.90	o 195
11.54/4.90	o 194
11.54/4.90	o 193
11.54/4.91	o 192
11.54/4.91	o 191
11.54/4.91	o 190
11.54/4.91	o 189
11.54/4.91	o 188
11.54/4.91	o 187
11.54/4.91	o 186
11.54/4.91	o 185
11.54/4.91	o 184
11.54/4.91	o 183
11.54/4.92	o 182
11.54/4.92	o 181
11.54/4.92	o 180
11.54/4.92	o 179
11.54/4.92	o 178
11.54/4.92	o 177
11.54/4.92	o 176
11.54/4.92	o 175
11.54/4.92	o 174
11.54/4.92	o 173
11.54/4.93	o 172
11.54/4.93	o 171
11.54/4.93	o 170
11.54/4.94	o 169
11.54/4.94	o 168
11.54/4.94	o 167
11.54/4.94	o 166
11.54/4.94	o 165
11.54/4.94	o 164
11.54/4.94	o 163
11.54/4.94	o 162
11.54/4.94	o 161
11.54/4.95	o 160
11.54/4.95	o 159
11.54/4.95	o 158
11.54/4.95	o 157
11.54/4.95	o 156
11.54/4.95	o 155
11.54/4.95	o 154
11.54/4.95	o 153
11.54/4.95	o 152
11.54/4.95	o 151
11.54/4.96	o 150
11.54/4.96	o 149
11.54/4.96	o 148
11.54/4.96	o 147
11.54/4.97	o 146
11.54/4.97	o 145
11.54/4.97	o 144
11.54/4.97	o 143
11.54/4.97	o 142
11.54/4.97	o 141
11.54/4.97	o 140
11.54/4.97	o 139
11.54/4.97	o 138
11.54/4.98	o 137
11.54/4.98	o 136
11.54/4.98	o 135
11.54/4.98	o 134
11.54/4.98	o 133
11.54/4.99	o 132
11.54/4.99	o 131
11.54/4.99	o 130
11.54/4.99	o 129
11.54/4.99	o 128
11.54/4.99	o 127
11.54/4.99	o 126
11.89/5.00	o 125
11.89/5.00	o 124
11.89/5.00	o 123
11.89/5.00	o 122
11.89/5.00	o 121
11.89/5.00	o 120
11.89/5.01	o 119
11.89/5.01	o 118
11.89/5.01	o 117
11.89/5.01	o 116
11.89/5.01	o 115
11.89/5.01	o 114
11.89/5.01	o 113
11.89/5.01	o 112
11.89/5.01	o 111
11.89/5.02	o 110
11.89/5.02	o 109
11.89/5.02	o 108
11.89/5.02	o 107
11.89/5.02	o 106
11.89/5.02	o 105
11.89/5.02	o 104
11.89/5.02	o 103
11.89/5.02	o 102
11.89/5.02	o 101
11.89/5.02	o 100
11.89/5.02	o 99
11.89/5.02	o 98
11.89/5.02	o 97
11.89/5.02	o 96
11.89/5.03	o 95
11.89/5.03	o 94
11.89/5.03	o 93
11.89/5.03	o 92
11.89/5.03	o 91
11.89/5.03	o 90
11.89/5.03	o 89
11.89/5.03	o 88
11.89/5.04	o 87
11.89/5.04	o 86
11.89/5.04	o 85
11.89/5.04	o 84
11.89/5.04	o 83
11.89/5.04	o 82
11.89/5.04	o 81
11.89/5.04	o 80
11.89/5.05	o 79
11.89/5.05	o 78
11.89/5.05	o 77
11.89/5.05	o 76
11.89/5.05	o 75
11.89/5.05	o 74
11.89/5.05	o 73
11.89/5.05	o 72
11.89/5.06	o 71
11.89/5.06	o 70
11.89/5.06	o 69
11.89/5.07	o 68
11.89/5.07	o 67
11.89/5.07	o 66
11.89/5.07	o 65
11.89/5.07	o 64
11.89/5.07	o 63
11.89/5.07	o 62
11.89/5.07	o 61
11.89/5.07	o 60
11.89/5.07	o 59
11.89/5.07	o 58
11.89/5.07	o 57
11.89/5.08	o 56
11.89/5.08	o 55
11.89/5.09	o 54
11.89/5.09	o 53
11.89/5.09	o 52
11.89/5.09	o 51
11.89/5.09	o 50
11.89/5.09	o 49
11.89/5.09	o 48
12.21/5.10	o 47
12.21/5.10	o 46
12.21/5.10	o 45
12.21/5.10	o 44
12.21/5.10	o 43
12.21/5.10	o 42
12.21/5.10	o 41
12.21/5.11	o 40
12.21/5.11	o 39
12.21/5.11	o 38
12.21/5.11	o 37
12.21/5.11	o 36
12.21/5.11	o 35
12.21/5.11	o 34
12.21/5.11	o 33
12.21/5.11	o 32
12.21/5.12	o 31
12.21/5.12	o 30
12.21/5.12	o 29
12.21/5.12	o 28
12.21/5.12	o 27
12.21/5.12	o 26
12.21/5.12	o 25
12.21/5.13	o 24
12.21/5.13	o 23
12.21/5.13	o 22
12.21/5.13	o 21
12.21/5.13	o 20
12.21/5.14	o 19
12.21/5.14	o 18
12.21/5.14	o 17
12.21/5.18	v <instantiation cost="17">
12.21/5.18	v       <list>
12.21/5.18	v         x[0] x[1] x[2] x[3] x[4] x[5]
12.21/5.18	v       </list>
12.21/5.18	v       <values>
12.21/5.18	v         0 5 7 13 16 17
12.21/5.18	v       </values>
12.21/5.18	v     </instantiation>
12.21/5.18	s OPTIMUM FOUND

Verifier Data 

OK	17

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-4261936-1502444340/watcher-4261936-1502444340 -o /tmp/evaluation-result-4261936-1502444340/solver-4261936-1502444340 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580 bin/concrete HOME/instance-4261936-1502444340.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.34 1.51 1.56 3/198 10188
/proc/meminfo: memFree=28325704/32770624 swapFree=0/568952
[pid=10188] ppid=10185 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10188/stat : 10188 (runsolver) D 10185 10188 1460 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 91940256 24240128 108 18446744073709551615 4194304 4338465 140729824280784 140729824278424 139989895570135 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 20770816 140729824284881 140729824285257 140729824285257 140729824288714 0
/proc/10188/statm: 5918 108 54 36 0 2156 0

[startup+0.100113 s]
/proc/loadavg: 1.34 1.51 1.56 3/198 10188
/proc/meminfo: memFree=28325704/32770624 swapFree=0/568952
[pid=10188] ppid=10185 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/10188/stat : 10188 (bash) S 10185 10188 1460 0 -1 4202496 683 1544 0 0 0 0 0 0 20 0 1 0 91940256 9736192 351 18446744073709551615 4194304 5098028 140731997543984 140731997541624 140065296399360 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 8 0 0 7196144 7232144 25833472 140731997549076 140731997549161 140731997549161 140731997552618 0
/proc/10188/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.20028 s]
/proc/loadavg: 1.34 1.51 1.56 3/198 10188
/proc/meminfo: memFree=28325704/32770624 swapFree=0/568952
[pid=10188] ppid=10185 vsize=356956 CPUtime=0.07 cores=0,2,4,6
/proc/10188/stat : 10188 (java) S 10185 10188 1460 0 -1 1077944320 2588 12655 0 0 0 0 5 2 20 0 2 0 91940256 365522944 1882 18446744073709551615 4194304 4196468 140723359311024 140723359293568 140394341703415 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
/proc/10188/statm: 89239 1882 1036 1 0 79209 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 356956

[startup+0.300348 s]
/proc/loadavg: 1.34 1.51 1.56 3/198 10188
/proc/meminfo: memFree=28325704/32770624 swapFree=0/568952
[pid=10188] ppid=10185 vsize=13973936 CPUtime=0.15 cores=0,2,4,6
/proc/10188/stat : 10188 (java) S 10185 10188 1460 0 -1 1077944320 6088 12655 0 0 7 1 5 2 20 0 15 0 91940256 14309310464 6214 18446744073709551615 4194304 4196468 140723359311024 140723359293568 140394341703415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
/proc/10188/statm: 3493484 6214 2687 1 0 3482965 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13973936

[startup+0.700328 s]
/proc/loadavg: 1.34 1.51 1.56 3/198 10188
/proc/meminfo: memFree=28325704/32770624 swapFree=0/568952
[pid=10188] ppid=10185 vsize=13974784 CPUtime=0.71 cores=0,2,4,6
/proc/10188/stat : 10188 (java) S 10185 10188 1460 0 -1 1077944320 14027 12655 0 0 60 4 5 2 20 0 15 0 91940256 14310178816 14997 18446744073709551615 4194304 4196468 140723359311024 140723359293568 140394341703415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
/proc/10188/statm: 3493696 14997 3118 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50056 s]
/proc/loadavg: 1.34 1.51 1.56 4/213 10251
/proc/meminfo: memFree=28231632/32770624 swapFree=0/568988
[pid=10188] ppid=10185 vsize=13985408 CPUtime=1.93 cores=0,2,4,6
/proc/10188/stat : 10188 (java) S 10185 10188 1460 0 -1 1077944320 29822 12655 0 0 176 10 5 2 20 0 15 0 91940256 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140723359293568 140394341703415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
/proc/10188/statm: 3496352 42681 3365 1 0 3485525 0
[pid=10188/tid=10238] ppid=10185 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/10188/task/10238/stat : 10238 (java) R 10185 10188 1460 0 -1 4202560 22561 12655 0 0 116 6 5 2 20 0 15 0 91940275 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140394345931680 140394341725341 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10239] ppid=10185 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10239/stat : 10239 (java) S 10185 10188 1460 0 -1 1077944384 64 12655 0 0 1 0 5 2 20 0 15 0 91940276 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140394298669712 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10240] ppid=10185 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10240/stat : 10240 (java) S 10185 10188 1460 0 -1 1077944384 30 12655 0 0 1 0 5 2 20 0 15 0 91940276 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140394297616912 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10241] ppid=10185 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10241/stat : 10241 (java) S 10185 10188 1460 0 -1 1077944384 217 12655 0 0 1 0 5 2 20 0 15 0 91940276 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140394296564112 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10242] ppid=10185 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10242/stat : 10242 (java) S 10185 10188 1460 0 -1 1077944384 64 12655 0 0 1 0 5 2 20 0 15 0 91940276 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140394295511312 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10243] ppid=10185 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10243/stat : 10243 (java) S 10185 10188 1460 0 -1 1077944384 1928 12655 0 0 1 0 5 2 20 0 15 0 91940277 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140393685429104 140394341714562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10244] ppid=10185 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10244/stat : 10244 (java) S 10185 10188 1460 0 -1 1077944384 56 12655 0 0 0 0 5 2 20 0 15 0 91940278 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140393684375136 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10245] ppid=10185 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10245/stat : 10245 (java) S 10185 10188 1460 0 -1 1077944384 43 12655 0 0 0 0 5 2 20 0 15 0 91940278 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140393683322240 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10246] ppid=10185 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10246/stat : 10246 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140393682270544 140394341722011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10247] ppid=10185 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/10188/task/10247/stat : 10247 (java) S 10185 10188 1460 0 -1 1077944384 914 12655 0 0 15 0 5 2 20 0 15 0 91940281 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140393681217904 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10248] ppid=10185 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/10188/task/10248/stat : 10248 (java) S 10185 10188 1460 0 -1 1077944384 723 12655 0 0 14 0 5 2 20 0 15 0 91940281 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140393680165104 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10249] ppid=10185 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/10188/task/10249/stat : 10249 (java) R 10185 10188 1460 0 -1 4202560 1057 12655 0 0 23 0 5 2 20 0 15 0 91940281 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140393679107984 140394334807057 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10250] ppid=10185 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10250/stat : 10250 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140393678059744 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10251] ppid=10185 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10251/stat : 10251 (java) S 10185 10188 1460 0 -1 1077944384 10 12655 0 0 0 0 5 2 20 0 15 0 91940285 14321057792 42681 18446744073709551615 4194304 4196468 140723359311024 140393677008048 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 13985408

[startup+3.10312 s]
/proc/loadavg: 1.32 1.50 1.56 4/213 10251
/proc/meminfo: memFree=28158844/32770624 swapFree=0/568992
[pid=10188] ppid=10185 vsize=13999932 CPUtime=5.69 cores=0,2,4,6
/proc/10188/stat : 10188 (java) S 10185 10188 1460 0 -1 1077944320 42383 12655 0 0 547 15 5 2 20 0 15 0 91940256 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140723359293568 140394341703415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
/proc/10188/statm: 3499983 54516 3441 1 0 3488597 0
[pid=10188/tid=10238] ppid=10185 vsize=13999932 CPUtime=2.89 cores=0,2,4,6
/proc/10188/task/10238/stat : 10238 (java) R 10185 10188 1460 0 -1 4202560 29465 12655 0 0 273 9 5 2 20 0 15 0 91940275 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140394345929424 140393975889272 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10239] ppid=10185 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10239/stat : 10239 (java) S 10185 10188 1460 0 -1 1077944384 64 12655 0 0 1 0 5 2 20 0 15 0 91940276 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140394298669712 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10240] ppid=10185 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10240/stat : 10240 (java) S 10185 10188 1460 0 -1 1077944384 30 12655 0 0 1 0 5 2 20 0 15 0 91940276 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140394297616912 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10241] ppid=10185 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10241/stat : 10241 (java) S 10185 10188 1460 0 -1 1077944384 217 12655 0 0 1 0 5 2 20 0 15 0 91940276 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140394296564112 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10242] ppid=10185 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10242/stat : 10242 (java) S 10185 10188 1460 0 -1 1077944384 64 12655 0 0 1 0 5 2 20 0 15 0 91940276 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140394295511312 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10243] ppid=10185 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10243/stat : 10243 (java) S 10185 10188 1460 0 -1 1077944384 1944 12655 0 0 1 0 5 2 20 0 15 0 91940277 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140393685429104 140394341714562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10244] ppid=10185 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10244/stat : 10244 (java) S 10185 10188 1460 0 -1 1077944384 56 12655 0 0 0 0 5 2 20 0 15 0 91940278 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140393684375136 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10245] ppid=10185 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10245/stat : 10245 (java) S 10185 10188 1460 0 -1 1077944384 43 12655 0 0 0 0 5 2 20 0 15 0 91940278 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140393683322240 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10246] ppid=10185 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10246/stat : 10246 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140393682270544 140394341722011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10247] ppid=10185 vsize=13999932 CPUtime=0.9 cores=0,2,4,6
/proc/10188/task/10247/stat : 10247 (java) R 10185 10188 1460 0 -1 4202560 1982 12655 0 0 82 1 5 2 20 0 15 0 91940281 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140393681197872 140394321365627 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10248] ppid=10185 vsize=13999932 CPUtime=0.82 cores=0,2,4,6
/proc/10188/task/10248/stat : 10248 (java) R 10185 10188 1460 0 -1 4202560 2280 12655 0 0 75 0 5 2 20 0 15 0 91940281 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140393680165104 140394320879477 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10249] ppid=10185 vsize=13999932 CPUtime=1.17 cores=0,2,4,6
/proc/10188/task/10249/stat : 10249 (java) S 10185 10188 1460 0 -1 1077944384 4069 12655 0 0 109 1 5 2 20 0 15 0 91940281 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140393679112304 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10250] ppid=10185 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10250/stat : 10250 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140393678059744 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10251] ppid=10185 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10251/stat : 10251 (java) R 10185 10188 1460 0 -1 1077944384 13 12655 0 0 0 0 5 2 20 0 15 0 91940285 14335930368 54516 18446744073709551615 4194304 4196468 140723359311024 140393677008048 140394341714562 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 13999932

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10188 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20381 s]
/proc/loadavg: 1.32 1.50 1.56 4/213 10251
/proc/meminfo: memFree=28158844/32770624 swapFree=0/568992
[pid=10188] ppid=10185 vsize=13999932 CPUtime=6.05 cores=0,2,4,6
/proc/10188/stat : 10188 (java) S 10185 10188 1460 0 -1 1077944320 44271 12655 0 0 583 15 5 2 20 0 15 0 91940256 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140723359293568 140394341703415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
/proc/10188/statm: 3499983 56426 3441 1 0 3488597 0
[pid=10188/tid=10238] ppid=10185 vsize=13999932 CPUtime=2.99 cores=0,2,4,6
/proc/10188/task/10238/stat : 10238 (java) R 10185 10188 1460 0 -1 4202560 29706 12655 0 0 283 9 5 2 20 0 15 0 91940275 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140394345919200 140394341715350 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10239] ppid=10185 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10239/stat : 10239 (java) S 10185 10188 1460 0 -1 1077944384 64 12655 0 0 1 0 5 2 20 0 15 0 91940276 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140394298669712 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10240] ppid=10185 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10240/stat : 10240 (java) S 10185 10188 1460 0 -1 1077944384 30 12655 0 0 1 0 5 2 20 0 15 0 91940276 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140394297616912 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10241] ppid=10185 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10241/stat : 10241 (java) S 10185 10188 1460 0 -1 1077944384 217 12655 0 0 1 0 5 2 20 0 15 0 91940276 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140394296564112 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10242] ppid=10185 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10242/stat : 10242 (java) S 10185 10188 1460 0 -1 1077944384 64 12655 0 0 1 0 5 2 20 0 15 0 91940276 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140394295511312 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10243] ppid=10185 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/10188/task/10243/stat : 10243 (java) S 10185 10188 1460 0 -1 1077944384 1944 12655 0 0 1 0 5 2 20 0 15 0 91940277 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140393685429104 140394341714562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10244] ppid=10185 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10244/stat : 10244 (java) S 10185 10188 1460 0 -1 1077944384 56 12655 0 0 0 0 5 2 20 0 15 0 91940278 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140393684375136 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10245] ppid=10185 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10245/stat : 10245 (java) S 10185 10188 1460 0 -1 1077944384 43 12655 0 0 0 0 5 2 20 0 15 0 91940278 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140393683322240 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10246] ppid=10185 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10246/stat : 10246 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140393682270544 140394341722011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10247] ppid=10185 vsize=13999932 CPUtime=1 cores=0,2,4,6
/proc/10188/task/10247/stat : 10247 (java) R 10185 10188 1460 0 -1 4202560 2708 12655 0 0 92 1 5 2 20 0 15 0 91940281 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140393681203928 140394326818449 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10248] ppid=10185 vsize=13999932 CPUtime=0.92 cores=0,2,4,6
/proc/10188/task/10248/stat : 10248 (java) R 10185 10188 1460 0 -1 4202560 2543 12655 0 0 85 0 5 2 20 0 15 0 91940281 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140393680143536 140394326612339 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10249] ppid=10185 vsize=13999932 CPUtime=1.23 cores=0,2,4,6
/proc/10188/task/10249/stat : 10249 (java) R 10185 10188 1460 0 -1 1077944384 4727 12655 0 0 115 1 5 2 20 0 15 0 91940281 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140393679112304 140394341714562 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10250] ppid=10185 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10250/stat : 10250 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140393678059744 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10251] ppid=10185 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10251/stat : 10251 (java) S 10185 10188 1460 0 -1 1077944384 13 12655 0 0 0 0 5 2 20 0 15 0 91940285 14335930368 56426 18446744073709551615 4194304 4196468 140723359311024 140393677008048 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 13999932

[startup+4.00117 s]
/proc/loadavg: 1.32 1.50 1.56 5/213 10251
/proc/meminfo: memFree=28103884/32770624 swapFree=0/568988
[pid=10188] ppid=10185 vsize=14067516 CPUtime=8.51 cores=0,2,4,6
/proc/10188/stat : 10188 (java) S 10185 10188 1460 0 -1 1077944320 64360 12655 0 0 825 19 5 2 20 0 15 0 91940256 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140723359293568 140394341703415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
/proc/10188/statm: 3516879 79071 3454 1 0 3505493 0
[pid=10188/tid=10238] ppid=10185 vsize=14067516 CPUtime=3.54 cores=0,2,4,6
/proc/10188/task/10238/stat : 10238 (java) R 10185 10188 1460 0 -1 4202560 40568 12655 0 0 336 11 5 2 20 0 15 0 91940275 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140394345940960 140394321978714 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10239] ppid=10185 vsize=14067516 CPUtime=0.16 cores=0,2,4,6
/proc/10188/task/10239/stat : 10239 (java) S 10185 10188 1460 0 -1 1077944384 81 12655 0 0 9 0 5 2 20 0 15 0 91940276 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140394298669712 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10240] ppid=10185 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10240/stat : 10240 (java) S 10185 10188 1460 0 -1 1077944384 51 12655 0 0 11 0 5 2 20 0 15 0 91940276 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140394297616912 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10241] ppid=10185 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10241/stat : 10241 (java) S 10185 10188 1460 0 -1 1077944384 257 12655 0 0 11 0 5 2 20 0 15 0 91940276 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140394296564112 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10242] ppid=10185 vsize=14067516 CPUtime=0.17 cores=0,2,4,6
/proc/10188/task/10242/stat : 10242 (java) S 10185 10188 1460 0 -1 1077944384 144 12655 0 0 10 0 5 2 20 0 15 0 91940276 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140394295511312 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10243] ppid=10185 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10243/stat : 10243 (java) S 10185 10188 1460 0 -1 1077944384 2742 12655 0 0 11 0 5 2 20 0 15 0 91940277 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140393685429104 140394341714562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10244] ppid=10185 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10244/stat : 10244 (java) S 10185 10188 1460 0 -1 1077944384 56 12655 0 0 0 0 5 2 20 0 15 0 91940278 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140393684375136 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10245] ppid=10185 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10245/stat : 10245 (java) S 10185 10188 1460 0 -1 1077944384 43 12655 0 0 0 0 5 2 20 0 15 0 91940278 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140393683322240 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10246] ppid=10185 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10246/stat : 10246 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140393682270544 140394341722011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10247] ppid=10185 vsize=14067516 CPUtime=1.62 cores=0,2,4,6
/proc/10188/task/10247/stat : 10247 (java) R 10185 10188 1460 0 -1 4202560 4764 12655 0 0 154 1 5 2 20 0 15 0 91940281 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140393681196944 140394319720427 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10248] ppid=10185 vsize=14067516 CPUtime=1.57 cores=0,2,4,6
/proc/10188/task/10248/stat : 10248 (java) R 10185 10188 1460 0 -1 4202560 7385 12655 0 0 149 1 5 2 20 0 15 0 91940281 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140393680145632 140394325114287 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10249] ppid=10185 vsize=14067516 CPUtime=1.37 cores=0,2,4,6
/proc/10188/task/10249/stat : 10249 (java) S 10185 10188 1460 0 -1 1077944384 6100 12655 0 0 129 1 5 2 20 0 15 0 91940281 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140393679112304 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10250] ppid=10185 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10250/stat : 10250 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140393678059744 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10251] ppid=10185 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10251/stat : 10251 (java) S 10185 10188 1460 0 -1 1077944384 13 12655 0 0 0 0 5 2 20 0 15 0 91940285 14405136384 79071 18446744073709551615 4194304 4196468 140723359311024 140393677008048 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
Current children cumulated CPU time (s) 8.51
Current children cumulated vsize (KiB) 14067516

[startup+4.80059 s]
/proc/loadavg: 1.32 1.50 1.56 5/213 10251
/proc/meminfo: memFree=28012252/32770624 swapFree=0/568992
[pid=10188] ppid=10185 vsize=14069564 CPUtime=11.22 cores=0,2,4,6
/proc/10188/stat : 10188 (java) S 10185 10188 1460 0 -1 1077944320 70213 12655 0 0 1095 20 5 2 20 0 15 0 91940256 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140723359293568 140394341703415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
/proc/10188/statm: 3517391 81265 3457 1 0 3506005 0
[pid=10188/tid=10238] ppid=10185 vsize=14069564 CPUtime=4.33 cores=0,2,4,6
/proc/10188/task/10238/stat : 10238 (java) R 10185 10188 1460 0 -1 4202560 41288 12655 0 0 415 11 5 2 20 0 15 0 91940275 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140394345932080 140393989075182 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10239] ppid=10185 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/10188/task/10239/stat : 10239 (java) S 10185 10188 1460 0 -1 1077944384 81 12655 0 0 9 0 5 2 20 0 15 0 91940276 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140394298669712 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10240] ppid=10185 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10240/stat : 10240 (java) S 10185 10188 1460 0 -1 1077944384 51 12655 0 0 11 0 5 2 20 0 15 0 91940276 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140394297616912 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10241] ppid=10185 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10241/stat : 10241 (java) S 10185 10188 1460 0 -1 1077944384 257 12655 0 0 11 0 5 2 20 0 15 0 91940276 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140394296564112 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10242] ppid=10185 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/10188/task/10242/stat : 10242 (java) S 10185 10188 1460 0 -1 1077944384 144 12655 0 0 10 0 5 2 20 0 15 0 91940276 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140394295511312 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10243] ppid=10185 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10243/stat : 10243 (java) S 10185 10188 1460 0 -1 1077944384 2757 12655 0 0 11 0 5 2 20 0 15 0 91940277 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140393685429104 140394341714562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10244] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10244/stat : 10244 (java) S 10185 10188 1460 0 -1 1077944384 56 12655 0 0 0 0 5 2 20 0 15 0 91940278 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140393684375136 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10245] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10245/stat : 10245 (java) S 10185 10188 1460 0 -1 1077944384 43 12655 0 0 0 0 5 2 20 0 15 0 91940278 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140393683322240 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10246] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10246/stat : 10246 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140393682270544 140394341722011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10247] ppid=10185 vsize=14069564 CPUtime=2.42 cores=0,2,4,6
/proc/10188/task/10247/stat : 10247 (java) R 10185 10188 1460 0 -1 4202560 6977 12655 0 0 234 1 5 2 20 0 15 0 91940281 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140393681202496 140394323247642 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10248] ppid=10185 vsize=14069564 CPUtime=2.37 cores=0,2,4,6
/proc/10188/task/10248/stat : 10248 (java) R 10185 10188 1460 0 -1 4202560 9483 12655 0 0 228 2 5 2 20 0 15 0 91940281 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140393680154896 140394322889219 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10249] ppid=10185 vsize=14069564 CPUtime=1.7 cores=0,2,4,6
/proc/10188/task/10249/stat : 10249 (java) S 10185 10188 1460 0 -1 1077944384 6906 12655 0 0 161 2 5 2 20 0 15 0 91940281 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140393679112304 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10250] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10250/stat : 10250 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140393678059744 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10251] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10251/stat : 10251 (java) S 10185 10188 1460 0 -1 1077944384 14 12655 0 0 0 0 5 2 20 0 15 0 91940285 14407233536 81265 18446744073709551615 4194304 4196468 140723359311024 140393677008048 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
Current children cumulated CPU time (s) 11.22
Current children cumulated vsize (KiB) 14069564

[startup+5.00055 s]
/proc/loadavg: 1.32 1.50 1.56 5/213 10251
/proc/meminfo: memFree=28012252/32770624 swapFree=0/568992
[pid=10188] ppid=10185 vsize=14069564 CPUtime=11.89 cores=0,2,4,6
/proc/10188/stat : 10188 (java) S 10185 10188 1460 0 -1 1077944320 71447 12655 0 0 1162 20 5 2 20 0 15 0 91940256 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140723359293568 140394341703415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
/proc/10188/statm: 3517391 83028 3459 1 0 3506005 0
[pid=10188/tid=10238] ppid=10185 vsize=14069564 CPUtime=4.52 cores=0,2,4,6
/proc/10188/task/10238/stat : 10238 (java) R 10185 10188 1460 0 -1 4202560 41536 12655 0 0 434 11 5 2 20 0 15 0 91940275 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140394345932224 140393990593157 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10239] ppid=10185 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/10188/task/10239/stat : 10239 (java) S 10185 10188 1460 0 -1 1077944384 81 12655 0 0 9 0 5 2 20 0 15 0 91940276 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140394298669712 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10240] ppid=10185 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10240/stat : 10240 (java) S 10185 10188 1460 0 -1 1077944384 51 12655 0 0 11 0 5 2 20 0 15 0 91940276 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140394297616912 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10241] ppid=10185 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10241/stat : 10241 (java) S 10185 10188 1460 0 -1 1077944384 257 12655 0 0 11 0 5 2 20 0 15 0 91940276 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140394296564112 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10242] ppid=10185 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/10188/task/10242/stat : 10242 (java) S 10185 10188 1460 0 -1 1077944384 144 12655 0 0 10 0 5 2 20 0 15 0 91940276 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140394295511312 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10243] ppid=10185 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10243/stat : 10243 (java) S 10185 10188 1460 0 -1 1077944384 2757 12655 0 0 11 0 5 2 20 0 15 0 91940277 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140393685429104 140394341714562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10244] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10244/stat : 10244 (java) S 10185 10188 1460 0 -1 1077944384 56 12655 0 0 0 0 5 2 20 0 15 0 91940278 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140393684375136 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10245] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10245/stat : 10245 (java) S 10185 10188 1460 0 -1 1077944384 43 12655 0 0 0 0 5 2 20 0 15 0 91940278 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140393683322240 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10246] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10246/stat : 10246 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140393682270544 140394341722011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10247] ppid=10185 vsize=14069564 CPUtime=2.61 cores=0,2,4,6
/proc/10188/task/10247/stat : 10247 (java) R 10185 10188 1460 0 -1 4202560 7510 12655 0 0 253 1 5 2 20 0 15 0 91940281 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140393681218032 140394318931952 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10248] ppid=10185 vsize=14069564 CPUtime=2.56 cores=0,2,4,6
/proc/10188/task/10248/stat : 10248 (java) R 10185 10188 1460 0 -1 4202560 9606 12655 0 0 247 2 5 2 20 0 15 0 91940281 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140393680153456 140394320950559 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10249] ppid=10185 vsize=14069564 CPUtime=1.78 cores=0,2,4,6
/proc/10188/task/10249/stat : 10249 (java) R 10185 10188 1460 0 -1 4202560 7238 12655 0 0 169 2 5 2 20 0 15 0 91940281 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140393679112432 140394320994750 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10250] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10250/stat : 10250 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140393678059744 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10251] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10251/stat : 10251 (java) S 10185 10188 1460 0 -1 1077944384 14 12655 0 0 0 0 5 2 20 0 15 0 91940285 14407233536 83028 18446744073709551615 4194304 4196468 140723359311024 140393677008048 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 14069564

[startup+5.10055 s]
/proc/loadavg: 1.32 1.50 1.56 5/213 10251
/proc/meminfo: memFree=28012252/32770624 swapFree=0/568992
[pid=10188] ppid=10185 vsize=14069564 CPUtime=12.21 cores=0,2,4,6
/proc/10188/stat : 10188 (java) S 10185 10188 1460 0 -1 1077944320 71686 12655 0 0 1193 21 5 2 20 0 15 0 91940256 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140723359293568 140394341703415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
/proc/10188/statm: 3517391 87260 3461 1 0 3506005 0
[pid=10188/tid=10238] ppid=10185 vsize=14069564 CPUtime=4.63 cores=0,2,4,6
/proc/10188/task/10238/stat : 10238 (java) R 10185 10188 1460 0 -1 4202560 41554 12655 0 0 444 12 5 2 20 0 15 0 91940275 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140394345932224 140393986683200 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10239] ppid=10185 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/10188/task/10239/stat : 10239 (java) S 10185 10188 1460 0 -1 1077944384 81 12655 0 0 9 0 5 2 20 0 15 0 91940276 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140394298669712 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10240] ppid=10185 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10240/stat : 10240 (java) S 10185 10188 1460 0 -1 1077944384 51 12655 0 0 11 0 5 2 20 0 15 0 91940276 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140394297616912 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10241] ppid=10185 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10241/stat : 10241 (java) S 10185 10188 1460 0 -1 1077944384 257 12655 0 0 11 0 5 2 20 0 15 0 91940276 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140394296564112 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10242] ppid=10185 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/10188/task/10242/stat : 10242 (java) S 10185 10188 1460 0 -1 1077944384 144 12655 0 0 10 0 5 2 20 0 15 0 91940276 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140394295511312 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10243] ppid=10185 vsize=14069564 CPUtime=0.18 cores=0,2,4,6
/proc/10188/task/10243/stat : 10243 (java) S 10185 10188 1460 0 -1 1077944384 2757 12655 0 0 11 0 5 2 20 0 15 0 91940277 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140393685429104 140394341714562 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10244] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10244/stat : 10244 (java) S 10185 10188 1460 0 -1 1077944384 56 12655 0 0 0 0 5 2 20 0 15 0 91940278 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140393684375136 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10245] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10245/stat : 10245 (java) S 10185 10188 1460 0 -1 1077944384 43 12655 0 0 0 0 5 2 20 0 15 0 91940278 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140393683322240 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10246] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10246/stat : 10246 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140393682270544 140394341722011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10247] ppid=10185 vsize=14069564 CPUtime=2.69 cores=0,2,4,6
/proc/10188/task/10247/stat : 10247 (java) R 10185 10188 1460 0 -1 4202560 7545 12655 0 0 261 1 5 2 20 0 15 0 91940281 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140393681201376 140394325948536 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10248] ppid=10185 vsize=14069564 CPUtime=2.65 cores=0,2,4,6
/proc/10188/task/10248/stat : 10248 (java) R 10185 10188 1460 0 -1 4202560 9669 12655 0 0 256 2 5 2 20 0 15 0 91940281 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140393680165104 140394325201985 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10249] ppid=10185 vsize=14069564 CPUtime=1.83 cores=0,2,4,6
/proc/10188/task/10249/stat : 10249 (java) S 10185 10188 1460 0 -1 1077944384 7359 12655 0 0 174 2 5 2 20 0 15 0 91940281 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140393679112304 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10250] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10250/stat : 10250 (java) S 10185 10188 1460 0 -1 1077944384 3 12655 0 0 0 0 5 2 20 0 15 0 91940281 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140393678059744 140394341713621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
[pid=10188/tid=10251] ppid=10185 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/10188/task/10251/stat : 10251 (java) S 10185 10188 1460 0 -1 1077944384 14 12655 0 0 0 0 5 2 20 0 15 0 91940285 14407233536 87260 18446744073709551615 4194304 4196468 140723359311024 140393677008048 140394341714562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11759616 140723359311824 140723359314609 140723359314609 140723359317967 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 5.19774
CPU time (s): 12.4994
CPU user time (s): 12.2448
CPU system time (s): 0.254571
CPU usage (%): 240.477
Max. virtual memory (cumulated for all children) (KiB): 14070488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2448
system time used= 0.254571
maximum resident set size= 364336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6995
involuntary context switches= 159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033743 second user time and 0.041841 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-11 11:25:04
IDJOB=4261936
IDBENCH=126251
IDSOLVER=2650
FILE ID=node134/4261936-1502444340
RUNJOBID= node134-1502411438-1523
PBS_JOBID= 
Free space on /tmp= 62004 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-06-a4.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261936-1502444340/watcher-4261936-1502444340 -o /tmp/evaluation-result-4261936-1502444340/solver-4261936-1502444340 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580  bin/concrete HOME/instance-4261936-1502444340.xml

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

MD5SUM BENCH= 3be13f028e00a9c301b8790857e4d16d
RANDOM SEED=1869674614

node134.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.43
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.43
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.43
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.43
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:        28326356 kB
MemAvailable:   29305832 kB
Buffers:          285504 kB
Cached:           987180 kB
SwapCached:            0 kB
Active:          3402544 kB
Inactive:         600168 kB
Active(anon):    2731980 kB
Inactive(anon):    31216 kB
Active(file):     670564 kB
Inactive(file):   568952 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24380 kB
Writeback:            12 kB
AnonPages:       2730100 kB
Mapped:            63872 kB
Shmem:             33468 kB
Slab:             138172 kB
SReclaimable:     111588 kB
SUnreclaim:        26584 kB
KernelStack:        3488 kB
PageTables:        11088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3340308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2484224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61980 MiB
End job on node134 at 2017-08-11 11:25:09