Trace number 4259562

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4OPT0 20.8305 9.0804195

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-02-350-100.xml
MD5SUM2b8f29373db6f74e5fecedb039cde62c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.04495
Satisfiable
(Un)Satisfiability was proved
Number of variables701
Number of constraints4
Number of domains2
Minimum domain size2
Maximum domain size351
Distribution of domain sizes[{"size":2,"count":700},{"size":351,"count":1}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":700}]
Minimum constraint arity350
Maximum constraint arity701
Distribution of constraint arities[{"arity":350,"count":2},{"arity":700,"count":1},{"arity":701,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":3}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.47/2.22	c Concrete v3.4 running
12.05/5.31	o 350
12.05/5.36	o 349
12.38/5.41	o 348
12.38/5.44	o 347
12.38/5.48	o 346
12.71/5.51	o 345
12.71/5.54	o 344
12.71/5.57	o 343
12.71/5.60	o 342
13.04/5.62	o 341
13.04/5.65	o 340
13.04/5.67	o 339
13.04/5.69	o 338
13.32/5.72	o 337
13.32/5.74	o 336
13.32/5.76	o 335
13.32/5.78	o 334
13.63/5.81	o 333
13.63/5.83	o 332
13.63/5.85	o 331
13.63/5.87	o 330
13.63/5.90	o 329
13.93/5.92	o 328
13.93/5.94	o 327
13.93/5.97	o 326
13.93/5.99	o 325
14.23/6.02	o 324
14.23/6.04	o 323
14.23/6.06	o 322
14.23/6.09	o 321
14.54/6.11	o 320
14.54/6.13	o 319
14.54/6.15	o 318
14.54/6.17	o 317
14.54/6.18	o 316
14.85/6.21	o 315
14.85/6.23	o 314
14.85/6.24	o 313
14.85/6.26	o 312
14.85/6.28	o 311
14.85/6.30	o 310
15.17/6.32	o 309
15.17/6.34	o 308
15.17/6.35	o 307
15.17/6.36	o 306
15.17/6.37	o 305
15.17/6.38	o 304
15.17/6.39	o 303
15.40/6.40	o 302
15.40/6.41	o 301
15.40/6.41	o 300
15.40/6.42	o 299
15.40/6.43	o 298
15.40/6.44	o 297
15.40/6.45	o 296
15.40/6.46	o 295
15.40/6.46	o 294
15.40/6.47	o 293
15.40/6.48	o 292
15.40/6.49	o 291
15.40/6.49	o 290
15.60/6.50	o 289
15.60/6.51	o 288
15.60/6.52	o 287
15.60/6.53	o 286
15.60/6.53	o 285
15.60/6.54	o 284
15.60/6.55	o 283
15.60/6.56	o 282
15.60/6.57	o 281
15.60/6.57	o 280
15.60/6.58	o 279
15.60/6.59	o 278
15.60/6.60	o 277
15.72/6.61	o 276
15.72/6.62	o 275
15.72/6.62	o 274
15.72/6.63	o 273
15.72/6.64	o 272
15.72/6.65	o 271
15.72/6.66	o 270
15.72/6.67	o 269
15.72/6.68	o 268
15.72/6.68	o 267
15.72/6.69	o 266
15.86/6.70	o 265
15.86/6.71	o 264
15.86/6.72	o 263
15.86/6.73	o 262
15.86/6.74	o 261
15.86/6.75	o 260
15.86/6.76	o 259
15.86/6.76	o 258
15.86/6.77	o 257
15.86/6.78	o 256
15.86/6.79	o 255
15.86/6.80	o 254
15.97/6.80	o 253
15.97/6.81	o 252
15.97/6.82	o 251
15.97/6.83	o 250
15.97/6.84	o 249
15.97/6.85	o 248
15.97/6.86	o 247
15.97/6.86	o 246
15.97/6.87	o 245
15.97/6.88	o 244
15.97/6.89	o 243
16.18/6.90	o 242
16.18/6.91	o 241
16.18/6.92	o 240
16.18/6.93	o 239
16.18/6.94	o 238
16.18/6.94	o 237
16.18/6.95	o 236
16.18/6.96	o 235
16.18/6.97	o 234
16.18/6.98	o 233
16.18/6.98	o 232
16.18/6.99	o 231
16.40/7.00	o 230
16.40/7.01	o 229
16.40/7.02	o 228
16.40/7.03	o 227
16.40/7.03	o 226
16.40/7.04	o 225
16.40/7.05	o 224
16.40/7.06	o 223
16.40/7.07	o 222
16.40/7.08	o 221
16.40/7.08	o 220
16.40/7.09	o 219
16.40/7.10	o 218
16.64/7.11	o 217
16.64/7.12	o 216
16.64/7.12	o 215
16.64/7.13	o 214
16.64/7.14	o 213
16.64/7.15	o 212
16.64/7.16	o 211
16.64/7.16	o 210
16.64/7.17	o 209
16.64/7.18	o 208
16.64/7.19	o 207
16.64/7.19	o 206
16.77/7.20	o 205
16.77/7.21	o 204
16.77/7.22	o 203
16.77/7.22	o 202
16.77/7.23	o 201
16.77/7.24	o 200
16.77/7.25	o 199
16.77/7.26	o 198
16.77/7.27	o 197
16.77/7.28	o 196
16.77/7.28	o 195
16.77/7.29	o 194
16.94/7.30	o 193
16.94/7.31	o 192
16.94/7.32	o 191
16.94/7.33	o 190
16.94/7.34	o 189
16.94/7.35	o 188
16.94/7.36	o 187
16.94/7.37	o 186
16.94/7.38	o 185
16.94/7.38	o 184
16.94/7.39	o 183
17.13/7.40	o 182
17.13/7.41	o 181
17.13/7.42	o 180
17.13/7.43	o 179
17.13/7.43	o 178
17.13/7.44	o 177
17.13/7.45	o 176
17.13/7.46	o 175
17.13/7.47	o 174
17.13/7.47	o 173
17.13/7.48	o 172
17.13/7.49	o 171
17.32/7.50	o 170
17.32/7.50	o 169
17.32/7.51	o 168
17.32/7.52	o 167
17.32/7.52	o 166
17.32/7.53	o 165
17.32/7.54	o 164
17.32/7.55	o 163
17.32/7.56	o 162
17.32/7.56	o 161
17.32/7.57	o 160
17.32/7.58	o 159
17.32/7.58	o 158
17.32/7.59	o 157
17.43/7.60	o 156
17.43/7.61	o 155
17.43/7.62	o 154
17.43/7.63	o 153
17.43/7.63	o 152
17.43/7.64	o 151
17.43/7.65	o 150
17.43/7.66	o 149
17.43/7.66	o 148
17.43/7.67	o 147
17.43/7.68	o 146
17.43/7.68	o 145
17.43/7.69	o 144
17.43/7.70	o 143
17.55/7.71	o 142
17.55/7.72	o 141
17.55/7.72	o 140
17.55/7.73	o 139
17.55/7.74	o 138
17.55/7.75	o 137
17.55/7.75	o 136
17.55/7.76	o 135
17.55/7.77	o 134
17.55/7.78	o 133
17.55/7.79	o 132
17.55/7.79	o 131
17.55/7.80	o 130
17.66/7.81	o 129
17.66/7.82	o 128
17.66/7.83	o 127
17.66/7.83	o 126
17.66/7.84	o 125
17.66/7.85	o 124
17.66/7.86	o 123
17.66/7.86	o 122
17.66/7.87	o 121
17.66/7.88	o 120
17.66/7.89	o 119
17.66/7.89	o 118
17.76/7.90	o 117
17.76/7.91	o 116
17.76/7.91	o 115
17.76/7.92	o 114
17.76/7.93	o 113
17.76/7.94	o 112
17.76/7.94	o 111
17.76/7.95	o 110
17.76/7.96	o 109
17.76/7.97	o 108
17.76/7.97	o 107
17.76/7.98	o 106
17.76/7.99	o 105
17.87/8.00	o 104
17.87/8.01	o 103
17.87/8.01	o 102
17.87/8.02	o 101
17.87/8.03	o 100
17.87/8.04	o 99
17.87/8.04	o 98
17.87/8.05	o 97
17.87/8.06	o 96
17.87/8.07	o 95
17.87/8.07	o 94
17.87/8.08	o 93
17.87/8.09	o 92
17.87/8.10	o 91
18.01/8.10	o 90
18.01/8.11	o 89
18.01/8.12	o 88
18.01/8.13	o 87
18.01/8.13	o 86
18.01/8.14	o 85
18.01/8.15	o 84
18.01/8.16	o 83
18.01/8.16	o 82
18.01/8.17	o 81
18.22/8.22	o 80
18.22/8.23	o 79
18.22/8.26	o 78
18.22/8.27	o 77
18.22/8.28	o 76
18.22/8.29	o 75
18.53/8.30	o 74
18.53/8.31	o 73
18.53/8.32	o 72
18.53/8.34	o 71
18.53/8.35	o 70
18.53/8.36	o 69
18.53/8.38	o 68
18.53/8.39	o 67
18.82/8.40	o 66
18.82/8.41	o 65
18.82/8.42	o 64
18.82/8.44	o 63
18.82/8.45	o 62
18.82/8.46	o 61
18.82/8.48	o 60
18.82/8.50	o 59
19.13/8.51	o 58
19.13/8.52	o 57
19.13/8.53	o 56
19.13/8.54	o 55
19.13/8.55	o 54
19.13/8.55	o 53
19.13/8.56	o 52
19.13/8.57	o 51
19.13/8.58	o 50
19.13/8.59	o 49
19.43/8.60	o 48
19.43/8.61	o 47
19.43/8.62	o 46
19.43/8.62	o 45
19.43/8.63	o 44
19.43/8.64	o 43
19.43/8.65	o 42
19.43/8.66	o 41
19.43/8.67	o 40
19.43/8.67	o 39
19.43/8.68	o 38
19.43/8.69	o 37
19.73/8.70	o 36
19.73/8.75	o 35
19.73/8.76	o 34
19.73/8.77	o 33
19.73/8.77	o 32
19.73/8.78	o 31
19.73/8.79	o 30
19.73/8.80	o 29
20.05/8.81	o 28
20.05/8.82	o 27
20.05/8.82	o 26
20.05/8.83	o 25
20.05/8.84	o 24
20.05/8.85	o 23
20.05/8.85	o 22
20.05/8.86	o 21
20.05/8.87	o 20
20.05/8.88	o 19
20.05/8.89	o 18
20.05/8.89	o 17
20.05/8.90	o 16
20.35/8.91	o 15
20.35/8.92	o 14
20.35/8.92	o 13
20.35/8.93	o 12
20.35/8.94	o 11
20.35/8.95	o 10
20.35/8.96	o 9
20.35/8.96	o 8
20.35/8.97	o 7
20.35/8.98	o 6
20.35/8.99	o 5
20.64/9.00	o 4
20.64/9.01	o 3
20.64/9.02	o 2
20.64/9.03	o 1
20.64/9.03	o 0
20.64/9.04	v <instantiation cost="0">
20.64/9.04	v       <list>
20.64/9.04	v         z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349]
20.64/9.04	v       </list>
20.64/9.04	v       <values>
20.64/9.04	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.64/9.04	v       </values>
20.64/9.04	v     </instantiation>
20.64/9.04	s OPTIMUM FOUND

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259562-1501647437/watcher-4259562-1501647437 -o /tmp/evaluation-result-4259562-1501647437/solver-4259562-1501647437 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259562-1501647437.xml 

pid=4578
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.77 1.83 1.78 2/199 4581
/proc/meminfo: memFree=28981852/32770624 swapFree=0/243352
[pid=4581] ppid=4578 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4581/stat : 4581 (runsolver) D 4578 4581 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 6654300 24240128 107 18446744073709551615 4194304 4338465 140732789252368 140732789250008 140226245710551 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 29224960 140732789256401 140732789256775 140732789256775 140732789260234 0
/proc/4581/statm: 5918 107 53 36 0 2156 0

[startup+0.100173 s]
/proc/loadavg: 1.77 1.83 1.78 2/199 4581
/proc/meminfo: memFree=28981852/32770624 swapFree=0/243352
[pid=4581] ppid=4578 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/4581/stat : 4581 (bash) R 4578 4581 3187 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 6654300 9736192 285 18446744073709551615 4194304 5098028 140733838090816 140733838090816 140468226585728 0 0 5 65536 0 0 0 17 2 0 0 9 0 0 7196144 7232144 7372800 140733838094866 140733838094951 140733838094951 140733838098410 0
/proc/4581/statm: 2377 285 237 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.20028 s]
/proc/loadavg: 1.77 1.83 1.78 2/199 4581
/proc/meminfo: memFree=28981852/32770624 swapFree=0/243352
[pid=4581] ppid=4578 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/4581/stat : 4581 (bash) S 4578 4581 3187 0 -1 4202496 891 6487 0 0 0 0 0 1 20 0 1 0 6654300 9867264 377 18446744073709551615 4194304 5098028 140733838090816 140733838084824 140468227320832 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 9 0 0 7196144 7232144 7372800 140733838094866 140733838094951 140733838094951 140733838098410 0
/proc/4581/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300323 s]
/proc/loadavg: 1.77 1.83 1.78 2/199 4581
/proc/meminfo: memFree=28981852/32770624 swapFree=0/243352
[pid=4581] ppid=4578 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/4581/stat : 4581 (java) S 4578 4581 3187 0 -1 1077944320 5979 12350 0 0 5 1 5 2 20 0 14 0 6654300 14241083392 5653 18446744073709551615 4194304 4196468 140727832919648 140727832902192 139732162752247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
/proc/4581/statm: 3476827 5653 2554 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700166 s]
/proc/loadavg: 1.77 1.83 1.78 2/199 4581
/proc/meminfo: memFree=28981852/32770624 swapFree=0/243352
[pid=4581] ppid=4578 vsize=13974784 CPUtime=0.67 cores=0,2,4,6
/proc/4581/stat : 4581 (java) S 4578 4581 3187 0 -1 1077944320 14091 12350 0 0 56 4 5 2 20 0 15 0 6654300 14310178816 14522 18446744073709551615 4194304 4196468 140727832919648 140727832902192 139732162752247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
/proc/4581/statm: 3493696 14522 3085 1 0 3482973 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13974784

[startup+1.50408 s]
/proc/loadavg: 1.79 1.84 1.78 3/214 4644
/proc/meminfo: memFree=28886252/32770624 swapFree=0/243872
[pid=4581] ppid=4578 vsize=13985408 CPUtime=1.92 cores=0,2,4,6
/proc/4581/stat : 4581 (java) S 4578 4581 3187 0 -1 1077944320 26802 12350 0 0 175 10 5 2 20 0 15 0 6654300 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 140727832902192 139732162752247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
/proc/4581/statm: 3496352 39955 3336 1 0 3485533 0
[pid=4581/tid=4631] ppid=4578 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/4581/task/4631/stat : 4631 (java) S 4578 4581 3187 0 -1 1077944384 21218 12350 0 0 116 6 5 2 20 0 15 0 6654322 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139732166971216 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4632] ppid=4578 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4632/stat : 4632 (java) S 4578 4581 3187 0 -1 1077944384 36 12350 0 0 0 0 5 2 20 0 15 0 6654322 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139732132465168 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4633] ppid=4578 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4633/stat : 4633 (java) S 4578 4581 3187 0 -1 1077944384 188 12350 0 0 0 0 5 2 20 0 15 0 6654322 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139731761392272 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4634] ppid=4578 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4634/stat : 4634 (java) S 4578 4581 3187 0 -1 1077944384 44 12350 0 0 0 0 5 2 20 0 15 0 6654322 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139731760339216 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4635] ppid=4578 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4635/stat : 4635 (java) S 4578 4581 3187 0 -1 1077944384 38 12350 0 0 0 0 5 2 20 0 15 0 6654322 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139731759286672 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4636] ppid=4578 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4636/stat : 4636 (java) R 4578 4581 3187 0 -1 4202560 49 12350 0 0 0 0 5 2 20 0 15 0 6654324 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139731079464000 139732142383176 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4637] ppid=4578 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4637/stat : 4637 (java) S 4578 4581 3187 0 -1 1077944384 33 12350 0 0 0 0 5 2 20 0 15 0 6654324 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139731078411936 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4638] ppid=4578 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4638/stat : 4638 (java) S 4578 4581 3187 0 -1 1077944384 21 12350 0 0 0 0 5 2 20 0 15 0 6654324 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139731077358832 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4639] ppid=4578 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4639/stat : 4639 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139731076307408 139732162770843 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4640] ppid=4578 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/4581/task/4640/stat : 4640 (java) S 4578 4581 3187 0 -1 1077944384 1185 12350 0 0 18 0 5 2 20 0 15 0 6654327 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139731075254512 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4641] ppid=4578 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/4581/task/4641/stat : 4641 (java) S 4578 4581 3187 0 -1 1077944384 638 12350 0 0 15 0 5 2 20 0 15 0 6654327 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139731074201968 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4642] ppid=4578 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/4581/task/4642/stat : 4642 (java) S 4578 4581 3187 0 -1 1077944384 1200 12350 0 0 22 0 5 2 20 0 15 0 6654327 14321057792 39955 18446744073709551615 4194304 4196468 140727832919648 139731073143680 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4643] ppid=4578 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4643/stat : 4643 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14321057792 39980 18446744073709551615 4194304 4196468 140727832919648 139731072096608 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4644] ppid=4578 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4644/stat : 4644 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654332 14321057792 39980 18446744073709551615 4194304 4196468 140727832919648 139731071044656 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 13985408

[startup+3.10092 s]
/proc/loadavg: 1.79 1.84 1.78 5/214 4644
/proc/meminfo: memFree=28807164/32770624 swapFree=0/243872
[pid=4581] ppid=4578 vsize=13999932 CPUtime=5.9 cores=0,2,4,6
/proc/4581/stat : 4581 (java) S 4578 4581 3187 0 -1 1077944320 37595 12350 0 0 568 15 5 2 20 0 15 0 6654300 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 140727832902192 139732162752247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
/proc/4581/statm: 3499983 56336 3435 1 0 3488605 0
[pid=4581/tid=4631] ppid=4578 vsize=13999932 CPUtime=2.86 cores=0,2,4,6
/proc/4581/task/4631/stat : 4631 (java) R 4578 4581 3187 0 -1 4202560 25422 12350 0 0 271 8 5 2 20 0 15 0 6654322 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139732166977904 139731810531624 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4632] ppid=4578 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4632/stat : 4632 (java) S 4578 4581 3187 0 -1 1077944384 41 12350 0 0 0 0 5 2 20 0 15 0 6654322 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139732132465168 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4633] ppid=4578 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4633/stat : 4633 (java) S 4578 4581 3187 0 -1 1077944384 189 12350 0 0 0 0 5 2 20 0 15 0 6654322 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731761392272 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4634] ppid=4578 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/4581/task/4634/stat : 4634 (java) S 4578 4581 3187 0 -1 1077944384 44 12350 0 0 1 0 5 2 20 0 15 0 6654322 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731760339216 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4635] ppid=4578 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/4581/task/4635/stat : 4635 (java) S 4578 4581 3187 0 -1 1077944384 41 12350 0 0 1 0 5 2 20 0 15 0 6654322 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731759286672 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4636] ppid=4578 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/4581/task/4636/stat : 4636 (java) S 4578 4581 3187 0 -1 1077944384 1204 12350 0 0 1 0 5 2 20 0 15 0 6654324 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731079465712 139732162763394 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4637] ppid=4578 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4637/stat : 4637 (java) S 4578 4581 3187 0 -1 1077944384 56 12350 0 0 0 0 5 2 20 0 15 0 6654324 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731078411936 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4638] ppid=4578 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4638/stat : 4638 (java) S 4578 4581 3187 0 -1 1077944384 43 12350 0 0 0 0 5 2 20 0 15 0 6654324 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731077358832 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4639] ppid=4578 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4639/stat : 4639 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731076307408 139732162770843 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4640] ppid=4578 vsize=13999932 CPUtime=1.16 cores=0,2,4,6
/proc/4581/task/4640/stat : 4640 (java) R 4578 4581 3187 0 -1 4202560 2986 12350 0 0 108 1 5 2 20 0 15 0 6654327 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731075247704 139732142408864 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4641] ppid=4578 vsize=13999932 CPUtime=0.82 cores=0,2,4,6
/proc/4581/task/4641/stat : 4641 (java) R 4578 4581 3187 0 -1 4202560 1395 12350 0 0 74 1 5 2 20 0 15 0 6654327 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731074201968 139732144295552 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4642] ppid=4578 vsize=13999932 CPUtime=1.14 cores=0,2,4,6
/proc/4581/task/4642/stat : 4642 (java) R 4578 4581 3187 0 -1 4202560 4015 12350 0 0 106 1 5 2 20 0 15 0 6654327 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731073148912 139732162773594 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4643] ppid=4578 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4643/stat : 4643 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731072096608 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4644] ppid=4578 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4644/stat : 4644 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654332 14335930368 56336 18446744073709551615 4194304 4196468 140727832919648 139731071044656 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 13999932

[startup+6.30887 s]
/proc/loadavg: 1.73 1.82 1.77 5/214 4644
/proc/meminfo: memFree=28629848/32770624 swapFree=0/243884
[pid=4581] ppid=4578 vsize=14069564 CPUtime=15.17 cores=0,2,4,6
/proc/4581/stat : 4581 (java) S 4578 4581 3187 0 -1 1077944320 68271 12350 0 0 1484 26 5 2 20 0 15 0 6654300 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 140727832902192 139732162752247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
/proc/4581/statm: 3517391 117537 3474 1 0 3506013 0
[pid=4581/tid=4631] ppid=4578 vsize=14069564 CPUtime=5.75 cores=0,2,4,6
/proc/4581/task/4631/stat : 4631 (java) R 4578 4581 3187 0 -1 4202560 39491 12350 0 0 556 12 5 2 20 0 15 0 6654322 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139732166985016 139731821907679 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4632] ppid=4578 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/4581/task/4632/stat : 4632 (java) S 4578 4581 3187 0 -1 1077944384 413 12350 0 0 17 1 5 2 20 0 15 0 6654322 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139732132465168 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4633] ppid=4578 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/4581/task/4633/stat : 4633 (java) S 4578 4581 3187 0 -1 1077944384 297 12350 0 0 18 0 5 2 20 0 15 0 6654322 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731761392272 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4634] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4634/stat : 4634 (java) S 4578 4581 3187 0 -1 1077944384 109 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731760339216 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4635] ppid=4578 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/4581/task/4635/stat : 4635 (java) S 4578 4581 3187 0 -1 1077944384 515 12350 0 0 17 1 5 2 20 0 15 0 6654322 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731759286672 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4636] ppid=4578 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/4581/task/4636/stat : 4636 (java) S 4578 4581 3187 0 -1 1077944384 2611 12350 0 0 13 0 5 2 20 0 15 0 6654324 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731079465712 139732162763394 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4637] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4637/stat : 4637 (java) S 4578 4581 3187 0 -1 1077944384 68 12350 0 0 0 0 5 2 20 0 15 0 6654324 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731078412064 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4638] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4638/stat : 4638 (java) S 4578 4581 3187 0 -1 1077944384 51 12350 0 0 0 0 5 2 20 0 15 0 6654324 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731077358848 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4639] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4639/stat : 4639 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731076307408 139732162770843 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4640] ppid=4578 vsize=14069564 CPUtime=3.53 cores=0,2,4,6
/proc/4581/task/4640/stat : 4640 (java) R 4578 4581 3187 0 -1 4202560 7490 12350 0 0 344 2 5 2 20 0 15 0 6654327 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731075242064 139732142405760 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4641] ppid=4578 vsize=14069564 CPUtime=3.2 cores=0,2,4,6
/proc/4581/task/4641/stat : 4641 (java) R 4578 4581 3187 0 -1 4202560 8088 12350 0 0 311 2 5 2 20 0 15 0 6654327 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731074188288 139732147515665 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4642] ppid=4578 vsize=14069564 CPUtime=1.95 cores=0,2,4,6
/proc/4581/task/4642/stat : 4642 (java) R 4578 4581 3187 0 -1 4202560 6974 12350 0 0 185 3 5 2 20 0 15 0 6654327 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731073148912 139732141243472 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4643] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4643/stat : 4643 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731072096608 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4644] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4644/stat : 4644 (java) S 4578 4581 3187 0 -1 1077944384 8 12350 0 0 0 0 5 2 20 0 15 0 6654332 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731071044656 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
Current children cumulated CPU time (s) 15.17
Current children cumulated vsize (KiB) 14069564

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

[startup+6.40091 s]
/proc/loadavg: 1.73 1.82 1.77 5/214 4644
/proc/meminfo: memFree=28629848/32770624 swapFree=0/243884
[pid=4581] ppid=4578 vsize=14069564 CPUtime=15.4 cores=0,2,4,6
/proc/4581/stat : 4581 (java) S 4578 4581 3187 0 -1 1077944320 68273 12350 0 0 1507 26 5 2 20 0 15 0 6654300 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 140727832902192 139732162752247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
/proc/4581/statm: 3517391 117537 3474 1 0 3506013 0
[pid=4581/tid=4631] ppid=4578 vsize=14069564 CPUtime=5.84 cores=0,2,4,6
/proc/4581/task/4631/stat : 4631 (java) R 4578 4581 3187 0 -1 4202560 39491 12350 0 0 565 12 5 2 20 0 15 0 6654322 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139732166984440 139731822634209 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4632] ppid=4578 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/4581/task/4632/stat : 4632 (java) S 4578 4581 3187 0 -1 1077944384 413 12350 0 0 17 1 5 2 20 0 15 0 6654322 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139732132465168 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4633] ppid=4578 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/4581/task/4633/stat : 4633 (java) S 4578 4581 3187 0 -1 1077944384 297 12350 0 0 18 0 5 2 20 0 15 0 6654322 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731761392272 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4634] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4634/stat : 4634 (java) S 4578 4581 3187 0 -1 1077944384 109 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731760339216 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4635] ppid=4578 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/4581/task/4635/stat : 4635 (java) S 4578 4581 3187 0 -1 1077944384 515 12350 0 0 17 1 5 2 20 0 15 0 6654322 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731759286672 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4636] ppid=4578 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/4581/task/4636/stat : 4636 (java) S 4578 4581 3187 0 -1 1077944384 2611 12350 0 0 13 0 5 2 20 0 15 0 6654324 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731079465712 139732162763394 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4637] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4637/stat : 4637 (java) S 4578 4581 3187 0 -1 1077944384 68 12350 0 0 0 0 5 2 20 0 15 0 6654324 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731078412064 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4638] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4638/stat : 4638 (java) S 4578 4581 3187 0 -1 1077944384 51 12350 0 0 0 0 5 2 20 0 15 0 6654324 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731077358848 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4639] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4639/stat : 4639 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731076307408 139732162770843 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4640] ppid=4578 vsize=14069564 CPUtime=3.59 cores=0,2,4,6
/proc/4581/task/4640/stat : 4640 (java) S 4578 4581 3187 0 -1 1077944384 7490 12350 0 0 350 2 5 2 20 0 15 0 6654327 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731075254512 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4641] ppid=4578 vsize=14069564 CPUtime=3.26 cores=0,2,4,6
/proc/4581/task/4641/stat : 4641 (java) S 4578 4581 3187 0 -1 1077944384 8088 12350 0 0 317 2 5 2 20 0 15 0 6654327 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731074201968 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4642] ppid=4578 vsize=14069564 CPUtime=1.96 cores=0,2,4,6
/proc/4581/task/4642/stat : 4642 (java) S 4578 4581 3187 0 -1 1077944384 6976 12350 0 0 186 3 5 2 20 0 15 0 6654327 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731073148912 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4643] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4643/stat : 4643 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731072096608 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4644] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4644/stat : 4644 (java) S 4578 4581 3187 0 -1 1077944384 8 12350 0 0 0 0 5 2 20 0 15 0 6654332 14407233536 117537 18446744073709551615 4194304 4196468 140727832919648 139731071044656 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
Current children cumulated CPU time (s) 15.4
Current children cumulated vsize (KiB) 14069564

[startup+8.00072 s]
/proc/loadavg: 1.73 1.82 1.77 3/214 4644
/proc/meminfo: memFree=28404952/32770624 swapFree=0/243888
[pid=4581] ppid=4578 vsize=14069564 CPUtime=17.87 cores=0,2,4,6
/proc/4581/stat : 4581 (java) S 4578 4581 3187 0 -1 1077944320 69209 12350 0 0 1751 29 5 2 20 0 15 0 6654300 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 140727832902192 139732162752247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
/proc/4581/statm: 3517391 146818 3475 1 0 3506013 0
[pid=4581/tid=4631] ppid=4578 vsize=14069564 CPUtime=7.43 cores=0,2,4,6
/proc/4581/task/4631/stat : 4631 (java) R 4578 4581 3187 0 -1 4202560 40247 12350 0 0 722 14 5 2 20 0 15 0 6654322 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139732166971968 139731803222361 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4632] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4632/stat : 4632 (java) S 4578 4581 3187 0 -1 1077944384 425 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139732132465168 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4633] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4633/stat : 4633 (java) S 4578 4581 3187 0 -1 1077944384 299 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731761392272 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4634] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4634/stat : 4634 (java) S 4578 4581 3187 0 -1 1077944384 112 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731760339216 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4635] ppid=4578 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/4581/task/4635/stat : 4635 (java) S 4578 4581 3187 0 -1 1077944384 530 12350 0 0 17 1 5 2 20 0 15 0 6654322 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731759286672 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4636] ppid=4578 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/4581/task/4636/stat : 4636 (java) S 4578 4581 3187 0 -1 1077944384 2679 12350 0 0 14 0 5 2 20 0 15 0 6654324 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731079465712 139732162763394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4637] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4637/stat : 4637 (java) S 4578 4581 3187 0 -1 1077944384 68 12350 0 0 0 0 5 2 20 0 15 0 6654324 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731078412064 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4638] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4638/stat : 4638 (java) S 4578 4581 3187 0 -1 1077944384 51 12350 0 0 0 0 5 2 20 0 15 0 6654324 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731077358848 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4639] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4639/stat : 4639 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731076307408 139732162770843 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4640] ppid=4578 vsize=14069564 CPUtime=4.11 cores=0,2,4,6
/proc/4581/task/4640/stat : 4640 (java) S 4578 4581 3187 0 -1 1077944384 7520 12350 0 0 402 2 5 2 20 0 15 0 6654327 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731075254512 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4641] ppid=4578 vsize=14069564 CPUtime=3.49 cores=0,2,4,6
/proc/4581/task/4641/stat : 4641 (java) S 4578 4581 3187 0 -1 1077944384 8096 12350 0 0 340 2 5 2 20 0 15 0 6654327 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731074201968 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4642] ppid=4578 vsize=14069564 CPUtime=2.06 cores=0,2,4,6
/proc/4581/task/4642/stat : 4642 (java) S 4578 4581 3187 0 -1 1077944384 7018 12350 0 0 196 3 5 2 20 0 15 0 6654327 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731073148912 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4643] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4643/stat : 4643 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731072096608 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4644] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4644/stat : 4644 (java) S 4578 4581 3187 0 -1 1077944384 8 12350 0 0 0 0 5 2 20 0 15 0 6654332 14407233536 146818 18446744073709551615 4194304 4196468 140727832919648 139731071044656 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
Current children cumulated CPU time (s) 17.87
Current children cumulated vsize (KiB) 14069564

[startup+8.80062 s]
/proc/loadavg: 1.73 1.82 1.77 5/214 4644
/proc/meminfo: memFree=28286792/32770624 swapFree=0/243884
[pid=4581] ppid=4578 vsize=14069564 CPUtime=20.05 cores=0,2,4,6
/proc/4581/stat : 4581 (java) S 4578 4581 3187 0 -1 1077944320 70184 12350 0 0 1968 30 5 2 20 0 15 0 6654300 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 140727832902192 139732162752247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
/proc/4581/statm: 3517391 166602 3477 1 0 3506013 0
[pid=4581/tid=4631] ppid=4578 vsize=14069564 CPUtime=8.23 cores=0,2,4,6
/proc/4581/task/4631/stat : 4631 (java) R 4578 4581 3187 0 -1 4202560 40313 12350 0 0 800 16 5 2 20 0 15 0 6654322 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139732166981136 139731804000075 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4632] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4632/stat : 4632 (java) S 4578 4581 3187 0 -1 1077944384 425 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139732132465168 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4633] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4633/stat : 4633 (java) S 4578 4581 3187 0 -1 1077944384 300 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731761392272 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4634] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4634/stat : 4634 (java) S 4578 4581 3187 0 -1 1077944384 113 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731760339216 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4635] ppid=4578 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/4581/task/4635/stat : 4635 (java) S 4578 4581 3187 0 -1 1077944384 530 12350 0 0 17 1 5 2 20 0 15 0 6654322 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731759286672 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4636] ppid=4578 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/4581/task/4636/stat : 4636 (java) S 4578 4581 3187 0 -1 1077944384 2709 12350 0 0 14 0 5 2 20 0 15 0 6654324 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731079465712 139732162763394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4637] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4637/stat : 4637 (java) S 4578 4581 3187 0 -1 1077944384 68 12350 0 0 0 0 5 2 20 0 15 0 6654324 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731078412064 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4638] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4638/stat : 4638 (java) S 4578 4581 3187 0 -1 1077944384 51 12350 0 0 0 0 5 2 20 0 15 0 6654324 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731077358848 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4639] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4639/stat : 4639 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731076307408 139732162770843 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4640] ppid=4578 vsize=14069564 CPUtime=4.78 cores=0,2,4,6
/proc/4581/task/4640/stat : 4640 (java) R 4578 4581 3187 0 -1 4202560 7923 12350 0 0 469 2 5 2 20 0 15 0 6654327 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731075235344 139732142445347 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4641] ppid=4578 vsize=14069564 CPUtime=4.12 cores=0,2,4,6
/proc/4581/task/4641/stat : 4641 (java) R 4578 4581 3187 0 -1 4202560 8505 12350 0 0 403 2 5 2 20 0 15 0 6654327 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731074195160 139732140615383 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4642] ppid=4578 vsize=14069564 CPUtime=2.14 cores=0,2,4,6
/proc/4581/task/4642/stat : 4642 (java) S 4578 4581 3187 0 -1 1077944384 7083 12350 0 0 204 3 5 2 20 0 15 0 6654327 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731073148912 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4643] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4643/stat : 4643 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731072096608 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4644] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4644/stat : 4644 (java) R 4578 4581 3187 0 -1 1077944384 8 12350 0 0 0 0 5 2 20 0 15 0 6654332 14407233536 166602 18446744073709551615 4194304 4196468 140727832919648 139731071044656 139732162763394 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
Current children cumulated CPU time (s) 20.05
Current children cumulated vsize (KiB) 14069564

[startup+9.00064 s]
/proc/loadavg: 1.73 1.82 1.77 5/214 4644
/proc/meminfo: memFree=28286792/32770624 swapFree=0/243884
[pid=4581] ppid=4578 vsize=14069564 CPUtime=20.64 cores=0,2,4,6
/proc/4581/stat : 4581 (java) S 4578 4581 3187 0 -1 1077944320 70736 12350 0 0 2026 31 5 2 20 0 15 0 6654300 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 140727832902192 139732162752247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
/proc/4581/statm: 3517391 175250 3477 1 0 3506013 0
[pid=4581/tid=4631] ppid=4578 vsize=14069564 CPUtime=8.42 cores=0,2,4,6
/proc/4581/task/4631/stat : 4631 (java) R 4578 4581 3187 0 -1 4202560 40397 12350 0 0 819 16 5 2 20 0 15 0 6654322 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139732166981136 139731822334086 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4632] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4632/stat : 4632 (java) S 4578 4581 3187 0 -1 1077944384 425 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139732132465168 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4633] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4633/stat : 4633 (java) S 4578 4581 3187 0 -1 1077944384 300 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731761392272 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4634] ppid=4578 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/4581/task/4634/stat : 4634 (java) S 4578 4581 3187 0 -1 1077944384 113 12350 0 0 18 1 5 2 20 0 15 0 6654322 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731760339216 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4635] ppid=4578 vsize=14069564 CPUtime=0.25 cores=0,2,4,6
/proc/4581/task/4635/stat : 4635 (java) S 4578 4581 3187 0 -1 1077944384 530 12350 0 0 17 1 5 2 20 0 15 0 6654322 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731759286672 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4636] ppid=4578 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/4581/task/4636/stat : 4636 (java) S 4578 4581 3187 0 -1 1077944384 2709 12350 0 0 14 0 5 2 20 0 15 0 6654324 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731079465712 139732162763394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4637] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4637/stat : 4637 (java) S 4578 4581 3187 0 -1 1077944384 68 12350 0 0 0 0 5 2 20 0 15 0 6654324 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731078412064 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4638] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4638/stat : 4638 (java) S 4578 4581 3187 0 -1 1077944384 51 12350 0 0 0 0 5 2 20 0 15 0 6654324 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731077358848 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4639] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4639/stat : 4639 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731076307408 139732162770843 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4640] ppid=4578 vsize=14069564 CPUtime=4.97 cores=0,2,4,6
/proc/4581/task/4640/stat : 4640 (java) R 4578 4581 3187 0 -1 4202560 8210 12350 0 0 488 2 5 2 20 0 15 0 6654327 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731075235344 139732142059089 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4641] ppid=4578 vsize=14069564 CPUtime=4.32 cores=0,2,4,6
/proc/4581/task/4641/stat : 4641 (java) R 4578 4581 3187 0 -1 4202560 8682 12350 0 0 423 2 5 2 20 0 15 0 6654327 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731074195160 139732147867497 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4642] ppid=4578 vsize=14069564 CPUtime=2.15 cores=0,2,4,6
/proc/4581/task/4642/stat : 4642 (java) S 4578 4581 3187 0 -1 1077944384 7087 12350 0 0 205 3 5 2 20 0 15 0 6654327 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731073148912 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4643] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4643/stat : 4643 (java) S 4578 4581 3187 0 -1 1077944384 3 12350 0 0 0 0 5 2 20 0 15 0 6654327 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731072096608 139732162762453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
[pid=4581/tid=4644] ppid=4578 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4581/task/4644/stat : 4644 (java) S 4578 4581 3187 0 -1 1077944384 8 12350 0 0 0 0 5 2 20 0 15 0 6654332 14407233536 175250 18446744073709551615 4194304 4196468 140727832919648 139731071044656 139732162763394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7491584 140727832922062 140727832924847 140727832924847 140727832928207 0
Current children cumulated CPU time (s) 20.64
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 9.08042
CPU time (s): 20.8305
CPU user time (s): 20.4717
CPU system time (s): 0.358807
CPU usage (%): 229.4
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.4717
system time used= 0.358807
maximum resident set size= 718520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8563
involuntary context switches= 108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042853 second user time and 0.097288 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 06:03:16
IDJOB=4259562
IDBENCH=122956
IDSOLVER=2646
FILE ID=node135/4259562-1501647437
RUNJOBID= node135-1501639717-27966
PBS_JOBID= 
Free space on /tmp= 61816 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-02-350-100.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259562-1501647437/watcher-4259562-1501647437 -o /tmp/evaluation-result-4259562-1501647437/solver-4259562-1501647437 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300  bin/concrete HOME/instance-4259562-1501647437.xml

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

MD5SUM BENCH= 2b8f29373db6f74e5fecedb039cde62c
RANDOM SEED=1078006742

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28982224 kB
MemAvailable:   29247052 kB
Buffers:          122576 kB
Cached:           419572 kB
SwapCached:            0 kB
Active:          3115732 kB
Inactive:         251944 kB
Active(anon):    2826148 kB
Inactive(anon):     8592 kB
Active(file):     289584 kB
Inactive(file):   243352 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             23884 kB
Writeback:             4 kB
AnonPages:       2782584 kB
Mapped:            42312 kB
Shmem:              8960 kB
Slab:             121652 kB
SReclaimable:      95456 kB
SUnreclaim:        26196 kB
KernelStack:        3488 kB
PageTables:        10204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3742964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2551808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61792 MiB
End job on node135 at 2017-08-02 06:03:25