Trace number 4259715

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.4OPT86 16.1961 7.6002798

General information on the benchmark

NameRcpsp/Rcpsp-m1-j90/
Rcpsp-j90-07-04.xml
MD5SUM7161a4ea6c9fe1994b00af2c2beb2482
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark86
Best CPU time to get the best result obtained on this benchmark2.1235499
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints142
Number of domains2
Minimum domain size1
Maximum domain size472
Distribution of domain sizes[{"size":1,"count":1},{"size":472,"count":91}]
Minimum variable degree3
Maximum variable degree8
Distribution of variable degrees[{"degree":3,"count":12},{"degree":4,"count":20},{"degree":5,"count":29},{"degree":6,"count":21},{"degree":7,"count":9},{"degree":8,"count":1}]
Minimum constraint arity2
Maximum constraint arity53
Distribution of constraint arities[{"arity":2,"count":138},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":49,"count":1},{"arity":53,"count":1}]
Number of extensional constraints0
Number of intensional constraints138
Distribution of constraint types[{"type":"intension","count":138},{"type":"cumulative","count":4}]
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.25/2.18	c Concrete v3.4 running
8.77/4.25	o 471
8.77/4.30	o 470
9.12/4.33	o 469
9.12/4.36	o 468
9.12/4.39	o 467
9.50/4.42	o 466
9.50/4.45	o 465
9.50/4.48	o 464
9.83/4.51	o 463
9.83/4.52	o 462
9.83/4.54	o 461
9.83/4.56	o 460
9.83/4.57	o 459
9.83/4.59	o 458
10.12/4.61	o 457
10.12/4.62	o 456
10.12/4.64	o 455
10.12/4.66	o 454
10.12/4.67	o 453
10.12/4.68	o 452
10.12/4.69	o 451
10.42/4.70	o 450
10.42/4.72	o 449
10.42/4.73	o 448
10.42/4.74	o 447
10.42/4.75	o 446
10.73/4.86	o 445
10.73/4.89	o 444
11.03/4.90	o 443
11.03/4.91	o 442
11.03/4.92	o 441
11.03/4.94	o 440
11.03/4.95	o 439
11.03/4.96	o 438
11.03/4.97	o 437
11.03/4.98	o 436
11.03/4.99	o 435
11.03/5.00	o 434
11.34/5.01	o 433
11.34/5.02	o 432
11.34/5.03	o 431
11.34/5.04	o 430
11.34/5.05	o 429
11.34/5.06	o 428
11.34/5.06	o 427
11.34/5.07	o 426
11.34/5.08	o 425
11.34/5.09	o 424
11.66/5.10	o 423
11.66/5.11	o 422
11.66/5.12	o 421
11.66/5.13	o 420
11.66/5.14	o 419
11.66/5.15	o 418
11.66/5.15	o 417
11.66/5.16	o 416
11.66/5.17	o 415
11.66/5.18	o 414
11.66/5.19	o 413
11.92/5.20	o 412
11.92/5.20	o 411
11.92/5.21	o 410
11.92/5.22	o 409
11.92/5.23	o 408
11.92/5.24	o 407
11.92/5.25	o 406
11.92/5.25	o 405
11.92/5.26	o 404
11.92/5.27	o 403
11.92/5.28	o 402
11.92/5.29	o 401
12.09/5.30	o 400
12.09/5.31	o 399
12.09/5.31	o 398
12.09/5.32	o 397
12.09/5.33	o 396
12.09/5.34	o 395
12.09/5.35	o 394
12.09/5.36	o 393
12.09/5.37	o 392
12.09/5.38	o 391
12.09/5.39	o 390
12.30/5.40	o 389
12.30/5.41	o 388
12.30/5.41	o 387
12.30/5.42	o 386
12.30/5.43	o 385
12.30/5.44	o 384
12.30/5.45	o 383
12.30/5.46	o 382
12.30/5.47	o 381
12.30/5.48	o 380
12.30/5.49	o 379
12.30/5.49	o 378
12.30/5.50	o 377
12.49/5.51	o 376
12.49/5.52	o 375
12.49/5.53	o 374
12.49/5.53	o 373
12.49/5.54	o 372
12.49/5.55	o 371
12.49/5.56	o 370
12.49/5.57	o 369
12.49/5.57	o 368
12.49/5.58	o 367
12.49/5.59	o 366
12.49/5.60	o 365
12.64/5.61	o 364
12.64/5.61	o 363
12.64/5.62	o 362
12.64/5.63	o 361
12.64/5.64	o 360
12.64/5.65	o 359
12.64/5.65	o 358
12.64/5.66	o 357
12.64/5.67	o 356
12.64/5.68	o 355
12.64/5.68	o 354
12.64/5.69	o 353
12.74/5.70	o 352
12.74/5.71	o 351
12.74/5.72	o 350
12.74/5.72	o 349
12.74/5.73	o 348
12.74/5.74	o 347
12.74/5.75	o 346
12.74/5.76	o 345
12.74/5.76	o 344
12.74/5.77	o 343
12.74/5.78	o 342
12.74/5.79	o 341
12.74/5.79	o 340
12.88/5.80	o 339
12.88/5.81	o 338
12.88/5.82	o 337
12.88/5.82	o 336
12.88/5.83	o 335
12.88/5.84	o 334
12.88/5.85	o 333
12.88/5.86	o 332
12.88/5.86	o 331
12.88/5.87	o 330
12.88/5.88	o 329
12.88/5.89	o 328
12.88/5.89	o 327
13.16/5.90	o 326
13.16/5.91	o 325
13.16/5.92	o 324
13.16/5.92	o 323
13.16/5.93	o 322
13.16/5.94	o 321
13.16/5.95	o 320
13.16/5.95	o 319
13.16/5.96	o 318
13.16/5.97	o 317
13.16/5.98	o 316
13.16/5.98	o 315
13.16/5.99	o 314
13.45/6.00	o 313
13.45/6.01	o 312
13.45/6.02	o 311
13.45/6.03	o 310
13.45/6.03	o 309
13.45/6.04	o 308
13.45/6.05	o 307
13.45/6.06	o 306
13.45/6.07	o 305
13.45/6.08	o 304
13.45/6.08	o 303
13.45/6.09	o 302
13.76/6.10	o 301
13.76/6.11	o 300
13.76/6.12	o 299
13.76/6.12	o 298
13.76/6.13	o 297
13.76/6.14	o 296
13.76/6.15	o 295
13.76/6.15	o 294
13.76/6.16	o 293
13.76/6.17	o 292
13.76/6.18	o 291
13.76/6.18	o 290
13.76/6.19	o 289
14.06/6.20	o 288
14.06/6.21	o 287
14.06/6.21	o 286
14.06/6.22	o 285
14.06/6.23	o 284
14.06/6.24	o 283
14.06/6.25	o 282
14.06/6.25	o 281
14.06/6.26	o 280
14.06/6.27	o 279
14.06/6.28	o 278
14.06/6.29	o 277
14.06/6.30	o 276
14.36/6.30	o 275
14.36/6.31	o 274
14.36/6.33	o 273
14.36/6.34	o 272
14.36/6.34	o 271
14.36/6.35	o 270
14.36/6.36	o 269
14.36/6.37	o 268
14.36/6.37	o 267
14.36/6.38	o 266
14.36/6.39	o 265
14.36/6.39	o 264
14.65/6.40	o 263
14.65/6.41	o 262
14.65/6.41	o 261
14.65/6.42	o 260
14.65/6.43	o 259
14.65/6.44	o 258
14.65/6.44	o 257
14.65/6.45	o 256
14.65/6.46	o 255
14.65/6.46	o 254
14.65/6.47	o 253
14.65/6.48	o 252
14.65/6.49	o 251
14.65/6.49	o 250
14.95/6.50	o 249
14.95/6.51	o 248
14.95/6.51	o 247
14.95/6.52	o 246
14.95/6.53	o 245
14.95/6.53	o 244
14.95/6.54	o 243
14.95/6.55	o 242
14.95/6.55	o 241
14.95/6.56	o 240
14.95/6.57	o 239
14.95/6.57	o 238
14.95/6.58	o 237
14.95/6.59	o 236
14.95/6.59	o 235
14.95/6.60	o 234
15.09/6.61	o 233
15.09/6.61	o 232
15.09/6.62	o 231
15.09/6.63	o 230
15.09/6.63	o 229
15.09/6.64	o 228
15.09/6.65	o 227
15.09/6.65	o 226
15.09/6.66	o 225
15.09/6.67	o 224
15.09/6.67	o 223
15.09/6.68	o 222
15.09/6.69	o 221
15.09/6.69	o 220
15.09/6.70	o 219
15.20/6.71	o 218
15.20/6.71	o 217
15.20/6.72	o 216
15.20/6.73	o 215
15.20/6.74	o 214
15.20/6.74	o 213
15.20/6.75	o 212
15.20/6.76	o 211
15.20/6.76	o 210
15.20/6.77	o 209
15.20/6.78	o 208
15.20/6.78	o 207
15.20/6.79	o 206
15.31/6.80	o 205
15.31/6.80	o 204
15.31/6.81	o 203
15.31/6.82	o 202
15.31/6.82	o 201
15.31/6.83	o 200
15.31/6.84	o 199
15.31/6.84	o 198
15.31/6.85	o 197
15.31/6.86	o 196
15.31/6.86	o 195
15.31/6.87	o 194
15.31/6.88	o 193
15.31/6.88	o 192
15.31/6.89	o 191
15.31/6.90	o 190
15.42/6.90	o 189
15.42/6.91	o 188
15.42/6.91	o 187
15.42/6.92	o 186
15.42/6.93	o 185
15.42/6.93	o 184
15.42/6.94	o 183
15.42/6.95	o 182
15.42/6.95	o 181
15.42/6.96	o 180
15.42/6.97	o 179
15.42/6.97	o 178
15.42/6.98	o 177
15.42/6.98	o 176
15.42/6.99	o 175
15.52/7.00	o 174
15.52/7.00	o 173
15.52/7.01	o 172
15.52/7.02	o 171
15.52/7.02	o 170
15.52/7.03	o 169
15.52/7.03	o 168
15.52/7.04	o 167
15.52/7.05	o 166
15.52/7.05	o 165
15.52/7.06	o 164
15.52/7.07	o 163
15.52/7.07	o 162
15.52/7.08	o 161
15.52/7.09	o 160
15.52/7.09	o 159
15.63/7.10	o 158
15.63/7.11	o 157
15.63/7.11	o 156
15.63/7.12	o 155
15.63/7.13	o 154
15.63/7.13	o 153
15.63/7.14	o 152
15.63/7.14	o 151
15.63/7.15	o 150
15.63/7.16	o 149
15.63/7.16	o 148
15.63/7.17	o 147
15.63/7.18	o 146
15.63/7.18	o 145
15.63/7.19	o 144
15.73/7.20	o 143
15.73/7.21	o 142
15.73/7.21	o 141
15.73/7.22	o 140
15.73/7.23	o 139
15.73/7.23	o 138
15.73/7.24	o 137
15.73/7.25	o 136
15.73/7.25	o 135
15.73/7.26	o 134
15.73/7.27	o 133
15.73/7.27	o 132
15.73/7.28	o 131
15.73/7.29	o 130
15.73/7.29	o 129
15.84/7.30	o 128
15.84/7.31	o 127
15.84/7.32	o 126
15.84/7.32	o 125
15.84/7.33	o 124
15.84/7.34	o 123
15.84/7.34	o 122
15.84/7.35	o 121
15.84/7.36	o 120
15.84/7.36	o 119
15.84/7.37	o 118
15.84/7.38	o 117
15.84/7.38	o 116
15.84/7.39	o 115
15.84/7.39	o 114
15.96/7.40	o 113
15.96/7.41	o 112
15.96/7.41	o 111
15.96/7.42	o 110
15.96/7.43	o 109
15.96/7.43	o 108
15.96/7.44	o 107
15.96/7.45	o 106
15.96/7.45	o 105
15.96/7.46	o 104
15.96/7.47	o 103
15.96/7.47	o 102
15.96/7.48	o 101
15.96/7.48	o 100
15.96/7.49	o 99
16.06/7.50	o 98
16.06/7.50	o 97
16.06/7.51	o 96
16.06/7.52	o 95
16.06/7.52	o 94
16.06/7.53	o 93
16.06/7.54	o 92
16.06/7.54	o 91
16.06/7.55	o 90
16.06/7.56	o 89
16.06/7.56	o 88
16.06/7.57	o 87
16.06/7.58	o 86
16.06/7.58	v <instantiation cost="86">
16.06/7.58	v       <list>
16.06/7.58	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91]
16.06/7.58	v       </list>
16.06/7.58	v       <values>
16.06/7.58	v         0 0 20 21 23 2 11 3 11 16 21 15 26 34 31 35 24 35 26 30 44 32 51 50 39 39 37 47 70 33 56 23 42 32 41 69 57 30 55 44 17 58 38 51 57 58 40 40 48 58 42 44 22 42 48 48 49 66 61 46 50 64 59 52 49 58 68 56 53 62 65 46 72 70 73 51 69 63 63 47 75 49 59 59 70 68 71 74 77 79 78 86
16.06/7.58	v       </values>
16.06/7.58	v     </instantiation>
16.06/7.58	s OPTIMUM FOUND

Verifier Data 

OK	86

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-4259715-1501655099/watcher-4259715-1501655099 -o /tmp/evaluation-result-4259715-1501655099/solver-4259715-1501655099 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259715-1501655099.xml 

pid=15530
running on 4 cores: 1,3,5,7

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.31 2.18 1.92 3/199 15533
/proc/meminfo: memFree=30932280/32770624 swapFree=0/251304
[pid=15533] ppid=15530 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15533/stat : 15533 (runsolver) D 15530 15533 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 7420576 24240128 106 18446744073709551615 4194304 4338465 140736084097024 140736084094664 139892018909911 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 13103104 140736084103377 140736084103751 140736084103751 140736084107210 0
/proc/15533/statm: 5918 106 53 36 0 2156 0

[startup+0.100079 s]
/proc/loadavg: 2.31 2.18 1.92 3/199 15533
/proc/meminfo: memFree=30932280/32770624 swapFree=0/251304
[pid=15533] ppid=15530 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/15533/stat : 15533 (bash) S 15530 15533 3187 0 -1 4202496 719 3541 0 0 0 0 0 0 20 0 1 0 7420576 9736192 355 18446744073709551615 4194304 5098028 140736512133696 140736512131336 140384420326400 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 31182848 140736512139794 140736512139879 140736512139879 140736512143338 0
/proc/15533/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200278 s]
/proc/loadavg: 2.31 2.18 1.92 3/199 15533
/proc/meminfo: memFree=30932280/32770624 swapFree=0/251304
[pid=15533] ppid=15530 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/15533/stat : 15533 (bash) S 15530 15533 3187 0 -1 4202496 893 6494 0 0 0 0 0 1 20 0 1 0 7420576 9867264 377 18446744073709551615 4194304 5098028 140736512133696 140736512127704 140384420326400 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 31182848 140736512139794 140736512139879 140736512139879 140736512143338 0
/proc/15533/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300289 s]
/proc/loadavg: 2.31 2.18 1.92 3/199 15533
/proc/meminfo: memFree=30932280/32770624 swapFree=0/251304
[pid=15533] ppid=15530 vsize=13907308 CPUtime=0.12 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15530 15533 3187 0 -1 1077944320 5486 12352 0 0 5 0 5 2 20 0 14 0 7420576 14241083392 5163 18446744073709551615 4194304 4196468 140733128237008 140733128219552 139730338885367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
/proc/15533/statm: 3476827 5163 2554 1 0 3466332 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13907308

[startup+0.700217 s]
/proc/loadavg: 2.31 2.18 1.92 3/199 15533
/proc/meminfo: memFree=30932280/32770624 swapFree=0/251304
[pid=15533] ppid=15530 vsize=13974784 CPUtime=0.69 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15530 15533 3187 0 -1 1077944320 13680 12352 0 0 58 4 5 2 20 0 15 0 7420576 14310178816 15108 18446744073709551615 4194304 4196468 140733128237008 140733128219552 139730338885367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
/proc/15533/statm: 3493696 15108 3086 1 0 3482973 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784

[startup+1.50084 s]
/proc/loadavg: 2.31 2.18 1.92 5/214 15596
/proc/meminfo: memFree=30835780/32770624 swapFree=0/251520
[pid=15533] ppid=15530 vsize=13985408 CPUtime=1.95 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15530 15533 3187 0 -1 1077944320 28759 12352 0 0 180 8 5 2 20 0 15 0 7420576 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 140733128219552 139730338885367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
/proc/15533/statm: 3496352 43170 3362 1 0 3485533 0
[pid=15533/tid=15583] ppid=15530 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/15533/task/15583/stat : 15583 (java) S 15530 15533 3187 0 -1 1077944384 21777 12352 0 0 116 5 5 2 20 0 15 0 7420597 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139730343102752 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15584] ppid=15530 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15584/stat : 15584 (java) S 15530 15533 3187 0 -1 1077944384 208 12352 0 0 0 0 5 2 20 0 15 0 7420598 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139730258299408 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15585] ppid=15530 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15533/task/15585/stat : 15585 (java) S 15530 15533 3187 0 -1 1077944384 52 12352 0 0 1 0 5 2 20 0 15 0 7420598 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139730257246864 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15586] ppid=15530 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15533/task/15586/stat : 15586 (java) S 15530 15533 3187 0 -1 1077944384 50 12352 0 0 1 0 5 2 20 0 15 0 7420598 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139730256193808 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15587] ppid=15530 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15587/stat : 15587 (java) S 15530 15533 3187 0 -1 1077944384 46 12352 0 0 0 0 5 2 20 0 15 0 7420598 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139730255141264 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15588] ppid=15530 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15533/task/15588/stat : 15588 (java) S 15530 15533 3187 0 -1 1077944384 1166 12352 0 0 1 0 5 2 20 0 15 0 7420599 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139729817537264 139730338896514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15589] ppid=15530 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15589/stat : 15589 (java) S 15530 15533 3187 0 -1 1077944384 54 12352 0 0 0 0 5 2 20 0 15 0 7420600 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139729816483552 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15590] ppid=15530 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15590/stat : 15590 (java) S 15530 15533 3187 0 -1 1077944384 44 12352 0 0 0 0 5 2 20 0 15 0 7420600 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139729815430400 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15591] ppid=15530 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15591/stat : 15591 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139729814378960 139730338903963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15592] ppid=15530 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) S 15530 15533 3187 0 -1 1077944384 1079 12352 0 0 17 0 5 2 20 0 15 0 7420603 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139729813326064 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15593] ppid=15530 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) S 15530 15533 3187 0 -1 1077944384 778 12352 0 0 16 0 5 2 20 0 15 0 7420603 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139729812273520 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15594] ppid=15530 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) R 15530 15533 3187 0 -1 4202560 1337 12352 0 0 23 0 5 2 20 0 15 0 7420603 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139729811216336 139730338897302 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15595] ppid=15530 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139729810168160 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15596] ppid=15530 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15596/stat : 15596 (java) S 15530 15533 3187 0 -1 1077944384 10 12352 0 0 0 0 5 2 20 0 15 0 7420607 14321057792 43170 18446744073709551615 4194304 4196468 140733128237008 139729809116208 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 13985408

[startup+3.10071 s]
/proc/loadavg: 2.31 2.18 1.92 5/214 15597
/proc/meminfo: memFree=30747468/32770624 swapFree=0/251520
[pid=15533] ppid=15530 vsize=13997884 CPUtime=6.1 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15530 15533 3187 0 -1 1077944320 43614 12352 0 0 588 15 5 2 20 0 15 0 7420576 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 140733128219552 139730338885367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
/proc/15533/statm: 3499471 54597 3436 1 0 3488093 0
[pid=15533/tid=15583] ppid=15530 vsize=13997884 CPUtime=2.88 cores=1,3,5,7
/proc/15533/task/15583/stat : 15583 (java) R 15530 15533 3187 0 -1 4202560 29652 12352 0 0 273 8 5 2 20 0 15 0 7420597 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139730343114672 139730338897302 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15584] ppid=15530 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15584/stat : 15584 (java) S 15530 15533 3187 0 -1 1077944384 208 12352 0 0 0 0 5 2 20 0 15 0 7420598 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139730258299408 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15585] ppid=15530 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15533/task/15585/stat : 15585 (java) S 15530 15533 3187 0 -1 1077944384 52 12352 0 0 1 0 5 2 20 0 15 0 7420598 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139730257246864 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15586] ppid=15530 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15533/task/15586/stat : 15586 (java) S 15530 15533 3187 0 -1 1077944384 50 12352 0 0 1 0 5 2 20 0 15 0 7420598 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139730256193808 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15587] ppid=15530 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15587/stat : 15587 (java) S 15530 15533 3187 0 -1 1077944384 46 12352 0 0 0 0 5 2 20 0 15 0 7420598 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139730255141264 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15588] ppid=15530 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15533/task/15588/stat : 15588 (java) S 15530 15533 3187 0 -1 1077944384 1179 12352 0 0 1 0 5 2 20 0 15 0 7420599 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139729817537264 139730338896514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15589] ppid=15530 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15589/stat : 15589 (java) S 15530 15533 3187 0 -1 1077944384 54 12352 0 0 0 0 5 2 20 0 15 0 7420600 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139729816483552 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15590] ppid=15530 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15590/stat : 15590 (java) S 15530 15533 3187 0 -1 1077944384 44 12352 0 0 0 0 5 2 20 0 15 0 7420600 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139729815430400 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15591] ppid=15530 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15591/stat : 15591 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139729814378960 139730338903963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15592] ppid=15530 vsize=13997884 CPUtime=0.92 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) R 15530 15533 3187 0 -1 4202560 2018 12352 0 0 84 1 5 2 20 0 15 0 7420603 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139729813309248 139730322097855 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15593] ppid=15530 vsize=13997884 CPUtime=1.2 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) R 15530 15533 3187 0 -1 1077944384 3703 12352 0 0 112 1 5 2 20 0 15 0 7420603 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139729812273520 139730338896514 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15594] ppid=15530 vsize=13997884 CPUtime=1.2 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) R 15530 15533 3187 0 -1 4202560 4440 12352 0 0 111 2 5 2 20 0 15 0 7420603 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139729811220464 139730320295375 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15595] ppid=15530 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139729810168160 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15596] ppid=15530 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15596/stat : 15596 (java) S 15530 15533 3187 0 -1 1077944384 11 12352 0 0 0 0 5 2 20 0 15 0 7420607 14333833216 54597 18446744073709551615 4194304 4196468 140733128237008 139729809116208 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 13997884

[startup+6.30159 s]
/proc/loadavg: 2.44 2.21 1.93 3/214 15597
/proc/meminfo: memFree=30582124/32770624 swapFree=0/251524
[pid=15533] ppid=15530 vsize=14069564 CPUtime=14.36 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15530 15533 3187 0 -1 1077944320 67251 12352 0 0 1407 22 5 2 20 0 15 0 7420576 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 140733128219552 139730338885367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
/proc/15533/statm: 3517391 101541 3473 1 0 3506013 0
[pid=15533/tid=15583] ppid=15530 vsize=14069564 CPUtime=5.84 cores=1,3,5,7
/proc/15533/task/15583/stat : 15583 (java) R 15530 15533 3187 0 -1 4202560 42976 12352 0 0 566 11 5 2 20 0 15 0 7420597 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139730343113952 139729949879167 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15584] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15584/stat : 15584 (java) S 15530 15533 3187 0 -1 1077944384 280 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139730258299408 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15585] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15585/stat : 15585 (java) S 15530 15533 3187 0 -1 1077944384 77 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139730257246864 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15586] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15586/stat : 15586 (java) S 15530 15533 3187 0 -1 1077944384 69 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139730256193808 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15587] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15587/stat : 15587 (java) S 15530 15533 3187 0 -1 1077944384 88 12352 0 0 11 1 5 2 20 0 15 0 7420598 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139730255141264 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15588] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15588/stat : 15588 (java) S 15530 15533 3187 0 -1 1077944384 2043 12352 0 0 12 0 5 2 20 0 15 0 7420599 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139729817537264 139730338896514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15589] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15589/stat : 15589 (java) S 15530 15533 3187 0 -1 1077944384 54 12352 0 0 0 0 5 2 20 0 15 0 7420600 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139729816483616 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15590] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15590/stat : 15590 (java) S 15530 15533 3187 0 -1 1077944384 47 12352 0 0 0 0 5 2 20 0 15 0 7420600 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139729815430400 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15591] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15591/stat : 15591 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139729814378960 139730338903963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15592] ppid=15530 vsize=14069564 CPUtime=2.91 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) R 15530 15533 3187 0 -1 4202560 6618 12352 0 0 282 2 5 2 20 0 15 0 7420603 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139729813312088 139730320432744 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15593] ppid=15530 vsize=14069564 CPUtime=3.27 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) R 15530 15533 3187 0 -1 4202560 7139 12352 0 0 318 2 5 2 20 0 15 0 7420603 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139729812258480 139730323277511 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15594] ppid=15530 vsize=14069564 CPUtime=1.86 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) S 15530 15533 3187 0 -1 1077944384 5690 12352 0 0 177 2 5 2 20 0 15 0 7420603 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139729811220464 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15595] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139729810168160 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15596] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15596/stat : 15596 (java) S 15530 15533 3187 0 -1 1077944384 12 12352 0 0 0 0 5 2 20 0 15 0 7420607 14407233536 101541 18446744073709551615 4194304 4196468 140733128237008 139729809116208 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
Current children cumulated CPU time (s) 14.36
Current children cumulated vsize (KiB) 14069564

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

[startup+6.40077 s]
/proc/loadavg: 2.44 2.21 1.93 3/214 15597
/proc/meminfo: memFree=30582124/32770624 swapFree=0/251524
[pid=15533] ppid=15530 vsize=14069564 CPUtime=14.65 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15530 15533 3187 0 -1 1077944320 68757 12352 0 0 1436 22 5 2 20 0 15 0 7420576 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 140733128219552 139730338885367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
/proc/15533/statm: 3517391 104101 3473 1 0 3506013 0
[pid=15533/tid=15583] ppid=15530 vsize=14069564 CPUtime=5.93 cores=1,3,5,7
/proc/15533/task/15583/stat : 15583 (java) R 15530 15533 3187 0 -1 4202560 43110 12352 0 0 575 11 5 2 20 0 15 0 7420597 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139730343114032 139729947294996 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15584] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15584/stat : 15584 (java) S 15530 15533 3187 0 -1 1077944384 283 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139730258299408 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15585] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15585/stat : 15585 (java) S 15530 15533 3187 0 -1 1077944384 801 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139730257246864 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15586] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15586/stat : 15586 (java) S 15530 15533 3187 0 -1 1077944384 79 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139730256193808 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15587] ppid=15530 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/15533/task/15587/stat : 15587 (java) S 15530 15533 3187 0 -1 1077944384 120 12352 0 0 12 1 5 2 20 0 15 0 7420598 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139730255141264 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15588] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15588/stat : 15588 (java) S 15530 15533 3187 0 -1 1077944384 2084 12352 0 0 12 0 5 2 20 0 15 0 7420599 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139729817537264 139730338896514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15589] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15589/stat : 15589 (java) S 15530 15533 3187 0 -1 1077944384 54 12352 0 0 0 0 5 2 20 0 15 0 7420600 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139729816483616 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15590] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15590/stat : 15590 (java) S 15530 15533 3187 0 -1 1077944384 47 12352 0 0 0 0 5 2 20 0 15 0 7420600 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139729815430400 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15591] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15591/stat : 15591 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139729814378960 139730338903963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15592] ppid=15530 vsize=14069564 CPUtime=3 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) R 15530 15533 3187 0 -1 4202560 6796 12352 0 0 291 2 5 2 20 0 15 0 7420603 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139729813305856 139730318132553 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15593] ppid=15530 vsize=14069564 CPUtime=3.36 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) R 15530 15533 3187 0 -1 4202560 7519 12352 0 0 327 2 5 2 20 0 15 0 7420603 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139729812259400 139730320407833 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15594] ppid=15530 vsize=14069564 CPUtime=1.86 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) S 15530 15533 3187 0 -1 1077944384 5694 12352 0 0 177 2 5 2 20 0 15 0 7420603 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139729811220464 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15595] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139729810168160 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15596] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15596/stat : 15596 (java) S 15530 15533 3187 0 -1 1077944384 12 12352 0 0 0 0 5 2 20 0 15 0 7420607 14407233536 104101 18446744073709551615 4194304 4196468 140733128237008 139729809116208 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
Current children cumulated CPU time (s) 14.65
Current children cumulated vsize (KiB) 14069564

[startup+7.20063 s]
/proc/loadavg: 2.44 2.21 1.93 3/214 15597
/proc/meminfo: memFree=30523992/32770624 swapFree=0/251524
[pid=15533] ppid=15530 vsize=14069564 CPUtime=15.73 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15530 15533 3187 0 -1 1077944320 69405 12352 0 0 1542 24 5 2 20 0 15 0 7420576 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 140733128219552 139730338885367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
/proc/15533/statm: 3517391 108835 3474 1 0 3506013 0
[pid=15533/tid=15583] ppid=15530 vsize=14069564 CPUtime=6.72 cores=1,3,5,7
/proc/15533/task/15583/stat : 15583 (java) R 15530 15533 3187 0 -1 4202560 43362 12352 0 0 654 11 5 2 20 0 15 0 7420597 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139730343114112 139729949328751 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15584] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15584/stat : 15584 (java) S 15530 15533 3187 0 -1 1077944384 284 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139730258299408 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15585] ppid=15530 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/15533/task/15585/stat : 15585 (java) S 15530 15533 3187 0 -1 1077944384 803 12352 0 0 13 0 5 2 20 0 15 0 7420598 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139730257246864 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15586] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15586/stat : 15586 (java) S 15530 15533 3187 0 -1 1077944384 80 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139730256193808 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15587] ppid=15530 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/15533/task/15587/stat : 15587 (java) S 15530 15533 3187 0 -1 1077944384 122 12352 0 0 12 1 5 2 20 0 15 0 7420598 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139730255141264 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15588] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15588/stat : 15588 (java) S 15530 15533 3187 0 -1 1077944384 2086 12352 0 0 12 0 5 2 20 0 15 0 7420599 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139729817537264 139730338896514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15589] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15589/stat : 15589 (java) S 15530 15533 3187 0 -1 1077944384 54 12352 0 0 0 0 5 2 20 0 15 0 7420600 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139729816483616 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15590] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15590/stat : 15590 (java) S 15530 15533 3187 0 -1 1077944384 47 12352 0 0 0 0 5 2 20 0 15 0 7420600 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139729815430400 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15591] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15591/stat : 15591 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139729814378960 139730338903963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15592] ppid=15530 vsize=14069564 CPUtime=3.1 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) S 15530 15533 3187 0 -1 1077944384 6852 12352 0 0 301 2 5 2 20 0 15 0 7420603 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139729813326064 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15593] ppid=15530 vsize=14069564 CPUtime=3.5 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) S 15530 15533 3187 0 -1 1077944384 7766 12352 0 0 341 2 5 2 20 0 15 0 7420603 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139729812273520 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15594] ppid=15530 vsize=14069564 CPUtime=1.9 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) S 15530 15533 3187 0 -1 1077944384 5779 12352 0 0 180 3 5 2 20 0 15 0 7420603 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139729811220464 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15595] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139729810168160 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15596] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15596/stat : 15596 (java) S 15530 15533 3187 0 -1 1077944384 12 12352 0 0 0 0 5 2 20 0 15 0 7420607 14407233536 108835 18446744073709551615 4194304 4196468 140733128237008 139729809116208 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
Current children cumulated CPU time (s) 15.73
Current children cumulated vsize (KiB) 14069564

[startup+7.40062 s]
/proc/loadavg: 2.44 2.21 1.93 3/214 15597
/proc/meminfo: memFree=30523992/32770624 swapFree=0/251524
[pid=15533] ppid=15530 vsize=14069564 CPUtime=15.96 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15530 15533 3187 0 -1 1077944320 69495 12352 0 0 1564 25 5 2 20 0 15 0 7420576 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 140733128219552 139730338885367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
/proc/15533/statm: 3517391 120652 3474 1 0 3506013 0
[pid=15533/tid=15583] ppid=15530 vsize=14069564 CPUtime=6.92 cores=1,3,5,7
/proc/15533/task/15583/stat : 15583 (java) R 15530 15533 3187 0 -1 4202560 43386 12352 0 0 673 12 5 2 20 0 15 0 7420597 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139730343121520 139729948436160 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15584] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15584/stat : 15584 (java) S 15530 15533 3187 0 -1 1077944384 284 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139730258299408 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15585] ppid=15530 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/15533/task/15585/stat : 15585 (java) S 15530 15533 3187 0 -1 1077944384 803 12352 0 0 13 0 5 2 20 0 15 0 7420598 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139730257246864 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15586] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15586/stat : 15586 (java) S 15530 15533 3187 0 -1 1077944384 80 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139730256193808 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15587] ppid=15530 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/15533/task/15587/stat : 15587 (java) S 15530 15533 3187 0 -1 1077944384 122 12352 0 0 12 1 5 2 20 0 15 0 7420598 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139730255141264 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15588] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15588/stat : 15588 (java) S 15530 15533 3187 0 -1 1077944384 2124 12352 0 0 12 0 5 2 20 0 15 0 7420599 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729817537264 139730338896514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15589] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15589/stat : 15589 (java) S 15530 15533 3187 0 -1 1077944384 54 12352 0 0 0 0 5 2 20 0 15 0 7420600 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729816483616 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15590] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15590/stat : 15590 (java) S 15530 15533 3187 0 -1 1077944384 47 12352 0 0 0 0 5 2 20 0 15 0 7420600 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729815430400 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15591] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15591/stat : 15591 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729814378960 139730338903963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15592] ppid=15530 vsize=14069564 CPUtime=3.1 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) S 15530 15533 3187 0 -1 1077944384 6852 12352 0 0 301 2 5 2 20 0 15 0 7420603 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729813326064 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15593] ppid=15530 vsize=14069564 CPUtime=3.51 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) S 15530 15533 3187 0 -1 1077944384 7770 12352 0 0 342 2 5 2 20 0 15 0 7420603 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729812273520 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15594] ppid=15530 vsize=14069564 CPUtime=1.91 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) S 15530 15533 3187 0 -1 1077944384 5803 12352 0 0 181 3 5 2 20 0 15 0 7420603 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729811220464 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15595] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729810168160 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15596] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15596/stat : 15596 (java) S 15530 15533 3187 0 -1 1077944384 12 12352 0 0 0 0 5 2 20 0 15 0 7420607 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729809116208 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
Current children cumulated CPU time (s) 15.96
Current children cumulated vsize (KiB) 14069564

[startup+7.5007 s]
/proc/loadavg: 2.44 2.21 1.93 3/214 15597
/proc/meminfo: memFree=30523992/32770624 swapFree=0/251524
[pid=15533] ppid=15530 vsize=14069564 CPUtime=16.06 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15530 15533 3187 0 -1 1077944320 69500 12352 0 0 1574 25 5 2 20 0 15 0 7420576 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 140733128219552 139730338885367 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
/proc/15533/statm: 3517391 120652 3474 1 0 3506013 0
[pid=15533/tid=15583] ppid=15530 vsize=14069564 CPUtime=7.02 cores=1,3,5,7
/proc/15533/task/15583/stat : 15583 (java) R 15530 15533 3187 0 -1 4202560 43386 12352 0 0 683 12 5 2 20 0 15 0 7420597 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139730343121520 139729948916386 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15584] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15584/stat : 15584 (java) S 15530 15533 3187 0 -1 1077944384 284 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139730258299408 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15585] ppid=15530 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/15533/task/15585/stat : 15585 (java) S 15530 15533 3187 0 -1 1077944384 803 12352 0 0 13 0 5 2 20 0 15 0 7420598 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139730257246864 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15586] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15586/stat : 15586 (java) S 15530 15533 3187 0 -1 1077944384 80 12352 0 0 12 0 5 2 20 0 15 0 7420598 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139730256193808 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15587] ppid=15530 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/15533/task/15587/stat : 15587 (java) S 15530 15533 3187 0 -1 1077944384 122 12352 0 0 12 1 5 2 20 0 15 0 7420598 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139730255141264 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15588] ppid=15530 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/15533/task/15588/stat : 15588 (java) S 15530 15533 3187 0 -1 1077944384 2124 12352 0 0 12 0 5 2 20 0 15 0 7420599 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729817537264 139730338896514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15589] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15589/stat : 15589 (java) S 15530 15533 3187 0 -1 1077944384 54 12352 0 0 0 0 5 2 20 0 15 0 7420600 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729816483616 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15590] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15590/stat : 15590 (java) S 15530 15533 3187 0 -1 1077944384 47 12352 0 0 0 0 5 2 20 0 15 0 7420600 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729815430400 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15591] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15591/stat : 15591 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729814378960 139730338903963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15592] ppid=15530 vsize=14069564 CPUtime=3.1 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) S 15530 15533 3187 0 -1 1077944384 6852 12352 0 0 301 2 5 2 20 0 15 0 7420603 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729813326064 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15593] ppid=15530 vsize=14069564 CPUtime=3.51 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) S 15530 15533 3187 0 -1 1077944384 7770 12352 0 0 342 2 5 2 20 0 15 0 7420603 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729812273520 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15594] ppid=15530 vsize=14069564 CPUtime=1.91 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) S 15530 15533 3187 0 -1 1077944384 5808 12352 0 0 181 3 5 2 20 0 15 0 7420603 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729811220464 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15595] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) S 15530 15533 3187 0 -1 1077944384 3 12352 0 0 0 0 5 2 20 0 15 0 7420603 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729810168160 139730338895573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
[pid=15533/tid=15596] ppid=15530 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15533/task/15596/stat : 15596 (java) S 15530 15533 3187 0 -1 1077944384 12 12352 0 0 0 0 5 2 20 0 15 0 7420607 14407233536 120652 18446744073709551615 4194304 4196468 140733128237008 139729809116208 139730338896514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21667840 140733128239054 140733128241839 140733128241839 140733128245199 0
Current children cumulated CPU time (s) 16.06
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 7.60028
CPU time (s): 16.1961
CPU user time (s): 15.9085
CPU system time (s): 0.287657
CPU usage (%): 213.099
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9085
system time used= 0.287657
maximum resident set size= 483532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82013
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= 7822
involuntary context switches= 74

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03593 second user time and 0.077494 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 08:10:59
IDJOB=4259715
IDBENCH=129045
IDSOLVER=2646
FILE ID=node135/4259715-1501655099
RUNJOBID= node135-1501639717-27967
PBS_JOBID= 
Free space on /tmp= 61816 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-07-04.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259715-1501655099/watcher-4259715-1501655099 -o /tmp/evaluation-result-4259715-1501655099/solver-4259715-1501655099 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300  bin/concrete HOME/instance-4259715-1501655099.xml

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

MD5SUM BENCH= 7161a4ea6c9fe1994b00af2c2beb2482
RANDOM SEED=558681007

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:        30932652 kB
MemAvailable:   31211712 kB
Buffers:          131480 kB
Cached:           424548 kB
SwapCached:            0 kB
Active:          1159308 kB
Inactive:         259896 kB
Active(anon):     863748 kB
Inactive(anon):     8592 kB
Active(file):     295560 kB
Inactive(file):   251304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24192 kB
Writeback:             0 kB
AnonPages:        859392 kB
Mapped:            42488 kB
Shmem:              8960 kB
Slab:             122296 kB
SReclaimable:      96064 kB
SUnreclaim:        26232 kB
KernelStack:        3536 kB
PageTables:         6052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1777320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    628736 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= 61792 MiB
End job on node135 at 2017-08-02 08:11:07