Trace number 4262003

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.4OPT0 20.8402 9.1316605

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-02-350-100.xml
MD5SUM2b8f29373db6f74e5fecedb039cde62c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.07961
Satisfiable
(Un)Satisfiability was proved
Number of variables701
Number of constraints4
Number of domains2
Minimum domain size2
Maximum domain size351
Distribution of domain sizes[{"size":2,"count":700},{"size":351,"count":1}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":700}]
Minimum constraint arity350
Maximum constraint arity701
Distribution of constraint arities[{"arity":350,"count":2},{"arity":700,"count":1},{"arity":701,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":3}]
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.36/2.25	c Concrete v3.4 running
12.02/5.33	o 350
12.02/5.38	o 349
12.34/5.42	o 348
12.34/5.45	o 347
12.34/5.48	o 346
12.69/5.51	o 345
12.69/5.54	o 344
12.69/5.57	o 343
12.69/5.60	o 342
13.00/5.62	o 341
13.00/5.65	o 340
13.00/5.67	o 339
13.29/5.70	o 338
13.29/5.72	o 337
13.29/5.74	o 336
13.29/5.76	o 335
13.29/5.78	o 334
13.60/5.80	o 333
13.60/5.82	o 332
13.60/5.84	o 331
13.60/5.86	o 330
13.60/5.87	o 329
13.60/5.89	o 328
13.90/5.91	o 327
13.90/5.93	o 326
13.90/5.95	o 325
13.90/5.97	o 324
13.90/5.99	o 323
14.20/6.00	o 322
14.20/6.02	o 321
14.20/6.04	o 320
14.20/6.06	o 319
14.20/6.08	o 318
14.20/6.10	o 317
14.51/6.11	o 316
14.51/6.14	o 315
14.51/6.15	o 314
14.51/6.17	o 313
14.51/6.19	o 312
14.81/6.21	o 311
14.81/6.23	o 310
14.81/6.25	o 309
14.81/6.26	o 308
14.81/6.28	o 307
15.12/6.30	o 306
15.12/6.31	o 305
15.12/6.33	o 304
15.12/6.35	o 303
15.12/6.36	o 302
15.12/6.38	o 301
15.12/6.40	o 300
15.42/6.41	o 299
15.42/6.43	o 298
15.42/6.44	o 297
15.42/6.45	o 296
15.42/6.47	o 295
15.42/6.48	o 294
15.42/6.48	o 293
15.42/6.49	o 292
15.68/6.50	o 291
15.68/6.51	o 290
15.68/6.52	o 289
15.68/6.53	o 288
15.68/6.53	o 287
15.68/6.54	o 286
15.68/6.55	o 285
15.68/6.56	o 284
15.68/6.57	o 283
15.68/6.58	o 282
15.68/6.59	o 281
15.68/6.59	o 280
15.90/6.60	o 279
15.90/6.61	o 278
15.90/6.62	o 277
15.90/6.63	o 276
15.90/6.64	o 275
15.90/6.65	o 274
15.90/6.66	o 273
15.90/6.66	o 272
15.90/6.67	o 271
15.90/6.68	o 270
15.90/6.69	o 269
15.90/6.70	o 268
16.03/6.71	o 267
16.03/6.72	o 266
16.03/6.73	o 265
16.03/6.74	o 264
16.03/6.75	o 263
16.03/6.75	o 262
16.03/6.76	o 261
16.03/6.77	o 260
16.03/6.78	o 259
16.03/6.79	o 258
16.03/6.80	o 257
16.15/6.80	o 256
16.15/6.81	o 255
16.15/6.82	o 254
16.15/6.83	o 253
16.15/6.84	o 252
16.15/6.84	o 251
16.15/6.85	o 250
16.15/6.86	o 249
16.15/6.87	o 248
16.15/6.88	o 247
16.15/6.89	o 246
16.33/6.90	o 245
16.33/6.91	o 244
16.33/6.92	o 243
16.33/6.93	o 242
16.33/6.94	o 241
16.33/6.94	o 240
16.33/6.95	o 239
16.33/6.96	o 238
16.33/6.97	o 237
16.33/6.98	o 236
16.33/6.99	o 235
16.64/7.00	o 234
16.64/7.01	o 233
16.64/7.02	o 232
16.64/7.03	o 231
16.64/7.03	o 230
16.64/7.04	o 229
16.64/7.05	o 228
16.64/7.06	o 227
16.64/7.07	o 226
16.64/7.08	o 225
16.64/7.08	o 224
16.64/7.09	o 223
16.88/7.10	o 222
16.88/7.11	o 221
16.88/7.12	o 220
16.88/7.12	o 219
16.88/7.13	o 218
16.88/7.14	o 217
16.88/7.15	o 216
16.88/7.16	o 215
16.88/7.16	o 214
16.88/7.17	o 213
16.88/7.18	o 212
16.88/7.19	o 211
16.88/7.20	o 210
17.03/7.20	o 209
17.03/7.21	o 208
17.03/7.22	o 207
17.03/7.23	o 206
17.03/7.23	o 205
17.03/7.24	o 204
17.03/7.25	o 203
17.03/7.26	o 202
17.03/7.26	o 201
17.03/7.27	o 200
17.03/7.28	o 199
17.03/7.29	o 198
17.14/7.30	o 197
17.14/7.31	o 196
17.14/7.32	o 195
17.14/7.33	o 194
17.14/7.34	o 193
17.14/7.35	o 192
17.14/7.36	o 191
17.14/7.36	o 190
17.14/7.37	o 189
17.14/7.38	o 188
17.14/7.39	o 187
17.34/7.40	o 186
17.34/7.41	o 185
17.34/7.42	o 184
17.34/7.42	o 183
17.34/7.43	o 182
17.34/7.44	o 181
17.34/7.45	o 180
17.34/7.46	o 179
17.34/7.47	o 178
17.34/7.47	o 177
17.34/7.48	o 176
17.34/7.49	o 175
17.52/7.50	o 174
17.52/7.51	o 173
17.52/7.51	o 172
17.52/7.52	o 171
17.52/7.53	o 170
17.52/7.54	o 169
17.52/7.54	o 168
17.52/7.55	o 167
17.52/7.56	o 166
17.52/7.56	o 165
17.52/7.57	o 164
17.52/7.58	o 163
17.52/7.59	o 162
17.52/7.60	o 161
17.64/7.60	o 160
17.64/7.61	o 159
17.64/7.62	o 158
17.64/7.63	o 157
17.64/7.63	o 156
17.64/7.64	o 155
17.64/7.65	o 154
17.64/7.66	o 153
17.64/7.67	o 152
17.64/7.67	o 151
17.64/7.68	o 150
17.64/7.69	o 149
17.64/7.70	o 148
17.77/7.70	o 147
17.77/7.71	o 146
17.77/7.72	o 145
17.77/7.73	o 144
17.77/7.73	o 143
17.77/7.74	o 142
17.77/7.75	o 141
17.77/7.76	o 140
17.77/7.77	o 139
17.77/7.77	o 138
17.77/7.78	o 137
17.77/7.79	o 136
17.77/7.80	o 135
17.88/7.80	o 134
17.88/7.81	o 133
17.88/7.82	o 132
17.88/7.83	o 131
17.88/7.84	o 130
17.88/7.85	o 129
17.88/7.85	o 128
17.88/7.86	o 127
17.88/7.87	o 126
17.88/7.88	o 125
17.88/7.88	o 124
17.88/7.89	o 123
17.99/7.90	o 122
17.99/7.91	o 121
17.99/7.91	o 120
17.99/7.92	o 119
17.99/7.93	o 118
17.99/7.94	o 117
17.99/7.94	o 116
17.99/7.95	o 115
17.99/7.96	o 114
17.99/7.97	o 113
17.99/7.97	o 112
17.99/7.98	o 111
17.99/7.99	o 110
18.10/8.00	o 109
18.10/8.01	o 108
18.10/8.01	o 107
18.10/8.02	o 106
18.10/8.03	o 105
18.10/8.04	o 104
18.10/8.05	o 103
18.10/8.05	o 102
18.10/8.06	o 101
18.10/8.07	o 100
18.10/8.08	o 99
18.10/8.08	o 98
18.10/8.09	o 97
18.21/8.10	o 96
18.21/8.11	o 95
18.21/8.11	o 94
18.21/8.12	o 93
18.21/8.13	o 92
18.21/8.14	o 91
18.21/8.14	o 90
18.21/8.15	o 89
18.21/8.16	o 88
18.21/8.17	o 87
18.21/8.17	o 86
18.21/8.18	o 85
18.21/8.19	o 84
18.37/8.20	o 83
18.37/8.21	o 82
18.37/8.21	o 81
18.37/8.26	o 80
18.37/8.27	o 79
18.37/8.29	o 78
18.64/8.31	o 77
18.64/8.32	o 76
18.64/8.33	o 75
18.64/8.34	o 74
18.64/8.36	o 73
18.64/8.37	o 72
18.64/8.38	o 71
18.95/8.40	o 70
18.95/8.41	o 69
18.95/8.44	o 68
18.95/8.45	o 67
18.95/8.46	o 66
18.95/8.47	o 65
18.95/8.49	o 64
19.26/8.50	o 63
19.26/8.51	o 62
19.26/8.52	o 61
19.26/8.55	o 60
19.26/8.56	o 59
19.26/8.57	o 58
19.26/8.58	o 57
19.26/8.59	o 56
19.26/8.60	o 55
19.56/8.61	o 54
19.56/8.62	o 53
19.56/8.63	o 52
19.56/8.64	o 51
19.56/8.65	o 50
19.56/8.66	o 49
19.56/8.67	o 48
19.56/8.68	o 47
19.56/8.68	o 46
19.56/8.69	o 45
19.84/8.70	o 44
19.84/8.71	o 43
19.84/8.72	o 42
19.84/8.72	o 41
19.84/8.73	o 40
19.84/8.74	o 39
19.84/8.75	o 38
19.84/8.76	o 37
19.84/8.76	o 36
19.97/8.81	o 35
19.97/8.82	o 34
19.97/8.83	o 33
19.97/8.83	o 32
19.97/8.84	o 31
19.97/8.85	o 30
19.97/8.86	o 29
19.97/8.87	o 28
19.97/8.87	o 27
19.97/8.88	o 26
19.97/8.89	o 25
19.97/8.90	o 24
20.21/8.90	o 23
20.21/8.91	o 22
20.21/8.92	o 21
20.21/8.93	o 20
20.21/8.93	o 19
20.21/8.94	o 18
20.21/8.95	o 17
20.21/8.96	o 16
20.21/8.97	o 15
20.21/8.97	o 14
20.21/8.98	o 13
20.21/8.99	o 12
20.21/9.00	o 11
20.50/9.00	o 10
20.50/9.01	o 9
20.50/9.02	o 8
20.50/9.03	o 7
20.50/9.04	o 6
20.50/9.05	o 5
20.50/9.05	o 4
20.50/9.06	o 3
20.50/9.07	o 2
20.50/9.09	o 1
20.50/9.09	o 0
20.79/9.10	v <instantiation cost="0">
20.79/9.10	v       <list>
20.79/9.10	v         z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349]
20.79/9.10	v       </list>
20.79/9.10	v       <values>
20.79/9.10	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.79/9.10	v       </values>
20.79/9.10	v     </instantiation>
20.79/9.10	s OPTIMUM FOUND

Verifier Data 

OK	0

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-4262003-1502429543/watcher-4262003-1502429543 -o /tmp/evaluation-result-4262003-1502429543/solver-4262003-1502429543 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580 bin/concrete HOME/instance-4262003-1502429543.xml 

pid=8853
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.64 1.60 1.53 2/199 8856
/proc/meminfo: memFree=30043040/32770624 swapFree=0/431172
[pid=8856] ppid=8853 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8856/stat : 8856 (runsolver) D 8853 8856 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 90769508 24240128 106 18446744073709551615 4194304 4338465 140723214055584 140723214053224 140611236528855 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 17088512 140723214057681 140723214058057 140723214058057 140723214061514 0
/proc/8856/statm: 5918 106 53 36 0 2156 0

[startup+0.100197 s]
/proc/loadavg: 1.64 1.60 1.53 2/199 8856
/proc/meminfo: memFree=30043040/32770624 swapFree=0/431172
[pid=8856] ppid=8853 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/8856/stat : 8856 (bash) S 8853 8856 4821 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 90769508 9736192 351 18446744073709551615 4194304 5098028 140727609183264 140727609180904 140715275353088 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 14295040 140727609184788 140727609184873 140727609184873 140727609188330 0
/proc/8856/statm: 2377 351 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200189 s]
/proc/loadavg: 1.64 1.60 1.53 2/199 8856
/proc/meminfo: memFree=30043040/32770624 swapFree=0/431172
[pid=8856] ppid=8853 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/8856/stat : 8856 (bash) S 8853 8856 4821 0 -1 4202496 890 6477 0 0 0 0 0 1 20 0 1 0 90769508 9867264 376 18446744073709551615 4194304 5098028 140727609183264 140727609177272 140715275353088 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 14295040 140727609184788 140727609184873 140727609184873 140727609188330 0
/proc/8856/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.302805 s]
/proc/loadavg: 1.64 1.60 1.53 2/199 8856
/proc/meminfo: memFree=30043040/32770624 swapFree=0/431172
[pid=8856] ppid=8853 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/8856/stat : 8856 (java) S 8853 8856 4821 0 -1 1077944320 5810 12404 0 0 5 1 5 3 20 0 14 0 90769508 14241083392 5500 18446744073709551615 4194304 4196468 140735151877888 140735151860432 140327772753655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
/proc/8856/statm: 3476827 5500 2565 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.706419 s]
/proc/loadavg: 1.64 1.60 1.53 2/199 8856
/proc/meminfo: memFree=30043040/32770624 swapFree=0/431172
[pid=8856] ppid=8853 vsize=13974784 CPUtime=0.6 cores=1,3,5,7
/proc/8856/stat : 8856 (java) S 8853 8856 4821 0 -1 1077944320 13758 12404 0 0 48 4 5 3 20 0 15 0 90769508 14310178816 14157 18446744073709551615 4194304 4196468 140735151877888 140735151860432 140327772753655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
/proc/8856/statm: 3493696 14157 3060 1 0 3482965 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13974784

[startup+1.50057 s]
/proc/loadavg: 1.64 1.60 1.53 3/214 8919
/proc/meminfo: memFree=29952396/32770624 swapFree=0/431204
[pid=8856] ppid=8853 vsize=13985408 CPUtime=1.78 cores=1,3,5,7
/proc/8856/stat : 8856 (java) S 8853 8856 4821 0 -1 1077944320 25376 12404 0 0 162 8 5 3 20 0 15 0 90769508 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140735151860432 140327772753655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
/proc/8856/statm: 3496352 33868 3337 1 0 3485525 0
[pid=8856/tid=8906] ppid=8853 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/8856/task/8906/stat : 8906 (java) R 8853 8856 4821 0 -1 4202560 20310 12404 0 0 111 7 5 3 20 0 15 0 90769532 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140327776982688 140327756797285 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8907] ppid=8853 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8907/stat : 8907 (java) S 8853 8856 4821 0 -1 1077944384 1 12404 0 0 0 0 5 3 20 0 15 0 90769533 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140327729720464 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8908] ppid=8853 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8908/stat : 8908 (java) S 8853 8856 4821 0 -1 1077944384 1 12404 0 0 0 0 5 3 20 0 15 0 90769533 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140327728667664 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8909] ppid=8853 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8909/stat : 8909 (java) S 8853 8856 4821 0 -1 1077944384 1 12404 0 0 0 0 5 3 20 0 15 0 90769533 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140327727614864 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8910] ppid=8853 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8910/stat : 8910 (java) S 8853 8856 4821 0 -1 1077944384 2 12404 0 0 0 0 5 3 20 0 15 0 90769533 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140327726562064 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8911] ppid=8853 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8911/stat : 8911 (java) S 8853 8856 4821 0 -1 1077944384 5 12404 0 0 0 0 5 3 20 0 15 0 90769534 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140326756145520 140327772764802 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8912] ppid=8853 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8912/stat : 8912 (java) S 8853 8856 4821 0 -1 1077944384 33 12404 0 0 0 0 5 3 20 0 15 0 90769535 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140326755091488 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8913] ppid=8853 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8913/stat : 8913 (java) S 8853 8856 4821 0 -1 1077944384 21 12404 0 0 0 0 5 3 20 0 15 0 90769535 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140326754038640 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8914] ppid=8853 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8914/stat : 8914 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140326752986960 140327772772251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8915] ppid=8853 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/8856/task/8915/stat : 8915 (java) S 8853 8856 4821 0 -1 1077944384 1021 12404 0 0 16 0 5 3 20 0 15 0 90769538 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140326751935344 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8916] ppid=8853 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/8856/task/8916/stat : 8916 (java) S 8853 8856 4821 0 -1 1077944384 638 12404 0 0 11 0 5 3 20 0 15 0 90769538 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140326750882544 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8917] ppid=8853 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/8856/task/8917/stat : 8917 (java) S 8853 8856 4821 0 -1 1077944384 1184 12404 0 0 21 0 5 3 20 0 15 0 90769538 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140326749829744 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8918] ppid=8853 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8918/stat : 8918 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140326748777184 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8919] ppid=8853 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8919/stat : 8919 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769543 14321057792 33868 18446744073709551615 4194304 4196468 140735151877888 140326747724464 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 13985408

[startup+3.10112 s]
/proc/loadavg: 1.67 1.60 1.54 5/214 8919
/proc/meminfo: memFree=29869824/32770624 swapFree=0/431204
[pid=8856] ppid=8853 vsize=13999932 CPUtime=5.82 cores=1,3,5,7
/proc/8856/stat : 8856 (java) S 8853 8856 4821 0 -1 1077944320 35877 12404 0 0 560 14 5 3 20 0 15 0 90769508 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140735151860432 140327772753655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
/proc/8856/statm: 3499983 54787 3445 1 0 3488597 0
[pid=8856/tid=8906] ppid=8853 vsize=13999932 CPUtime=2.82 cores=1,3,5,7
/proc/8856/task/8906/stat : 8906 (java) R 8853 8856 4821 0 -1 4202560 24765 12404 0 0 265 9 5 3 20 0 15 0 90769532 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140327776983856 140327411048356 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8907] ppid=8853 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/8856/task/8907/stat : 8907 (java) S 8853 8856 4821 0 -1 1077944384 188 12404 0 0 1 0 5 3 20 0 15 0 90769533 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140327729720464 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8908] ppid=8853 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8908/stat : 8908 (java) S 8853 8856 4821 0 -1 1077944384 35 12404 0 0 0 0 5 3 20 0 15 0 90769533 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140327728667664 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8909] ppid=8853 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/8856/task/8909/stat : 8909 (java) S 8853 8856 4821 0 -1 1077944384 37 12404 0 0 1 0 5 3 20 0 15 0 90769533 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140327727614864 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8910] ppid=8853 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/8856/task/8910/stat : 8910 (java) S 8853 8856 4821 0 -1 1077944384 43 12404 0 0 1 0 5 3 20 0 15 0 90769533 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140327726562064 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8911] ppid=8853 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/8856/task/8911/stat : 8911 (java) S 8853 8856 4821 0 -1 1077944384 646 12404 0 0 1 0 5 3 20 0 15 0 90769534 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140326756145520 140327772764802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8912] ppid=8853 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8912/stat : 8912 (java) S 8853 8856 4821 0 -1 1077944384 55 12404 0 0 0 0 5 3 20 0 15 0 90769535 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140326755091488 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8913] ppid=8853 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8913/stat : 8913 (java) S 8853 8856 4821 0 -1 1077944384 43 12404 0 0 0 0 5 3 20 0 15 0 90769535 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140326754038656 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8914] ppid=8853 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8914/stat : 8914 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140326752986960 140327772772251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8915] ppid=8853 vsize=13999932 CPUtime=1.18 cores=1,3,5,7
/proc/8856/task/8915/stat : 8915 (java) R 8853 8856 4821 0 -1 4202560 2821 12404 0 0 110 0 5 3 20 0 15 0 90769538 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140326751921536 140327758783601 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8916] ppid=8853 vsize=13999932 CPUtime=0.8 cores=1,3,5,7
/proc/8856/task/8916/stat : 8916 (java) R 8853 8856 4821 0 -1 4202560 1136 12404 0 0 71 1 5 3 20 0 15 0 90769538 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140326750868592 140327753389698 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8917] ppid=8853 vsize=13999932 CPUtime=1.13 cores=1,3,5,7
/proc/8856/task/8917/stat : 8917 (java) S 8853 8856 4821 0 -1 1077944384 3949 12404 0 0 104 1 5 3 20 0 15 0 90769538 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140326749829744 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8918] ppid=8853 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8918/stat : 8918 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140326748777184 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8919] ppid=8853 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8919/stat : 8919 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769543 14335930368 54787 18446744073709551615 4194304 4196468 140735151877888 140326747724464 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 13999932

[startup+6.30061 s]
/proc/loadavg: 1.67 1.60 1.54 5/214 8919
/proc/meminfo: memFree=29695444/32770624 swapFree=0/431196
[pid=8856] ppid=8853 vsize=14069564 CPUtime=15.12 cores=1,3,5,7
/proc/8856/stat : 8856 (java) S 8853 8856 4821 0 -1 1077944320 68391 12404 0 0 1480 24 5 3 20 0 15 0 90769508 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140735151860432 140327772753655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
/proc/8856/statm: 3517391 118259 3474 1 0 3506005 0
[pid=8856/tid=8906] ppid=8853 vsize=14069564 CPUtime=5.7 cores=1,3,5,7
/proc/8856/task/8906/stat : 8906 (java) R 8853 8856 4821 0 -1 4202560 37647 12404 0 0 549 13 5 3 20 0 15 0 90769532 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140327776988896 140327772765590 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8907] ppid=8853 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/8856/task/8907/stat : 8907 (java) S 8853 8856 4821 0 -1 1077944384 257 12404 0 0 18 0 5 3 20 0 15 0 90769533 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140327729720464 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8908] ppid=8853 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/8856/task/8908/stat : 8908 (java) S 8853 8856 4821 0 -1 1077944384 323 12404 0 0 17 1 5 3 20 0 15 0 90769533 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140327728667664 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8909] ppid=8853 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8856/task/8909/stat : 8909 (java) S 8853 8856 4821 0 -1 1077944384 116 12404 0 0 19 0 5 3 20 0 15 0 90769533 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140327727614864 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8910] ppid=8853 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8856/task/8910/stat : 8910 (java) S 8853 8856 4821 0 -1 1077944384 117 12404 0 0 19 0 5 3 20 0 15 0 90769533 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140327726562064 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8911] ppid=8853 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/8856/task/8911/stat : 8911 (java) S 8853 8856 4821 0 -1 1077944384 2576 12404 0 0 13 0 5 3 20 0 15 0 90769534 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140326756145520 140327772764802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8912] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8912/stat : 8912 (java) S 8853 8856 4821 0 -1 1077944384 57 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140326755091552 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8913] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8913/stat : 8913 (java) S 8853 8856 4821 0 -1 1077944384 44 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140326754038656 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8914] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8914/stat : 8914 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140326752986960 140327772772251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8915] ppid=8853 vsize=14069564 CPUtime=3.54 cores=1,3,5,7
/proc/8856/task/8915/stat : 8915 (java) R 8853 8856 4821 0 -1 4202560 9038 12404 0 0 344 2 5 3 20 0 15 0 90769538 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140326751917056 140327758775809 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8916] ppid=8853 vsize=14069564 CPUtime=3.2 cores=1,3,5,7
/proc/8856/task/8916/stat : 8916 (java) R 8853 8856 4821 0 -1 4202560 7813 12404 0 0 310 2 5 3 20 0 15 0 90769538 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140326750869856 140327756250439 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8917] ppid=8853 vsize=14069564 CPUtime=1.94 cores=1,3,5,7
/proc/8856/task/8917/stat : 8917 (java) S 8853 8856 4821 0 -1 1077944384 8235 12404 0 0 184 2 5 3 20 0 15 0 90769538 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140326749829744 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8918] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8918/stat : 8918 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140326748777184 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8919] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8919/stat : 8919 (java) S 8853 8856 4821 0 -1 1077944384 12 12404 0 0 0 0 5 3 20 0 15 0 90769543 14407233536 118259 18446744073709551615 4194304 4196468 140735151877888 140326747724464 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
Current children cumulated CPU time (s) 15.12
Current children cumulated vsize (KiB) 14069564

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

[startup+6.40085 s]
/proc/loadavg: 1.67 1.60 1.54 5/214 8919
/proc/meminfo: memFree=29695444/32770624 swapFree=0/431196
[pid=8856] ppid=8853 vsize=14069564 CPUtime=15.42 cores=1,3,5,7
/proc/8856/stat : 8856 (java) S 8853 8856 4821 0 -1 1077944320 72112 12404 0 0 1510 24 5 3 20 0 15 0 90769508 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140735151860432 140327772753655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
/proc/8856/statm: 3517391 118334 3474 1 0 3506005 0
[pid=8856/tid=8906] ppid=8853 vsize=14069564 CPUtime=5.8 cores=1,3,5,7
/proc/8856/task/8906/stat : 8906 (java) R 8853 8856 4821 0 -1 4202560 38472 12404 0 0 559 13 5 3 20 0 15 0 90769532 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140327776988896 140327772775485 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8907] ppid=8853 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/8856/task/8907/stat : 8907 (java) S 8853 8856 4821 0 -1 1077944384 257 12404 0 0 18 0 5 3 20 0 15 0 90769533 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140327729720464 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8908] ppid=8853 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/8856/task/8908/stat : 8908 (java) S 8853 8856 4821 0 -1 1077944384 323 12404 0 0 17 1 5 3 20 0 15 0 90769533 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140327728667664 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8909] ppid=8853 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8856/task/8909/stat : 8909 (java) S 8853 8856 4821 0 -1 1077944384 116 12404 0 0 19 0 5 3 20 0 15 0 90769533 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140327727614864 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8910] ppid=8853 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8856/task/8910/stat : 8910 (java) S 8853 8856 4821 0 -1 1077944384 117 12404 0 0 19 0 5 3 20 0 15 0 90769533 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140327726562064 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8911] ppid=8853 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/8856/task/8911/stat : 8911 (java) S 8853 8856 4821 0 -1 1077944384 2576 12404 0 0 13 0 5 3 20 0 15 0 90769534 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140326756145520 140327772764802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8912] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8912/stat : 8912 (java) S 8853 8856 4821 0 -1 1077944384 57 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140326755091552 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8913] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8913/stat : 8913 (java) S 8853 8856 4821 0 -1 1077944384 44 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140326754038656 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8914] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8914/stat : 8914 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140326752986960 140327772772251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8915] ppid=8853 vsize=14069564 CPUtime=3.64 cores=1,3,5,7
/proc/8856/task/8915/stat : 8915 (java) R 8853 8856 4821 0 -1 4202560 10711 12404 0 0 354 2 5 3 20 0 15 0 90769538 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140326751918160 140327754297889 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8916] ppid=8853 vsize=14069564 CPUtime=3.3 cores=1,3,5,7
/proc/8856/task/8916/stat : 8916 (java) R 8853 8856 4821 0 -1 4202560 9031 12404 0 0 320 2 5 3 20 0 15 0 90769538 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140326750869856 140327751993566 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8917] ppid=8853 vsize=14069564 CPUtime=1.94 cores=1,3,5,7
/proc/8856/task/8917/stat : 8917 (java) S 8853 8856 4821 0 -1 1077944384 8238 12404 0 0 184 2 5 3 20 0 15 0 90769538 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140326749829744 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8918] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8918/stat : 8918 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140326748777184 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8919] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8919/stat : 8919 (java) S 8853 8856 4821 0 -1 1077944384 14 12404 0 0 0 0 5 3 20 0 15 0 90769543 14407233536 118334 18446744073709551615 4194304 4196468 140735151877888 140326747724464 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
Current children cumulated CPU time (s) 15.42
Current children cumulated vsize (KiB) 14069564

[startup+8.00071 s]
/proc/loadavg: 1.85 1.64 1.55 3/214 8919
/proc/meminfo: memFree=29466888/32770624 swapFree=0/431196
[pid=8856] ppid=8853 vsize=14069564 CPUtime=18.1 cores=1,3,5,7
/proc/8856/stat : 8856 (java) S 8853 8856 4821 0 -1 1077944320 78476 12404 0 0 1775 27 5 3 20 0 15 0 90769508 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140735151860432 140327772753655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
/proc/8856/statm: 3517391 147618 3477 1 0 3506005 0
[pid=8856/tid=8906] ppid=8853 vsize=14069564 CPUtime=7.39 cores=1,3,5,7
/proc/8856/task/8906/stat : 8906 (java) R 8853 8856 4821 0 -1 4202560 38914 12404 0 0 717 14 5 3 20 0 15 0 90769532 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140327776989696 140327418651729 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8907] ppid=8853 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8856/task/8907/stat : 8907 (java) S 8853 8856 4821 0 -1 1077944384 303 12404 0 0 18 1 5 3 20 0 15 0 90769533 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140327729720464 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8908] ppid=8853 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8856/task/8908/stat : 8908 (java) S 8853 8856 4821 0 -1 1077944384 1072 12404 0 0 18 1 5 3 20 0 15 0 90769533 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140327728667664 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8909] ppid=8853 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8856/task/8909/stat : 8909 (java) S 8853 8856 4821 0 -1 1077944384 136 12404 0 0 19 0 5 3 20 0 15 0 90769533 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140327727614864 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8910] ppid=8853 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/8856/task/8910/stat : 8910 (java) S 8853 8856 4821 0 -1 1077944384 137 12404 0 0 19 1 5 3 20 0 15 0 90769533 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140327726562064 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8911] ppid=8853 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/8856/task/8911/stat : 8911 (java) S 8853 8856 4821 0 -1 1077944384 2665 12404 0 0 13 0 5 3 20 0 15 0 90769534 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140326756145520 140327772764802 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8912] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8912/stat : 8912 (java) S 8853 8856 4821 0 -1 1077944384 61 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140326755091552 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8913] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8913/stat : 8913 (java) S 8853 8856 4821 0 -1 1077944384 44 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140326754038656 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8914] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8914/stat : 8914 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140326752986960 140327772772251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8915] ppid=8853 vsize=14069564 CPUtime=4.13 cores=1,3,5,7
/proc/8856/task/8915/stat : 8915 (java) S 8853 8856 4821 0 -1 1077944384 12247 12404 0 0 403 2 5 3 20 0 15 0 90769538 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140326751935344 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8916] ppid=8853 vsize=14069564 CPUtime=3.76 cores=1,3,5,7
/proc/8856/task/8916/stat : 8916 (java) S 8853 8856 4821 0 -1 1077944384 10793 12404 0 0 366 2 5 3 20 0 15 0 90769538 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140326750882544 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8917] ppid=8853 vsize=14069564 CPUtime=2.05 cores=1,3,5,7
/proc/8856/task/8917/stat : 8917 (java) S 8853 8856 4821 0 -1 1077944384 9934 12404 0 0 195 2 5 3 20 0 15 0 90769538 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140326749829744 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8918] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8918/stat : 8918 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140326748777184 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8919] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8919/stat : 8919 (java) S 8853 8856 4821 0 -1 1077944384 14 12404 0 0 0 0 5 3 20 0 15 0 90769543 14407233536 147618 18446744073709551615 4194304 4196468 140735151877888 140326747724464 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
Current children cumulated CPU time (s) 18.1
Current children cumulated vsize (KiB) 14069564

[startup+8.80068 s]
/proc/loadavg: 1.85 1.64 1.55 3/214 8919
/proc/meminfo: memFree=29380068/32770624 swapFree=0/431200
[pid=8856] ppid=8853 vsize=14069564 CPUtime=19.97 cores=1,3,5,7
/proc/8856/stat : 8856 (java) S 8853 8856 4821 0 -1 1077944320 81835 12404 0 0 1960 29 5 3 20 0 15 0 90769508 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140735151860432 140327772753655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
/proc/8856/statm: 3517391 168569 3477 1 0 3506005 0
[pid=8856/tid=8906] ppid=8853 vsize=14069564 CPUtime=8.19 cores=1,3,5,7
/proc/8856/task/8906/stat : 8906 (java) R 8853 8856 4821 0 -1 4202560 39595 12404 0 0 795 16 5 3 20 0 15 0 90769532 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140327776982400 140327423815664 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8907] ppid=8853 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/8856/task/8907/stat : 8907 (java) S 8853 8856 4821 0 -1 1077944384 305 12404 0 0 19 1 5 3 20 0 15 0 90769533 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140327729720464 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8908] ppid=8853 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8856/task/8908/stat : 8908 (java) S 8853 8856 4821 0 -1 1077944384 1072 12404 0 0 18 1 5 3 20 0 15 0 90769533 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140327728667664 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8909] ppid=8853 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/8856/task/8909/stat : 8909 (java) S 8853 8856 4821 0 -1 1077944384 144 12404 0 0 20 1 5 3 20 0 15 0 90769533 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140327727614864 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8910] ppid=8853 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/8856/task/8910/stat : 8910 (java) S 8853 8856 4821 0 -1 1077944384 138 12404 0 0 19 1 5 3 20 0 15 0 90769533 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140327726562064 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8911] ppid=8853 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/8856/task/8911/stat : 8911 (java) S 8853 8856 4821 0 -1 1077944384 2698 12404 0 0 14 0 5 3 20 0 15 0 90769534 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140326756145520 140327772764802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8912] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8912/stat : 8912 (java) S 8853 8856 4821 0 -1 1077944384 61 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140326755091552 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8913] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8913/stat : 8913 (java) S 8853 8856 4821 0 -1 1077944384 44 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140326754038656 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8914] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8914/stat : 8914 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140326752986960 140327772772251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8915] ppid=8853 vsize=14069564 CPUtime=4.62 cores=1,3,5,7
/proc/8856/task/8915/stat : 8915 (java) S 8853 8856 4821 0 -1 1077944384 13573 12404 0 0 452 2 5 3 20 0 15 0 90769538 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140326751935344 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8916] ppid=8853 vsize=14069564 CPUtime=4.29 cores=1,3,5,7
/proc/8856/task/8916/stat : 8916 (java) S 8853 8856 4821 0 -1 1077944384 11989 12404 0 0 418 3 5 3 20 0 15 0 90769538 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140326750882544 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8917] ppid=8853 vsize=14069564 CPUtime=2.1 cores=1,3,5,7
/proc/8856/task/8917/stat : 8917 (java) S 8853 8856 4821 0 -1 1077944384 10032 12404 0 0 200 2 5 3 20 0 15 0 90769538 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140326749829744 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8918] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8918/stat : 8918 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140326748777184 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8919] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8919/stat : 8919 (java) S 8853 8856 4821 0 -1 1077944384 28 12404 0 0 0 0 5 3 20 0 15 0 90769543 14407233536 168569 18446744073709551615 4194304 4196468 140735151877888 140326747724464 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (KiB) 14069564

[startup+9.0006 s]
/proc/loadavg: 1.85 1.64 1.55 3/214 8919
/proc/meminfo: memFree=29380068/32770624 swapFree=0/431200
[pid=8856] ppid=8853 vsize=14069564 CPUtime=20.5 cores=1,3,5,7
/proc/8856/stat : 8856 (java) S 8853 8856 4821 0 -1 1077944320 84451 12404 0 0 2012 30 5 3 20 0 15 0 90769508 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140735151860432 140327772753655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
/proc/8856/statm: 3517391 168658 3477 1 0 3506005 0
[pid=8856/tid=8906] ppid=8853 vsize=14069564 CPUtime=8.38 cores=1,3,5,7
/proc/8856/task/8906/stat : 8906 (java) R 8853 8856 4821 0 -1 4202560 40395 12404 0 0 814 16 5 3 20 0 15 0 90769532 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140327776982544 140327772775485 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8907] ppid=8853 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/8856/task/8907/stat : 8907 (java) S 8853 8856 4821 0 -1 1077944384 305 12404 0 0 19 1 5 3 20 0 15 0 90769533 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140327729720464 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8908] ppid=8853 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8856/task/8908/stat : 8908 (java) S 8853 8856 4821 0 -1 1077944384 1072 12404 0 0 18 1 5 3 20 0 15 0 90769533 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140327728667664 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8909] ppid=8853 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/8856/task/8909/stat : 8909 (java) S 8853 8856 4821 0 -1 1077944384 144 12404 0 0 20 1 5 3 20 0 15 0 90769533 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140327727614864 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8910] ppid=8853 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/8856/task/8910/stat : 8910 (java) S 8853 8856 4821 0 -1 1077944384 138 12404 0 0 19 1 5 3 20 0 15 0 90769533 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140327726562064 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8911] ppid=8853 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/8856/task/8911/stat : 8911 (java) S 8853 8856 4821 0 -1 1077944384 2698 12404 0 0 14 0 5 3 20 0 15 0 90769534 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140326756145520 140327772764802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8912] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8912/stat : 8912 (java) S 8853 8856 4821 0 -1 1077944384 61 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140326755091552 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8913] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8913/stat : 8913 (java) S 8853 8856 4821 0 -1 1077944384 44 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140326754038656 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8914] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8914/stat : 8914 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140326752986960 140327772772251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8915] ppid=8853 vsize=14069564 CPUtime=4.78 cores=1,3,5,7
/proc/8856/task/8915/stat : 8915 (java) R 8853 8856 4821 0 -1 4202560 14261 12404 0 0 468 2 5 3 20 0 15 0 90769538 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140326751921872 140327752005940 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8916] ppid=8853 vsize=14069564 CPUtime=4.44 cores=1,3,5,7
/proc/8856/task/8916/stat : 8916 (java) R 8853 8856 4821 0 -1 4202560 12434 12404 0 0 433 3 5 3 20 0 15 0 90769538 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140326750882544 140327752446747 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8917] ppid=8853 vsize=14069564 CPUtime=2.12 cores=1,3,5,7
/proc/8856/task/8917/stat : 8917 (java) S 8853 8856 4821 0 -1 1077944384 10715 12404 0 0 202 2 5 3 20 0 15 0 90769538 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140326749829744 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8918] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8918/stat : 8918 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140326748777184 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8919] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8919/stat : 8919 (java) S 8853 8856 4821 0 -1 1077944384 28 12404 0 0 0 0 5 3 20 0 15 0 90769543 14407233536 168658 18446744073709551615 4194304 4196468 140735151877888 140326747724464 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
Current children cumulated CPU time (s) 20.5
Current children cumulated vsize (KiB) 14069564

[startup+9.10112 s]
/proc/loadavg: 1.85 1.64 1.55 3/214 8919
/proc/meminfo: memFree=29380068/32770624 swapFree=0/431200
[pid=8856] ppid=8853 vsize=14069564 CPUtime=20.79 cores=1,3,5,7
/proc/8856/stat : 8856 (java) S 8853 8856 4821 0 -1 1077944320 85609 12404 0 0 2040 31 5 3 20 0 15 0 90769508 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140735151860432 140327772753655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
/proc/8856/statm: 3517391 179976 3477 1 0 3506005 0
[pid=8856/tid=8906] ppid=8853 vsize=14069564 CPUtime=8.48 cores=1,3,5,7
/proc/8856/task/8906/stat : 8906 (java) R 8853 8856 4821 0 -1 4202560 40891 12404 0 0 823 17 5 3 20 0 15 0 90769532 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140327776968624 140327758433808 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8907] ppid=8853 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/8856/task/8907/stat : 8907 (java) S 8853 8856 4821 0 -1 1077944384 321 12404 0 0 19 1 5 3 20 0 15 0 90769533 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140327729720464 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8908] ppid=8853 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/8856/task/8908/stat : 8908 (java) S 8853 8856 4821 0 -1 1077944384 1092 12404 0 0 18 1 5 3 20 0 15 0 90769533 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140327728667664 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8909] ppid=8853 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/8856/task/8909/stat : 8909 (java) S 8853 8856 4821 0 -1 1077944384 509 12404 0 0 20 1 5 3 20 0 15 0 90769533 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140327727614864 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8910] ppid=8853 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/8856/task/8910/stat : 8910 (java) S 8853 8856 4821 0 -1 1077944384 140 12404 0 0 19 1 5 3 20 0 15 0 90769533 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140327726562064 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8911] ppid=8853 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/8856/task/8911/stat : 8911 (java) S 8853 8856 4821 0 -1 1077944384 2938 12404 0 0 14 0 5 3 20 0 15 0 90769534 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140326756145520 140327772764802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8912] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8912/stat : 8912 (java) S 8853 8856 4821 0 -1 1077944384 63 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140326755091552 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8913] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8913/stat : 8913 (java) S 8853 8856 4821 0 -1 1077944384 44 12404 0 0 0 0 5 3 20 0 15 0 90769535 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140326754038656 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8914] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8914/stat : 8914 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140326752986960 140327772772251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8915] ppid=8853 vsize=14069564 CPUtime=4.88 cores=1,3,5,7
/proc/8856/task/8915/stat : 8915 (java) R 8853 8856 4821 0 -1 4202560 14261 12404 0 0 478 2 5 3 20 0 15 0 90769538 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140326751922160 140327757877680 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8916] ppid=8853 vsize=14069564 CPUtime=4.53 cores=1,3,5,7
/proc/8856/task/8916/stat : 8916 (java) R 8853 8856 4821 0 -1 4202560 12451 12404 0 0 442 3 5 3 20 0 15 0 90769538 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140326750862352 140327757879666 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8917] ppid=8853 vsize=14069564 CPUtime=2.12 cores=1,3,5,7
/proc/8856/task/8917/stat : 8917 (java) S 8853 8856 4821 0 -1 1077944384 10715 12404 0 0 202 2 5 3 20 0 15 0 90769538 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140326749829744 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8918] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8918/stat : 8918 (java) S 8853 8856 4821 0 -1 1077944384 3 12404 0 0 0 0 5 3 20 0 15 0 90769538 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140326748777184 140327772763861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
[pid=8856/tid=8919] ppid=8853 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/8856/task/8919/stat : 8919 (java) S 8853 8856 4821 0 -1 1077944384 28 12404 0 0 0 0 5 3 20 0 15 0 90769543 14407233536 179976 18446744073709551615 4194304 4196468 140735151877888 140326747724464 140327772764802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23040000 140735151880144 140735151882929 140735151882929 140735151886287 0
Current children cumulated CPU time (s) 20.79
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 9.13166
CPU time (s): 20.8402
CPU user time (s): 20.4816
CPU system time (s): 0.358639
CPU usage (%): 228.22
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.4816
system time used= 0.358639
maximum resident set size= 720328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98793
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= 8397
involuntary context switches= 222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063815 second user time and 0.077018 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-11 07:18:15
IDJOB=4262003
IDBENCH=122956
IDSOLVER=2650
FILE ID=node133/4262003-1502429543
RUNJOBID= node133-1502411423-4885
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-02-350-100.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262003-1502429543/watcher-4262003-1502429543 -o /tmp/evaluation-result-4262003-1502429543/solver-4262003-1502429543 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580  bin/concrete HOME/instance-4262003-1502429543.xml

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

MD5SUM BENCH= 2b8f29373db6f74e5fecedb039cde62c
RANDOM SEED=1859668420

node133.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.17
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.17
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.17
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.17
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:        30043304 kB
MemAvailable:   30901336 kB
Buffers:          286852 kB
Cached:           866316 kB
SwapCached:            0 kB
Active:          1827980 kB
Inactive:         464284 kB
Active(anon):    1139708 kB
Inactive(anon):    33112 kB
Active(file):     688272 kB
Inactive(file):   431172 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24492 kB
Writeback:             0 kB
AnonPages:       1139356 kB
Mapped:            63500 kB
Shmem:             33468 kB
Slab:             136020 kB
SReclaimable:     108844 kB
SUnreclaim:        27176 kB
KernelStack:        3472 kB
PageTables:         7176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1962112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1046528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-11 07:18:25