Trace number 4259495

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4OPT17 12.2263 5.13694

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.82 4/195 8784
/proc/meminfo: memFree=27047180/32770624 swapFree=0/946524
[pid=8784] ppid=8781 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8784/stat : 8784 (runsolver) D 8781 8784 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13854067 24240128 108 18446744073709551615 4194304 4338465 140725914783632 140725914781272 140016086127319 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 28499968 140725914788048 140725914788422 140725914788422 140725914791882 0
/proc/8784/statm: 5918 108 54 36 0 2156 0

[startup+0.100016 s]
/proc/loadavg: 2.00 2.00 1.82 4/195 8784
/proc/meminfo: memFree=27047180/32770624 swapFree=0/946524
[pid=8784] ppid=8781 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/8784/stat : 8784 (bash) S 8781 8784 5678 0 -1 4202496 896 6483 0 0 0 0 0 1 20 0 1 0 13854067 9867264 377 18446744073709551615 4194304 5098028 140735737349152 140735737343160 140086407236608 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 7 0 0 7196144 7232144 34308096 140735737352721 140735737352806 140735737352806 140735737356266 0
/proc/8784/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200194 s]
/proc/loadavg: 2.00 2.00 1.82 4/195 8784
/proc/meminfo: memFree=27047180/32770624 swapFree=0/946524
[pid=8784] ppid=8781 vsize=9636 CPUtime=0.07 cores=0,2,4,6
/proc/8784/stat : 8784 (bash) S 8781 8784 5678 0 -1 4202496 936 12042 0 0 0 0 5 2 20 0 1 0 13854067 9867264 377 18446744073709551615 4194304 5098028 140735737349152 140735737344984 140086407236608 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 7 0 0 7196144 7232144 34308096 140735737352721 140735737352806 140735737352806 140735737356266 0
/proc/8784/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9636

[startup+0.300296 s]
/proc/loadavg: 2.00 2.00 1.82 4/195 8784
/proc/meminfo: memFree=27047180/32770624 swapFree=0/946524
[pid=8784] ppid=8781 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/8784/stat : 8784 (java) S 8781 8784 5678 0 -1 1077944320 5801 12722 0 0 5 1 6 2 20 0 14 0 13854067 14241083392 5480 18446744073709551615 4194304 4196468 140736491750064 140736491732608 139770460368631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
/proc/8784/statm: 3476827 5480 2554 1 0 3466332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700218 s]
/proc/loadavg: 2.00 2.00 1.82 4/195 8784
/proc/meminfo: memFree=27047180/32770624 swapFree=0/946524
[pid=8784] ppid=8781 vsize=13974784 CPUtime=0.7 cores=0,2,4,6
/proc/8784/stat : 8784 (java) S 8781 8784 5678 0 -1 1077944320 13932 12722 0 0 58 4 6 2 20 0 15 0 13854067 14310178816 14281 18446744073709551615 4194304 4196468 140736491750064 140736491732608 139770460368631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
/proc/8784/statm: 3493696 14281 3099 1 0 3482973 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784

[startup+1.50217 s]
/proc/loadavg: 2.00 2.00 1.82 3/210 8847
/proc/meminfo: memFree=26951528/32770624 swapFree=0/946204
[pid=8784] ppid=8781 vsize=13985408 CPUtime=1.9 cores=0,2,4,6
/proc/8784/stat : 8784 (java) S 8781 8784 5678 0 -1 1077944320 26762 12722 0 0 172 10 6 2 20 0 15 0 13854067 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 140736491732608 139770460368631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
/proc/8784/statm: 3496352 40168 3337 1 0 3485533 0
[pid=8784/tid=8834] ppid=8781 vsize=13985408 CPUtime=1.31 cores=0,2,4,6
/proc/8784/task/8834/stat : 8834 (java) S 8781 8784 5678 0 -1 1077944384 21258 12722 0 0 116 7 6 2 20 0 15 0 13854088 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139770464589744 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8835] ppid=8781 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8835/stat : 8835 (java) S 8781 8784 5678 0 -1 1077944384 27 12722 0 0 0 0 6 2 20 0 15 0 13854089 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139770394803344 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8836] ppid=8781 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8836/stat : 8836 (java) S 8781 8784 5678 0 -1 1077944384 185 12722 0 0 0 0 6 2 20 0 15 0 13854089 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139770393750544 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8837] ppid=8781 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8837/stat : 8837 (java) S 8781 8784 5678 0 -1 1077944384 44 12722 0 0 0 0 6 2 20 0 15 0 13854089 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139770392697744 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8838] ppid=8781 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8838/stat : 8838 (java) S 8781 8784 5678 0 -1 1077944384 50 12722 0 0 0 0 6 2 20 0 15 0 13854089 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139770391644944 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8839] ppid=8781 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8839/stat : 8839 (java) R 8781 8784 5678 0 -1 4202560 50 12722 0 0 0 0 6 2 20 0 15 0 13854090 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139769376637632 139770439999560 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8840] ppid=8781 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8840/stat : 8840 (java) S 8781 8784 5678 0 -1 1077944384 33 12722 0 0 0 0 6 2 20 0 15 0 13854090 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139769375585312 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8841] ppid=8781 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8841/stat : 8841 (java) S 8781 8784 5678 0 -1 1077944384 21 12722 0 0 0 0 6 2 20 0 15 0 13854091 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139769374532464 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8842] ppid=8781 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8842/stat : 8842 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854093 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139769373480784 139770460387227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8843] ppid=8781 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/8784/task/8843/stat : 8843 (java) S 8781 8784 5678 0 -1 1077944384 763 12722 0 0 13 0 6 2 20 0 15 0 13854093 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139769372429168 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8844] ppid=8781 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/8784/task/8844/stat : 8844 (java) S 8781 8784 5678 0 -1 1077944384 886 12722 0 0 16 0 6 2 20 0 15 0 13854093 14321057792 40168 18446744073709551615 4194304 4196468 140736491750064 139769371376368 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8845] ppid=8781 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/8784/task/8845/stat : 8845 (java) S 8781 8784 5678 0 -1 1077944384 1288 12722 0 0 23 0 6 2 20 0 15 0 13854093 14321057792 40194 18446744073709551615 4194304 4196468 140736491750064 139769370320944 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8846] ppid=8781 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8846/stat : 8846 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854094 14321057792 40194 18446744073709551615 4194304 4196468 140736491750064 139769369271008 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8847] ppid=8781 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8847/stat : 8847 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854098 14321057792 40194 18446744073709551615 4194304 4196468 140736491750064 139769368218288 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13985408

[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 1.82 3/210 8847
/proc/meminfo: memFree=26876148/32770624 swapFree=0/946204
[pid=8784] ppid=8781 vsize=13999932 CPUtime=5.69 cores=0,2,4,6
/proc/8784/stat : 8784 (java) S 8781 8784 5678 0 -1 1077944320 36252 12722 0 0 545 16 6 2 20 0 15 0 13854067 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 140736491732608 139770460368631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
/proc/8784/statm: 3499983 54502 3434 1 0 3488605 0
[pid=8784/tid=8834] ppid=8781 vsize=13999932 CPUtime=2.87 cores=0,2,4,6
/proc/8784/task/8834/stat : 8834 (java) R 8781 8784 5678 0 -1 4202560 25513 12722 0 0 271 8 6 2 20 0 15 0 13854088 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139770464601424 139770460380566 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8835] ppid=8781 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8835/stat : 8835 (java) S 8781 8784 5678 0 -1 1077944384 32 12722 0 0 0 0 6 2 20 0 15 0 13854089 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139770394803344 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8836] ppid=8781 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/8784/task/8836/stat : 8836 (java) S 8781 8784 5678 0 -1 1077944384 185 12722 0 0 1 0 6 2 20 0 15 0 13854089 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139770393750544 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8837] ppid=8781 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/8784/task/8837/stat : 8837 (java) S 8781 8784 5678 0 -1 1077944384 44 12722 0 0 1 0 6 2 20 0 15 0 13854089 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139770392697744 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8838] ppid=8781 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/8784/task/8838/stat : 8838 (java) S 8781 8784 5678 0 -1 1077944384 53 12722 0 0 1 0 6 2 20 0 15 0 13854089 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139770391644944 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8839] ppid=8781 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/8784/task/8839/stat : 8839 (java) S 8781 8784 5678 0 -1 1077944384 1258 12722 0 0 1 0 6 2 20 0 15 0 13854090 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139769376639344 139770460379778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8840] ppid=8781 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8840/stat : 8840 (java) S 8781 8784 5678 0 -1 1077944384 55 12722 0 0 0 0 6 2 20 0 15 0 13854090 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139769375585376 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8841] ppid=8781 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8841/stat : 8841 (java) S 8781 8784 5678 0 -1 1077944384 43 12722 0 0 0 0 6 2 20 0 15 0 13854091 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139769374532464 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8842] ppid=8781 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8842/stat : 8842 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854093 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139769373480784 139770460387227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8843] ppid=8781 vsize=13999932 CPUtime=0.86 cores=0,2,4,6
/proc/8784/task/8843/stat : 8843 (java) R 8781 8784 5678 0 -1 4202560 1849 12722 0 0 77 1 6 2 20 0 15 0 13854093 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139769372413312 139770439586140 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8844] ppid=8781 vsize=13999932 CPUtime=0.91 cores=0,2,4,6
/proc/8784/task/8844/stat : 8844 (java) S 8781 8784 5678 0 -1 1077944384 1687 12722 0 0 82 1 6 2 20 0 15 0 13854093 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139769371376368 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8845] ppid=8781 vsize=13999932 CPUtime=1.16 cores=0,2,4,6
/proc/8784/task/8845/stat : 8845 (java) R 8781 8784 5678 0 -1 4202560 3370 12722 0 0 106 2 6 2 20 0 15 0 13854093 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139769370323568 139770444412261 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8846] ppid=8781 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8846/stat : 8846 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854094 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139769369271008 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8847] ppid=8781 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8847/stat : 8847 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854098 14335930368 54502 18446744073709551615 4194304 4196468 140736491750064 139769368218288 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 13999932

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

[startup+3.57212 s]
/proc/loadavg: 2.00 2.00 1.82 3/210 8847
/proc/meminfo: memFree=26876148/32770624 swapFree=0/946204
[pid=8784] ppid=8781 vsize=14001980 CPUtime=7.16 cores=0,2,4,6
/proc/8784/stat : 8784 (java) S 8781 8784 5678 0 -1 1077944320 54647 12722 0 0 688 20 6 2 20 0 15 0 13854067 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 140736491732608 139770460368631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
/proc/8784/statm: 3500495 66883 3451 1 0 3489117 0
[pid=8784/tid=8834] ppid=8781 vsize=14001980 CPUtime=3.3 cores=0,2,4,6
/proc/8784/task/8834/stat : 8834 (java) R 8781 8784 5678 0 -1 4202560 33716 12722 0 0 312 10 6 2 20 0 15 0 13854088 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139770464586264 139770440644391 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8835] ppid=8781 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/8784/task/8835/stat : 8835 (java) S 8781 8784 5678 0 -1 1077944384 207 12722 0 0 2 0 6 2 20 0 15 0 13854089 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139770394803344 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8836] ppid=8781 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/8784/task/8836/stat : 8836 (java) S 8781 8784 5678 0 -1 1077944384 718 12722 0 0 2 0 6 2 20 0 15 0 13854089 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139770393750544 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8837] ppid=8781 vsize=14001980 CPUtime=0.11 cores=0,2,4,6
/proc/8784/task/8837/stat : 8837 (java) S 8781 8784 5678 0 -1 1077944384 65 12722 0 0 3 0 6 2 20 0 15 0 13854089 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139770392697744 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8838] ppid=8781 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/8784/task/8838/stat : 8838 (java) S 8781 8784 5678 0 -1 1077944384 66 12722 0 0 2 0 6 2 20 0 15 0 13854089 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139770391644944 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8839] ppid=8781 vsize=14001980 CPUtime=0.11 cores=0,2,4,6
/proc/8784/task/8839/stat : 8839 (java) S 8781 8784 5678 0 -1 1077944384 3239 12722 0 0 3 0 6 2 20 0 15 0 13854090 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139769376639344 139770460379778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8840] ppid=8781 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8840/stat : 8840 (java) S 8781 8784 5678 0 -1 1077944384 55 12722 0 0 0 0 6 2 20 0 15 0 13854090 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139769375585376 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8841] ppid=8781 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8841/stat : 8841 (java) S 8781 8784 5678 0 -1 1077944384 43 12722 0 0 0 0 6 2 20 0 15 0 13854091 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139769374532480 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8842] ppid=8781 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8842/stat : 8842 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854093 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139769373480784 139770460387227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8843] ppid=8781 vsize=14001980 CPUtime=1.26 cores=0,2,4,6
/proc/8784/task/8843/stat : 8843 (java) R 8781 8784 5678 0 -1 4202560 6607 12722 0 0 117 1 6 2 20 0 15 0 13854093 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139769372419888 139770441070295 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8844] ppid=8781 vsize=14001980 CPUtime=1.27 cores=0,2,4,6
/proc/8784/task/8844/stat : 8844 (java) R 8781 8784 5678 0 -1 4202560 3500 12722 0 0 118 1 6 2 20 0 15 0 13854093 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139769371357384 139770443851956 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8845] ppid=8781 vsize=14001980 CPUtime=1.34 cores=0,2,4,6
/proc/8784/task/8845/stat : 8845 (java) S 8781 8784 5678 0 -1 1077944384 4292 12722 0 0 124 2 6 2 20 0 15 0 13854093 14338027520 66883 18446744073709551615 4194304 4196468 140736491750064 139769370323568 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8846] ppid=8781 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8846/stat : 8846 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854094 14338027520 66949 18446744073709551615 4194304 4196468 140736491750064 139769369271008 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8847] ppid=8781 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8847/stat : 8847 (java) S 8781 8784 5678 0 -1 1077944384 7 12722 0 0 0 0 6 2 20 0 15 0 13854098 14338027520 66949 18446744073709551615 4194304 4196468 140736491750064 139769368218288 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 14001980

[startup+4.3006 s]
/proc/loadavg: 2.00 2.00 1.82 5/210 8847
/proc/meminfo: memFree=26770444/32770624 swapFree=0/946204
[pid=8784] ppid=8781 vsize=14069564 CPUtime=9.56 cores=0,2,4,6
/proc/8784/stat : 8784 (java) S 8781 8784 5678 0 -1 1077944320 71103 12722 0 0 925 23 6 2 20 0 15 0 13854067 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 140736491732608 139770460368631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
/proc/8784/statm: 3517391 80758 3454 1 0 3506013 0
[pid=8784/tid=8834] ppid=8781 vsize=14069564 CPUtime=3.83 cores=0,2,4,6
/proc/8784/task/8834/stat : 8834 (java) R 8781 8784 5678 0 -1 4202560 43591 12722 0 0 363 12 6 2 20 0 15 0 13854088 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139770464597200 139770063845376 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8835] ppid=8781 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/8784/task/8835/stat : 8835 (java) S 8781 8784 5678 0 -1 1077944384 220 12722 0 0 9 0 6 2 20 0 15 0 13854089 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139770394803344 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8836] ppid=8781 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/8784/task/8836/stat : 8836 (java) S 8781 8784 5678 0 -1 1077944384 722 12722 0 0 12 0 6 2 20 0 15 0 13854089 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139770393750544 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8837] ppid=8781 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/8784/task/8837/stat : 8837 (java) S 8781 8784 5678 0 -1 1077944384 77 12722 0 0 8 0 6 2 20 0 15 0 13854089 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139770392697744 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8838] ppid=8781 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/8784/task/8838/stat : 8838 (java) S 8781 8784 5678 0 -1 1077944384 68 12722 0 0 12 0 6 2 20 0 15 0 13854089 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139770391644944 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8839] ppid=8781 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/8784/task/8839/stat : 8839 (java) S 8781 8784 5678 0 -1 1077944384 3242 12722 0 0 11 0 6 2 20 0 15 0 13854090 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139769376639344 139770460379778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8840] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8840/stat : 8840 (java) S 8781 8784 5678 0 -1 1077944384 55 12722 0 0 0 0 6 2 20 0 15 0 13854090 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139769375585376 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8841] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8841/stat : 8841 (java) S 8781 8784 5678 0 -1 1077944384 43 12722 0 0 0 0 6 2 20 0 15 0 13854091 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139769374532480 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8842] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8842/stat : 8842 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854093 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139769373480784 139770460387227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8843] ppid=8781 vsize=14069564 CPUtime=1.78 cores=0,2,4,6
/proc/8784/task/8843/stat : 8843 (java) R 8781 8784 5678 0 -1 4202560 8928 12722 0 0 168 2 6 2 20 0 15 0 13854093 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139769372416400 139770445249887 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8844] ppid=8781 vsize=14069564 CPUtime=2 cores=0,2,4,6
/proc/8784/task/8844/stat : 8844 (java) R 8781 8784 5678 0 -1 4202560 7171 12722 0 0 191 1 6 2 20 0 15 0 13854093 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139769371365168 139770446390940 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8845] ppid=8781 vsize=14069564 CPUtime=1.56 cores=0,2,4,6
/proc/8784/task/8845/stat : 8845 (java) R 8781 8784 5678 0 -1 1077944384 4818 12722 0 0 145 3 6 2 20 0 15 0 13854093 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139769370323568 139770460379778 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8846] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8846/stat : 8846 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854094 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139769369271008 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8847] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8847/stat : 8847 (java) S 8781 8784 5678 0 -1 1077944384 7 12722 0 0 0 0 6 2 20 0 15 0 13854098 14407233536 80758 18446744073709551615 4194304 4196468 140736491750064 139769368218288 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 14069564

[startup+4.70105 s]
/proc/loadavg: 2.00 2.00 1.82 5/210 8847
/proc/meminfo: memFree=26746508/32770624 swapFree=0/946212
[pid=8784] ppid=8781 vsize=14069564 CPUtime=10.91 cores=0,2,4,6
/proc/8784/stat : 8784 (java) S 8781 8784 5678 0 -1 1077944320 71973 12722 0 0 1059 24 6 2 20 0 15 0 13854067 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 140736491732608 139770460368631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
/proc/8784/statm: 3517391 81421 3456 1 0 3506013 0
[pid=8784/tid=8834] ppid=8781 vsize=14069564 CPUtime=4.23 cores=0,2,4,6
/proc/8784/task/8834/stat : 8834 (java) R 8781 8784 5678 0 -1 4202560 43837 12722 0 0 403 12 6 2 20 0 15 0 13854088 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139770464599656 139770444682203 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8835] ppid=8781 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/8784/task/8835/stat : 8835 (java) S 8781 8784 5678 0 -1 1077944384 220 12722 0 0 9 0 6 2 20 0 15 0 13854089 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139770394803344 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8836] ppid=8781 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/8784/task/8836/stat : 8836 (java) S 8781 8784 5678 0 -1 1077944384 722 12722 0 0 12 0 6 2 20 0 15 0 13854089 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139770393750544 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8837] ppid=8781 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/8784/task/8837/stat : 8837 (java) S 8781 8784 5678 0 -1 1077944384 77 12722 0 0 8 0 6 2 20 0 15 0 13854089 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139770392697744 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8838] ppid=8781 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/8784/task/8838/stat : 8838 (java) S 8781 8784 5678 0 -1 1077944384 68 12722 0 0 12 0 6 2 20 0 15 0 13854089 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139770391644944 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8839] ppid=8781 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/8784/task/8839/stat : 8839 (java) S 8781 8784 5678 0 -1 1077944384 3242 12722 0 0 11 0 6 2 20 0 15 0 13854090 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139769376639344 139770460379778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8840] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8840/stat : 8840 (java) S 8781 8784 5678 0 -1 1077944384 55 12722 0 0 0 0 6 2 20 0 15 0 13854090 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139769375585376 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8841] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8841/stat : 8841 (java) S 8781 8784 5678 0 -1 1077944384 43 12722 0 0 0 0 6 2 20 0 15 0 13854091 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139769374532480 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8842] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8842/stat : 8842 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854093 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139769373480784 139770460387227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8843] ppid=8781 vsize=14069564 CPUtime=2.18 cores=0,2,4,6
/proc/8784/task/8843/stat : 8843 (java) R 8781 8784 5678 0 -1 4202560 9223 12722 0 0 208 2 6 2 20 0 15 0 13854093 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139769372422192 139770445493321 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8844] ppid=8781 vsize=14069564 CPUtime=2.4 cores=0,2,4,6
/proc/8784/task/8844/stat : 8844 (java) R 8781 8784 5678 0 -1 4202560 7261 12722 0 0 231 1 6 2 20 0 15 0 13854093 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139769371359360 139770439545976 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8845] ppid=8781 vsize=14069564 CPUtime=1.69 cores=0,2,4,6
/proc/8784/task/8845/stat : 8845 (java) R 8781 8784 5678 0 -1 1077944384 5056 12722 0 0 158 3 6 2 20 0 15 0 13854093 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139769370323568 139770460379778 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8846] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8846/stat : 8846 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854094 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139769369271008 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8847] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8847/stat : 8847 (java) S 8781 8784 5678 0 -1 1077944384 8 12722 0 0 0 0 6 2 20 0 15 0 13854098 14407233536 81421 18446744073709551615 4194304 4196468 140736491750064 139769368218288 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
Current children cumulated CPU time (s) 10.91
Current children cumulated vsize (KiB) 14069564

[startup+5.10105 s]
/proc/loadavg: 2.00 2.00 1.82 5/210 8847
/proc/meminfo: memFree=26746508/32770624 swapFree=0/946212
[pid=8784] ppid=8781 vsize=14069564 CPUtime=12.16 cores=0,2,4,6
/proc/8784/stat : 8784 (java) S 8781 8784 5678 0 -1 1077944320 72544 12722 0 0 1183 25 6 2 20 0 15 0 13854067 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 140736491732608 139770460368631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
/proc/8784/statm: 3517391 88363 3464 1 0 3506013 0
[pid=8784/tid=8834] ppid=8781 vsize=14069564 CPUtime=4.63 cores=0,2,4,6
/proc/8784/task/8834/stat : 8834 (java) R 8781 8784 5678 0 -1 4202560 44100 12722 0 0 442 13 6 2 20 0 15 0 13854088 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139770464599576 139770078241733 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8835] ppid=8781 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/8784/task/8835/stat : 8835 (java) S 8781 8784 5678 0 -1 1077944384 220 12722 0 0 9 0 6 2 20 0 15 0 13854089 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139770394803344 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8836] ppid=8781 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/8784/task/8836/stat : 8836 (java) S 8781 8784 5678 0 -1 1077944384 722 12722 0 0 12 0 6 2 20 0 15 0 13854089 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139770393750544 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8837] ppid=8781 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/8784/task/8837/stat : 8837 (java) S 8781 8784 5678 0 -1 1077944384 77 12722 0 0 8 0 6 2 20 0 15 0 13854089 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139770392697744 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8838] ppid=8781 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/8784/task/8838/stat : 8838 (java) S 8781 8784 5678 0 -1 1077944384 68 12722 0 0 12 0 6 2 20 0 15 0 13854089 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139770391644944 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8839] ppid=8781 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/8784/task/8839/stat : 8839 (java) S 8781 8784 5678 0 -1 1077944384 3242 12722 0 0 11 1 6 2 20 0 15 0 13854090 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139769376639344 139770460379778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8840] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8840/stat : 8840 (java) S 8781 8784 5678 0 -1 1077944384 55 12722 0 0 0 0 6 2 20 0 15 0 13854090 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139769375585376 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8841] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8841/stat : 8841 (java) S 8781 8784 5678 0 -1 1077944384 43 12722 0 0 0 0 6 2 20 0 15 0 13854091 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139769374532480 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8842] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8842/stat : 8842 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854093 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139769373480784 139770460387227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8843] ppid=8781 vsize=14069564 CPUtime=2.57 cores=0,2,4,6
/proc/8784/task/8843/stat : 8843 (java) R 8781 8784 5678 0 -1 4202560 9307 12722 0 0 247 2 6 2 20 0 15 0 13854093 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139769372429168 139770446396743 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8844] ppid=8781 vsize=14069564 CPUtime=2.79 cores=0,2,4,6
/proc/8784/task/8844/stat : 8844 (java) R 8781 8784 5678 0 -1 4202560 7353 12722 0 0 270 1 6 2 20 0 15 0 13854093 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139769371376368 139770445263927 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8845] ppid=8781 vsize=14069564 CPUtime=1.77 cores=0,2,4,6
/proc/8784/task/8845/stat : 8845 (java) S 8781 8784 5678 0 -1 1077944384 5188 12722 0 0 166 3 6 2 20 0 15 0 13854093 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139769370323568 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8846] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8846/stat : 8846 (java) S 8781 8784 5678 0 -1 1077944384 3 12722 0 0 0 0 6 2 20 0 15 0 13854094 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139769369271008 139770460378837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
[pid=8784/tid=8847] ppid=8781 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/8784/task/8847/stat : 8847 (java) S 8781 8784 5678 0 -1 1077944384 8 12722 0 0 0 0 6 2 20 0 15 0 13854098 14407233536 88363 18446744073709551615 4194304 4196468 140736491750064 139769368218288 139770460379778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140736491755469 140736491758254 140736491758254 140736491761615 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 5.13694
CPU time (s): 12.2263
CPU user time (s): 11.9347
CPU system time (s): 0.291629
CPU usage (%): 238.008
Max. virtual memory (cumulated for all children) (KiB): 14069632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9347
system time used= 0.291629
maximum resident set size= 356308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7012
involuntary context switches= 129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037985 second user time and 0.041661 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-02 07:24:15
IDJOB=4259495
IDBENCH=126251
IDSOLVER=2646
FILE ID=node128/4259495-1501652294
RUNJOBID= node128-1501642693-29417
PBS_JOBID= 
Free space on /tmp= 61824 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-4259495-1501652294/watcher-4259495-1501652294 -o /tmp/evaluation-result-4259495-1501652294/solver-4259495-1501652294 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29417 --watchdog 300  bin/concrete HOME/instance-4259495-1501652294.xml

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

MD5SUM BENCH= 3be13f028e00a9c301b8790857e4d16d
RANDOM SEED=939164108

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27046920 kB
MemAvailable:   27995776 kB
Buffers:          123620 kB
Cached:          1105656 kB
SwapCached:            0 kB
Active:          4352920 kB
Inactive:         954796 kB
Active(anon):    4078968 kB
Inactive(anon):     8532 kB
Active(file):     273952 kB
Inactive(file):   946264 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24524 kB
Writeback:             0 kB
AnonPages:       4078440 kB
Mapped:            43740 kB
Shmem:              8872 kB
Slab:             114616 kB
SReclaimable:      88948 kB
SUnreclaim:        25668 kB
KernelStack:        3696 kB
PageTables:        12460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4671732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3872768 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= 61800 MiB
End job on node128 at 2017-08-02 07:24:20