Trace number 4259480

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.4OPT34 11.8226 5.1969099

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-08-a3.xml
MD5SUM86f9a0f9696ddea7c71528c4cbe59182
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark0.33681199
Satisfiable
(Un)Satisfiability was proved
Number of variables72
Number of constraints31
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":28},{"size":501,"count":8}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":36},{"degree":2,"count":28},{"degree":8,"count":6},{"degree":9,"count":2}]
Minimum constraint arity1
Maximum constraint arity28
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":28},{"arity":8,"count":1},{"arity":28,"count":1}]
Number of extensional constraints0
Number of intensional constraints29
Distribution of constraint types[{"type":"intension","count":29},{"type":"allDifferent","count":1},{"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.36/2.24	c Concrete v3.4 running
7.24/3.73	o 500
7.24/3.75	o 499
7.24/3.76	o 498
7.24/3.77	o 497
7.24/3.79	o 496
7.57/3.80	o 495
7.57/3.81	o 494
7.57/3.82	o 493
7.57/3.84	o 492
7.57/3.85	o 491
7.57/3.86	o 490
7.57/3.87	o 489
7.57/3.87	o 488
7.57/3.88	o 487
7.57/3.89	o 486
7.57/3.89	o 485
7.94/3.90	o 484
7.94/3.90	o 483
7.94/3.92	o 482
7.94/3.92	o 481
7.94/3.92	o 480
7.94/3.92	o 479
7.94/3.93	o 478
7.94/3.93	o 477
7.94/3.94	o 476
7.94/3.94	o 475
7.94/3.95	o 474
7.94/3.95	o 473
7.94/3.96	o 472
7.94/3.96	o 471
7.94/3.97	o 470
7.94/3.97	o 469
7.94/3.97	o 468
7.94/3.98	o 467
7.94/3.98	o 466
7.94/3.98	o 465
7.94/3.99	o 464
8.29/4.00	o 463
8.29/4.00	o 462
8.29/4.00	o 461
8.29/4.01	o 460
8.29/4.01	o 459
8.29/4.02	o 458
8.29/4.03	o 457
8.29/4.03	o 456
8.29/4.03	o 455
8.29/4.03	o 454
8.29/4.04	o 453
8.29/4.04	o 452
8.29/4.04	o 451
8.29/4.04	o 450
8.29/4.05	o 449
8.29/4.05	o 448
8.29/4.05	o 447
8.29/4.05	o 446
8.29/4.06	o 445
8.29/4.06	o 444
8.29/4.06	o 443
8.29/4.06	o 442
8.29/4.07	o 441
8.29/4.07	o 440
8.29/4.07	o 439
8.29/4.07	o 438
8.29/4.08	o 437
8.29/4.08	o 436
8.29/4.08	o 435
8.29/4.08	o 434
8.29/4.09	o 433
8.29/4.09	o 432
8.29/4.09	o 431
8.29/4.09	o 430
8.29/4.09	o 429
8.63/4.10	o 428
8.63/4.10	o 427
8.63/4.10	o 426
8.63/4.10	o 425
8.63/4.10	o 424
8.63/4.11	o 423
8.63/4.11	o 422
8.63/4.11	o 421
8.63/4.12	o 420
8.63/4.12	o 419
8.63/4.12	o 418
8.63/4.12	o 417
8.63/4.12	o 416
8.63/4.13	o 415
8.63/4.13	o 414
8.63/4.13	o 413
8.63/4.14	o 412
8.63/4.14	o 411
8.63/4.14	o 410
8.63/4.14	o 409
8.63/4.15	o 408
8.63/4.15	o 407
8.63/4.15	o 406
8.63/4.16	o 405
8.63/4.16	o 404
8.63/4.16	o 403
8.63/4.16	o 402
8.63/4.16	o 401
8.63/4.17	o 400
8.63/4.17	o 399
8.63/4.17	o 398
8.63/4.17	o 397
8.63/4.18	o 396
8.63/4.18	o 395
8.63/4.18	o 394
8.63/4.18	o 393
8.63/4.18	o 392
8.63/4.19	o 391
8.63/4.19	o 390
8.63/4.19	o 389
8.63/4.19	o 388
8.63/4.19	o 387
8.94/4.20	o 386
8.94/4.20	o 385
8.94/4.20	o 384
8.94/4.20	o 383
8.94/4.20	o 382
8.94/4.21	o 381
8.94/4.21	o 380
8.94/4.22	o 379
8.94/4.22	o 378
8.94/4.22	o 377
8.94/4.22	o 376
8.94/4.22	o 375
8.94/4.22	o 374
8.94/4.23	o 373
8.94/4.23	o 372
8.94/4.23	o 371
8.94/4.23	o 370
8.94/4.24	o 369
8.94/4.24	o 368
8.94/4.24	o 367
8.94/4.24	o 366
8.94/4.24	o 365
8.94/4.24	o 364
8.94/4.25	o 363
8.94/4.25	o 362
8.94/4.25	o 361
8.94/4.26	o 360
8.94/4.26	o 359
8.94/4.26	o 358
8.94/4.26	o 357
8.94/4.27	o 356
8.94/4.27	o 355
8.94/4.28	o 353
8.94/4.28	o 352
8.94/4.29	o 351
8.94/4.29	o 350
8.94/4.29	o 349
8.94/4.29	o 348
9.25/4.30	o 347
9.25/4.30	o 346
9.25/4.30	o 345
9.25/4.31	o 344
9.25/4.31	o 343
9.25/4.31	o 342
9.25/4.31	o 341
9.25/4.31	o 340
9.25/4.32	o 338
9.25/4.32	o 336
9.25/4.32	o 335
9.25/4.32	o 334
9.25/4.32	o 333
9.25/4.33	o 332
9.25/4.33	o 331
9.25/4.33	o 330
9.25/4.33	o 329
9.25/4.33	o 328
9.25/4.34	o 327
9.25/4.34	o 326
9.25/4.34	o 325
9.25/4.34	o 324
9.25/4.34	o 323
9.25/4.35	o 322
9.25/4.35	o 321
9.25/4.35	o 320
9.25/4.35	o 319
9.25/4.35	o 318
9.25/4.36	o 317
9.25/4.36	o 316
9.25/4.36	o 315
9.25/4.36	o 314
9.25/4.36	o 313
9.25/4.37	o 312
9.25/4.37	o 311
9.25/4.37	o 310
9.25/4.37	o 309
9.25/4.37	o 308
9.25/4.38	o 307
9.25/4.38	o 306
9.25/4.38	o 305
9.25/4.38	o 304
9.25/4.38	o 303
9.25/4.39	o 302
9.25/4.39	o 301
9.25/4.39	o 300
9.25/4.39	o 299
9.25/4.40	o 298
9.25/4.40	o 297
9.25/4.40	o 296
9.58/4.40	o 295
9.58/4.40	o 294
9.58/4.41	o 293
9.58/4.41	o 292
9.58/4.41	o 291
9.58/4.41	o 290
9.58/4.42	o 289
9.58/4.42	o 288
9.58/4.42	o 287
9.58/4.42	o 286
9.58/4.43	o 285
9.58/4.43	o 284
9.58/4.43	o 283
9.58/4.43	o 282
9.58/4.43	o 281
9.58/4.44	o 280
9.58/4.44	o 279
9.58/4.44	o 278
9.58/4.44	o 277
9.58/4.45	o 276
9.58/4.45	o 275
9.58/4.45	o 274
9.58/4.45	o 273
9.58/4.45	o 272
9.58/4.46	o 271
9.58/4.46	o 270
9.58/4.46	o 269
9.58/4.47	o 268
9.58/4.47	o 266
9.58/4.47	o 265
9.58/4.47	o 264
9.58/4.47	o 263
9.58/4.47	o 262
9.58/4.47	o 261
9.58/4.48	o 260
9.58/4.48	o 259
9.58/4.48	o 258
9.58/4.48	o 257
9.58/4.48	o 256
9.58/4.48	o 255
9.58/4.48	o 254
9.58/4.49	o 253
9.58/4.49	o 252
9.58/4.49	o 251
9.58/4.49	o 250
9.58/4.49	o 249
9.58/4.49	o 248
9.58/4.50	o 247
9.58/4.50	o 246
9.58/4.50	o 245
9.58/4.50	o 244
9.58/4.50	o 243
9.90/4.51	o 242
9.90/4.51	o 241
9.90/4.51	o 240
9.90/4.51	o 239
9.90/4.51	o 238
9.90/4.51	o 237
9.90/4.51	o 236
9.90/4.52	o 235
9.90/4.52	o 234
9.90/4.52	o 233
9.90/4.52	o 232
9.90/4.52	o 231
9.90/4.52	o 230
9.90/4.52	o 229
9.90/4.52	o 228
9.90/4.53	o 227
9.90/4.53	o 226
9.90/4.53	o 225
9.90/4.53	o 224
9.90/4.53	o 223
9.90/4.53	o 222
9.90/4.53	o 221
9.90/4.54	o 220
9.90/4.54	o 219
9.90/4.54	o 218
9.90/4.54	o 217
9.90/4.54	o 216
9.90/4.54	o 215
9.90/4.54	o 214
9.90/4.54	o 213
9.90/4.55	o 212
9.90/4.55	o 211
9.90/4.55	o 210
9.90/4.55	o 209
9.90/4.55	o 208
9.90/4.55	o 207
9.90/4.55	o 206
9.90/4.55	o 205
9.90/4.56	o 204
9.90/4.56	o 203
9.90/4.56	o 202
9.90/4.56	o 201
9.90/4.56	o 200
9.90/4.56	o 199
9.90/4.56	o 198
9.90/4.57	o 197
9.90/4.57	o 196
9.90/4.57	o 195
9.90/4.57	o 194
9.90/4.57	o 193
9.90/4.57	o 192
9.90/4.57	o 191
9.90/4.57	o 190
9.90/4.58	o 189
9.90/4.58	o 188
9.90/4.58	o 187
9.90/4.58	o 186
9.90/4.58	o 185
9.90/4.58	o 184
9.90/4.58	o 183
9.90/4.58	o 182
9.90/4.59	o 181
9.90/4.59	o 180
9.90/4.59	o 179
9.90/4.59	o 178
9.90/4.59	o 177
9.90/4.59	o 176
9.90/4.59	o 175
9.90/4.59	o 174
10.18/4.60	o 173
10.18/4.60	o 172
10.18/4.60	o 171
10.18/4.60	o 170
10.18/4.60	o 169
10.18/4.60	o 168
10.18/4.60	o 167
10.18/4.60	o 166
10.18/4.61	o 165
10.18/4.61	o 164
10.18/4.61	o 163
10.18/4.61	o 162
10.18/4.61	o 161
10.18/4.61	o 160
10.18/4.61	o 159
10.18/4.61	o 158
10.18/4.62	o 157
10.18/4.62	o 156
10.18/4.62	o 155
10.18/4.62	o 154
10.18/4.62	o 153
10.18/4.62	o 152
10.18/4.62	o 151
10.18/4.62	o 150
10.18/4.63	o 149
10.18/4.63	o 148
10.18/4.63	o 147
10.18/4.63	o 146
10.18/4.63	o 145
10.18/4.63	o 144
10.18/4.63	o 143
10.18/4.63	o 142
10.18/4.63	o 141
10.18/4.64	o 140
10.18/4.64	o 139
10.18/4.64	o 138
10.18/4.64	o 137
10.18/4.64	o 136
10.18/4.64	o 135
10.18/4.64	o 134
10.18/4.64	o 133
10.18/4.65	o 132
10.18/4.65	o 131
10.18/4.65	o 130
10.18/4.65	o 129
10.18/4.65	o 128
10.18/4.65	o 127
10.18/4.65	o 126
10.18/4.65	o 125
10.18/4.65	o 124
10.18/4.66	o 123
10.18/4.66	o 122
10.18/4.66	o 121
10.18/4.66	o 120
10.18/4.66	o 119
10.18/4.66	o 118
10.18/4.66	o 117
10.18/4.66	o 116
10.18/4.66	o 115
10.18/4.67	o 114
10.18/4.67	o 113
10.18/4.67	o 112
10.18/4.67	o 111
10.18/4.67	o 110
10.18/4.67	o 109
10.18/4.67	o 108
10.18/4.67	o 107
10.18/4.67	o 106
10.18/4.68	o 105
10.18/4.68	o 104
10.18/4.68	o 103
10.18/4.68	o 102
10.18/4.68	o 101
10.18/4.68	o 100
10.18/4.68	o 99
10.18/4.68	o 98
10.18/4.68	o 97
10.18/4.69	o 96
10.18/4.69	o 95
10.18/4.69	o 94
10.18/4.69	o 93
10.18/4.69	o 92
10.18/4.69	o 91
10.18/4.69	o 90
10.18/4.69	o 89
10.18/4.69	o 88
10.18/4.69	o 87
10.18/4.70	o 86
10.50/4.70	o 85
10.50/4.70	o 84
10.50/4.70	o 83
10.50/4.70	o 82
10.50/4.70	o 81
10.50/4.70	o 80
10.50/4.70	o 79
10.50/4.70	o 78
10.50/4.71	o 77
10.50/4.71	o 76
10.50/4.71	o 75
10.50/4.71	o 74
10.50/4.71	o 73
10.50/4.71	o 72
10.50/4.71	o 71
10.50/4.71	o 70
10.50/4.71	o 69
10.50/4.72	o 68
10.50/4.72	o 67
10.50/4.72	o 66
10.50/4.72	o 65
10.50/4.72	o 64
10.50/4.72	o 63
10.50/4.72	o 62
10.50/4.72	o 61
10.50/4.72	o 60
10.50/4.73	o 59
10.50/4.73	o 55
10.50/4.73	o 54
10.50/4.73	o 53
10.50/4.73	o 52
10.50/4.73	o 51
10.50/4.73	o 50
10.50/4.74	o 49
10.50/4.74	o 48
10.50/4.74	o 47
10.50/4.74	o 46
10.50/4.74	o 45
10.50/4.74	o 44
10.50/4.74	o 43
10.50/4.74	o 42
10.50/4.75	o 41
10.50/4.75	o 40
10.50/4.75	o 39
10.50/4.75	o 38
10.50/4.76	o 37
10.50/4.76	o 36
10.50/4.77	o 35
11.10/4.96	o 34
11.65/5.18	v <instantiation cost="34">
11.65/5.18	v       <list>
11.65/5.18	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[3][4] y[3][5] y[3][6] y[3][7] y[4][5] y[4][6] y[4][7] y[5][6] y[5][7] y[6][7]
11.65/5.18	v       </list>
11.65/5.18	v       <values>
11.65/5.18	v         0 2 12 19 25 30 33 34 2 12 19 25 30 33 34 10 17 23 28 31 32 7 13 18 21 22 6 11 14 15 5 8 9 3 4 1
11.65/5.18	v       </values>
11.65/5.18	v     </instantiation>
11.65/5.18	s OPTIMUM FOUND

Verifier Data 

OK	34

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-4259480-1501651031/watcher-4259480-1501651031 -o /tmp/evaluation-result-4259480-1501651031/solver-4259480-1501651031 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29417 --watchdog 300 bin/concrete HOME/instance-4259480-1501651031.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.51 1.68 1.69 3/197 7095
/proc/meminfo: memFree=29507980/32770624 swapFree=0/944352
[pid=7095] ppid=7092 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7095/stat : 7095 (runsolver) D 7092 7095 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13727846 24240128 108 18446744073709551615 4194304 4338465 140736373124640 140736373122280 140424486568663 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 22642688 140736373129424 140736373129798 140736373129798 140736373133258 0
/proc/7095/statm: 5918 108 54 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 1.51 1.68 1.69 3/197 7095
/proc/meminfo: memFree=29507980/32770624 swapFree=0/944352
[pid=7095] ppid=7092 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7095/stat : 7095 (runsolver) D 7092 7095 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13727846 24240128 108 18446744073709551615 4194304 4338465 140736373124640 140736373122280 140424486568663 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 22642688 140736373129424 140736373129798 140736373129798 140736373133258 0
/proc/7095/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200301 s]
/proc/loadavg: 1.51 1.68 1.69 3/197 7095
/proc/meminfo: memFree=29507980/32770624 swapFree=0/944352
[pid=7095] ppid=7092 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/7095/stat : 7095 (bash) S 7092 7095 5678 0 -1 4202496 890 6485 0 0 0 0 0 1 20 0 1 0 13727846 9867264 376 18446744073709551615 4194304 5098028 140733137034544 140733137028552 140550187805696 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 10 0 0 7196144 7232144 36618240 140733137035793 140733137035878 140733137035878 140733137039338 0
/proc/7095/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300357 s]
/proc/loadavg: 1.51 1.68 1.69 3/197 7095
/proc/meminfo: memFree=29507980/32770624 swapFree=0/944352
[pid=7095] ppid=7092 vsize=13574488 CPUtime=0.13 cores=0,2,4,6
/proc/7095/stat : 7095 (java) S 7092 7095 5678 0 -1 1077944320 5113 12650 0 0 4 1 5 3 20 0 9 0 13727846 13900275712 4818 18446744073709551615 4194304 4196468 140724044445008 140724044427552 140249000840951 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
/proc/7095/statm: 3393622 4818 2129 1 0 3383127 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13574488

[startup+0.702765 s]
/proc/loadavg: 1.51 1.68 1.69 3/197 7095
/proc/meminfo: memFree=29507980/32770624 swapFree=0/944352
[pid=7095] ppid=7092 vsize=13974784 CPUtime=0.61 cores=0,2,4,6
/proc/7095/stat : 7095 (java) S 7092 7095 5678 0 -1 1077944320 13684 12650 0 0 49 4 5 3 20 0 15 0 13727846 14310178816 14067 18446744073709551615 4194304 4196468 140724044445008 140724044427552 140249000840951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
/proc/7095/statm: 3493696 14067 3048 1 0 3482973 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13974784

[startup+1.5006 s]
/proc/loadavg: 1.51 1.68 1.69 3/212 7158
/proc/meminfo: memFree=29418088/32770624 swapFree=0/944528
[pid=7095] ppid=7092 vsize=13985408 CPUtime=1.81 cores=0,2,4,6
/proc/7095/stat : 7095 (java) S 7092 7095 5678 0 -1 1077944320 27809 12650 0 0 165 8 5 3 20 0 15 0 13727846 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140724044427552 140249000840951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
/proc/7095/statm: 3496352 33891 3334 1 0 3485533 0
[pid=7095/tid=7145] ppid=7092 vsize=13985408 CPUtime=1.28 cores=0,2,4,6
/proc/7095/task/7145/stat : 7145 (java) R 7092 7095 5678 0 -1 4202560 22573 12650 0 0 114 6 5 3 20 0 15 0 13727871 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140249005074928 140248984921468 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7146] ppid=7092 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7146/stat : 7146 (java) S 7092 7095 5678 0 -1 1077944384 1 12650 0 0 0 0 5 3 20 0 15 0 13727872 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248942786832 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7147] ppid=7092 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7147/stat : 7147 (java) S 7092 7095 5678 0 -1 1077944384 1 12650 0 0 0 0 5 3 20 0 15 0 13727872 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248941734288 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7148] ppid=7092 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7148/stat : 7148 (java) S 7092 7095 5678 0 -1 1077944384 1 12650 0 0 0 0 5 3 20 0 15 0 13727872 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248940681744 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7149] ppid=7092 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7149/stat : 7149 (java) S 7092 7095 5678 0 -1 1077944384 2 12650 0 0 0 0 5 3 20 0 15 0 13727872 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248939629200 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7150] ppid=7092 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7150/stat : 7150 (java) S 7092 7095 5678 0 -1 1077944384 5 12650 0 0 0 0 5 3 20 0 15 0 13727873 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248546523632 140249000852098 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7151] ppid=7092 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7151/stat : 7151 (java) S 7092 7095 5678 0 -1 1077944384 33 12650 0 0 0 0 5 3 20 0 15 0 13727874 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248545469856 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7152] ppid=7092 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7152/stat : 7152 (java) S 7092 7095 5678 0 -1 1077944384 21 12650 0 0 0 0 5 3 20 0 15 0 13727874 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248544417264 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7153] ppid=7092 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7153/stat : 7153 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248543365840 140249000859547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7154] ppid=7092 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/7095/task/7154/stat : 7154 (java) S 7092 7095 5678 0 -1 1077944384 1050 12650 0 0 12 0 5 3 20 0 15 0 13727877 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248542312432 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7155] ppid=7092 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/7095/task/7155/stat : 7155 (java) S 7092 7095 5678 0 -1 1077944384 664 12650 0 0 16 0 5 3 20 0 15 0 13727877 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248541259888 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7156] ppid=7092 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/7095/task/7156/stat : 7156 (java) R 7092 7095 5678 0 -1 4202560 1293 12650 0 0 22 0 5 3 20 0 15 0 13727877 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248540207344 140249000852886 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7157] ppid=7092 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7157/stat : 7157 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248539155040 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7158] ppid=7092 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7158/stat : 7158 (java) S 7092 7095 5678 0 -1 1077944384 10 12650 0 0 0 0 5 3 20 0 15 0 13727881 14321057792 33891 18446744073709551615 4194304 4196468 140724044445008 140248538102576 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 13985408

[startup+3.10118 s]
/proc/loadavg: 1.51 1.68 1.69 5/212 7158
/proc/meminfo: memFree=29343056/32770624 swapFree=0/944528
[pid=7095] ppid=7092 vsize=13999932 CPUtime=5.38 cores=0,2,4,6
/proc/7095/stat : 7095 (java) S 7092 7095 5678 0 -1 1077944320 42118 12650 0 0 516 14 5 3 20 0 15 0 13727846 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140724044427552 140249000840951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
/proc/7095/statm: 3499983 53083 3436 1 0 3488605 0
[pid=7095/tid=7145] ppid=7092 vsize=13999932 CPUtime=2.84 cores=0,2,4,6
/proc/7095/task/7145/stat : 7145 (java) R 7092 7095 5678 0 -1 4202560 30260 12650 0 0 268 8 5 3 20 0 15 0 13727871 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140249005073056 140248617135232 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7146] ppid=7092 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7146/stat : 7146 (java) S 7092 7095 5678 0 -1 1077944384 61 12650 0 0 0 0 5 3 20 0 15 0 13727872 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248942786832 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7147] ppid=7092 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/7095/task/7147/stat : 7147 (java) S 7092 7095 5678 0 -1 1077944384 49 12650 0 0 1 0 5 3 20 0 15 0 13727872 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248941734288 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7148] ppid=7092 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/7095/task/7148/stat : 7148 (java) S 7092 7095 5678 0 -1 1077944384 50 12650 0 0 1 0 5 3 20 0 15 0 13727872 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248940681744 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7149] ppid=7092 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/7095/task/7149/stat : 7149 (java) S 7092 7095 5678 0 -1 1077944384 196 12650 0 0 1 0 5 3 20 0 15 0 13727872 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248939629200 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7150] ppid=7092 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/7095/task/7150/stat : 7150 (java) S 7092 7095 5678 0 -1 1077944384 1505 12650 0 0 1 0 5 3 20 0 15 0 13727873 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248546523632 140249000852098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7151] ppid=7092 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7151/stat : 7151 (java) S 7092 7095 5678 0 -1 1077944384 56 12650 0 0 0 0 5 3 20 0 15 0 13727874 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248545469920 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7152] ppid=7092 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7152/stat : 7152 (java) S 7092 7095 5678 0 -1 1077944384 43 12650 0 0 0 0 5 3 20 0 15 0 13727874 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248544417280 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7153] ppid=7092 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7153/stat : 7153 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248543365840 140249000859547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7154] ppid=7092 vsize=13999932 CPUtime=0.72 cores=0,2,4,6
/proc/7095/task/7154/stat : 7154 (java) R 7092 7095 5678 0 -1 4202560 2336 12650 0 0 64 0 5 3 20 0 15 0 13727877 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248542299984 140248984227736 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7155] ppid=7092 vsize=13999932 CPUtime=0.84 cores=0,2,4,6
/proc/7095/task/7155/stat : 7155 (java) R 7092 7095 5678 0 -1 4202560 1843 12650 0 0 75 1 5 3 20 0 15 0 13727877 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248541246112 140248984227547 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7156] ppid=7092 vsize=13999932 CPUtime=1.1 cores=0,2,4,6
/proc/7095/task/7156/stat : 7156 (java) R 7092 7095 5678 0 -1 4202560 3553 12650 0 0 101 1 5 3 20 0 15 0 13727877 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248540207344 140248993937787 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7157] ppid=7092 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7157/stat : 7157 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248539155040 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7158] ppid=7092 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7158/stat : 7158 (java) S 7092 7095 5678 0 -1 1077944384 11 12650 0 0 0 0 5 3 20 0 15 0 13727881 14335930368 53083 18446744073709551615 4194304 4196468 140724044445008 140248538102576 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 13999932

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

[startup+3.20116 s]
/proc/loadavg: 1.51 1.68 1.69 5/212 7158
/proc/meminfo: memFree=29343056/32770624 swapFree=0/944528
[pid=7095] ppid=7092 vsize=14001980 CPUtime=5.66 cores=0,2,4,6
/proc/7095/stat : 7095 (java) S 7092 7095 5678 0 -1 1077944320 43777 12650 0 0 544 14 5 3 20 0 15 0 13727846 14338027520 57725 18446744073709551615 4194304 4196468 140724044445008 140724044427552 140249000840951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
/proc/7095/statm: 3500495 57725 3445 1 0 3489117 0
[pid=7095/tid=7145] ppid=7092 vsize=14001980 CPUtime=2.9 cores=0,2,4,6
/proc/7095/task/7145/stat : 7145 (java) R 7092 7095 5678 0 -1 4202560 30776 12650 0 0 274 8 5 3 20 0 15 0 13727871 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140249005056336 140248981116779 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7146] ppid=7092 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/7095/task/7146/stat : 7146 (java) S 7092 7095 5678 0 -1 1077944384 80 12650 0 0 2 0 5 3 20 0 15 0 13727872 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248942786832 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7147] ppid=7092 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/7095/task/7147/stat : 7147 (java) S 7092 7095 5678 0 -1 1077944384 58 12650 0 0 2 0 5 3 20 0 15 0 13727872 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248941734288 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7148] ppid=7092 vsize=14001980 CPUtime=0.11 cores=0,2,4,6
/proc/7095/task/7148/stat : 7148 (java) S 7092 7095 5678 0 -1 1077944384 67 12650 0 0 3 0 5 3 20 0 15 0 13727872 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248940681744 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7149] ppid=7092 vsize=14001980 CPUtime=0.11 cores=0,2,4,6
/proc/7095/task/7149/stat : 7149 (java) S 7092 7095 5678 0 -1 1077944384 263 12650 0 0 3 0 5 3 20 0 15 0 13727872 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248939629200 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7150] ppid=7092 vsize=14001980 CPUtime=0.11 cores=0,2,4,6
/proc/7095/task/7150/stat : 7150 (java) S 7092 7095 5678 0 -1 1077944384 2268 12650 0 0 3 0 5 3 20 0 15 0 13727873 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248546523632 140249000852098 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7151] ppid=7092 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7151/stat : 7151 (java) S 7092 7095 5678 0 -1 1077944384 56 12650 0 0 0 0 5 3 20 0 15 0 13727874 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248545469920 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7152] ppid=7092 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7152/stat : 7152 (java) S 7092 7095 5678 0 -1 1077944384 43 12650 0 0 0 0 5 3 20 0 15 0 13727874 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248544417280 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7153] ppid=7092 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7153/stat : 7153 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248543365840 140249000859547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7154] ppid=7092 vsize=14001980 CPUtime=0.78 cores=0,2,4,6
/proc/7095/task/7154/stat : 7154 (java) R 7092 7095 5678 0 -1 4202560 2363 12650 0 0 70 0 5 3 20 0 15 0 13727877 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248542295184 140248993946613 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7155] ppid=7092 vsize=14001980 CPUtime=0.89 cores=0,2,4,6
/proc/7095/task/7155/stat : 7155 (java) R 7092 7095 5678 0 -1 4202560 2064 12650 0 0 80 1 5 3 20 0 15 0 13727877 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248541241200 140248980677292 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7156] ppid=7092 vsize=14001980 CPUtime=1.12 cores=0,2,4,6
/proc/7095/task/7156/stat : 7156 (java) S 7092 7095 5678 0 -1 1077944384 3577 12650 0 0 103 1 5 3 20 0 15 0 13727877 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248540207344 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7157] ppid=7092 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7157/stat : 7157 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248539155040 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7158] ppid=7092 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7158/stat : 7158 (java) S 7092 7095 5678 0 -1 1077944384 11 12650 0 0 0 0 5 3 20 0 15 0 13727881 14338027520 57729 18446744073709551615 4194304 4196468 140724044445008 140248538102576 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 14001980

[startup+4.00057 s]
/proc/loadavg: 1.51 1.68 1.69 5/212 7158
/proc/meminfo: memFree=29245468/32770624 swapFree=0/944528
[pid=7095] ppid=7092 vsize=14067516 CPUtime=8.29 cores=0,2,4,6
/proc/7095/stat : 7095 (java) S 7092 7095 5678 0 -1 1077944320 66620 12650 0 0 801 20 5 3 20 0 15 0 13727846 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140724044427552 140249000840951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
/proc/7095/statm: 3516879 75062 3448 1 0 3505501 0
[pid=7095/tid=7145] ppid=7092 vsize=14067516 CPUtime=3.51 cores=0,2,4,6
/proc/7095/task/7145/stat : 7145 (java) R 7092 7095 5678 0 -1 4202560 45541 12650 0 0 332 11 5 3 20 0 15 0 13727871 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140249005071088 140248985156188 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7146] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7146/stat : 7146 (java) S 7092 7095 5678 0 -1 1077944384 90 12650 0 0 11 0 5 3 20 0 15 0 13727872 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248942786832 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7147] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7147/stat : 7147 (java) S 7092 7095 5678 0 -1 1077944384 60 12650 0 0 11 0 5 3 20 0 15 0 13727872 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248941734288 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7148] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7148/stat : 7148 (java) S 7092 7095 5678 0 -1 1077944384 80 12650 0 0 11 0 5 3 20 0 15 0 13727872 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248940681744 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7149] ppid=7092 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/7095/task/7149/stat : 7149 (java) S 7092 7095 5678 0 -1 1077944384 275 12650 0 0 7 0 5 3 20 0 15 0 13727872 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248939629200 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7150] ppid=7092 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/7095/task/7150/stat : 7150 (java) S 7092 7095 5678 0 -1 1077944384 2287 12650 0 0 10 0 5 3 20 0 15 0 13727873 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248546523632 140249000852098 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7151] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7151/stat : 7151 (java) S 7092 7095 5678 0 -1 1077944384 56 12650 0 0 0 0 5 3 20 0 15 0 13727874 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248545469920 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7152] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7152/stat : 7152 (java) S 7092 7095 5678 0 -1 1077944384 44 12650 0 0 0 0 5 3 20 0 15 0 13727874 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248544417280 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7153] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7153/stat : 7153 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248543365840 140249000859547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7154] ppid=7092 vsize=14067516 CPUtime=1.35 cores=0,2,4,6
/proc/7095/task/7154/stat : 7154 (java) R 7092 7095 5678 0 -1 4202560 5397 12650 0 0 126 1 5 3 20 0 15 0 13727877 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248542292144 140249000862298 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7155] ppid=7092 vsize=14067516 CPUtime=1.68 cores=0,2,4,6
/proc/7095/task/7155/stat : 7155 (java) R 7092 7095 5678 0 -1 4202560 6423 12650 0 0 157 3 5 3 20 0 15 0 13727877 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248541248880 140248982386250 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7156] ppid=7092 vsize=14067516 CPUtime=1.38 cores=0,2,4,6
/proc/7095/task/7156/stat : 7156 (java) S 7092 7095 5678 0 -1 1077944384 4200 12650 0 0 129 1 5 3 20 0 15 0 13727877 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248540207344 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7157] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7157/stat : 7157 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248539155040 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7158] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7158/stat : 7158 (java) S 7092 7095 5678 0 -1 1077944384 11 12650 0 0 0 0 5 3 20 0 15 0 13727881 14405136384 75062 18446744073709551615 4194304 4196468 140724044445008 140248538102576 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 14067516

[startup+4.80065 s]
/proc/loadavg: 1.71 1.72 1.71 5/212 7158
/proc/meminfo: memFree=29166800/32770624 swapFree=0/944540
[pid=7095] ppid=7092 vsize=14067516 CPUtime=10.8 cores=0,2,4,6
/proc/7095/stat : 7095 (java) S 7092 7095 5678 0 -1 1077944320 68064 12650 0 0 1049 23 5 3 20 0 15 0 13727846 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140724044427552 140249000840951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
/proc/7095/statm: 3516879 93988 3462 1 0 3505501 0
[pid=7095/tid=7145] ppid=7092 vsize=14067516 CPUtime=4.31 cores=0,2,4,6
/proc/7095/task/7145/stat : 7145 (java) R 7092 7095 5678 0 -1 4202560 46362 12650 0 0 410 13 5 3 20 0 15 0 13727871 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140249005072256 140249000852886 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7146] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7146/stat : 7146 (java) S 7092 7095 5678 0 -1 1077944384 91 12650 0 0 11 0 5 3 20 0 15 0 13727872 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248942786832 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7147] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7147/stat : 7147 (java) S 7092 7095 5678 0 -1 1077944384 61 12650 0 0 11 0 5 3 20 0 15 0 13727872 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248941734288 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7148] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7148/stat : 7148 (java) S 7092 7095 5678 0 -1 1077944384 81 12650 0 0 11 0 5 3 20 0 15 0 13727872 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248940681744 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7149] ppid=7092 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/7095/task/7149/stat : 7149 (java) S 7092 7095 5678 0 -1 1077944384 278 12650 0 0 7 0 5 3 20 0 15 0 13727872 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248939629200 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7150] ppid=7092 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/7095/task/7150/stat : 7150 (java) S 7092 7095 5678 0 -1 1077944384 2306 12650 0 0 10 0 5 3 20 0 15 0 13727873 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248546523632 140249000852098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7151] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7151/stat : 7151 (java) S 7092 7095 5678 0 -1 1077944384 56 12650 0 0 0 0 5 3 20 0 15 0 13727874 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248545469920 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7152] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7152/stat : 7152 (java) S 7092 7095 5678 0 -1 1077944384 44 12650 0 0 0 0 5 3 20 0 15 0 13727874 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248544417280 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7153] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7153/stat : 7153 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248543365840 140249000859547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7154] ppid=7092 vsize=14067516 CPUtime=2.15 cores=0,2,4,6
/proc/7095/task/7154/stat : 7154 (java) R 7092 7095 5678 0 -1 4202560 5637 12650 0 0 206 1 5 3 20 0 15 0 13727877 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248542296992 140248980087923 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7155] ppid=7092 vsize=14067516 CPUtime=2.48 cores=0,2,4,6
/proc/7095/task/7155/stat : 7155 (java) R 7092 7095 5678 0 -1 4202560 6598 12650 0 0 237 3 5 3 20 0 15 0 13727877 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248541259888 140248984339946 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7156] ppid=7092 vsize=14067516 CPUtime=1.49 cores=0,2,4,6
/proc/7095/task/7156/stat : 7156 (java) S 7092 7095 5678 0 -1 1077944384 4382 12650 0 0 140 1 5 3 20 0 15 0 13727877 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248540207344 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7157] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7157/stat : 7157 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248539155040 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7158] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7158/stat : 7158 (java) S 7092 7095 5678 0 -1 1077944384 12 12650 0 0 0 0 5 3 20 0 15 0 13727881 14405136384 93988 18446744073709551615 4194304 4196468 140724044445008 140248538102576 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
Current children cumulated CPU time (s) 10.8
Current children cumulated vsize (KiB) 14067516

[startup+5.00118 s]
/proc/loadavg: 1.71 1.72 1.71 5/212 7158
/proc/meminfo: memFree=29166800/32770624 swapFree=0/944540
[pid=7095] ppid=7092 vsize=14067516 CPUtime=11.35 cores=0,2,4,6
/proc/7095/stat : 7095 (java) S 7092 7095 5678 0 -1 1077944320 69065 12650 0 0 1104 23 5 3 20 0 15 0 13727846 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140724044427552 140249000840951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
/proc/7095/statm: 3516879 94575 3463 1 0 3505501 0
[pid=7095/tid=7145] ppid=7092 vsize=14067516 CPUtime=4.51 cores=0,2,4,6
/proc/7095/task/7145/stat : 7145 (java) R 7092 7095 5678 0 -1 4202560 46516 12650 0 0 430 13 5 3 20 0 15 0 13727871 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140249005071592 140248628951874 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7146] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7146/stat : 7146 (java) S 7092 7095 5678 0 -1 1077944384 835 12650 0 0 11 0 5 3 20 0 15 0 13727872 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248942786832 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7147] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7147/stat : 7147 (java) S 7092 7095 5678 0 -1 1077944384 61 12650 0 0 11 0 5 3 20 0 15 0 13727872 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248941734288 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7148] ppid=7092 vsize=14067516 CPUtime=0.2 cores=0,2,4,6
/proc/7095/task/7148/stat : 7148 (java) S 7092 7095 5678 0 -1 1077944384 91 12650 0 0 12 0 5 3 20 0 15 0 13727872 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248940681744 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7149] ppid=7092 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/7095/task/7149/stat : 7149 (java) S 7092 7095 5678 0 -1 1077944384 297 12650 0 0 7 0 5 3 20 0 15 0 13727872 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248939629200 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7150] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7150/stat : 7150 (java) S 7092 7095 5678 0 -1 1077944384 2308 12650 0 0 11 0 5 3 20 0 15 0 13727873 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248546523632 140249000852098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7151] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7151/stat : 7151 (java) S 7092 7095 5678 0 -1 1077944384 56 12650 0 0 0 0 5 3 20 0 15 0 13727874 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248545469920 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7152] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7152/stat : 7152 (java) S 7092 7095 5678 0 -1 1077944384 44 12650 0 0 0 0 5 3 20 0 15 0 13727874 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248544417280 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7153] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7153/stat : 7153 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248543365840 140249000859547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7154] ppid=7092 vsize=14067516 CPUtime=2.31 cores=0,2,4,6
/proc/7095/task/7154/stat : 7154 (java) R 7092 7095 5678 0 -1 4202560 5680 12650 0 0 222 1 5 3 20 0 15 0 13727877 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248542312432 140248980250721 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7155] ppid=7092 vsize=14067516 CPUtime=2.67 cores=0,2,4,6
/proc/7095/task/7155/stat : 7155 (java) R 7092 7095 5678 0 -1 4202560 6627 12650 0 0 256 3 5 3 20 0 15 0 13727877 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248541246208 140248980534055 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7156] ppid=7092 vsize=14067516 CPUtime=1.5 cores=0,2,4,6
/proc/7095/task/7156/stat : 7156 (java) S 7092 7095 5678 0 -1 1077944384 4382 12650 0 0 141 1 5 3 20 0 15 0 13727877 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248540207344 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7157] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7157/stat : 7157 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248539155040 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7158] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7158/stat : 7158 (java) S 7092 7095 5678 0 -1 1077944384 12 12650 0 0 0 0 5 3 20 0 15 0 13727881 14405136384 94575 18446744073709551615 4194304 4196468 140724044445008 140248538102576 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
Current children cumulated CPU time (s) 11.35
Current children cumulated vsize (KiB) 14067516

[startup+5.10118 s]
/proc/loadavg: 1.71 1.72 1.71 5/212 7158
/proc/meminfo: memFree=29166800/32770624 swapFree=0/944540
[pid=7095] ppid=7092 vsize=14067516 CPUtime=11.65 cores=0,2,4,6
/proc/7095/stat : 7095 (java) S 7092 7095 5678 0 -1 1077944320 69093 12650 0 0 1134 23 5 3 20 0 15 0 13727846 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140724044427552 140249000840951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
/proc/7095/statm: 3516879 94598 3463 1 0 3505501 0
[pid=7095/tid=7145] ppid=7092 vsize=14067516 CPUtime=4.61 cores=0,2,4,6
/proc/7095/task/7145/stat : 7145 (java) R 7092 7095 5678 0 -1 4202560 46516 12650 0 0 440 13 5 3 20 0 15 0 13727871 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140249005072088 140248625965695 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7146] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7146/stat : 7146 (java) S 7092 7095 5678 0 -1 1077944384 835 12650 0 0 11 0 5 3 20 0 15 0 13727872 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248942786832 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7147] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7147/stat : 7147 (java) S 7092 7095 5678 0 -1 1077944384 61 12650 0 0 11 0 5 3 20 0 15 0 13727872 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248941734288 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7148] ppid=7092 vsize=14067516 CPUtime=0.2 cores=0,2,4,6
/proc/7095/task/7148/stat : 7148 (java) S 7092 7095 5678 0 -1 1077944384 91 12650 0 0 12 0 5 3 20 0 15 0 13727872 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248940681744 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7149] ppid=7092 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/7095/task/7149/stat : 7149 (java) S 7092 7095 5678 0 -1 1077944384 297 12650 0 0 7 0 5 3 20 0 15 0 13727872 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248939629200 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7150] ppid=7092 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/7095/task/7150/stat : 7150 (java) S 7092 7095 5678 0 -1 1077944384 2308 12650 0 0 11 0 5 3 20 0 15 0 13727873 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248546523632 140249000852098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7151] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7151/stat : 7151 (java) S 7092 7095 5678 0 -1 1077944384 56 12650 0 0 0 0 5 3 20 0 15 0 13727874 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248545469920 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7152] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7152/stat : 7152 (java) S 7092 7095 5678 0 -1 1077944384 44 12650 0 0 0 0 5 3 20 0 15 0 13727874 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248544417280 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7153] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7153/stat : 7153 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248543365840 140249000859547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7154] ppid=7092 vsize=14067516 CPUtime=2.4 cores=0,2,4,6
/proc/7095/task/7154/stat : 7154 (java) R 7092 7095 5678 0 -1 4202560 5688 12650 0 0 231 1 5 3 20 0 15 0 13727877 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248542312432 140248993130298 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7155] ppid=7092 vsize=14067516 CPUtime=2.77 cores=0,2,4,6
/proc/7095/task/7155/stat : 7155 (java) R 7092 7095 5678 0 -1 4202560 6647 12650 0 0 266 3 5 3 20 0 15 0 13727877 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248541249808 140248985240669 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7156] ppid=7092 vsize=14067516 CPUtime=1.5 cores=0,2,4,6
/proc/7095/task/7156/stat : 7156 (java) S 7092 7095 5678 0 -1 1077944384 4382 12650 0 0 141 1 5 3 20 0 15 0 13727877 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248540207344 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7157] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7157/stat : 7157 (java) S 7092 7095 5678 0 -1 1077944384 3 12650 0 0 0 0 5 3 20 0 15 0 13727877 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248539155040 140249000851157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
[pid=7095/tid=7158] ppid=7092 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/7095/task/7158/stat : 7158 (java) S 7092 7095 5678 0 -1 1077944384 12 12650 0 0 0 0 5 3 20 0 15 0 13727881 14405136384 94598 18446744073709551615 4194304 4196468 140724044445008 140248538102576 140249000852098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33419264 140724044453837 140724044456622 140724044456622 140724044459983 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 14067516

Child status: 0
Real time (s): 5.19691
CPU time (s): 11.8226
CPU user time (s): 11.5376
CPU system time (s): 0.28502
CPU usage (%): 227.493
Max. virtual memory (cumulated for all children) (KiB): 14069620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5376
system time used= 0.28502
maximum resident set size= 381288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6778
involuntary context switches= 166

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036001 second user time and 0.048962 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 07:03:13
IDJOB=4259480
IDBENCH=126212
IDSOLVER=2646
FILE ID=node128/4259480-1501651031
RUNJOBID= node128-1501642693-29417
PBS_JOBID= 
Free space on /tmp= 61828 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-08-a3.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259480-1501651031/watcher-4259480-1501651031 -o /tmp/evaluation-result-4259480-1501651031/solver-4259480-1501651031 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29417 --watchdog 300  bin/concrete HOME/instance-4259480-1501651031.xml

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

MD5SUM BENCH= 86f9a0f9696ddea7c71528c4cbe59182
RANDOM SEED=1425808175

node128.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.05
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.05
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.05
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.05
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:        29508988 kB
MemAvailable:   30453448 kB
Buffers:          121820 kB
Cached:          1103788 kB
SwapCached:            0 kB
Active:          1897744 kB
Inactive:         952624 kB
Active(anon):    1626068 kB
Inactive(anon):     8532 kB
Active(file):     271676 kB
Inactive(file):   944092 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24232 kB
Writeback:             0 kB
AnonPages:       1626120 kB
Mapped:            43708 kB
Shmem:              8872 kB
Slab:             115052 kB
SReclaimable:      89052 kB
SUnreclaim:        26000 kB
KernelStack:        3488 kB
PageTables:         8056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2469440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1409024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61804 MiB
End job on node128 at 2017-08-02 07:03:18