Trace number 4246853

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
R1: Concrete 3.4OPT17 15.7201 5.24785

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

pid=20412
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.58 1.45 1.42 3/261 20415
/proc/meminfo: memFree=30089352/32770624 swapFree=5952/276276
[pid=20415] ppid=20412 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (bash) S 20412 20415 15294 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 7237749 9736192 350 33554432000 4194304 5098028 140720373715712 140720373713352 140040293813248 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 9895936 140720373720334 140720373720419 140720373720419 140720373723118 0
/proc/20415/statm: 2377 350 277 221 0 86 0

[startup+0.100106 s]
/proc/loadavg: 1.58 1.45 1.42 3/261 20415
/proc/meminfo: memFree=30089352/32770624 swapFree=5952/276276
[pid=20415] ppid=20412 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (bash) S 20412 20415 15294 0 -1 4202496 884 6419 0 0 0 0 0 1 20 0 1 0 7237749 9871360 378 33554432000 4194304 5098028 140720373715712 140720373709720 140040293813248 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 9895936 140720373720334 140720373720419 140720373720419 140720373723118 0
/proc/20415/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200322 s]
/proc/loadavg: 1.58 1.45 1.42 3/261 20415
/proc/meminfo: memFree=30089352/32770624 swapFree=5952/276276
[pid=20415] ppid=20412 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 5101 12419 0 0 6 1 8 3 20 0 13 0 7237749 10686320640 5467 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2608965 5467 2170 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300248 s]
/proc/loadavg: 1.58 1.45 1.42 3/261 20415
/proc/meminfo: memFree=30089352/32770624 swapFree=5952/276276
[pid=20415] ppid=20412 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 7373 12419 0 0 23 2 8 3 20 0 20 0 7237749 11164049408 9113 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2725598 9113 2969 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.700248 s]
/proc/loadavg: 1.58 1.45 1.42 3/261 20415
/proc/meminfo: memFree=30089352/32770624 swapFree=5952/276276
[pid=20415] ppid=20412 vsize=10902720 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 11933 12419 0 0 76 3 8 3 20 0 20 0 7237749 11164385280 14701 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2725680 14701 3111 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720

[startup+1.50147 s]
/proc/loadavg: 1.58 1.45 1.42 3/281 20488
/proc/meminfo: memFree=29995732/32770624 swapFree=5952/276488
[pid=20415] ppid=20412 vsize=10913344 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 25088 12419 0 0 197 7 8 3 20 0 20 0 7237749 11175264256 36284 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2728336 36284 3377 1 0 2716450 0
[pid=20415/tid=20470] ppid=20412 vsize=10913344 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) S 20412 20415 15294 0 -1 1077944384 18900 12419 0 0 131 4 8 3 20 0 20 0 7237761 11175264256 36284 33554432000 4194304 4196468 140736892752192 140385230576640 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) R 20412 20415 15294 0 -1 1077944384 6 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) S 20412 20415 15294 0 -1 1077944384 11 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384832117136 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 19 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) S 20412 20415 15294 0 -1 1077944384 12 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384830012048 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) S 20412 20415 15294 0 -1 1077944384 40 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384828959504 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) S 20412 20415 15294 0 -1 1077944384 37 12419 0 0 0 0 8 3 20 0 20 0 7237762 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384827906960 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) S 20412 20415 15294 0 -1 1077944384 16 12419 0 0 0 0 8 3 20 0 20 0 7237763 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384826854416 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) S 20412 20415 15294 0 -1 1077944384 98 12419 0 0 0 0 8 3 20 0 20 0 7237763 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384825801872 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) R 20412 20415 15294 0 -1 4202560 26 12419 0 0 0 0 8 3 20 0 20 0 7237765 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384768049664 140385211431456 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 33 12419 0 0 0 0 8 3 20 0 20 0 7237766 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384766997408 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 21 12419 0 0 0 0 8 3 20 0 20 0 7237766 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384765944816 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) S 20412 20415 15294 0 -1 1077944384 1044 12419 0 0 13 0 8 3 20 0 20 0 7237770 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384561781232 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) S 20412 20415 15294 0 -1 1077944384 1246 12419 0 0 13 0 8 3 20 0 20 0 7237770 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384560728688 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10913344 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) S 20412 20415 15294 0 -1 1077944384 516 12419 0 0 9 0 8 3 20 0 20 0 7237770 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384559676144 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) S 20412 20415 15294 0 -1 1077944384 924 12419 0 0 27 0 8 3 20 0 20 0 7237770 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384558618976 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11175264256 36284 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 10913344

[startup+3.10078 s]
/proc/loadavg: 1.53 1.44 1.42 7/281 20488
/proc/meminfo: memFree=29913632/32770624 swapFree=5952/276432
[pid=20415] ppid=20412 vsize=10927868 CPUtime=6.74 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 42242 12419 0 0 649 14 8 3 20 0 20 0 7237749 11190136832 54904 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2731967 54904 3474 1 0 2719522 0
[pid=20415/tid=20470] ppid=20412 vsize=10927868 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) R 20412 20415 15294 0 -1 4202560 25691 12419 0 0 285 6 8 3 20 0 20 0 7237761 11190136832 54904 33554432000 4194304 4196468 140736892752192 140385230589144 140385207773010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) S 20412 20415 15294 0 -1 1077944384 12 12419 0 0 0 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) S 20412 20415 15294 0 -1 1077944384 32 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384832117136 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 27 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) S 20412 20415 15294 0 -1 1077944384 13 12419 0 0 0 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384830012048 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384828959504 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) S 20412 20415 15294 0 -1 1077944384 53 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384827906960 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) S 20412 20415 15294 0 -1 1077944384 21 12419 0 0 1 0 8 3 20 0 20 0 7237763 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384826854416 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) S 20412 20415 15294 0 -1 1077944384 107 12419 0 0 0 0 8 3 20 0 20 0 7237763 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384825801872 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) S 20412 20415 15294 0 -1 1077944384 1344 12419 0 0 1 0 8 3 20 0 20 0 7237765 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384768051184 140385226377858 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 54 12419 0 0 0 0 8 3 20 0 20 0 7237766 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384766997472 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 7237766 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384765944832 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10927868 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) R 20412 20415 15294 0 -1 4202560 2074 12419 0 0 65 1 8 3 20 0 20 0 7237770 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384561773184 140385206031168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10927868 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) S 20412 20415 15294 0 -1 1077944384 2712 12419 0 0 68 1 8 3 20 0 20 0 7237770 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384560728688 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10927868 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) R 20412 20415 15294 0 -1 4202560 4215 12419 0 0 102 0 8 3 20 0 20 0 7237770 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384559662688 140385211288471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10927868 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) R 20412 20415 15294 0 -1 4202560 3657 12419 0 0 116 0 8 3 20 0 20 0 7237770 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384558618640 140385205032307 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 5 12419 0 0 0 0 8 3 20 0 20 0 7237771 11190136832 54904 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 10927868

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

[startup+3.20094 s]
/proc/loadavg: 1.53 1.44 1.42 7/281 20488
/proc/meminfo: memFree=29913632/32770624 swapFree=5952/276432
[pid=20415] ppid=20412 vsize=10927868 CPUtime=7.18 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 42617 12419 0 0 692 15 8 3 20 0 20 0 7237749 11190136832 56251 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2731967 56251 3474 1 0 2719522 0
[pid=20415/tid=20470] ppid=20412 vsize=10927868 CPUtime=3.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) R 20412 20415 15294 0 -1 4202560 25701 12419 0 0 294 6 8 3 20 0 20 0 7237761 11190136832 56251 33554432000 4194304 4196468 140736892752192 140385230586840 140384848191360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) S 20412 20415 15294 0 -1 1077944384 12 12419 0 0 0 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) S 20412 20415 15294 0 -1 1077944384 32 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384832117136 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 27 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) S 20412 20415 15294 0 -1 1077944384 13 12419 0 0 0 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384830012048 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384828959504 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) S 20412 20415 15294 0 -1 1077944384 53 12419 0 0 1 0 8 3 20 0 20 0 7237762 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384827906960 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) S 20412 20415 15294 0 -1 1077944384 21 12419 0 0 1 0 8 3 20 0 20 0 7237763 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384826854416 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) S 20412 20415 15294 0 -1 1077944384 107 12419 0 0 0 0 8 3 20 0 20 0 7237763 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384825801872 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) S 20412 20415 15294 0 -1 1077944384 1344 12419 0 0 1 0 8 3 20 0 20 0 7237765 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384768051184 140385226377858 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 54 12419 0 0 0 0 8 3 20 0 20 0 7237766 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384766997472 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 7237766 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384765944832 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10927868 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) R 20412 20415 15294 0 -1 4202560 2095 12419 0 0 73 1 8 3 20 0 20 0 7237770 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384561767360 140385212421680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10927868 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) R 20412 20415 15294 0 -1 4202560 2872 12419 0 0 77 1 8 3 20 0 20 0 7237770 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384560709704 140385206221392 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10927868 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) R 20412 20415 15294 0 -1 4202560 4262 12419 0 0 110 0 8 3 20 0 20 0 7237770 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384559665024 140385210477713 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10927868 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) S 20412 20415 15294 0 -1 1077944384 3794 12419 0 0 124 1 8 3 20 0 20 0 7237770 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384558623600 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 5 12419 0 0 0 0 8 3 20 0 20 0 7237771 11190136832 56251 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 10927868

[startup+4.00104 s]
/proc/loadavg: 1.53 1.44 1.42 7/281 20488
/proc/meminfo: memFree=29868780/32770624 swapFree=5952/276436
[pid=20415] ppid=20412 vsize=10995452 CPUtime=10.93 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 72064 12419 0 0 1059 23 8 3 20 0 20 0 7237749 11259342848 88764 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2748863 88764 3486 1 0 2736418 0
[pid=20415/tid=20470] ppid=20412 vsize=10995452 CPUtime=3.75 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) S 20412 20415 15294 0 -1 1077944384 38235 12419 0 0 355 9 8 3 20 0 20 0 7237761 11259342848 88764 33554432000 4194304 4196468 140736892752192 140385230596064 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10995452 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) R 20412 20415 15294 0 -1 1077944384 38 12419 0 0 10 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10995452 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) R 20412 20415 15294 0 -1 4202560 68 12419 0 0 9 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384832117136 140385211210247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10995452 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 29 12419 0 0 11 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10995452 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) R 20412 20415 15294 0 -1 4202560 39 12419 0 0 10 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384830012248 140385210821468 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) R 20412 20415 15294 0 -1 4202560 65 12419 0 0 12 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384828959504 140385211351952 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) R 20412 20415 15294 0 -1 4202560 69 12419 0 0 12 0 8 3 20 0 20 0 7237762 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384827906960 140385210820679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) R 20412 20415 15294 0 -1 4202560 58 12419 0 0 7 0 8 3 20 0 20 0 7237763 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384826854416 140385211352007 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10995452 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) R 20412 20415 15294 0 -1 4202560 126 12419 0 0 8 0 8 3 20 0 20 0 7237763 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384825801872 140385211317316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) S 20412 20415 15294 0 -1 1077944384 2182 12419 0 0 6 0 8 3 20 0 20 0 7237765 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384768049584 140385226376917 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 55 12419 0 0 0 0 8 3 20 0 20 0 7237766 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384766997008 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 7237766 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384765944832 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10995452 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) S 20412 20415 15294 0 -1 1077944384 8339 12419 0 0 134 2 8 3 20 0 20 0 7237770 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384561781232 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10995452 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) R 20412 20415 15294 0 -1 4202560 6873 12419 0 0 154 1 8 3 20 0 20 0 7237770 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384560714712 140385205610790 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10995452 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) S 20412 20415 15294 0 -1 1077944384 8069 12419 0 0 176 1 8 3 20 0 20 0 7237770 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384559660976 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10995452 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) S 20412 20415 15294 0 -1 1077944384 5633 12419 0 0 148 1 8 3 20 0 20 0 7237770 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384558623600 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 5 12419 0 0 0 0 8 3 20 0 20 0 7237771 11259342848 88764 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 10995452

[startup+4.80109 s]
/proc/loadavg: 1.53 1.44 1.42 7/281 20488
/proc/meminfo: memFree=29740624/32770624 swapFree=5952/276448
[pid=20415] ppid=20412 vsize=10997500 CPUtime=14.32 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 77971 12419 0 0 1395 26 8 3 20 0 20 0 7237749 11261440000 89255 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2749375 89255 3495 1 0 2736930 0
[pid=20415/tid=20470] ppid=20412 vsize=10997500 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) R 20412 20415 15294 0 -1 4202560 38826 12419 0 0 425 9 8 3 20 0 20 0 7237761 11261440000 89255 33554432000 4194304 4196468 140736892752192 140385230589520 140385226388541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) S 20412 20415 15294 0 -1 1077944384 39 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) S 20412 20415 15294 0 -1 1077944384 68 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384832117136 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 30 12419 0 0 13 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) S 20412 20415 15294 0 -1 1077944384 45 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384830012048 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) S 20412 20415 15294 0 -1 1077944384 72 12419 0 0 14 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384828959504 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) S 20412 20415 15294 0 -1 1077944384 69 12419 0 0 13 0 8 3 20 0 20 0 7237762 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384827906960 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10997500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) S 20412 20415 15294 0 -1 1077944384 59 12419 0 0 9 0 8 3 20 0 20 0 7237763 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384826854416 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) S 20412 20415 15294 0 -1 1077944384 136 12419 0 0 11 1 8 3 20 0 20 0 7237763 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384825801872 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) S 20412 20415 15294 0 -1 1077944384 2185 12419 0 0 12 0 8 3 20 0 20 0 7237765 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384768051184 140385226377858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 55 12419 0 0 0 0 8 3 20 0 20 0 7237766 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384766997472 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 7237766 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384765944832 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10997500 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) R 20412 20415 15294 0 -1 4202560 8742 12419 0 0 195 2 8 3 20 0 20 0 7237770 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384561781232 140385207910887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10997500 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) R 20412 20415 15294 0 -1 4202560 9369 12419 0 0 232 2 8 3 20 0 20 0 7237770 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384560728688 140385209863495 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10997500 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) R 20412 20415 15294 0 -1 4202560 9244 12419 0 0 240 1 8 3 20 0 20 0 7237770 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384559662576 140385203590864 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10997500 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) S 20412 20415 15294 0 -1 1077944384 6845 12419 0 0 187 2 8 3 20 0 20 0 7237770 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384558623600 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 6 12419 0 0 0 0 8 3 20 0 20 0 7237771 11261440000 89255 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 14.32
Current children cumulated vsize (KiB) 10997500

[startup+5.20069 s]
/proc/loadavg: 1.53 1.44 1.42 7/281 20488
/proc/meminfo: memFree=29740624/32770624 swapFree=5952/276448
[pid=20415] ppid=20412 vsize=10997500 CPUtime=15.61 cores=1,3,5,7,9,11,13,15
/proc/20415/stat : 20415 (java) S 20412 20415 15294 0 -1 1077944320 78885 12419 0 0 1523 27 8 3 20 0 20 0 7237749 11261440000 95184 33554432000 4194304 4196468 140736892752192 140736892734736 140385226366711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
/proc/20415/statm: 2749375 95184 3506 1 0 2736930 0
[pid=20415/tid=20470] ppid=20412 vsize=10997500 CPUtime=4.85 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20470/stat : 20470 (java) R 20412 20415 15294 0 -1 4202560 38906 12419 0 0 464 10 8 3 20 0 20 0 7237761 11261440000 95184 33554432000 4194304 4196468 140736892752192 140385230588040 140384862366832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20471] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20471/stat : 20471 (java) S 20412 20415 15294 0 -1 1077944384 39 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140385168369936 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20472] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20472/stat : 20472 (java) S 20412 20415 15294 0 -1 1077944384 68 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384832117136 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20473] ppid=20412 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20473/stat : 20473 (java) S 20412 20415 15294 0 -1 1077944384 30 12419 0 0 13 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384831064592 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20474] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20474/stat : 20474 (java) S 20412 20415 15294 0 -1 1077944384 45 12419 0 0 12 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384830012048 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20475] ppid=20412 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20475/stat : 20475 (java) S 20412 20415 15294 0 -1 1077944384 72 12419 0 0 14 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384828959504 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20476] ppid=20412 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20476/stat : 20476 (java) S 20412 20415 15294 0 -1 1077944384 69 12419 0 0 13 0 8 3 20 0 20 0 7237762 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384827906960 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20477] ppid=20412 vsize=10997500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20477/stat : 20477 (java) S 20412 20415 15294 0 -1 1077944384 59 12419 0 0 9 0 8 3 20 0 20 0 7237763 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384826854416 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20478] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20478/stat : 20478 (java) S 20412 20415 15294 0 -1 1077944384 136 12419 0 0 11 1 8 3 20 0 20 0 7237763 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384825801872 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20479] ppid=20412 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20479/stat : 20479 (java) S 20412 20415 15294 0 -1 1077944384 2186 12419 0 0 12 0 8 3 20 0 20 0 7237765 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384768051184 140385226377858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20480] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20480/stat : 20480 (java) S 20412 20415 15294 0 -1 1077944384 55 12419 0 0 0 0 8 3 20 0 20 0 7237766 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384766997472 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20481] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20481/stat : 20481 (java) S 20412 20415 15294 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 7237766 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384765944832 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20482] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20482/stat : 20482 (java) S 20412 20415 15294 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 7237770 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384562833616 140385226385307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20483] ppid=20412 vsize=10997500 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20483/stat : 20483 (java) R 20412 20415 15294 0 -1 4202560 9023 12419 0 0 222 2 8 3 20 0 20 0 7237770 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384561781232 140385209850196 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20484] ppid=20412 vsize=10997500 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20484/stat : 20484 (java) R 20412 20415 15294 0 -1 4202560 9617 12419 0 0 258 2 8 3 20 0 20 0 7237770 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384560716976 140385205641464 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20485] ppid=20412 vsize=10997500 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20485/stat : 20485 (java) S 20412 20415 15294 0 -1 1077944384 9390 12419 0 0 267 1 8 3 20 0 20 0 7237770 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384559676144 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20486] ppid=20412 vsize=10997500 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20486/stat : 20486 (java) S 20412 20415 15294 0 -1 1077944384 7003 12419 0 0 195 3 8 3 20 0 20 0 7237770 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384558623600 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20487] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20487/stat : 20487 (java) S 20412 20415 15294 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 7237771 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384557570272 140385226376917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
[pid=20415/tid=20488] ppid=20412 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/20415/task/20488/stat : 20488 (java) S 20412 20415 15294 0 -1 1077944384 6 12419 0 0 0 0 8 3 20 0 20 0 7237771 11261440000 95184 33554432000 4194304 4196468 140736892752192 140384556517808 140385226377858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30306304 140736892754625 140736892757399 140736892757399 140736892760015 0
Current children cumulated CPU time (s) 15.61
Current children cumulated vsize (KiB) 10997500

Child status: 0
Real time (s): 5.24785
CPU time (s): 15.7201
CPU user time (s): 15.39
CPU system time (s): 0.330107
CPU usage (%): 299.552
Max. virtual memory (cumulated for all children) (KiB): 10998424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.39
system time used= 0.330107
maximum resident set size= 385828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91520
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= 10086
involuntary context switches= 2729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047447 second user time and 0.07117 second system time

The end

Launcher Data

Begin job on node149 at 2017-07-22 12:35:29
IDJOB=4246853
IDBENCH=126251
IDSOLVER=2630
FILE ID=node149/4246853-1500719729
RUNJOBID= node149-1500717395-19940
PBS_JOBID= 20623346
Free space on /tmp= 62000 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-4246853-1500719729/watcher-4246853-1500719729 -o /tmp/evaluation-result-4246853-1500719729/solver-4246853-1500719729 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500717395-19940 --watchdog 2560  bin/concrete HOME/instance-4246853-1500719729.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 3be13f028e00a9c301b8790857e4d16d
RANDOM SEED=1724843402

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

/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	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30090032 kB
MemAvailable:   30370152 kB
Buffers:          127768 kB
Cached:           433084 kB
SwapCached:            0 kB
Active:          1955112 kB
Inactive:         284968 kB
Active(anon):    1682696 kB
Inactive(anon):     8692 kB
Active(file):     272416 kB
Inactive(file):   276276 kB
Unevictable:        5952 kB
Mlocked:            5952 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24292 kB
Writeback:             0 kB
AnonPages:       1691928 kB
Mapped:            44448 kB
Shmem:              8848 kB
Slab:             128456 kB
SReclaimable:      94524 kB
SUnreclaim:        33932 kB
KernelStack:        4848 kB
PageTables:         8452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2454152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1458176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61976 MiB
End job on node149 at 2017-07-22 12:35:34