Trace number 4245563

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
R1: Concrete 3.4OPT0 25.6236 9.12392

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.74/2.15	c Concrete v3.4 running
15.32/5.31	o 350
15.32/5.36	o 349
15.73/5.40	o 348
15.73/5.44	o 347
15.73/5.47	o 346
15.73/5.50	o 345
16.20/5.53	o 344
16.20/5.56	o 343
16.20/5.59	o 342
16.63/5.62	o 341
16.63/5.65	o 340
16.63/5.67	o 339
16.63/5.69	o 338
16.99/5.71	o 337
16.99/5.73	o 336
16.99/5.75	o 335
16.99/5.77	o 334
16.99/5.79	o 333
17.40/5.81	o 332
17.40/5.83	o 331
17.40/5.84	o 330
17.40/5.86	o 329
17.40/5.88	o 328
17.40/5.90	o 327
17.80/5.91	o 326
17.80/5.93	o 325
17.80/5.95	o 324
17.80/5.97	o 323
17.80/5.98	o 322
18.20/6.00	o 321
18.20/6.02	o 320
18.20/6.04	o 319
18.20/6.06	o 318
18.20/6.09	o 317
18.61/6.11	o 316
18.61/6.13	o 315
18.61/6.14	o 314
18.61/6.16	o 313
18.61/6.17	o 312
18.61/6.18	o 311
18.61/6.20	o 310
19.03/6.21	o 309
19.03/6.23	o 308
19.03/6.24	o 307
19.03/6.25	o 306
19.03/6.26	o 305
19.03/6.27	o 304
19.03/6.28	o 303
19.03/6.29	o 302
19.35/6.30	o 301
19.35/6.31	o 300
19.35/6.31	o 299
19.35/6.32	o 298
19.35/6.33	o 297
19.35/6.34	o 296
19.35/6.35	o 295
19.35/6.36	o 294
19.35/6.37	o 293
19.35/6.37	o 292
19.35/6.38	o 291
19.35/6.39	o 290
19.51/6.40	o 289
19.51/6.41	o 288
19.51/6.42	o 287
19.51/6.42	o 286
19.51/6.43	o 285
19.51/6.44	o 284
19.51/6.45	o 283
19.51/6.47	o 282
19.51/6.47	o 281
19.51/6.48	o 280
19.51/6.49	o 279
19.67/6.50	o 278
19.67/6.51	o 277
19.67/6.52	o 276
19.67/6.53	o 275
19.67/6.53	o 274
19.67/6.54	o 273
19.67/6.55	o 272
19.67/6.56	o 271
19.67/6.57	o 270
19.67/6.58	o 269
19.67/6.59	o 268
19.67/6.60	o 267
19.80/6.61	o 266
19.80/6.62	o 265
19.80/6.63	o 264
19.80/6.64	o 263
19.80/6.65	o 262
19.80/6.66	o 261
19.80/6.67	o 260
19.80/6.68	o 259
19.80/6.68	o 258
19.80/6.69	o 257
19.80/6.70	o 256
19.80/6.71	o 255
19.97/6.72	o 254
19.97/6.73	o 253
19.97/6.73	o 252
19.97/6.74	o 251
19.97/6.75	o 250
19.97/6.76	o 249
19.97/6.77	o 248
19.97/6.78	o 247
19.97/6.80	o 246
20.18/6.80	o 245
20.18/6.82	o 244
20.18/6.83	o 243
20.18/6.84	o 242
20.18/6.85	o 241
20.18/6.86	o 240
20.18/6.87	o 239
20.18/6.87	o 238
20.18/6.88	o 237
20.18/6.89	o 236
20.42/6.90	o 235
20.42/6.91	o 234
20.42/6.92	o 233
20.42/6.92	o 232
20.42/6.93	o 231
20.42/6.94	o 230
20.42/6.95	o 229
20.42/6.96	o 228
20.42/6.97	o 227
20.42/6.98	o 226
20.42/6.99	o 225
20.42/6.99	o 224
20.70/7.00	o 223
20.70/7.01	o 222
20.70/7.02	o 221
20.70/7.03	o 220
20.70/7.04	o 219
20.70/7.05	o 218
20.70/7.05	o 217
20.70/7.06	o 216
20.70/7.07	o 215
20.70/7.08	o 214
20.70/7.09	o 213
20.70/7.10	o 212
20.98/7.11	o 211
20.98/7.11	o 210
20.98/7.12	o 209
20.98/7.13	o 208
20.98/7.14	o 207
20.98/7.15	o 206
20.98/7.16	o 205
20.98/7.17	o 204
20.98/7.17	o 203
20.98/7.18	o 202
20.98/7.19	o 201
21.10/7.20	o 200
21.10/7.21	o 199
21.10/7.22	o 198
21.10/7.23	o 197
21.10/7.24	o 196
21.10/7.25	o 195
21.10/7.26	o 194
21.10/7.27	o 193
21.10/7.28	o 192
21.10/7.29	o 191
21.10/7.29	o 190
21.34/7.30	o 189
21.34/7.31	o 188
21.34/7.32	o 187
21.34/7.32	o 186
21.34/7.33	o 185
21.34/7.34	o 184
21.34/7.35	o 183
21.34/7.36	o 182
21.34/7.37	o 181
21.34/7.37	o 180
21.34/7.38	o 179
21.34/7.39	o 178
21.56/7.40	o 177
21.56/7.41	o 176
21.56/7.42	o 175
21.56/7.42	o 174
21.56/7.43	o 173
21.56/7.44	o 172
21.56/7.45	o 171
21.56/7.46	o 170
21.56/7.46	o 169
21.56/7.47	o 168
21.56/7.48	o 167
21.56/7.48	o 166
21.56/7.49	o 165
21.72/7.50	o 164
21.72/7.51	o 163
21.72/7.52	o 162
21.72/7.52	o 161
21.72/7.53	o 160
21.72/7.54	o 159
21.72/7.55	o 158
21.72/7.56	o 157
21.72/7.56	o 156
21.72/7.57	o 155
21.72/7.58	o 154
21.72/7.59	o 153
21.72/7.60	o 152
21.86/7.60	o 151
21.86/7.61	o 150
21.86/7.62	o 149
21.86/7.63	o 148
21.86/7.64	o 147
21.86/7.64	o 146
21.86/7.65	o 145
21.86/7.67	o 144
21.86/7.68	o 143
21.86/7.70	o 142
21.86/7.71	o 141
22.05/7.72	o 140
22.05/7.73	o 139
22.05/7.74	o 138
22.05/7.75	o 137
22.05/7.76	o 136
22.05/7.77	o 135
22.05/7.78	o 134
22.05/7.79	o 133
22.05/7.80	o 132
22.05/7.81	o 131
22.15/7.82	o 130
22.15/7.83	o 129
22.15/7.84	o 128
22.15/7.85	o 127
22.15/7.85	o 126
22.15/7.86	o 125
22.15/7.87	o 124
22.15/7.88	o 123
22.15/7.88	o 122
22.15/7.89	o 121
22.25/7.90	o 120
22.25/7.91	o 119
22.25/7.92	o 118
22.25/7.92	o 117
22.25/7.93	o 116
22.25/7.94	o 115
22.25/7.95	o 114
22.25/7.95	o 113
22.25/7.96	o 112
22.25/7.97	o 111
22.25/7.98	o 110
22.25/7.98	o 109
22.25/7.99	o 108
22.36/8.00	o 107
22.36/8.01	o 106
22.36/8.02	o 105
22.36/8.03	o 104
22.36/8.03	o 103
22.36/8.04	o 102
22.36/8.05	o 101
22.36/8.06	o 100
22.36/8.06	o 99
22.36/8.07	o 98
22.36/8.08	o 97
22.36/8.09	o 96
22.36/8.09	o 95
22.48/8.10	o 94
22.48/8.11	o 93
22.48/8.12	o 92
22.48/8.13	o 91
22.48/8.14	o 90
22.48/8.14	o 89
22.48/8.15	o 88
22.48/8.16	o 87
22.48/8.17	o 86
22.48/8.18	o 85
22.48/8.19	o 84
22.48/8.20	o 83
22.59/8.21	o 82
22.59/8.21	o 81
22.59/8.28	o 80
22.59/8.29	o 79
22.94/8.31	o 78
22.94/8.33	o 77
22.94/8.34	o 76
22.94/8.35	o 75
22.94/8.36	o 74
22.94/8.37	o 73
22.94/8.38	o 72
22.94/8.40	o 71
23.34/8.41	o 70
23.34/8.42	o 69
23.34/8.43	o 68
23.34/8.44	o 67
23.34/8.45	o 66
23.34/8.47	o 65
23.34/8.48	o 64
23.34/8.49	o 63
23.75/8.50	o 62
23.75/8.51	o 61
23.75/8.53	o 60
23.75/8.54	o 59
23.75/8.55	o 58
23.75/8.56	o 57
23.75/8.57	o 56
23.75/8.58	o 55
23.75/8.59	o 54
24.16/8.60	o 53
24.16/8.61	o 52
24.16/8.62	o 51
24.16/8.63	o 50
24.16/8.64	o 49
24.16/8.65	o 48
24.16/8.66	o 47
24.16/8.67	o 46
24.16/8.68	o 45
24.16/8.68	o 44
24.16/8.69	o 43
24.56/8.70	o 42
24.56/8.71	o 41
24.56/8.72	o 40
24.56/8.73	o 39
24.56/8.73	o 38
24.56/8.74	o 37
24.56/8.75	o 36
24.56/8.80	o 35
24.56/8.81	o 34
24.74/8.82	o 33
24.74/8.82	o 32
24.74/8.83	o 31
24.74/8.84	o 30
24.74/8.85	o 29
24.74/8.86	o 28
24.74/8.86	o 27
24.74/8.87	o 26
24.74/8.88	o 25
24.74/8.89	o 24
24.74/8.89	o 23
24.74/8.90	o 22
25.06/8.91	o 21
25.06/8.92	o 20
25.06/8.93	o 19
25.06/8.94	o 18
25.06/8.95	o 17
25.06/8.95	o 16
25.06/8.96	o 15
25.06/8.97	o 14
25.06/8.98	o 13
25.06/8.99	o 12
25.06/9.00	o 11
25.37/9.00	o 10
25.37/9.01	o 9
25.37/9.02	o 8
25.37/9.03	o 7
25.37/9.03	o 6
25.37/9.04	o 5
25.37/9.05	o 4
25.37/9.06	o 3
25.37/9.06	o 2
25.37/9.07	o 1
25.37/9.08	o 0
25.37/9.09	v <instantiation cost="0">
25.37/9.09	v       <list>
25.37/9.09	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]
25.37/9.09	v       </list>
25.37/9.09	v       <values>
25.37/9.09	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
25.37/9.09	v       </values>
25.37/9.09	v     </instantiation>
25.37/9.09	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-4245563-1500704371/watcher-4245563-1500704371 -o /tmp/evaluation-result-4245563-1500704371/solver-4245563-1500704371 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500682887-8969 --watchdog 2560 bin/concrete HOME/instance-4245563-1500704371.xml 

pid=14418
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.56 1.75 1.76 3/261 14421
/proc/meminfo: memFree=30645300/32770624 swapFree=5780/383648
[pid=14421] ppid=14418 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (bash) S 14418 14421 7912 0 -1 4202496 687 1532 0 0 0 0 0 0 20 0 1 0 5704782 9736192 351 33554432000 4194304 5098028 140736288396928 140736288394568 140676603915264 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 34185216 140736288400654 140736288400739 140736288400739 140736288403438 0
/proc/14421/statm: 2377 351 278 221 0 86 0

[startup+0.100123 s]
/proc/loadavg: 1.56 1.75 1.76 3/261 14421
/proc/meminfo: memFree=30645300/32770624 swapFree=5780/383648
[pid=14421] ppid=14418 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (bash) S 14418 14421 7912 0 -1 4202496 885 6414 0 0 0 0 0 1 20 0 1 0 5704782 9871360 378 33554432000 4194304 5098028 140736288396928 140736288390936 140676603915264 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 34185216 140736288400654 140736288400739 140736288400739 140736288403438 0
/proc/14421/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200405 s]
/proc/loadavg: 1.56 1.75 1.76 3/261 14421
/proc/meminfo: memFree=30645300/32770624 swapFree=5780/383648
[pid=14421] ppid=14418 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (java) S 14418 14421 7912 0 -1 1077944320 5059 12408 0 0 6 1 7 4 20 0 13 0 5704782 10686320640 5397 33554432000 4194304 4196468 140724588771424 140724588753968 140207958683383 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
/proc/14421/statm: 2608965 5397 2139 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300414 s]
/proc/loadavg: 1.56 1.75 1.76 3/261 14421
/proc/meminfo: memFree=30645300/32770624 swapFree=5780/383648
[pid=14421] ppid=14418 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (java) S 14418 14421 7912 0 -1 1077944320 7031 12408 0 0 23 2 7 4 20 0 20 0 5704782 11164049408 8781 33554432000 4194304 4196468 140724588771424 140724588753968 140207958683383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
/proc/14421/statm: 2725598 8781 2980 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.700231 s]
/proc/loadavg: 1.56 1.75 1.76 3/261 14421
/proc/meminfo: memFree=30645300/32770624 swapFree=5780/383648
[pid=14421] ppid=14418 vsize=10902720 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (java) S 14418 14421 7912 0 -1 1077944320 12159 12408 0 0 74 4 7 4 20 0 20 0 5704782 11164385280 14980 33554432000 4194304 4196468 140724588771424 140724588753968 140207958683383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
/proc/14421/statm: 2725680 14980 3154 1 0 2713890 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10902720

[startup+1.50118 s]
/proc/loadavg: 1.56 1.75 1.76 3/281 14494
/proc/meminfo: memFree=30541484/32770624 swapFree=5780/383668
[pid=14421] ppid=14418 vsize=10913344 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (java) S 14418 14421 7912 0 -1 1077944320 26226 12408 0 0 206 13 7 4 20 0 20 0 5704782 11175264256 44148 33554432000 4194304 4196468 140724588771424 140724588753968 140207958683383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
/proc/14421/statm: 2728336 44148 3410 1 0 2716450 0
[pid=14421/tid=14476] ppid=14418 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14476/stat : 14476 (java) R 14418 14421 7912 0 -1 4202560 19195 12408 0 0 126 5 7 4 20 0 20 0 5704795 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207962911584 140207958695318 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14477] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14477/stat : 14477 (java) S 14418 14421 7912 0 -1 1077944384 140 12408 0 0 0 0 7 4 20 0 20 0 5704796 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207884757520 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14478] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14478/stat : 14478 (java) S 14418 14421 7912 0 -1 1077944384 22 12408 0 0 0 0 7 4 20 0 20 0 5704796 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207883704976 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14479] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14479/stat : 14479 (java) S 14418 14421 7912 0 -1 1077944384 15 12408 0 0 0 0 7 4 20 0 20 0 5704796 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207882651920 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14480] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14480/stat : 14480 (java) S 14418 14421 7912 0 -1 1077944384 24 12408 0 0 0 0 7 4 20 0 20 0 5704796 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207881599376 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14481] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14481/stat : 14481 (java) S 14418 14421 7912 0 -1 1077944384 41 12408 0 0 0 0 7 4 20 0 20 0 5704796 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207880547344 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14482] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14482/stat : 14482 (java) S 14418 14421 7912 0 -1 1077944384 31 12408 0 0 0 0 7 4 20 0 20 0 5704796 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207879494800 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14483] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14483/stat : 14483 (java) S 14418 14421 7912 0 -1 1077944384 9 12408 0 0 0 0 7 4 20 0 20 0 5704796 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207878441744 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14484] ppid=14418 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14484/stat : 14484 (java) S 14418 14421 7912 0 -1 1077944384 36 12408 0 0 1 0 7 4 20 0 20 0 5704796 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207877389200 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14485] ppid=14418 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14485/stat : 14485 (java) S 14418 14421 7912 0 -1 1077944384 717 12408 0 0 1 0 7 4 20 0 20 0 5704799 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207299016944 140207958694530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14486] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14486/stat : 14486 (java) S 14418 14421 7912 0 -1 1077944384 57 12408 0 0 0 0 7 4 20 0 20 0 5704799 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207297963232 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14487] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14487/stat : 14487 (java) S 14418 14421 7912 0 -1 1077944384 43 12408 0 0 0 0 7 4 20 0 20 0 5704800 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207296910080 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14488] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14488/stat : 14488 (java) S 14418 14421 7912 0 -1 1077944384 1 12408 0 0 0 0 7 4 20 0 20 0 5704804 11175264256 44148 33554432000 4194304 4196468 140724588771424 140207295858640 140207958701979 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14489] ppid=14418 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14489/stat : 14489 (java) R 14418 14421 7912 0 -1 4202560 941 12408 0 0 15 0 7 4 20 0 20 0 5704804 11175264256 44151 33554432000 4194304 4196468 140724588771424 140207294792864 140207958695318 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14490] ppid=14418 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14490/stat : 14490 (java) S 14418 14421 7912 0 -1 1077944384 645 12408 0 0 12 0 7 4 20 0 20 0 5704804 11175264256 44151 33554432000 4194304 4196468 140724588771424 140207293754224 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14491] ppid=14418 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14491/stat : 14491 (java) S 14418 14421 7912 0 -1 1077944384 638 12408 0 0 15 0 7 4 20 0 20 0 5704804 11175264256 44151 33554432000 4194304 4196468 140724588771424 140207292701168 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14492] ppid=14418 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14492/stat : 14492 (java) R 14418 14421 7912 0 -1 4202560 1538 12408 0 0 27 0 7 4 20 0 20 0 5704804 11175264256 44151 33554432000 4194304 4196468 140724588771424 140207291644352 140207958704730 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14493] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14493/stat : 14493 (java) S 14418 14421 7912 0 -1 1077944384 3 12408 0 0 0 0 7 4 20 0 20 0 5704805 11175264256 44151 33554432000 4194304 4196468 140724588771424 140207290595808 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14494] ppid=14418 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14494/stat : 14494 (java) S 14418 14421 7912 0 -1 1077944384 5 12408 0 0 0 0 7 4 20 0 20 0 5704805 11175264256 44151 33554432000 4194304 4196468 140724588771424 140207289543344 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10913344

[startup+3.10118 s]
/proc/loadavg: 1.56 1.75 1.76 4/281 14494
/proc/meminfo: memFree=30469168/32770624 swapFree=5780/383668
[pid=14421] ppid=14418 vsize=10927868 CPUtime=6.84 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (java) S 14418 14421 7912 0 -1 1077944320 43420 12408 0 0 654 19 7 4 20 0 20 0 5704782 11190136832 59596 33554432000 4194304 4196468 140724588771424 140724588753968 140207958683383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
/proc/14421/statm: 2731967 59596 3478 1 0 2719522 0
[pid=14421/tid=14476] ppid=14418 vsize=10927868 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14476/stat : 14476 (java) R 14418 14421 7912 0 -1 4202560 27870 12408 0 0 282 8 7 4 20 0 20 0 5704795 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207962916136 140207958695318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14477] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14477/stat : 14477 (java) S 14418 14421 7912 0 -1 1077944384 140 12408 0 0 0 0 7 4 20 0 20 0 5704796 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207884757520 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14478] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14478/stat : 14478 (java) S 14418 14421 7912 0 -1 1077944384 22 12408 0 0 0 0 7 4 20 0 20 0 5704796 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207883704976 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14479] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14479/stat : 14479 (java) S 14418 14421 7912 0 -1 1077944384 15 12408 0 0 0 0 7 4 20 0 20 0 5704796 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207882651920 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14480] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14480/stat : 14480 (java) S 14418 14421 7912 0 -1 1077944384 24 12408 0 0 0 0 7 4 20 0 20 0 5704796 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207881599376 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14481] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14481/stat : 14481 (java) S 14418 14421 7912 0 -1 1077944384 41 12408 0 0 0 0 7 4 20 0 20 0 5704796 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207880547344 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14482] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14482/stat : 14482 (java) S 14418 14421 7912 0 -1 1077944384 31 12408 0 0 0 0 7 4 20 0 20 0 5704796 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207879494800 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14483] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14483/stat : 14483 (java) S 14418 14421 7912 0 -1 1077944384 9 12408 0 0 0 0 7 4 20 0 20 0 5704796 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207878441744 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14484] ppid=14418 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14484/stat : 14484 (java) S 14418 14421 7912 0 -1 1077944384 36 12408 0 0 1 0 7 4 20 0 20 0 5704796 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207877389200 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14485] ppid=14418 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14485/stat : 14485 (java) S 14418 14421 7912 0 -1 1077944384 729 12408 0 0 1 0 7 4 20 0 20 0 5704799 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207299016944 140207958694530 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14486] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14486/stat : 14486 (java) S 14418 14421 7912 0 -1 1077944384 57 12408 0 0 0 0 7 4 20 0 20 0 5704799 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207297963232 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14487] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14487/stat : 14487 (java) S 14418 14421 7912 0 -1 1077944384 43 12408 0 0 0 0 7 4 20 0 20 0 5704800 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207296910080 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14488] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14488/stat : 14488 (java) S 14418 14421 7912 0 -1 1077944384 1 12408 0 0 0 0 7 4 20 0 20 0 5704804 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207295858640 140207958701979 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14489] ppid=14418 vsize=10927868 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14489/stat : 14489 (java) R 14418 14421 7912 0 -1 4202560 2021 12408 0 0 66 1 7 4 20 0 20 0 5704804 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207294805168 140207958695318 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14490] ppid=14418 vsize=10927868 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14490/stat : 14490 (java) R 14418 14421 7912 0 -1 4202560 3715 12408 0 0 106 1 7 4 20 0 20 0 5704804 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207293742784 140207943808088 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14491] ppid=14418 vsize=10927868 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14491/stat : 14491 (java) R 14418 14421 7912 0 -1 4202560 1876 12408 0 0 75 1 7 4 20 0 20 0 5704804 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207292688736 140207958704730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14492] ppid=14418 vsize=10927868 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14492/stat : 14492 (java) R 14418 14421 7912 0 -1 4202560 4649 12408 0 0 112 1 7 4 20 0 20 0 5704804 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207291648624 140207958704730 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14493] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14493/stat : 14493 (java) S 14418 14421 7912 0 -1 1077944384 3 12408 0 0 0 0 7 4 20 0 20 0 5704805 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207290595808 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14494] ppid=14418 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14494/stat : 14494 (java) S 14418 14421 7912 0 -1 1077944384 6 12408 0 0 0 0 7 4 20 0 20 0 5704805 11190136832 59596 33554432000 4194304 4196468 140724588771424 140207289543344 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 10927868

[startup+6.30119 s]
/proc/loadavg: 1.75 1.79 1.77 7/281 14494
/proc/meminfo: memFree=30277316/32770624 swapFree=5780/383668
[pid=14421] ppid=14418 vsize=10997500 CPUtime=19.35 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (java) S 14418 14421 7912 0 -1 1077944320 74553 12408 0 0 1888 36 7 4 20 0 20 0 5704782 11261440000 115902 33554432000 4194304 4196468 140724588771424 140724588753968 140207958683383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
/proc/14421/statm: 2749375 115902 3504 1 0 2736930 0
[pid=14421/tid=14476] ppid=14418 vsize=10997500 CPUtime=5.86 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14476/stat : 14476 (java) R 14418 14421 7912 0 -1 4202560 41365 12408 0 0 563 12 7 4 20 0 20 0 5704795 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207962911952 140207547553555 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14477] ppid=14418 vsize=10997500 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14477/stat : 14477 (java) S 14418 14421 7912 0 -1 1077944384 216 12408 0 0 19 1 7 4 20 0 20 0 5704796 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207884757520 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14478] ppid=14418 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14478/stat : 14478 (java) S 14418 14421 7912 0 -1 1077944384 53 12408 0 0 13 1 7 4 20 0 20 0 5704796 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207883704976 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14479] ppid=14418 vsize=10997500 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14479/stat : 14479 (java) S 14418 14421 7912 0 -1 1077944384 59 12408 0 0 18 1 7 4 20 0 20 0 5704796 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207882651920 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14480] ppid=14418 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14480/stat : 14480 (java) S 14418 14421 7912 0 -1 1077944384 51 12408 0 0 14 0 7 4 20 0 20 0 5704796 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207881599376 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14481] ppid=14418 vsize=10997500 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14481/stat : 14481 (java) S 14418 14421 7912 0 -1 1077944384 680 12408 0 0 18 1 7 4 20 0 20 0 5704796 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207880547344 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14482] ppid=14418 vsize=10997500 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14482/stat : 14482 (java) S 14418 14421 7912 0 -1 1077944384 58 12408 0 0 18 1 7 4 20 0 20 0 5704796 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207879494800 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14483] ppid=14418 vsize=10997500 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14483/stat : 14483 (java) S 14418 14421 7912 0 -1 1077944384 87 12408 0 0 17 1 7 4 20 0 20 0 5704796 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207878441744 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14484] ppid=14418 vsize=10997500 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14484/stat : 14484 (java) S 14418 14421 7912 0 -1 1077944384 82 12408 0 0 20 1 7 4 20 0 20 0 5704796 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207877389200 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14485] ppid=14418 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14485/stat : 14485 (java) S 14418 14421 7912 0 -1 1077944384 1821 12408 0 0 14 0 7 4 20 0 20 0 5704799 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207299016944 140207958694530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14486] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14486/stat : 14486 (java) S 14418 14421 7912 0 -1 1077944384 58 12408 0 0 0 0 7 4 20 0 20 0 5704799 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207297963296 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14487] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14487/stat : 14487 (java) S 14418 14421 7912 0 -1 1077944384 44 12408 0 0 0 0 7 4 20 0 20 0 5704800 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207296910080 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14488] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14488/stat : 14488 (java) S 14418 14421 7912 0 -1 1077944384 1 12408 0 0 0 0 7 4 20 0 20 0 5704804 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207295858640 140207958701979 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14489] ppid=14418 vsize=10997500 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14489/stat : 14489 (java) S 14418 14421 7912 0 -1 1077944384 5870 12408 0 0 279 2 7 4 20 0 20 0 5704804 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207294806768 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14490] ppid=14418 vsize=10997500 CPUtime=3.96 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14490/stat : 14490 (java) R 14418 14421 7912 0 -1 4202560 9614 12408 0 0 383 2 7 4 20 0 20 0 5704804 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207293741040 140207940227106 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14491] ppid=14418 vsize=10997500 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14491/stat : 14491 (java) S 14418 14421 7912 0 -1 1077944384 5951 12408 0 0 300 1 7 4 20 0 20 0 5704804 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207292701168 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14492] ppid=14418 vsize=10997500 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14492/stat : 14492 (java) S 14418 14421 7912 0 -1 1077944384 6431 12408 0 0 204 2 7 4 20 0 20 0 5704804 11261440000 115902 33554432000 4194304 4196468 140724588771424 140207291648624 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14493] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

/proc/14421/task/14492/stat : 14492 (java) S 14418 14421 7912 0 -1 1077944384 6439 12408 0 0 204 2 7 4 20 0 20 0 5704804 11261440000 115916 33554432000 4194304 4196468 140724588771424 140207291648624 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14493] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14493/stat : 14493 (java) S 14418 14421 7912 0 -1 1077944384 3 12408 0 0 0 0 7 4 20 0 20 0 5704805 11261440000 115916 33554432000 4194304 4196468 140724588771424 140207290595808 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14494] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14494/stat : 14494 (java) S 14418 14421 7912 0 -1 1077944384 9 12408 0 0 0 0 7 4 20 0 20 0 5704805 11261440000 115916 33554432000 4194304 4196468 140724588771424 140207289543344 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
Current children cumulated CPU time (s) 19.51
Current children cumulated vsize (KiB) 10997500

[startup+8.00089 s]
/proc/loadavg: 1.75 1.79 1.77 3/281 14494
/proc/meminfo: memFree=30070824/32770624 swapFree=5780/383672
[pid=14421] ppid=14418 vsize=10997500 CPUtime=22.36 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (java) S 14418 14421 7912 0 -1 1077944320 85304 12408 0 0 2182 43 7 4 20 0 20 0 5704782 11261440000 147143 33554432000 4194304 4196468 140724588771424 140724588753968 140207958683383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
/proc/14421/statm: 2749375 147143 3514 1 0 2736930 0
[pid=14421/tid=14476] ppid=14418 vsize=10997500 CPUtime=7.54 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14476/stat : 14476 (java) R 14418 14421 7912 0 -1 4202560 43499 12408 0 0 729 14 7 4 20 0 20 0 5704795 11261440000 147143 33554432000 4194304 4196468 140724588771424 140207962912048 140207958695318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14477] ppid=14418 vsize=10997500 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14477/stat : 14477 (java) S 14418 14421 7912 0 -1 1077944384 234 12408 0 0 20 2 7 4 20 0 20 0 5704796 11261440000 147143 33554432000 4194304 4196468 140724588771424 140207884757520 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14478] ppid=14418 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14478/stat : 14478 (java) S 14418 14421 7912 0 -1 1077944384 197 12408 0 0 14 1 7 4 20 0 20 0 5704796 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207883704976 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14479] ppid=14418 vsize=10997500 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14479/stat : 14479 (java) S 14418 14421 7912 0 -1 1077944384 69 12408 0 0 19 2 7 4 20 0 20 0 5704796 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207882651920 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14480] ppid=14418 vsize=10997500 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14480/stat : 14480 (java) S 14418 14421 7912 0 -1 1077944384 67 12408 0 0 15 1 7 4 20 0 20 0 5704796 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207881599376 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14481] ppid=14418 vsize=10997500 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14481/stat : 14481 (java) S 14418 14421 7912 0 -1 1077944384 1027 12408 0 0 19 1 7 4 20 0 20 0 5704796 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207880547344 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14482] ppid=14418 vsize=10997500 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14482/stat : 14482 (java) S 14418 14421 7912 0 -1 1077944384 90 12408 0 0 19 2 7 4 20 0 20 0 5704796 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207879494800 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14483] ppid=14418 vsize=10997500 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14483/stat : 14483 (java) S 14418 14421 7912 0 -1 1077944384 105 12408 0 0 18 2 7 4 20 0 20 0 5704796 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207878441744 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14484] ppid=14418 vsize=10997500 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14484/stat : 14484 (java) S 14418 14421 7912 0 -1 1077944384 108 12408 0 0 21 1 7 4 20 0 20 0 5704796 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207877389200 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14485] ppid=14418 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14485/stat : 14485 (java) S 14418 14421 7912 0 -1 1077944384 2121 12408 0 0 14 0 7 4 20 0 20 0 5704799 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207299016944 140207958694530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14486] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14486/stat : 14486 (java) S 14418 14421 7912 0 -1 1077944384 62 12408 0 0 0 0 7 4 20 0 20 0 5704799 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207297963296 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14487] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14487/stat : 14487 (java) S 14418 14421 7912 0 -1 1077944384 44 12408 0 0 0 0 7 4 20 0 20 0 5704800 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207296910080 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14488] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14488/stat : 14488 (java) S 14418 14421 7912 0 -1 1077944384 1 12408 0 0 0 0 7 4 20 0 20 0 5704804 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207295858640 140207958701979 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14489] ppid=14418 vsize=10997500 CPUtime=3.23 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14489/stat : 14489 (java) S 14418 14421 7912 0 -1 1077944384 8035 12408 0 0 310 2 7 4 20 0 20 0 5704804 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207294806768 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14490] ppid=14418 vsize=10997500 CPUtime=4.26 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14490/stat : 14490 (java) S 14418 14421 7912 0 -1 1077944384 11488 12408 0 0 413 2 7 4 20 0 20 0 5704804 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207293754224 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14491] ppid=14418 vsize=10997500 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14491/stat : 14491 (java) S 14418 14421 7912 0 -1 1077944384 8035 12408 0 0 348 2 7 4 20 0 20 0 5704804 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207292701168 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14492] ppid=14418 vsize=10997500 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14492/stat : 14492 (java) R 14418 14421 7912 0 -1 4202560 7990 12408 0 0 214 2 7 4 20 0 20 0 5704804 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207291648544 140207936947041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14493] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14493/stat : 14493 (java) S 14418 14421 7912 0 -1 1077944384 3 12408 0 0 0 0 7 4 20 0 20 0 5704805 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207290595808 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14494] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14494/stat : 14494 (java) S 14418 14421 7912 0 -1 1077944384 19 12408 0 0 0 0 7 4 20 0 20 0 5704805 11261440000 147145 33554432000 4194304 4196468 140724588771424 140207289543344 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
Current children cumulated CPU time (s) 22.36
Current children cumulated vsize (KiB) 10997500

[startup+8.80108 s]
/proc/loadavg: 2.01 1.84 1.79 5/281 14494
/proc/meminfo: memFree=29973600/32770624 swapFree=5780/383672
[pid=14421] ppid=14418 vsize=10997500 CPUtime=24.74 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (java) S 14418 14421 7912 0 -1 1077944320 93864 12408 0 0 2416 47 7 4 20 0 20 0 5704782 11261440000 171549 33554432000 4194304 4196468 140724588771424 140724588753968 140207958683383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
/proc/14421/statm: 2749375 171549 3514 1 0 2736930 0
[pid=14421/tid=14476] ppid=14418 vsize=10997500 CPUtime=8.35 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14476/stat : 14476 (java) R 14418 14421 7912 0 -1 4202560 43821 12408 0 0 808 16 7 4 20 0 20 0 5704795 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207962912128 140207550325499 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14477] ppid=14418 vsize=10997500 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14477/stat : 14477 (java) S 14418 14421 7912 0 -1 1077944384 236 12408 0 0 20 2 7 4 20 0 20 0 5704796 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207884757520 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14478] ppid=14418 vsize=10997500 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14478/stat : 14478 (java) S 14418 14421 7912 0 -1 1077944384 199 12408 0 0 14 2 7 4 20 0 20 0 5704796 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207883704976 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14479] ppid=14418 vsize=10997500 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14479/stat : 14479 (java) S 14418 14421 7912 0 -1 1077944384 69 12408 0 0 19 2 7 4 20 0 20 0 5704796 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207882651920 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14480] ppid=14418 vsize=10997500 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14480/stat : 14480 (java) S 14418 14421 7912 0 -1 1077944384 69 12408 0 0 16 1 7 4 20 0 20 0 5704796 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207881599376 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14481] ppid=14418 vsize=10997500 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14481/stat : 14481 (java) S 14418 14421 7912 0 -1 1077944384 1029 12408 0 0 19 1 7 4 20 0 20 0 5704796 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207880547344 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14482] ppid=14418 vsize=10997500 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14482/stat : 14482 (java) S 14418 14421 7912 0 -1 1077944384 100 12408 0 0 19 2 7 4 20 0 20 0 5704796 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207879494800 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14483] ppid=14418 vsize=10997500 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14483/stat : 14483 (java) S 14418 14421 7912 0 -1 1077944384 105 12408 0 0 18 2 7 4 20 0 20 0 5704796 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207878441744 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14484] ppid=14418 vsize=10997500 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14484/stat : 14484 (java) S 14418 14421 7912 0 -1 1077944384 108 12408 0 0 21 1 7 4 20 0 20 0 5704796 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207877389200 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14485] ppid=14418 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14485/stat : 14485 (java) S 14418 14421 7912 0 -1 1077944384 2152 12408 0 0 14 0 7 4 20 0 20 0 5704799 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207299016944 140207958694530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14486] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14486/stat : 14486 (java) S 14418 14421 7912 0 -1 1077944384 62 12408 0 0 0 0 7 4 20 0 20 0 5704799 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207297963296 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14487] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14487/stat : 14487 (java) S 14418 14421 7912 0 -1 1077944384 44 12408 0 0 0 0 7 4 20 0 20 0 5704800 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207296910080 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14488] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14488/stat : 14488 (java) S 14418 14421 7912 0 -1 1077944384 1 12408 0 0 0 0 7 4 20 0 20 0 5704804 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207295858640 140207958701979 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14489] ppid=14418 vsize=10997500 CPUtime=3.73 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14489/stat : 14489 (java) S 14418 14421 7912 0 -1 1077944384 11143 12408 0 0 359 3 7 4 20 0 20 0 5704804 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207294806768 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14490] ppid=14418 vsize=10997500 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14490/stat : 14490 (java) S 14418 14421 7912 0 -1 1077944384 13691 12408 0 0 463 3 7 4 20 0 20 0 5704804 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207293754224 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14491] ppid=14418 vsize=10997500 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14491/stat : 14491 (java) S 14418 14421 7912 0 -1 1077944384 10507 12408 0 0 397 2 7 4 20 0 20 0 5704804 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207292701168 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14492] ppid=14418 vsize=10997500 CPUtime=2.34 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14492/stat : 14492 (java) S 14418 14421 7912 0 -1 1077944384 8373 12408 0 0 220 3 7 4 20 0 20 0 5704804 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207291648624 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14493] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14493/stat : 14493 (java) S 14418 14421 7912 0 -1 1077944384 3 12408 0 0 0 0 7 4 20 0 20 0 5704805 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207290595808 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14494] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14494/stat : 14494 (java) S 14418 14421 7912 0 -1 1077944384 19 12408 0 0 0 0 7 4 20 0 20 0 5704805 11261440000 171549 33554432000 4194304 4196468 140724588771424 140207289543344 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 10997500

[startup+9.00118 s]
/proc/loadavg: 2.01 1.84 1.79 5/281 14494
/proc/meminfo: memFree=29973600/32770624 swapFree=5780/383672
[pid=14421] ppid=14418 vsize=10997500 CPUtime=25.37 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (java) S 14418 14421 7912 0 -1 1077944320 94061 12408 0 0 2477 49 7 4 20 0 20 0 5704782 11261440000 182333 33554432000 4194304 4196468 140724588771424 140724588753968 140207958683383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
/proc/14421/statm: 2749375 182333 3514 1 0 2736930 0
[pid=14421/tid=14476] ppid=14418 vsize=10997500 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14476/stat : 14476 (java) R 14418 14421 7912 0 -1 4202560 43841 12408 0 0 825 16 7 4 20 0 20 0 5704795 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207962912968 140207565521685 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14477] ppid=14418 vsize=10997500 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14477/stat : 14477 (java) S 14418 14421 7912 0 -1 1077944384 237 12408 0 0 20 2 7 4 20 0 20 0 5704796 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207884757520 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14478] ppid=14418 vsize=10997500 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14478/stat : 14478 (java) S 14418 14421 7912 0 -1 1077944384 200 12408 0 0 15 2 7 4 20 0 20 0 5704796 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207883704976 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14479] ppid=14418 vsize=10997500 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14479/stat : 14479 (java) S 14418 14421 7912 0 -1 1077944384 71 12408 0 0 19 2 7 4 20 0 20 0 5704796 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207882651920 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14480] ppid=14418 vsize=10997500 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14480/stat : 14480 (java) S 14418 14421 7912 0 -1 1077944384 78 12408 0 0 16 1 7 4 20 0 20 0 5704796 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207881599376 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14481] ppid=14418 vsize=10997500 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14481/stat : 14481 (java) S 14418 14421 7912 0 -1 1077944384 1038 12408 0 0 19 1 7 4 20 0 20 0 5704796 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207880547344 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14482] ppid=14418 vsize=10997500 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14482/stat : 14482 (java) S 14418 14421 7912 0 -1 1077944384 101 12408 0 0 19 2 7 4 20 0 20 0 5704796 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207879494800 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14483] ppid=14418 vsize=10997500 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14483/stat : 14483 (java) S 14418 14421 7912 0 -1 1077944384 105 12408 0 0 18 2 7 4 20 0 20 0 5704796 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207878441744 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14484] ppid=14418 vsize=10997500 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14484/stat : 14484 (java) S 14418 14421 7912 0 -1 1077944384 109 12408 0 0 21 2 7 4 20 0 20 0 5704796 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207877389200 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14485] ppid=14418 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14485/stat : 14485 (java) S 14418 14421 7912 0 -1 1077944384 2172 12408 0 0 14 1 7 4 20 0 20 0 5704799 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207299016944 140207958694530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14486] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14486/stat : 14486 (java) S 14418 14421 7912 0 -1 1077944384 62 12408 0 0 0 0 7 4 20 0 20 0 5704799 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207297963296 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14487] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14487/stat : 14487 (java) S 14418 14421 7912 0 -1 1077944384 44 12408 0 0 0 0 7 4 20 0 20 0 5704800 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207296910080 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14488] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14488/stat : 14488 (java) S 14418 14421 7912 0 -1 1077944384 1 12408 0 0 0 0 7 4 20 0 20 0 5704804 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207295858640 140207958701979 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14489] ppid=14418 vsize=10997500 CPUtime=3.81 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14489/stat : 14489 (java) S 14418 14421 7912 0 -1 1077944384 11202 12408 0 0 367 3 7 4 20 0 20 0 5704804 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207294806768 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14490] ppid=14418 vsize=10997500 CPUtime=4.94 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14490/stat : 14490 (java) R 14418 14421 7912 0 -1 4202560 13704 12408 0 0 480 3 7 4 20 0 20 0 5704804 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207293740000 140207943073237 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14491] ppid=14418 vsize=10997500 CPUtime=4.27 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14491/stat : 14491 (java) R 14418 14421 7912 0 -1 4202560 10534 12408 0 0 414 2 7 4 20 0 20 0 5704804 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207292687984 140207937927154 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14492] ppid=14418 vsize=10997500 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14492/stat : 14492 (java) S 14418 14421 7912 0 -1 1077944384 8407 12408 0 0 222 3 7 4 20 0 20 0 5704804 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207291648624 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14493] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14493/stat : 14493 (java) S 14418 14421 7912 0 -1 1077944384 3 12408 0 0 0 0 7 4 20 0 20 0 5704805 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207290595808 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14494] ppid=14418 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14494/stat : 14494 (java) S 14418 14421 7912 0 -1 1077944384 19 12408 0 0 0 0 7 4 20 0 20 0 5704805 11261440000 182333 33554432000 4194304 4196468 140724588771424 140207289543344 140207958694530 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 10997500

[startup+9.10114 s]
/proc/loadavg: 2.01 1.84 1.79 5/281 14494
/proc/meminfo: memFree=29973600/32770624 swapFree=5780/383672
[pid=14421] ppid=14418 vsize=11064064 CPUtime=25.58 cores=1,3,5,7,9,11,13,15
/proc/14421/stat : 14421 (java) S 14418 14421 7912 0 -1 1077944320 94597 12408 0 0 2498 49 7 4 20 0 18 0 5704782 11329601536 182389 33554432000 4194304 4196468 140724588771424 140724588753968 140207958683383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
/proc/14421/statm: 2766016 182389 3516 1 0 2753571 0
[pid=14421/tid=14477] ppid=14418 vsize=11064064 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14477/stat : 14477 (java) S 14418 14421 7912 0 -1 1077944384 237 12408 0 0 20 2 7 4 20 0 17 0 5704796 11329601536 182322 33554432000 4194304 4196468 140724588771424 140207884757520 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14478] ppid=14418 vsize=11064064 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14478/stat : 14478 (java) S 14418 14421 7912 0 -1 1077944384 200 12408 0 0 15 2 7 4 20 0 17 0 5704796 11329601536 182322 33554432000 4194304 4196468 140724588771424 140207883704976 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14479] ppid=14418 vsize=11064064 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14479/stat : 14479 (java) S 14418 14421 7912 0 -1 1077944384 71 12408 0 0 19 2 7 4 20 0 17 0 5704796 11329601536 182322 33554432000 4194304 4196468 140724588771424 140207882651920 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14480] ppid=14418 vsize=11064064 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14480/stat : 14480 (java) S 14418 14421 7912 0 -1 1077944384 78 12408 0 0 16 1 7 4 20 0 17 0 5704796 11329601536 182322 33554432000 4194304 4196468 140724588771424 140207881599376 140207958693589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30429184 140724588780225 140724588782999 140724588782999 140724588785615 0
[pid=14421/tid=14492] ppid=14418 vsize=0 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/14421/task/14492/stat : 14492 (java) R 14418 14421 7912 0 -1 4203588 8408 12408 0 0 222 3 7 4 20 0 2 0 5704804 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 11064064

Child status: 0
Real time (s): 9.12392
CPU time (s): 25.6236
CPU user time (s): 25.0615
CPU system time (s): 0.562116
CPU usage (%): 280.84
Max. virtual memory (cumulated for all children) (KiB): 11064064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.0615
system time used= 0.562116
maximum resident set size= 729880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11976
involuntary context switches= 3061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.092644 second user time and 0.140937 second system time

The end

Launcher Data 

Begin job on node125 at 2017-07-22 08:19:31
IDJOB=4245563
IDBENCH=122956
IDSOLVER=2630
FILE ID=node125/4245563-1500704371
RUNJOBID= node125-1500682887-8969
PBS_JOBID= 20623328
Free space on /tmp= 61952 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-4245563-1500704371/watcher-4245563-1500704371 -o /tmp/evaluation-result-4245563-1500704371/solver-4245563-1500704371 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500682887-8969 --watchdog 2560  bin/concrete HOME/instance-4245563-1500704371.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 2b8f29373db6f74e5fecedb039cde62c
RANDOM SEED=597701507

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.51
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30646400 kB
MemAvailable:   31085260 kB
Buffers:          179052 kB
Cached:           536216 kB
SwapCached:            0 kB
Active:          1288444 kB
Inactive:         392412 kB
Active(anon):     968196 kB
Inactive(anon):     8764 kB
Active(file):     320248 kB
Inactive(file):   383648 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24240 kB
Writeback:             0 kB
AnonPages:       1131372 kB
Mapped:            43504 kB
Shmem:              8840 kB
Slab:             135548 kB
SReclaimable:     101596 kB
SUnreclaim:        33952 kB
KernelStack:        4864 kB
PageTables:         7752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1770876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    890880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61928 MiB
End job on node125 at 2017-07-22 08:19:41