Trace number 4271797

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-09)SAT (TO)806 1808.87 252.12199

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-4271797-1502639818.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271797-1502639818.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
11.36/5.21	c solve instance...
26.74/7.28	o 0 
28.46/7.74	o 4 
30.44/9.11	o 6 
30.56/9.14	o 8 
31.11/9.22	o 10 
31.11/9.24	o 12 
31.11/9.26	o 14 
31.11/9.29	o 16 
31.70/9.33	o 18 
32.39/9.41	o 20 
33.16/9.56	o 22 
34.73/9.71	o 24 
37.93/10.15	o 26 
41.02/10.59	o 28 
53.30/12.49	o 30 
74.13/15.20	o 32 
103.30/19.07	o 34 
194.44/30.86	o 36 
222.68/34.49	o 37 
224.10/35.30	o 38 
225.28/36.40	o 39 
225.28/36.42	o 40 
225.28/36.43	o 41 
225.28/36.44	o 42 
225.28/36.45	o 43 
225.28/36.46	o 44 
225.28/36.47	o 45 
225.28/36.49	o 46 
225.71/36.50	o 47 
225.71/36.51	o 48 
225.71/36.53	o 49 
225.71/36.54	o 50 
225.71/36.56	o 51 
225.71/36.57	o 52 
225.71/36.58	o 53 
225.71/36.59	o 54 
226.11/36.60	o 55 
226.11/36.61	o 56 
226.11/36.63	o 57 
226.11/36.65	o 58 
226.11/36.66	o 59 
226.11/36.67	o 60 
226.11/36.68	o 61 
226.11/36.69	o 62 
226.65/36.70	o 63 
226.65/36.71	o 64 
226.65/36.72	o 65 
226.65/36.74	o 66 
226.65/36.75	o 67 
226.65/36.76	o 68 
226.65/36.77	o 69 
226.65/36.79	o 70 
227.15/36.80	o 71 
227.15/36.81	o 72 
227.15/36.82	o 73 
227.15/36.83	o 74 
227.15/36.84	o 75 
227.15/36.85	o 76 
227.15/36.85	o 77 
227.15/36.86	o 78 
227.15/36.88	o 79 
227.15/36.89	o 80 
227.64/36.91	o 81 
227.64/36.92	o 82 
227.64/36.93	o 83 
227.64/36.94	o 84 
227.64/36.96	o 85 
227.64/36.97	o 86 
227.64/36.98	o 87 
227.64/36.99	o 88 
227.64/37.01	o 89 
228.10/37.02	o 90 
228.10/37.03	o 91 
228.10/37.04	o 92 
228.10/37.05	o 93 
228.10/37.06	o 94 
228.10/37.07	o 95 
228.10/37.08	o 96 
228.10/37.09	o 97 
228.10/37.10	o 98 
228.10/37.11	o 99 
228.60/37.12	o 100 
228.60/37.14	o 101 
228.60/37.15	o 102 
228.60/37.16	o 103 
228.60/37.17	o 104 
228.60/37.19	o 105 
229.00/37.20	o 106 
229.00/37.21	o 107 
229.00/37.22	o 108 
229.00/37.23	o 109 
229.00/37.25	o 110 
229.00/37.26	o 111 
229.00/37.27	o 112 
229.00/37.28	o 113 
229.00/37.29	o 114 
229.52/37.31	o 115 
229.52/37.32	o 116 
229.52/37.34	o 117 
229.52/37.36	o 118 
229.52/37.37	o 119 
229.52/37.38	o 120 
229.90/37.40	o 121 
229.90/37.41	o 122 
229.90/37.43	o 123 
229.90/37.44	o 124 
229.90/37.45	o 125 
229.90/37.46	o 126 
229.90/37.48	o 127 
229.90/37.50	o 128 
230.29/37.51	o 129 
230.29/37.52	o 130 
230.29/37.53	o 131 
230.29/37.54	o 132 
230.29/37.55	o 133 
230.29/37.57	o 134 
230.29/37.59	o 135 
230.74/37.60	o 136 
230.74/37.62	o 137 
230.74/37.64	o 138 
230.74/37.65	o 139 
230.74/37.66	o 140 
230.74/37.68	o 141 
230.74/37.69	o 142 
231.18/37.70	o 143 
231.18/37.72	o 144 
231.18/37.74	o 145 
231.18/37.75	o 146 
231.18/37.75	o 147 
231.18/37.77	o 148 
231.18/37.78	o 149 
231.18/37.79	o 150 
231.61/37.80	o 151 
231.61/37.81	o 152 
231.61/37.83	o 153 
231.61/37.83	o 154 
231.61/37.85	o 155 
231.61/37.86	o 156 
231.61/37.88	o 157 
231.61/37.89	o 158 
231.97/37.91	o 159 
231.97/37.92	o 160 
231.97/37.94	o 161 
231.97/37.95	o 162 
231.97/37.97	o 163 
231.97/37.98	o 164 
231.97/37.99	o 165 
231.97/38.00	o 166 
232.43/38.01	o 167 
232.43/38.02	o 168 
232.43/38.04	o 169 
232.43/38.05	o 170 
232.43/38.07	o 171 
232.43/38.08	o 172 
232.43/38.10	o 173 
232.86/38.11	o 174 
232.86/38.12	o 175 
232.86/38.14	o 176 
232.86/38.16	o 177 
232.86/38.17	o 178 
232.86/38.19	o 179 
233.22/38.20	o 180 
233.22/38.22	o 181 
233.22/38.23	o 182 
233.22/38.24	o 183 
233.22/38.26	o 184 
233.22/38.27	o 185 
233.22/38.28	o 186 
233.22/38.30	o 187 
233.67/38.31	o 188 
233.67/38.32	o 189 
233.67/38.33	o 190 
233.67/38.35	o 191 
233.67/38.36	o 192 
233.67/38.37	o 193 
233.67/38.38	o 194 
234.19/38.40	o 195 
234.19/38.42	o 196 
234.19/38.43	o 197 
234.19/38.45	o 198 
234.19/38.46	o 199 
234.19/38.47	o 200 
234.19/38.48	o 201 
234.64/38.50	o 202 
234.64/38.51	o 203 
234.64/38.52	o 204 
234.64/38.53	o 205 
234.64/38.54	o 206 
234.64/38.55	o 207 
234.64/38.56	o 208 
234.64/38.57	o 209 
234.64/38.59	o 210 
234.64/38.60	o 211 
235.16/38.61	o 212 
235.16/38.62	o 213 
235.16/38.63	o 214 
235.16/38.64	o 215 
235.16/38.66	o 216 
235.16/38.67	o 217 
235.16/38.68	o 218 
235.16/38.70	o 219 
235.64/38.71	o 220 
235.64/38.72	o 221 
235.64/38.73	o 222 
235.64/38.75	o 223 
235.64/38.76	o 224 
235.64/38.77	o 225 
235.64/38.78	o 226 
235.64/38.79	o 227 
236.12/38.81	o 228 
236.12/38.82	o 229 
236.12/38.83	o 230 
236.12/38.85	o 231 
236.12/38.86	o 232 
236.12/38.89	o 233 
236.97/39.37	o 234 
238.13/40.43	o 235 
238.13/40.44	o 236 
238.13/40.46	o 237 
238.13/40.47	o 238 
238.13/40.48	o 239 
238.13/40.50	o 240 
238.50/40.51	o 241 
238.50/40.52	o 242 
238.50/40.54	o 243 
238.50/40.55	o 244 
238.50/40.56	o 245 
238.50/40.58	o 246 
238.50/40.59	o 247 
239.06/40.61	o 248 
239.06/40.62	o 249 
239.06/40.63	o 250 
239.06/40.64	o 251 
239.06/40.65	o 252 
239.06/40.67	o 253 
239.06/40.68	o 254 
239.06/40.69	o 255 
239.55/40.70	o 256 
239.55/40.72	o 257 
239.55/40.73	o 258 
239.55/40.74	o 259 
239.55/40.75	o 260 
239.55/40.77	o 261 
239.55/40.78	o 262 
239.55/40.79	o 263 
240.07/40.80	o 264 
240.07/40.81	o 265 
240.07/40.83	o 266 
240.07/40.84	o 267 
240.07/40.85	o 268 
240.07/40.87	o 269 
240.07/40.88	o 270 
240.07/40.89	o 271 
240.63/40.91	o 272 
240.63/40.92	o 273 
240.63/40.93	o 274 
240.63/40.95	o 275 
240.63/40.96	o 276 
240.63/40.97	o 277 
240.63/40.99	o 278 
240.63/41.00	o 279 
241.18/41.02	o 280 
241.18/41.04	o 281 
241.18/41.05	o 282 
241.18/41.07	o 283 
241.18/41.08	o 284 
241.18/41.09	o 285 
241.18/41.10	o 286 
241.66/41.12	o 287 
241.66/41.13	o 288 
241.66/41.15	o 289 
241.66/41.16	o 290 
241.66/41.18	o 291 
241.66/41.19	o 292 
242.15/41.20	o 293 
242.15/41.22	o 294 
242.15/41.23	o 295 
242.15/41.25	o 296 
242.15/41.26	o 297 
242.15/41.28	o 298 
242.15/41.29	o 299 
242.69/41.30	o 300 
242.69/41.32	o 301 
242.69/41.33	o 302 
242.69/41.34	o 303 
242.69/41.36	o 304 
242.69/41.37	o 305 
242.69/41.38	o 306 
242.69/41.40	o 307 
243.18/41.41	o 308 
243.18/41.42	o 309 
243.18/41.44	o 310 
243.18/41.45	o 311 
243.18/41.46	o 312 
243.18/41.48	o 313 
243.18/41.49	o 314 
243.75/41.51	o 315 
243.75/41.52	o 316 
243.75/41.53	o 317 
243.75/41.54	o 318 
243.75/41.56	o 319 
243.75/41.57	o 320 
243.75/41.59	o 321 
244.24/41.60	o 322 
244.24/41.62	o 323 
244.24/41.63	o 324 
244.24/41.65	o 325 
244.24/41.66	o 326 
244.24/41.68	o 327 
244.24/41.69	o 328 
244.78/41.70	o 329 
244.78/41.71	o 330 
244.78/41.73	o 331 
244.78/41.74	o 332 
244.78/41.75	o 333 
244.78/41.76	o 334 
244.78/41.78	o 335 
244.78/41.79	o 336 
245.37/41.81	o 337 
245.37/41.82	o 338 
245.37/41.83	o 339 
245.37/41.85	o 340 
245.37/41.86	o 341 
245.37/41.88	o 342 
245.37/41.89	o 343 
245.83/41.91	o 344 
245.83/41.92	o 345 
245.83/41.93	o 346 
245.83/41.95	o 347 
245.83/41.96	o 348 
245.83/41.97	o 349 
245.83/41.99	o 350 
245.83/42.00	o 351 
246.46/42.01	o 352 
246.46/42.02	o 353 
246.46/42.04	o 354 
246.46/42.05	o 355 
246.46/42.07	o 356 
246.46/42.08	o 357 
246.46/42.09	o 358 
247.02/42.11	o 359 
247.02/42.12	o 360 
247.02/42.14	o 361 
247.02/42.15	o 362 
247.02/42.16	o 363 
247.02/42.18	o 364 
247.02/42.19	o 365 
247.56/42.21	o 366 
247.56/42.22	o 367 
247.56/42.23	o 368 
247.56/42.25	o 369 
247.56/42.26	o 370 
247.56/42.27	o 371 
247.56/42.29	o 372 
248.13/42.30	o 373 
248.13/42.31	o 374 
248.13/42.33	o 375 
248.13/42.34	o 376 
248.13/42.36	o 377 
248.13/42.37	o 378 
248.13/42.38	o 379 
248.13/42.40	o 380 
248.69/42.41	o 381 
248.69/42.42	o 382 
248.69/42.46	o 383 
249.04/42.50	o 384 
250.11/43.52	o 385 
250.11/43.54	o 386 
250.11/43.55	o 387 
250.11/43.57	o 388 
250.11/43.58	o 389 
250.11/43.60	o 390 
250.54/43.61	o 391 
250.54/43.62	o 392 
250.54/43.64	o 393 
250.54/43.66	o 394 
250.54/43.67	o 395 
250.54/43.68	o 396 
251.16/43.70	o 397 
251.16/43.71	o 398 
251.16/43.73	o 399 
251.16/43.74	o 400 
251.16/43.76	o 401 
251.16/43.77	o 402 
251.16/43.78	o 403 
251.69/43.80	o 404 
251.69/43.81	o 405 
251.69/43.83	o 406 
251.69/43.84	o 407 
251.69/43.85	o 408 
251.69/43.87	o 409 
251.69/43.88	o 410 
252.22/43.90	o 411 
252.22/43.91	o 412 
252.22/43.93	o 413 
252.22/43.94	o 414 
252.22/43.96	o 415 
252.22/43.97	o 416 
252.22/43.99	o 417 
252.22/44.00	o 418 
252.83/44.02	o 419 
252.83/44.03	o 420 
252.83/44.04	o 421 
252.83/44.06	o 422 
252.83/44.07	o 423 
252.83/44.08	o 424 
252.83/44.10	o 425 
252.83/44.11	o 426 
253.39/44.13	o 427 
253.39/44.14	o 428 
253.39/44.15	o 429 
253.39/44.17	o 430 
253.39/44.19	o 431 
253.90/44.20	o 432 
253.90/44.21	o 433 
253.90/44.23	o 434 
253.90/44.24	o 435 
253.90/44.26	o 436 
253.90/44.27	o 437 
253.90/44.28	o 438 
253.90/44.29	o 439 
254.54/44.31	o 440 
254.54/44.32	o 441 
254.54/44.34	o 442 
254.54/44.35	o 443 
254.54/44.37	o 444 
254.54/44.38	o 445 
254.54/44.39	o 446 
255.16/44.41	o 447 
255.16/44.42	o 448 
255.16/44.44	o 449 
255.16/44.45	o 450 
255.16/44.47	o 451 
255.16/44.48	o 452 
255.16/44.49	o 453 
255.68/44.51	o 454 
255.68/44.52	o 455 
255.68/44.54	o 456 
255.68/44.55	o 457 
255.68/44.57	o 458 
255.68/44.58	o 459 
255.68/44.59	o 460 
256.19/44.61	o 461 
256.19/44.62	o 462 
256.19/44.64	o 463 
256.19/44.65	o 464 
256.19/44.67	o 465 
256.19/44.68	o 466 
256.19/44.70	o 467 
256.79/44.71	o 468 
256.79/44.73	o 469 
256.79/44.75	o 470 
256.79/44.76	o 471 
256.79/44.78	o 472 
256.79/44.79	o 473 
257.31/44.81	o 474 
257.31/44.82	o 475 
257.31/44.84	o 476 
257.31/44.85	o 477 
257.31/44.87	o 478 
257.31/44.88	o 479 
257.31/44.90	o 480 
257.86/44.91	o 481 
257.86/44.93	o 482 
257.86/44.94	o 483 
257.86/44.96	o 484 
257.86/44.97	o 485 
257.86/44.99	o 486 
257.86/45.00	o 487 
258.54/45.02	o 488 
258.54/45.03	o 489 
258.54/45.05	o 490 
258.54/45.06	o 491 
258.54/45.08	o 492 
258.54/45.10	o 493 
259.12/45.12	o 494 
259.12/45.13	o 495 
259.12/45.15	o 496 
259.12/45.16	o 497 
259.12/45.18	o 498 
259.12/45.19	o 499 
259.67/45.21	o 500 
259.67/45.22	o 501 
259.67/45.24	o 502 
259.67/45.25	o 503 
259.67/45.27	o 504 
259.67/45.29	o 505 
260.26/45.30	o 506 
260.26/45.32	o 507 
260.26/45.33	o 508 
260.26/45.35	o 509 
260.26/45.37	o 510 
260.26/45.38	o 511 
260.81/45.41	o 512 
261.14/45.66	o 513 
261.14/45.67	o 514 
262.28/46.67	o 515 
262.28/46.69	o 516 
262.53/46.70	o 517 
262.53/46.72	o 518 
262.53/46.73	o 519 
262.53/46.75	o 520 
262.53/46.77	o 521 
262.53/46.78	o 522 
263.15/46.80	o 523 
263.15/46.81	o 524 
263.15/46.83	o 525 
263.15/46.84	o 526 
263.15/46.86	o 527 
263.15/46.87	o 528 
263.15/46.89	o 529 
263.81/46.91	o 530 
263.81/46.92	o 531 
263.81/46.94	o 532 
263.81/46.96	o 533 
263.81/46.97	o 534 
263.81/46.99	o 535 
263.81/47.01	o 536 
264.42/47.02	o 537 
264.42/47.04	o 538 
264.42/47.05	o 539 
264.42/47.07	o 540 
264.42/47.08	o 541 
264.42/47.10	o 542 
265.11/47.12	o 543 
265.11/47.13	o 544 
265.11/47.14	o 545 
265.11/47.16	o 546 
265.11/47.18	o 547 
265.11/47.19	o 548 
265.67/47.20	o 549 
265.67/47.22	o 550 
265.67/47.24	o 551 
265.67/47.25	o 552 
265.67/47.27	o 553 
265.67/47.29	o 554 
266.24/47.30	o 555 
266.24/47.32	o 556 
266.24/47.33	o 557 
266.24/47.35	o 558 
266.24/47.36	o 559 
266.24/47.38	o 560 
266.24/47.39	o 561 
266.89/47.41	o 562 
266.89/47.43	o 563 
266.89/47.44	o 564 
266.89/47.46	o 565 
266.89/47.48	o 566 
266.89/47.49	o 567 
267.57/47.51	o 568 
267.57/47.52	o 569 
267.57/47.54	o 570 
267.57/47.56	o 571 
267.57/47.57	o 572 
267.57/47.59	o 573 
268.19/47.61	o 574 
268.19/47.63	o 575 
268.19/47.65	o 576 
268.19/47.66	o 577 
268.19/47.68	o 578 
268.69/47.70	o 579 
268.69/47.72	o 580 
268.69/47.74	o 581 
268.69/47.75	o 582 
268.69/47.77	o 583 
268.69/47.79	o 584 
269.31/47.80	o 585 
269.31/47.82	o 586 
269.31/47.84	o 587 
269.31/47.86	o 588 
269.31/47.88	o 589 
269.31/47.89	o 590 
269.95/47.91	o 591 
269.95/47.93	o 592 
269.95/47.94	o 593 
269.95/47.96	o 594 
269.95/47.98	o 595 
269.95/48.00	o 596 
270.55/48.02	o 597 
270.55/48.03	o 598 
270.55/48.05	o 599 
270.55/48.06	o 600 
270.55/48.08	o 601 
270.55/48.10	o 602 
271.19/48.11	o 603 
271.19/48.13	o 604 
271.19/48.15	o 605 
271.19/48.17	o 606 
271.19/48.18	o 607 
271.77/48.20	o 608 
271.77/48.22	o 609 
271.77/48.23	o 610 
271.77/48.25	o 611 
271.77/48.27	o 612 
271.77/48.29	o 613 
272.45/48.31	o 614 
272.45/48.33	o 615 
272.45/48.34	o 616 
272.45/48.37	o 617 
272.45/48.40	o 618 
273.00/48.42	o 619 
273.00/48.44	o 620 
273.00/48.47	o 621 
273.69/48.72	o 622 
274.69/49.70	o 623 
274.78/49.71	o 624 
274.78/49.73	o 625 
274.78/49.75	o 626 
274.78/49.77	o 627 
274.78/49.79	o 628 
275.44/49.81	o 629 
275.44/49.83	o 630 
275.44/49.85	o 631 
275.44/49.87	o 632 
275.44/49.89	o 633 
276.02/49.90	o 634 
276.02/49.92	o 635 
276.02/49.94	o 636 
276.02/49.96	o 637 
276.02/49.97	o 638 
276.02/49.99	o 639 
276.02/50.01	o 640 
276.71/50.03	o 641 
276.71/50.05	o 642 
276.71/50.06	o 643 
276.71/50.08	o 644 
276.71/50.10	o 645 
277.39/50.12	o 646 
277.39/50.14	o 647 
277.39/50.16	o 648 
277.39/50.18	o 649 
277.88/50.20	o 650 
277.88/50.22	o 651 
277.88/50.23	o 652 
277.88/50.25	o 653 
277.88/50.27	o 654 
277.88/50.29	o 655 
278.54/50.31	o 656 
278.54/50.32	o 657 
278.54/50.35	o 658 
278.54/50.37	o 659 
278.54/50.39	o 660 
279.19/50.41	o 661 
279.19/50.43	o 662 
279.19/50.45	o 663 
279.19/50.47	o 664 
279.19/50.49	o 665 
279.76/50.51	o 666 
279.76/50.53	o 667 
279.76/50.55	o 668 
279.76/50.57	o 669 
279.76/50.59	o 670 
280.47/50.61	o 671 
280.47/50.62	o 672 
280.47/50.65	o 673 
280.47/50.67	o 674 
280.47/50.69	o 675 
281.11/50.71	o 676 
281.11/50.72	o 677 
281.11/50.74	o 678 
281.11/50.76	o 679 
281.11/50.78	o 680 
281.11/50.79	o 681 
281.85/50.81	o 682 
281.85/50.83	o 683 
281.85/50.85	o 684 
281.85/50.87	o 685 
281.85/50.89	o 686 
282.48/50.91	o 687 
282.48/50.93	o 688 
282.48/50.94	o 689 
282.48/50.96	o 690 
282.48/51.00	o 691 
282.48/51.02	o 692 
283.16/51.03	o 693 
283.16/51.05	o 694 
283.16/51.08	o 695 
283.16/51.09	o 696 
283.72/51.11	o 697 
283.72/51.13	o 698 
283.72/51.15	o 699 
283.72/51.17	o 700 
283.72/51.19	o 701 
284.34/51.21	o 702 
284.34/51.23	o 703 
284.34/51.24	o 704 
284.34/51.26	o 705 
284.34/51.28	o 706 
284.96/51.30	o 707 
284.96/51.32	o 708 
284.96/51.33	o 709 
284.96/51.35	o 710 
284.96/51.37	o 711 
284.96/51.39	o 712 
285.61/51.41	o 713 
285.61/51.43	o 714 
285.61/51.45	o 715 
285.61/51.47	o 716 
285.61/51.49	o 717 
286.25/51.51	o 718 
286.25/51.53	o 719 
286.25/51.55	o 720 
286.25/51.57	o 721 
286.25/51.59	o 722 
286.89/51.61	o 723 
286.89/51.63	o 724 
286.89/51.65	o 725 
286.89/51.67	o 726 
286.89/51.70	o 727 
287.46/51.71	o 728 
287.46/51.73	o 729 
287.46/51.75	o 730 
287.46/51.78	o 731 
288.07/51.80	o 732 
288.07/51.82	o 733 
288.07/51.84	o 734 
288.07/51.86	o 735 
288.07/51.88	o 736 
288.72/51.90	o 737 
288.72/51.92	o 738 
288.72/51.94	o 739 
288.72/51.96	o 740 
288.72/51.98	o 741 
288.72/52.00	o 742 
289.35/52.02	o 743 
289.35/52.03	o 744 
289.35/52.05	o 745 
289.35/52.07	o 746 
289.90/52.22	o 747 
290.97/53.20	o 748 
290.97/53.21	o 749 
290.97/53.23	o 750 
290.97/53.24	o 751 
290.97/53.26	o 752 
290.97/53.28	o 753 
290.97/53.29	o 754 
291.63/53.31	o 755 
291.63/53.33	o 756 
291.63/53.34	o 757 
291.63/53.36	o 758 
291.63/53.37	o 759 
291.63/53.39	o 760 
292.15/53.40	o 761 
292.15/53.42	o 762 
292.15/53.43	o 763 
292.15/53.46	o 764 
292.15/53.47	o 765 
292.15/53.49	o 766 
292.79/53.51	o 767 
292.79/53.52	o 768 
292.79/53.53	o 769 
292.79/53.55	o 770 
292.79/53.57	o 771 
292.79/53.58	o 772 
292.79/53.60	o 773 
293.35/53.61	o 774 
293.35/53.63	o 775 
293.35/53.66	o 776 
293.78/53.78	o 777 
294.87/54.74	o 778 
294.87/54.76	o 779 
295.13/54.88	o 780 
296.26/55.85	o 781 
296.26/55.88	o 782 
296.53/55.99	o 783 
297.62/56.97	o 784 
297.62/56.99	o 785 
297.62/57.00	o 786 
297.95/57.02	o 787 
297.95/57.04	o 788 
297.95/57.05	o 789 
297.95/57.08	o 790 
298.42/57.19	o 791 
299.51/58.16	o 792 
299.51/58.19	o 793 
299.76/58.29	o 794 
300.84/59.27	o 795 
301.01/59.30	o 796 
301.20/59.40	o 797 
302.17/60.39	o 798 
302.33/60.42	o 799 
302.55/60.52	o 800 
303.70/61.50	o 801 
303.70/61.53	o 802 
303.98/61.62	o 803 
305.06/62.62	o 804 
307.27/63.74	o 805 
307.60/63.85	o 806 
1808.15/252.08	s SATISFIABLE
1808.15/252.08	v <instantiation>
1808.15/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>
1808.15/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>
1808.15/252.08	v </instantiation>
1808.15/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 (15305 MiB free)
  memory of node 1: 16384 MiB (15580 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271797-1502639818/watcher-4271797-1502639818 -o /tmp/evaluation-result-4271797-1502639818/solver-4271797-1502639818 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1294618765 HOME/instance-4271797-1502639818.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=17576, runsolver pid=17573

[startup+0.100133 s]*
/proc/loadavg: 7.77 7.61 6.77 2/203 17597
/proc/meminfo: memFree=31611512/32770624 swapFree=67108860/67108860
[pid=17576] ppid=17573 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17576/stat : 17576 (xcsp3-exec) S 17573 17576 8644 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97069448 9740288 346 33554432000 4194304 5098028 140734323378032 140734323376136 140064846000764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26300416 140734323385450 140734323385660 140734323385660 140734323388395 0
/proc/17576/statm: 2378 346 289 221 0 87 0
[pid=17578] ppid=17576 vsize=25999808 memory=26956 CPUtime=0.12 cores=0-7
/proc/17578/stat : 17578 (java) S 17576 17576 8644 0 -1 1077944320 5684 0 0 0 11 1 0 0 20 0 20 0 97069448 26623803392 6739 33554432000 4194304 4196468 140732711055680 140732711038224 140108526833399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
/proc/17578/statm: 6499952 6739 2848 1 0 6488269 0
[pid=17578/tid=17579] ppid=17576 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17578/task/17579/stat : 17579 (java) R 17576 17576 8644 0 -1 4202560 3684 0 0 0 8 0 0 0 20 0 20 0 97069448 26623803392 6739 33554432000 4194304 4196468 140732711055680 140108531066672 140108510913886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17580] ppid=17576 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17578/task/17580/stat : 17580 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26623803392 6739 33554432000 4194304 4196468 140732711055680 140108479454096 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17581] ppid=17576 vsize=25999808 memory=140478070953600 CPUtime=0 cores=0-7
/proc/17578/task/17581/stat : 17581 (java) S 17576 17576 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97069449 26623803392 6739 33554432000 4194304 4196468 140732711055680 140108478401296 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17582] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17582/stat : 17582 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26623803392 6739 33554432000 4194304 4196468 140732711055680 140108083100816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17583] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17583/stat : 17583 (java) S 17576 17576 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97069449 26623803392 6739 33554432000 4194304 4196468 140732711055680 140108082048016 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17584] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17584/stat : 17584 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26623803392 6739 33554432000 4194304 4196468 140732711055680 140108080994704 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17585] ppid=17576 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17578/task/17585/stat : 17585 (java) S 17576 17576 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97069449 26623803392 6739 33554432000 4194304 4196468 140732711055680 140108079941904 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17586] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17586/stat : 17586 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26623803392 6739 33554432000 4194304 4196468 140732711055680 140108078889616 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17587] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17587/stat : 17587 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26623803392 6739 33554432000 4194304 4196468 140732711055680 140108077836816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17588] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17588/stat : 17588 (java) S 17576 17576 8644 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97069450 26623803392 6739 33554432000 4194304 4196468 140732711055680 140107066628720 140108526844546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17589] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17589/stat : 17589 (java) S 17576 17576 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97069451 26623803392 6739 33554432000 4194304 4196468 140732711055680 140107065574688 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17590] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17590/stat : 17590 (java) S 17576 17576 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97069451 26623803392 6739 33554432000 4194304 4196468 140732711055680 140107064522352 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17591] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17591/stat : 17591 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069454 26623803392 6739 33554432000 4194304 4196468 140732711055680 140107063470672 140108526851995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17592] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17592/stat : 17592 (java) S 17576 17576 8644 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 97069454 26623803392 6739 33554432000 4194304 4196468 140732711055680 140107062417520 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17593] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17593/stat : 17593 (java) R 17576 17576 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97069454 26623803392 6739 33554432000 4194304 4196468 140732711055680 140107061364720 140108526844546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17594] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17594/stat : 17594 (java) S 17576 17576 8644 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97069454 26623803392 6739 33554432000 4194304 4196468 140732711055680 140107060312432 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17595] ppid=17576 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17578/task/17595/stat : 17595 (java) R 17576 17576 8644 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 97069454 26623803392 6739 33554432000 4194304 4196468 140732711055680 140107059259632 140108526844546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17596] ppid=17576 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17596/stat : 17596 (java) S 17576 17576 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97069454 26623803392 6739 33554432000 4194304 4196468 140732711055680 140107058207584 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17597] ppid=17576 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17578/task/17597/stat : 17597 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069454 26623803392 6739 33554432000 4194304 4196468 140732711055680 140107057154864 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28340 KiB

[startup+0.210748 s]*
/proc/loadavg: 7.77 7.61 6.77 5/203 17597
/proc/meminfo: memFree=31600816/32770624 swapFree=67108860/67108860
[pid=17576] ppid=17573 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17576/stat : 17576 (xcsp3-exec) S 17573 17576 8644 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97069448 9740288 346 33554432000 4194304 5098028 140734323378032 140734323376136 140064846000764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26300416 140734323385450 140734323385660 140734323385660 140734323388395 0
/proc/17576/statm: 2378 346 289 221 0 87 0
[pid=17578] ppid=17576 vsize=26004064 memory=39260 CPUtime=0.33 cores=0-7
/proc/17578/stat : 17578 (java) S 17576 17576 8644 0 -1 1077944320 8340 0 0 0 31 2 0 0 20 0 20 0 97069448 26628161536 9815 33554432000 4194304 4196468 140732711055680 140732711038224 140108526833399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
/proc/17578/statm: 6501016 9815 3078 1 0 6488269 0
[pid=17578/tid=17579] ppid=17576 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/17578/task/17579/stat : 17579 (java) R 17576 17576 8644 0 -1 4202560 5431 0 0 0 19 1 0 0 20 0 20 0 97069448 26628161536 9815 33554432000 4194304 4196468 140732711055680 140108531041360 140108510913886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17580] ppid=17576 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/17578/task/17580/stat : 17580 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 9815 33554432000 4194304 4196468 140732711055680 140108479454096 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17581] ppid=17576 vsize=26004064 memory=140478070964356 CPUtime=0 cores=0-7
/proc/17578/task/17581/stat : 17581 (java) S 17576 17576 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 9815 33554432000 4194304 4196468 140732711055680 140108478401296 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17582] ppid=17576 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17578/task/17582/stat : 17582 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 9815 33554432000 4194304 4196468 140732711055680 140108083100816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17583] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17583/stat : 17583 (java) S 17576 17576 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 9815 33554432000 4194304 4196468 140732711055680 140108082048016 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17584] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17584/stat : 17584 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 9815 33554432000 4194304 4196468 140732711055680 140108080994704 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17585] ppid=17576 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17578/task/17585/stat : 17585 (java) S 17576 17576 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 9815 33554432000 4194304 4196468 140732711055680 140108079941904 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17586] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17586/stat : 17586 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 9815 33554432000 4194304 4196468 140732711055680 140108078889616 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17587] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17587/stat : 17587 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 9815 33554432000 4194304 4196468 140732711055680 140108077836816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17588] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17588/stat : 17588 (java) S 17576 17576 8644 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97069450 26628161536 9815 33554432000 4194304 4196468 140732711055680 140107066628720 140108526844546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17589] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17589/stat : 17589 (java) S 17576 17576 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97069451 26628161536 9815 33554432000 4194304 4196468 140732711055680 140107065574688 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17590] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17590/stat : 17590 (java) S 17576 17576 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97069451 26628161536 9815 33554432000 4194304 4196468 140732711055680 140107064522352 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17591] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17591/stat : 17591 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069454 26628161536 9815 33554432000 4194304 4196468 140732711055680 140107063470672 140108526851995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17592] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17592/stat : 17592 (java) S 17576 17576 8644 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 20 0 97069454 26628161536 9815 33554432000 4194304 4196468 140732711055680 140107062417520 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17593] ppid=17576 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17578/task/17593/stat : 17593 (java) S 17576 17576 8644 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 20 0 97069454 26628161536 9815 33554432000 4194304 4196468 140732711055680 140107061364720 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17594] ppid=17576 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/17578/task/17594/stat : 17594 (java) S 17576 17576 8644 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 97069454 26628161536 9815 33554432000 4194304 4196468 140732711055680 140107060312432 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17595] ppid=17576 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/17578/task/17595/stat : 17595 (java) R 17576 17576 8644 0 -1 4202560 690 0 0 0 7 0 0 0 20 0 20 0 97069454 26628161536 9815 33554432000 4194304 4196468 140732711055680 140107059259632 140108506192372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17596] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17596/stat : 17596 (java) S 17576 17576 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97069454 26628161536 9815 33554432000 4194304 4196468 140732711055680 140107058207584 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17597] ppid=17576 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17578/task/17597/stat : 17597 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069454 26628161536 9815 33554432000 4194304 4196468 140732711055680 140107057154864 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40644 KiB

[startup+0.310495 s]*
/proc/loadavg: 7.77 7.61 6.77 2/203 17597
/proc/meminfo: memFree=31597448/32770624 swapFree=67108860/67108860
[pid=17576] ppid=17573 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17576/stat : 17576 (xcsp3-exec) S 17573 17576 8644 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97069448 9740288 346 33554432000 4194304 5098028 140734323378032 140734323376136 140064846000764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26300416 140734323385450 140734323385660 140734323385660 140734323388395 0
/proc/17576/statm: 2378 346 289 221 0 87 0
[pid=17578] ppid=17576 vsize=26004064 memory=44164 CPUtime=0.49 cores=0-7
/proc/17578/stat : 17578 (java) S 17576 17576 8644 0 -1 1077944320 9238 0 0 0 47 2 0 0 20 0 20 0 97069448 26628161536 11041 33554432000 4194304 4196468 140732711055680 140732711038224 140108526833399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
/proc/17578/statm: 6501016 11041 3099 1 0 6488269 0
[pid=17578/tid=17579] ppid=17576 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17578/task/17579/stat : 17579 (java) R 17576 17576 8644 0 -1 4202560 6101 0 0 0 28 1 0 0 20 0 20 0 97069448 26628161536 11553 33554432000 4194304 4196468 140732711055680 140108531071760 140108160043439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17580] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17580/stat : 17580 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 11553 33554432000 4194304 4196468 140732711055680 140108479454096 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17581] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17581/stat : 17581 (java) S 17576 17576 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 11553 33554432000 4194304 4196468 140732711055680 140108478401296 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17582] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17582/stat : 17582 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 11553 33554432000 4194304 4196468 140732711055680 140108083100816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17583] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17583/stat : 17583 (java) S 17576 17576 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 11553 33554432000 4194304 4196468 140732711055680 140108082048016 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17584] ppid=17576 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17578/task/17584/stat : 17584 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 11553 33554432000 4194304 4196468 140732711055680 140108080994704 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17585] ppid=17576 vsize=26004064 memory=140477911364527 CPUtime=0 cores=0-7
/proc/17578/task/17585/stat : 17585 (java) S 17576 17576 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 11553 33554432000 4194304 4196468 140732711055680 140108079941904 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17586] ppid=17576 vsize=26004064 memory=140477911366832 CPUtime=0 cores=0-7
/proc/17578/task/17586/stat : 17586 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 11553 33554432000 4194304 4196468 140732711055680 140108078889616 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17587] ppid=17576 vsize=26004064 memory=140477911369136 CPUtime=0 cores=0-7
/proc/17578/task/17587/stat : 17587 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26628161536 11553 33554432000 4194304 4196468 140732711055680 140108077836816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17588] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17588/stat : 17588 (java) S 17576 17576 8644 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97069450 26628161536 11553 33554432000 4194304 4196468 140732711055680 140107066628720 140108526844546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17589] ppid=17576 vsize=26004064 memory=280955822745232 CPUtime=0 cores=0-7
/proc/17578/task/17589/stat : 17589 (java) S 17576 17576 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97069451 26628161536 11553 33554432000 4194304 4196468 140732711055680 140107065574688 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17590] ppid=17576 vsize=26004064 memory=280955822752144 CPUtime=0 cores=0-7
/proc/17578/task/17590/stat : 17590 (java) S 17576 17576 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97069451 26628161536 11553 33554432000 4194304 4196468 140732711055680 140107064522352 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17591] ppid=17576 vsize=26004064 memory=280955822693424 CPUtime=0 cores=0-7
/proc/17578/task/17591/stat : 17591 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069454 26628161536 11553 33554432000 4194304 4196468 140732711055680 140107063470672 140108526851995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17592] ppid=17576 vsize=26004064 memory=280955822765968 CPUtime=0.01 cores=0-7
/proc/17578/task/17592/stat : 17592 (java) S 17576 17576 8644 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 20 0 97069454 26628161536 11553 33554432000 4194304 4196468 140732711055680 140107062417520 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17593] ppid=17576 vsize=26004064 memory=280955822772880 CPUtime=0.02 cores=0-7
/proc/17578/task/17593/stat : 17593 (java) S 17576 17576 8644 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 20 0 97069454 26628161536 11553 33554432000 4194304 4196468 140732711055680 140107061364720 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17594] ppid=17576 vsize=26004064 memory=280955822770576 CPUtime=0.02 cores=0-7
/proc/17578/task/17594/stat : 17594 (java) R 17576 17576 8644 0 -1 4202560 262 0 0 0 2 0 0 0 20 0 20 0 97069454 26628161536 11553 33554432000 4194304 4196468 140732711055680 140107060312432 140108519818441 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17595] ppid=17576 vsize=26004064 memory=280955822786736 CPUtime=0.12 cores=0-7
/proc/17578/task/17595/stat : 17595 (java) R 17576 17576 8644 0 -1 4202560 803 0 0 0 12 0 0 0 20 0 20 0 97069454 26628161536 11553 33554432000 4194304 4196468 140732711055680 140107059259632 140108518788243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17596] ppid=17576 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17596/stat : 17596 (java) S 17576 17576 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97069454 26628161536 11553 33554432000 4194304 4196468 140732711055680 140107058207584 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17597] ppid=17576 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17578/task/17597/stat : 17597 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069454 26628161536 11553 33554432000 4194304 4196468 140732711055680 140107057154864 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45548 KiB

[startup+0.701041 s]
/proc/loadavg: 7.77 7.61 6.77 5/203 17597
/proc/meminfo: memFree=31572508/32770624 swapFree=67108860/67108860
[pid=17576] ppid=17573 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17576/stat : 17576 (xcsp3-exec) S 17573 17576 8644 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97069448 9740288 346 33554432000 4194304 5098028 140734323378032 140734323376136 140064846000764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26300416 140734323385450 140734323385660 140734323385660 140734323388395 0
/proc/17576/statm: 2378 346 289 221 0 87 0
[pid=17578] ppid=17576 vsize=26006188 memory=95924 CPUtime=1.86 cores=0-7
/proc/17578/stat : 17578 (java) S 17576 17576 8644 0 -1 1077944320 13487 0 0 0 182 4 0 0 20 0 20 0 97069448 26630336512 23981 33554432000 4194304 4196468 140732711055680 140732711038224 140108526833399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
/proc/17578/statm: 6501547 23981 3200 1 0 6488781 0
[pid=17578/tid=17579] ppid=17576 vsize=26006188 memory=280955823144624 CPUtime=0.67 cores=0-7
/proc/17578/task/17579/stat : 17579 (java) R 17576 17576 8644 0 -1 4202560 6512 0 0 0 65 2 0 0 20 0 20 0 97069448 26630336512 23981 33554432000 4194304 4196468 140732711055680 140108531059936 140108526845334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17580] ppid=17576 vsize=26006188 memory=140477911573360 CPUtime=0 cores=0-7
/proc/17578/task/17580/stat : 17580 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26630336512 23981 33554432000 4194304 4196468 140732711055680 140108479454096 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17581] ppid=17576 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/17578/task/17581/stat : 17581 (java) S 17576 17576 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97069449 26630336512 23981 33554432000 4194304 4196468 140732711055680 140108478401296 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17582] ppid=17576 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/17578/task/17582/stat : 17582 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97069449 26630336512 23981 33554432000 4194304 4196468 140732711055680 140108083100816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0

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

[pid=17578/tid=23911] ppid=17576 vsize=26541776 memory=4430440 CPUtime=98.32 cores=0-7
/proc/17578/task/23911/stat : 23911 (java) R 17576 17576 8644 0 -1 4202560 2659 0 0 0 9831 1 0 0 20 0 28 0 97075834 27178778624 1107610 33554432000 4194304 4196468 140732711055680 140107043324648 140108168236462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
Current children cumulated CPU time: 1092.69 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4431824 KiB

[startup+222.302 s]
/proc/loadavg: 7.81 7.43 6.84 9/207 23911
/proc/meminfo: memFree=27226756/32770624 swapFree=67108860/67108860
[pid=17576] ppid=17573 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17576/stat : 17576 (xcsp3-exec) S 17573 17576 8644 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97069448 9740288 346 33554432000 4194304 5098028 140734323378032 140734323376136 140064846000764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26300416 140734323385450 140734323385660 140734323385660 140734323388395 0
/proc/17576/statm: 2378 346 289 221 0 87 0
[pid=17578] ppid=17576 vsize=26541776 memory=4406784 CPUtime=1571.2 cores=0-7
/proc/17578/stat : 17578 (java) S 17576 17576 8644 0 -1 1077944320 208118 0 0 0 156743 377 0 0 20 0 28 0 97069448 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140732711038224 140108526833399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
/proc/17578/statm: 6635444 1101696 3290 1 0 6622678 0
[pid=17578/tid=17579] ppid=17576 vsize=26541776 memory=4406784 CPUtime=6.11 cores=0-7
/proc/17578/task/17579/stat : 17579 (java) S 17576 17576 8644 0 -1 1077944384 11262 0 0 0 597 14 0 0 20 0 28 0 97069448 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140108531074112 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17580] ppid=17576 vsize=26541776 memory=4430440 CPUtime=0.37 cores=0-7
/proc/17578/task/17580/stat : 17580 (java) S 17576 17576 8644 0 -1 1077944384 2267 0 0 0 28 9 0 0 20 0 28 0 97069449 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140108479454096 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17581] ppid=17576 vsize=26541776 memory=1384 CPUtime=0.37 cores=0-7
/proc/17578/task/17581/stat : 17581 (java) S 17576 17576 8644 0 -1 1077944384 1622 0 0 0 27 10 0 0 20 0 28 0 97069449 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140108478401296 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17582] ppid=17576 vsize=26541776 memory=4416564 CPUtime=0.35 cores=0-7
/proc/17578/task/17582/stat : 17582 (java) S 17576 17576 8644 0 -1 1077944384 1809 0 0 0 26 9 0 0 20 0 28 0 97069449 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140108083100816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17583] ppid=17576 vsize=26541776 memory=4416564 CPUtime=0.39 cores=0-7
/proc/17578/task/17583/stat : 17583 (java) S 17576 17576 8644 0 -1 1077944384 1239 0 0 0 28 11 0 0 20 0 28 0 97069449 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140108082048016 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17584] ppid=17576 vsize=26541776 memory=4416564 CPUtime=0.37 cores=0-7
/proc/17578/task/17584/stat : 17584 (java) S 17576 17576 8644 0 -1 1077944384 1266 0 0 0 27 10 0 0 20 0 28 0 97069449 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140108080994704 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17585] ppid=17576 vsize=26541776 memory=4417584 CPUtime=0.36 cores=0-7
/proc/17578/task/17585/stat : 17585 (java) S 17576 17576 8644 0 -1 1077944384 1256 0 0 0 25 11 0 0 20 0 28 0 97069449 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140108079941904 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17586] ppid=17576 vsize=26541776 memory=1384 CPUtime=0.35 cores=0-7
/proc/17578/task/17586/stat : 17586 (java) S 17576 17576 8644 0 -1 1077944384 533 0 0 0 25 10 0 0 20 0 28 0 97069449 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140108078889616 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17587] ppid=17576 vsize=26541776 memory=4406784 CPUtime=0.31 cores=0-7
/proc/17578/task/17587/stat : 17587 (java) S 17576 17576 8644 0 -1 1077944384 651 0 0 0 23 8 0 0 20 0 28 0 97069449 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140108077836816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17588] ppid=17576 vsize=26541776 memory=1384 CPUtime=0.09 cores=0-7
/proc/17578/task/17588/stat : 17588 (java) S 17576 17576 8644 0 -1 1077944384 5576 0 0 0 7 2 0 0 20 0 28 0 97069450 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107066628720 140108526844546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17589] ppid=17576 vsize=26541776 memory=4406784 CPUtime=0 cores=0-7
/proc/17578/task/17589/stat : 17589 (java) S 17576 17576 8644 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 97069451 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107065574752 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17590] ppid=17576 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/17578/task/17590/stat : 17590 (java) S 17576 17576 8644 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 97069451 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107064522368 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17591] ppid=17576 vsize=26541776 memory=4406784 CPUtime=0 cores=0-7
/proc/17578/task/17591/stat : 17591 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97069454 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107063470672 140108526851995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17592] ppid=17576 vsize=26541776 memory=4406784 CPUtime=4.52 cores=0-7
/proc/17578/task/17592/stat : 17592 (java) S 17576 17576 8644 0 -1 1077944384 28302 0 0 0 446 6 0 0 20 0 28 0 97069454 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107062417520 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17593] ppid=17576 vsize=26541776 memory=1384 CPUtime=4.48 cores=0-7
/proc/17578/task/17593/stat : 17593 (java) S 17576 17576 8644 0 -1 1077944384 23833 0 0 0 445 3 0 0 20 0 28 0 97069454 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107061364720 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17594] ppid=17576 vsize=26541776 memory=280955826794112 CPUtime=4.08 cores=0-7
/proc/17578/task/17594/stat : 17594 (java) S 17576 17576 8644 0 -1 1077944384 24506 0 0 0 404 4 0 0 20 0 28 0 97069454 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107060312432 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17595] ppid=17576 vsize=26541776 memory=4406784 CPUtime=1.3 cores=0-7
/proc/17578/task/17595/stat : 17595 (java) S 17576 17576 8644 0 -1 1077944384 18531 0 0 0 127 3 0 0 20 0 28 0 97069454 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107059259632 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17596] ppid=17576 vsize=26541776 memory=4406784 CPUtime=0 cores=0-7
/proc/17578/task/17596/stat : 17596 (java) S 17576 17576 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97069454 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107058207584 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17597] ppid=17576 vsize=26541776 memory=1384 CPUtime=0.07 cores=0-7
/proc/17578/task/17597/stat : 17597 (java) S 17576 17576 8644 0 -1 1077944384 3244 0 0 0 1 6 0 0 20 0 28 0 97069454 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107057154864 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23904] ppid=17576 vsize=26541776 memory=4417584 CPUtime=158.2 cores=0-7
/proc/17578/task/23904/stat : 23904 (java) R 17576 17576 8644 0 -1 4202560 2223 0 0 0 15816 4 0 0 20 0 28 0 97075833 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107047535032 140108168322002 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23905] ppid=17576 vsize=26541776 memory=1384 CPUtime=158.29 cores=0-7
/proc/17578/task/23905/stat : 23905 (java) R 17576 17576 8644 0 -1 4202560 1765 0 0 0 15828 1 0 0 20 0 28 0 97075833 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107049641480 140108168236457 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23906] ppid=17576 vsize=26541776 memory=1384 CPUtime=157.85 cores=0-7
/proc/17578/task/23906/stat : 23906 (java) R 17576 17576 8644 0 -1 4202560 1203 0 0 0 15782 3 0 0 20 0 28 0 97075834 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107048588168 140108168236462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23907] ppid=17576 vsize=26541776 memory=4100 CPUtime=156.06 cores=0-7
/proc/17578/task/23907/stat : 23907 (java) R 17576 17576 8644 0 -1 4202560 3333 0 0 0 15603 3 0 0 20 0 28 0 97075834 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107041219224 140108167893931 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23908] ppid=17576 vsize=26541776 memory=1384 CPUtime=157.77 cores=0-7
/proc/17578/task/23908/stat : 23908 (java) R 17576 17576 8644 0 -1 4202560 11700 0 0 0 15729 48 0 0 20 0 28 0 97075834 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107042272224 140108168850874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23909] ppid=17576 vsize=26541776 memory=4406784 CPUtime=158.24 cores=0-7
/proc/17578/task/23909/stat : 23909 (java) R 17576 17576 8644 0 -1 4202560 1780 0 0 0 15822 2 0 0 20 0 28 0 97075834 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107045430200 140108161185476 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23910] ppid=17576 vsize=26541776 memory=1156 CPUtime=157.77 cores=0-7
/proc/17578/task/23910/stat : 23910 (java) R 17576 17576 8644 0 -1 4202560 2252 0 0 0 15774 3 0 0 20 0 28 0 97075834 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107046482696 140108168236297 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23911] ppid=17576 vsize=26541776 memory=4406784 CPUtime=158.25 cores=0-7
/proc/17578/task/23911/stat : 23911 (java) R 17576 17576 8644 0 -1 4202560 3979 0 0 0 15821 4 0 0 20 0 28 0 97075834 27178778624 1101696 33554432000 4194304 4196468 140732711055680 140107043324872 140108169989327 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
Current children cumulated CPU time: 1571.2 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4408168 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.88 7.48 6.88 9/207 23911
/proc/meminfo: memFree=27225724/32770624 swapFree=67108860/67108860
[pid=17576] ppid=17573 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17576/stat : 17576 (xcsp3-exec) S 17573 17576 8644 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97069448 9740288 346 33554432000 4194304 5098028 140734323378032 140734323376136 140064846000764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26300416 140734323385450 140734323385660 140734323385660 140734323388395 0
/proc/17576/statm: 2378 346 289 221 0 87 0
[pid=17578] ppid=17576 vsize=26541776 memory=4408832 CPUtime=1808.15 cores=0-7
/proc/17578/stat : 17578 (java) S 17576 17576 8644 0 -1 1077944320 221292 0 0 0 180427 388 0 0 20 0 28 0 97069448 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140732711038224 140108526833399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
/proc/17578/statm: 6635444 1102208 3290 1 0 6622678 0
[pid=17578/tid=17579] ppid=17576 vsize=26541776 memory=6791534058613427641 CPUtime=6.11 cores=0-7
/proc/17578/task/17579/stat : 17579 (java) S 17576 17576 8644 0 -1 1077944384 11262 0 0 0 597 14 0 0 20 0 28 0 97069448 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140108531074112 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17580] ppid=17576 vsize=26541776 memory=1568 CPUtime=0.38 cores=0-7
/proc/17578/task/17580/stat : 17580 (java) S 17576 17576 8644 0 -1 1077944384 2298 0 0 0 29 9 0 0 20 0 28 0 97069449 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140108479454096 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17581] ppid=17576 vsize=26541776 memory=2240 CPUtime=0.38 cores=0-7
/proc/17578/task/17581/stat : 17581 (java) S 17576 17576 8644 0 -1 1077944384 1651 0 0 0 28 10 0 0 20 0 28 0 97069449 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140108478401296 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17582] ppid=17576 vsize=26541776 memory=4124 CPUtime=0.35 cores=0-7
/proc/17578/task/17582/stat : 17582 (java) S 17576 17576 8644 0 -1 1077944384 1870 0 0 0 26 9 0 0 20 0 28 0 97069449 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140108083100816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17583] ppid=17576 vsize=26541776 memory=4126316290023845779 CPUtime=0.39 cores=0-7
/proc/17578/task/17583/stat : 17583 (java) S 17576 17576 8644 0 -1 1077944384 1254 0 0 0 28 11 0 0 20 0 28 0 97069449 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140108082048016 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17584] ppid=17576 vsize=26541776 memory=1568 CPUtime=0.38 cores=0-7
/proc/17578/task/17584/stat : 17584 (java) S 17576 17576 8644 0 -1 1077944384 1278 0 0 0 28 10 0 0 20 0 28 0 97069449 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140108080994704 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17585] ppid=17576 vsize=26541776 memory=2240 CPUtime=0.37 cores=0-7
/proc/17578/task/17585/stat : 17585 (java) S 17576 17576 8644 0 -1 1077944384 1695 0 0 0 26 11 0 0 20 0 28 0 97069449 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140108079941904 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17586] ppid=17576 vsize=26541776 memory=4124 CPUtime=0.35 cores=0-7
/proc/17578/task/17586/stat : 17586 (java) S 17576 17576 8644 0 -1 1077944384 573 0 0 0 25 10 0 0 20 0 28 0 97069449 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140108078889616 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17587] ppid=17576 vsize=26541776 memory=2196 CPUtime=0.31 cores=0-7
/proc/17578/task/17587/stat : 17587 (java) S 17576 17576 8644 0 -1 1077944384 654 0 0 0 23 8 0 0 20 0 28 0 97069449 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140108077836816 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17588] ppid=17576 vsize=26541776 memory=6764 CPUtime=0.09 cores=0-7
/proc/17578/task/17588/stat : 17588 (java) S 17576 17576 8644 0 -1 1077944384 5870 0 0 0 7 2 0 0 20 0 28 0 97069450 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107066628720 140108526844546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17589] ppid=17576 vsize=26541776 memory=840 CPUtime=0 cores=0-7
/proc/17578/task/17589/stat : 17589 (java) S 17576 17576 8644 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 97069451 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107065574752 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17590] ppid=17576 vsize=26541776 memory=4104 CPUtime=0 cores=0-7
/proc/17578/task/17590/stat : 17590 (java) S 17576 17576 8644 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 97069451 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107064522368 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17591] ppid=17576 vsize=26541776 memory=1692 CPUtime=0 cores=0-7
/proc/17578/task/17591/stat : 17591 (java) S 17576 17576 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97069454 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107063470672 140108526851995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17592] ppid=17576 vsize=26541776 memory=916 CPUtime=4.52 cores=0-7
/proc/17578/task/17592/stat : 17592 (java) S 17576 17576 8644 0 -1 1077944384 28841 0 0 0 446 6 0 0 20 0 28 0 97069454 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107062417520 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17593] ppid=17576 vsize=26541776 memory=4380 CPUtime=4.54 cores=0-7
/proc/17578/task/17593/stat : 17593 (java) S 17576 17576 8644 0 -1 1077944384 26251 0 0 0 451 3 0 0 20 0 28 0 97069454 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107061364720 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17594] ppid=17576 vsize=26541776 memory=1156 CPUtime=4.1 cores=0-7
/proc/17578/task/17594/stat : 17594 (java) S 17576 17576 8644 0 -1 1077944384 26228 0 0 0 406 4 0 0 20 0 28 0 97069454 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107060312432 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17595] ppid=17576 vsize=26541776 memory=4276 CPUtime=1.3 cores=0-7
/proc/17578/task/17595/stat : 17595 (java) S 17576 17576 8644 0 -1 1077944384 18555 0 0 0 127 3 0 0 20 0 28 0 97069454 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107059259632 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17596] ppid=17576 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/17578/task/17596/stat : 17596 (java) S 17576 17576 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97069454 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107058207584 140108526843605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=17597] ppid=17576 vsize=26541776 memory=4292 CPUtime=0.09 cores=0-7
/proc/17578/task/17597/stat : 17597 (java) S 17576 17576 8644 0 -1 1077944384 3513 0 0 0 2 7 0 0 20 0 28 0 97069454 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107057154864 140108526844546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23904] ppid=17576 vsize=26541776 memory=288230587427455269 CPUtime=187.9 cores=0-7
/proc/17578/task/23904/stat : 23904 (java) R 17576 17576 8644 0 -1 4202560 2869 0 0 0 18785 5 0 0 20 0 28 0 97075833 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107047537680 140108168321276 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23905] ppid=17576 vsize=26541776 memory=14131151895791427 CPUtime=187.99 cores=0-7
/proc/17578/task/23905/stat : 23905 (java) R 17576 17576 8644 0 -1 4202560 2259 0 0 0 18798 1 0 0 20 0 28 0 97075833 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107049641400 140108168321356 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23906] ppid=17576 vsize=26541776 memory=6791534058613427641 CPUtime=187.47 cores=0-7
/proc/17578/task/23906/stat : 23906 (java) R 17576 17576 8644 0 -1 4202560 1616 0 0 0 18744 3 0 0 20 0 28 0 97075834 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107048588024 140108168236462 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23907] ppid=17576 vsize=26541776 memory=4126316290023845779 CPUtime=185.13 cores=0-7
/proc/17578/task/23907/stat : 23907 (java) R 17576 17576 8644 0 -1 4202560 4691 0 0 0 18509 4 0 0 20 0 28 0 97075834 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107041218944 140108168236462 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23908] ppid=17576 vsize=26541776 memory=4104 CPUtime=187.46 cores=0-7
/proc/17578/task/23908/stat : 23908 (java) R 17576 17576 8644 0 -1 4202560 14257 0 0 0 18692 54 0 0 20 0 28 0 97075834 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107042272168 140108163344985 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23909] ppid=17576 vsize=26541776 memory=1692 CPUtime=187.9 cores=0-7
/proc/17578/task/23909/stat : 23909 (java) R 17576 17576 8644 0 -1 4202560 2242 0 0 0 18788 2 0 0 20 0 28 0 97075834 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107045430200 140108169941473 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23910] ppid=17576 vsize=26541776 memory=916 CPUtime=187.47 cores=0-7
/proc/17578/task/23910/stat : 23910 (java) R 17576 17576 8644 0 -1 4202560 2584 0 0 0 18743 4 0 0 20 0 28 0 97075834 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107046482904 140108169118882 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
[pid=17578/tid=23911] ppid=17576 vsize=26541776 memory=27852 CPUtime=187.94 cores=0-7
/proc/17578/task/23911/stat : 23911 (java) R 17576 17576 8644 0 -1 4202560 4996 0 0 0 18788 6 0 0 20 0 28 0 97075834 27178778624 1102208 33554432000 4194304 4196468 140732711055680 140107043325192 140108162333847 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11165696 140732711060632 140732711060808 140732711060808 140732711063503 0
Current children cumulated CPU time: 1808.15 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4410216 KiB

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

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

[startup+252.122 s]
# the end of solver process 17578 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1804.95 s, system=3.91559 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.122
CPU time (s): 1808.87
CPU user time (s): 1804.95
CPU system time (s): 3.91559
CPU usage (%): 717.458
Max. virtual memory (cumulated for all children) (KiB): 26552056
Max. memory (cumulated for all children) (KiB): 4449788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1804.95
system time used= 3.91559
maximum resident set size= 4451300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223726
page faults= 0
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60042
involuntary context switches= 19047


# summary of solver processes directly reported to runsolver:
#   pid: 17576,17578
#   total CPU time (s): 1808.87
#   total CPU user time (s): 1804.95
#   total CPU system time (s): 3.91559

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.96039 second user time and 3.2699 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-13 17:42:40
IDJOB=4271797
IDBENCH=115914
IDSOLVER=2663
FILE ID=node113/4271797-1502639818
RUNJOBID= node113-1502637253-8671
PBS_JOBID= 20628327
Free space on /tmp= 61788 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-4271797-1502639818/watcher-4271797-1502639818 -o /tmp/evaluation-result-4271797-1502639818/solver-4271797-1502639818 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1294618765 HOME/instance-4271797-1502639818.xml

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=1294618765

node113.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.89
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.89
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.89
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.89
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:        31628200 kB
MemAvailable:   31985016 kB
Buffers:          119376 kB
Cached:           524156 kB
SwapCached:            0 kB
Active:           520856 kB
Inactive:         177284 kB
Active(anon):       4792 kB
Inactive(anon):    77700 kB
Active(file):     516064 kB
Inactive(file):    99584 kB
Unevictable:        6572 kB
Mlocked:            6572 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7996 kB
Writeback:             0 kB
AnonPages:        154460 kB
Mapped:            43548 kB
Shmem:             25224 kB
Slab:             140092 kB
SReclaimable:     114004 kB
SUnreclaim:        26088 kB
KernelStack:        3696 kB
PageTables:         5400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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= 61780 MiB
End job on node113 at 2017-08-13 17:46:52