Trace number 4281607

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
choco-solver 4.0.5 par (2017-08-18)SAT (TO)806 1817.37 252.134

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-42.xml
MD5SUMf0ae775e0a261424aab5dff09c8fa0c4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark806
Best CPU time to get the best result obtained on this benchmark1808.87
Satisfiable
(Un)Satisfiability was proved
Number of variables3917
Number of constraints2192
Number of domains4
Minimum domain size2
Maximum domain size3873
Distribution of domain sizes[{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}]
Minimum variable degree1
Maximum variable degree45
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}]
Minimum constraint arity2
Maximum constraint arity46
Distribution of constraint arities[{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}]
Number of extensional constraints1932
Number of intensional constraints211
Distribution of constraint types[{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281607-1503180250.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281607-1503180250.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
10.73/5.02	c solve instance...
26.00/7.07	o 0 
28.14/7.62	o 4 
29.81/8.87	o 6 
29.81/8.88	o 8 
29.81/8.90	o 10 
30.04/8.91	o 12 
30.04/8.94	o 14 
30.04/8.97	o 16 
30.04/9.00	o 18 
30.68/9.08	o 20 
31.42/9.19	o 22 
32.89/9.32	o 24 
36.06/9.72	o 26 
39.24/10.17	o 28 
52.10/12.29	o 30 
72.87/14.98	o 32 
101.75/18.68	o 34 
191.40/30.23	o 36 
208.02/33.00	o 37 
208.14/33.02	o 38 
208.14/33.03	o 39 
208.14/33.05	o 40 
208.14/33.06	o 41 
208.14/33.07	o 42 
208.14/33.09	o 43 
208.14/33.10	o 44 
208.14/33.11	o 45 
208.62/33.12	o 46 
208.62/33.13	o 47 
208.62/33.14	o 48 
208.62/33.15	o 49 
208.62/33.17	o 50 
208.62/33.18	o 51 
208.62/33.19	o 52 
209.03/33.20	o 53 
209.03/33.21	o 54 
209.03/33.22	o 55 
209.03/33.23	o 56 
209.03/33.24	o 57 
209.03/33.26	o 58 
209.03/33.27	o 59 
209.47/33.30	o 60 
209.47/33.31	o 61 
209.47/33.32	o 62 
209.47/33.33	o 63 
209.47/33.34	o 64 
209.47/33.35	o 65 
209.47/33.36	o 66 
209.47/33.37	o 67 
209.47/33.38	o 68 
209.47/33.39	o 69 
209.47/33.39	o 70 
210.01/33.40	o 71 
210.01/33.41	o 72 
210.01/33.43	o 73 
210.01/33.44	o 74 
210.01/33.45	o 75 
210.01/33.46	o 76 
210.01/33.48	o 77 
210.01/33.49	o 78 
210.51/33.51	o 79 
210.51/33.52	o 80 
210.51/33.53	o 81 
210.51/33.54	o 82 
210.51/33.55	o 83 
210.51/33.56	o 84 
210.51/33.57	o 85 
210.51/33.58	o 86 
210.90/33.60	o 87 
210.90/33.61	o 88 
210.90/33.62	o 89 
210.90/33.63	o 90 
210.90/33.65	o 91 
210.90/33.66	o 92 
210.90/33.67	o 93 
210.90/33.68	o 94 
211.36/33.70	o 95 
211.36/33.71	o 96 
211.36/33.73	o 97 
211.36/33.74	o 98 
211.36/33.75	o 99 
211.36/33.77	o 100 
211.36/33.78	o 101 
211.36/33.79	o 102 
211.82/33.81	o 103 
211.82/33.82	o 104 
211.82/33.83	o 105 
211.82/33.84	o 106 
211.82/33.85	o 107 
211.82/33.86	o 108 
211.82/33.88	o 109 
211.82/33.89	o 110 
212.33/33.90	o 111 
212.33/33.92	o 112 
212.33/33.93	o 113 
212.33/33.94	o 114 
212.33/33.96	o 115 
212.33/33.97	o 116 
212.33/33.98	o 117 
212.33/33.99	o 118 
212.33/34.00	o 119 
212.80/34.01	o 120 
212.80/34.02	o 121 
212.80/34.03	o 122 
212.80/34.04	o 123 
212.80/34.05	o 124 
212.80/34.06	o 125 
212.80/34.08	o 126 
212.80/34.08	o 127 
212.80/34.10	o 128 
213.30/34.11	o 129 
213.30/34.12	o 130 
213.30/34.13	o 131 
213.30/34.14	o 132 
213.30/34.16	o 133 
213.30/34.17	o 134 
213.30/34.18	o 135 
213.30/34.19	o 136 
213.70/34.20	o 137 
213.70/34.21	o 138 
213.70/34.22	o 139 
213.70/34.24	o 140 
213.70/34.26	o 141 
213.70/34.27	o 142 
213.70/34.28	o 143 
213.70/34.30	o 144 
214.23/34.31	o 145 
214.23/34.32	o 146 
214.23/34.33	o 147 
214.23/34.34	o 148 
214.23/34.35	o 149 
214.23/34.36	o 150 
214.23/34.37	o 151 
214.23/34.38	o 152 
214.23/34.40	o 153 
214.70/34.40	o 154 
214.70/34.42	o 155 
214.70/34.43	o 156 
214.70/34.44	o 157 
214.70/34.45	o 158 
214.70/34.46	o 159 
214.70/34.48	o 160 
214.70/34.49	o 161 
215.19/34.50	o 162 
215.19/34.52	o 163 
215.19/34.52	o 164 
215.19/34.54	o 165 
215.19/34.55	o 166 
215.19/34.56	o 167 
215.19/34.58	o 168 
215.62/34.60	o 169 
215.62/34.62	o 170 
215.62/34.63	o 171 
215.62/34.65	o 172 
215.62/34.66	o 173 
215.62/34.67	o 174 
215.62/34.68	o 175 
215.62/34.69	o 176 
216.03/34.71	o 177 
216.03/34.72	o 178 
216.03/34.73	o 179 
216.03/34.74	o 180 
216.03/34.75	o 181 
216.03/34.77	o 182 
216.03/34.78	o 183 
216.03/34.79	o 184 
216.56/34.81	o 185 
216.56/34.82	o 186 
216.56/34.84	o 187 
216.56/34.85	o 188 
216.56/34.86	o 189 
216.56/34.87	o 190 
216.56/34.89	o 191 
217.00/34.90	o 192 
217.00/34.92	o 193 
217.00/34.93	o 194 
217.00/34.94	o 195 
217.00/34.95	o 196 
217.00/34.97	o 197 
217.00/34.98	o 198 
217.00/34.99	o 199 
217.00/35.01	o 200 
217.52/35.02	o 201 
217.52/35.03	o 202 
217.52/35.05	o 203 
217.52/35.06	o 204 
217.52/35.07	o 205 
217.52/35.09	o 206 
217.52/35.10	o 207 
217.52/35.11	o 208 
217.97/35.13	o 209 
217.97/35.14	o 210 
217.97/35.15	o 211 
217.97/35.17	o 212 
217.97/35.18	o 213 
217.97/35.19	o 214 
218.35/35.21	o 215 
218.35/35.22	o 216 
218.35/35.24	o 217 
218.35/35.25	o 218 
218.35/35.27	o 219 
218.35/35.28	o 220 
218.81/35.30	o 221 
218.81/35.31	o 222 
218.81/35.33	o 223 
218.81/35.34	o 224 
218.81/35.35	o 225 
218.81/35.37	o 226 
218.81/35.38	o 227 
218.81/35.39	o 228 
219.29/35.41	o 229 
219.29/35.43	o 230 
219.29/35.44	o 231 
219.29/35.45	o 232 
219.29/35.46	o 233 
219.29/35.48	o 234 
219.29/35.49	o 235 
219.77/35.51	o 236 
219.77/35.52	o 237 
219.77/35.53	o 238 
219.77/35.55	o 239 
219.77/35.56	o 240 
219.77/35.57	o 241 
219.77/35.58	o 242 
220.25/35.60	o 243 
220.25/35.61	o 244 
220.25/35.63	o 245 
220.25/35.64	o 246 
220.25/35.66	o 247 
220.25/35.67	o 248 
220.25/35.68	o 249 
220.25/35.70	o 250 
220.73/35.71	o 251 
220.73/35.72	o 252 
220.73/35.74	o 253 
220.73/35.75	o 254 
220.73/35.76	o 255 
220.73/35.79	o 256 
221.21/35.81	o 257 
221.71/36.22	o 258 
222.76/37.29	o 259 
222.86/37.31	o 260 
222.86/37.32	o 261 
222.86/37.33	o 262 
222.86/37.34	o 263 
222.86/37.35	o 264 
222.86/37.37	o 265 
222.86/37.38	o 266 
222.86/37.40	o 267 
223.38/37.40	o 268 
223.38/37.42	o 269 
223.38/37.43	o 270 
223.38/37.44	o 271 
223.38/37.45	o 272 
223.38/37.47	o 273 
223.38/37.48	o 274 
223.38/37.49	o 275 
223.38/37.50	o 276 
223.97/37.52	o 277 
223.97/37.53	o 278 
223.97/37.55	o 279 
223.97/37.56	o 280 
223.97/37.58	o 281 
223.97/37.59	o 282 
224.43/37.60	o 283 
224.43/37.61	o 284 
224.43/37.63	o 285 
224.43/37.64	o 286 
224.43/37.65	o 287 
224.43/37.67	o 288 
224.43/37.68	o 289 
224.43/37.69	o 290 
224.91/37.70	o 291 
224.91/37.72	o 292 
224.91/37.73	o 293 
224.91/37.74	o 294 
224.91/37.76	o 295 
224.91/37.77	o 296 
224.91/37.79	o 297 
225.40/37.80	o 298 
225.40/37.82	o 299 
225.40/37.83	o 300 
225.40/37.84	o 301 
225.40/37.86	o 302 
225.40/37.87	o 303 
225.40/37.88	o 304 
225.40/37.90	o 305 
225.90/37.91	o 306 
225.90/37.93	o 307 
225.90/37.94	o 308 
225.90/37.95	o 309 
225.90/37.96	o 310 
225.90/37.98	o 311 
225.90/37.99	o 312 
225.90/38.00	o 313 
226.54/38.02	o 314 
226.54/38.03	o 315 
226.54/38.05	o 316 
226.54/38.07	o 317 
226.54/38.08	o 318 
226.54/38.09	o 319 
226.54/38.11	o 320 
227.02/38.12	o 321 
227.02/38.13	o 322 
227.02/38.14	o 323 
227.02/38.15	o 324 
227.02/38.16	o 325 
227.02/38.17	o 326 
227.02/38.19	o 327 
227.51/38.20	o 328 
227.51/38.21	o 329 
227.51/38.23	o 330 
227.51/38.24	o 331 
227.51/38.25	o 332 
227.51/38.26	o 333 
227.51/38.28	o 334 
227.51/38.29	o 335 
228.07/38.31	o 336 
228.07/38.32	o 337 
228.07/38.34	o 338 
228.07/38.36	o 339 
228.07/38.37	o 340 
228.07/38.38	o 341 
228.07/38.39	o 342 
228.56/38.41	o 343 
228.56/38.43	o 344 
228.56/38.44	o 345 
228.56/38.45	o 346 
228.56/38.47	o 347 
228.56/38.48	o 348 
228.56/38.49	o 349 
229.16/38.51	o 350 
229.16/38.52	o 351 
229.16/38.53	o 352 
229.16/38.55	o 353 
229.16/38.56	o 354 
229.16/38.57	o 355 
229.16/38.58	o 356 
229.66/38.61	o 357 
229.66/38.62	o 358 
229.66/38.63	o 359 
229.66/38.65	o 360 
229.66/38.66	o 361 
229.66/38.68	o 362 
229.66/38.69	o 363 
230.23/38.70	o 364 
230.23/38.72	o 365 
230.23/38.73	o 366 
230.23/38.74	o 367 
230.23/38.75	o 368 
230.23/38.77	o 369 
230.23/38.78	o 370 
230.23/38.79	o 371 
230.80/38.80	o 372 
230.80/38.82	o 373 
230.80/38.84	o 374 
230.80/38.85	o 375 
230.80/38.87	o 376 
230.80/38.88	o 377 
230.80/38.89	o 378 
231.32/38.90	o 379 
231.32/38.92	o 380 
231.32/38.93	o 381 
231.32/38.95	o 382 
231.32/38.96	o 383 
231.32/38.97	o 384 
231.32/39.00	o 385 
232.42/39.52	o 386 
233.48/40.58	o 387 
233.66/40.60	o 388 
233.66/40.63	o 389 
233.66/40.65	o 390 
233.66/40.66	o 391 
233.66/40.67	o 392 
233.66/40.69	o 393 
234.21/40.70	o 394 
234.21/40.71	o 395 
234.21/40.73	o 396 
234.21/40.74	o 397 
234.21/40.76	o 398 
234.21/40.77	o 399 
234.21/40.78	o 400 
234.21/40.80	o 401 
234.75/40.81	o 402 
234.75/40.82	o 403 
234.75/40.84	o 404 
234.75/40.85	o 405 
234.75/40.86	o 406 
234.75/40.88	o 407 
234.75/40.89	o 408 
235.33/40.91	o 409 
235.33/40.92	o 410 
235.33/40.93	o 411 
235.33/40.95	o 412 
235.33/40.96	o 413 
235.33/40.98	o 414 
235.33/40.99	o 415 
235.82/41.01	o 416 
235.82/41.02	o 417 
235.82/41.04	o 418 
235.82/41.06	o 419 
235.82/41.07	o 420 
235.82/41.08	o 421 
235.82/41.10	o 422 
236.30/41.12	o 423 
236.30/41.13	o 424 
236.30/41.15	o 425 
236.30/41.16	o 426 
236.30/41.18	o 427 
236.30/41.19	o 428 
236.86/41.21	o 429 
236.86/41.22	o 430 
236.86/41.24	o 431 
236.86/41.26	o 432 
236.86/41.28	o 433 
236.86/41.30	o 434 
237.28/41.31	o 435 
237.28/41.32	o 436 
237.28/41.34	o 437 
237.28/41.35	o 438 
237.28/41.37	o 439 
237.28/41.38	o 440 
237.89/41.40	o 441 
237.89/41.41	o 442 
237.89/41.43	o 443 
237.89/41.44	o 444 
237.89/41.45	o 445 
237.89/41.47	o 446 
237.89/41.49	o 447 
238.47/41.50	o 448 
238.47/41.52	o 449 
238.47/41.54	o 450 
238.47/41.56	o 451 
238.47/41.57	o 452 
238.47/41.58	o 453 
238.95/41.60	o 454 
238.95/41.61	o 455 
238.95/41.63	o 456 
238.95/41.64	o 457 
238.95/41.66	o 458 
238.95/41.67	o 459 
238.95/41.69	o 460 
239.51/41.70	o 461 
239.51/41.72	o 462 
239.51/41.73	o 463 
239.51/41.75	o 464 
239.51/41.76	o 465 
239.51/41.77	o 466 
239.51/41.79	o 467 
240.07/41.80	o 468 
240.07/41.82	o 469 
240.07/41.84	o 470 
240.07/41.86	o 471 
240.07/41.87	o 472 
240.07/41.89	o 473 
240.61/41.90	o 474 
240.61/41.92	o 475 
240.61/41.93	o 476 
240.61/41.94	o 477 
240.61/41.96	o 478 
240.61/41.98	o 479 
240.61/41.99	o 480 
241.21/42.01	o 481 
241.21/42.02	o 482 
241.21/42.04	o 483 
241.21/42.05	o 484 
241.21/42.07	o 485 
241.21/42.08	o 486 
241.21/42.09	o 487 
241.83/42.11	o 488 
241.83/42.13	o 489 
241.83/42.14	o 490 
241.83/42.16	o 491 
241.83/42.18	o 492 
241.83/42.20	o 493 
242.31/42.22	o 494 
242.31/42.23	o 495 
242.31/42.25	o 496 
242.31/42.26	o 497 
242.31/42.28	o 498 
242.31/42.29	o 499 
242.84/42.31	o 500 
242.84/42.32	o 501 
242.84/42.34	o 502 
242.84/42.35	o 503 
242.84/42.37	o 504 
242.84/42.38	o 505 
243.42/42.40	o 506 
243.42/42.42	o 507 
243.42/42.43	o 508 
243.42/42.45	o 509 
243.42/42.46	o 510 
243.42/42.48	o 511 
243.42/42.49	o 512 
243.99/42.51	o 513 
243.99/42.53	o 514 
243.99/42.54	o 515 
243.99/42.56	o 516 
243.99/42.58	o 517 
243.99/42.59	o 518 
244.65/42.61	o 519 
244.65/42.63	o 520 
244.65/42.64	o 521 
244.65/42.66	o 522 
244.65/42.67	o 523 
244.65/42.70	o 524 
245.15/42.71	o 525 
245.15/42.73	o 526 
245.15/42.74	o 527 
245.15/42.77	o 528 
245.15/42.79	o 529 
245.81/42.80	o 530 
245.81/42.82	o 531 
245.81/42.84	o 532 
245.81/42.86	o 533 
246.55/43.22	o 534 
247.62/44.25	o 535 
247.62/44.27	o 536 
247.62/44.28	o 537 
247.62/44.29	o 538 
247.95/44.31	o 539 
247.95/44.32	o 540 
247.95/44.34	o 541 
247.95/44.35	o 542 
247.95/44.38	o 543 
247.95/44.39	o 544 
248.56/44.41	o 545 
248.56/44.42	o 546 
248.56/44.44	o 547 
248.56/44.45	o 548 
248.56/44.48	o 549 
248.56/44.49	o 550 
249.21/44.51	o 551 
249.21/44.52	o 552 
249.21/44.54	o 553 
249.21/44.56	o 554 
249.21/44.58	o 555 
249.21/44.59	o 556 
249.75/44.61	o 557 
249.75/44.63	o 558 
249.75/44.64	o 559 
249.75/44.66	o 560 
249.75/44.67	o 561 
249.75/44.69	o 562 
250.25/44.70	o 563 
250.25/44.72	o 564 
250.25/44.74	o 565 
250.25/44.75	o 566 
250.25/44.77	o 567 
250.25/44.78	o 568 
250.25/44.79	o 569 
250.91/44.81	o 570 
250.91/44.82	o 571 
250.91/44.84	o 572 
250.91/44.86	o 573 
250.91/44.87	o 574 
250.91/44.89	o 575 
251.49/44.90	o 576 
251.49/44.92	o 577 
251.49/44.94	o 578 
251.49/44.96	o 579 
251.49/44.98	o 580 
251.49/45.00	o 581 
252.08/45.02	o 582 
252.08/45.04	o 583 
252.08/45.05	o 584 
252.08/45.07	o 585 
252.08/45.09	o 586 
252.08/45.11	o 587 
252.61/45.12	o 588 
252.61/45.14	o 589 
252.61/45.16	o 590 
252.61/45.17	o 591 
252.61/45.19	o 592 
253.22/45.21	o 593 
253.22/45.22	o 594 
253.22/45.24	o 595 
253.22/45.26	o 596 
253.22/45.29	o 597 
253.75/45.31	o 598 
253.75/45.32	o 599 
253.75/45.34	o 600 
253.75/45.35	o 601 
253.75/45.37	o 602 
253.75/45.39	o 603 
254.33/45.41	o 604 
254.33/45.42	o 605 
254.33/45.44	o 606 
254.33/45.46	o 607 
254.33/45.48	o 608 
254.33/45.50	o 609 
254.92/45.52	o 610 
254.92/45.54	o 611 
254.92/45.56	o 612 
254.92/45.57	o 613 
254.92/45.59	o 614 
255.54/45.61	o 615 
255.54/45.63	o 616 
255.54/45.65	o 617 
255.54/45.67	o 618 
255.54/45.68	o 619 
256.02/45.70	o 620 
256.02/45.72	o 621 
256.02/45.74	o 622 
256.02/45.76	o 623 
256.02/45.77	o 624 
256.58/45.80	o 625 
256.58/45.82	o 626 
256.58/45.83	o 627 
256.58/45.85	o 628 
256.58/45.87	o 629 
256.58/45.88	o 630 
257.20/45.90	o 631 
257.20/45.92	o 632 
257.20/45.94	o 633 
257.20/45.96	o 634 
257.20/45.97	o 635 
257.20/45.99	o 636 
257.20/46.01	o 637 
257.82/46.03	o 638 
257.82/46.05	o 639 
257.82/46.07	o 640 
257.82/46.09	o 641 
258.39/46.11	o 642 
258.39/46.13	o 643 
258.39/46.15	o 644 
258.39/46.16	o 645 
258.39/46.19	o 646 
258.94/46.21	o 647 
258.94/46.23	o 648 
258.94/46.25	o 649 
258.94/46.27	o 650 
258.94/46.29	o 651 
259.47/46.31	o 652 
259.47/46.32	o 653 
259.47/46.34	o 654 
259.47/46.36	o 655 
259.47/46.39	o 656 
260.00/46.40	o 657 
260.00/46.42	o 658 
260.00/46.44	o 659 
260.00/46.46	o 660 
260.00/46.48	o 661 
260.58/46.50	o 662 
260.58/46.52	o 663 
260.58/46.54	o 664 
261.04/46.76	o 665 
262.14/47.78	o 666 
262.33/47.80	o 667 
262.33/47.82	o 668 
262.33/47.84	o 669 
262.33/47.85	o 670 
262.33/47.87	o 671 
262.33/47.89	o 672 
262.99/47.91	o 673 
262.99/47.93	o 674 
262.99/47.95	o 675 
262.99/47.96	o 676 
262.99/47.98	o 677 
262.99/48.00	o 678 
263.64/48.02	o 679 
263.64/48.04	o 680 
263.64/48.06	o 681 
263.64/48.08	o 682 
263.64/48.10	o 683 
264.24/48.12	o 684 
264.24/48.14	o 685 
264.24/48.15	o 686 
264.24/48.17	o 687 
264.24/48.19	o 688 
264.86/48.21	o 689 
264.86/48.23	o 690 
264.86/48.25	o 691 
264.86/48.26	o 692 
264.86/48.28	o 693 
264.86/48.30	o 694 
265.47/48.31	o 695 
265.47/48.34	o 696 
265.47/48.36	o 697 
265.47/48.38	o 698 
265.47/48.40	o 699 
266.02/48.42	o 700 
266.02/48.43	o 701 
266.02/48.46	o 702 
266.02/48.48	o 703 
266.59/48.50	o 704 
266.59/48.52	o 705 
266.59/48.54	o 706 
266.59/48.57	o 707 
266.59/48.58	o 708 
267.19/48.61	o 709 
267.19/48.62	o 710 
267.19/48.64	o 711 
267.19/48.67	o 712 
267.79/48.70	o 713 
267.79/48.73	o 714 
267.79/48.75	o 715 
267.79/48.77	o 716 
267.79/48.79	o 717 
268.39/48.81	o 718 
268.39/48.83	o 719 
268.39/48.86	o 720 
268.39/48.88	o 721 
268.90/48.90	o 722 
268.90/48.93	o 723 
268.90/48.95	o 724 
268.90/48.97	o 725 
268.90/49.00	o 726 
269.47/49.02	o 727 
269.47/49.03	o 728 
269.47/49.05	o 729 
269.47/49.07	o 730 
269.47/49.09	o 731 
270.11/49.11	o 732 
270.11/49.13	o 733 
270.11/49.16	o 734 
270.11/49.18	o 735 
270.64/49.20	o 736 
270.64/49.22	o 737 
270.64/49.24	o 738 
270.64/49.26	o 739 
270.64/49.28	o 740 
270.64/49.30	o 741 
271.25/49.32	o 742 
271.25/49.34	o 743 
271.25/49.36	o 744 
271.25/49.39	o 745 
271.80/49.40	o 746 
271.80/49.42	o 747 
271.80/49.43	o 748 
271.80/49.45	o 749 
271.80/49.46	o 750 
271.80/49.47	o 751 
271.80/49.49	o 752 
272.42/49.50	o 753 
272.42/49.52	o 754 
272.42/49.54	o 755 
272.42/49.55	o 756 
272.42/49.57	o 757 
272.42/49.59	o 758 
272.97/49.61	o 759 
272.97/49.63	o 760 
272.97/49.65	o 761 
272.97/49.67	o 762 
272.97/49.69	o 763 
273.50/49.70	o 764 
273.50/49.71	o 765 
273.50/49.73	o 766 
273.50/49.75	o 767 
273.50/49.77	o 768 
273.50/49.78	o 769 
273.50/49.80	o 770 
274.06/49.82	o 771 
274.06/49.84	o 772 
274.06/49.86	o 773 
274.06/49.87	o 774 
274.06/49.89	o 775 
274.65/49.90	o 776 
274.65/49.93	o 777 
274.65/49.95	o 778 
275.00/50.07	o 779 
276.13/51.06	o 780 
276.13/51.08	o 781 
276.40/51.20	o 782 
277.57/52.21	o 783 
277.57/52.23	o 784 
277.82/52.34	o 785 
278.90/53.36	o 786 
278.90/53.39	o 787 
279.29/53.51	o 788 
280.36/54.54	o 789 
280.36/54.55	o 790 
280.36/54.57	o 791 
280.36/54.59	o 792 
280.77/54.69	o 793 
281.93/55.70	o 794 
281.93/55.73	o 795 
282.19/55.83	o 796 
283.27/56.85	o 797 
283.27/56.88	o 798 
283.54/56.98	o 799 
284.71/58.01	o 800 
284.71/58.03	o 801 
284.98/58.13	o 802 
286.04/59.18	o 803 
286.21/59.21	o 804 
288.42/60.34	o 805 
288.74/60.45	o 806 
1816.54/252.08	s SATISFIABLE
1816.54/252.08	v <instantiation>
1816.54/252.08	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
1816.54/252.08	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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 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 0 0 1 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 0 1 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 1 1 1 0 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 0 1 1 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 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 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 0 0 1 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 1 1 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 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 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 1 0 0 0 1 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 0 0 1 0 0 1 1 0 0 0 0 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 1 0 1 0 0 1 1 1 1 0 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 0 0 1 1 0 1 0 0 1 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 1 0 0 0 1 1 0 0 0 0 1 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 1 1 0 0 0 1 1 1 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 0 1 1 1 0 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 1 1 1 1 0 1 0 0 1 0 1 1 1 1 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 1 1 0 1 0 0 1 0 0 1 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 0 0 0 1 1 0 1 0 0 1 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 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 1 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 0 1 0 1 0 0 1 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 1 1 1 1 1 1 0 0 1 0 1 0 0 1 1 1 1 0 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 0 0 1 1 1 0 0 0 0 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 1 0 0 0 1 1 1 1 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 1 0 0 0 0 1 1 0 1 1 0 0 1 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 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 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 1 1 1 0 0 0 1 1 1 1 0 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 0 0 1 1 1 0 0 1 0 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 0 0 1 0 0 1 0 0 0 0 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 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 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 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 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 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 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 1 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 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 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 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 2 2 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 0 0 0 0 0 0 1 1 2 0 2 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 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 0 0 0 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 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 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 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 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 1 0 0 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 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 2 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 1 0 0 0 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 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 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 1 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 1 0 0 0 1 2 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 1 1 0 1 2 1 2 2 1 2 2 1 2 2 1 2 0 1 1 0 1 1 2 0 1 1 0 2 0 0 0 0 0 0 0 2 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 14 16 18 35 36 37 89 97 100 103 105 109 150 155 158 162 165 171 194 197 201 219 220 223 240 244 249 267 273 276 302 314 324 332 339 345 358 364 372 385 390 401 443 472 806 </values>
1816.54/252.08	v </instantiation>
1816.54/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	806

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281607-1503180250/watcher-4281607-1503180250 -o /tmp/evaluation-result-4281607-1503180250/solver-4281607-1503180250 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1898337279 HOME/instance-4281607-1503180250.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=28812, runsolver pid=28809

[startup+0.100133 s]*
/proc/loadavg: 8.26 8.33 8.24 2/199 28833
/proc/meminfo: memFree=26184548/32770624 swapFree=67108860/67108860
[pid=28812] ppid=28809 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28812/stat : 28812 (xcsp3-exec) S 28809 28812 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151112593 9740288 345 33554432000 4194304 5098028 140723593936656 140723593934760 140262718104188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20709376 140723593938026 140723593938236 140723593938236 140723593940971 0
/proc/28812/statm: 2378 345 289 221 0 87 0
[pid=28814] ppid=28812 vsize=25999808 memory=26312 CPUtime=0.11 cores=0-7
/proc/28814/stat : 28814 (java) S 28812 28812 13260 0 -1 1077944320 5485 0 0 0 11 0 0 0 20 0 20 0 151112593 26623803392 6578 33554432000 4194304 4196468 140729830205376 140729830187920 140650329112311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
/proc/28814/statm: 6499952 6578 2845 1 0 6488269 0
[pid=28814/tid=28815] ppid=28812 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28814/task/28815/stat : 28815 (java) R 28812 28812 13260 0 -1 4202560 3480 0 0 0 9 0 0 0 20 0 20 0 151112594 26623803392 6578 33554432000 4194304 4196468 140729830205376 140650333345584 140650329124246 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28816] ppid=28812 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28814/task/28816/stat : 28816 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26623803392 6578 33554432000 4194304 4196468 140729830205376 140650251692432 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28817] ppid=28812 vsize=25999808 memory=140406320830080 CPUtime=0 cores=0-7
/proc/28814/task/28817/stat : 28817 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26623803392 6578 33554432000 4194304 4196468 140729830205376 140650250639632 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28818] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28818/stat : 28818 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26623803392 6578 33554432000 4194304 4196468 140729830205376 140650249587344 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28819] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28819/stat : 28819 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26623803392 6578 33554432000 4194304 4196468 140729830205376 140650248534544 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28820] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28820/stat : 28820 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649882999696 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28821] ppid=28812 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28814/task/28821/stat : 28821 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649881946896 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28822] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28822/stat : 28822 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649880894608 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28823] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28823/stat : 28823 (java) S 28812 28812 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151112594 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649879841808 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28824] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28824/stat : 28824 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112596 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649456203888 140650329123458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28825] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28825/stat : 28825 (java) S 28812 28812 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151112596 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649455149856 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28826] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28826/stat : 28826 (java) S 28812 28812 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151112597 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649454097520 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28827] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28827/stat : 28827 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112599 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649453045840 140650329130907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28828] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28828/stat : 28828 (java) S 28812 28812 13260 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 151112599 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649451993712 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28829] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28829/stat : 28829 (java) S 28812 28812 13260 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 151112599 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649450940912 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28830] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28830/stat : 28830 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112599 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649449888624 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28831] ppid=28812 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/28814/task/28831/stat : 28831 (java) R 28812 28812 13260 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 151112599 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649448835824 140650329123458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28832] ppid=28812 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28832/stat : 28832 (java) S 28812 28812 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151112599 26623803392 6578 33554432000 4194304 4196468 140729830205376 140649447782752 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28833] ppid=28812 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28814/task/28833/stat : 28833 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112599 26623803392 6643 33554432000 4194304 4196468 140729830205376 140649446730032 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27692 KiB

[startup+0.210456 s]*
/proc/loadavg: 8.26 8.33 8.24 2/199 28833
/proc/meminfo: memFree=26172780/32770624 swapFree=67108860/67108860
[pid=28812] ppid=28809 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28812/stat : 28812 (xcsp3-exec) S 28809 28812 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151112593 9740288 345 33554432000 4194304 5098028 140723593936656 140723593934760 140262718104188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20709376 140723593938026 140723593938236 140723593938236 140723593940971 0
/proc/28812/statm: 2378 345 289 221 0 87 0
[pid=28814] ppid=28812 vsize=26004064 memory=38840 CPUtime=0.32 cores=0-7
/proc/28814/stat : 28814 (java) S 28812 28812 13260 0 -1 1077944320 8329 0 0 0 31 1 0 0 20 0 20 0 151112593 26628161536 9710 33554432000 4194304 4196468 140729830205376 140729830187920 140650329112311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
/proc/28814/statm: 6501016 9710 3061 1 0 6488269 0
[pid=28814/tid=28815] ppid=28812 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28814/task/28815/stat : 28815 (java) R 28812 28812 13260 0 -1 4202560 5425 0 0 0 19 1 0 0 20 0 20 0 151112594 26628161536 9731 33554432000 4194304 4196468 140729830205376 140650333323120 140650321829274 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28816] ppid=28812 vsize=26004096 memory=342 CPUtime=0 cores=0-7
/proc/28814/task/28816/stat : 28816 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26628194304 9731 33554432000 4194304 4196468 140729830205376 140650251692432 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28817] ppid=28812 vsize=26004096 memory=3472469819270665888 CPUtime=0 cores=0-7
/proc/28814/task/28817/stat : 28817 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26628194304 9731 33554432000 4194304 4196468 140729830205376 140650250639632 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28818] ppid=28812 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28814/task/28818/stat : 28818 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 9731 33554432000 4194304 4196468 140729830205376 140650249587344 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28819] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28819/stat : 28819 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 9731 33554432000 4194304 4196468 140729830205376 140650248534544 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28820] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28820/stat : 28820 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649882999696 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28821] ppid=28812 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28814/task/28821/stat : 28821 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649881946896 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28822] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28822/stat : 28822 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649880894608 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28823] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28823/stat : 28823 (java) S 28812 28812 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649879841808 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28824] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28824/stat : 28824 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112596 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649456203888 140650329123458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28825] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28825/stat : 28825 (java) S 28812 28812 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151112596 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649455149856 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28826] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28826/stat : 28826 (java) S 28812 28812 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151112597 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649454097520 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28827] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28827/stat : 28827 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112599 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649453045840 140650329130907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28828] ppid=28812 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28814/task/28828/stat : 28828 (java) S 28812 28812 13260 0 -1 1077944384 312 0 0 0 1 0 0 0 20 0 20 0 151112599 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649451993712 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28829] ppid=28812 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/28814/task/28829/stat : 28829 (java) S 28812 28812 13260 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 20 0 151112599 26628194304 9731 33554432000 4194304 4196468 140729830205376 140649450940912 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28830] ppid=28812 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7
/proc/28814/task/28830/stat : 28830 (java) S 28812 28812 13260 0 -1 1077944384 306 0 0 0 1 0 0 0 20 0 20 0 151112599 26628194304 9731 33554432000 4194304 4196468 140729830205376 140649449888624 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28831] ppid=28812 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7
/proc/28814/task/28831/stat : 28831 (java) S 28812 28812 13260 0 -1 1077944384 767 0 0 0 7 0 0 0 20 0 20 0 151112599 26628194304 9731 33554432000 4194304 4196468 140729830205376 140649448835824 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28832] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28832/stat : 28832 (java) S 28812 28812 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151112599 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649447782752 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28833] ppid=28812 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28814/task/28833/stat : 28833 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112599 26628161536 9731 33554432000 4194304 4196468 140729830205376 140649446730032 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40220 KiB

[startup+0.310252 s]*
/proc/loadavg: 8.26 8.33 8.24 3/199 28833
/proc/meminfo: memFree=26168376/32770624 swapFree=67108860/67108860
[pid=28812] ppid=28809 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28812/stat : 28812 (xcsp3-exec) S 28809 28812 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151112593 9740288 345 33554432000 4194304 5098028 140723593936656 140723593934760 140262718104188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20709376 140723593938026 140723593938236 140723593938236 140723593940971 0
/proc/28812/statm: 2378 345 289 221 0 87 0
[pid=28814] ppid=28812 vsize=26004064 memory=45520 CPUtime=0.5 cores=0-7
/proc/28814/stat : 28814 (java) S 28812 28812 13260 0 -1 1077944320 9132 0 0 0 48 2 0 0 20 0 20 0 151112593 26628161536 11380 33554432000 4194304 4196468 140729830205376 140729830187920 140650329112311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
/proc/28814/statm: 6501016 11380 3077 1 0 6488269 0
[pid=28814/tid=28815] ppid=28812 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28814/task/28815/stat : 28815 (java) R 28812 28812 13260 0 -1 4202560 6066 0 0 0 28 1 0 0 20 0 20 0 151112594 26628161536 11380 33554432000 4194304 4196468 140729830205376 140650333351648 140649928161328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28816] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28816/stat : 28816 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 11380 33554432000 4194304 4196468 140729830205376 140650251692432 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28817] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28817/stat : 28817 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 11380 33554432000 4194304 4196468 140729830205376 140650250639632 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28818] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28818/stat : 28818 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 11380 33554432000 4194304 4196468 140729830205376 140650249587344 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28819] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28819/stat : 28819 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 11380 33554432000 4194304 4196468 140729830205376 140650248534544 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28820] ppid=28812 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/28814/task/28820/stat : 28820 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649882999696 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28821] ppid=28812 vsize=26004064 memory=140406171988911 CPUtime=0 cores=0-7
/proc/28814/task/28821/stat : 28821 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649881946896 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28822] ppid=28812 vsize=26004064 memory=140406171991216 CPUtime=0 cores=0-7
/proc/28814/task/28822/stat : 28822 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649880894608 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28823] ppid=28812 vsize=26004064 memory=140406171993520 CPUtime=0 cores=0-7
/proc/28814/task/28823/stat : 28823 (java) S 28812 28812 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151112594 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649879841808 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28824] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28824/stat : 28824 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112596 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649456203888 140650329123458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28825] ppid=28812 vsize=26004064 memory=280812343994000 CPUtime=0 cores=0-7
/proc/28814/task/28825/stat : 28825 (java) S 28812 28812 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151112596 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649455149856 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28826] ppid=28812 vsize=26004064 memory=280812344000912 CPUtime=0 cores=0-7
/proc/28814/task/28826/stat : 28826 (java) S 28812 28812 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151112597 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649454097520 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28827] ppid=28812 vsize=26004064 memory=280812343942192 CPUtime=0 cores=0-7
/proc/28814/task/28827/stat : 28827 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112599 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649453045840 140650329130907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28828] ppid=28812 vsize=26004064 memory=280812344014736 CPUtime=0.01 cores=0-7
/proc/28814/task/28828/stat : 28828 (java) S 28812 28812 13260 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 151112599 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649451993712 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28829] ppid=28812 vsize=26004064 memory=280812344021648 CPUtime=0.02 cores=0-7
/proc/28814/task/28829/stat : 28829 (java) R 28812 28812 13260 0 -1 4202560 249 0 0 0 2 0 0 0 20 0 20 0 151112599 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649450932560 140650312595735 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28830] ppid=28812 vsize=26004064 memory=280812344019344 CPUtime=0.02 cores=0-7
/proc/28814/task/28830/stat : 28830 (java) S 28812 28812 13260 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 20 0 151112599 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649449888624 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28831] ppid=28812 vsize=26004064 memory=280812344035504 CPUtime=0.12 cores=0-7
/proc/28814/task/28831/stat : 28831 (java) R 28812 28812 13260 0 -1 4202560 883 0 0 0 12 0 0 0 20 0 20 0 151112599 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649448835952 140650307674461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28832] ppid=28812 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28832/stat : 28832 (java) S 28812 28812 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151112599 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649447782752 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28833] ppid=28812 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28814/task/28833/stat : 28833 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112599 26628161536 11380 33554432000 4194304 4196468 140729830205376 140649446730032 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46900 KiB

[startup+0.701011 s]
/proc/loadavg: 8.26 8.33 8.24 5/199 28833
/proc/meminfo: memFree=26137852/32770624 swapFree=67108860/67108860
[pid=28812] ppid=28809 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28812/stat : 28812 (xcsp3-exec) S 28809 28812 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151112593 9740288 345 33554432000 4194304 5098028 140723593936656 140723593934760 140262718104188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20709376 140723593938026 140723593938236 140723593938236 140723593940971 0
/proc/28812/statm: 2378 345 289 221 0 87 0
[pid=28814] ppid=28812 vsize=26006188 memory=92464 CPUtime=1.91 cores=0-7
/proc/28814/stat : 28814 (java) S 28812 28812 13260 0 -1 1077944320 13200 0 0 0 188 3 0 0 20 0 20 0 151112593 26630336512 23116 33554432000 4194304 4196468 140729830205376 140729830187920 140650329112311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
/proc/28814/statm: 6501547 23116 3194 1 0 6488781 0
[pid=28814/tid=28815] ppid=28812 vsize=26006188 memory=280812344393392 CPUtime=0.67 cores=0-7
/proc/28814/task/28815/stat : 28815 (java) R 28812 28812 13260 0 -1 4202560 6547 0 0 0 65 2 0 0 20 0 20 0 151112594 26630336512 23116 33554432000 4194304 4196468 140729830205376 140650333340208 140650329124246 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28816] ppid=28812 vsize=26006188 memory=140406172197744 CPUtime=0 cores=0-7
/proc/28814/task/28816/stat : 28816 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151112594 26630336512 23116 33554432000 4194304 4196468 140729830205376 140650251692432 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28817] ppid=28812 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/28814/task/28817/stat : 28817 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26630336512 23116 33554432000 4194304 4196468 140729830205376 140650250639632 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28818] ppid=28812 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/28814/task/28818/stat : 28818 (java) S 28812 28812 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151112594 26630336512 23116 33554432000 4194304 4196468 140729830205376 140650249587344 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0

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

[pid=28814/tid=2773] ppid=28812 vsize=26541776 memory=42160 CPUtime=101.66 cores=0-7
/proc/28814/task/2773/stat : 2773 (java) R 28812 28812 13260 0 -1 4202560 2698 0 0 0 10163 3 0 0 20 0 28 0 151118639 27178778624 1135781 33554432000 4194304 4196468 140729830205376 140649365905744 140649937473563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
Current children cumulated CPU time: 1101.12 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4544504 KiB

[startup+222.302 s]
/proc/loadavg: 8.01 8.00 8.11 9/208 2788
/proc/meminfo: memFree=21681876/32770624 swapFree=67108860/67108860
[pid=28812] ppid=28809 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28812/stat : 28812 (xcsp3-exec) S 28809 28812 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151112593 9740288 345 33554432000 4194304 5098028 140723593936656 140723593934760 140262718104188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20709376 140723593938026 140723593938236 140723593938236 140723593940971 0
/proc/28812/statm: 2378 345 289 221 0 87 0
[pid=28814] ppid=28812 vsize=26541776 memory=4518440 CPUtime=1579.6 cores=0-7
/proc/28814/stat : 28814 (java) S 28812 28812 13260 0 -1 1077944320 203915 0 0 0 157555 405 0 0 20 0 28 0 151112593 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140729830187920 140650329112311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
/proc/28814/statm: 6635444 1129610 3289 1 0 6622678 0
[pid=28814/tid=28815] ppid=28812 vsize=26541776 memory=1380 CPUtime=5.99 cores=0-7
/proc/28814/task/28815/stat : 28815 (java) S 28812 28812 13260 0 -1 1077944384 10589 0 0 0 584 15 0 0 20 0 28 0 151112594 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140650333353024 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28816] ppid=28812 vsize=26541776 memory=4518436 CPUtime=0.36 cores=0-7
/proc/28814/task/28816/stat : 28816 (java) S 28812 28812 13260 0 -1 1077944384 1524 0 0 0 26 10 0 0 20 0 28 0 151112594 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140650251692432 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28817] ppid=28812 vsize=26541776 memory=4527704 CPUtime=0.34 cores=0-7
/proc/28814/task/28817/stat : 28817 (java) S 28812 28812 13260 0 -1 1077944384 1229 0 0 0 24 10 0 0 20 0 28 0 151112594 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140650250639632 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28818] ppid=28812 vsize=26541776 memory=4543124 CPUtime=0.34 cores=0-7
/proc/28814/task/28818/stat : 28818 (java) S 28812 28812 13260 0 -1 1077944384 1431 0 0 0 24 10 0 0 20 0 28 0 151112594 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140650249587344 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28819] ppid=28812 vsize=26541776 memory=4543124 CPUtime=0.39 cores=0-7
/proc/28814/task/28819/stat : 28819 (java) S 28812 28812 13260 0 -1 1077944384 1525 0 0 0 28 11 0 0 20 0 28 0 151112594 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140650248534544 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28820] ppid=28812 vsize=26541776 memory=4566308 CPUtime=0.4 cores=0-7
/proc/28814/task/28820/stat : 28820 (java) S 28812 28812 13260 0 -1 1077944384 1236 0 0 0 29 11 0 0 20 0 28 0 151112594 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649882999696 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28821] ppid=28812 vsize=26541776 memory=4569888 CPUtime=0.39 cores=0-7
/proc/28814/task/28821/stat : 28821 (java) S 28812 28812 13260 0 -1 1077944384 1443 0 0 0 28 11 0 0 20 0 28 0 151112594 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649881946896 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28822] ppid=28812 vsize=26541776 memory=4561108 CPUtime=0.38 cores=0-7
/proc/28814/task/28822/stat : 28822 (java) S 28812 28812 13260 0 -1 1077944384 1274 0 0 0 27 11 0 0 20 0 28 0 151112594 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649880894608 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28823] ppid=28812 vsize=26541776 memory=4518436 CPUtime=0.38 cores=0-7
/proc/28814/task/28823/stat : 28823 (java) S 28812 28812 13260 0 -1 1077944384 1161 0 0 0 28 10 0 0 20 0 28 0 151112594 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649879841808 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28824] ppid=28812 vsize=26541776 memory=4518440 CPUtime=0.07 cores=0-7
/proc/28814/task/28824/stat : 28824 (java) S 28812 28812 13260 0 -1 1077944384 6132 0 0 0 5 2 0 0 20 0 28 0 151112596 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649456203888 140650329123458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28825] ppid=28812 vsize=26541776 memory=4518440 CPUtime=0 cores=0-7
/proc/28814/task/28825/stat : 28825 (java) S 28812 28812 13260 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 151112596 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649455149920 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28826] ppid=28812 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/28814/task/28826/stat : 28826 (java) S 28812 28812 13260 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 151112597 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649454097536 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28827] ppid=28812 vsize=26541776 memory=4518436 CPUtime=0 cores=0-7
/proc/28814/task/28827/stat : 28827 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151112599 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649453045840 140650329130907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28828] ppid=28812 vsize=26541776 memory=1720 CPUtime=3.79 cores=0-7
/proc/28814/task/28828/stat : 28828 (java) S 28812 28812 13260 0 -1 1077944384 21425 0 0 0 375 4 0 0 20 0 28 0 151112599 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649451993712 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28829] ppid=28812 vsize=26541776 memory=1004 CPUtime=3.84 cores=0-7
/proc/28814/task/28829/stat : 28829 (java) S 28812 28812 13260 0 -1 1077944384 22164 0 0 0 380 4 0 0 20 0 28 0 151112599 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649450940912 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28830] ppid=28812 vsize=26541776 memory=1380 CPUtime=3.87 cores=0-7
/proc/28814/task/28830/stat : 28830 (java) S 28812 28812 13260 0 -1 1077944384 25580 0 0 0 384 3 0 0 20 0 28 0 151112599 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649449888624 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28831] ppid=28812 vsize=26541776 memory=1380 CPUtime=1.28 cores=0-7
/proc/28814/task/28831/stat : 28831 (java) S 28812 28812 13260 0 -1 1077944384 16438 0 0 0 125 3 0 0 20 0 28 0 151112599 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649448835824 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28832] ppid=28812 vsize=26541776 memory=4526168 CPUtime=0 cores=0-7
/proc/28814/task/28832/stat : 28832 (java) S 28812 28812 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151112599 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649447782752 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28833] ppid=28812 vsize=26541776 memory=1380 CPUtime=0.08 cores=0-7
/proc/28814/task/28833/stat : 28833 (java) S 28812 28812 13260 0 -1 1077944384 2713 0 0 0 5 3 0 0 20 0 28 0 151112599 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649446730032 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2766] ppid=28812 vsize=26541776 memory=2332 CPUtime=160.45 cores=0-7
/proc/28814/task/2766/stat : 2766 (java) R 28812 28812 13260 0 -1 4202560 2963 0 0 0 16041 4 0 0 20 0 28 0 151118639 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649364852696 140649935736194 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2767] ppid=28812 vsize=26541776 memory=1292 CPUtime=161.67 cores=0-7
/proc/28814/task/2767/stat : 2767 (java) R 28812 28812 13260 0 -1 4202560 2164 0 0 0 16166 1 0 0 20 0 28 0 151118639 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649369063976 140649930181425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2768] ppid=28812 vsize=26541776 memory=280812347815648 CPUtime=160.91 cores=0-7
/proc/28814/task/2768/stat : 2768 (java) R 28812 28812 13260 0 -1 4202560 1708 0 0 0 16091 0 0 0 20 0 28 0 151118639 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649360654224 140649936852181 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2769] ppid=28812 vsize=26541776 memory=7379257190372304482 CPUtime=161.7 cores=0-7
/proc/28814/task/2769/stat : 2769 (java) R 28812 28812 13260 0 -1 4202560 16634 0 0 0 16081 89 0 0 20 0 28 0 151118639 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649443009608 140649937597318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2770] ppid=28812 vsize=26541776 memory=1380 CPUtime=161.57 cores=0-7
/proc/28814/task/2770/stat : 2770 (java) R 28812 28812 13260 0 -1 4202560 2127 0 0 0 16154 3 0 0 20 0 28 0 151118639 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649366959640 140649937375884 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2771] ppid=28812 vsize=26541776 memory=1380 CPUtime=161.22 cores=0-7
/proc/28814/task/2771/stat : 2771 (java) R 28812 28812 13260 0 -1 4202560 1666 0 0 0 16120 2 0 0 20 0 28 0 151118639 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649370117448 140649935736634 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2772] ppid=28812 vsize=26541776 memory=4518440 CPUtime=160.71 cores=0-7
/proc/28814/task/2772/stat : 2772 (java) R 28812 28812 13260 0 -1 4202560 4023 0 0 0 16068 3 0 0 20 0 28 0 151118639 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649363800608 140649937280553 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2773] ppid=28812 vsize=26541776 memory=4132 CPUtime=161.62 cores=0-7
/proc/28814/task/2773/stat : 2773 (java) R 28812 28812 13260 0 -1 4202560 3159 0 0 0 16157 5 0 0 20 0 28 0 151118639 27178778624 1129610 33554432000 4194304 4196468 140729830205376 140649365905576 140649935736592 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
Current children cumulated CPU time: 1579.6 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4519820 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.00 8.00 8.10 9/208 2788
/proc/meminfo: memFree=21696228/32770624 swapFree=67108860/67108860
[pid=28812] ppid=28809 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28812/stat : 28812 (xcsp3-exec) S 28809 28812 13260 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151112593 9740288 345 33554432000 4194304 5098028 140723593936656 140723593934760 140262718104188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20709376 140723593938026 140723593938236 140723593938236 140723593940971 0
/proc/28812/statm: 2378 345 289 221 0 87 0
[pid=28814] ppid=28812 vsize=26541776 memory=4507644 CPUtime=1816.54 cores=0-7
/proc/28814/stat : 28814 (java) S 28812 28812 13260 0 -1 1077944320 210312 0 0 0 181230 424 0 0 20 0 28 0 151112593 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140729830187920 140650329112311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
/proc/28814/statm: 6635444 1126911 3289 1 0 6622678 0
[pid=28814/tid=28815] ppid=28812 vsize=26541776 memory=1572 CPUtime=5.99 cores=0-7
/proc/28814/task/28815/stat : 28815 (java) S 28812 28812 13260 0 -1 1077944384 10589 0 0 0 584 15 0 0 20 0 28 0 151112594 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140650333353024 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28816] ppid=28812 vsize=26541776 memory=4872558044660077418 CPUtime=0.37 cores=0-7
/proc/28814/task/28816/stat : 28816 (java) S 28812 28812 13260 0 -1 1077944384 1570 0 0 0 27 10 0 0 20 0 28 0 151112594 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140650251692432 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28817] ppid=28812 vsize=26541776 memory=836 CPUtime=0.36 cores=0-7
/proc/28814/task/28817/stat : 28817 (java) S 28812 28812 13260 0 -1 1077944384 1329 0 0 0 25 11 0 0 20 0 28 0 151112594 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140650250639632 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28818] ppid=28812 vsize=26541776 memory=1692 CPUtime=0.35 cores=0-7
/proc/28814/task/28818/stat : 28818 (java) S 28812 28812 13260 0 -1 1077944384 1494 0 0 0 25 10 0 0 20 0 28 0 151112594 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140650249587344 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28819] ppid=28812 vsize=26541776 memory=916 CPUtime=0.4 cores=0-7
/proc/28814/task/28819/stat : 28819 (java) S 28812 28812 13260 0 -1 1077944384 1545 0 0 0 29 11 0 0 20 0 28 0 151112594 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140650248534544 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28820] ppid=28812 vsize=26541776 memory=4520 CPUtime=0.41 cores=0-7
/proc/28814/task/28820/stat : 28820 (java) S 28812 28812 13260 0 -1 1077944384 1257 0 0 0 30 11 0 0 20 0 28 0 151112594 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649882999696 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28821] ppid=28812 vsize=26541776 memory=1380 CPUtime=0.41 cores=0-7
/proc/28814/task/28821/stat : 28821 (java) S 28812 28812 13260 0 -1 1077944384 1837 0 0 0 30 11 0 0 20 0 28 0 151112594 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649881946896 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28822] ppid=28812 vsize=26541776 memory=4108 CPUtime=0.39 cores=0-7
/proc/28814/task/28822/stat : 28822 (java) S 28812 28812 13260 0 -1 1077944384 1307 0 0 0 28 11 0 0 20 0 28 0 151112594 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649880894608 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28823] ppid=28812 vsize=26541776 memory=1156 CPUtime=0.39 cores=0-7
/proc/28814/task/28823/stat : 28823 (java) S 28812 28812 13260 0 -1 1077944384 1190 0 0 0 28 11 0 0 20 0 28 0 151112594 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649879841808 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28824] ppid=28812 vsize=26541776 memory=4240 CPUtime=0.09 cores=0-7
/proc/28814/task/28824/stat : 28824 (java) S 28812 28812 13260 0 -1 1077944384 6477 0 0 0 6 3 0 0 20 0 28 0 151112596 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649456203888 140650329123458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28825] ppid=28812 vsize=26541776 memory=1380 CPUtime=0 cores=0-7
/proc/28814/task/28825/stat : 28825 (java) S 28812 28812 13260 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 151112596 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649455149920 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28826] ppid=28812 vsize=26541776 memory=4519976 CPUtime=0 cores=0-7
/proc/28814/task/28826/stat : 28826 (java) S 28812 28812 13260 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 151112597 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649454097536 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28827] ppid=28812 vsize=26541776 memory=1948 CPUtime=0 cores=0-7
/proc/28814/task/28827/stat : 28827 (java) S 28812 28812 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151112599 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649453045840 140650329130907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28828] ppid=28812 vsize=26541776 memory=15876 CPUtime=3.79 cores=0-7
/proc/28814/task/28828/stat : 28828 (java) S 28812 28812 13260 0 -1 1077944384 21430 0 0 0 375 4 0 0 20 0 28 0 151112599 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649451993712 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28829] ppid=28812 vsize=26541776 memory=4040 CPUtime=3.84 cores=0-7
/proc/28814/task/28829/stat : 28829 (java) S 28812 28812 13260 0 -1 1077944384 22170 0 0 0 380 4 0 0 20 0 28 0 151112599 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649450940912 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28830] ppid=28812 vsize=26541776 memory=24032 CPUtime=3.87 cores=0-7
/proc/28814/task/28830/stat : 28830 (java) S 28812 28812 13260 0 -1 1077944384 25590 0 0 0 384 3 0 0 20 0 28 0 151112599 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649449888624 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28831] ppid=28812 vsize=26541776 memory=18292 CPUtime=1.28 cores=0-7
/proc/28814/task/28831/stat : 28831 (java) S 28812 28812 13260 0 -1 1077944384 16778 0 0 0 125 3 0 0 20 0 28 0 151112599 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649448835824 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28832] ppid=28812 vsize=26541776 memory=1792 CPUtime=0 cores=0-7
/proc/28814/task/28832/stat : 28832 (java) S 28812 28812 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151112599 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649447782752 140650329122517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=28833] ppid=28812 vsize=26541776 memory=648 CPUtime=0.09 cores=0-7
/proc/28814/task/28833/stat : 28833 (java) S 28812 28812 13260 0 -1 1077944384 2759 0 0 0 6 3 0 0 20 0 28 0 151112599 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649446730032 140650329123458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2766] ppid=28812 vsize=26541776 memory=1236 CPUtime=190.13 cores=0-7
/proc/28814/task/2766/stat : 2766 (java) R 28812 28812 13260 0 -1 4202560 3176 0 0 0 19009 4 0 0 20 0 28 0 151118639 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649364852560 140649937280837 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2767] ppid=28812 vsize=26541776 memory=960 CPUtime=191.37 cores=0-7
/proc/28814/task/2767/stat : 2767 (java) R 28812 28812 13260 0 -1 4202560 2449 0 0 0 19135 2 0 0 20 0 28 0 151118639 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649369067264 140649935736634 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2768] ppid=28812 vsize=26541776 memory=2424 CPUtime=190.59 cores=0-7
/proc/28814/task/2768/stat : 2768 (java) R 28812 28812 13260 0 -1 4202560 1997 0 0 0 19059 0 0 0 20 0 28 0 151118639 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649360651464 140649930181452 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2769] ppid=28812 vsize=26541776 memory=2236 CPUtime=191.37 cores=0-7
/proc/28814/task/2769/stat : 2769 (java) R 28812 28812 13260 0 -1 4202560 19299 0 0 0 19032 105 0 0 20 0 28 0 151118639 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649443009360 140649937596371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2770] ppid=28812 vsize=26541776 memory=4084 CPUtime=191.25 cores=0-7
/proc/28814/task/2770/stat : 2770 (java) R 28812 28812 13260 0 -1 4202560 2397 0 0 0 19122 3 0 0 20 0 28 0 151118639 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649366959752 140649937280785 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2771] ppid=28812 vsize=26541776 memory=932 CPUtime=190.77 cores=0-7
/proc/28814/task/2771/stat : 2771 (java) R 28812 28812 13260 0 -1 4202560 1954 0 0 0 19075 2 0 0 20 0 28 0 151118639 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649370117584 140649935736617 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2772] ppid=28812 vsize=26541776 memory=1572 CPUtime=189.9 cores=0-7
/proc/28814/task/2772/stat : 2772 (java) R 28812 28812 13260 0 -1 4202560 4669 0 0 0 18987 3 0 0 20 0 28 0 151118639 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649363800424 140649937620985 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
[pid=28814/tid=2773] ppid=28812 vsize=26541776 memory=6791534058613427641 CPUtime=191.31 cores=0-7
/proc/28814/task/2773/stat : 2773 (java) R 28812 28812 13260 0 -1 4202560 3442 0 0 0 19126 5 0 0 20 0 28 0 151118639 27178778624 1126911 33554432000 4194304 4196468 140729830205376 140649365905576 140649930838115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12460032 140729830212760 140729830212936 140729830212936 140729830215631 0
Current children cumulated CPU time: 1816.54 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4509024 KiB

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

[startup+252.042 s]
# the end of solver process 28812 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000971 s, system=0.000971 s

[startup+252.134 s]
# the end of solver process 28814 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1813.09 s, system=4.27559 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 252.134
CPU time (s): 1817.37
CPU user time (s): 1813.09
CPU system time (s): 4.27559
CPU usage (%): 720.793
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 4590884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1813.09
system time used= 4.27559
maximum resident set size= 4589504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58956
involuntary context switches= 19647


# summary of solver processes directly reported to runsolver:
#   pid: 28812,28814
#   total CPU time (s): 1817.37
#   total CPU user time (s): 1813.09
#   total CPU system time (s): 4.27559

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.06826 second user time and 3.15043 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-19 23:49:49
IDJOB=4281607
IDBENCH=115914
IDSOLVER=2676
FILE ID=node112/4281607-1503180250
RUNJOBID= node112-1503169099-13287
PBS_JOBID= 20630837
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281607-1503180250/watcher-4281607-1503180250 -o /tmp/evaluation-result-4281607-1503180250/solver-4281607-1503180250 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1898337279 HOME/instance-4281607-1503180250.xml

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=1898337279

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26200164 kB
MemAvailable:   31973224 kB
Buffers:          251980 kB
Cached:          5811292 kB
SwapCached:            0 kB
Active:          1101396 kB
Inactive:        5014592 kB
Active(anon):       4436 kB
Inactive(anon):    84388 kB
Active(file):    1096960 kB
Inactive(file):  4930204 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7852 kB
Writeback:             8 kB
AnonPages:         60392 kB
Mapped:            51204 kB
Shmem:             33416 kB
Slab:             150316 kB
SReclaimable:     123460 kB
SUnreclaim:        26856 kB
KernelStack:        3232 kB
PageTables:         4668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61848 MiB
End job on node112 at 2017-08-19 23:54:02