Trace number 4244789

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: choco-solver 5a (2017-07-05)SAT (TO)363 2400.34 306.013

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-28.xml
MD5SUMf7605bb50abdbd05cc6d9fedf17196d1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark398
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables1831
Number of constraints1072
Number of domains4
Minimum domain size2
Maximum domain size1801
Distribution of domain sizes[{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}]
Minimum variable degree1
Maximum variable degree31
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}]
Minimum constraint arity2
Maximum constraint arity32
Distribution of constraint arities[{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}]
Number of extensional constraints896
Number of intensional constraints141
Distribution of constraint types[{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"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.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244789-1500684671.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4244789-1500684671.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
8.15/2.82	c solve instance...
12.69/3.46	o 0 
12.69/3.49	o 4 
14.57/3.76	o 6 
16.14/4.18	o 8 
16.14/4.19	o 10 
16.37/4.22	o 12 
16.37/4.24	o 14 
16.37/4.29	o 16 
18.80/4.53	o 17 
20.89/4.89	o 18 
22.53/5.26	o 20 
25.44/5.68	o 22 
34.97/7.04	o 23 
34.97/7.05	o 24 
34.97/7.06	o 25 
34.97/7.06	o 26 
34.97/7.07	o 27 
34.97/7.08	o 28 
34.97/7.10	o 29 
35.37/7.11	o 30 
35.37/7.12	o 31 
35.37/7.12	o 32 
35.37/7.13	o 33 
35.37/7.13	o 34 
35.37/7.14	o 35 
35.37/7.15	o 36 
35.37/7.16	o 37 
35.37/7.16	o 38 
35.37/7.17	o 39 
35.37/7.18	o 40 
35.37/7.18	o 41 
35.37/7.20	o 42 
35.92/7.20	o 43 
35.92/7.21	o 44 
35.92/7.22	o 45 
35.92/7.23	o 46 
35.92/7.23	o 47 
35.92/7.24	o 48 
35.92/7.25	o 49 
35.92/7.25	o 50 
35.92/7.26	o 51 
35.92/7.27	o 52 
35.92/7.27	o 53 
35.92/7.28	o 54 
36.50/7.31	o 55 
36.50/7.31	o 56 
36.50/7.32	o 57 
36.50/7.33	o 58 
36.50/7.33	o 59 
36.50/7.34	o 60 
36.50/7.34	o 61 
36.50/7.38	o 62 
36.50/7.39	o 63 
36.50/7.39	o 64 
37.09/7.40	o 65 
37.09/7.41	o 66 
37.09/7.41	o 67 
37.09/7.42	o 68 
37.09/7.43	o 69 
37.09/7.44	o 70 
37.09/7.44	o 71 
37.09/7.45	o 72 
37.09/7.45	o 73 
37.09/7.46	o 74 
37.09/7.47	o 75 
37.09/7.47	o 76 
37.09/7.48	o 77 
37.09/7.49	o 78 
37.09/7.50	o 79 
37.67/7.50	o 80 
37.67/7.51	o 81 
37.67/7.52	o 82 
37.67/7.52	o 83 
37.67/7.53	o 84 
37.67/7.53	o 85 
37.67/7.54	o 86 
37.67/7.54	o 87 
37.67/7.58	o 88 
37.67/7.59	o 89 
37.67/7.60	o 90 
38.08/7.60	o 91 
38.08/7.61	o 92 
38.08/7.61	o 93 
38.08/7.62	o 94 
38.08/7.63	o 95 
38.08/7.64	o 96 
38.08/7.64	o 97 
38.08/7.65	o 98 
38.08/7.65	o 99 
38.08/7.66	o 100 
38.08/7.67	o 101 
38.08/7.68	o 102 
38.08/7.68	o 103 
38.08/7.69	o 104 
38.08/7.69	o 105 
38.08/7.70	o 106 
38.08/7.71	o 107 
38.75/7.75	o 108 
38.75/7.76	o 109 
38.75/7.76	o 110 
38.75/7.77	o 111 
38.75/7.78	o 112 
38.75/7.79	o 113 
38.75/7.80	o 114 
39.34/7.82	o 115 
39.34/7.83	o 116 
39.34/7.84	o 117 
39.34/7.84	o 118 
39.34/7.85	o 119 
39.34/7.85	o 120 
39.34/7.86	o 121 
39.34/7.87	o 122 
39.34/7.87	o 123 
39.34/7.88	o 124 
39.34/7.89	o 125 
39.79/7.90	o 126 
39.79/7.91	o 127 
39.79/7.92	o 128 
39.79/7.92	o 129 
39.79/7.93	o 130 
39.79/7.94	o 131 
39.79/7.94	o 132 
39.79/7.95	o 133 
39.79/7.96	o 134 
39.79/7.96	o 135 
39.79/7.97	o 136 
39.79/7.98	o 137 
39.79/7.98	o 138 
39.79/7.99	o 139 
39.79/7.99	o 140 
39.79/8.00	o 141 
40.32/8.00	o 142 
40.32/8.01	o 143 
40.32/8.01	o 144 
40.32/8.02	o 145 
40.32/8.02	o 146 
40.32/8.03	o 147 
40.32/8.04	o 148 
40.32/8.04	o 149 
40.32/8.05	o 150 
40.32/8.05	o 151 
40.32/8.06	o 152 
40.32/8.07	o 153 
40.32/8.07	o 154 
40.32/8.08	o 155 
40.32/8.08	o 156 
40.75/8.12	o 157 
40.75/8.13	o 158 
40.75/8.13	o 159 
40.75/8.14	o 160 
40.75/8.15	o 161 
40.75/8.15	o 162 
40.75/8.16	o 163 
40.75/8.17	o 164 
40.75/8.18	o 165 
40.75/8.19	o 166 
40.75/8.19	o 167 
41.40/8.20	o 168 
41.40/8.21	o 169 
41.40/8.21	o 170 
41.40/8.22	o 171 
41.40/8.26	o 172 
41.40/8.27	o 173 
41.40/8.27	o 174 
41.40/8.28	o 175 
41.40/8.29	o 176 
41.40/8.29	o 177 
41.85/8.30	o 178 
41.85/8.31	o 179 
41.85/8.31	o 180 
41.85/8.32	o 181 
41.85/8.33	o 182 
41.85/8.34	o 183 
41.85/8.34	o 184 
41.85/8.35	o 185 
41.85/8.36	o 186 
41.85/8.36	o 187 
41.85/8.37	o 188 
41.85/8.37	o 189 
41.85/8.38	o 190 
41.85/8.38	o 191 
41.85/8.39	o 192 
42.42/8.40	o 193 
42.42/8.41	o 194 
42.42/8.42	o 195 
42.42/8.43	o 196 
42.42/8.43	o 197 
42.42/8.45	o 198 
42.42/8.46	o 199 
42.42/8.47	o 200 
42.42/8.48	o 201 
42.42/8.48	o 202 
42.42/8.49	o 203 
42.95/8.50	o 204 
42.95/8.51	o 205 
42.95/8.53	o 206 
42.95/8.54	o 207 
42.95/8.54	o 208 
42.95/8.55	o 209 
42.95/8.58	o 210 
43.65/8.81	o 211 
43.65/8.82	o 212 
43.65/8.83	o 213 
43.65/8.84	o 214 
43.65/8.84	o 215 
43.65/8.85	o 216 
43.65/8.86	o 217 
43.65/8.87	o 218 
43.65/8.88	o 219 
43.65/8.89	o 220 
43.65/8.89	o 221 
43.65/8.90	o 222 
43.65/8.91	o 223 
44.21/8.92	o 224 
44.21/8.92	o 225 
44.21/8.93	o 226 
44.21/8.93	o 227 
44.21/8.94	o 228 
44.21/8.95	o 229 
44.21/8.96	o 230 
44.21/8.96	o 231 
44.21/8.97	o 232 
44.21/8.98	o 233 
44.21/8.98	o 234 
44.21/8.99	o 235 
44.65/9.00	o 236 
44.65/9.01	o 237 
44.65/9.01	o 238 
44.65/9.02	o 239 
44.65/9.03	o 240 
44.65/9.04	o 241 
44.65/9.04	o 242 
44.65/9.06	o 243 
44.65/9.07	o 244 
44.65/9.07	o 245 
44.65/9.08	o 246 
44.65/9.09	o 247 
45.16/9.10	o 248 
45.16/9.11	o 249 
45.16/9.11	o 250 
45.16/9.12	o 251 
45.16/9.13	o 252 
45.16/9.14	o 253 
45.16/9.15	o 254 
45.16/9.15	o 255 
45.16/9.16	o 256 
45.16/9.19	o 257 
45.81/9.20	o 258 
45.81/9.21	o 259 
45.81/9.21	o 260 
45.81/9.22	o 261 
45.81/9.23	o 262 
45.81/9.24	o 263 
45.81/9.24	o 264 
45.81/9.26	o 265 
45.81/9.26	o 266 
45.81/9.27	o 267 
45.81/9.28	o 268 
45.81/9.29	o 269 
45.81/9.29	o 270 
46.33/9.30	o 271 
46.33/9.31	o 272 
46.33/9.31	o 273 
46.33/9.32	o 274 
46.33/9.33	o 275 
46.33/9.37	o 276 
46.33/9.38	o 277 
46.33/9.39	o 278 
46.33/9.39	o 279 
46.85/9.40	o 280 
46.85/9.41	o 281 
46.85/9.42	o 282 
46.85/9.43	o 283 
46.85/9.44	o 284 
46.85/9.45	o 285 
46.85/9.45	o 286 
46.85/9.46	o 287 
46.85/9.47	o 288 
46.85/9.48	o 289 
46.85/9.49	o 290 
46.85/9.50	o 291 
47.38/9.51	o 292 
47.38/9.51	o 293 
47.38/9.52	o 294 
47.38/9.53	o 295 
47.38/9.54	o 296 
47.38/9.54	o 297 
47.38/9.56	o 298 
47.38/9.56	o 299 
47.38/9.57	o 300 
47.38/9.58	o 301 
47.38/9.59	o 302 
47.82/9.60	o 303 
47.82/9.61	o 304 
47.82/9.61	o 305 
47.82/9.62	o 306 
47.82/9.63	o 307 
47.82/9.64	o 308 
47.82/9.65	o 309 
47.82/9.66	o 310 
47.82/9.68	o 311 
47.82/9.68	o 312 
47.82/9.69	o 313 
48.34/9.70	o 314 
48.34/9.71	o 315 
48.34/9.72	o 316 
48.34/9.73	o 317 
48.34/9.74	o 318 
48.34/9.74	o 319 
48.34/9.76	o 320 
48.34/9.76	o 321 
48.34/9.78	o 322 
48.34/9.78	o 323 
48.34/9.79	o 324 
48.92/9.80	o 325 
48.92/9.81	o 326 
48.92/9.82	o 327 
48.92/9.83	o 328 
48.92/9.84	o 329 
48.92/9.85	o 330 
48.92/9.86	o 331 
48.92/9.87	o 332 
48.92/9.87	o 333 
48.92/9.88	o 334 
48.92/9.89	o 335 
48.92/9.90	o 336 
48.92/9.91	o 337 
49.51/9.92	o 338 
49.51/9.93	o 339 
49.51/9.94	o 340 
49.51/9.94	o 341 
49.51/9.95	o 342 
49.51/9.96	o 343 
49.51/9.97	o 344 
49.51/9.98	o 345 
49.51/9.99	o 346 
49.51/10.00	o 347 
49.51/10.00	o 348 
49.97/10.02	o 349 
49.97/10.02	o 350 
49.97/10.03	o 351 
49.97/10.04	o 352 
49.97/10.05	o 353 
49.97/10.06	o 354 
49.97/10.07	o 355 
49.97/10.08	o 356 
50.44/10.11	o 357 
50.70/10.33	o 358 
50.70/10.34	o 359 
52.42/10.67	o 360 
52.70/10.71	o 361 
154.15/23.62	o 362 
167.68/25.46	o 363 
2400.34/306.04	s SATISFIABLE
2400.34/306.04	v <instantiation>
2400.34/306.04	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[0][29] 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[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[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[7][29] 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[8][29] 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[9][29] 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[10][29] 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[11][29] 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[12][29] 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[13][29] 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[14][29] 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[15][29] 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[16][29] 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[17][29] 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[18][29] 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[19][29] 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[20][29] 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[21][29] 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[22][29] 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[23][29] 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[24][29] 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[25][29] 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[26][29] 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[27][29] 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] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] 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[0][29] 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[1][29] 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[2][29] 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[3][29] 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[4][29] 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[5][29] 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[6][29] 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[7][29] 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[8][29] 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[9][29] 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[10][29] 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[11][29] 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[12][29] 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[13][29] 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[14][29] 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[15][29] 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[16][29] 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[17][29] 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[18][29] 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[19][29] 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[20][29] 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[21][29] 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[22][29] 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[23][29] 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[24][29] 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[25][29] 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[26][29] 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[27][29] 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] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] 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] ws[29] z </list>
2400.34/306.04	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 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 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 1 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 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 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 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 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 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 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 1 0 0 1 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 0 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 2 1 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 1 0 1 2 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 1 0 1 0 1 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 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 2 2 0 1 0 1 1 2 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 9 10 10 20 20 21 53 60 62 64 68 70 92 102 109 111 115 124 135 138 145 156 158 160 169 174 183 191 211 228 363 </values>
2400.34/306.04	v </instantiation>
2400.34/306.04	c Unexpected resolution interruption!

Verifier Data 

OK	363

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-4244789-1500684671/watcher-4244789-1500684671 -o /tmp/evaluation-result-4244789-1500684671/solver-4244789-1500684671 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 265415568 HOME/instance-4244789-1500684671.xml 

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

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


[startup+0 s]
/proc/loadavg: 15.99 15.03 13.33 9/272 17780
/proc/meminfo: memFree=31744576/32770624 swapFree=5808/48936
[pid=17780] ppid=17777 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17780/stat : 17780 (xcsp3-exec) S 17777 17780 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3732180 9740288 346 33554432000 4194304 5098028 140726950072128 140726950070232 140469841216124 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37462016 140726950077583 140726950077792 140726950077792 140726950080491 0
/proc/17780/statm: 2378 346 289 221 0 87 0

[startup+0.100074 s]
/proc/loadavg: 15.99 15.03 13.33 9/272 17780
/proc/meminfo: memFree=31744576/32770624 swapFree=5808/48936
[pid=17780] ppid=17777 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17780/stat : 17780 (xcsp3-exec) S 17777 17780 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3732180 9740288 346 33554432000 4194304 5098028 140726950072128 140726950070232 140469841216124 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37462016 140726950077583 140726950077792 140726950077792 140726950080491 0
/proc/17780/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200325 s]
/proc/loadavg: 15.99 15.03 13.33 9/272 17780
/proc/meminfo: memFree=31744576/32770624 swapFree=5808/48936
[pid=17780] ppid=17777 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17780/stat : 17780 (xcsp3-exec) S 17777 17780 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3732180 9740288 346 33554432000 4194304 5098028 140726950072128 140726950070232 140469841216124 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37462016 140726950077583 140726950077792 140726950077792 140726950080491 0
/proc/17780/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300277 s]
/proc/loadavg: 15.99 15.03 13.33 9/272 17780
/proc/meminfo: memFree=31744576/32770624 swapFree=5808/48936
[pid=17780] ppid=17777 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17780/stat : 17780 (xcsp3-exec) S 17777 17780 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3732180 9740288 346 33554432000 4194304 5098028 140726950072128 140726950070232 140469841216124 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37462016 140726950077583 140726950077792 140726950077792 140726950080491 0
/proc/17780/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700184 s]
/proc/loadavg: 15.99 15.03 13.33 9/272 17780
/proc/meminfo: memFree=31744576/32770624 swapFree=5808/48936
[pid=17780] ppid=17777 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17780/stat : 17780 (xcsp3-exec) S 17777 17780 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3732180 9740288 346 33554432000 4194304 5098028 140726950072128 140726950070232 140469841216124 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37462016 140726950077583 140726950077792 140726950077792 140726950080491 0
/proc/17780/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50122 s]
/proc/loadavg: 15.67 14.98 13.32 13/293 17801
/proc/meminfo: memFree=31641080/32770624 swapFree=5808/48884
[pid=17780] ppid=17777 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17780/stat : 17780 (xcsp3-exec) S 17777 17780 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3732180 9740288 346 33554432000 4194304 5098028 140726950072128 140726950070232 140469841216124 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37462016 140726950077583 140726950077792 140726950077792 140726950080491 0
/proc/17780/statm: 2378 346 289 221 0 87 0
[pid=17781] ppid=17780 vsize=13269256 CPUtime=4.37 cores=1,3,5,7,9,11,13,15
/proc/17781/stat : 17781 (java) S 17780 17780 15196 0 -1 1077944320 22687 0 0 0 429 8 0 0 20 0 20 0 3732180 13587718144 41540 33554432000 4194304 4196468 140729644721904 140729644704448 139646984875767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
/proc/17781/statm: 3317314 41540 3228 1 0 3304547 0
[pid=17781/tid=17782] ppid=17780 vsize=13269256 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17782/stat : 17782 (java) R 17780 17780 15196 0 -1 4202560 9557 0 0 0 142 4 0 0 20 0 20 0 3732180 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646989111384 139646984887702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17784] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17784/stat : 17784 (java) S 17780 17780 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3732181 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646903355920 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17785] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17785/stat : 17785 (java) S 17780 17780 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3732181 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646583433872 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17786] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17786/stat : 17786 (java) S 17780 17780 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3732181 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646582380816 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17787] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17787/stat : 17787 (java) S 17780 17780 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3732181 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646581328272 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17788] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17788/stat : 17788 (java) S 17780 17780 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3732181 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646580276240 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17789] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17789/stat : 17789 (java) S 17780 17780 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3732181 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646579223696 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17790] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17790/stat : 17790 (java) S 17780 17780 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3732181 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646578170640 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17791] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17791/stat : 17791 (java) S 17780 17780 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3732181 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646577118096 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17792] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17792/stat : 17792 (java) S 17780 17780 15196 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 20 0 3732183 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646178732272 139646984886914 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17793] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17793/stat : 17793 (java) S 17780 17780 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3732184 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646177678496 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17794] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17794/stat : 17794 (java) S 17780 17780 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3732185 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646176625392 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17795] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17795/stat : 17795 (java) S 17780 17780 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3732188 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646175573968 139646984894363 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17796] ppid=17780 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17796/stat : 17796 (java) R 17780 17780 15196 0 -1 4202560 2662 0 0 0 74 0 0 0 20 0 20 0 3732188 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646174507976 139646966419880 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17797] ppid=17780 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17797/stat : 17797 (java) R 17780 17780 15196 0 -1 4202560 2791 0 0 0 75 0 0 0 20 0 20 0 3732188 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646173469472 139646969622157 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17798] ppid=17780 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17798/stat : 17798 (java) R 17780 17780 15196 0 -1 4202560 3144 0 0 0 72 0 0 0 20 0 20 0 3732188 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646172403040 139646966420731 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17799] ppid=17780 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17799/stat : 17799 (java) S 17780 17780 15196 0 -1 1077944384 3100 0 0 0 64 1 0 0 20 0 20 0 3732188 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646171363952 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17800] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17800/stat : 17800 (java) S 17780 17780 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3732188 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646170311136 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17801] ppid=17780 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17801/stat : 17801 (java) S 17780 17780 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 3732189 13587718144 41540 33554432000 4194304 4196468 140729644721904 139646169258672 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 13278768

[startup+3.10115 s]
/proc/loadavg: 15.67 14.98 13.32 12/293 17801
/proc/meminfo: memFree=31529460/32770624 swapFree=5808/48972
[pid=17780] ppid=17777 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17780/stat : 17780 (xcsp3-exec) S 17777 17780 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3732180 9740288 346 33554432000 4194304 5098028 140726950072128 140726950070232 140469841216124 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37462016 140726950077583 140726950077792 140726950077792 140726950080491 0
/proc/17780/statm: 2378 346 289 221 0 87 0
[pid=17781] ppid=17780 vsize=13801768 CPUtime=10.21 cores=1,3,5,7,9,11,13,15
/proc/17781/stat : 17781 (java) S 17780 17780 15196 0 -1 1077944320 25980 0 0 0 969 52 0 0 20 0 28 0 3732180 14133010432 71706 33554432000 4194304 4196468 140729644721904 140729644704448 139646984875767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
/proc/17781/statm: 3450442 71706 3261 1 0 3437675 0
[pid=17781/tid=17782] ppid=17780 vsize=13801768 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17782/stat : 17782 (java) S 17780 17780 15196 0 -1 1077944384 9948 0 0 0 264 5 0 0 20 0 28 0 3732180 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646989116544 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17784] ppid=17780 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17784/stat : 17784 (java) S 17780 17780 15196 0 -1 1077944384 99 0 0 0 4 5 0 0 20 0 28 0 3732181 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646903355920 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17785] ppid=17780 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17785/stat : 17785 (java) S 17780 17780 15196 0 -1 1077944384 83 0 0 0 4 5 0 0 20 0 28 0 3732181 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646583433872 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17786] ppid=17780 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17786/stat : 17786 (java) S 17780 17780 15196 0 -1 1077944384 87 0 0 0 4 5 0 0 20 0 28 0 3732181 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646582380816 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17787] ppid=17780 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17787/stat : 17787 (java) S 17780 17780 15196 0 -1 1077944384 206 0 0 0 4 4 0 0 20 0 28 0 3732181 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646581328272 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17788] ppid=17780 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17788/stat : 17788 (java) S 17780 17780 15196 0 -1 1077944384 99 0 0 0 4 5 0 0 20 0 28 0 3732181 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646580276240 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17789] ppid=17780 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17789/stat : 17789 (java) S 17780 17780 15196 0 -1 1077944384 131 0 0 0 4 5 0 0 20 0 28 0 3732181 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646579223696 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17790] ppid=17780 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17790/stat : 17790 (java) S 17780 17780 15196 0 -1 1077944384 197 0 0 0 4 5 0 0 20 0 28 0 3732181 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646578170640 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17791] ppid=17780 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17791/stat : 17791 (java) S 17780 17780 15196 0 -1 1077944384 70 0 0 0 4 5 0 0 20 0 28 0 3732181 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646577118096 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17792] ppid=17780 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17792/stat : 17792 (java) S 17780 17780 15196 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 28 0 3732183 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646178732272 139646984886914 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17793] ppid=17780 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17793/stat : 17793 (java) S 17780 17780 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3732184 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646177678560 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17794] ppid=17780 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17794/stat : 17794 (java) S 17780 17780 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3732185 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646176625408 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17795] ppid=17780 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17795/stat : 17795 (java) S 17780 17780 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3732188 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646175573968 139646984894363 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17796] ppid=17780 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17796/stat : 17796 (java) R 17780 17780 15196 0 -1 4202560 2885 0 0 0 145 0 0 0 20 0 28 0 3732188 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646174513168 139646968286661 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17797] ppid=17780 vsize=13801768 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17797/stat : 17797 (java) R 17780 17780 15196 0 -1 4202560 2917 0 0 0 138 0 0 0 20 0 28 0 3732188 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646173462656 139646977127287 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17798] ppid=17780 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17798/stat : 17798 (java) R 17780 17780 15196 0 -1 4202560 3567 0 0 0 147 1 0 0 20 0 28 0 3732188 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646172403312 139646969985333 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17799] ppid=17780 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17799/stat : 17799 (java) R 17780 17780 15196 0 -1 4202560 3734 0 0 0 88 1 0 0 20 0 28 0 3732188 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646171359600 139646965640945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17800] ppid=17780 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17800/stat : 17800 (java) S 17780 17780 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3732188 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646170311136 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17801] ppid=17780 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17801/stat : 17801 (java) S 17780 17780 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3732189 14133010432 71706 33554432000 4194304 4196468 140729644721904 139646169258672 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
Current children cumulated CPU time (s) 10.21
Current children cumulated vsize (KiB) 13811280

[startup+6.30239 s]
/proc/loadavg: 15.67 14.98 13.32 20/301 17897
/proc/meminfo: memFree=31300432/32770624 swapFree=5808/48980
[pid=17780] ppid=17777 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17780/stat : 17780 (xcsp3-exec) S 17777 17780 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3732180 9740288 346 33554432000 4194304 5098028 140726950072128 140726950070232 140469841216124 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37462016 140726950077583 140726950077792 140726950077792 140726950080491 0
/proc/17780/statm: 2378 346 289 221 0 87 0
[pid=17781] ppid=17780 vsize=13871408 CPUtime=30.87 cores=1,3,5,7,9,11,13,15
/proc/17781/stat : 17781 (java) S 17780 17780 15196 0 -1 1077944320 34942 0 0 0 3009 78 0 0 20 0 28 0 3732180 14204321792 113651 33554432000 4194304 4196468 140729644721904 140729644704448 139646984875767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
/proc/17781/statm: 3467852 113651 3273 1 0 3455085 0
[pid=17781/tid=17782] ppid=17780 vsize=13871408 CPUtime=2.73 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17782/stat : 17782 (java) S 17780 17780 15196 0 -1 1077944384 9978 0 0 0 267 6 0 0 20 0 28 0 3732180 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646989116544 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17784] ppid=17780 vsize=13871408 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17784/stat : 17784 (java) S 17780 17780 15196 0 -1 1077944384 125 0 0 0 7 7 0 0 20 0 28 0 3732181 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646903355920 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17785] ppid=17780 vsize=13871408 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17785/stat : 17785 (java) S 17780 17780 15196 0 -1 1077944384 112 0 0 0 7 7 0 0 20 0 28 0 3732181 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646583433872 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17786] ppid=17780 vsize=13871408 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17786/stat : 17786 (java) S 17780 17780 15196 0 -1 1077944384 116 0 0 0 7 7 0 0 20 0 28 0 3732181 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646582380816 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17787] ppid=17780 vsize=13871408 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17787/stat : 17787 (java) S 17780 17780 15196 0 -1 1077944384 244 0 0 0 7 5 0 0 20 0 28 0 3732181 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646581328272 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17788] ppid=17780 vsize=13871408 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17788/stat : 17788 (java) S 17780 17780 15196 0 -1 1077944384 111 0 0 0 5 7 0 0 20 0 28 0 3732181 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646580276240 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17789] ppid=17780 vsize=13871408 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17789/stat : 17789 (java) S 17780 17780 15196 0 -1 1077944384 181 0 0 0 7 7 0 0 20 0 28 0 3732181 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646579223696 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17790] ppid=17780 vsize=13871408 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17790/stat : 17790 (java) S 17780 17780 15196 0 -1 1077944384 214 0 0 0 6 7 0 0 20 0 28 0 3732181 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646578170640 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17791] ppid=17780 vsize=13871408 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17791/stat : 17791 (java) S 17780 17780 15196 0 -1 1077944384 82 0 0 0 6 6 0 0 20 0 28 0 3732181 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646577118096 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17792] ppid=17780 vsize=13871408 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17792/stat : 17792 (java) S 17780 17780 15196 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 28 0 3732183 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646178732272 139646984886914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17793] ppid=17780 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17793/stat : 17793 (java) S 17780 17780 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3732184 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646177678560 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17794] ppid=17780 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17794/stat : 17794 (java) S 17780 17780 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3732185 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646176625408 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17795] ppid=17780 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17795/stat : 17795 (java) S 17780 17780 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3732188 14204321792 113651 33554432000 4194304 4196468 140729644721904 139646175573968 139646984894363 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0

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

[pid=17781/tid=20632] ppid=17780 vsize=14003508 CPUtime=195.57 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20632/stat : 20632 (java) R 17780 17780 15196 0 -1 4202560 3080 0 0 0 19554 3 0 0 20 0 28 0 3734727 14339592192 844279 33554432000 4194304 4196468 140729644721904 139644753657792 139646593944299 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20633] ppid=17780 vsize=14003508 CPUtime=195.31 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20633/stat : 20633 (java) R 17780 17780 15196 0 -1 4202560 1113 0 0 0 19531 0 0 0 20 0 28 0 3734727 14339592192 844279 33554432000 4194304 4196468 140729644721904 139644754710696 139646593716645 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
Current children cumulated CPU time (s) 1734.39
Current children cumulated vsize (KiB) 14013020

[startup+282.302 s]
/proc/loadavg: 16.02 15.54 13.98 17/299 21254
/proc/meminfo: memFree=26563764/32770624 swapFree=5808/49340
[pid=17780] ppid=17777 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17780/stat : 17780 (xcsp3-exec) S 17777 17780 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3732180 9740288 346 33554432000 4194304 5098028 140726950072128 140726950070232 140469841216124 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37462016 140726950077583 140726950077792 140726950077792 140726950080491 0
/proc/17780/statm: 2378 346 289 221 0 87 0
[pid=17781] ppid=17780 vsize=14003508 CPUtime=2211.75 cores=1,3,5,7,9,11,13,15
/proc/17781/stat : 17781 (java) S 17780 17780 15196 0 -1 1077944320 153276 0 0 0 220909 266 0 0 20 0 28 0 3732180 14339592192 816204 33554432000 4194304 4196468 140729644721904 140729644704448 139646984875767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
/proc/17781/statm: 3500877 816204 3287 1 0 3488110 0
[pid=17781/tid=17782] ppid=17780 vsize=14003508 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17782/stat : 17782 (java) S 17780 17780 15196 0 -1 1077944384 10499 0 0 0 291 8 0 0 20 0 28 0 3732180 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646989116464 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17784] ppid=17780 vsize=14003508 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17784/stat : 17784 (java) S 17780 17780 15196 0 -1 1077944384 905 0 0 0 22 15 0 0 20 0 28 0 3732181 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646903355920 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17785] ppid=17780 vsize=14003508 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17785/stat : 17785 (java) S 17780 17780 15196 0 -1 1077944384 445 0 0 0 22 14 0 0 20 0 28 0 3732181 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646583433872 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17786] ppid=17780 vsize=14003508 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17786/stat : 17786 (java) S 17780 17780 15196 0 -1 1077944384 684 0 0 0 20 14 0 0 20 0 28 0 3732181 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646582380816 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17787] ppid=17780 vsize=14003508 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17787/stat : 17787 (java) S 17780 17780 15196 0 -1 1077944384 991 0 0 0 23 12 0 0 20 0 28 0 3732181 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646581328272 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17788] ppid=17780 vsize=14003508 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17788/stat : 17788 (java) S 17780 17780 15196 0 -1 1077944384 417 0 0 0 21 14 0 0 20 0 28 0 3732181 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646580276240 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17789] ppid=17780 vsize=14003508 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17789/stat : 17789 (java) S 17780 17780 15196 0 -1 1077944384 1565 0 0 0 22 14 0 0 20 0 28 0 3732181 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646579223696 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17790] ppid=17780 vsize=14003508 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17790/stat : 17790 (java) S 17780 17780 15196 0 -1 1077944384 1162 0 0 0 21 13 0 0 20 0 28 0 3732181 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646578170640 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17791] ppid=17780 vsize=14003508 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17791/stat : 17791 (java) S 17780 17780 15196 0 -1 1077944384 1206 0 0 0 21 14 0 0 20 0 28 0 3732181 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646577118096 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17792] ppid=17780 vsize=14003508 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17792/stat : 17792 (java) S 17780 17780 15196 0 -1 1077944384 4692 0 0 0 10 10 0 0 20 0 28 0 3732183 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646178732272 139646984886914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17793] ppid=17780 vsize=14003508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17793/stat : 17793 (java) S 17780 17780 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3732184 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646177678560 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17794] ppid=17780 vsize=14003508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17794/stat : 17794 (java) S 17780 17780 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3732185 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646176625408 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17795] ppid=17780 vsize=14003508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17795/stat : 17795 (java) S 17780 17780 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3732188 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646175573968 139646984894363 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17796] ppid=17780 vsize=14003508 CPUtime=5.01 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17796/stat : 17796 (java) S 17780 17780 15196 0 -1 1077944384 21282 0 0 0 498 3 0 0 20 0 28 0 3732188 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646174522096 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17797] ppid=17780 vsize=14003508 CPUtime=4.99 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17797/stat : 17797 (java) S 17780 17780 15196 0 -1 1077944384 16406 0 0 0 496 3 0 0 20 0 28 0 3732188 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646173469552 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17798] ppid=17780 vsize=14003508 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17798/stat : 17798 (java) S 17780 17780 15196 0 -1 1077944384 17391 0 0 0 443 2 0 0 20 0 28 0 3732188 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646172416496 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17799] ppid=17780 vsize=14003508 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17799/stat : 17799 (java) S 17780 17780 15196 0 -1 1077944384 10651 0 0 0 154 3 0 0 20 0 28 0 3732188 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646171363952 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17800] ppid=17780 vsize=14003508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17800/stat : 17800 (java) S 17780 17780 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3732188 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646170311136 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17801] ppid=17780 vsize=14003508 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17801/stat : 17801 (java) S 17780 17780 15196 0 -1 1077944384 1265 0 0 0 6 10 0 0 20 0 28 0 3732189 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646169258672 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20626] ppid=17780 vsize=14003508 CPUtime=255.17 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20626/stat : 20626 (java) R 17780 17780 15196 0 -1 4202560 2627 0 0 0 25516 1 0 0 20 0 28 0 3734726 14339592192 816204 33554432000 4194304 4196468 140729644721904 139644746295976 139646593035333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20627] ppid=17780 vsize=14003508 CPUtime=254.46 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20627/stat : 20627 (java) R 17780 17780 15196 0 -1 4202560 2611 0 0 0 25445 1 0 0 20 0 28 0 3734727 14339592192 816204 33554432000 4194304 4196468 140729644721904 139645630701608 139646592347012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20628] ppid=17780 vsize=14003508 CPUtime=255.62 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20628/stat : 20628 (java) R 17780 17780 15196 0 -1 4202560 1275 0 0 0 25562 0 0 0 20 0 28 0 3734727 14339592192 816204 33554432000 4194304 4196468 140729644721904 139645628596496 139646588216170 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20629] ppid=17780 vsize=14003508 CPUtime=255.14 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20629/stat : 20629 (java) R 17780 17780 15196 0 -1 4202560 14679 0 0 0 25496 18 0 0 20 0 28 0 3734727 14339592192 816204 33554432000 4194304 4196468 140729644721904 139646165536064 139646584575936 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20630] ppid=17780 vsize=14003508 CPUtime=255.81 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20630/stat : 20630 (java) R 17780 17780 15196 0 -1 4202560 1288 0 0 0 25581 0 0 0 20 0 28 0 3734727 14339592192 816204 33554432000 4194304 4196468 140729644721904 139644752605464 139646593715876 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20631] ppid=17780 vsize=14003508 CPUtime=255.29 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20631/stat : 20631 (java) R 17780 17780 15196 0 -1 4202560 973 0 0 0 25529 0 0 0 20 0 28 0 3734727 14339592192 816204 33554432000 4194304 4196468 140729644721904 139644747350440 139646592347475 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20632] ppid=17780 vsize=14003508 CPUtime=255.35 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20632/stat : 20632 (java) R 17780 17780 15196 0 -1 4202560 3710 0 0 0 25532 3 0 0 20 0 28 0 3734727 14339592192 816204 33554432000 4194304 4196468 140729644721904 139644753657640 139646593716003 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20633] ppid=17780 vsize=14003508 CPUtime=254.38 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20633/stat : 20633 (java) R 17780 17780 15196 0 -1 4202560 1287 0 0 0 25437 1 0 0 20 0 28 0 3734727 14339592192 816204 33554432000 4194304 4196468 140729644721904 139644754710424 139646593034371 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
Current children cumulated CPU time (s) 2211.75
Current children cumulated vsize (KiB) 14013020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+306.002 s]
/proc/loadavg: 16.01 15.57 14.03 17/299 21254
/proc/meminfo: memFree=26504320/32770624 swapFree=5808/49356
[pid=17780] ppid=17777 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17780/stat : 17780 (xcsp3-exec) S 17777 17780 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3732180 9740288 346 33554432000 4194304 5098028 140726950072128 140726950070232 140469841216124 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37462016 140726950077583 140726950077792 140726950077792 140726950080491 0
/proc/17780/statm: 2378 346 289 221 0 87 0
[pid=17781] ppid=17780 vsize=14003508 CPUtime=2400.34 cores=1,3,5,7,9,11,13,15
/proc/17781/stat : 17781 (java) S 17780 17780 15196 0 -1 1077944320 154275 0 0 0 239766 268 0 0 20 0 28 0 3732180 14339592192 810432 33554432000 4194304 4196468 140729644721904 140729644704448 139646984875767 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
/proc/17781/statm: 3500877 810432 3287 1 0 3488110 0
[pid=17781/tid=17782] ppid=17780 vsize=14003508 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17782/stat : 17782 (java) S 17780 17780 15196 0 -1 1077944384 10499 0 0 0 291 8 0 0 20 0 28 0 3732180 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646989116464 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17784] ppid=17780 vsize=14003508 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17784/stat : 17784 (java) S 17780 17780 15196 0 -1 1077944384 908 0 0 0 22 15 0 0 20 0 28 0 3732181 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646903355920 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17785] ppid=17780 vsize=14003508 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17785/stat : 17785 (java) S 17780 17780 15196 0 -1 1077944384 448 0 0 0 23 14 0 0 20 0 28 0 3732181 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646583433872 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17786] ppid=17780 vsize=14003508 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17786/stat : 17786 (java) S 17780 17780 15196 0 -1 1077944384 690 0 0 0 21 14 0 0 20 0 28 0 3732181 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646582380816 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17787] ppid=17780 vsize=14003508 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17787/stat : 17787 (java) S 17780 17780 15196 0 -1 1077944384 996 0 0 0 23 13 0 0 20 0 28 0 3732181 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646581328272 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17788] ppid=17780 vsize=14003508 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17788/stat : 17788 (java) S 17780 17780 15196 0 -1 1077944384 433 0 0 0 22 14 0 0 20 0 28 0 3732181 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646580276240 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17789] ppid=17780 vsize=14003508 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17789/stat : 17789 (java) S 17780 17780 15196 0 -1 1077944384 1570 0 0 0 23 14 0 0 20 0 28 0 3732181 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646579223696 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17790] ppid=17780 vsize=14003508 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17790/stat : 17790 (java) S 17780 17780 15196 0 -1 1077944384 1169 0 0 0 22 13 0 0 20 0 28 0 3732181 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646578170640 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17791] ppid=17780 vsize=14003508 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17791/stat : 17791 (java) S 17780 17780 15196 0 -1 1077944384 1213 0 0 0 22 14 0 0 20 0 28 0 3732181 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646577118096 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17792] ppid=17780 vsize=14003508 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17792/stat : 17792 (java) S 17780 17780 15196 0 -1 1077944384 4708 0 0 0 11 10 0 0 20 0 28 0 3732183 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646178732272 139646984886914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17793] ppid=17780 vsize=14003508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17793/stat : 17793 (java) S 17780 17780 15196 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3732184 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646177678560 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17794] ppid=17780 vsize=14003508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17794/stat : 17794 (java) S 17780 17780 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3732185 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646176625408 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17795] ppid=17780 vsize=14003508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17795/stat : 17795 (java) S 17780 17780 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3732188 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646175573968 139646984894363 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17796] ppid=17780 vsize=14003508 CPUtime=5.01 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17796/stat : 17796 (java) S 17780 17780 15196 0 -1 1077944384 21282 0 0 0 498 3 0 0 20 0 28 0 3732188 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646174522096 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17797] ppid=17780 vsize=14003508 CPUtime=4.99 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17797/stat : 17797 (java) S 17780 17780 15196 0 -1 1077944384 16406 0 0 0 496 3 0 0 20 0 28 0 3732188 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646173469552 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17798] ppid=17780 vsize=14003508 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17798/stat : 17798 (java) S 17780 17780 15196 0 -1 1077944384 17391 0 0 0 443 2 0 0 20 0 28 0 3732188 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646172416496 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17799] ppid=17780 vsize=14003508 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17799/stat : 17799 (java) S 17780 17780 15196 0 -1 1077944384 10651 0 0 0 154 3 0 0 20 0 28 0 3732188 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646171363952 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17800] ppid=17780 vsize=14003508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17800/stat : 17800 (java) S 17780 17780 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3732188 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646170311136 139646984885973 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=17801] ppid=17780 vsize=14003508 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17781/task/17801/stat : 17801 (java) S 17780 17780 15196 0 -1 1077944384 1267 0 0 0 6 11 0 0 20 0 28 0 3732189 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646169258672 139646984886914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20626] ppid=17780 vsize=14003508 CPUtime=278.66 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20626/stat : 20626 (java) R 17780 17780 15196 0 -1 4202560 2651 0 0 0 27865 1 0 0 20 0 28 0 3734726 14339592192 810432 33554432000 4194304 4196468 140729644721904 139644746295992 139646592346885 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20627] ppid=17780 vsize=14003508 CPUtime=278.05 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20627/stat : 20627 (java) R 17780 17780 15196 0 -1 4202560 2903 0 0 0 27804 1 0 0 20 0 28 0 3734727 14339592192 810432 33554432000 4194304 4196468 140729644721904 139645630701384 139646593567665 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20628] ppid=17780 vsize=14003508 CPUtime=279.29 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20628/stat : 20628 (java) R 17780 17780 15196 0 -1 4202560 1299 0 0 0 27929 0 0 0 20 0 28 0 3734727 14339592192 810432 33554432000 4194304 4196468 140729644721904 139645628596792 139646593566403 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20629] ppid=17780 vsize=14003508 CPUtime=278.77 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20629/stat : 20629 (java) R 17780 17780 15196 0 -1 4202560 15129 0 0 0 27859 18 0 0 20 0 28 0 3734727 14339592192 810432 33554432000 4194304 4196468 140729644721904 139646165532880 139646586391261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20630] ppid=17780 vsize=14003508 CPUtime=279.47 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20630/stat : 20630 (java) R 17780 17780 15196 0 -1 4202560 1322 0 0 0 27947 0 0 0 20 0 28 0 3734727 14339592192 810432 33554432000 4194304 4196468 140729644721904 139644752605608 139646593567647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20631] ppid=17780 vsize=14003508 CPUtime=278.64 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20631/stat : 20631 (java) R 17780 17780 15196 0 -1 4202560 995 0 0 0 27864 0 0 0 20 0 28 0 3734727 14339592192 810432 33554432000 4194304 4196468 140729644721904 139644747353136 139646593034346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20632] ppid=17780 vsize=14003508 CPUtime=279.02 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20632/stat : 20632 (java) R 17780 17780 15196 0 -1 4202560 3740 0 0 0 27899 3 0 0 20 0 28 0 3734727 14339592192 810432 33554432000 4194304 4196468 140729644721904 139644753657688 139646593003116 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
[pid=17781/tid=20633] ppid=17780 vsize=14003508 CPUtime=277.83 cores=1,3,5,7,9,11,13,15
/proc/17781/task/20633/stat : 20633 (java) R 17780 17780 15196 0 -1 4202560 1340 0 0 0 27782 1 0 0 20 0 28 0 3734727 14339592192 810432 33554432000 4194304 4196468 140729644721904 139644754710552 139646593300940 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29536256 140729644725436 140729644725612 140729644725612 140729644728271 0
Current children cumulated CPU time (s) 2400.34
Current children cumulated vsize (KiB) 14013020

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 17781 sig 9
??? kill 17780 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17780 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1806
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=903
# CPU time returned by wait4() is 0.002709
# while last known CPU time is 2400.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 306.013
CPU time (s): 2400.34
CPU user time (s): 2397.66
CPU system time (s): 2.68
CPU usage (%): 784.393
Max. virtual memory (cumulated for all children) (KiB): 14013020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001806
system time used= 0.000903
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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= 3
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.73947 second user time and 4.87289 second system time

The end

Launcher Data 

Begin job on node145 at 2017-07-22 02:51:11
IDJOB=4244789
IDBENCH=115904
IDSOLVER=2626
FILE ID=node145/4244789-1500684671
RUNJOBID= node145-1500682809-15228
PBS_JOBID= 20623333
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244789-1500684671/watcher-4244789-1500684671 -o /tmp/evaluation-result-4244789-1500684671/solver-4244789-1500684671 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 265415568 HOME/instance-4244789-1500684671.xml

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

MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1
RANDOM SEED=265415568

node145.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	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31745376 kB
MemAvailable:   31679424 kB
Buffers:           55732 kB
Cached:           172176 kB
SwapCached:            0 kB
Active:           510020 kB
Inactive:         117004 kB
Active(anon):     342564 kB
Inactive(anon):    68068 kB
Active(file):     167456 kB
Inactive(file):    48936 kB
Unevictable:        5808 kB
Mlocked:            5808 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7764 kB
Writeback:             0 kB
AnonPages:        405020 kB
Mapped:            43000 kB
Shmem:              8852 kB
Slab:              92216 kB
SReclaimable:      58128 kB
SUnreclaim:        34088 kB
KernelStack:        4672 kB
PageTables:         6196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     977912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61848 MiB
End job on node145 at 2017-07-22 02:56:17