Trace number 4244830

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 4.0.5 (2017-07-05)SAT (TO)846 2400.42 330.413

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-43.xml
MD5SUM2bbdfe474604d495dd31c09972612e7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark911
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables4096
Number of constraints2287
Number of domains4
Minimum domain size2
Maximum domain size4051
Distribution of domain sizes[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree1
Maximum variable degree46
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity2
Maximum constraint arity47
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints2021
Number of intensional constraints216
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"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-4244830-1500684512.xml"  -tl '2400s' -p 8 -x 0
0.00/0.18	c [HOME/instance-4244830-1500684512.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.23	c 8 solvers in parallel
0.00/0.29	c parse instance...
12.80/5.68	c solve instance...
39.83/9.17	o 0 
45.42/9.99	o 4 
45.59/10.02	o 6 
48.36/11.88	o 8 
48.54/11.90	o 10 
48.54/11.92	o 12 
48.54/11.96	o 14 
68.25/14.46	o 15 
72.57/15.29	o 16 
74.93/17.00	o 18 
95.07/19.80	o 19 
96.45/20.42	o 20 
99.05/22.13	o 22 
163.33/30.43	o 23 
163.99/30.92	o 24 
165.97/32.58	o 25 
166.17/32.60	o 26 
166.17/32.62	o 27 
166.17/32.63	o 28 
166.17/32.65	o 29 
166.17/32.67	o 30 
166.17/32.68	o 31 
166.73/32.71	o 32 
166.73/32.72	o 33 
166.73/32.74	o 34 
166.73/32.76	o 35 
166.73/32.77	o 36 
166.73/32.79	o 37 
167.29/32.81	o 38 
167.29/32.85	o 39 
167.29/32.87	o 40 
167.29/32.89	o 41 
167.82/32.92	o 42 
167.82/32.94	o 43 
167.82/32.95	o 44 
167.82/32.97	o 45 
168.56/33.02	o 46 
168.56/33.03	o 47 
168.56/33.05	o 48 
168.56/33.07	o 49 
168.56/33.10	o 50 
168.56/33.11	o 51 
169.07/33.13	o 52 
169.07/33.15	o 53 
169.07/33.17	o 54 
169.07/33.19	o 55 
169.52/33.21	o 56 
169.52/33.23	o 57 
169.52/33.24	o 58 
169.52/33.26	o 59 
169.52/33.28	o 60 
169.52/33.29	o 61 
170.03/33.31	o 62 
170.03/33.32	o 63 
170.03/33.34	o 64 
170.03/33.36	o 65 
170.03/33.38	o 66 
170.03/33.39	o 67 
170.56/33.41	o 68 
170.56/33.42	o 69 
170.56/33.44	o 70 
170.56/33.46	o 71 
170.56/33.48	o 72 
170.56/33.49	o 73 
171.09/33.51	o 74 
171.09/33.52	o 75 
171.09/33.54	o 76 
171.09/33.55	o 77 
171.09/33.57	o 78 
171.09/33.59	o 79 
171.56/33.60	o 80 
171.56/33.62	o 81 
171.56/33.64	o 82 
171.56/33.68	o 83 
171.56/33.69	o 84 
172.13/33.71	o 85 
172.13/33.72	o 86 
172.13/33.74	o 87 
172.13/33.76	o 88 
172.13/33.78	o 89 
172.13/33.79	o 90 
172.73/33.81	o 91 
172.73/33.83	o 92 
172.73/33.84	o 93 
172.73/33.86	o 94 
172.73/33.88	o 95 
172.73/33.89	o 96 
173.36/33.91	o 97 
173.36/33.93	o 98 
173.36/33.94	o 99 
173.36/33.96	o 100 
173.36/33.97	o 101 
173.36/33.99	o 102 
173.95/34.00	o 103 
173.95/34.02	o 104 
173.95/34.04	o 105 
173.95/34.05	o 106 
173.95/34.06	o 107 
173.95/34.07	o 108 
173.95/34.09	o 109 
173.95/34.11	o 110 
174.50/34.12	o 111 
174.50/34.14	o 112 
174.50/34.15	o 113 
174.50/34.19	o 114 
174.50/34.21	o 115 
175.09/34.22	o 116 
175.09/34.24	o 117 
175.09/34.26	o 118 
175.09/34.27	o 119 
175.09/34.29	o 120 
175.63/34.31	o 121 
175.63/34.32	o 122 
175.63/34.34	o 123 
175.63/34.36	o 124 
175.63/34.37	o 125 
175.63/34.39	o 126 
176.18/34.40	o 127 
176.18/34.42	o 128 
176.18/34.44	o 129 
176.18/34.46	o 130 
176.18/34.47	o 131 
176.18/34.48	o 132 
176.74/34.50	o 133 
176.74/34.52	o 134 
176.74/34.54	o 135 
176.74/34.55	o 136 
176.74/34.57	o 137 
176.74/34.58	o 138 
176.74/34.60	o 139 
177.24/34.62	o 140 
177.24/34.63	o 141 
177.24/34.65	o 142 
177.24/34.66	o 143 
177.24/34.68	o 144 
177.77/34.70	o 145 
177.77/34.71	o 146 
177.77/34.73	o 147 
177.77/34.74	o 148 
177.77/34.76	o 149 
177.77/34.78	o 150 
178.36/34.80	o 151 
178.36/34.82	o 152 
178.36/34.84	o 153 
178.36/34.86	o 154 
178.36/34.88	o 155 
178.36/34.89	o 156 
178.91/34.91	o 157 
178.91/34.92	o 158 
178.91/34.94	o 159 
178.91/34.95	o 160 
178.91/34.97	o 161 
178.91/34.98	o 162 
179.55/35.01	o 163 
179.55/35.02	o 164 
179.55/35.04	o 165 
179.55/35.05	o 166 
179.55/35.07	o 167 
179.55/35.09	o 168 
180.00/35.10	o 169 
180.00/35.12	o 170 
180.00/35.14	o 171 
180.00/35.15	o 172 
180.00/35.18	o 173 
180.83/35.45	o 174 
180.83/35.47	o 175 
180.83/35.48	o 176 
180.83/35.50	o 177 
181.17/35.51	o 178 
181.17/35.53	o 179 
181.17/35.54	o 180 
181.17/35.56	o 181 
181.17/35.58	o 182 
181.17/35.59	o 183 
181.72/35.61	o 184 
181.72/35.63	o 185 
181.72/35.64	o 186 
181.72/35.66	o 187 
181.72/35.68	o 188 
181.72/35.69	o 189 
182.38/35.71	o 190 
182.38/35.74	o 191 
182.38/35.76	o 192 
182.38/35.77	o 193 
182.38/35.79	o 194 
182.88/35.81	o 195 
182.88/35.83	o 196 
182.88/35.85	o 197 
182.88/35.87	o 198 
182.88/35.89	o 199 
183.43/35.91	o 200 
183.43/35.93	o 201 
183.43/35.94	o 202 
183.43/35.95	o 203 
183.43/35.96	o 204 
183.43/35.98	o 205 
183.98/36.01	o 206 
183.98/36.02	o 207 
183.98/36.04	o 208 
184.71/36.58	o 209 
184.71/36.60	o 210 
184.88/36.62	o 211 
184.88/36.64	o 212 
184.88/36.66	o 213 
184.88/36.68	o 214 
185.44/36.70	o 215 
185.44/36.72	o 216 
185.44/36.74	o 217 
185.44/36.76	o 218 
185.44/36.78	o 219 
185.44/36.80	o 220 
185.98/36.82	o 221 
185.98/36.84	o 222 
185.98/36.86	o 223 
185.98/36.88	o 224 
186.52/36.90	o 225 
186.52/36.92	o 226 
186.52/36.94	o 227 
186.52/36.96	o 228 
186.52/36.98	o 229 
187.10/37.00	o 230 
187.10/37.02	o 231 
187.10/37.04	o 232 
187.10/37.06	o 233 
187.10/37.07	o 234 
187.10/37.09	o 235 
187.72/37.11	o 236 
187.72/37.13	o 237 
187.72/37.14	o 238 
188.16/37.36	o 239 
188.16/37.38	o 240 
188.16/37.39	o 241 
188.52/37.41	o 242 
188.52/37.43	o 243 
188.52/37.46	o 244 
188.52/37.48	o 245 
188.52/37.50	o 246 
189.09/37.52	o 247 
189.09/37.54	o 248 
189.09/37.56	o 249 
189.09/37.58	o 250 
189.63/37.61	o 251 
189.63/37.62	o 252 
189.63/37.65	o 253 
189.63/37.67	o 254 
189.63/37.68	o 255 
190.12/37.70	o 256 
190.12/37.72	o 257 
190.12/37.74	o 258 
190.12/37.76	o 259 
190.12/37.78	o 260 
190.12/37.79	o 261 
190.70/37.81	o 262 
190.70/37.83	o 263 
190.70/37.85	o 264 
190.70/37.86	o 265 
190.70/37.88	o 266 
190.70/37.90	o 267 
191.34/37.92	o 268 
191.34/37.94	o 269 
191.34/37.96	o 270 
191.34/37.97	o 271 
191.34/37.99	o 272 
191.85/38.01	o 273 
191.85/38.03	o 274 
191.85/38.06	o 275 
191.85/38.08	o 276 
192.44/38.10	o 277 
192.44/38.12	o 278 
192.44/38.14	o 279 
192.44/38.15	o 280 
192.44/38.17	o 281 
192.44/38.19	o 282 
193.04/38.20	o 283 
193.04/38.22	o 284 
193.04/38.24	o 285 
193.04/38.25	o 286 
193.04/38.27	o 287 
193.04/38.29	o 288 
193.61/38.30	o 289 
193.61/38.32	o 290 
193.61/38.34	o 291 
193.61/38.36	o 292 
193.61/38.37	o 293 
193.61/38.39	o 294 
194.20/38.41	o 295 
194.20/38.43	o 296 
194.20/38.45	o 297 
194.20/38.47	o 298 
194.20/38.48	o 299 
194.20/38.50	o 300 
194.92/38.52	o 301 
194.92/38.54	o 302 
194.92/38.55	o 303 
194.92/38.56	o 304 
194.92/38.58	o 305 
194.92/38.60	o 306 
196.36/39.42	o 307 
196.36/39.43	o 308 
196.36/39.45	o 309 
196.36/39.47	o 310 
196.36/39.49	o 311 
196.88/39.51	o 312 
196.88/39.54	o 313 
196.88/39.56	o 314 
196.88/39.57	o 315 
196.88/39.59	o 316 
197.56/39.62	o 317 
197.56/39.64	o 318 
197.56/39.66	o 319 
197.56/39.69	o 320 
197.56/39.71	o 321 
198.19/39.72	o 322 
198.19/39.74	o 323 
198.19/39.76	o 324 
198.19/39.79	o 325 
198.74/39.82	o 326 
198.74/39.83	o 327 
198.74/39.85	o 328 
198.74/39.87	o 329 
198.74/39.89	o 330 
199.22/39.90	o 331 
199.22/39.92	o 332 
199.22/39.94	o 333 
199.22/39.97	o 334 
199.22/39.99	o 335 
200.46/40.62	o 336 
200.46/40.65	o 337 
200.46/40.67	o 338 
200.46/40.69	o 339 
200.46/40.71	o 340 
201.04/40.73	o 341 
201.04/40.75	o 342 
201.04/40.77	o 343 
201.04/40.79	o 344 
201.04/40.80	o 345 
201.68/40.82	o 346 
201.68/40.84	o 347 
201.68/40.86	o 348 
201.68/40.88	o 349 
202.25/40.90	o 350 
202.25/40.92	o 351 
202.25/40.94	o 352 
202.25/40.96	o 353 
202.25/40.98	o 354 
202.82/41.00	o 355 
202.82/41.02	o 356 
202.82/41.04	o 357 
202.82/41.05	o 358 
202.82/41.07	o 359 
202.82/41.08	o 360 
203.38/41.10	o 361 
203.38/41.12	o 362 
203.38/41.14	o 363 
204.05/41.45	o 364 
204.05/41.47	o 365 
204.05/41.49	o 366 
204.43/41.50	o 367 
204.43/41.52	o 368 
204.43/41.54	o 369 
204.43/41.57	o 370 
204.43/41.59	o 371 
205.08/41.60	o 372 
205.08/41.64	o 373 
205.55/41.85	o 374 
206.96/43.19	o 375 
207.14/43.21	o 376 
207.14/43.23	o 377 
207.14/43.25	o 378 
207.14/43.27	o 379 
207.14/43.29	o 380 
207.69/43.31	o 381 
207.69/43.33	o 382 
207.69/43.34	o 383 
207.69/43.36	o 384 
207.69/43.38	o 385 
208.40/43.40	o 386 
208.40/43.42	o 387 
208.40/43.44	o 388 
208.40/43.46	o 389 
208.40/43.48	o 390 
209.01/43.51	o 391 
209.01/43.52	o 392 
209.01/43.55	o 393 
209.01/43.57	o 394 
209.01/43.59	o 395 
209.61/43.61	o 396 
209.61/43.64	o 397 
209.61/43.65	o 398 
209.61/43.68	o 399 
209.61/43.70	o 400 
210.23/43.72	o 401 
210.23/43.74	o 402 
210.23/43.76	o 403 
210.99/44.04	o 404 
210.99/44.06	o 405 
210.99/44.08	o 406 
210.99/44.10	o 407 
211.47/44.12	o 408 
211.47/44.14	o 409 
211.47/44.16	o 410 
211.47/44.18	o 411 
212.05/44.21	o 412 
212.05/44.23	o 413 
212.05/44.25	o 414 
212.05/44.27	o 415 
212.66/44.30	o 416 
212.66/44.32	o 417 
212.66/44.34	o 418 
212.66/44.37	o 419 
212.66/44.38	o 420 
213.30/44.41	o 421 
213.30/44.43	o 422 
213.30/44.45	o 423 
213.30/44.47	o 424 
213.30/44.50	o 425 
213.93/44.52	o 426 
213.93/44.54	o 427 
213.93/44.56	o 428 
213.93/44.58	o 429 
214.60/44.60	o 430 
214.60/44.62	o 431 
214.60/44.66	o 432 
214.60/44.68	o 433 
214.60/44.69	o 434 
215.25/44.71	o 435 
215.25/44.73	o 436 
215.25/44.75	o 437 
215.25/44.77	o 438 
215.25/44.78	o 439 
215.87/44.80	o 440 
215.87/44.82	o 441 
215.87/44.85	o 442 
215.87/44.87	o 443 
215.87/44.89	o 444 
216.48/44.91	o 445 
216.48/44.93	o 446 
216.48/44.95	o 447 
216.48/44.97	o 448 
217.12/45.00	o 449 
217.12/45.02	o 450 
217.12/45.04	o 451 
217.12/45.07	o 452 
217.12/45.08	o 453 
217.12/45.11	o 454 
217.80/45.13	o 455 
217.80/45.15	o 456 
217.80/45.17	o 457 
217.80/45.19	o 458 
217.80/45.21	o 459 
218.51/45.23	o 460 
218.51/45.25	o 461 
218.51/45.27	o 462 
218.51/45.29	o 463 
219.10/45.31	o 464 
219.10/45.33	o 465 
219.10/45.35	o 466 
219.10/45.37	o 467 
219.10/45.40	o 468 
219.74/45.42	o 469 
219.74/45.44	o 470 
221.60/46.98	o 471 
221.80/47.00	o 472 
221.80/47.02	o 473 
221.80/47.04	o 474 
221.80/47.06	o 475 
221.80/47.08	o 476 
222.45/47.11	o 477 
222.45/47.14	o 478 
222.45/47.16	o 479 
222.45/47.18	o 480 
223.06/47.20	o 481 
223.06/47.22	o 482 
223.06/47.24	o 483 
223.06/47.26	o 484 
223.06/47.30	o 485 
223.75/47.32	o 486 
223.75/47.34	o 487 
223.75/47.36	o 488 
223.75/47.39	o 489 
224.42/47.41	o 490 
224.42/47.43	o 491 
225.08/47.85	o 492 
225.08/47.88	o 493 
225.08/47.90	o 494 
225.41/47.92	o 495 
225.41/47.94	o 496 
225.41/47.96	o 497 
225.41/47.98	o 498 
226.09/48.00	o 499 
226.09/48.03	o 500 
226.09/48.05	o 501 
226.09/48.08	o 502 
226.09/48.10	o 503 
226.75/48.12	o 504 
226.75/48.15	o 505 
227.63/48.65	o 506 
229.05/49.93	o 507 
229.05/49.96	o 508 
229.05/49.98	o 509 
229.52/50.00	o 510 
229.52/50.02	o 511 
229.52/50.04	o 512 
229.52/50.06	o 513 
229.52/50.09	o 514 
230.18/50.11	o 515 
230.18/50.13	o 516 
230.18/50.16	o 517 
230.18/50.18	o 518 
230.83/50.20	o 519 
230.83/50.22	o 520 
231.86/51.00	o 521 
231.86/51.02	o 522 
231.86/51.04	o 523 
231.86/51.07	o 524 
231.86/51.09	o 525 
232.53/51.11	o 526 
232.53/51.13	o 527 
232.53/51.15	o 528 
232.53/51.17	o 529 
233.19/51.20	o 530 
233.19/51.22	o 531 
233.19/51.25	o 532 
233.19/51.27	o 533 
233.19/51.29	o 534 
233.81/51.31	o 535 
233.81/51.33	o 536 
233.81/51.35	o 537 
233.81/51.37	o 538 
233.81/51.39	o 539 
234.49/51.41	o 540 
234.49/51.43	o 541 
234.49/51.45	o 542 
234.49/51.47	o 543 
234.49/51.50	o 544 
235.15/51.52	o 545 
235.15/51.54	o 546 
235.15/51.57	o 547 
235.15/51.59	o 548 
235.81/51.62	o 549 
235.81/51.64	o 550 
235.81/51.66	o 551 
235.81/51.69	o 552 
235.81/51.71	o 553 
236.52/51.73	o 554 
236.52/51.75	o 555 
237.19/52.03	o 556 
237.19/52.05	o 557 
237.19/52.07	o 558 
237.19/52.09	o 559 
237.76/52.11	o 560 
237.76/52.14	o 561 
237.76/52.16	o 562 
237.76/52.18	o 563 
238.41/52.20	o 564 
238.41/52.22	o 565 
238.41/52.25	o 566 
238.41/52.27	o 567 
238.41/52.29	o 568 
239.00/52.32	o 569 
239.00/52.34	o 570 
239.00/52.37	o 571 
239.00/52.39	o 572 
239.63/52.42	o 573 
239.63/52.45	o 574 
239.63/52.47	o 575 
240.27/52.50	o 576 
240.27/52.53	o 577 
240.27/52.55	o 578 
240.27/52.57	o 579 
240.27/52.59	o 580 
240.95/52.61	o 581 
241.39/52.84	o 582 
241.39/52.87	o 583 
241.39/52.90	o 584 
241.84/52.92	o 585 
241.84/52.94	o 586 
241.84/52.97	o 587 
242.42/53.00	o 588 
242.42/53.03	o 589 
242.42/53.05	o 590 
242.42/53.08	o 591 
243.08/53.10	o 592 
243.08/53.12	o 593 
243.08/53.15	o 594 
243.08/53.17	o 595 
243.08/53.20	o 596 
243.79/53.27	o 597 
244.52/53.64	o 598 
245.86/54.85	o 599 
245.86/54.87	o 600 
245.86/54.89	o 601 
246.24/54.92	o 602 
246.24/54.94	o 603 
246.24/54.97	o 604 
246.24/54.99	o 605 
246.95/55.01	o 606 
246.95/55.04	o 607 
246.95/55.06	o 608 
246.95/55.08	o 609 
246.95/55.11	o 610 
247.61/55.13	o 611 
247.61/55.17	o 612 
247.61/55.19	o 613 
248.13/55.22	o 614 
248.13/55.24	o 615 
248.13/55.26	o 616 
248.13/55.28	o 617 
248.81/55.31	o 618 
248.81/55.33	o 619 
248.81/55.35	o 620 
248.81/55.37	o 621 
249.45/55.40	o 622 
249.45/55.43	o 623 
249.45/55.45	o 624 
249.45/55.47	o 625 
249.45/55.50	o 626 
250.10/55.52	o 627 
250.10/55.54	o 628 
250.10/55.56	o 629 
250.76/55.60	o 630 
250.76/55.63	o 631 
250.76/55.66	o 632 
250.76/55.68	o 633 
251.40/55.71	o 634 
251.40/55.74	o 635 
251.40/55.76	o 636 
251.40/55.79	o 637 
252.04/55.82	o 638 
252.04/55.84	o 639 
252.04/55.87	o 640 
252.04/55.89	o 641 
252.69/55.92	o 642 
252.69/55.94	o 643 
252.69/55.97	o 644 
252.69/55.99	o 645 
253.31/56.02	o 646 
253.31/56.04	o 647 
253.31/56.06	o 648 
253.31/56.09	o 649 
253.31/56.11	o 650 
254.03/56.13	o 651 
254.03/56.16	o 652 
254.03/56.19	o 653 
254.68/56.21	o 654 
254.68/56.24	o 655 
254.68/56.26	o 656 
254.68/56.29	o 657 
255.27/56.31	o 658 
255.27/56.34	o 659 
255.27/56.36	o 660 
255.27/56.39	o 661 
255.93/56.41	o 662 
255.93/56.44	o 663 
255.93/56.47	o 664 
255.93/56.49	o 665 
256.54/56.51	o 666 
256.54/56.54	o 667 
256.54/56.57	o 668 
256.54/56.59	o 669 
257.21/56.61	o 670 
257.21/56.64	o 671 
257.21/56.67	o 672 
257.21/56.69	o 673 
257.95/56.72	o 674 
257.95/56.74	o 675 
257.95/56.76	o 676 
257.95/56.79	o 677 
258.57/56.82	o 678 
258.57/56.84	o 679 
258.57/56.86	o 680 
258.57/56.88	o 681 
259.24/56.94	o 682 
259.24/56.96	o 683 
259.24/56.98	o 684 
259.76/57.01	o 685 
259.76/57.03	o 686 
259.76/57.06	o 687 
259.76/57.09	o 688 
260.43/57.11	o 689 
260.43/57.14	o 690 
260.43/57.17	o 691 
260.43/57.19	o 692 
261.15/57.21	o 693 
261.15/57.24	o 694 
261.15/57.27	o 695 
261.15/57.29	o 696 
261.81/57.32	o 697 
261.81/57.34	o 698 
261.81/57.37	o 699 
261.81/57.39	o 700 
262.40/57.42	o 701 
262.40/57.44	o 702 
262.40/57.47	o 703 
262.40/57.49	o 704 
263.09/57.52	o 705 
263.09/57.54	o 706 
263.09/57.57	o 707 
263.09/57.59	o 708 
263.82/57.63	o 709 
263.82/57.65	o 710 
263.82/57.67	o 711 
263.82/57.70	o 712 
264.45/57.73	o 713 
264.45/57.75	o 714 
264.45/57.78	o 715 
265.11/57.80	o 716 
265.11/57.83	o 717 
265.11/57.86	o 718 
265.11/57.89	o 719 
265.73/57.92	o 720 
265.73/57.96	o 721 
265.73/57.98	o 722 
266.38/58.01	o 723 
266.38/58.03	o 724 
266.38/58.06	o 725 
266.38/58.08	o 726 
267.10/58.11	o 727 
267.10/58.13	o 728 
267.10/58.15	o 729 
267.10/58.18	o 730 
267.74/58.21	o 731 
267.74/58.23	o 732 
267.74/58.26	o 733 
267.74/58.28	o 734 
268.50/58.32	o 735 
268.50/58.35	o 736 
268.50/58.37	o 737 
268.50/58.40	o 738 
269.17/58.42	o 739 
269.17/58.45	o 740 
269.17/58.50	o 741 
270.04/58.71	o 742 
271.30/59.86	o 743 
271.30/59.89	o 744 
271.62/59.92	o 745 
271.62/59.94	o 746 
271.62/59.97	o 747 
272.27/60.00	o 748 
272.27/60.02	o 749 
272.27/60.05	o 750 
272.27/60.07	o 751 
272.97/60.10	o 752 
272.97/60.12	o 753 
272.97/60.15	o 754 
272.97/60.18	o 755 
273.64/60.21	o 756 
273.64/60.23	o 757 
273.64/60.26	o 758 
279.11/60.99	o 759 
280.87/61.91	o 760 
280.87/61.94	o 761 
280.87/61.96	o 762 
280.87/61.98	o 763 
281.40/62.00	o 764 
281.40/62.02	o 765 
281.40/62.04	o 766 
281.40/62.07	o 767 
281.40/62.08	o 768 
282.01/62.10	o 769 
282.01/62.12	o 770 
282.01/62.14	o 771 
282.01/62.16	o 772 
282.01/62.18	o 773 
282.64/62.20	o 774 
282.64/62.21	o 775 
282.64/62.23	o 776 
282.64/62.25	o 777 
282.64/62.27	o 778 
282.64/62.29	o 779 
283.25/62.31	o 780 
283.25/62.33	o 781 
283.25/62.35	o 782 
283.25/62.37	o 783 
283.84/62.40	o 784 
283.84/62.42	o 785 
283.84/62.44	o 786 
283.84/62.47	o 787 
283.84/62.49	o 788 
284.49/62.51	o 789 
284.49/62.53	o 790 
284.49/62.55	o 791 
284.49/62.57	o 792 
284.49/62.59	o 793 
285.08/62.61	o 794 
285.08/62.63	o 795 
285.08/62.65	o 796 
285.08/62.68	o 797 
285.08/62.71	o 798 
285.72/62.73	o 799 
285.72/62.75	o 800 
285.72/62.77	o 801 
285.72/62.79	o 802 
286.34/62.81	o 803 
286.34/62.83	o 804 
286.34/62.86	o 805 
286.34/62.89	o 806 
286.86/62.91	o 807 
286.86/62.93	o 808 
286.86/62.95	o 809 
286.86/62.97	o 810 
286.86/62.99	o 811 
287.55/63.01	o 812 
287.55/63.03	o 813 
287.55/63.06	o 814 
287.55/63.08	o 815 
288.21/63.11	o 816 
288.21/63.13	o 817 
288.21/63.15	o 818 
288.21/63.17	o 819 
288.21/63.19	o 820 
288.88/63.21	o 821 
288.88/63.23	o 822 
288.88/63.25	o 823 
288.88/63.29	o 824 
289.69/63.42	o 825 
290.96/64.57	o 826 
291.18/64.60	o 827 
291.18/64.62	o 828 
291.18/64.64	o 829 
291.18/64.67	o 830 
291.18/64.70	o 831 
291.77/64.72	o 832 
291.77/64.74	o 833 
291.77/64.76	o 834 
291.77/64.79	o 835 
292.41/64.81	o 836 
292.41/64.83	o 837 
292.41/64.85	o 838 
292.41/64.88	o 839 
292.41/64.90	o 840 
293.05/64.93	o 841 
293.05/64.95	o 842 
293.05/64.97	o 843 
293.05/64.99	o 844 
625.77/107.26	o 845 
1265.51/187.77	o 846 
2400.42/330.44	s SATISFIABLE
2400.42/330.44	v <instantiation>
2400.42/330.44	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[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[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[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] 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[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] 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[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] 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] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] 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[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] 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[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] 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[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] 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[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] 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[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] 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[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] 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[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] 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[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] 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[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] 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[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] 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[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] 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[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] 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[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] 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[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] 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[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] 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[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] 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[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] 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[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] 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[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] 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[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] 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[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] 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[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] 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[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] 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[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] 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[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] 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[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] 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[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] 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[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] 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[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] 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] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] 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] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] z </list>
2400.42/330.44	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 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 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 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 1 1 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 0 0 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 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 1 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 0 0 0 0 0 0 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 1 1 1 1 1 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 1 0 0 1 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 0 0 0 0 0 0 0 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 1 1 1 1 1 1 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 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 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 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 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 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 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 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 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 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 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 1 1 1 1 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 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 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 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 1 1 0 1 1 0 1 1 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 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 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 1 1 0 1 1 0 1 1 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 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 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 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 2 1 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 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 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 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 2 1 0 0 0 0 1 0 0 1 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 1 2 1 1 1 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 2 0 0 2 0 0 1 2 1 0 0 0 0 1 1 2 1 2 2 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 0 0 0 0 1 2 2 1 1 0 1 0 2 2 2 2 2 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 2 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 14 15 15 30 30 31 83 90 92 94 98 100 142 152 159 161 165 174 195 198 205 226 228 230 249 253 256 271 274 274 299 309 319 329 335 340 353 356 365 384 393 408 428 461 486 846 </values>
2400.42/330.44	v </instantiation>
2400.42/330.44	c Unexpected resolution interruption!

Verifier Data 

OK	846

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-4244830-1500684512/watcher-4244830-1500684512 -o /tmp/evaluation-result-4244830-1500684512/solver-4244830-1500684512 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1680474409 HOME/instance-4244830-1500684512.xml 

pid=18723
running on 8 cores: 0,2,4,6,8,10,12,14

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.80 15.80 14.65 10/270 18726
/proc/meminfo: memFree=28719764/32770624 swapFree=5736/222164
[pid=18726] ppid=18723 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18726/stat : 18726 (xcsp3-exec) S 18723 18726 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3720365 9740288 346 33554432000 4194304 5098028 140726215647648 140726215645752 139940741821052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20869120 140726215656590 140726215656800 140726215656800 140726215659499 0
/proc/18726/statm: 2378 346 289 221 0 87 0

[startup+0.100125 s]
/proc/loadavg: 15.80 15.80 14.65 10/270 18726
/proc/meminfo: memFree=28719764/32770624 swapFree=5736/222164
[pid=18726] ppid=18723 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18726/stat : 18726 (xcsp3-exec) S 18723 18726 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3720365 9740288 346 33554432000 4194304 5098028 140726215647648 140726215645752 139940741821052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20869120 140726215656590 140726215656800 140726215656800 140726215659499 0
/proc/18726/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200385 s]
/proc/loadavg: 15.80 15.80 14.65 10/270 18726
/proc/meminfo: memFree=28719764/32770624 swapFree=5736/222164
[pid=18726] ppid=18723 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18726/stat : 18726 (xcsp3-exec) S 18723 18726 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3720365 9740288 346 33554432000 4194304 5098028 140726215647648 140726215645752 139940741821052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20869120 140726215656590 140726215656800 140726215656800 140726215659499 0
/proc/18726/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300273 s]
/proc/loadavg: 15.80 15.80 14.65 10/270 18726
/proc/meminfo: memFree=28719764/32770624 swapFree=5736/222164
[pid=18726] ppid=18723 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18726/stat : 18726 (xcsp3-exec) S 18723 18726 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3720365 9740288 346 33554432000 4194304 5098028 140726215647648 140726215645752 139940741821052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20869120 140726215656590 140726215656800 140726215656800 140726215659499 0
/proc/18726/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700254 s]
/proc/loadavg: 15.80 15.80 14.65 10/270 18726
/proc/meminfo: memFree=28719764/32770624 swapFree=5736/222164
[pid=18726] ppid=18723 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18726/stat : 18726 (xcsp3-exec) S 18723 18726 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3720365 9740288 346 33554432000 4194304 5098028 140726215647648 140726215645752 139940741821052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20869120 140726215656590 140726215656800 140726215656800 140726215659499 0
/proc/18726/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50111 s]
/proc/loadavg: 15.80 15.80 14.65 10/291 18747
/proc/meminfo: memFree=28608228/32770624 swapFree=5736/222548
[pid=18726] ppid=18723 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18726/stat : 18726 (xcsp3-exec) S 18723 18726 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3720365 9740288 346 33554432000 4194304 5098028 140726215647648 140726215645752 139940741821052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20869120 140726215656590 140726215656800 140726215656800 140726215659499 0
/proc/18726/statm: 2378 346 289 221 0 87 0
[pid=18727] ppid=18726 vsize=13269256 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/18727/stat : 18727 (java) S 18726 18726 16473 0 -1 1077944320 19321 0 0 0 374 9 0 0 20 0 20 0 3720365 13587718144 43742 33554432000 4194304 4196468 140733870731424 140733870713968 140601718599415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
/proc/18727/statm: 3317314 43742 3225 1 0 3304547 0
[pid=18727/tid=18728] ppid=18726 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18728/stat : 18728 (java) R 18726 18726 16473 0 -1 4202560 7350 0 0 0 142 5 0 0 20 0 20 0 3720366 13587718144 43742 33554432000 4194304 4196468 140733870731424 140601722836592 140601341365136 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18730] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18730/stat : 18730 (java) S 18726 18726 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3720367 13587718144 43742 33554432000 4194304 4196468 140733870731424 140601671219472 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18731] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18731/stat : 18731 (java) S 18726 18726 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3720367 13587718144 43742 33554432000 4194304 4196468 140733870731424 140601670166928 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18732] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18732/stat : 18732 (java) S 18726 18726 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3720367 13587718144 43742 33554432000 4194304 4196468 140733870731424 140601669114384 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18733] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18733/stat : 18733 (java) S 18726 18726 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3720367 13587718144 43742 33554432000 4194304 4196468 140733870731424 140601668061840 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18734] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18734/stat : 18734 (java) S 18726 18726 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3720367 13587718144 43742 33554432000 4194304 4196468 140733870731424 140601667009296 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18735] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18735/stat : 18735 (java) S 18726 18726 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3720367 13587718144 43742 33554432000 4194304 4196468 140733870731424 140601665956752 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18736] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18736/stat : 18736 (java) S 18726 18726 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3720367 13587718144 43742 33554432000 4194304 4196468 140733870731424 140601664904208 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18737] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18737/stat : 18737 (java) S 18726 18726 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3720367 13587718144 43742 33554432000 4194304 4196468 140733870731424 140601663851664 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18738] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18738/stat : 18738 (java) S 18726 18726 16473 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 3720369 13587718144 43742 33554432000 4194304 4196468 140733870731424 140600382834672 140601718610562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18739] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18739/stat : 18739 (java) S 18726 18726 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3720369 13587718144 43742 33554432000 4194304 4196468 140733870731424 140600381780896 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18740] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18740/stat : 18740 (java) S 18726 18726 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3720370 13587718144 43742 33554432000 4194304 4196468 140733870731424 140600380728304 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18741] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18741/stat : 18741 (java) S 18726 18726 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3720373 13587718144 43742 33554432000 4194304 4196468 140733870731424 140600379676880 140601718618011 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18742] ppid=18726 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18742/stat : 18742 (java) R 18726 18726 16473 0 -1 4202560 3514 0 0 0 55 0 0 0 20 0 20 0 3720373 13587718144 43742 33554432000 4194304 4196468 140733870731424 140600378605696 140601702986544 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18743] ppid=18726 vsize=13269256 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18743/stat : 18743 (java) R 18726 18726 16473 0 -1 4202560 1983 0 0 0 53 1 0 0 20 0 20 0 3720373 13587718144 43742 33554432000 4194304 4196468 140733870731424 140600377558008 140601696428087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18744] ppid=18726 vsize=13269256 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18744/stat : 18744 (java) R 18726 18726 16473 0 -1 4202560 2301 0 0 0 58 0 0 0 20 0 20 0 3720373 13587718144 43742 33554432000 4194304 4196468 140733870731424 140600376500424 140601704663557 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18745] ppid=18726 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18745/stat : 18745 (java) S 18726 18726 16473 0 -1 1077944384 2846 0 0 0 63 0 0 0 20 0 20 0 3720373 13587718144 43742 33554432000 4194304 4196468 140733870731424 140600375466864 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18746] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18746/stat : 18746 (java) S 18726 18726 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3720373 13587718144 43742 33554432000 4194304 4196468 140733870731424 140600374413536 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18747] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18747/stat : 18747 (java) S 18726 18726 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3720373 13587718144 43742 33554432000 4194304 4196468 140733870731424 140600373361072 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13278768

[startup+3.1009 s]
/proc/loadavg: 15.80 15.80 14.65 10/291 18747
/proc/meminfo: memFree=28519680/32770624 swapFree=5736/222548
[pid=18726] ppid=18723 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18726/stat : 18726 (xcsp3-exec) S 18723 18726 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3720365 9740288 346 33554432000 4194304 5098028 140726215647648 140726215645752 139940741821052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20869120 140726215656590 140726215656800 140726215656800 140726215659499 0
/proc/18726/statm: 2378 346 289 221 0 87 0
[pid=18727] ppid=18726 vsize=13269256 CPUtime=8.41 cores=0,2,4,6,8,10,12,14
/proc/18727/stat : 18727 (java) S 18726 18726 16473 0 -1 1077944320 26402 0 0 0 787 54 0 0 20 0 20 0 3720365 13587718144 74245 33554432000 4194304 4196468 140733870731424 140733870713968 140601718599415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
/proc/18727/statm: 3317314 74245 3256 1 0 3304547 0
[pid=18727/tid=18728] ppid=18726 vsize=13269256 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18728/stat : 18728 (java) R 18726 18726 16473 0 -1 4202560 9250 0 0 0 290 6 0 0 20 0 20 0 3720366 13587718144 74245 33554432000 4194304 4196468 140733870731424 140601722836344 140601718613279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18730] ppid=18726 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18730/stat : 18730 (java) S 18726 18726 16473 0 -1 1077944384 245 0 0 0 4 5 0 0 20 0 20 0 3720367 13587718144 74245 33554432000 4194304 4196468 140733870731424 140601671219472 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18731] ppid=18726 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18731/stat : 18731 (java) S 18726 18726 16473 0 -1 1077944384 67 0 0 0 4 5 0 0 20 0 20 0 3720367 13587718144 74245 33554432000 4194304 4196468 140733870731424 140601670166928 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18732] ppid=18726 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18732/stat : 18732 (java) S 18726 18726 16473 0 -1 1077944384 140 0 0 0 3 4 0 0 20 0 20 0 3720367 13587718144 74245 33554432000 4194304 4196468 140733870731424 140601669114384 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18733] ppid=18726 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18733/stat : 18733 (java) S 18726 18726 16473 0 -1 1077944384 71 0 0 0 5 5 0 0 20 0 20 0 3720367 13587718144 74245 33554432000 4194304 4196468 140733870731424 140601668061840 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18734] ppid=18726 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18734/stat : 18734 (java) S 18726 18726 16473 0 -1 1077944384 142 0 0 0 4 5 0 0 20 0 20 0 3720367 13587718144 74245 33554432000 4194304 4196468 140733870731424 140601667009296 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18735] ppid=18726 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18735/stat : 18735 (java) S 18726 18726 16473 0 -1 1077944384 89 0 0 0 4 5 0 0 20 0 20 0 3720367 13587718144 74245 33554432000 4194304 4196468 140733870731424 140601665956752 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18736] ppid=18726 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18736/stat : 18736 (java) S 18726 18726 16473 0 -1 1077944384 83 0 0 0 4 5 0 0 20 0 20 0 3720367 13587718144 74245 33554432000 4194304 4196468 140733870731424 140601664904208 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18737] ppid=18726 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18737/stat : 18737 (java) S 18726 18726 16473 0 -1 1077944384 163 0 0 0 5 5 0 0 20 0 20 0 3720367 13587718144 74245 33554432000 4194304 4196468 140733870731424 140601663851664 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18738] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18738/stat : 18738 (java) S 18726 18726 16473 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 20 0 3720369 13587718144 74245 33554432000 4194304 4196468 140733870731424 140600382834672 140601718610562 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18739] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18739/stat : 18739 (java) S 18726 18726 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 3720369 13587718144 74245 33554432000 4194304 4196468 140733870731424 140600381780960 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18740] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18740/stat : 18740 (java) S 18726 18726 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3720370 13587718144 74245 33554432000 4194304 4196468 140733870731424 140600380728320 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18741] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18741/stat : 18741 (java) S 18726 18726 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3720373 13587718144 74245 33554432000 4194304 4196468 140733870731424 140600379676880 140601718618011 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18742] ppid=18726 vsize=13269256 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18742/stat : 18742 (java) S 18726 18726 16473 0 -1 1077944384 4967 0 0 0 131 1 0 0 20 0 20 0 3720373 13587718144 74245 33554432000 4194304 4196468 140733870731424 140600378624496 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18743] ppid=18726 vsize=13269256 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18743/stat : 18743 (java) S 18726 18726 16473 0 -1 1077944384 2909 0 0 0 121 1 0 0 20 0 20 0 3720373 13587718144 74245 33554432000 4194304 4196468 140733870731424 140600377571952 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18744] ppid=18726 vsize=13269256 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18744/stat : 18744 (java) S 18726 18726 16473 0 -1 1077944384 3454 0 0 0 128 0 0 0 20 0 20 0 3720373 13587718144 74245 33554432000 4194304 4196468 140733870731424 140600376519408 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18745] ppid=18726 vsize=13269256 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18745/stat : 18745 (java) S 18726 18726 16473 0 -1 1077944384 3282 0 0 0 77 1 0 0 20 0 20 0 3720373 13587718144 74245 33554432000 4194304 4196468 140733870731424 140600375466864 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18746] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18746/stat : 18746 (java) S 18726 18726 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3720373 13587718144 74245 33554432000 4194304 4196468 140733870731424 140600374413536 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18747] ppid=18726 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18747/stat : 18747 (java) S 18726 18726 16473 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 3720373 13587718144 74245 33554432000 4194304 4196468 140733870731424 140600373361072 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
Current children cumulated CPU time (s) 8.41
Current children cumulated vsize (KiB) 13278768

[startup+6.30107 s]
/proc/loadavg: 15.25 15.69 14.62 10/291 18747
/proc/meminfo: memFree=28240344/32770624 swapFree=5736/222532
[pid=18726] ppid=18723 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18726/stat : 18726 (xcsp3-exec) S 18723 18726 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3720365 9740288 346 33554432000 4194304 5098028 140726215647648 140726215645752 139940741821052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20869120 140726215656590 140726215656800 140726215656800 140726215659499 0
/proc/18726/statm: 2378 346 289 221 0 87 0
[pid=18727] ppid=18726 vsize=13801768 CPUtime=17.61 cores=0,2,4,6,8,10,12,14
/proc/18727/stat : 18727 (java) S 18726 18726 16473 0 -1 1077944320 29378 0 0 0 1655 106 0 0 20 0 28 0 3720365 14133010432 127887 33554432000 4194304 4196468 140733870731424 140733870713968 140601718599415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
/proc/18727/statm: 3450442 127887 3264 1 0 3437675 0
[pid=18727/tid=18728] ppid=18726 vsize=13801768 CPUtime=5.42 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18728/stat : 18728 (java) S 18726 18726 16473 0 -1 1077944384 9793 0 0 0 534 8 0 0 20 0 28 0 3720366 14133010432 127887 33554432000 4194304 4196468 140733870731424 140601722840192 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18730] ppid=18726 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18730/stat : 18730 (java) S 18726 18726 16473 0 -1 1077944384 399 0 0 0 10 12 0 0 20 0 28 0 3720367 14133010432 127887 33554432000 4194304 4196468 140733870731424 140601671219472 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18731] ppid=18726 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18731/stat : 18731 (java) S 18726 18726 16473 0 -1 1077944384 199 0 0 0 11 11 0 0 20 0 28 0 3720367 14133010432 127887 33554432000 4194304 4196468 140733870731424 140601670166928 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18732] ppid=18726 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18732/stat : 18732 (java) S 18726 18726 16473 0 -1 1077944384 220 0 0 0 9 9 0 0 20 0 28 0 3720367 14133010432 127887 33554432000 4194304 4196468 140733870731424 140601669114384 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18733] ppid=18726 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18733/stat : 18733 (java) S 18726 18726 16473 0 -1 1077944384 131 0 0 0 10 11 0 0 20 0 28 0 3720367 14133010432 127887 33554432000 4194304 4196468 140733870731424 140601668061840 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18734] ppid=18726 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18734/stat : 18734 (java) S 18726 18726 16473 0 -1 1077944384 196 0 0 0 9 10 0 0 20 0 28 0 3720367 14133010432 127887 33554432000 4194304 4196468 140733870731424 140601667009296 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18735] ppid=18726 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18735/stat : 18735 (java) S 18726 18726 16473 0 -1 1077944384 216 0 0 0 10 11 0 0 20 0 28 0 3720367 14133010432 127887 33554432000 4194304 4196468 140733870731424 140601665956752 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18736] ppid=18726 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18736/stat : 18736 (java) S 18726 18726 16473 0 -1 1077944384 154 0 0 0 9 11 0 0 20 0 28 0 3720367 14133010432 127887 33554432000 4194304 4196468 140733870731424 140601664904208 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18737] ppid=18726 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18737/stat : 18737 (java) S 18726 18726 16473 0 -1 1077944384 269 0 0 0 12 11 0 0 20 0 28 0 3720367 14133010432 127887 33554432000 4194304 4196468 140733870731424 140601663851664 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18738] ppid=18726 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18738/stat : 18738 (java) S 18726 18726 16473 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 28 0 3720369 14133010432 127887 33554432000 4194304 4196468 140733870731424 140600382834672 140601718610562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18739] ppid=18726 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18739/stat : 18739 (java) S 18726 18726 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3720369 14133010432 127887 33554432000 4194304 4196468 140733870731424 140600381780960 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18740] ppid=18726 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18740/stat : 18740 (java) S 18726 18726 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3720370 14133010432 127887 33554432000 4194304 4196468 140733870731424 140600380728320 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18741] ppid=18726 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18741/stat : 18741 (java) S 18726 18726 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3720373 14133010432 127887 33554432000 4194304 4196468 140733870731424 140600379676880 140601718618011 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0

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

[pid=18727/tid=25768] ppid=18726 vsize=13804844 CPUtime=34.43 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25768/stat : 25768 (java) R 18726 18726 16473 0 -1 4202560 1273 0 0 0 3443 0 0 0 20 0 28 0 3739142 14136160256 750904 33554432000 4194304 4196468 140733870731424 140600354831256 140601342384239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25769] ppid=18726 vsize=13804844 CPUtime=34.42 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25769/stat : 25769 (java) R 18726 18726 16473 0 -1 4202560 774 0 0 0 3442 0 0 0 20 0 28 0 3739142 14136160256 750904 33554432000 4194304 4196468 140733870731424 140600362189016 140601350870034 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
Current children cumulated CPU time (s) 1540.86
Current children cumulated vsize (KiB) 13814356

[startup+282.302 s]
/proc/loadavg: 15.94 15.50 14.76 17/301 25771
/proc/meminfo: memFree=27745916/32770624 swapFree=5736/222932
[pid=18726] ppid=18723 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18726/stat : 18726 (xcsp3-exec) S 18723 18726 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3720365 9740288 346 33554432000 4194304 5098028 140726215647648 140726215645752 139940741821052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20869120 140726215656590 140726215656800 140726215656800 140726215659499 0
/proc/18726/statm: 2378 346 289 221 0 87 0
[pid=18727] ppid=18726 vsize=13804844 CPUtime=2018.12 cores=0,2,4,6,8,10,12,14
/proc/18727/stat : 18727 (java) S 18726 18726 16473 0 -1 1077944320 244490 0 0 0 201427 385 0 0 20 0 28 0 3720365 14136160256 745154 33554432000 4194304 4196468 140733870731424 140733870713968 140601718599415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
/proc/18727/statm: 3451211 745154 3290 1 0 3438444 0
[pid=18727/tid=18728] ppid=18726 vsize=13804844 CPUtime=6.45 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18728/stat : 18728 (java) S 18726 18726 16473 0 -1 1077944384 12202 0 0 0 630 15 0 0 20 0 28 0 3720366 14136160256 745154 33554432000 4194304 4196468 140733870731424 140601722840128 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18730] ppid=18726 vsize=13804844 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18730/stat : 18730 (java) S 18726 18726 16473 0 -1 1077944384 1548 0 0 0 45 23 0 0 20 0 28 0 3720367 14136160256 745154 33554432000 4194304 4196468 140733870731424 140601671219472 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18731] ppid=18726 vsize=13804844 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18731/stat : 18731 (java) S 18726 18726 16473 0 -1 1077944384 1586 0 0 0 49 25 0 0 20 0 28 0 3720367 14136160256 745154 33554432000 4194304 4196468 140733870731424 140601670166928 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18732] ppid=18726 vsize=13804844 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18732/stat : 18732 (java) S 18726 18726 16473 0 -1 1077944384 3939 0 0 0 45 23 0 0 20 0 28 0 3720367 14136160256 745154 33554432000 4194304 4196468 140733870731424 140601669114384 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18733] ppid=18726 vsize=13804844 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18733/stat : 18733 (java) S 18726 18726 16473 0 -1 1077944384 1456 0 0 0 46 23 0 0 20 0 28 0 3720367 14136160256 745154 33554432000 4194304 4196468 140733870731424 140601668061840 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18734] ppid=18726 vsize=13804844 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18734/stat : 18734 (java) S 18726 18726 16473 0 -1 1077944384 1760 0 0 0 44 23 0 0 20 0 28 0 3720367 14136160256 745154 33554432000 4194304 4196468 140733870731424 140601667009296 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18735] ppid=18726 vsize=13804844 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18735/stat : 18735 (java) S 18726 18726 16473 0 -1 1077944384 1919 0 0 0 46 23 0 0 20 0 28 0 3720367 14136160256 745154 33554432000 4194304 4196468 140733870731424 140601665956752 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18736] ppid=18726 vsize=13804844 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18736/stat : 18736 (java) S 18726 18726 16473 0 -1 1077944384 2729 0 0 0 46 23 0 0 20 0 28 0 3720367 14136160256 745154 33554432000 4194304 4196468 140733870731424 140601664904208 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18737] ppid=18726 vsize=13804844 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18737/stat : 18737 (java) S 18726 18726 16473 0 -1 1077944384 1065 0 0 0 46 24 0 0 20 0 28 0 3720367 14136160256 745154 33554432000 4194304 4196468 140733870731424 140601663851664 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18738] ppid=18726 vsize=13804844 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18738/stat : 18738 (java) S 18726 18726 16473 0 -1 1077944384 6898 0 0 0 16 20 0 0 20 0 28 0 3720369 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600382834672 140601718610562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18739] ppid=18726 vsize=13804844 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18739/stat : 18739 (java) S 18726 18726 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3720369 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600381780960 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18740] ppid=18726 vsize=13804844 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18740/stat : 18740 (java) S 18726 18726 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3720370 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600380728320 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18741] ppid=18726 vsize=13804844 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18741/stat : 18741 (java) S 18726 18726 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3720373 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600379676880 140601718618011 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18742] ppid=18726 vsize=13804844 CPUtime=6.01 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18742/stat : 18742 (java) S 18726 18726 16473 0 -1 1077944384 33728 0 0 0 597 4 0 0 20 0 28 0 3720373 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600378624496 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18743] ppid=18726 vsize=13804844 CPUtime=5.57 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18743/stat : 18743 (java) S 18726 18726 16473 0 -1 1077944384 25836 0 0 0 552 5 0 0 20 0 28 0 3720373 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600377571952 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18744] ppid=18726 vsize=13804844 CPUtime=5.98 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18744/stat : 18744 (java) S 18726 18726 16473 0 -1 1077944384 31508 0 0 0 595 3 0 0 20 0 28 0 3720373 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600376519408 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18745] ppid=18726 vsize=13804844 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18745/stat : 18745 (java) S 18726 18726 16473 0 -1 1077944384 20875 0 0 0 168 4 0 0 20 0 28 0 3720373 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600375466864 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18746] ppid=18726 vsize=13804844 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18746/stat : 18746 (java) S 18726 18726 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3720373 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600374413536 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18747] ppid=18726 vsize=13804844 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18747/stat : 18747 (java) S 18726 18726 16473 0 -1 1077944384 1958 0 0 0 6 9 0 0 20 0 28 0 3720373 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600373361072 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25762] ppid=18726 vsize=13804844 CPUtime=94.21 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25762/stat : 25762 (java) R 18726 18726 16473 0 -1 4202560 1739 0 0 0 9421 0 0 0 20 0 28 0 3739142 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600363240776 140601351001468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25763] ppid=18726 vsize=13804844 CPUtime=94.2 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25763/stat : 25763 (java) R 18726 18726 16473 0 -1 4202560 1825 0 0 0 9420 0 0 0 20 0 28 0 3739142 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600357978648 140601351000959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25764] ppid=18726 vsize=13804844 CPUtime=94.03 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25764/stat : 25764 (java) R 18726 18726 16473 0 -1 4202560 726 0 0 0 9403 0 0 0 20 0 28 0 3739142 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600364294784 140601344973823 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25765] ppid=18726 vsize=13804844 CPUtime=93.6 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25765/stat : 25765 (java) R 18726 18726 16473 0 -1 4202560 3686 0 0 0 9359 1 0 0 20 0 28 0 3739142 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600359031720 140601346416322 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25766] ppid=18726 vsize=13804844 CPUtime=94.17 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25766/stat : 25766 (java) R 18726 18726 16473 0 -1 4202560 649 0 0 0 9417 0 0 0 20 0 28 0 3739142 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600360084360 140601351001489 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25767] ppid=18726 vsize=13804844 CPUtime=92.64 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25767/stat : 25767 (java) R 18726 18726 16473 0 -1 4202560 849 0 0 0 9264 0 0 0 20 0 28 0 3739142 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600365350816 140601351171401 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25768] ppid=18726 vsize=13804844 CPUtime=94.23 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25768/stat : 25768 (java) R 18726 18726 16473 0 -1 4202560 1788 0 0 0 9422 1 0 0 20 0 28 0 3739142 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600354830952 140601345128907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25769] ppid=18726 vsize=13804844 CPUtime=94.21 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25769/stat : 25769 (java) R 18726 18726 16473 0 -1 4202560 1075 0 0 0 9421 0 0 0 20 0 28 0 3739142 14136160256 745154 33554432000 4194304 4196468 140733870731424 140600362189032 140601344974299 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
Current children cumulated CPU time (s) 2018.12
Current children cumulated vsize (KiB) 13814356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+330.402 s]
/proc/loadavg: 15.66 15.51 14.80 10/269 25957
/proc/meminfo: memFree=29015276/32770624 swapFree=5736/223004
[pid=18726] ppid=18723 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18726/stat : 18726 (xcsp3-exec) S 18723 18726 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3720365 9740288 346 33554432000 4194304 5098028 140726215647648 140726215645752 139940741821052 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20869120 140726215656590 140726215656800 140726215656800 140726215659499 0
/proc/18726/statm: 2378 346 289 221 0 87 0
[pid=18727] ppid=18726 vsize=13804844 CPUtime=2400.42 cores=0,2,4,6,8,10,12,14
/proc/18727/stat : 18727 (java) S 18726 18726 16473 0 -1 1077944320 249681 0 0 0 239646 396 0 0 20 0 28 0 3720365 14136160256 740156 33554432000 4194304 4196468 140733870731424 140733870713968 140601718599415 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
/proc/18727/statm: 3451211 740156 3290 1 0 3438444 0
[pid=18727/tid=18728] ppid=18726 vsize=13804844 CPUtime=6.45 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18728/stat : 18728 (java) S 18726 18726 16473 0 -1 1077944384 12202 0 0 0 630 15 0 0 20 0 28 0 3720366 14136160256 740156 33554432000 4194304 4196468 140733870731424 140601722840128 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18730] ppid=18726 vsize=13804844 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18730/stat : 18730 (java) S 18726 18726 16473 0 -1 1077944384 1818 0 0 0 49 23 0 0 20 0 28 0 3720367 14136160256 740156 33554432000 4194304 4196468 140733870731424 140601671219472 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18731] ppid=18726 vsize=13804844 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18731/stat : 18731 (java) S 18726 18726 16473 0 -1 1077944384 1833 0 0 0 53 25 0 0 20 0 28 0 3720367 14136160256 740156 33554432000 4194304 4196468 140733870731424 140601670166928 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18732] ppid=18726 vsize=13804844 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18732/stat : 18732 (java) S 18726 18726 16473 0 -1 1077944384 4307 0 0 0 49 24 0 0 20 0 28 0 3720367 14136160256 740156 33554432000 4194304 4196468 140733870731424 140601669114384 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18733] ppid=18726 vsize=13804844 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18733/stat : 18733 (java) S 18726 18726 16473 0 -1 1077944384 1514 0 0 0 49 23 0 0 20 0 28 0 3720367 14136160256 740156 33554432000 4194304 4196468 140733870731424 140601668061840 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18734] ppid=18726 vsize=13804844 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18734/stat : 18734 (java) S 18726 18726 16473 0 -1 1077944384 1824 0 0 0 48 23 0 0 20 0 28 0 3720367 14136160256 740156 33554432000 4194304 4196468 140733870731424 140601667009296 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18735] ppid=18726 vsize=13804844 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18735/stat : 18735 (java) S 18726 18726 16473 0 -1 1077944384 2006 0 0 0 50 23 0 0 20 0 28 0 3720367 14136160256 740156 33554432000 4194304 4196468 140733870731424 140601665956752 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18736] ppid=18726 vsize=13804844 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18736/stat : 18736 (java) S 18726 18726 16473 0 -1 1077944384 2844 0 0 0 51 24 0 0 20 0 28 0 3720367 14136160256 740156 33554432000 4194304 4196468 140733870731424 140601664904208 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18737] ppid=18726 vsize=13804844 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18737/stat : 18737 (java) S 18726 18726 16473 0 -1 1077944384 1356 0 0 0 50 25 0 0 20 0 28 0 3720367 14136160256 740156 33554432000 4194304 4196468 140733870731424 140601663851664 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18738] ppid=18726 vsize=13804844 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18738/stat : 18738 (java) S 18726 18726 16473 0 -1 1077944384 7554 0 0 0 20 26 0 0 20 0 28 0 3720369 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600382834672 140601718610562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18739] ppid=18726 vsize=13804844 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18739/stat : 18739 (java) S 18726 18726 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3720369 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600381780960 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18740] ppid=18726 vsize=13804844 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18740/stat : 18740 (java) S 18726 18726 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3720370 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600380728320 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18741] ppid=18726 vsize=13804844 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18741/stat : 18741 (java) S 18726 18726 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3720373 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600379676880 140601718618011 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18742] ppid=18726 vsize=13804844 CPUtime=6.01 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18742/stat : 18742 (java) S 18726 18726 16473 0 -1 1077944384 33736 0 0 0 597 4 0 0 20 0 28 0 3720373 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600378624496 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18743] ppid=18726 vsize=13804844 CPUtime=5.57 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18743/stat : 18743 (java) S 18726 18726 16473 0 -1 1077944384 25848 0 0 0 552 5 0 0 20 0 28 0 3720373 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600377571952 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18744] ppid=18726 vsize=13804844 CPUtime=5.98 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18744/stat : 18744 (java) S 18726 18726 16473 0 -1 1077944384 31517 0 0 0 595 3 0 0 20 0 28 0 3720373 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600376519408 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18745] ppid=18726 vsize=13804844 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18745/stat : 18745 (java) S 18726 18726 16473 0 -1 1077944384 20990 0 0 0 168 4 0 0 20 0 28 0 3720373 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600375466864 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18746] ppid=18726 vsize=13804844 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18746/stat : 18746 (java) S 18726 18726 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3720373 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600374413536 140601718609621 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=18747] ppid=18726 vsize=13804844 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18727/task/18747/stat : 18747 (java) S 18726 18726 16473 0 -1 1077944384 2008 0 0 0 8 10 0 0 20 0 28 0 3720373 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600373361072 140601718610562 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25762] ppid=18726 vsize=13804844 CPUtime=142.11 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25762/stat : 25762 (java) R 18726 18726 16473 0 -1 4202560 2113 0 0 0 14211 0 0 0 20 0 28 0 3739142 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600363240984 140601352045863 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25763] ppid=18726 vsize=13804844 CPUtime=141.99 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25763/stat : 25763 (java) R 18726 18726 16473 0 -1 4202560 2232 0 0 0 14199 0 0 0 20 0 28 0 3739142 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600357978888 140601352046026 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25764] ppid=18726 vsize=13804844 CPUtime=141.99 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25764/stat : 25764 (java) R 18726 18726 16473 0 -1 4202560 918 0 0 0 14199 0 0 0 20 0 28 0 3739142 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600364297840 140601344974299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25765] ppid=18726 vsize=13804844 CPUtime=141.09 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25765/stat : 25765 (java) R 18726 18726 16473 0 -1 4202560 4313 0 0 0 14107 2 0 0 20 0 28 0 3739142 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600359031656 140601351729022 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25766] ppid=18726 vsize=13804844 CPUtime=141.87 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25766/stat : 25766 (java) R 18726 18726 16473 0 -1 4202560 821 0 0 0 14187 0 0 0 20 0 28 0 3739142 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600360084568 140601351171210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25767] ppid=18726 vsize=13804844 CPUtime=139.88 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25767/stat : 25767 (java) R 18726 18726 16473 0 -1 4202560 1120 0 0 0 13988 0 0 0 20 0 28 0 3739142 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600365347864 140601352046040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25768] ppid=18726 vsize=13804844 CPUtime=142.09 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25768/stat : 25768 (java) R 18726 18726 16473 0 -1 4202560 2386 0 0 0 14208 1 0 0 20 0 28 0 3739142 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600354828568 140601352630286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
[pid=18727/tid=25769] ppid=18726 vsize=13804844 CPUtime=142.1 cores=0,2,4,6,8,10,12,14
/proc/18727/task/25769/stat : 25769 (java) R 18726 18726 16473 0 -1 4202560 1275 0 0 0 14210 0 0 0 20 0 28 0 3739142 14136160256 740156 33554432000 4194304 4196468 140733870731424 140600362188784 140601351222937 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7860224 140733870736572 140733870736748 140733870736748 140733870739407 0
Current children cumulated CPU time (s) 2400.42
Current children cumulated vsize (KiB) 13814356

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 18727 sig 9
??? kill 18726 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 18726 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=3339
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.003339
# while last known CPU time is 2400.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 330.413
CPU time (s): 2400.42
CPU user time (s): 2396.46
CPU system time (s): 3.96
CPU usage (%): 726.492
Max. virtual memory (cumulated for all children) (KiB): 13815028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003339
system time used= 0
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= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.93188 second user time and 4.61898 second system time

The end

Launcher Data 

Begin job on node114 at 2017-07-22 02:48:32
IDJOB=4244830
IDBENCH=115917
IDSOLVER=2625
FILE ID=node114/4244830-1500684512
RUNJOBID= node114-1500682387-16504
PBS_JOBID= 20623324
Free space on /tmp= 62004 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.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-4244830-1500684512/watcher-4244830-1500684512 -o /tmp/evaluation-result-4244830-1500684512/solver-4244830-1500684512 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1680474409 HOME/instance-4244830-1500684512.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=1680474409

node114.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		: 1733.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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
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		: 2668.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:        28719876 kB
MemAvailable:   28774384 kB
Buffers:           52452 kB
Cached:           311084 kB
SwapCached:            0 kB
Active:          3436528 kB
Inactive:         230976 kB
Active(anon):    3307016 kB
Inactive(anon):     8812 kB
Active(file):     129512 kB
Inactive(file):   222164 kB
Unevictable:        5736 kB
Mlocked:            5736 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8056 kB
Writeback:             0 kB
AnonPages:       3293164 kB
Mapped:            43008 kB
Shmem:              8848 kB
Slab:              70700 kB
SReclaimable:      37336 kB
SUnreclaim:        33364 kB
KernelStack:        5152 kB
PageTables:        11968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4210644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3164160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61996 MiB
End job on node114 at 2017-07-22 02:54:03