Trace number 4239964

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Mistral-2.0 2017-06-28SAT (TO)373 2400.03 2401.1

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-27.xml
MD5SUM7effaf54e6298c2e2ce7b82787858117
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark373
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables1712
Number of constraints1007
Number of domains4
Minimum domain size2
Maximum domain size1683
Distribution of domain sizes[{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}]
Minimum variable degree1
Maximum variable degree30
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}]
Minimum constraint arity2
Maximum constraint arity31
Distribution of constraint arities[{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}]
Number of extensional constraints837
Number of intensional constraints136
Distribution of constraint types[{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax 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.00/0.01	c Mistral-2017-06-28
0.58/0.63	o 4
0.58/0.64	o 6
0.58/0.64	o 7
0.58/0.64	o 8
0.58/0.65	o 9
0.58/0.65	o 10
0.58/0.65	o 11
0.58/0.65	o 12
0.68/0.74	o 13
0.68/0.74	o 14
0.68/0.74	o 15
0.68/0.74	o 16
0.68/0.74	o 17
0.68/0.74	o 20
0.68/0.74	o 21
0.68/0.75	o 22
0.68/0.76	o 23
0.68/0.76	o 24
0.78/0.84	o 27
0.78/0.84	o 28
0.78/0.84	o 29
0.78/0.85	o 32
0.78/0.85	o 33
0.78/0.85	o 34
0.78/0.85	o 36
0.78/0.85	o 37
0.78/0.86	o 38
0.88/0.95	o 42
0.88/0.95	o 43
0.88/0.95	o 44
0.88/0.95	o 45
0.88/0.95	o 46
0.88/0.96	o 48
0.88/0.96	o 49
0.88/0.96	o 50
0.88/0.96	o 52
0.88/0.96	o 53
0.88/0.97	o 55
0.88/0.97	o 56
0.98/1.01	o 57
0.98/1.10	o 59
0.98/1.10	o 60
0.98/1.10	o 61
1.09/1.10	o 63
1.09/1.10	o 64
1.09/1.10	o 65
1.09/1.12	o 66
1.19/1.20	o 67
1.19/1.20	o 68
1.19/1.20	o 69
1.19/1.21	o 70
1.19/1.22	o 73
1.19/1.22	o 74
1.28/1.30	o 75
1.28/1.30	o 76
1.28/1.30	o 77
1.28/1.30	o 78
1.28/1.31	o 79
1.28/1.31	o 80
1.28/1.32	o 82
1.28/1.32	o 83
1.28/1.33	o 84
1.38/1.44	o 86
1.38/1.44	o 87
1.38/1.44	o 88
1.38/1.44	o 89
1.38/1.44	o 90
1.38/1.45	o 91
1.38/1.45	o 92
1.38/1.47	o 94
1.38/1.49	o 95
1.38/1.49	o 96
1.38/1.49	o 97
1.38/1.49	o 98
1.38/1.49	o 99
1.98/2.04	o 100
2.08/2.12	o 101
2.08/2.13	o 102
2.19/2.20	o 103
2.19/2.21	o 104
2.19/2.22	o 105
2.19/2.23	o 106
2.19/2.24	o 107
2.19/2.26	o 108
2.19/2.27	o 109
2.29/2.36	o 111
2.38/2.41	o 112
2.38/2.47	o 113
2.58/2.63	o 114
2.68/2.73	o 115
3.09/3.16	o 150
3.09/3.16	o 152
3.09/3.16	o 153
3.09/3.17	o 154
3.09/3.18	o 155
3.09/3.18	o 156
3.09/3.19	o 157
3.09/3.19	o 158
3.19/3.28	o 159
3.29/3.39	o 160
3.49/3.59	o 163
3.59/3.62	o 164
3.89/3.98	o 166
3.99/4.00	o 167
3.99/4.03	o 168
4.39/4.40	o 172
4.39/4.40	o 173
4.49/4.52	o 174
4.79/4.86	o 175
4.99/5.05	o 187
5.08/5.14	o 188
5.08/5.14	o 189
5.08/5.16	o 190
5.08/5.16	o 191
5.68/5.74	o 194
5.98/6.03	o 204
5.98/6.04	o 205
5.98/6.04	o 206
6.08/6.12	o 207
6.08/6.12	o 208
6.08/6.13	o 209
6.08/6.13	o 210
6.48/6.52	o 211
6.48/6.54	o 212
6.48/6.56	o 213
6.69/6.73	o 214
6.88/6.99	o 215
6.98/7.09	o 216
7.58/7.70	o 217
7.69/7.71	o 218
7.79/7.85	o 219
7.79/7.88	o 220
7.79/7.88	o 221
7.88/7.90	o 222
7.88/7.93	o 223
7.88/7.98	o 224
7.98/8.05	o 225
7.98/8.06	o 226
8.18/8.20	o 227
8.18/8.20	o 228
8.28/8.30	o 229
8.58/8.69	o 234
8.68/8.70	o 242
9.18/9.26	o 245
9.28/9.33	o 246
9.28/9.35	o 247
9.28/9.35	o 248
9.38/9.48	o 249
10.28/10.39	o 250
10.38/10.43	o 251
11.38/11.41	o 252
11.48/11.51	o 253
11.48/11.51	o 254
12.88/12.99	o 255
12.98/13.02	o 256
13.38/13.41	o 257
13.38/13.44	o 258
13.48/13.52	o 259
13.88/13.93	o 265
14.18/14.22	o 266
14.18/14.25	o 267
14.39/14.43	o 268
14.39/14.44	o 269
15.68/15.74	o 273
16.28/16.38	o 274
17.28/17.35	o 281
17.28/17.38	o 282
18.48/18.55	o 285
19.28/19.30	o 286
20.08/20.17	o 287
21.98/22.01	o 288
22.58/22.68	o 289
27.97/28.05	o 290
27.97/28.05	o 291
28.57/28.67	o 292
28.57/28.68	o 293
34.67/34.70	o 294
34.77/34.83	o 295
43.86/43.92	o 296
47.86/47.94	o 297
47.86/47.95	o 298
50.55/50.62	o 299
50.55/50.63	o 300
50.55/50.64	o 301
51.15/51.29	o 302
51.65/51.72	o 303
51.75/51.86	o 304
53.25/53.31	o 310
54.05/54.12	o 311
54.55/54.62	o 312
54.65/54.72	o 313
55.15/55.24	o 314
58.14/58.27	o 316
58.14/58.27	o 317
66.64/66.73	o 318
67.04/67.18	o 319
75.72/75.87	o 320
75.72/75.87	o 321
79.81/79.96	o 322
80.71/80.85	o 327
81.61/81.75	o 328
81.61/81.79	o 329
81.61/81.79	o 330
82.11/82.27	o 331
82.21/82.37	o 332
82.21/82.39	o 333
86.61/86.77	o 336
100.89/101.00	o 337
101.79/101.94	o 338
107.19/107.32	o 339
107.19/107.33	o 340
107.19/107.33	o 341
107.29/107.45	o 342
107.29/107.45	o 343
108.49/108.65	o 344
124.48/124.61	o 350
124.78/124.94	o 351
132.98/133.12	o 352
132.98/133.19	o 353
133.37/133.59	o 354
145.67/145.81	o 357
146.67/146.81	o 358
148.27/148.49	o 359
150.37/150.55	o 360
170.96/171.17	o 361
176.26/176.49	o 362
180.56/180.79	o 363
196.65/196.85	o 364
219.85/220.07	o 367
283.51/283.79	o 368
346.78/347.04	o 369
533.60/533.98	o 370
534.31/534.62	o 371
994.31/994.82	o 372
1796.09/1796.98	o 373
2400.01/2401.10	s SATISFIABLE
2400.01/2401.10	v <instantiation type="solution">
2400.01/2401.10	v   <list> 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[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[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[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[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[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[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[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] z </list>
2400.01/2401.10	v   <values> 0 0 0 0 0 0 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 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 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 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 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 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 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 1 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 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 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 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 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 1 1 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 1 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 1 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 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 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 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 0 0 0 0 0 0 0 0 0 1 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 1 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 1 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 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 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 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 1 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 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 14 17 18 23 23 24 27 28 31 31 32 35 37 38 40 41 43 45 46 46 48 49 50 52 54 60 60 64 74 373 </values>
2400.01/2401.10	v </instantiation>

Verifier Data 

OK	373

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-4239964-1500636543/watcher-4239964-1500636543 -o /tmp/evaluation-result-4239964-1500636543/solver-4239964-1500636543 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500623787-3572 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1441973846 HOME/instance-4239964-1500636543.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.06 2.05 3/186 8281
/proc/meminfo: memFree=30335816/32770624 swapFree=6376/1118212
[pid=8281] ppid=8278 vsize=28312 CPUtime=0 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4194304 452 0 0 0 0 0 0 0 20 0 1 0 16931568 28991488 289 33554432000 4194304 7402444 140733722120752 140733722117800 139841260075272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 7078 289 251 784 0 60 0

[startup+0.100127 s]
/proc/loadavg: 2.04 2.06 2.05 3/186 8281
/proc/meminfo: memFree=30335816/32770624 swapFree=6376/1118212
[pid=8281] ppid=8278 vsize=51620 CPUtime=0.09 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 6726 0 0 0 8 1 0 0 20 0 1 0 16931568 52858880 6505 33554432000 4194304 7402444 140733722120752 140733722111832 4483593 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 12905 6505 663 784 0 5919 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 51620

[startup+0.200359 s]
/proc/loadavg: 2.04 2.06 2.05 3/186 8281
/proc/meminfo: memFree=30335816/32770624 swapFree=6376/1118212
[pid=8281] ppid=8278 vsize=116500 CPUtime=0.18 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 22924 0 0 0 15 3 0 0 20 0 1 0 16931568 119296000 22741 33554432000 4194304 7402444 140733722120752 140733722112264 5754793 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 29125 22741 663 784 0 22139 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 116500

[startup+0.300338 s]
/proc/loadavg: 2.04 2.06 2.05 3/186 8281
/proc/meminfo: memFree=30335816/32770624 swapFree=6376/1118212
[pid=8281] ppid=8278 vsize=195856 CPUtime=0.29 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 42809 0 0 0 23 6 0 0 20 0 1 0 16931568 200556544 42568 33554432000 4194304 7402444 140733722120752 140733722111912 5754793 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 48964 42568 663 784 0 41978 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 195856

[startup+0.700267 s]
/proc/loadavg: 2.04 2.06 2.05 3/186 8281
/proc/meminfo: memFree=30335816/32770624 swapFree=6376/1118212
[pid=8281] ppid=8278 vsize=205084 CPUtime=0.68 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 45387 0 0 0 62 6 0 0 20 0 1 0 16931568 210006016 45006 33554432000 4194304 7402444 140733722120752 140733722115768 5753899 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51271 45006 787 784 0 44285 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 205084

[startup+1.50026 s]
/proc/loadavg: 2.04 2.06 2.05 3/187 8282
/proc/meminfo: memFree=30158844/32770624 swapFree=6376/1118404
[pid=8281] ppid=8278 vsize=206008 CPUtime=1.48 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 45612 0 0 0 142 6 0 0 20 0 1 0 16931568 210952192 45270 33554432000 4194304 7402444 140733722120752 140733722115768 5747647 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51502 45270 793 784 0 44516 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 206008

[startup+3.10026 s]
/proc/loadavg: 2.04 2.06 2.05 3/187 8282
/proc/meminfo: memFree=30157852/32770624 swapFree=6376/1118404
[pid=8281] ppid=8278 vsize=206404 CPUtime=3.09 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 68595 0 0 0 301 8 0 0 20 0 1 0 16931568 211357696 45388 33554432000 4194304 7402444 140733722120752 140733722115768 4484551 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51601 45388 793 784 0 44615 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 206404

[startup+6.30027 s]
/proc/loadavg: 2.04 2.06 2.05 3/187 8282
/proc/meminfo: memFree=30157624/32770624 swapFree=6376/1118416
[pid=8281] ppid=8278 vsize=206800 CPUtime=6.28 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 99907 0 0 0 619 9 0 0 20 0 1 0 16931568 211763200 45495 33554432000 4194304 7402444 140733722120752 140733722115768 5750479 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51700 45495 793 784 0 44714 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 206800

[startup+12.7002 s]
/proc/loadavg: 2.03 2.06 2.05 3/187 8282
/proc/meminfo: memFree=30156384/32770624 swapFree=6376/1118424
[pid=8281] ppid=8278 vsize=207064 CPUtime=12.68 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 127639 0 0 0 1258 10 0 0 20 0 1 0 16931568 212033536 45552 33554432000 4194304 7402444 140733722120752 140733722115768 5877690 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51766 45552 793 784 0 44780 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 207064

[startup+25.5003 s]
/proc/loadavg: 2.03 2.05 2.05 3/187 8282
/proc/meminfo: memFree=30157000/32770624 swapFree=6376/1118440
[pid=8281] ppid=8278 vsize=207328 CPUtime=25.48 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 180548 0 0 0 2535 13 0 0 20 0 1 0 16931568 212303872 45602 33554432000 4194304 7402444 140733722120752 140733722115768 5695885 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51832 45602 793 784 0 44846 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 207328

[startup+51.1003 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 8282
/proc/meminfo: memFree=30157408/32770624 swapFree=6376/1118468
[pid=8281] ppid=8278 vsize=207460 CPUtime=51.05 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 206927 0 0 0 5090 15 0 0 20 0 1 0 16931568 212439040 45645 33554432000 4194304 7402444 140733722120752 140733722115768 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51865 45645 793 784 0 44879 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 207460

[startup+102.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 8291
/proc/meminfo: memFree=30156236/32770624 swapFree=6376/1118548
[pid=8281] ppid=8278 vsize=207460 CPUtime=102.2 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 223250 0 0 0 10204 16 0 0 20 0 1 0 16931568 212439040 45660 33554432000 4194304 7402444 140733722120752 140733722115768 4484776 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51865 45660 794 784 0 44879 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 207460

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 8292
/proc/meminfo: memFree=30156536/32770624 swapFree=6376/1118604
[pid=8281] ppid=8278 vsize=207460 CPUtime=162.16 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 227357 0 0 0 16199 17 0 0 20 0 1 0 16931568 212439040 45664 33554432000 4194304 7402444 140733722120752 140733722115768 4484868 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51865 45664 794 784 0 44879 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 207460

[startup+222.306 s]
/proc/loadavg: 2.10 2.06 2.05 3/188 8293
/proc/meminfo: memFree=30156764/32770624 swapFree=6376/1118684
[pid=8281] ppid=8278 vsize=207460 CPUtime=222.14 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 227839 0 0 0 22197 17 0 0 20 0 1 0 16931568 212439040 45671 33554432000 4194304 7402444 140733722120752 140733722115768 5754018 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51865 45671 794 784 0 44879 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 207460

[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/188 8294
/proc/meminfo: memFree=30156856/32770624 swapFree=6376/1118740
[pid=8281] ppid=8278 vsize=207460 CPUtime=282.11 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 228299 0 0 0 28194 17 0 0 20 0 1 0 16931568 212439040 45674 33554432000 4194304 7402444 140733722120752 140733722115768 4248663 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51865 45674 794 784 0 44879 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 207460

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 8295
/proc/meminfo: memFree=30156924/32770624 swapFree=6376/1118812
[pid=8281] ppid=8278 vsize=207460 CPUtime=342.08 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 228781 0 0 0 34191 17 0 0 20 0 1 0 16931568 212439040 45677 33554432000 4194304 7402444 140733722120752 140733722115768 5754011 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51865 45677 794 784 0 44879 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 207460

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8296
/proc/meminfo: memFree=30156852/32770624 swapFree=6376/1118876
[pid=8281] ppid=8278 vsize=207460 CPUtime=402.06 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 229273 0 0 0 40189 17 0 0 20 0 1 0 16931568 212439040 45678 33554432000 4194304 7402444 140733722120752 140733722115768 4484571 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51865 45678 794 784 0 44879 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 207460

[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 8297
/proc/meminfo: memFree=30156768/32770624 swapFree=6376/1118932
[pid=8281] ppid=8278 vsize=207592 CPUtime=462.04 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 229753 0 0 0 46187 17 0 0 20 0 1 0 16931568 212574208 45679 33554432000 4194304 7402444 140733722120752 140733722115288 5753899 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45679 794 784 0 44912 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 207592

[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 8298
/proc/meminfo: memFree=30156908/32770624 swapFree=6376/1118960
[pid=8281] ppid=8278 vsize=207592 CPUtime=522.01 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 230228 0 0 0 52184 17 0 0 20 0 1 0 16931568 212574208 45680 33554432000 4194304 7402444 140733722120752 140733722115288 4484544 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45680 794 784 0 44912 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 207592

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 8299
/proc/meminfo: memFree=30156576/32770624 swapFree=6376/1119020
[pid=8281] ppid=8278 vsize=207592 CPUtime=581.98 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 230740 0 0 0 58181 17 0 0 20 0 1 0 16931568 212574208 45693 33554432000 4194304 7402444 140733722120752 140733722115768 5753930 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45693 794 784 0 44912 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 207592


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8329
/proc/meminfo: memFree=30154932/32770624 swapFree=6376/1119640
[pid=8281] ppid=8278 vsize=207592 CPUtime=1541.59 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 238543 0 0 0 154141 18 0 0 20 0 1 0 16931568 212574208 45700 33554432000 4194304 7402444 140733722120752 140733722115768 4248770 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45700 794 784 0 44912 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 207592

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8331
/proc/meminfo: memFree=30154904/32770624 swapFree=6376/1119680
[pid=8281] ppid=8278 vsize=207592 CPUtime=1601.56 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 239033 0 0 0 160138 18 0 0 20 0 1 0 16931568 212574208 45701 33554432000 4194304 7402444 140733722120752 140733722115768 4484591 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45701 794 784 0 44912 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 207592

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8332
/proc/meminfo: memFree=30154908/32770624 swapFree=6376/1119708
[pid=8281] ppid=8278 vsize=207592 CPUtime=1661.53 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 239452 0 0 0 166135 18 0 0 20 0 1 0 16931568 212574208 45701 33554432000 4194304 7402444 140733722120752 140733722115768 5817933 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45701 794 784 0 44912 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 207592

[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 8333
/proc/meminfo: memFree=30154940/32770624 swapFree=6376/1119744
[pid=8281] ppid=8278 vsize=207592 CPUtime=1721.51 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 239944 0 0 0 172133 18 0 0 20 0 1 0 16931568 212574208 45701 33554432000 4194304 7402444 140733722120752 140733722115768 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45701 794 784 0 44912 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 207592

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 8335
/proc/meminfo: memFree=30155268/32770624 swapFree=6376/1119800
[pid=8281] ppid=8278 vsize=207592 CPUtime=1781.49 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 240436 0 0 0 178131 18 0 0 20 0 1 0 16931568 212574208 45701 33554432000 4194304 7402444 140733722120752 140733722115768 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45701 794 784 0 44912 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 207592

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 8336
/proc/meminfo: memFree=30155180/32770624 swapFree=6376/1119836
[pid=8281] ppid=8278 vsize=207592 CPUtime=1841.46 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 240933 0 0 0 184128 18 0 0 20 0 1 0 16931568 212574208 45702 33554432000 4194304 7402444 140733722120752 140733722115768 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45702 794 784 0 44912 0
Current children cumulated CPU time (s) 1841.46
Current children cumulated vsize (KiB) 207592

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 8345
/proc/meminfo: memFree=30154940/32770624 swapFree=6376/1119872
[pid=8281] ppid=8278 vsize=207592 CPUtime=1901.44 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 241418 0 0 0 190126 18 0 0 20 0 1 0 16931568 212574208 45702 33554432000 4194304 7402444 140733722120752 140733722115768 5754034 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45702 794 784 0 44912 0
Current children cumulated CPU time (s) 1901.44
Current children cumulated vsize (KiB) 207592

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 8369
/proc/meminfo: memFree=30154872/32770624 swapFree=6376/1119908
[pid=8281] ppid=8278 vsize=207592 CPUtime=1961.41 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 241919 0 0 0 196123 18 0 0 20 0 1 0 16931568 212574208 45703 33554432000 4194304 7402444 140733722120752 140733722115768 4484591 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45703 794 784 0 44912 0
Current children cumulated CPU time (s) 1961.41
Current children cumulated vsize (KiB) 207592

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8370
/proc/meminfo: memFree=30155556/32770624 swapFree=6376/1119936
[pid=8281] ppid=8278 vsize=207592 CPUtime=2021.38 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 242405 0 0 0 202120 18 0 0 20 0 1 0 16931568 212574208 45703 33554432000 4194304 7402444 140733722120752 140733722115768 4484598 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45703 794 784 0 44912 0
Current children cumulated CPU time (s) 2021.38
Current children cumulated vsize (KiB) 207592

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8371
/proc/meminfo: memFree=30155512/32770624 swapFree=6376/1119980
[pid=8281] ppid=8278 vsize=207592 CPUtime=2081.36 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 242901 0 0 0 208118 18 0 0 20 0 1 0 16931568 212574208 45704 33554432000 4194304 7402444 140733722120752 140733722115768 5753888 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45704 794 784 0 44912 0
Current children cumulated CPU time (s) 2081.36
Current children cumulated vsize (KiB) 207592

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8436
/proc/meminfo: memFree=30626884/32770624 swapFree=6376/1119988
[pid=8281] ppid=8278 vsize=207592 CPUtime=2141.33 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 243395 0 0 0 214115 18 0 0 20 0 1 0 16931568 212574208 45704 33554432000 4194304 7402444 140733722120752 140733722115768 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45704 794 784 0 44912 0
Current children cumulated CPU time (s) 2141.33
Current children cumulated vsize (KiB) 207592

[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 8437
/proc/meminfo: memFree=30618100/32770624 swapFree=6376/1120040
[pid=8281] ppid=8278 vsize=207592 CPUtime=2201.31 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 243873 0 0 0 220113 18 0 0 20 0 1 0 16931568 212574208 45704 33554432000 4194304 7402444 140733722120752 140733722115768 5871055 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45704 794 784 0 44912 0
Current children cumulated CPU time (s) 2201.31
Current children cumulated vsize (KiB) 207592

[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 8438
/proc/meminfo: memFree=30616140/32770624 swapFree=6376/1120080
[pid=8281] ppid=8278 vsize=207592 CPUtime=2261.27 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 244379 0 0 0 226109 18 0 0 20 0 1 0 16931568 212574208 45704 33554432000 4194304 7402444 140733722120752 140733722115768 4484591 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45704 794 784 0 44912 0
Current children cumulated CPU time (s) 2261.27
Current children cumulated vsize (KiB) 207592

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8439
/proc/meminfo: memFree=30616932/32770624 swapFree=6376/1120112
[pid=8281] ppid=8278 vsize=207592 CPUtime=2321.25 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 244872 0 0 0 232107 18 0 0 20 0 1 0 16931568 212574208 45704 33554432000 4194304 7402444 140733722120752 140733722115768 4484798 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45704 794 784 0 44912 0
Current children cumulated CPU time (s) 2321.25
Current children cumulated vsize (KiB) 207592

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8440
/proc/meminfo: memFree=30617404/32770624 swapFree=6376/1120148
[pid=8281] ppid=8278 vsize=207592 CPUtime=2381.22 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 245370 0 0 0 238104 18 0 0 20 0 1 0 16931568 212574208 45705 33554432000 4194304 7402444 140733722120752 140733722115768 5753899 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45705 794 784 0 44912 0
Current children cumulated CPU time (s) 2381.22
Current children cumulated vsize (KiB) 207592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8440
/proc/meminfo: memFree=30617716/32770624 swapFree=6376/1120156
[pid=8281] ppid=8278 vsize=207592 CPUtime=2400.01 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 245787 0 0 0 239983 18 0 0 20 0 1 0 16931568 212574208 45705 33554432000 4194304 7402444 140733722120752 140733722115768 5754027 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45705 794 784 0 44912 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 207592

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

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

[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8440
/proc/meminfo: memFree=30617716/32770624 swapFree=6376/1120156
[pid=8281] ppid=8278 vsize=207592 CPUtime=2400.01 cores=1,3,5,7
/proc/8281/stat : 8281 (MistralXCSP) R 8278 8281 3540 0 -1 4202496 245787 0 0 0 239983 18 0 0 20 0 1 0 16931568 212574208 45705 33554432000 4194304 7402444 140733722120752 140733722115768 5754027 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 41922560 140733722129576 140733722129726 140733722129726 140733722132425 0
/proc/8281/statm: 51898 45705 794 784 0 44912 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 207592

Child status: 0
Real time (s): 2401.1
CPU time (s): 2400.03
CPU user time (s): 2399.84
CPU system time (s): 0.19092
CPU usage (%): 99.9553
Max. virtual memory (cumulated for all children) (KiB): 207592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.84
system time used= 0.19092
maximum resident set size= 182844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93
involuntary context switches= 120711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99465 second user time and 10.6953 second system time

The end

Launcher Data 

Begin job on node121 at 2017-07-21 13:29:03
IDJOB=4239964
IDBENCH=115900
IDSOLVER=2622
FILE ID=node121/4239964-1500636543
RUNJOBID= node121-1500623787-3572
PBS_JOBID= 20623011
Free space on /tmp= 61992 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239964-1500636543/watcher-4239964-1500636543 -o /tmp/evaluation-result-4239964-1500636543/solver-4239964-1500636543 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500623787-3572 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1441973846 HOME/instance-4239964-1500636543.xml

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

MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117
RANDOM SEED=1441973846

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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		: 1600.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.47
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		: 1733.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		: 1600.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.47
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		: 2133.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		: 1600.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.47
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		: 2267.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:        30336364 kB
MemAvailable:   31530068 kB
Buffers:          162264 kB
Cached:          1310704 kB
SwapCached:            0 kB
Active:           882376 kB
Inactive:        1126880 kB
Active(anon):     539276 kB
Inactive(anon):     8668 kB
Active(file):     343100 kB
Inactive(file):  1118212 kB
Unevictable:        6376 kB
Mlocked:            6388 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5832 kB
Writeback:             0 kB
AnonPages:        542532 kB
Mapped:            34792 kB
Shmem:              8848 kB
Slab:             121772 kB
SReclaimable:      96452 kB
SUnreclaim:        25320 kB
KernelStack:        3328 kB
PageTables:         6084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     806144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    450560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61984 MiB
End job on node121 at 2017-07-21 14:09:04