Trace number 4274470

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2017-07-26OPT17 2.1008401 1.1682301

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-06-a3.xml
MD5SUMb0c97e0505a0bc7a16ba291a1ac79ec8
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.038298
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints18
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":15},{"size":501,"count":6}]
Minimum variable degree0
Maximum variable degree7
Distribution of variable degrees[{"degree":0,"count":21},{"degree":2,"count":15},{"degree":6,"count":4},{"degree":7,"count":2}]
Minimum constraint arity1
Maximum constraint arity15
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":15},{"arity":6,"count":1},{"arity":15,"count":1}]
Number of extensional constraints0
Number of intensional constraints16
Distribution of constraint types[{"type":"intension","count":16},{"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 

0.35/0.43	c version: 2017-07-26
0.35/0.43	c seed: 1791795534
0.35/0.43	c timeout: 2520
0.35/0.43	c memlimit: 11000
0.35/0.43	c nbcore: 4
0.35/0.45	c Parsing instance...
1.01/0.86	c Parsing done, starting first complete search...
1.01/0.89	o 500
1.01/0.89	o 499
1.01/0.89	o 498
1.01/0.90	o 497
1.28/0.90	o 496
1.28/0.90	o 495
1.28/0.90	o 494
1.28/0.90	o 493
1.28/0.91	o 492
1.28/0.92	o 491
1.28/0.92	o 490
1.28/0.92	o 489
1.28/0.92	o 488
1.28/0.92	o 487
1.28/0.93	o 486
1.28/0.93	o 485
1.28/0.93	o 484
1.28/0.93	o 483
1.28/0.93	o 482
1.28/0.93	o 481
1.28/0.93	o 480
1.28/0.93	o 479
1.28/0.93	o 478
1.28/0.93	o 477
1.28/0.93	o 476
1.28/0.93	o 475
1.28/0.93	o 474
1.28/0.93	o 473
1.28/0.93	o 472
1.28/0.93	o 471
1.28/0.93	o 470
1.28/0.93	o 469
1.28/0.94	o 468
1.28/0.94	o 467
1.28/0.94	o 466
1.28/0.94	o 465
1.28/0.95	o 464
1.28/0.95	o 463
1.28/0.95	o 462
1.28/0.95	o 461
1.28/0.95	o 460
1.28/0.95	o 459
1.28/0.95	o 458
1.28/0.95	o 457
1.28/0.95	o 456
1.28/0.95	o 455
1.28/0.95	o 454
1.28/0.95	o 453
1.28/0.95	o 452
1.28/0.95	o 451
1.28/0.95	o 450
1.28/0.95	o 449
1.28/0.95	o 448
1.28/0.95	o 447
1.28/0.95	o 446
1.28/0.95	o 445
1.28/0.95	o 444
1.28/0.96	o 443
1.28/0.96	o 442
1.28/0.96	o 441
1.28/0.96	o 440
1.28/0.96	o 439
1.28/0.96	o 438
1.28/0.96	o 437
1.28/0.96	o 436
1.28/0.96	o 435
1.28/0.96	o 434
1.28/0.96	o 433
1.28/0.96	o 432
1.28/0.96	o 431
1.28/0.96	o 430
1.28/0.96	o 429
1.28/0.96	o 428
1.28/0.96	o 427
1.28/0.96	o 426
1.28/0.96	o 425
1.28/0.96	o 424
1.28/0.96	o 423
1.28/0.97	o 422
1.28/0.97	o 421
1.28/0.97	o 420
1.28/0.97	o 419
1.28/0.97	o 418
1.28/0.97	o 417
1.28/0.97	o 416
1.28/0.97	o 415
1.28/0.97	o 414
1.28/0.97	o 413
1.28/0.97	o 412
1.28/0.97	o 411
1.28/0.97	o 410
1.28/0.97	o 409
1.28/0.97	o 408
1.28/0.97	o 407
1.28/0.97	o 406
1.28/0.98	o 405
1.28/0.98	o 404
1.28/0.98	o 403
1.28/0.98	o 402
1.28/0.98	o 401
1.28/0.98	o 400
1.28/0.98	o 399
1.28/0.98	o 398
1.28/0.98	o 397
1.28/0.98	o 396
1.28/0.98	o 395
1.28/0.98	o 394
1.28/0.98	o 393
1.28/0.98	o 392
1.28/0.98	o 391
1.28/0.98	o 390
1.28/0.98	o 389
1.28/0.98	o 388
1.28/0.98	o 387
1.28/0.98	o 386
1.28/0.98	o 385
1.28/0.98	o 384
1.28/0.99	o 383
1.28/0.99	o 382
1.28/0.99	o 381
1.28/0.99	o 380
1.28/0.99	o 379
1.28/0.99	o 378
1.28/0.99	o 377
1.28/0.99	o 376
1.28/0.99	o 375
1.28/0.99	o 374
1.28/0.99	o 373
1.28/0.99	o 372
1.28/0.99	o 371
1.28/0.99	o 370
1.28/0.99	o 369
1.28/0.99	o 368
1.28/0.99	o 367
1.28/0.99	o 366
1.28/0.99	o 365
1.28/0.99	o 364
1.28/0.99	o 363
1.28/0.99	o 362
1.28/1.00	o 361
1.28/1.00	o 360
1.28/1.00	o 359
1.28/1.00	o 358
1.28/1.00	o 357
1.28/1.00	o 356
1.28/1.00	o 355
1.28/1.00	o 354
1.28/1.00	o 353
1.28/1.00	o 352
1.28/1.00	o 351
1.28/1.00	o 350
1.28/1.00	o 349
1.28/1.00	o 348
1.28/1.00	o 347
1.28/1.00	o 346
1.28/1.00	o 345
1.28/1.00	o 344
1.28/1.00	o 343
1.28/1.00	o 342
1.66/1.01	o 341
1.66/1.01	o 340
1.66/1.01	o 339
1.66/1.01	o 338
1.66/1.01	o 337
1.66/1.01	o 336
1.66/1.01	o 335
1.66/1.01	o 334
1.66/1.01	o 333
1.66/1.01	o 332
1.66/1.01	o 331
1.66/1.01	o 330
1.66/1.01	o 329
1.66/1.01	o 328
1.66/1.01	o 327
1.66/1.01	o 326
1.66/1.01	o 325
1.66/1.01	o 324
1.66/1.01	o 323
1.66/1.01	o 322
1.66/1.01	o 321
1.66/1.01	o 320
1.66/1.01	o 319
1.66/1.01	o 318
1.66/1.01	o 317
1.66/1.01	o 316
1.66/1.02	o 315
1.66/1.02	o 314
1.66/1.02	o 313
1.66/1.02	o 312
1.66/1.02	o 311
1.66/1.02	o 310
1.66/1.02	o 309
1.66/1.02	o 308
1.66/1.02	o 307
1.66/1.02	o 306
1.66/1.02	o 305
1.66/1.02	o 304
1.66/1.02	o 303
1.66/1.02	o 302
1.66/1.02	o 301
1.66/1.02	o 300
1.66/1.02	o 299
1.66/1.02	o 298
1.66/1.02	o 297
1.66/1.02	o 296
1.66/1.02	o 295
1.66/1.02	o 294
1.66/1.02	o 293
1.66/1.02	o 292
1.66/1.02	o 291
1.66/1.02	o 290
1.66/1.03	o 289
1.66/1.03	o 288
1.66/1.03	o 287
1.66/1.03	o 286
1.66/1.03	o 285
1.66/1.03	o 284
1.66/1.03	o 283
1.66/1.03	o 282
1.66/1.03	o 281
1.66/1.03	o 280
1.66/1.03	o 279
1.66/1.03	o 278
1.66/1.03	o 277
1.66/1.03	o 276
1.66/1.03	o 275
1.66/1.03	o 274
1.66/1.03	o 273
1.66/1.03	o 272
1.66/1.03	o 271
1.66/1.03	o 270
1.66/1.03	o 269
1.66/1.03	o 268
1.66/1.03	o 267
1.66/1.03	o 266
1.66/1.03	o 265
1.66/1.03	o 264
1.66/1.04	o 263
1.66/1.04	o 262
1.66/1.04	o 261
1.66/1.04	o 260
1.66/1.04	o 259
1.66/1.04	o 258
1.66/1.04	o 257
1.66/1.04	o 256
1.66/1.04	o 255
1.66/1.04	o 254
1.66/1.04	o 253
1.66/1.04	o 252
1.66/1.05	o 251
1.66/1.05	o 250
1.66/1.05	o 249
1.66/1.05	o 248
1.66/1.05	o 247
1.66/1.05	o 246
1.66/1.05	o 245
1.66/1.05	o 244
1.66/1.05	o 243
1.66/1.05	o 242
1.66/1.05	o 241
1.66/1.05	o 240
1.66/1.05	o 239
1.66/1.05	o 238
1.66/1.05	o 237
1.66/1.05	o 236
1.66/1.05	o 235
1.66/1.05	o 234
1.66/1.05	o 233
1.66/1.05	o 232
1.66/1.05	o 231
1.66/1.05	o 230
1.66/1.05	o 229
1.66/1.05	o 228
1.66/1.05	o 227
1.66/1.05	o 226
1.66/1.05	o 225
1.66/1.05	o 224
1.66/1.05	o 223
1.66/1.05	o 222
1.66/1.05	o 221
1.66/1.05	o 220
1.66/1.05	o 219
1.66/1.05	o 218
1.66/1.05	o 217
1.66/1.05	o 216
1.66/1.05	o 215
1.66/1.05	o 214
1.66/1.06	o 213
1.66/1.06	o 212
1.66/1.06	o 211
1.66/1.06	o 210
1.66/1.06	o 209
1.66/1.06	o 208
1.66/1.06	o 207
1.66/1.06	o 206
1.66/1.06	o 205
1.66/1.06	o 204
1.66/1.06	o 203
1.66/1.06	o 202
1.66/1.06	o 201
1.66/1.06	o 200
1.66/1.06	o 199
1.66/1.06	o 198
1.66/1.06	o 197
1.66/1.06	o 196
1.66/1.06	o 195
1.66/1.06	o 194
1.66/1.06	o 193
1.66/1.06	o 192
1.66/1.06	o 191
1.66/1.06	o 190
1.66/1.06	o 189
1.66/1.06	o 188
1.66/1.06	o 187
1.66/1.07	o 186
1.66/1.07	o 185
1.66/1.07	o 184
1.66/1.07	o 183
1.66/1.07	o 182
1.66/1.07	o 181
1.66/1.07	o 180
1.66/1.07	o 179
1.66/1.07	o 178
1.66/1.07	o 177
1.66/1.07	o 176
1.66/1.07	o 175
1.66/1.07	o 174
1.66/1.07	o 173
1.66/1.07	o 172
1.66/1.07	o 171
1.66/1.07	o 170
1.66/1.07	o 169
1.66/1.07	o 168
1.66/1.07	o 167
1.66/1.07	o 166
1.66/1.07	o 165
1.66/1.07	o 164
1.66/1.07	o 163
1.66/1.07	o 162
1.66/1.07	o 161
1.66/1.07	o 160
1.66/1.07	o 159
1.66/1.07	o 158
1.66/1.08	o 157
1.66/1.08	o 156
1.66/1.08	o 155
1.66/1.08	o 154
1.66/1.08	o 153
1.66/1.08	o 152
1.66/1.08	o 151
1.66/1.08	o 150
1.66/1.08	o 149
1.66/1.08	o 148
1.66/1.08	o 147
1.66/1.08	o 146
1.66/1.08	o 145
1.66/1.08	o 144
1.66/1.08	o 143
1.66/1.08	o 142
1.66/1.08	o 141
1.66/1.08	o 140
1.66/1.08	o 139
1.66/1.08	o 138
1.66/1.08	o 137
1.66/1.08	o 136
1.66/1.08	o 135
1.66/1.08	o 134
1.66/1.08	o 133
1.66/1.08	o 132
1.66/1.08	o 131
1.66/1.08	o 130
1.66/1.08	o 129
1.66/1.08	o 128
1.66/1.09	o 127
1.66/1.09	o 126
1.66/1.09	o 125
1.66/1.09	o 124
1.66/1.09	o 123
1.66/1.09	o 122
1.66/1.09	o 121
1.66/1.09	o 120
1.66/1.09	o 119
1.66/1.09	o 118
1.66/1.09	o 117
1.66/1.09	o 116
1.66/1.09	o 115
1.66/1.09	o 114
1.66/1.09	o 113
1.66/1.09	o 112
1.66/1.09	o 111
1.66/1.09	o 110
1.66/1.09	o 109
1.66/1.09	o 108
1.66/1.09	o 107
1.66/1.09	o 106
1.66/1.10	o 105
1.66/1.10	o 104
1.66/1.10	o 103
1.66/1.10	o 102
1.66/1.10	o 101
1.66/1.10	o 100
1.66/1.10	o 99
1.66/1.10	o 98
1.66/1.10	o 97
1.66/1.10	o 96
1.66/1.10	o 95
1.66/1.10	o 94
1.66/1.10	o 93
1.66/1.10	o 92
1.66/1.10	o 91
1.66/1.10	o 90
1.66/1.10	o 89
1.66/1.10	o 88
1.66/1.10	o 87
1.66/1.10	o 86
1.66/1.10	o 85
1.66/1.10	o 84
1.66/1.10	o 83
1.66/1.10	o 82
1.66/1.10	o 81
1.66/1.10	o 80
1.66/1.10	o 79
1.66/1.10	o 78
1.66/1.10	o 77
1.66/1.10	o 76
1.66/1.10	o 75
1.66/1.10	o 74
1.66/1.10	o 73
1.66/1.10	o 72
1.66/1.10	o 71
1.66/1.10	o 70
1.66/1.11	o 69
1.66/1.11	o 68
1.66/1.11	o 67
1.66/1.11	o 66
2.00/1.11	o 65
2.00/1.11	o 64
2.00/1.11	o 63
2.00/1.11	o 62
2.00/1.11	o 61
2.00/1.11	o 60
2.00/1.11	o 59
2.00/1.11	o 58
2.00/1.11	o 57
2.00/1.11	o 56
2.00/1.11	o 55
2.00/1.11	o 54
2.00/1.11	o 53
2.00/1.11	o 52
2.00/1.11	o 51
2.00/1.11	o 50
2.00/1.11	o 49
2.00/1.11	o 48
2.00/1.11	o 47
2.00/1.11	o 46
2.00/1.11	o 45
2.00/1.11	o 44
2.00/1.11	o 43
2.00/1.11	o 42
2.00/1.11	o 41
2.00/1.11	o 40
2.00/1.11	o 39
2.00/1.11	o 38
2.00/1.11	o 37
2.00/1.12	o 36
2.00/1.12	o 35
2.00/1.12	o 34
2.00/1.12	o 33
2.00/1.12	o 32
2.00/1.12	o 31
2.00/1.12	o 30
2.00/1.12	o 29
2.00/1.12	o 28
2.00/1.12	o 27
2.00/1.12	o 26
2.00/1.12	o 25
2.00/1.12	o 24
2.00/1.12	o 23
2.00/1.12	o 22
2.00/1.12	o 21
2.00/1.12	o 20
2.00/1.12	o 19
2.00/1.12	o 18
2.00/1.12	o 17
2.00/1.13	s OPTIMUM FOUND
2.00/1.13	v <instantiation>
2.00/1.13	v 	<list>
2.00/1.13	v 		x[0] x[1] x[2] x[3] x[4] x[5] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[1][2] y[1][3] y[1][4] y[1][5] y[2][3] y[2][4] y[2][5] y[3][4] y[3][5] y[4][5]
2.00/1.13	v 	</list>
2.00/1.13	v 	<values>
2.00/1.13	v 		0 3 5 9 16 17 3 5 9 16 17 2 6 13 14 4 11 12 7 8 1 
2.00/1.13	v 	</values>
2.00/1.13	v </instantiation>

Verifier Data 

OK	17

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274470-1502837679/watcher-4274470-1502837679 -o /tmp/evaluation-result-4274470-1502837679/solver-4274470-1502837679 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1791795534 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274470-1502837679.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100131 s]*
/proc/loadavg: 1.76 1.62 1.49 2/204 7868
/proc/meminfo: memFree=30529088/32770624 swapFree=67108860/67108860
[pid=7866] ppid=7863 vsize=13358552 memory=14140 CPUtime=0 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 12395 0 -1 1077944320 3370 0 0 0 0 0 0 0 20 0 6 0 125679416 13679157248 3535 18446744073709551615 4194304 4196468 140721371697760 140721371680304 140055017811703 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
/proc/7866/statm: 3339638 3535 1901 1 0 3329135 0
[pid=7866/tid=7868] ppid=7863 vsize=13358552 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7868/stat : 7868 (java) R 7863 7866 12395 0 -1 4202560 2092 0 0 0 0 0 0 0 20 0 6 0 125679426 13679157248 3601 18446744073709551615 4194304 4196468 140721371697760 140055022047824 140055010528855 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7869] ppid=7863 vsize=13358552 memory=3677534773662714415 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7869/stat : 7869 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 125679426 13679157248 3601 18446744073709551615 4194304 4196468 140721371697760 140054937226128 140055017821909 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7870] ppid=7863 vsize=13358552 memory=139687466661504 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7870/stat : 7870 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 125679426 13679157248 3601 18446744073709551615 4194304 4196468 140721371697760 140054936173328 140055017821909 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7871] ppid=7863 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7871/stat : 7871 (java) S 7863 7866 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 125679426 13679157248 3601 18446744073709551615 4194304 4196468 140721371697760 140054935121040 140055017821909 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7872] ppid=7863 vsize=13358552 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7872/stat : 7872 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 125679426 13679157248 3601 18446744073709551615 4194304 4196468 140721371697760 140054934068240 140055017821909 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14140 KiB

[startup+0.210525 s]*
/proc/loadavg: 1.76 1.62 1.49 2/216 7880
/proc/meminfo: memFree=30520332/32770624 swapFree=67108860/67108860
[pid=7866] ppid=7863 vsize=13906484 memory=22180 CPUtime=0.05 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 12395 0 -1 1077944320 5012 0 0 0 4 1 0 0 20 0 14 0 125679416 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140721371680304 140055017811703 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
/proc/7866/statm: 3476621 5545 2558 1 0 3466118 0
[pid=7866/tid=7868] ppid=7863 vsize=13906484 memory=8318255677412212789 CPUtime=0.05 cores=1,3,5,7
/proc/7866/task/7868/stat : 7868 (java) D 7863 7866 12395 0 -1 4202560 3110 0 0 0 4 1 0 0 20 0 14 0 125679426 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140055022049184 140055017833725 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7869] ppid=7863 vsize=13906484 memory=331 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7869/stat : 7869 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 125679426 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054937226128 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7870] ppid=7863 vsize=13906484 memory=139687466669546 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7870/stat : 7870 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 125679426 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054936173328 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7871] ppid=7863 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7871/stat : 7871 (java) S 7863 7866 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 125679426 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054935121040 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7872] ppid=7863 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7872/stat : 7872 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 125679426 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054934068240 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7873] ppid=7863 vsize=13906484 memory=139687466661504 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7873/stat : 7873 (java) S 7863 7866 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 125679428 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054496807024 140055017822850 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7874] ppid=7863 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7874/stat : 7874 (java) S 7863 7866 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 125679428 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054495752992 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7875] ppid=7863 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7875/stat : 7875 (java) S 7863 7866 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 125679428 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054494700656 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7876] ppid=7863 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7876/stat : 7876 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 125679431 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054493648976 140055017830299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7877] ppid=7863 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7877/stat : 7877 (java) S 7863 7866 12395 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 14 0 125679431 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054492596848 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7878] ppid=7863 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7878/stat : 7878 (java) S 7863 7866 12395 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 14 0 125679431 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054491544048 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7879] ppid=7863 vsize=13906484 memory=139687466661504 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7879/stat : 7879 (java) S 7863 7866 12395 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 125679431 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054490491760 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7880] ppid=7863 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7880/stat : 7880 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 125679431 14240239616 5545 18446744073709551615 4194304 4196468 140721371697760 140054489439200 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 22180 KiB

[startup+0.314176 s]*
/proc/loadavg: 1.76 1.62 1.49 4/217 7881
/proc/meminfo: memFree=30507300/32770624 swapFree=67108860/67108860
[pid=7866] ppid=7863 vsize=13975920 memory=37356 CPUtime=0.19 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 12395 0 -1 1077944320 9923 0 0 0 16 3 0 0 20 0 15 0 125679416 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140721371680304 140055017811703 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
/proc/7866/statm: 3493980 9339 3535 1 0 3482759 0
[pid=7866/tid=7868] ppid=7863 vsize=13975920 memory=6933928925625698159 CPUtime=0.13 cores=1,3,5,7
/proc/7866/task/7868/stat : 7868 (java) R 7863 7866 12395 0 -1 4202560 7680 0 0 0 11 2 0 0 20 0 15 0 125679426 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140055022039216 140055010489717 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7869] ppid=7863 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7869/stat : 7869 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054937226128 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7870] ppid=7863 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7870/stat : 7870 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054936173328 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7871] ppid=7863 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7871/stat : 7871 (java) S 7863 7866 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 125679426 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054935121040 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7872] ppid=7863 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7872/stat : 7872 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054934068240 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7873] ppid=7863 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7873/stat : 7873 (java) S 7863 7866 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 125679428 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054496807024 140055017822850 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7874] ppid=7863 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7874/stat : 7874 (java) S 7863 7866 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 125679428 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054495752992 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7875] ppid=7863 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7875/stat : 7875 (java) S 7863 7866 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 125679428 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054494700656 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7876] ppid=7863 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7876/stat : 7876 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 125679431 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054493648976 140055017830299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7877] ppid=7863 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7877/stat : 7877 (java) S 7863 7866 12395 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 125679431 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054492596848 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7878] ppid=7863 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7866/task/7878/stat : 7878 (java) S 7863 7866 12395 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 125679431 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054491544048 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7879] ppid=7863 vsize=13975920 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7866/task/7879/stat : 7879 (java) R 7863 7866 12395 0 -1 4202560 373 0 0 0 3 0 0 0 20 0 15 0 125679431 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054490491760 140054996436967 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7880] ppid=7863 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7880/stat : 7880 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 125679431 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054489439200 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7881] ppid=7863 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7881/stat : 7881 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679440 14311342080 9339 18446744073709551615 4194304 4196468 140721371697760 140054488385968 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 37356 KiB

[startup+0.700751 s]
/proc/loadavg: 1.76 1.62 1.49 5/217 7881
/proc/meminfo: memFree=30493420/32770624 swapFree=67108860/67108860
[pid=7866] ppid=7863 vsize=13977988 memory=64064 CPUtime=0.86 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 12395 0 -1 1077944320 13750 0 0 0 80 6 0 0 20 0 15 0 125679416 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140721371680304 140055017811703 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
/proc/7866/statm: 3494497 16016 3717 1 0 3483271 0
[pid=7866/tid=7868] ppid=7863 vsize=13977988 memory=1296 CPUtime=0.5 cores=1,3,5,7
/proc/7866/task/7868/stat : 7868 (java) R 7863 7866 12395 0 -1 4202560 10448 0 0 0 46 4 0 0 20 0 15 0 125679426 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140055022038112 140055001892190 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7869] ppid=7863 vsize=13977988 memory=200 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7869/stat : 7869 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054937226128 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7870] ppid=7863 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7870/stat : 7870 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054936173328 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7871] ppid=7863 vsize=13977988 memory=796 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7871/stat : 7871 (java) S 7863 7866 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 125679426 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054935121040 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7872] ppid=7863 vsize=13977988 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7872/stat : 7872 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054934068240 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7873] ppid=7863 vsize=13977988 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7873/stat : 7873 (java) S 7863 7866 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 125679428 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054496807024 140055017822850 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7874] ppid=7863 vsize=13977988 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7874/stat : 7874 (java) S 7863 7866 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 125679428 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054495752992 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7875] ppid=7863 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7875/stat : 7875 (java) S 7863 7866 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 125679428 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054494700656 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7876] ppid=7863 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7876/stat : 7876 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 125679431 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054493648976 140055017830299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7877] ppid=7863 vsize=13977988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7866/task/7877/stat : 7877 (java) S 7863 7866 12395 0 -1 1077944384 425 0 0 0 7 0 0 0 20 0 15 0 125679431 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054492596848 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7878] ppid=7863 vsize=13977988 memory=28 CPUtime=0.1 cores=1,3,5,7
/proc/7866/task/7878/stat : 7878 (java) S 7863 7866 12395 0 -1 1077944384 846 0 0 0 10 0 0 0 20 0 15 0 125679431 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054491544048 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7879] ppid=7863 vsize=13977988 memory=85 CPUtime=0.16 cores=1,3,5,7
/proc/7866/task/7879/stat : 7879 (java) S 7863 7866 12395 0 -1 1077944384 649 0 0 0 16 0 0 0 20 0 15 0 125679431 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054490491760 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7880] ppid=7863 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7880/stat : 7880 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 125679431 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054489439200 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7881] ppid=7863 vsize=13977988 memory=16797617098206 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7881/stat : 7881 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679440 14313459712 16016 18446744073709551615 4194304 4196468 140721371697760 140054488385968 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 64064 KiB

[startup+1.16819 s]
# the end of solver process 7866 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.0007 s, system=0.100137 s

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

[startup+0.800884 s]
/proc/loadavg: 1.76 1.62 1.49 5/217 7881
/proc/meminfo: memFree=30493420/32770624 swapFree=67108860/67108860
[pid=7866] ppid=7863 vsize=13980036 memory=72916 CPUtime=1.01 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 12395 0 -1 1077944320 14449 0 0 0 95 6 0 0 20 0 15 0 125679416 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140721371680304 140055017811703 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
/proc/7866/statm: 3495009 18229 3721 1 0 3483783 0
[pid=7866/tid=7868] ppid=7863 vsize=13980036 memory=15258134151190869 CPUtime=0.6 cores=1,3,5,7
/proc/7866/task/7868/stat : 7868 (java) R 7863 7866 12395 0 -1 4202560 11037 0 0 0 56 4 0 0 20 0 15 0 125679426 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140055022038528 140055017833629 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7869] ppid=7863 vsize=13980036 memory=7302707090305931118 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7869/stat : 7869 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054937226128 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7870] ppid=7863 vsize=13980036 memory=7591210055697983063 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7870/stat : 7870 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054936173328 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7871] ppid=7863 vsize=13980036 memory=8023532538772480356 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7871/stat : 7871 (java) S 7863 7866 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054935121040 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7872] ppid=7863 vsize=13980036 memory=7151822123874674544 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7872/stat : 7872 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054934068240 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7873] ppid=7863 vsize=13980036 memory=7301286350019781970 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7873/stat : 7873 (java) S 7863 7866 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 125679428 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054496807024 140055017822850 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7874] ppid=7863 vsize=13980036 memory=5788366128452757871 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7874/stat : 7874 (java) S 7863 7866 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 125679428 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054495752992 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7875] ppid=7863 vsize=13980036 memory=8021861276885999700 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7875/stat : 7875 (java) S 7863 7866 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 125679428 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054494700656 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7876] ppid=7863 vsize=13980036 memory=7368010367939275602 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7876/stat : 7876 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 125679431 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054493648976 140055017830299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7877] ppid=7863 vsize=13980036 memory=5787810879341941074 CPUtime=0.08 cores=1,3,5,7
/proc/7866/task/7877/stat : 7877 (java) S 7863 7866 12395 0 -1 1077944384 426 0 0 0 8 0 0 0 20 0 15 0 125679431 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054492596848 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7878] ppid=7863 vsize=13980036 memory=7666650937378105175 CPUtime=0.13 cores=1,3,5,7
/proc/7866/task/7878/stat : 7878 (java) S 7863 7866 12395 0 -1 1077944384 923 0 0 0 13 0 0 0 20 0 15 0 125679431 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054491544048 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7879] ppid=7863 vsize=13980036 memory=6935649255777723456 CPUtime=0.17 cores=1,3,5,7
/proc/7866/task/7879/stat : 7879 (java) S 7863 7866 12395 0 -1 1077944384 681 0 0 0 17 0 0 0 20 0 15 0 125679431 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054490491760 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7880] ppid=7863 vsize=13980036 memory=55 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7880/stat : 7880 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 125679431 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054489439200 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7881] ppid=7863 vsize=13980036 memory=13931 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7881/stat : 7881 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679440 14315556864 18229 18446744073709551615 4194304 4196468 140721371697760 140054488385968 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 72916 KiB

[startup+1.00121 s]*
/proc/loadavg: 1.76 1.62 1.49 5/217 7881
/proc/meminfo: memFree=30451536/32770624 swapFree=67108860/67108860
[pid=7866] ppid=7863 vsize=13980036 memory=95876 CPUtime=1.66 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 12395 0 -1 1077944320 18602 0 0 0 158 8 0 0 20 0 15 0 125679416 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140721371680304 140055017811703 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
/proc/7866/statm: 3495009 23969 3743 1 0 3483783 0
[pid=7866/tid=7868] ppid=7863 vsize=13980036 memory=6933928925625698159 CPUtime=0.81 cores=1,3,5,7
/proc/7866/task/7868/stat : 7868 (java) R 7863 7866 12395 0 -1 4202560 13110 0 0 0 75 6 0 0 20 0 15 0 125679426 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140055022041440 140055017823638 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7869] ppid=7863 vsize=13980036 memory=3677534773662714415 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7869/stat : 7869 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054937226128 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7870] ppid=7863 vsize=13980036 memory=8298057541905996788 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7870/stat : 7870 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054936173328 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7871] ppid=7863 vsize=13980036 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7871/stat : 7871 (java) S 7863 7866 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054935121040 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7872] ppid=7863 vsize=13980036 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7872/stat : 7872 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054934068240 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7873] ppid=7863 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7873/stat : 7873 (java) S 7863 7866 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 125679428 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054496807024 140055017822850 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7874] ppid=7863 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7874/stat : 7874 (java) S 7863 7866 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 125679428 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054495752992 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7875] ppid=7863 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7875/stat : 7875 (java) S 7863 7866 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 125679428 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054494700656 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7876] ppid=7863 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7876/stat : 7876 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 125679431 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054493648976 140055017830299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7877] ppid=7863 vsize=13980036 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/7866/task/7877/stat : 7877 (java) R 7863 7866 12395 0 -1 4202560 1087 0 0 0 23 0 0 0 20 0 15 0 125679431 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054492589480 140054997030344 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7878] ppid=7863 vsize=13980036 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/7866/task/7878/stat : 7878 (java) R 7863 7866 12395 0 -1 4202560 1538 0 0 0 30 0 0 0 20 0 15 0 125679431 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054491532848 140054995978184 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7879] ppid=7863 vsize=13980036 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/7866/task/7879/stat : 7879 (java) R 7863 7866 12395 0 -1 1077944384 1488 0 0 0 28 0 0 0 20 0 15 0 125679431 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054490491760 140055017822850 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7880] ppid=7863 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7880/stat : 7880 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 125679431 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054489439200 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7881] ppid=7863 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7881/stat : 7881 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679440 14315556864 23969 18446744073709551615 4194304 4196468 140721371697760 140054488385968 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 95876 KiB

[startup+1.11062 s]
/proc/loadavg: 1.76 1.62 1.49 5/217 7881
/proc/meminfo: memFree=30451536/32770624 swapFree=67108860/67108860
[pid=7866] ppid=7863 vsize=13980036 memory=106500 CPUtime=2 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 12395 0 -1 1077944320 20277 0 0 0 191 9 0 0 20 0 15 0 125679416 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140721371680304 140055017811703 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
/proc/7866/statm: 3495009 26625 3743 1 0 3483783 0
[pid=7866/tid=7868] ppid=7863 vsize=13980036 memory=64064 CPUtime=0.91 cores=1,3,5,7
/proc/7866/task/7868/stat : 7868 (java) R 7863 7866 12395 0 -1 4202560 13113 0 0 0 85 6 0 0 20 0 15 0 125679426 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140055022049088 140055017833533 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7869] ppid=7863 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7869/stat : 7869 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054937226128 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7870] ppid=7863 vsize=13980036 memory=200 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7870/stat : 7870 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054936173328 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7871] ppid=7863 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7871/stat : 7871 (java) S 7863 7866 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054935121040 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7872] ppid=7863 vsize=13980036 memory=279374737784344 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7872/stat : 7872 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679426 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054934068240 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7873] ppid=7863 vsize=13980036 memory=38128572172788 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7873/stat : 7873 (java) S 7863 7866 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 125679428 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054496807024 140055017822850 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7874] ppid=7863 vsize=13980036 memory=38128572172788 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7874/stat : 7874 (java) S 7863 7866 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 125679428 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054495752992 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7875] ppid=7863 vsize=13980036 memory=38128572172788 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7875/stat : 7875 (java) S 7863 7866 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 125679428 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054494700656 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7876] ppid=7863 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7876/stat : 7876 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 125679431 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054493648976 140055017830299 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7877] ppid=7863 vsize=13980036 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/7866/task/7877/stat : 7877 (java) R 7863 7866 12395 0 -1 4202560 2170 0 0 0 33 0 0 0 20 0 15 0 125679431 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054492589480 140054997057570 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7878] ppid=7863 vsize=13980036 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/7866/task/7878/stat : 7878 (java) R 7863 7866 12395 0 -1 4202560 1958 0 0 0 40 0 0 0 20 0 15 0 125679431 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054491530184 140054995939185 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7879] ppid=7863 vsize=13980036 memory=28 CPUtime=0.31 cores=1,3,5,7
/proc/7866/task/7879/stat : 7879 (java) S 7863 7866 12395 0 -1 1077944384 1654 0 0 0 31 0 0 0 20 0 15 0 125679431 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054490491760 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7880] ppid=7863 vsize=13980036 memory=85 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7880/stat : 7880 (java) S 7863 7866 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 125679431 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054489439200 140055017821909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
[pid=7866/tid=7881] ppid=7863 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7881/stat : 7881 (java) S 7863 7866 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 125679440 14315556864 26625 18446744073709551615 4194304 4196468 140721371697760 140054488385968 140055017822850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140721371705714 140721371705897 140721371705897 140721371709391 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 106500 KiB

Child status: 0
Real time (s): 1.16823
CPU time (s): 2.10084
CPU user time (s): 2.0007
CPU system time (s): 0.100137
CPU usage (%): 179.831
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 106500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.0007
system time used= 0.100137
maximum resident set size= 110136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20569
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1687
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 7866
#   total CPU time (s): 2.10084
#   total CPU user time (s): 2.0007
#   total CPU system time (s): 0.100137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038932 second user time and 0.065569 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-16 00:40:47
IDJOB=4274470
IDBENCH=126217
IDSOLVER=2667
FILE ID=node135/4274470-1502837679
RUNJOBID= node135-1502658244-13745
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-06-a3.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274470-1502837679/watcher-4274470-1502837679 -o /tmp/evaluation-result-4274470-1502837679/solver-4274470-1502837679 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1791795534 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274470-1502837679.xml

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

MD5SUM BENCH= b0c97e0505a0bc7a16ba291a1ac79ec8
RANDOM SEED=1791795534

node135.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.21
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.21
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.21
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.21
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:        30532344 kB
MemAvailable:   31597316 kB
Buffers:          327824 kB
Cached:          1039948 kB
SwapCached:            0 kB
Active:          1179520 kB
Inactive:         604328 kB
Active(anon):     416532 kB
Inactive(anon):    49516 kB
Active(file):     762988 kB
Inactive(file):   554812 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42368 kB
Writeback:             4 kB
AnonPages:        416208 kB
Mapped:            76268 kB
Shmem:             49848 kB
Slab:             154452 kB
SReclaimable:     126016 kB
SUnreclaim:        28436 kB
KernelStack:        3552 kB
PageTables:         6832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1433600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 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= 61948 MiB
End job on node135 at 2017-08-16 00:40:49