Trace number 4275037

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
OscaR - Parallel with EPS 2017-07-26SAT (TO)22 19965.9 2520.1599

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-07-350-100.xml
MD5SUMcd1777af07bd314664d86e97c163b75e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark19965.9
Satisfiable
(Un)Satisfiability was proved
Number of variables2451
Number of constraints29
Number of domains2
Minimum domain size2
Maximum domain size334
Distribution of domain sizes[{"size":2,"count":2450},{"size":334,"count":1}]
Minimum variable degree8
Maximum variable degree22
Distribution of variable degrees[{"degree":8,"count":2450},{"degree":22,"count":1}]
Minimum constraint arity350
Maximum constraint arity2450
Distribution of constraint arities[{"arity":350,"count":7},{"arity":701,"count":21},{"arity":2450,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":28}]
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 

0.30/0.26	c version: 2017-07-26
0.30/0.26	c seed: 1851917987
0.30/0.26	c timeout: 20160
0.30/0.26	c memlimit: 11000
0.30/0.26	c nbcore: 8
0.30/0.28	c Parsing instance...
1.11/0.66	c Parsing done, starting search...
16.91/4.27	o 350
16.91/4.29	o 349
17.69/4.30	o 348
17.69/4.32	o 347
17.69/4.33	o 346
17.69/4.33	o 345
17.69/4.33	o 344
17.69/4.34	o 343
17.69/4.35	o 342
17.69/4.35	o 341
17.69/4.36	o 340
17.69/4.36	o 339
17.69/4.36	o 338
17.69/4.36	o 337
17.69/4.37	o 336
17.69/4.38	o 335
17.69/4.39	o 334
17.69/4.39	o 333
17.69/4.39	o 332
17.69/4.40	o 331
18.44/4.42	o 330
18.44/4.42	o 329
18.44/4.42	o 328
18.44/4.42	o 327
18.44/4.42	o 326
18.44/4.43	o 325
18.44/4.43	o 324
18.44/4.43	o 323
18.44/4.43	o 322
18.44/4.43	o 321
18.44/4.43	o 320
18.44/4.44	o 319
18.44/4.44	o 318
18.44/4.44	o 317
18.44/4.44	o 316
18.44/4.44	o 315
18.44/4.44	o 314
18.44/4.45	o 313
18.44/4.45	o 312
18.44/4.45	o 311
18.44/4.45	o 310
18.44/4.45	o 309
18.44/4.46	o 308
18.44/4.46	o 307
18.44/4.46	o 306
18.44/4.46	o 305
18.44/4.47	o 304
18.44/4.47	o 303
18.44/4.47	o 302
18.44/4.47	o 301
18.44/4.48	o 300
18.44/4.48	o 299
18.44/4.48	o 298
18.44/4.48	o 297
18.44/4.48	o 296
18.44/4.48	o 295
19.25/4.56	o 294
19.25/4.56	o 293
19.25/4.56	o 292
19.25/4.56	o 291
19.25/4.58	o 290
19.25/4.58	o 289
19.25/4.58	o 288
19.25/4.58	o 287
19.25/4.58	o 286
19.25/4.58	o 285
19.25/4.59	o 284
19.25/4.59	o 283
19.25/4.59	o 282
19.25/4.59	o 281
19.25/4.59	o 280
19.25/4.60	o 279
19.25/4.60	o 278
19.25/4.60	o 277
19.25/4.60	o 276
19.25/4.60	o 275
19.96/4.60	o 274
19.96/4.61	o 273
19.96/4.61	o 272
19.96/4.61	o 271
19.96/4.61	o 270
19.96/4.61	o 269
19.96/4.61	o 268
19.96/4.62	o 267
19.96/4.62	o 266
19.96/4.62	o 265
19.96/4.62	o 264
19.96/4.62	o 263
19.96/4.63	o 262
19.96/4.63	o 261
19.96/4.63	o 260
19.96/4.63	o 259
19.96/4.63	o 258
19.96/4.63	o 257
19.96/4.64	o 256
19.96/4.64	o 255
19.96/4.64	o 254
19.96/4.64	o 253
19.96/4.64	o 252
19.96/4.64	o 251
19.96/4.65	o 250
19.96/4.65	o 249
19.96/4.65	o 248
19.96/4.65	o 247
19.96/4.65	o 246
19.96/4.65	o 245
19.96/4.65	o 244
19.96/4.65	o 243
19.96/4.65	o 242
19.96/4.66	o 241
19.96/4.66	o 240
19.96/4.66	o 239
19.96/4.67	o 238
19.96/4.67	o 237
19.96/4.67	o 236
19.96/4.67	o 235
19.96/4.67	o 234
19.96/4.67	o 233
19.96/4.68	o 232
19.96/4.68	o 231
19.96/4.68	o 230
19.96/4.68	o 229
19.96/4.68	o 228
19.96/4.68	o 227
19.96/4.69	o 226
19.96/4.69	o 225
19.96/4.69	o 224
19.96/4.69	o 223
19.96/4.69	o 222
19.96/4.69	o 221
20.80/4.70	o 220
20.80/4.70	o 219
20.80/4.70	o 218
20.80/4.70	o 217
20.80/4.70	o 216
20.80/4.70	o 215
20.80/4.70	o 214
20.80/4.71	o 213
20.80/4.71	o 212
20.80/4.71	o 211
20.80/4.72	o 210
20.80/4.72	o 209
20.80/4.72	o 208
20.80/4.72	o 207
20.80/4.72	o 206
20.80/4.72	o 205
20.80/4.73	o 204
20.80/4.73	o 203
20.80/4.73	o 202
20.80/4.73	o 201
20.80/4.73	o 200
20.80/4.74	o 199
20.80/4.74	o 198
20.80/4.74	o 197
20.80/4.76	o 196
20.80/4.76	o 195
20.80/4.76	o 194
20.80/4.76	o 193
20.80/4.76	o 192
20.80/4.76	o 191
20.80/4.76	o 190
20.80/4.76	o 189
20.80/4.76	o 188
20.80/4.77	o 187
20.80/4.77	o 186
20.80/4.77	o 185
20.80/4.77	o 184
20.80/4.77	o 183
20.80/4.79	o 182
20.80/4.79	o 181
20.80/4.79	o 180
20.80/4.79	o 179
20.80/4.79	o 178
20.80/4.79	o 177
21.55/4.80	o 176
21.55/4.80	o 175
21.55/4.80	o 174
21.55/4.80	o 173
21.55/4.81	o 172
21.55/4.81	o 171
21.55/4.81	o 170
21.55/4.81	o 169
21.55/4.82	o 168
21.55/4.83	o 167
21.55/4.83	o 166
21.55/4.84	o 165
21.55/4.84	o 164
21.55/4.84	o 163
21.55/4.84	o 162
21.55/4.84	o 161
21.55/4.85	o 160
21.55/4.85	o 159
21.55/4.85	o 158
21.55/4.85	o 157
21.55/4.85	o 156
21.55/4.85	o 155
21.55/4.86	o 154
21.55/4.86	o 153
21.55/4.86	o 152
21.55/4.86	o 151
21.55/4.86	o 150
21.55/4.87	o 149
21.55/4.87	o 148
21.55/4.87	o 147
21.55/4.87	o 146
21.55/4.87	o 145
21.55/4.88	o 144
21.55/4.88	o 143
21.55/4.88	o 142
21.55/4.88	o 141
21.55/4.89	o 140
21.55/4.89	o 139
21.55/4.89	o 138
21.55/4.89	o 137
21.55/4.89	o 136
21.55/4.89	o 135
21.55/4.89	o 134
21.55/4.89	o 133
21.55/4.89	o 132
22.35/4.90	o 131
22.35/4.90	o 130
22.35/4.90	o 129
22.35/4.90	o 128
22.35/4.90	o 127
22.35/4.91	o 126
22.35/4.93	o 125
22.35/4.93	o 124
22.35/4.93	o 123
22.35/4.97	o 122
22.35/4.97	o 121
22.35/4.97	o 120
22.35/4.98	o 119
22.35/4.98	o 118
22.35/4.98	o 117
22.35/4.98	o 116
22.35/4.98	o 115
22.35/4.99	o 114
22.35/4.99	o 113
22.35/4.99	o 112
22.35/4.99	o 111
22.35/4.99	o 110
22.35/4.99	o 109
22.35/4.99	o 108
22.35/4.99	o 107
22.35/5.00	o 106
22.35/5.00	o 105
22.35/5.00	o 104
22.35/5.01	o 103
22.35/5.01	o 102
22.35/5.01	o 101
22.35/5.01	o 100
24.74/5.28	o 99
37.38/6.83	o 98
54.09/8.96	o 97
72.40/11.27	o 96
92.25/13.71	o 95
95.50/14.14	o 94
98.62/14.53	o 93
107.36/15.67	o 92
109.76/15.97	o 91
111.42/16.12	o 90
112.14/16.23	o 89
118.57/17.06	o 88
129.66/18.41	o 87
133.65/18.96	o 86
137.62/19.47	o 85
140.01/19.71	o 84
140.81/19.81	o 83
142.47/20.04	o 82
145.59/20.45	o 81
148.79/20.81	o 80
150.44/21.05	o 79
155.15/21.67	o 78
156.75/21.85	o 77
163.12/22.61	o 76
164.71/22.89	o 75
169.48/23.47	o 74
175.13/24.18	o 73
178.25/24.56	o 72
178.25/24.59	o 71
179.03/24.61	o 70
179.03/24.64	o 69
179.03/24.66	o 68
179.03/24.69	o 67
179.84/24.71	o 66
179.84/24.74	o 65
179.84/24.77	o 64
180.63/24.81	o 63
180.63/24.84	o 62
182.35/25.02	o 61
183.81/25.20	o 60
185.41/25.49	o 59
189.39/25.97	o 58
191.06/26.16	o 57
191.78/26.24	o 56
194.17/26.58	o 55
198.22/27.05	o 54
201.34/27.44	o 53
210.11/28.53	o 52
220.49/29.81	o 51
221.28/29.99	o 50
223.03/30.17	o 49
224.46/30.33	o 48
224.46/30.37	o 47
225.26/30.42	o 46
227.64/30.74	o 45
229.23/30.98	o 44
232.42/31.31	o 43
239.02/32.14	o 42
242.00/32.54	o 41
244.39/32.81	o 40
246.11/33.07	o 39
249.17/33.40	o 38
251.60/33.73	o 37
252.36/33.83	o 36
254.10/34.02	o 35
255.54/34.25	o 34
259.53/34.78	o 33
261.99/35.02	o 32
266.70/35.66	o 31
267.50/35.74	o 30
270.75/36.15	o 29
274.67/36.68	o 28
277.95/37.09	o 27
284.22/37.83	o 26
285.94/38.07	o 25
291.40/38.71	o 24
307.33/40.79	o 23
316.10/41.81	o 22
19964.89/2520.11	s SATISFIABLE
19964.89/2520.12	v <instantiation>
19964.89/2520.12	v 	<list>
19964.89/2520.12	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] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[4][120] x[4][121] x[4][122] x[4][123] x[4][124] x[4][125] x[4][126] x[4][127] x[4][128] x[4][129] x[4][130] x[4][131] x[4][132] x[4][133] x[4][134] x[4][135] x[4][136] x[4][137] x[4][138] x[4][139] x[4][140] x[4][141] x[4][142] x[4][143] x[4][144] x[4][145] x[4][146] x[4][147] x[4][148] x[4][149] x[4][150] x[4][151] x[4][152] x[4][153] x[4][154] x[4][155] x[4][156] x[4][157] x[4][158] x[4][159] x[4][160] x[4][161] x[4][162] x[4][163] x[4][164] x[4][165] x[4][166] x[4][167] x[4][168] x[4][169] x[4][170] x[4][171] x[4][172] x[4][173] x[4][174] x[4][175] x[4][176] x[4][177] x[4][178] x[4][179] x[4][180] x[4][181] x[4][182] x[4][183] x[4][184] x[4][185] x[4][186] x[4][187] x[4][188] x[4][189] x[4][190] x[4][191] x[4][192] x[4][193] x[4][194] x[4][195] x[4][196] x[4][197] x[4][198] x[4][199] x[4][200] x[4][201] x[4][202] x[4][203] x[4][204] x[4][205] x[4][206] x[4][207] x[4][208] x[4][209] x[4][210] x[4][211] x[4][212] x[4][213] x[4][214] x[4][215] x[4][216] x[4][217] x[4][218] x[4][219] x[4][220] x[4][221] x[4][222] x[4][223] x[4][224] x[4][225] x[4][226] x[4][227] x[4][228] x[4][229] x[4][230] x[4][231] x[4][232] x[4][233] x[4][234] x[4][235] x[4][236] x[4][237] x[4][238] x[4][239] x[4][240] x[4][241] x[4][242] x[4][243] x[4][244] x[4][245] x[4][246] x[4][247] x[4][248] x[4][249] x[4][250] x[4][251] x[4][252] x[4][253] x[4][254] x[4][255] x[4][256] x[4][257] x[4][258] x[4][259] x[4][260] x[4][261] x[4][262] x[4][263] x[4][264] x[4][265] x[4][266] x[4][267] x[4][268] x[4][269] x[4][270] x[4][271] x[4][272] x[4][273] x[4][274] x[4][275] x[4][276] x[4][277] x[4][278] x[4][279] x[4][280] x[4][281] x[4][282] x[4][283] x[4][284] x[4][285] x[4][286] x[4][287] x[4][288] x[4][289] x[4][290] x[4][291] x[4][292] x[4][293] x[4][294] x[4][295] x[4][296] x[4][297] x[4][298] x[4][299] x[4][300] x[4][301] x[4][302] x[4][303] x[4][304] x[4][305] x[4][306] x[4][307] x[4][308] x[4][309] x[4][310] x[4][311] x[4][312] x[4][313] x[4][314] x[4][315] x[4][316] x[4][317] x[4][318] x[4][319] x[4][320] x[4][321] x[4][322] x[4][323] x[4][324] x[4][325] x[4][326] x[4][327] x[4][328] x[4][329] x[4][330] x[4][331] x[4][332] x[4][333] x[4][334] x[4][335] x[4][336] x[4][337] x[4][338] x[4][339] x[4][340] x[4][341] x[4][342] x[4][343] x[4][344] x[4][345] x[4][346] x[4][347] x[4][348] x[4][349] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[5][120] x[5][121] x[5][122] x[5][123] x[5][124] x[5][125] x[5][126] x[5][127] x[5][128] x[5][129] x[5][130] x[5][131] x[5][132] x[5][133] x[5][134] x[5][135] x[5][136] x[5][137] x[5][138] x[5][139] x[5][140] x[5][141] x[5][142] x[5][143] x[5][144] x[5][145] x[5][146] x[5][147] x[5][148] x[5][149] x[5][150] x[5][151] x[5][152] x[5][153] x[5][154] x[5][155] x[5][156] x[5][157] x[5][158] x[5][159] x[5][160] x[5][161] x[5][162] x[5][163] x[5][164] x[5][165] x[5][166] x[5][167] x[5][168] x[5][169] x[5][170] x[5][171] x[5][172] x[5][173] x[5][174] x[5][175] x[5][176] x[5][177] x[5][178] x[5][179] x[5][180] x[5][181] x[5][182] x[5][183] x[5][184] x[5][185] x[5][186] x[5][187] x[5][188] x[5][189] x[5][190] x[5][191] x[5][192] x[5][193] x[5][194] x[5][195] x[5][196] x[5][197] x[5][198] x[5][199] x[5][200] x[5][201] x[5][202] x[5][203] x[5][204] x[5][205] x[5][206] x[5][207] x[5][208] x[5][209] x[5][210] x[5][211] x[5][212] x[5][213] x[5][214] x[5][215] x[5][216] x[5][217] x[5][218] x[5][219] x[5][220] x[5][221] x[5][222] x[5][223] x[5][224] x[5][225] x[5][226] x[5][227] x[5][228] x[5][229] x[5][230] x[5][231] x[5][232] x[5][233] x[5][234] x[5][235] x[5][236] x[5][237] x[5][238] x[5][239] x[5][240] x[5][241] x[5][242] x[5][243] x[5][244] x[5][245] x[5][246] x[5][247] x[5][248] x[5][249] x[5][250] x[5][251] x[5][252] x[5][253] x[5][254] x[5][255] x[5][256] x[5][257] x[5][258] x[5][259] x[5][260] x[5][261] x[5][262] x[5][263] x[5][264] x[5][265] x[5][266] x[5][267] x[5][268] x[5][269] x[5][270] x[5][271] x[5][272] x[5][273] x[5][274] x[5][275] x[5][276] x[5][277] x[5][278] x[5][279] x[5][280] x[5][281] x[5][282] x[5][283] x[5][284] x[5][285] x[5][286] x[5][287] x[5][288] x[5][289] x[5][290] x[5][291] x[5][292] x[5][293] x[5][294] x[5][295] x[5][296] x[5][297] x[5][298] x[5][299] x[5][300] x[5][301] x[5][302] x[5][303] x[5][304] x[5][305] x[5][306] x[5][307] x[5][308] x[5][309] x[5][310] x[5][311] x[5][312] x[5][313] x[5][314] x[5][315] x[5][316] x[5][317] x[5][318] x[5][319] x[5][320] x[5][321] x[5][322] x[5][323] x[5][324] x[5][325] x[5][326] x[5][327] x[5][328] x[5][329] x[5][330] x[5][331] x[5][332] x[5][333] x[5][334] x[5][335] x[5][336] x[5][337] x[5][338] x[5][339] x[5][340] x[5][341] x[5][342] x[5][343] x[5][344] x[5][345] x[5][346] x[5][347] x[5][348] x[5][349] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[6][120] x[6][121] x[6][122] x[6][123] x[6][124] x[6][125] x[6][126] x[6][127] x[6][128] x[6][129] x[6][130] x[6][131] x[6][132] x[6][133] x[6][134] x[6][135] x[6][136] x[6][137] x[6][138] x[6][139] x[6][140] x[6][141] x[6][142] x[6][143] x[6][144] x[6][145] x[6][146] x[6][147] x[6][148] x[6][149] x[6][150] x[6][151] x[6][152] x[6][153] x[6][154] x[6][155] x[6][156] x[6][157] x[6][158] x[6][159] x[6][160] x[6][161] x[6][162] x[6][163] x[6][164] x[6][165] x[6][166] x[6][167] x[6][168] x[6][169] x[6][170] x[6][171] x[6][172] x[6][173] x[6][174] x[6][175] x[6][176] x[6][177] x[6][178] x[6][179] x[6][180] x[6][181] x[6][182] x[6][183] x[6][184] x[6][185] x[6][186] x[6][187] x[6][188] x[6][189] x[6][190] x[6][191] x[6][192] x[6][193] x[6][194] x[6][195] x[6][196] x[6][197] x[6][198] x[6][199] x[6][200] x[6][201] x[6][202] x[6][203] x[6][204] x[6][205] x[6][206] x[6][207] x[6][208] x[6][209] x[6][210] x[6][211] x[6][212] x[6][213] x[6][214] x[6][215] x[6][216] x[6][217] x[6][218] x[6][219] x[6][220] x[6][221] x[6][222] x[6][223] x[6][224] x[6][225] x[6][226] x[6][227] x[6][228] x[6][229] x[6][230] x[6][231] x[6][232] x[6][233] x[6][234] x[6][235] x[6][236] x[6][237] x[6][238] x[6][239] x[6][240] x[6][241] x[6][242] x[6][243] x[6][244] x[6][245] x[6][246] x[6][247] x[6][248] x[6][249] x[6][250] x[6][251] x[6][252] x[6][253] x[6][254] x[6][255] x[6][256] x[6][257] x[6][258] x[6][259] x[6][260] x[6][261] x[6][262] x[6][263] x[6][264] x[6][265] x[6][266] x[6][267] x[6][268] x[6][269] x[6][270] x[6][271] x[6][272] x[6][273] x[6][274] x[6][275] x[6][276] x[6][277] x[6][278] x[6][279] x[6][280] x[6][281] x[6][282] x[6][283] x[6][284] x[6][285] x[6][286] x[6][287] x[6][288] x[6][289] x[6][290] x[6][291] x[6][292] x[6][293] x[6][294] x[6][295] x[6][296] x[6][297] x[6][298] x[6][299] x[6][300] x[6][301] x[6][302] x[6][303] x[6][304] x[6][305] x[6][306] x[6][307] x[6][308] x[6][309] x[6][310] x[6][311] x[6][312] x[6][313] x[6][314] x[6][315] x[6][316] x[6][317] x[6][318] x[6][319] x[6][320] x[6][321] x[6][322] x[6][323] x[6][324] x[6][325] x[6][326] x[6][327] x[6][328] x[6][329] x[6][330] x[6][331] x[6][332] x[6][333] x[6][334] x[6][335] x[6][336] x[6][337] x[6][338] x[6][339] x[6][340] x[6][341] x[6][342] x[6][343] x[6][344] x[6][345] x[6][346] x[6][347] x[6][348] x[6][349]
19964.89/2520.12	v 	</list>
19964.89/2520.12	v 	<values>
19964.89/2520.12	v 		22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 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 1 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 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 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 0 0 0 0 0 0 0 0 0 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 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
19964.89/2520.12	v 	</values>
19964.89/2520.12	v </instantiation>

Verifier Data 

OK	22

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13940 MiB free)
  memory of node 1: 16384 MiB (14148 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275037-1502689688/watcher-4275037-1502689688 -o /tmp/evaluation-result-4275037-1502689688/solver-4275037-1502689688 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502680895-29229 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1851917987 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275037-1502689688.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30352, runsolver pid=30349
Current StackSize limit: 8192 KiB


[startup+0.100125 s]*
/proc/loadavg: 1.74 1.84 2.74 3/198 30372
/proc/meminfo: memFree=28746404/32770624 swapFree=67108860/67108860
[pid=30352] ppid=30349 vsize=14325320 memory=32552 CPUtime=0.12 cores=0-7
/proc/30352/stat : 30352 (java) S 30349 30352 29202 0 -1 1077944320 8521 0 0 0 10 2 0 0 20 0 20 0 102049813 14669127680 8138 33554432000 4194304 4196468 140725678976640 140725678959184 139719878098679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
/proc/30352/statm: 3581330 8138 3402 1 0 3569050 0
[pid=30352/tid=30354] ppid=30349 vsize=14325320 memory=7896108053826542492 CPUtime=0.09 cores=0-7
/proc/30352/task/30354/stat : 30354 (java) R 30349 30352 29202 0 -1 4202560 6406 0 0 0 8 1 0 0 20 0 20 0 102049814 14669127680 8138 33554432000 4194304 4196468 140725678976640 139719882315376 139719878110614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30355] ppid=30349 vsize=14325320 memory=732369885798112229 CPUtime=0 cores=0-7
/proc/30352/task/30355/stat : 30355 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 8138 33554432000 4194304 4196468 140725678976640 139719473994896 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30356] ppid=30349 vsize=14325320 memory=139747460658816 CPUtime=0 cores=0-7
/proc/30352/task/30356/stat : 30356 (java) S 30349 30352 29202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 8138 33554432000 4194304 4196468 140725678976640 139719472942096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30357] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30357/stat : 30357 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 8138 33554432000 4194304 4196468 140725678976640 139719471889296 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30358] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30358/stat : 30358 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 8138 33554432000 4194304 4196468 140725678976640 139719470836496 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30359] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30359/stat : 30359 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 8138 33554432000 4194304 4196468 140725678976640 139719469783696 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30360] ppid=30349 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/30352/task/30360/stat : 30360 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 8138 33554432000 4194304 4196468 140725678976640 139719468730896 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30361] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30361/stat : 30361 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 8138 33554432000 4194304 4196468 140725678976640 139719467678096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30362] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30362/stat : 30362 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 8138 33554432000 4194304 4196468 140725678976640 139719466625296 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30363] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30363/stat : 30363 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049816 14669127680 8138 33554432000 4194304 4196468 140725678976640 139718840798064 139719878109826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30364] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30364/stat : 30364 (java) S 30349 30352 29202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102049817 14669127680 8138 33554432000 4194304 4196468 140725678976640 139718839744032 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30365] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30365/stat : 30365 (java) S 30349 30352 29202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102049817 14669127680 8138 33554432000 4194304 4196468 140725678976640 139718838691184 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30366] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30366/stat : 30366 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049819 14669127680 8138 33554432000 4194304 4196468 140725678976640 139718837639504 139719878117275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30367] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30367/stat : 30367 (java) S 30349 30352 29202 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 20 0 102049819 14669127680 8138 33554432000 4194304 4196468 140725678976640 139718836586864 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30368] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30368/stat : 30368 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049819 14669127680 8138 33554432000 4194304 4196468 140725678976640 139718835534064 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30369] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30369/stat : 30369 (java) S 30349 30352 29202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102049819 14669127680 8138 33554432000 4194304 4196468 140725678976640 139718834481264 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30370] ppid=30349 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/30352/task/30370/stat : 30370 (java) R 30349 30352 29202 0 -1 4202560 404 0 0 0 1 0 0 0 20 0 20 0 102049819 14669127680 8138 33554432000 4194304 4196468 140725678976640 139718833428464 139719878110614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30371] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30371/stat : 30371 (java) S 30349 30352 29202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102049820 14669127680 8138 33554432000 4194304 4196468 140725678976640 139718832376928 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30372] ppid=30349 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/30352/task/30372/stat : 30372 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049820 14669127680 8138 33554432000 4194304 4196468 140725678976640 139718831324208 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 32552 KiB

[startup+0.210488 s]*
/proc/loadavg: 1.74 1.84 2.74 2/198 30372
/proc/meminfo: memFree=28735796/32770624 swapFree=67108860/67108860
[pid=30352] ppid=30349 vsize=14325320 memory=41980 CPUtime=0.3 cores=0-7
/proc/30352/stat : 30352 (java) S 30349 30352 29202 0 -1 1077944320 9607 0 0 0 27 3 0 0 20 0 20 0 102049813 14669127680 10495 33554432000 4194304 4196468 140725678976640 140725678959184 139719878098679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
/proc/30352/statm: 3581330 10495 3612 1 0 3569050 0
[pid=30352/tid=30354] ppid=30349 vsize=14325320 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/30352/task/30354/stat : 30354 (java) R 30349 30352 29202 0 -1 4202560 7042 0 0 0 17 2 0 0 20 0 20 0 102049814 14669127680 10495 33554432000 4194304 4196468 140725678976640 139719882325024 139719862179166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30355] ppid=30349 vsize=14325320 memory=288230604674433361 CPUtime=0 cores=0-7
/proc/30352/task/30355/stat : 30355 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 10495 33554432000 4194304 4196468 140725678976640 139719473994896 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30356] ppid=30349 vsize=14325320 memory=139747460967296 CPUtime=0 cores=0-7
/proc/30352/task/30356/stat : 30356 (java) S 30349 30352 29202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 10495 33554432000 4194304 4196468 140725678976640 139719472942096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30357] ppid=30349 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/30352/task/30357/stat : 30357 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 10495 33554432000 4194304 4196468 140725678976640 139719471889296 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30358] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30358/stat : 30358 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 10495 33554432000 4194304 4196468 140725678976640 139719470836496 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30359] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30359/stat : 30359 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 10495 33554432000 4194304 4196468 140725678976640 139719469783696 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30360] ppid=30349 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/30352/task/30360/stat : 30360 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 10495 33554432000 4194304 4196468 140725678976640 139719468730896 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30361] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30361/stat : 30361 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 10495 33554432000 4194304 4196468 140725678976640 139719467678096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30362] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30362/stat : 30362 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14669127680 10495 33554432000 4194304 4196468 140725678976640 139719466625296 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30363] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30363/stat : 30363 (java) S 30349 30352 29202 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102049816 14669127680 10495 33554432000 4194304 4196468 140725678976640 139718840798064 139719878109826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30364] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30364/stat : 30364 (java) S 30349 30352 29202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102049817 14669127680 10495 33554432000 4194304 4196468 140725678976640 139718839744032 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30365] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30365/stat : 30365 (java) S 30349 30352 29202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102049817 14669127680 10495 33554432000 4194304 4196468 140725678976640 139718838691184 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30366] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30366/stat : 30366 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049819 14669127680 10495 33554432000 4194304 4196468 140725678976640 139718837639504 139719878117275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30367] ppid=30349 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/30352/task/30367/stat : 30367 (java) S 30349 30352 29202 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 20 0 102049819 14669127680 10495 33554432000 4194304 4196468 140725678976640 139718836586864 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30368] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30368/stat : 30368 (java) S 30349 30352 29202 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 102049819 14669127680 10495 33554432000 4194304 4196468 140725678976640 139718835534064 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30369] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30369/stat : 30369 (java) S 30349 30352 29202 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 20 0 102049819 14669127680 10495 33554432000 4194304 4196468 140725678976640 139718834481264 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30370] ppid=30349 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/30352/task/30370/stat : 30370 (java) S 30349 30352 29202 0 -1 1077944384 490 0 0 0 5 0 0 0 20 0 20 0 102049819 14669127680 10495 33554432000 4194304 4196468 140725678976640 139718833428464 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30371] ppid=30349 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30371/stat : 30371 (java) S 30349 30352 29202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102049820 14669127680 10495 33554432000 4194304 4196468 140725678976640 139718832376928 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30372] ppid=30349 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/30352/task/30372/stat : 30372 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049820 14669127680 10495 33554432000 4194304 4196468 140725678976640 139718831324208 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 41980 KiB

[startup+0.310092 s]*
/proc/loadavg: 1.74 1.84 2.74 2/198 30372
/proc/meminfo: memFree=28728352/32770624 swapFree=67108860/67108860
[pid=30352] ppid=30349 vsize=14325340 memory=49400 CPUtime=0.48 cores=0-7
/proc/30352/stat : 30352 (java) S 30349 30352 29202 0 -1 1077944320 10717 0 0 0 44 4 0 0 20 0 20 0 102049813 14669148160 12350 33554432000 4194304 4196468 140725678976640 140725678959184 139719878098679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
/proc/30352/statm: 3581335 12350 3673 1 0 3569050 0
[pid=30352/tid=30354] ppid=30349 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30352/task/30354/stat : 30354 (java) R 30349 30352 29202 0 -1 4202560 7624 0 0 0 27 2 0 0 20 0 20 0 102049814 14669148160 12415 33554432000 4194304 4196468 140725678976640 139719882317248 139719862179166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30355] ppid=30349 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30355/stat : 30355 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669148160 12415 33554432000 4194304 4196468 140725678976640 139719473994896 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30356] ppid=30349 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30356/stat : 30356 (java) S 30349 30352 29202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102049815 14669148160 12415 33554432000 4194304 4196468 140725678976640 139719472942096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30357] ppid=30349 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30357/stat : 30357 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669148160 12415 33554432000 4194304 4196468 140725678976640 139719471889296 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30358] ppid=30349 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30358/stat : 30358 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669148160 12415 33554432000 4194304 4196468 140725678976640 139719470836496 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30359] ppid=30349 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/30352/task/30359/stat : 30359 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14669148160 12415 33554432000 4194304 4196468 140725678976640 139719469783696 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30360] ppid=30349 vsize=14325340 memory=139747364271023 CPUtime=0 cores=0-7
/proc/30352/task/30360/stat : 30360 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14669148160 12415 33554432000 4194304 4196468 140725678976640 139719468730896 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30361] ppid=30349 vsize=14325340 memory=139747364273328 CPUtime=0 cores=0-7
/proc/30352/task/30361/stat : 30361 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14669148160 12415 33554432000 4194304 4196468 140725678976640 139719467678096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30362] ppid=30349 vsize=14325340 memory=139747364275632 CPUtime=0 cores=0-7
/proc/30352/task/30362/stat : 30362 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14669148160 12415 33554432000 4194304 4196468 140725678976640 139719466625296 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30363] ppid=30349 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30363/stat : 30363 (java) S 30349 30352 29202 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102049816 14669148160 12415 33554432000 4194304 4196468 140725678976640 139718840798064 139719878109826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30364] ppid=30349 vsize=14325340 memory=279494728558224 CPUtime=0 cores=0-7
/proc/30352/task/30364/stat : 30364 (java) S 30349 30352 29202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102049817 14669148160 12415 33554432000 4194304 4196468 140725678976640 139718839744032 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30365] ppid=30349 vsize=14325340 memory=279494728565136 CPUtime=0 cores=0-7
/proc/30352/task/30365/stat : 30365 (java) S 30349 30352 29202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102049817 14669148160 12415 33554432000 4194304 4196468 140725678976640 139718838691184 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30366] ppid=30349 vsize=14325340 memory=279494728506416 CPUtime=0 cores=0-7
/proc/30352/task/30366/stat : 30366 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049819 14669148160 12415 33554432000 4194304 4196468 140725678976640 139718837639504 139719878117275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30367] ppid=30349 vsize=14325340 memory=279494728578960 CPUtime=0.03 cores=0-7
/proc/30352/task/30367/stat : 30367 (java) S 30349 30352 29202 0 -1 1077944384 615 0 0 0 3 0 0 0 20 0 20 0 102049819 14669148160 12415 33554432000 4194304 4196468 140725678976640 139718836586864 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30368] ppid=30349 vsize=14325340 memory=279494728585872 CPUtime=0.04 cores=0-7
/proc/30352/task/30368/stat : 30368 (java) S 30349 30352 29202 0 -1 1077944384 262 0 0 0 4 0 0 0 20 0 20 0 102049819 14669148160 12415 33554432000 4194304 4196468 140725678976640 139718835534064 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30369] ppid=30349 vsize=14325340 memory=279494728583568 CPUtime=0.01 cores=0-7
/proc/30352/task/30369/stat : 30369 (java) S 30349 30352 29202 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 102049819 14669148160 12415 33554432000 4194304 4196468 140725678976640 139718834481264 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30370] ppid=30349 vsize=14325340 memory=279494728600128 CPUtime=0.08 cores=0-7
/proc/30352/task/30370/stat : 30370 (java) S 30349 30352 29202 0 -1 1077944384 640 0 0 0 8 0 0 0 20 0 20 0 102049819 14669148160 12415 33554432000 4194304 4196468 140725678976640 139718833428464 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30371] ppid=30349 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30371/stat : 30371 (java) S 30349 30352 29202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102049820 14669148160 12415 33554432000 4194304 4196468 140725678976640 139718832376928 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30372] ppid=30349 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/30352/task/30372/stat : 30372 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049820 14669148160 12415 33554432000 4194304 4196468 140725678976640 139718831324208 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 49400 KiB

[startup+0.700939 s]
/proc/loadavg: 1.74 1.84 2.74 6/198 30372
/proc/meminfo: memFree=28715944/32770624 swapFree=67108860/67108860
[pid=30352] ppid=30349 vsize=14329436 memory=80188 CPUtime=1.33 cores=0-7
/proc/30352/stat : 30352 (java) S 30349 30352 29202 0 -1 1077944320 13630 0 0 0 127 6 0 0 20 0 20 0 102049813 14673342464 20047 33554432000 4194304 4196468 140725678976640 140725678959184 139719878098679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
/proc/30352/statm: 3582359 20047 3770 1 0 3570074 0
[pid=30352/tid=30354] ppid=30349 vsize=14329436 memory=6298354861388157544 CPUtime=0.67 cores=0-7
/proc/30352/task/30354/stat : 30354 (java) R 30349 30352 29202 0 -1 4202560 8874 0 0 0 63 4 0 0 20 0 20 0 102049814 14673342464 20047 33554432000 4194304 4196468 140725678976640 139719882328416 139719878120605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30355] ppid=30349 vsize=14329436 memory=130442451807558 CPUtime=0 cores=0-7
/proc/30352/task/30355/stat : 30355 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14673342464 20047 33554432000 4194304 4196468 140725678976640 139719473994896 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30356] ppid=30349 vsize=14329436 memory=139747364303561 CPUtime=0 cores=0-7
/proc/30352/task/30356/stat : 30356 (java) S 30349 30352 29202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102049815 14673342464 20047 33554432000 4194304 4196468 140725678976640 139719472942096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30357] ppid=30349 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30357/stat : 30357 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14673342464 20047 33554432000 4194304 4196468 140725678976640 139719471889296 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30358] ppid=30349 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30358/stat : 30358 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14673342464 20047 33554432000 4194304 4196468 140725678976640 139719470836496 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30359] ppid=30349 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30359/stat : 30359 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14673342464 20047 33554432000 4194304 4196468 140725678976640 139719469783696 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30360] ppid=30349 vsize=14329436 memory=2353 CPUtime=0 cores=0-7
/proc/30352/task/30360/stat : 30360 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14673342464 20047 33554432000 4194304 4196468 140725678976640 139719468730896 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30361] ppid=30349 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30361/stat : 30361 (java) S 30349 30352 29202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102049815 14673342464 20047 33554432000 4194304 4196468 140725678976640 139719467678096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30362] ppid=30349 vsize=14329436 memory=1728 CPUtime=0 cores=0-7
/proc/30352/task/30362/stat : 30362 (java) S 30349 30352 29202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102049815 14673342464 20047 33554432000 4194304 4196468 140725678976640 139719466625296 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30363] ppid=30349 vsize=14329436 memory=12064 CPUtime=0 cores=0-7
/proc/30352/task/30363/stat : 30363 (java) S 30349 30352 29202 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102049816 14673342464 20047 33554432000 4194304 4196468 140725678976640 139718840798064 139719878109826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0

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

/proc/30352/task/30376/stat : 30376 (java) S 30349 30352 29202 0 -1 1077944384 122386 0 0 0 247402 129 0 0 20 0 46 0 102050094 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718813677856 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30377] ppid=30349 vsize=16068328 memory=4116 CPUtime=2474.31 cores=0-7
/proc/30352/task/30377/stat : 30377 (java) R 30349 30352 29202 0 -1 4202560 127514 0 0 0 247290 141 0 0 20 0 46 0 102050094 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718812625832 139719518247489 0 4 0 16800975 0 0 0 -1 7 0 0 49 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30378] ppid=30349 vsize=16068328 memory=1156 CPUtime=2474.81 cores=0-7
/proc/30352/task/30378/stat : 30378 (java) S 30349 30352 29202 0 -1 1077944384 120093 0 0 0 247345 136 0 0 20 0 46 0 102050096 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718811572064 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 60 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30379] ppid=30349 vsize=16068328 memory=4644 CPUtime=2473.08 cores=0-7
/proc/30352/task/30379/stat : 30379 (java) S 30349 30352 29202 0 -1 1077944384 129163 0 0 0 247163 145 0 0 20 0 46 0 102050096 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718810523456 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 51 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30380] ppid=30349 vsize=16068328 memory=1364584 CPUtime=2472.22 cores=0-7
/proc/30352/task/30380/stat : 30380 (java) R 30349 30352 29202 0 -1 4202560 118085 0 0 0 247098 124 0 0 20 0 46 0 102050096 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718809468568 139719522246752 0 4 0 16800975 0 0 0 -1 5 0 0 50 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30381] ppid=30349 vsize=16068328 memory=6791534058613427641 CPUtime=2475.36 cores=0-7
/proc/30352/task/30381/stat : 30381 (java) S 30349 30352 29202 0 -1 1077944384 124533 0 0 0 247405 131 0 0 20 0 46 0 102050096 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718808415632 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30382] ppid=30349 vsize=16068328 memory=1728 CPUtime=0.12 cores=0-7
/proc/30352/task/30382/stat : 30382 (java) S 30349 30352 29202 0 -1 1077944384 53 0 0 0 12 0 0 0 20 0 46 0 102050096 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718807369104 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30383] ppid=30349 vsize=16068328 memory=12064 CPUtime=0 cores=0-7
/proc/30352/task/30383/stat : 30383 (java) S 30349 30352 29202 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 46 0 102050096 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718806316304 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30384] ppid=30349 vsize=16068328 memory=1004 CPUtime=0 cores=0-7
/proc/30352/task/30384/stat : 30384 (java) S 30349 30352 29202 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 46 0 102050096 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718805263504 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30385] ppid=30349 vsize=16068328 memory=1228 CPUtime=2474.23 cores=0-7
/proc/30352/task/30385/stat : 30385 (java) S 30349 30352 29202 0 -1 1077944384 114954 0 0 0 247296 127 0 0 20 0 46 0 102050097 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718804203920 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30386] ppid=30349 vsize=16068328 memory=1952 CPUtime=0 cores=0-7
/proc/30352/task/30386/stat : 30386 (java) S 30349 30352 29202 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 102050123 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718803157904 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30387] ppid=30349 vsize=16068328 memory=5796 CPUtime=0 cores=0-7
/proc/30352/task/30387/stat : 30387 (java) S 30349 30352 29202 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 102050123 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718802106128 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30388] ppid=30349 vsize=16068328 memory=4616 CPUtime=0 cores=0-7
/proc/30352/task/30388/stat : 30388 (java) S 30349 30352 29202 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 46 0 102050123 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718801053328 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30389] ppid=30349 vsize=16068328 memory=8584 CPUtime=0.01 cores=0-7
/proc/30352/task/30389/stat : 30389 (java) S 30349 30352 29202 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 46 0 102050123 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718800000528 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30390] ppid=30349 vsize=16068328 memory=792 CPUtime=0 cores=0-7
/proc/30352/task/30390/stat : 30390 (java) S 30349 30352 29202 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 46 0 102050243 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718796813712 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30391] ppid=30349 vsize=16068328 memory=1204 CPUtime=0 cores=0-7
/proc/30352/task/30391/stat : 30391 (java) S 30349 30352 29202 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 46 0 102050246 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718795760912 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30392] ppid=30349 vsize=16068328 memory=1716 CPUtime=0 cores=0-7
/proc/30352/task/30392/stat : 30392 (java) S 30349 30352 29202 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 46 0 102050248 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718794708112 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30393] ppid=30349 vsize=16068328 memory=1440 CPUtime=0 cores=0-7
/proc/30352/task/30393/stat : 30393 (java) S 30349 30352 29202 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 102050251 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718793655312 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30394] ppid=30349 vsize=16068328 memory=15876 CPUtime=0 cores=0-7
/proc/30352/task/30394/stat : 30394 (java) S 30349 30352 29202 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 46 0 102050252 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718792602512 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30395] ppid=30349 vsize=16068328 memory=1601672 CPUtime=0 cores=0-7
/proc/30352/task/30395/stat : 30395 (java) S 30349 30352 29202 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 102050252 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718791550736 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30396] ppid=30349 vsize=16068328 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/30352/task/30396/stat : 30396 (java) S 30349 30352 29202 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 102050253 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718790497936 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30397] ppid=30349 vsize=16068328 memory=1385104 CPUtime=0 cores=0-7
/proc/30352/task/30397/stat : 30397 (java) S 30349 30352 29202 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 46 0 102050253 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718789445136 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30398] ppid=30349 vsize=16068328 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/30352/task/30398/stat : 30398 (java) S 30349 30352 29202 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 46 0 102050257 16453967872 400852 33554432000 4194304 4196468 140725678976640 139718788392336 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
Current children cumulated CPU time: 19964.9 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 1603408 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.16 s]
# the end of solver process 30352 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19948.3 s, system=17.5644 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.13 s]
/proc/loadavg: 9.21 8.81 8.34 9/224 30453
/proc/meminfo: memFree=27161320/32770624 swapFree=67108860/67108860
[pid=30352] ppid=30349 vsize=16201456 memory=1603176 CPUtime=19965.8 cores=0-7
/proc/30352/stat : 30352 (java) S 30349 30352 29202 0 -1 1077944320 2055098 0 0 0 1994827 1755 0 0 20 0 47 0 102049813 16590290944 400794 33554432000 4194304 4196468 140725678976640 140725678959184 139719878098679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
/proc/30352/statm: 4050364 400794 3859 1 0 4037558 0
[pid=30352/tid=30354] ppid=30349 vsize=16201456 memory=1603408 CPUtime=2.74 cores=0-7
/proc/30352/task/30354/stat : 30354 (java) S 30349 30352 29202 0 -1 1077944384 14307 0 0 0 266 8 0 0 20 0 47 0 102049814 16590290944 400794 33554432000 4194304 4196468 140725678976640 139719882336384 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30355] ppid=30349 vsize=16201456 memory=1601672 CPUtime=18.53 cores=0-7
/proc/30352/task/30355/stat : 30355 (java) S 30349 30352 29202 0 -1 1077944384 90753 0 0 0 1785 68 0 0 20 0 47 0 102049815 16590290944 400794 33554432000 4194304 4196468 140725678976640 139719473994896 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30356] ppid=30349 vsize=16201456 memory=1599496 CPUtime=18.52 cores=0-7
/proc/30352/task/30356/stat : 30356 (java) S 30349 30352 29202 0 -1 1077944384 79581 0 0 0 1783 69 0 0 20 0 47 0 102049815 16590290944 400794 33554432000 4194304 4196468 140725678976640 139719472942096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30357] ppid=30349 vsize=16201456 memory=1429036 CPUtime=18.63 cores=0-7
/proc/30352/task/30357/stat : 30357 (java) S 30349 30352 29202 0 -1 1077944384 90122 0 0 0 1795 68 0 0 20 0 47 0 102049815 16590290944 400794 33554432000 4194304 4196468 140725678976640 139719471889296 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30358] ppid=30349 vsize=16201456 memory=1349196 CPUtime=18.58 cores=0-7
/proc/30352/task/30358/stat : 30358 (java) S 30349 30352 29202 0 -1 1077944384 96438 0 0 0 1793 65 0 0 20 0 47 0 102049815 16590290944 400794 33554432000 4194304 4196468 140725678976640 139719470836496 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30359] ppid=30349 vsize=16201456 memory=1356888 CPUtime=18.6 cores=0-7
/proc/30352/task/30359/stat : 30359 (java) S 30349 30352 29202 0 -1 1077944384 93075 0 0 0 1790 70 0 0 20 0 47 0 102049815 16590290944 400794 33554432000 4194304 4196468 140725678976640 139719469783696 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30360] ppid=30349 vsize=16201456 memory=1344064 CPUtime=18.59 cores=0-7
/proc/30352/task/30360/stat : 30360 (java) S 30349 30352 29202 0 -1 1077944384 91776 0 0 0 1793 66 0 0 20 0 47 0 102049815 16590290944 400794 33554432000 4194304 4196468 140725678976640 139719468730896 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30361] ppid=30349 vsize=16201456 memory=1599496 CPUtime=18.58 cores=0-7
/proc/30352/task/30361/stat : 30361 (java) S 30349 30352 29202 0 -1 1077944384 93709 0 0 0 1790 68 0 0 20 0 47 0 102049815 16590290944 400794 33554432000 4194304 4196468 140725678976640 139719467678096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30362] ppid=30349 vsize=16201456 memory=1603408 CPUtime=18.49 cores=0-7
/proc/30352/task/30362/stat : 30362 (java) S 30349 30352 29202 0 -1 1077944384 96963 0 0 0 1778 71 0 0 20 0 47 0 102049815 16590290944 400794 33554432000 4194304 4196468 140725678976640 139719466625296 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30363] ppid=30349 vsize=16201456 memory=1355352 CPUtime=7.39 cores=0-7
/proc/30352/task/30363/stat : 30363 (java) S 30349 30352 29202 0 -1 1077944384 257656 0 0 0 591 148 0 0 20 0 47 0 102049816 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718840798064 139719878109826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30364] ppid=30349 vsize=16201456 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30364/stat : 30364 (java) S 30349 30352 29202 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 47 0 102049817 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718839744096 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30365] ppid=30349 vsize=16201456 memory=1400496 CPUtime=0 cores=0-7
/proc/30352/task/30365/stat : 30365 (java) S 30349 30352 29202 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 47 0 102049817 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718838691200 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30366] ppid=30349 vsize=16201456 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/30352/task/30366/stat : 30366 (java) S 30349 30352 29202 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 47 0 102049819 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718837639504 139719878117275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30367] ppid=30349 vsize=16201456 memory=139749645878134 CPUtime=2.32 cores=0-7
/proc/30352/task/30367/stat : 30367 (java) S 30349 30352 29202 0 -1 1077944384 7684 0 0 0 230 2 0 0 20 0 47 0 102049819 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718836586864 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30368] ppid=30349 vsize=16201456 memory=139749645878140 CPUtime=2.42 cores=0-7
/proc/30352/task/30368/stat : 30368 (java) R 30349 30352 29202 0 -1 4202560 9304 0 0 0 240 2 0 0 20 0 47 0 102049819 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718835534360 139719862742707 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30369] ppid=30349 vsize=16201456 memory=737 CPUtime=2.38 cores=0-7
/proc/30352/task/30369/stat : 30369 (java) R 30349 30352 29202 0 -1 4202560 11239 0 0 0 236 2 0 0 20 0 47 0 102049819 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718834481560 139719870333507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30370] ppid=30349 vsize=16201456 memory=0 CPUtime=1.03 cores=0-7
/proc/30352/task/30370/stat : 30370 (java) R 30349 30352 29202 0 -1 4202560 14996 0 0 0 98 5 0 0 20 0 47 0 102049819 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718833428160 139719863773823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30371] ppid=30349 vsize=16201456 memory=8584 CPUtime=0 cores=0-7
/proc/30352/task/30371/stat : 30371 (java) S 30349 30352 29202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 47 0 102049820 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718832376928 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30372] ppid=30349 vsize=16201456 memory=792 CPUtime=0.95 cores=0-7
/proc/30352/task/30372/stat : 30372 (java) S 30349 30352 29202 0 -1 1077944384 8483 0 0 0 38 57 0 0 20 0 47 0 102049820 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718831324208 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30373] ppid=30349 vsize=16201456 memory=0 CPUtime=0.01 cores=0-7
/proc/30352/task/30373/stat : 30373 (java) S 30349 30352 29202 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 47 0 102050071 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718821037216 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30374] ppid=30349 vsize=16201456 memory=0 CPUtime=5.23 cores=0-7
/proc/30352/task/30374/stat : 30374 (java) S 30349 30352 29202 0 -1 1077944384 21958 0 0 0 200 323 0 0 20 0 47 0 102050083 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718817887520 139719878109826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30375] ppid=30349 vsize=16201456 memory=279494732182560 CPUtime=2472.22 cores=0-7
/proc/30352/task/30375/stat : 30375 (java) R 30349 30352 29202 0 -1 4202560 116747 0 0 0 247091 131 0 0 20 0 47 0 102050093 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718816828056 139719526024433 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30376] ppid=30349 vsize=16201456 memory=388 CPUtime=2475.42 cores=0-7
/proc/30352/task/30376/stat : 30376 (java) R 30349 30352 29202 0 -1 4202560 122386 0 0 0 247413 129 0 0 20 0 47 0 102050094 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718813677992 139719518648987 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30377] ppid=30349 vsize=16201456 memory=1391260 CPUtime=2474.42 cores=0-7
/proc/30352/task/30377/stat : 30377 (java) R 30349 30352 29202 0 -1 4202560 127514 0 0 0 247301 141 0 0 20 0 47 0 102050094 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718812625376 139719516612344 0 4 0 16800975 0 0 0 -1 7 0 0 49 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30378] ppid=30349 vsize=16201456 memory=4096 CPUtime=2474.93 cores=0-7
/proc/30352/task/30378/stat : 30378 (java) R 30349 30352 29202 0 -1 4202560 120093 0 0 0 247357 136 0 0 20 0 47 0 102050096 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718811572200 139719520179920 0 4 0 16800975 0 0 0 -1 2 0 0 60 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30379] ppid=30349 vsize=16201456 memory=1385104 CPUtime=2473.2 cores=0-7
/proc/30352/task/30379/stat : 30379 (java) R 30349 30352 29202 0 -1 4202560 129163 0 0 0 247175 145 0 0 20 0 47 0 102050096 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718810523344 139719524585717 0 4 0 16800975 0 0 0 -1 3 0 0 51 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30380] ppid=30349 vsize=16201456 memory=260927853227342 CPUtime=2472.33 cores=0-7
/proc/30352/task/30380/stat : 30380 (java) R 30349 30352 29202 0 -1 4202560 118086 0 0 0 247109 124 0 0 20 0 47 0 102050096 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718809468448 139719526167577 0 4 0 16800975 0 0 0 -1 5 0 0 50 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30381] ppid=30349 vsize=16201456 memory=24376 CPUtime=2475.46 cores=0-7
/proc/30352/task/30381/stat : 30381 (java) R 30349 30352 29202 0 -1 4202560 124533 0 0 0 247415 131 0 0 20 0 47 0 102050096 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718808415768 139719519939197 0 4 0 16800975 0 0 0 -1 1 0 0 51 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30382] ppid=30349 vsize=16201456 memory=3836625508599427104 CPUtime=0.12 cores=0-7
/proc/30352/task/30382/stat : 30382 (java) S 30349 30352 29202 0 -1 1077944384 53 0 0 0 12 0 0 0 20 0 47 0 102050096 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718807369104 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30383] ppid=30349 vsize=16201456 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30383/stat : 30383 (java) S 30349 30352 29202 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 47 0 102050096 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718806316304 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30384] ppid=30349 vsize=16201456 memory=0 CPUtime=0 cores=0-7
/proc/30352/task/30384/stat : 30384 (java) S 30349 30352 29202 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 47 0 102050096 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718805263504 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30385] ppid=30349 vsize=16201456 memory=0 CPUtime=2474.34 cores=0-7
/proc/30352/task/30385/stat : 30385 (java) R 30349 30352 29202 0 -1 4202560 114954 0 0 0 247307 127 0 0 20 0 47 0 102050097 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718804204056 139719526022764 0 4 0 16800975 0 0 0 -1 0 0 0 49 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30386] ppid=30349 vsize=16201456 memory=4096 CPUtime=0 cores=0-7
/proc/30352/task/30386/stat : 30386 (java) S 30349 30352 29202 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 47 0 102050123 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718803157904 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30387] ppid=30349 vsize=16201456 memory=29888 CPUtime=0 cores=0-7
/proc/30352/task/30387/stat : 30387 (java) S 30349 30352 29202 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 47 0 102050123 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718802106128 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30388] ppid=30349 vsize=16201456 memory=2428 CPUtime=0 cores=0-7
/proc/30352/task/30388/stat : 30388 (java) S 30349 30352 29202 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 47 0 102050123 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718801053328 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30389] ppid=30349 vsize=16201456 memory=1952 CPUtime=0.01 cores=0-7
/proc/30352/task/30389/stat : 30389 (java) S 30349 30352 29202 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 47 0 102050123 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718800000528 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30390] ppid=30349 vsize=16201456 memory=5796 CPUtime=0 cores=0-7
/proc/30352/task/30390/stat : 30390 (java) S 30349 30352 29202 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 47 0 102050243 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718796813712 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30391] ppid=30349 vsize=16201456 memory=4616 CPUtime=0 cores=0-7
/proc/30352/task/30391/stat : 30391 (java) S 30349 30352 29202 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 47 0 102050246 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718795760912 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30392] ppid=30349 vsize=16201456 memory=1471288 CPUtime=0 cores=0-7
/proc/30352/task/30392/stat : 30392 (java) S 30349 30352 29202 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 47 0 102050248 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718794708112 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30393] ppid=30349 vsize=16201456 memory=1472316 CPUtime=0 cores=0-7
/proc/30352/task/30393/stat : 30393 (java) S 30349 30352 29202 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 47 0 102050251 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718793655312 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30394] ppid=30349 vsize=16201456 memory=1372792 CPUtime=0 cores=0-7
/proc/30352/task/30394/stat : 30394 (java) S 30349 30352 29202 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 47 0 102050252 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718792602512 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30395] ppid=30349 vsize=16201456 memory=1728 CPUtime=0 cores=0-7
/proc/30352/task/30395/stat : 30395 (java) S 30349 30352 29202 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 47 0 102050252 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718791550736 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30396] ppid=30349 vsize=16201456 memory=12064 CPUtime=0 cores=0-7
/proc/30352/task/30396/stat : 30396 (java) S 30349 30352 29202 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 47 0 102050253 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718790497936 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30397] ppid=30349 vsize=16201456 memory=1601672 CPUtime=0 cores=0-7
/proc/30352/task/30397/stat : 30397 (java) S 30349 30352 29202 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 47 0 102050253 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718789445136 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
[pid=30352/tid=30398] ppid=30349 vsize=16201456 memory=1601672 CPUtime=0.01 cores=0-7
/proc/30352/task/30398/stat : 30398 (java) S 30349 30352 29202 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 47 0 102050257 16590290944 400794 33554432000 4194304 4196468 140725678976640 139718788392336 139719878108885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11706368 140725678982241 140725678982427 140725678982427 140725678985167 0
Current children cumulated CPU time: 19965.8 s
Current children cumulated vsize: 16201456 KiB
Current children cumulated memory: 1603176 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 19965.9
CPU user time (s): 19948.3
CPU system time (s): 17.5644
CPU usage (%): 792.247
Max. virtual memory (cumulated for all children) (KiB): 16201456
Max. memory (cumulated for all children) (KiB): 4022860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19948.3
system time used= 17.5644
maximum resident set size= 4027280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2055159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 649787
involuntary context switches= 419975


# summary of solver processes directly reported to runsolver:
#   pid: 30352
#   total CPU time (s): 19965.9
#   total CPU user time (s): 19948.3
#   total CPU system time (s): 17.5644

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.4594 second user time and 38.5973 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-14 07:33:49
IDJOB=4275037
IDBENCH=122949
IDSOLVER=2668
FILE ID=node148/4275037-1502689688
RUNJOBID= node148-1502680895-29229
PBS_JOBID= 20628987
Free space on /tmp= 61616 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-07-350-100.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275037-1502689688/watcher-4275037-1502689688 -o /tmp/evaluation-result-4275037-1502689688/solver-4275037-1502689688 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502680895-29229 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1851917987 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275037-1502689688.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= cd1777af07bd314664d86e97c163b75e
RANDOM SEED=1851917987

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28763956 kB
MemAvailable:   31990344 kB
Buffers:          228048 kB
Cached:          3286548 kB
SwapCached:            0 kB
Active:           843384 kB
Inactive:        2723204 kB
Active(anon):       3408 kB
Inactive(anon):    76676 kB
Active(file):     839976 kB
Inactive(file):  2646528 kB
Unevictable:        6208 kB
Mlocked:            6208 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42316 kB
Writeback:             0 kB
AnonPages:         58636 kB
Mapped:            44520 kB
Shmem:             25224 kB
Slab:             137556 kB
SReclaimable:     111436 kB
SUnreclaim:        26120 kB
KernelStack:        3168 kB
PageTables:         4780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61576 MiB
End job on node148 at 2017-08-14 08:15:49