Trace number 4262101

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 15.9203 7.5513101

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.1649001
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.32/2.14	c Concrete v3.4 running
8.87/4.22	o 471
8.87/4.26	o 470
9.22/4.30	o 469
9.22/4.33	o 468
9.22/4.36	o 467
9.22/4.40	o 466
9.57/4.42	o 465
9.57/4.44	o 464
9.57/4.47	o 463
9.57/4.49	o 462
9.91/4.51	o 461
9.91/4.52	o 460
9.91/4.54	o 459
9.91/4.55	o 458
9.91/4.57	o 457
9.91/4.58	o 456
9.91/4.60	o 455
10.20/4.62	o 454
10.20/4.62	o 453
10.20/4.64	o 452
10.20/4.65	o 451
10.20/4.66	o 450
10.20/4.67	o 449
10.20/4.69	o 448
10.50/4.70	o 447
10.50/4.71	o 446
10.50/4.77	o 445
10.50/4.78	o 444
10.50/4.79	o 443
10.81/4.81	o 442
10.81/4.82	o 441
10.81/4.83	o 440
10.81/4.85	o 439
10.81/4.86	o 438
10.81/4.87	o 437
10.81/4.88	o 436
10.81/4.89	o 435
11.12/4.90	o 434
11.12/4.91	o 433
11.12/4.92	o 432
11.12/4.93	o 431
11.12/4.94	o 430
11.12/4.95	o 429
11.12/4.96	o 428
11.12/4.97	o 427
11.12/4.98	o 426
11.12/4.99	o 425
11.42/5.00	o 424
11.42/5.01	o 423
11.42/5.02	o 422
11.42/5.03	o 421
11.42/5.04	o 420
11.42/5.05	o 419
11.42/5.06	o 418
11.42/5.07	o 417
11.42/5.07	o 416
11.42/5.08	o 415
11.42/5.09	o 414
11.42/5.10	o 413
11.77/5.11	o 412
11.77/5.12	o 411
11.77/5.13	o 410
11.77/5.14	o 409
11.77/5.14	o 408
11.77/5.15	o 407
11.77/5.16	o 406
11.77/5.17	o 405
11.77/5.18	o 404
11.77/5.19	o 403
11.77/5.19	o 402
11.95/5.20	o 401
11.95/5.21	o 400
11.95/5.22	o 399
11.95/5.23	o 398
11.95/5.24	o 397
11.95/5.25	o 396
11.95/5.26	o 395
11.95/5.27	o 394
11.95/5.28	o 393
11.95/5.28	o 392
11.95/5.29	o 391
12.13/5.30	o 390
12.13/5.31	o 389
12.13/5.32	o 388
12.13/5.33	o 387
12.13/5.34	o 386
12.13/5.35	o 385
12.13/5.36	o 384
12.13/5.37	o 383
12.13/5.38	o 382
12.13/5.39	o 381
12.13/5.40	o 380
12.33/5.40	o 379
12.33/5.41	o 378
12.33/5.42	o 377
12.33/5.43	o 376
12.33/5.44	o 375
12.33/5.45	o 374
12.33/5.45	o 373
12.33/5.46	o 372
12.33/5.47	o 371
12.33/5.48	o 370
12.33/5.49	o 369
12.33/5.49	o 368
12.48/5.50	o 367
12.48/5.51	o 366
12.48/5.52	o 365
12.48/5.53	o 364
12.48/5.53	o 363
12.48/5.54	o 362
12.48/5.55	o 361
12.48/5.56	o 360
12.48/5.57	o 359
12.48/5.58	o 358
12.48/5.58	o 357
12.48/5.59	o 356
12.48/5.60	o 355
12.60/5.61	o 354
12.60/5.61	o 353
12.60/5.62	o 352
12.60/5.63	o 351
12.60/5.64	o 350
12.60/5.65	o 349
12.60/5.66	o 348
12.60/5.66	o 347
12.60/5.67	o 346
12.60/5.68	o 345
12.60/5.69	o 344
12.60/5.70	o 343
12.78/5.70	o 342
12.78/5.71	o 341
12.78/5.72	o 340
12.78/5.73	o 339
12.78/5.74	o 338
12.78/5.74	o 337
12.78/5.75	o 336
12.78/5.76	o 335
12.78/5.77	o 334
12.78/5.77	o 333
12.78/5.78	o 332
12.78/5.79	o 331
13.05/5.80	o 330
13.05/5.80	o 329
13.05/5.81	o 328
13.05/5.82	o 327
13.05/5.83	o 326
13.05/5.84	o 325
13.05/5.84	o 324
13.05/5.85	o 323
13.05/5.86	o 322
13.05/5.87	o 321
13.05/5.87	o 320
13.05/5.88	o 319
13.05/5.89	o 318
13.36/5.90	o 317
13.36/5.90	o 316
13.36/5.91	o 315
13.36/5.92	o 314
13.36/5.93	o 313
13.36/5.94	o 312
13.36/5.95	o 311
13.36/5.96	o 310
13.36/5.96	o 309
13.36/5.97	o 308
13.36/5.98	o 307
13.36/5.99	o 306
13.66/6.00	o 305
13.66/6.01	o 304
13.66/6.02	o 303
13.66/6.03	o 302
13.66/6.04	o 301
13.66/6.04	o 300
13.66/6.05	o 299
13.66/6.06	o 298
13.66/6.07	o 297
13.66/6.08	o 296
13.66/6.09	o 295
13.97/6.10	o 294
13.97/6.10	o 293
13.97/6.11	o 292
13.97/6.12	o 291
13.97/6.13	o 290
13.97/6.14	o 289
13.97/6.15	o 288
13.97/6.16	o 287
13.97/6.17	o 286
13.97/6.17	o 285
13.97/6.18	o 284
13.97/6.19	o 283
14.27/6.20	o 282
14.27/6.21	o 281
14.27/6.22	o 280
14.27/6.23	o 279
14.27/6.24	o 278
14.27/6.24	o 277
14.27/6.25	o 276
14.27/6.26	o 275
14.27/6.27	o 274
14.27/6.27	o 273
14.27/6.28	o 272
14.27/6.29	o 271
14.27/6.29	o 270
14.53/6.30	o 269
14.53/6.31	o 268
14.53/6.32	o 267
14.53/6.32	o 266
14.53/6.33	o 265
14.53/6.33	o 264
14.53/6.34	o 263
14.53/6.35	o 262
14.53/6.35	o 261
14.53/6.36	o 260
14.53/6.36	o 259
14.53/6.37	o 258
14.53/6.38	o 257
14.53/6.38	o 256
14.53/6.39	o 255
14.65/6.40	o 254
14.65/6.40	o 253
14.65/6.41	o 252
14.65/6.42	o 251
14.65/6.42	o 250
14.65/6.43	o 249
14.65/6.44	o 248
14.65/6.45	o 247
14.65/6.45	o 246
14.65/6.46	o 245
14.65/6.47	o 244
14.65/6.47	o 243
14.65/6.48	o 242
14.65/6.49	o 241
14.65/6.49	o 240
14.76/6.50	o 239
14.76/6.51	o 238
14.76/6.51	o 237
14.76/6.52	o 236
14.76/6.53	o 235
14.76/6.54	o 234
14.76/6.54	o 233
14.76/6.55	o 232
14.76/6.56	o 231
14.76/6.56	o 230
14.76/6.57	o 229
14.76/6.58	o 228
14.76/6.58	o 227
14.76/6.59	o 226
14.76/6.60	o 225
14.87/6.60	o 224
14.87/6.61	o 223
14.87/6.62	o 222
14.87/6.62	o 221
14.87/6.63	o 220
14.87/6.64	o 219
14.87/6.65	o 218
14.87/6.65	o 217
14.87/6.66	o 216
14.87/6.67	o 215
14.87/6.67	o 214
14.87/6.68	o 213
14.87/6.69	o 212
14.87/6.69	o 211
14.87/6.70	o 210
15.00/6.71	o 209
15.00/6.72	o 208
15.00/6.72	o 207
15.00/6.73	o 206
15.00/6.74	o 205
15.00/6.74	o 204
15.00/6.75	o 203
15.00/6.76	o 202
15.00/6.76	o 201
15.00/6.77	o 200
15.00/6.78	o 199
15.00/6.78	o 198
15.00/6.79	o 197
15.00/6.80	o 196
15.10/6.80	o 195
15.10/6.81	o 194
15.10/6.82	o 193
15.10/6.82	o 192
15.10/6.83	o 191
15.10/6.84	o 190
15.10/6.84	o 189
15.10/6.85	o 188
15.10/6.85	o 187
15.10/6.86	o 186
15.10/6.87	o 185
15.10/6.87	o 184
15.10/6.88	o 183
15.10/6.89	o 182
15.10/6.89	o 181
15.21/6.90	o 180
15.21/6.91	o 179
15.21/6.91	o 178
15.21/6.92	o 177
15.21/6.93	o 176
15.21/6.93	o 175
15.21/6.94	o 174
15.21/6.95	o 173
15.21/6.95	o 172
15.21/6.96	o 171
15.21/6.97	o 170
15.21/6.97	o 169
15.21/6.98	o 168
15.21/6.99	o 167
15.21/6.99	o 166
15.31/7.00	o 165
15.31/7.01	o 164
15.31/7.01	o 163
15.31/7.02	o 162
15.31/7.03	o 161
15.31/7.03	o 160
15.31/7.04	o 159
15.31/7.05	o 158
15.31/7.05	o 157
15.31/7.06	o 156
15.31/7.07	o 155
15.31/7.07	o 154
15.31/7.08	o 153
15.31/7.09	o 152
15.31/7.10	o 151
15.41/7.10	o 150
15.41/7.11	o 149
15.41/7.12	o 148
15.41/7.12	o 147
15.41/7.13	o 146
15.41/7.14	o 145
15.41/7.14	o 144
15.41/7.15	o 143
15.41/7.16	o 142
15.41/7.17	o 141
15.41/7.17	o 140
15.41/7.18	o 139
15.41/7.19	o 138
15.41/7.19	o 137
15.52/7.20	o 136
15.52/7.21	o 135
15.52/7.21	o 134
15.52/7.22	o 133
15.52/7.23	o 132
15.52/7.23	o 131
15.52/7.24	o 130
15.52/7.25	o 129
15.52/7.25	o 128
15.52/7.26	o 127
15.52/7.27	o 126
15.52/7.27	o 125
15.52/7.28	o 124
15.52/7.29	o 123
15.52/7.29	o 122
15.63/7.30	o 121
15.63/7.31	o 120
15.63/7.31	o 119
15.63/7.32	o 118
15.63/7.33	o 117
15.63/7.33	o 116
15.63/7.34	o 115
15.63/7.34	o 114
15.63/7.35	o 113
15.63/7.36	o 112
15.63/7.36	o 111
15.63/7.37	o 110
15.63/7.38	o 109
15.63/7.38	o 108
15.63/7.39	o 107
15.63/7.40	o 106
15.74/7.40	o 105
15.74/7.41	o 104
15.74/7.42	o 103
15.74/7.42	o 102
15.74/7.43	o 101
15.74/7.43	o 100
15.74/7.44	o 99
15.74/7.45	o 98
15.74/7.45	o 97
15.74/7.46	o 96
15.74/7.47	o 95
15.74/7.47	o 94
15.74/7.48	o 93
15.74/7.49	o 92
15.74/7.49	o 91
15.85/7.50	o 90
15.85/7.51	o 89
15.85/7.51	o 88
15.85/7.52	o 87
15.85/7.53	o 86
15.85/7.53	v <instantiation cost="86">
15.85/7.53	v       <list>
15.85/7.53	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]
15.85/7.53	v       </list>
15.85/7.53	v       <values>
15.85/7.53	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
15.85/7.53	v       </values>
15.85/7.53	v     </instantiation>
15.85/7.53	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-4262101-1502451625/watcher-4262101-1502451625 -o /tmp/evaluation-result-4262101-1502451625/solver-4262101-1502451625 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4262101-1502451625.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.49 1.43 1.42 2/194 11267
/proc/meminfo: memFree=30549844/32770624 swapFree=0/506188
[pid=11267] ppid=11264 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11267/stat : 11267 (runsolver) D 11264 11267 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47383296 24240128 106 18446744073709551615 4194304 4338465 140736729745024 140736729742664 140375587500759 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 15966208 140736729751761 140736729752137 140736729752137 140736729755594 0
/proc/11267/statm: 5918 106 53 36 0 2156 0

[startup+0.100112 s]
/proc/loadavg: 1.49 1.43 1.42 2/194 11267
/proc/meminfo: memFree=30549844/32770624 swapFree=0/506188
[pid=11267] ppid=11264 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/11267/stat : 11267 (bash) S 11264 11267 1330 0 -1 4202496 892 6486 0 0 0 0 0 1 20 0 1 0 47383296 9867264 377 18446744073709551615 4194304 5098028 140729392017264 140729392011272 140419354795008 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 5 0 0 7196144 7232144 40116224 140729392022036 140729392022121 140729392022121 140729392025578 0
/proc/11267/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200277 s]
/proc/loadavg: 1.49 1.43 1.42 2/194 11267
/proc/meminfo: memFree=30549844/32770624 swapFree=0/506188
[pid=11267] ppid=11264 vsize=13574488 CPUtime=0.1 cores=1,3,5,7
/proc/11267/stat : 11267 (java) S 11264 11267 1330 0 -1 1077944320 4607 12376 0 0 2 0 5 3 20 0 9 0 47383296 13900275712 4374 18446744073709551615 4194304 4196468 140735291270640 140735291253184 140512351702775 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
/proc/11267/statm: 3393622 4374 2066 1 0 3383119 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13574488

[startup+0.304493 s]
/proc/loadavg: 1.49 1.43 1.42 2/194 11267
/proc/meminfo: memFree=30549844/32770624 swapFree=0/506188
[pid=11267] ppid=11264 vsize=13974356 CPUtime=0.23 cores=1,3,5,7
/proc/11267/stat : 11267 (java) S 11264 11267 1330 0 -1 1077944320 6841 12376 0 0 14 1 5 3 20 0 15 0 47383296 14309740544 7999 18446744073709551615 4194304 4196468 140735291270640 140735291253184 140512351702775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
/proc/11267/statm: 3493589 7999 2939 1 0 3482965 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13974356

[startup+0.700273 s]
/proc/loadavg: 1.49 1.43 1.42 2/194 11267
/proc/meminfo: memFree=30549844/32770624 swapFree=0/506188
[pid=11267] ppid=11264 vsize=13974784 CPUtime=0.75 cores=1,3,5,7
/proc/11267/stat : 11267 (java) S 11264 11267 1330 0 -1 1077944320 14019 12376 0 0 63 4 5 3 20 0 15 0 47383296 14310178816 14941 18446744073709551615 4194304 4196468 140735291270640 140735291253184 140512351702775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
/proc/11267/statm: 3493696 14941 3126 1 0 3482965 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 13974784

[startup+1.50064 s]
/proc/loadavg: 1.49 1.43 1.42 4/209 11330
/proc/meminfo: memFree=30448768/32770624 swapFree=0/506220
[pid=11267] ppid=11264 vsize=13985408 CPUtime=2.01 cores=1,3,5,7
/proc/11267/stat : 11267 (java) S 11264 11267 1330 0 -1 1077944320 27156 12376 0 0 183 10 5 3 20 0 15 0 47383296 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140735291253184 140512351702775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
/proc/11267/statm: 3496352 43818 3374 1 0 3485525 0
[pid=11267/tid=11317] ppid=11264 vsize=13985408 CPUtime=1.33 cores=1,3,5,7
/proc/11267/task/11317/stat : 11317 (java) R 11264 11267 1330 0 -1 4202560 20621 12376 0 0 119 6 5 3 20 0 15 0 47383314 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140512355930656 140511952344231 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11318] ppid=11264 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11318/stat : 11318 (java) S 11264 11267 1330 0 -1 1077944384 48 12376 0 0 0 0 5 3 20 0 15 0 47383314 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511952235280 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11319] ppid=11264 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11319/stat : 11319 (java) S 11264 11267 1330 0 -1 1077944384 180 12376 0 0 0 0 5 3 20 0 15 0 47383314 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511951182736 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11320] ppid=11264 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/11267/task/11320/stat : 11320 (java) S 11264 11267 1330 0 -1 1077944384 42 12376 0 0 1 0 5 3 20 0 15 0 47383314 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511950130192 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11321] ppid=11264 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11321/stat : 11321 (java) S 11264 11267 1330 0 -1 1077944384 46 12376 0 0 0 0 5 3 20 0 15 0 47383314 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511949077648 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11322] ppid=11264 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/11267/task/11322/stat : 11322 (java) S 11264 11267 1330 0 -1 1077944384 654 12376 0 0 1 0 5 3 20 0 15 0 47383316 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511268255728 140512351713922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11323] ppid=11264 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11323/stat : 11323 (java) S 11264 11267 1330 0 -1 1077944384 54 12376 0 0 0 0 5 3 20 0 15 0 47383316 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511267202016 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11324] ppid=11264 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11324/stat : 11324 (java) S 11264 11267 1330 0 -1 1077944384 44 12376 0 0 0 0 5 3 20 0 15 0 47383316 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511266149376 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11325] ppid=11264 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11325/stat : 11325 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511063042256 140512351721371 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11326] ppid=11264 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11326/stat : 11326 (java) S 11264 11267 1330 0 -1 1077944384 1082 12376 0 0 14 0 5 3 20 0 15 0 47383319 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511061989872 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11327] ppid=11264 vsize=13985408 CPUtime=0.26 cores=1,3,5,7
/proc/11267/task/11327/stat : 11327 (java) S 11264 11267 1330 0 -1 1077944384 854 12376 0 0 18 0 5 3 20 0 15 0 47383319 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511060937328 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11328] ppid=11264 vsize=13985408 CPUtime=0.32 cores=1,3,5,7
/proc/11267/task/11328/stat : 11328 (java) S 11264 11267 1330 0 -1 1077944384 1370 12376 0 0 24 0 5 3 20 0 15 0 47383319 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511059884784 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11329] ppid=11264 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11329/stat : 11329 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511058832480 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11330] ppid=11264 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11330/stat : 11330 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383322 14321057792 43818 18446744073709551615 4194304 4196468 140735291270640 140511057778992 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 13985408

[startup+3.10148 s]
/proc/loadavg: 1.45 1.43 1.42 5/209 11330
/proc/meminfo: memFree=30372828/32770624 swapFree=0/506220
[pid=11267] ppid=11264 vsize=13999932 CPUtime=6.18 cores=1,3,5,7
/proc/11267/stat : 11267 (java) S 11264 11267 1330 0 -1 1077944320 36202 12376 0 0 595 15 5 3 20 0 15 0 47383296 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140735291253184 140512351702775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
/proc/11267/statm: 3499983 56133 3442 1 0 3488597 0
[pid=11267/tid=11317] ppid=11264 vsize=13999932 CPUtime=2.92 cores=1,3,5,7
/proc/11267/task/11317/stat : 11317 (java) R 11264 11267 1330 0 -1 4202560 24358 12376 0 0 276 8 5 3 20 0 15 0 47383314 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140512355932656 140511953272191 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11318] ppid=11264 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11318/stat : 11318 (java) S 11264 11267 1330 0 -1 1077944384 48 12376 0 0 0 0 5 3 20 0 15 0 47383314 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511952235280 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11319] ppid=11264 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11319/stat : 11319 (java) S 11264 11267 1330 0 -1 1077944384 180 12376 0 0 0 0 5 3 20 0 15 0 47383314 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511951182736 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11320] ppid=11264 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/11267/task/11320/stat : 11320 (java) S 11264 11267 1330 0 -1 1077944384 42 12376 0 0 1 0 5 3 20 0 15 0 47383314 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511950130192 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11321] ppid=11264 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11321/stat : 11321 (java) S 11264 11267 1330 0 -1 1077944384 46 12376 0 0 0 0 5 3 20 0 15 0 47383314 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511949077648 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11322] ppid=11264 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/11267/task/11322/stat : 11322 (java) S 11264 11267 1330 0 -1 1077944384 657 12376 0 0 1 0 5 3 20 0 15 0 47383316 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511268255728 140512351713922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11323] ppid=11264 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11323/stat : 11323 (java) S 11264 11267 1330 0 -1 1077944384 54 12376 0 0 0 0 5 3 20 0 15 0 47383316 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511267202016 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11324] ppid=11264 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11324/stat : 11324 (java) S 11264 11267 1330 0 -1 1077944384 44 12376 0 0 0 0 5 3 20 0 15 0 47383316 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511266149376 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11325] ppid=11264 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11325/stat : 11325 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511063042256 140512351721371 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11326] ppid=11264 vsize=13999932 CPUtime=1.24 cores=1,3,5,7
/proc/11267/task/11326/stat : 11326 (java) R 11264 11267 1330 0 -1 4202560 2845 12376 0 0 115 1 5 3 20 0 15 0 47383319 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511061975840 140512336819932 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11327] ppid=11264 vsize=13999932 CPUtime=0.91 cores=1,3,5,7
/proc/11267/task/11327/stat : 11327 (java) R 11264 11267 1330 0 -1 4202560 1513 12376 0 0 82 1 5 3 20 0 15 0 47383319 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511060914480 140512333292459 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11328] ppid=11264 vsize=13999932 CPUtime=1.22 cores=1,3,5,7
/proc/11267/task/11328/stat : 11328 (java) R 11264 11267 1330 0 -1 4202560 4254 12376 0 0 113 1 5 3 20 0 15 0 47383319 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511059884784 140512330368371 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11329] ppid=11264 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11329/stat : 11329 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511058832480 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11330] ppid=11264 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11330/stat : 11330 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383322 14335930368 56133 18446744073709551615 4194304 4196468 140735291270640 140511057778992 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 13999932

[startup+6.30066 s]
/proc/loadavg: 1.45 1.43 1.42 3/209 11330
/proc/meminfo: memFree=30204264/32770624 swapFree=0/506208
[pid=11267] ppid=11264 vsize=14069564 CPUtime=14.53 cores=1,3,5,7
/proc/11267/stat : 11267 (java) S 11264 11267 1330 0 -1 1077944320 71296 12376 0 0 1421 24 5 3 20 0 15 0 47383296 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140735291253184 140512351702775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
/proc/11267/statm: 3517391 103298 3482 1 0 3506005 0
[pid=11267/tid=11317] ppid=11264 vsize=14069564 CPUtime=5.86 cores=1,3,5,7
/proc/11267/task/11317/stat : 11317 (java) R 11264 11267 1330 0 -1 4202560 44438 12376 0 0 566 12 5 3 20 0 15 0 47383314 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140512355936608 140511968885160 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11318] ppid=11264 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11267/task/11318/stat : 11318 (java) S 11264 11267 1330 0 -1 1077944384 103 12376 0 0 13 0 5 3 20 0 15 0 47383314 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511952235280 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11319] ppid=11264 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11319/stat : 11319 (java) S 11264 11267 1330 0 -1 1077944384 1161 12376 0 0 13 1 5 3 20 0 15 0 47383314 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511951182736 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11320] ppid=11264 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11267/task/11320/stat : 11320 (java) S 11264 11267 1330 0 -1 1077944384 651 12376 0 0 13 0 5 3 20 0 15 0 47383314 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511950130192 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11321] ppid=11264 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11321/stat : 11321 (java) S 11264 11267 1330 0 -1 1077944384 115 12376 0 0 13 1 5 3 20 0 15 0 47383314 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511949077648 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11322] ppid=11264 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/11267/task/11322/stat : 11322 (java) S 11264 11267 1330 0 -1 1077944384 3218 12376 0 0 12 0 5 3 20 0 15 0 47383316 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511268255728 140512351713922 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11323] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11323/stat : 11323 (java) S 11264 11267 1330 0 -1 1077944384 54 12376 0 0 0 0 5 3 20 0 15 0 47383316 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511267202016 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11324] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11324/stat : 11324 (java) S 11264 11267 1330 0 -1 1077944384 44 12376 0 0 0 0 5 3 20 0 15 0 47383316 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511266149376 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11325] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11325/stat : 11325 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511063042256 140512351721371 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11326] ppid=11264 vsize=14069564 CPUtime=3.39 cores=1,3,5,7
/proc/11267/task/11326/stat : 11326 (java) S 11264 11267 1330 0 -1 1077944384 7639 12376 0 0 330 1 5 3 20 0 15 0 47383319 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511061989872 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11327] ppid=11264 vsize=14069564 CPUtime=2.91 cores=1,3,5,7
/proc/11267/task/11327/stat : 11327 (java) R 11264 11267 1330 0 -1 4202560 4931 12376 0 0 281 2 5 3 20 0 15 0 47383319 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511060937328 140512338027192 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11328] ppid=11264 vsize=14069564 CPUtime=1.85 cores=1,3,5,7
/proc/11267/task/11328/stat : 11328 (java) S 11264 11267 1330 0 -1 1077944384 6521 12376 0 0 174 3 5 3 20 0 15 0 47383319 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511059884784 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11329] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11329/stat : 11329 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511058832480 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11330] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11330/stat : 11330 (java) S 11264 11267 1330 0 -1 1077944384 263 12376 0 0 0 0 5 3 20 0 15 0 47383322 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511057778992 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
Current children cumulated CPU time (s) 14.53
Current children cumulated vsize (KiB) 14069564

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

[startup+6.40079 s]
/proc/loadavg: 1.45 1.43 1.42 3/209 11330
/proc/meminfo: memFree=30204264/32770624 swapFree=0/506208
[pid=11267] ppid=11264 vsize=14069564 CPUtime=14.65 cores=1,3,5,7
/proc/11267/stat : 11267 (java) S 11264 11267 1330 0 -1 1077944320 71299 12376 0 0 1433 24 5 3 20 0 15 0 47383296 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140735291253184 140512351702775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
/proc/11267/statm: 3517391 103298 3482 1 0 3506005 0
[pid=11267/tid=11317] ppid=11264 vsize=14069564 CPUtime=5.96 cores=1,3,5,7
/proc/11267/task/11317/stat : 11317 (java) R 11264 11267 1330 0 -1 4202560 44438 12376 0 0 576 12 5 3 20 0 15 0 47383314 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140512355936608 140511959686759 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11318] ppid=11264 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11267/task/11318/stat : 11318 (java) S 11264 11267 1330 0 -1 1077944384 103 12376 0 0 13 0 5 3 20 0 15 0 47383314 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511952235280 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11319] ppid=11264 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11319/stat : 11319 (java) S 11264 11267 1330 0 -1 1077944384 1161 12376 0 0 13 1 5 3 20 0 15 0 47383314 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511951182736 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11320] ppid=11264 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11267/task/11320/stat : 11320 (java) S 11264 11267 1330 0 -1 1077944384 651 12376 0 0 13 0 5 3 20 0 15 0 47383314 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511950130192 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11321] ppid=11264 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11321/stat : 11321 (java) S 11264 11267 1330 0 -1 1077944384 115 12376 0 0 13 1 5 3 20 0 15 0 47383314 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511949077648 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11322] ppid=11264 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/11267/task/11322/stat : 11322 (java) S 11264 11267 1330 0 -1 1077944384 3218 12376 0 0 12 0 5 3 20 0 15 0 47383316 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511268255728 140512351713922 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11323] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11323/stat : 11323 (java) S 11264 11267 1330 0 -1 1077944384 54 12376 0 0 0 0 5 3 20 0 15 0 47383316 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511267202016 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11324] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11324/stat : 11324 (java) S 11264 11267 1330 0 -1 1077944384 44 12376 0 0 0 0 5 3 20 0 15 0 47383316 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511266149376 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11325] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11325/stat : 11325 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511063042256 140512351721371 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11326] ppid=11264 vsize=14069564 CPUtime=3.4 cores=1,3,5,7
/proc/11267/task/11326/stat : 11326 (java) S 11264 11267 1330 0 -1 1077944384 7639 12376 0 0 331 1 5 3 20 0 15 0 47383319 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511061989872 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11327] ppid=11264 vsize=14069564 CPUtime=2.92 cores=1,3,5,7
/proc/11267/task/11327/stat : 11327 (java) S 11264 11267 1330 0 -1 1077944384 4934 12376 0 0 282 2 5 3 20 0 15 0 47383319 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511060937328 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11328] ppid=11264 vsize=14069564 CPUtime=1.85 cores=1,3,5,7
/proc/11267/task/11328/stat : 11328 (java) S 11264 11267 1330 0 -1 1077944384 6521 12376 0 0 174 3 5 3 20 0 15 0 47383319 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511059884784 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11329] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11329/stat : 11329 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511058832480 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11330] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11330/stat : 11330 (java) S 11264 11267 1330 0 -1 1077944384 263 12376 0 0 0 0 5 3 20 0 15 0 47383322 14407233536 103298 18446744073709551615 4194304 4196468 140735291270640 140511057778992 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
Current children cumulated CPU time (s) 14.65
Current children cumulated vsize (KiB) 14069564

[startup+7.20149 s]
/proc/loadavg: 1.45 1.43 1.42 3/209 11330
/proc/meminfo: memFree=30148584/32770624 swapFree=0/506208
[pid=11267] ppid=11264 vsize=14069564 CPUtime=15.52 cores=1,3,5,7
/proc/11267/stat : 11267 (java) S 11264 11267 1330 0 -1 1077944320 72734 12376 0 0 1518 26 5 3 20 0 15 0 47383296 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140735291253184 140512351702775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
/proc/11267/statm: 3517391 114159 3482 1 0 3506005 0
[pid=11267/tid=11317] ppid=11264 vsize=14069564 CPUtime=6.76 cores=1,3,5,7
/proc/11267/task/11317/stat : 11317 (java) R 11264 11267 1330 0 -1 4202560 45218 12376 0 0 655 13 5 3 20 0 15 0 47383314 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140512355931584 140511968142262 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11318] ppid=11264 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11267/task/11318/stat : 11318 (java) S 11264 11267 1330 0 -1 1077944384 106 12376 0 0 13 0 5 3 20 0 15 0 47383314 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511952235280 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11319] ppid=11264 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11319/stat : 11319 (java) S 11264 11267 1330 0 -1 1077944384 1163 12376 0 0 13 1 5 3 20 0 15 0 47383314 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511951182736 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11320] ppid=11264 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11267/task/11320/stat : 11320 (java) S 11264 11267 1330 0 -1 1077944384 660 12376 0 0 13 0 5 3 20 0 15 0 47383314 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511950130192 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11321] ppid=11264 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11321/stat : 11321 (java) S 11264 11267 1330 0 -1 1077944384 117 12376 0 0 13 1 5 3 20 0 15 0 47383314 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511949077648 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11322] ppid=11264 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/11267/task/11322/stat : 11322 (java) S 11264 11267 1330 0 -1 1077944384 3263 12376 0 0 12 0 5 3 20 0 15 0 47383316 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511268255728 140512351713922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11323] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11323/stat : 11323 (java) S 11264 11267 1330 0 -1 1077944384 57 12376 0 0 0 0 5 3 20 0 15 0 47383316 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511267202016 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11324] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11324/stat : 11324 (java) S 11264 11267 1330 0 -1 1077944384 44 12376 0 0 0 0 5 3 20 0 15 0 47383316 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511266149376 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11325] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11325/stat : 11325 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511063042256 140512351721371 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11326] ppid=11264 vsize=14069564 CPUtime=3.41 cores=1,3,5,7
/proc/11267/task/11326/stat : 11326 (java) S 11264 11267 1330 0 -1 1077944384 7654 12376 0 0 332 1 5 3 20 0 15 0 47383319 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511061989872 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11327] ppid=11264 vsize=14069564 CPUtime=2.94 cores=1,3,5,7
/proc/11267/task/11327/stat : 11327 (java) S 11264 11267 1330 0 -1 1077944384 4939 12376 0 0 284 2 5 3 20 0 15 0 47383319 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511060937328 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11328] ppid=11264 vsize=14069564 CPUtime=1.89 cores=1,3,5,7
/proc/11267/task/11328/stat : 11328 (java) R 11264 11267 1330 0 -1 4202560 7105 12376 0 0 178 3 5 3 20 0 15 0 47383319 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511059884784 140512330660017 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11329] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11329/stat : 11329 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511058832480 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11330] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11330/stat : 11330 (java) S 11264 11267 1330 0 -1 1077944384 265 12376 0 0 0 0 5 3 20 0 15 0 47383322 14407233536 114159 18446744073709551615 4194304 4196468 140735291270640 140511057778992 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
Current children cumulated CPU time (s) 15.52
Current children cumulated vsize (KiB) 14069564

[startup+7.40149 s]
/proc/loadavg: 1.45 1.43 1.42 3/209 11330
/proc/meminfo: memFree=30148584/32770624 swapFree=0/506208
[pid=11267] ppid=11264 vsize=14069564 CPUtime=15.74 cores=1,3,5,7
/proc/11267/stat : 11267 (java) S 11264 11267 1330 0 -1 1077944320 72955 12376 0 0 1540 26 5 3 20 0 15 0 47383296 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140735291253184 140512351702775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
/proc/11267/statm: 3517391 114182 3482 1 0 3506005 0
[pid=11267/tid=11317] ppid=11264 vsize=14069564 CPUtime=6.96 cores=1,3,5,7
/proc/11267/task/11317/stat : 11317 (java) R 11264 11267 1330 0 -1 4202560 45250 12376 0 0 675 13 5 3 20 0 15 0 47383314 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140512355931584 140511968937496 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11318] ppid=11264 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11267/task/11318/stat : 11318 (java) S 11264 11267 1330 0 -1 1077944384 106 12376 0 0 13 0 5 3 20 0 15 0 47383314 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511952235280 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11319] ppid=11264 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11319/stat : 11319 (java) S 11264 11267 1330 0 -1 1077944384 1163 12376 0 0 13 1 5 3 20 0 15 0 47383314 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511951182736 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11320] ppid=11264 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11267/task/11320/stat : 11320 (java) S 11264 11267 1330 0 -1 1077944384 660 12376 0 0 13 0 5 3 20 0 15 0 47383314 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511950130192 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11321] ppid=11264 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11321/stat : 11321 (java) S 11264 11267 1330 0 -1 1077944384 117 12376 0 0 13 1 5 3 20 0 15 0 47383314 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511949077648 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11322] ppid=11264 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/11267/task/11322/stat : 11322 (java) S 11264 11267 1330 0 -1 1077944384 3263 12376 0 0 12 0 5 3 20 0 15 0 47383316 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511268255728 140512351713922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11323] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11323/stat : 11323 (java) S 11264 11267 1330 0 -1 1077944384 57 12376 0 0 0 0 5 3 20 0 15 0 47383316 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511267202016 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11324] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11324/stat : 11324 (java) S 11264 11267 1330 0 -1 1077944384 44 12376 0 0 0 0 5 3 20 0 15 0 47383316 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511266149376 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11325] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11325/stat : 11325 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511063042256 140512351721371 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11326] ppid=11264 vsize=14069564 CPUtime=3.42 cores=1,3,5,7
/proc/11267/task/11326/stat : 11326 (java) S 11264 11267 1330 0 -1 1077944384 7664 12376 0 0 333 1 5 3 20 0 15 0 47383319 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511061989872 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11327] ppid=11264 vsize=14069564 CPUtime=2.95 cores=1,3,5,7
/proc/11267/task/11327/stat : 11327 (java) S 11264 11267 1330 0 -1 1077944384 5037 12376 0 0 285 2 5 3 20 0 15 0 47383319 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511060937328 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11328] ppid=11264 vsize=14069564 CPUtime=1.89 cores=1,3,5,7
/proc/11267/task/11328/stat : 11328 (java) S 11264 11267 1330 0 -1 1077944384 7171 12376 0 0 178 3 5 3 20 0 15 0 47383319 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511059884784 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11329] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11329/stat : 11329 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511058832480 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11330] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11330/stat : 11330 (java) S 11264 11267 1330 0 -1 1077944384 265 12376 0 0 0 0 5 3 20 0 15 0 47383322 14407233536 114182 18446744073709551615 4194304 4196468 140735291270640 140511057778992 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
Current children cumulated CPU time (s) 15.74
Current children cumulated vsize (KiB) 14069564

[startup+7.50062 s]
/proc/loadavg: 1.45 1.43 1.42 3/209 11330
/proc/meminfo: memFree=30148584/32770624 swapFree=0/506208
[pid=11267] ppid=11264 vsize=14069564 CPUtime=15.85 cores=1,3,5,7
/proc/11267/stat : 11267 (java) S 11264 11267 1330 0 -1 1077944320 73030 12376 0 0 1551 26 5 3 20 0 15 0 47383296 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140735291253184 140512351702775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
/proc/11267/statm: 3517391 114193 3482 1 0 3506005 0
[pid=11267/tid=11317] ppid=11264 vsize=14069564 CPUtime=7.06 cores=1,3,5,7
/proc/11267/task/11317/stat : 11317 (java) R 11264 11267 1330 0 -1 4202560 45258 12376 0 0 685 13 5 3 20 0 15 0 47383314 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140512355931584 140511968937302 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11318] ppid=11264 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11267/task/11318/stat : 11318 (java) S 11264 11267 1330 0 -1 1077944384 106 12376 0 0 13 0 5 3 20 0 15 0 47383314 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511952235280 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11319] ppid=11264 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11319/stat : 11319 (java) S 11264 11267 1330 0 -1 1077944384 1163 12376 0 0 13 1 5 3 20 0 15 0 47383314 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511951182736 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11320] ppid=11264 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/11267/task/11320/stat : 11320 (java) S 11264 11267 1330 0 -1 1077944384 660 12376 0 0 13 0 5 3 20 0 15 0 47383314 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511950130192 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11321] ppid=11264 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/11267/task/11321/stat : 11321 (java) S 11264 11267 1330 0 -1 1077944384 117 12376 0 0 13 1 5 3 20 0 15 0 47383314 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511949077648 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11322] ppid=11264 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/11267/task/11322/stat : 11322 (java) S 11264 11267 1330 0 -1 1077944384 3263 12376 0 0 12 0 5 3 20 0 15 0 47383316 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511268255728 140512351713922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11323] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11323/stat : 11323 (java) S 11264 11267 1330 0 -1 1077944384 57 12376 0 0 0 0 5 3 20 0 15 0 47383316 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511267202016 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11324] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11324/stat : 11324 (java) S 11264 11267 1330 0 -1 1077944384 44 12376 0 0 0 0 5 3 20 0 15 0 47383316 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511266149376 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11325] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11325/stat : 11325 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511063042256 140512351721371 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11326] ppid=11264 vsize=14069564 CPUtime=3.42 cores=1,3,5,7
/proc/11267/task/11326/stat : 11326 (java) S 11264 11267 1330 0 -1 1077944384 7664 12376 0 0 333 1 5 3 20 0 15 0 47383319 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511061989872 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11327] ppid=11264 vsize=14069564 CPUtime=2.95 cores=1,3,5,7
/proc/11267/task/11327/stat : 11327 (java) S 11264 11267 1330 0 -1 1077944384 5037 12376 0 0 285 2 5 3 20 0 15 0 47383319 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511060937328 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11328] ppid=11264 vsize=14069564 CPUtime=1.9 cores=1,3,5,7
/proc/11267/task/11328/stat : 11328 (java) S 11264 11267 1330 0 -1 1077944384 7238 12376 0 0 179 3 5 3 20 0 15 0 47383319 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511059884784 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11329] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11329/stat : 11329 (java) S 11264 11267 1330 0 -1 1077944384 3 12376 0 0 0 0 5 3 20 0 15 0 47383319 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511058832480 140512351712981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
[pid=11267/tid=11330] ppid=11264 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/11267/task/11330/stat : 11330 (java) S 11264 11267 1330 0 -1 1077944384 265 12376 0 0 0 0 5 3 20 0 15 0 47383322 14407233536 114193 18446744073709551615 4194304 4196468 140735291270640 140511057778992 140512351713922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33931264 140735291279312 140735291282097 140735291282097 140735291285455 0
Current children cumulated CPU time (s) 15.85
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 7.55131
CPU time (s): 15.9203
CPU user time (s): 15.6146
CPU system time (s): 0.305669
CPU usage (%): 210.828
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.6146
system time used= 0.305669
maximum resident set size= 457480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85769
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7797
involuntary context switches= 73

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041077 second user time and 0.072295 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-11 13:26:20
IDJOB=4262101
IDBENCH=129045
IDSOLVER=2650
FILE ID=node125/4262101-1502451625
RUNJOBID= node125-1502411403-1395
PBS_JOBID= 
Free space on /tmp= 62008 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-4262101-1502451625/watcher-4262101-1502451625 -o /tmp/evaluation-result-4262101-1502451625/solver-4262101-1502451625 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580  bin/concrete HOME/instance-4262101-1502451625.xml

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

MD5SUM BENCH= 7161a4ea6c9fe1994b00af2c2beb2482
RANDOM SEED=2115020383

node125.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.07
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.07
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.07
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.07
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:        30549876 kB
MemAvailable:   31312696 kB
Buffers:          251052 kB
Cached:           803452 kB
SwapCached:            0 kB
Active:          1265484 kB
Inactive:         531096 kB
Active(anon):     742676 kB
Inactive(anon):    24908 kB
Active(file):     522808 kB
Inactive(file):   506188 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24496 kB
Writeback:             0 kB
AnonPages:        742336 kB
Mapped:            54764 kB
Shmem:             25252 kB
Slab:             125016 kB
SReclaimable:      99320 kB
SUnreclaim:        25696 kB
KernelStack:        3408 kB
PageTables:         8160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1521704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    651264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node125 at 2017-08-11 13:26:28