Trace number 4270807

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)808 19853 2520.1499

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 benchmark857
Best CPU time to get the best result obtained on this benchmark2400.03
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-4270807-1502671135.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270807-1502671135.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
10.80/5.27	c solve instance...
26.68/7.38	o 0 
27.85/7.79	o 4 
29.60/9.02	o 6 
29.60/9.08	o 8 
29.60/9.10	o 10 
30.22/9.12	o 12 
30.22/9.14	o 14 
30.22/9.19	o 16 
30.69/9.23	o 18 
31.41/9.32	o 20 
32.20/9.44	o 22 
32.90/9.58	o 24 
36.02/9.97	o 26 
39.89/10.40	o 28 
51.01/12.42	o 30 
70.49/15.00	o 32 
99.38/18.85	o 34 
188.87/30.77	o 36 
221.14/35.20	o 37 
222.29/36.30	o 38 
222.29/36.32	o 39 
222.29/36.33	o 40 
222.29/36.35	o 41 
222.29/36.36	o 42 
222.29/36.38	o 43 
222.29/36.39	o 44 
222.69/36.40	o 45 
222.69/36.42	o 46 
222.69/36.43	o 47 
222.69/36.45	o 48 
222.69/36.46	o 49 
222.69/36.47	o 50 
222.69/36.48	o 51 
222.69/36.49	o 52 
223.23/36.50	o 53 
223.23/36.52	o 54 
223.23/36.53	o 55 
223.23/36.54	o 56 
223.23/36.55	o 57 
223.23/36.57	o 58 
223.23/36.58	o 59 
223.23/36.59	o 60 
223.23/36.61	o 61 
223.71/36.61	o 62 
223.71/36.63	o 63 
223.71/36.64	o 64 
223.71/36.66	o 65 
223.71/36.67	o 66 
223.71/36.69	o 67 
224.11/36.70	o 68 
224.11/36.71	o 69 
224.11/36.73	o 70 
224.11/36.74	o 71 
224.11/36.75	o 72 
224.11/36.77	o 73 
224.11/36.78	o 74 
224.11/36.80	o 75 
224.53/36.81	o 76 
224.53/36.82	o 77 
224.53/36.83	o 78 
224.53/36.86	o 79 
224.53/36.87	o 80 
224.53/36.88	o 81 
224.53/36.88	o 82 
224.99/36.90	o 83 
224.99/36.91	o 84 
224.99/36.92	o 85 
224.99/36.94	o 86 
224.99/36.95	o 87 
224.99/36.97	o 88 
224.99/36.98	o 89 
224.99/36.99	o 90 
224.99/37.01	o 91 
225.45/37.02	o 92 
225.45/37.03	o 93 
225.45/37.04	o 94 
225.45/37.05	o 95 
225.45/37.07	o 96 
225.45/37.08	o 97 
225.45/37.09	o 98 
225.45/37.10	o 99 
225.94/37.11	o 100 
225.94/37.12	o 101 
225.94/37.14	o 102 
225.94/37.15	o 103 
225.94/37.16	o 104 
225.94/37.17	o 105 
225.94/37.18	o 106 
225.94/37.19	o 107 
225.94/37.20	o 108 
226.39/37.21	o 109 
226.39/37.23	o 110 
226.39/37.23	o 111 
226.39/37.25	o 112 
226.39/37.26	o 113 
226.39/37.27	o 114 
226.39/37.28	o 115 
226.39/37.29	o 116 
226.39/37.30	o 117 
226.94/37.31	o 118 
226.94/37.32	o 119 
226.94/37.33	o 120 
226.94/37.34	o 121 
226.94/37.35	o 122 
226.94/37.36	o 123 
226.94/37.37	o 124 
226.94/37.38	o 125 
227.44/37.40	o 126 
227.44/37.41	o 127 
227.44/37.42	o 128 
227.44/37.43	o 129 
227.44/37.45	o 130 
227.44/37.46	o 131 
227.44/37.47	o 132 
227.44/37.48	o 133 
227.44/37.49	o 134 
227.95/37.50	o 135 
227.95/37.51	o 136 
227.95/37.53	o 137 
227.95/37.54	o 138 
227.95/37.55	o 139 
227.95/37.56	o 140 
227.95/37.58	o 141 
227.95/37.59	o 142 
228.44/37.60	o 143 
228.44/37.61	o 144 
228.44/37.62	o 145 
228.44/37.64	o 146 
228.44/37.65	o 147 
228.44/37.66	o 148 
228.44/37.67	o 149 
228.44/37.69	o 150 
228.91/37.70	o 151 
228.91/37.71	o 152 
228.91/37.72	o 153 
228.91/37.73	o 154 
228.91/37.75	o 155 
228.91/37.76	o 156 
228.91/37.77	o 157 
228.91/37.78	o 158 
229.36/37.80	o 159 
229.36/37.81	o 160 
229.36/37.83	o 161 
229.36/37.84	o 162 
229.36/37.85	o 163 
229.36/37.86	o 164 
229.36/37.88	o 165 
229.36/37.89	o 166 
229.87/37.90	o 167 
229.87/37.92	o 168 
229.87/37.93	o 169 
229.87/37.94	o 170 
229.87/37.95	o 171 
229.87/37.96	o 172 
229.87/37.97	o 173 
229.87/37.99	o 174 
229.87/38.00	o 175 
230.40/38.02	o 176 
230.40/38.03	o 177 
230.40/38.04	o 178 
230.40/38.05	o 179 
230.40/38.07	o 180 
230.40/38.08	o 181 
230.40/38.09	o 182 
230.40/38.10	o 183 
230.93/38.11	o 184 
230.93/38.12	o 185 
230.93/38.13	o 186 
230.93/38.15	o 187 
230.93/38.16	o 188 
230.93/38.17	o 189 
230.93/38.19	o 190 
231.34/38.20	o 191 
231.34/38.21	o 192 
231.34/38.22	o 193 
231.34/38.23	o 194 
231.34/38.25	o 195 
231.34/38.26	o 196 
231.34/38.27	o 197 
231.34/38.28	o 198 
231.34/38.30	o 199 
231.82/38.31	o 200 
231.82/38.32	o 201 
231.82/38.33	o 202 
231.82/38.34	o 203 
231.82/38.36	o 204 
231.82/38.37	o 205 
231.82/38.38	o 206 
231.82/38.40	o 207 
232.33/38.41	o 208 
232.33/38.42	o 209 
232.33/38.43	o 210 
232.33/38.44	o 211 
232.33/38.47	o 212 
233.13/38.97	o 213 
234.29/40.02	o 214 
234.29/40.03	o 215 
234.29/40.04	o 216 
234.29/40.06	o 217 
234.29/40.07	o 218 
234.29/40.08	o 219 
234.29/40.09	o 220 
234.72/40.11	o 221 
234.72/40.13	o 222 
234.72/40.14	o 223 
234.72/40.15	o 224 
234.72/40.17	o 225 
234.72/40.18	o 226 
234.72/40.19	o 227 
235.15/40.21	o 228 
235.15/40.22	o 229 
235.15/40.24	o 230 
235.15/40.25	o 231 
235.15/40.26	o 232 
235.15/40.28	o 233 
235.15/40.29	o 234 
235.67/40.31	o 235 
235.67/40.32	o 236 
235.67/40.33	o 237 
235.67/40.34	o 238 
235.67/40.36	o 239 
235.67/40.37	o 240 
235.67/40.39	o 241 
236.10/40.41	o 242 
236.10/40.42	o 243 
236.10/40.43	o 244 
236.10/40.45	o 245 
236.10/40.46	o 246 
236.10/40.47	o 247 
236.10/40.49	o 248 
236.10/40.50	o 249 
236.57/40.51	o 250 
236.57/40.52	o 251 
236.57/40.54	o 252 
236.57/40.55	o 253 
236.57/40.56	o 254 
236.57/40.58	o 255 
236.57/40.59	o 256 
237.08/40.60	o 257 
237.08/40.61	o 258 
237.08/40.63	o 259 
237.08/40.64	o 260 
237.08/40.65	o 261 
237.08/40.67	o 262 
237.08/40.68	o 263 
237.08/40.69	o 264 
237.56/40.71	o 265 
237.56/40.72	o 266 
237.56/40.74	o 267 
237.56/40.75	o 268 
237.56/40.76	o 269 
237.56/40.77	o 270 
237.56/40.79	o 271 
238.11/40.80	o 272 
238.11/40.82	o 273 
238.11/40.83	o 274 
238.11/40.84	o 275 
238.11/40.86	o 276 
238.11/40.87	o 277 
238.11/40.88	o 278 
238.11/40.90	o 279 
238.58/40.91	o 280 
238.58/40.92	o 281 
238.58/40.94	o 282 
238.58/40.95	o 283 
238.58/40.97	o 284 
238.58/40.98	o 285 
238.58/40.99	o 286 
238.58/41.00	o 287 
239.20/41.03	o 288 
239.20/41.04	o 289 
239.20/41.05	o 290 
239.20/41.07	o 291 
239.20/41.08	o 292 
239.20/41.10	o 293 
239.20/41.11	o 294 
239.68/41.12	o 295 
239.68/41.13	o 296 
239.68/41.14	o 297 
239.68/41.15	o 298 
239.68/41.17	o 299 
239.68/41.18	o 300 
240.18/41.20	o 301 
240.18/41.21	o 302 
240.18/41.23	o 303 
240.18/41.24	o 304 
240.18/41.25	o 305 
240.18/41.26	o 306 
240.18/41.27	o 307 
240.18/41.29	o 308 
240.70/41.30	o 309 
240.70/41.31	o 310 
240.70/41.33	o 311 
240.70/41.34	o 312 
240.70/41.35	o 313 
240.70/41.37	o 314 
240.70/41.38	o 315 
240.70/41.39	o 316 
241.27/41.41	o 317 
241.27/41.42	o 318 
241.27/41.43	o 319 
241.27/41.45	o 320 
241.27/41.46	o 321 
241.27/41.47	o 322 
241.27/41.49	o 323 
241.75/41.50	o 324 
241.75/41.51	o 325 
241.75/41.53	o 326 
241.75/41.54	o 327 
241.75/41.56	o 328 
241.75/41.57	o 329 
241.75/41.58	o 330 
242.30/41.60	o 331 
242.30/41.61	o 332 
242.30/41.63	o 333 
242.30/41.64	o 334 
242.30/41.65	o 335 
242.30/41.66	o 336 
242.30/41.68	o 337 
242.30/41.69	o 338 
242.90/41.70	o 339 
242.90/41.72	o 340 
242.90/41.73	o 341 
242.90/41.74	o 342 
242.90/41.76	o 343 
242.90/41.77	o 344 
242.90/41.79	o 345 
243.42/41.80	o 346 
243.42/41.81	o 347 
243.42/41.83	o 348 
243.42/41.84	o 349 
243.42/41.85	o 350 
243.42/41.87	o 351 
243.42/41.88	o 352 
243.42/41.89	o 353 
243.95/41.91	o 354 
243.95/41.92	o 355 
243.95/41.94	o 356 
243.95/41.95	o 357 
243.95/41.96	o 358 
243.95/41.98	o 359 
243.95/42.00	o 360 
244.55/42.01	o 361 
244.55/42.02	o 362 
244.55/42.04	o 363 
244.55/42.05	o 364 
244.55/42.07	o 365 
244.55/42.08	o 366 
244.55/42.09	o 367 
245.14/42.11	o 368 
245.14/42.14	o 369 
245.70/42.52	o 370 
246.77/43.53	o 371 
246.77/43.55	o 372 
246.77/43.56	o 373 
246.77/43.58	o 374 
246.77/43.59	o 375 
247.19/43.60	o 376 
247.19/43.62	o 377 
247.19/43.63	o 378 
247.19/43.64	o 379 
247.19/43.65	o 380 
247.19/43.67	o 381 
247.19/43.68	o 382 
247.19/43.70	o 383 
247.73/43.71	o 384 
247.73/43.72	o 385 
247.73/43.73	o 386 
247.73/43.75	o 387 
247.73/43.76	o 388 
247.73/43.77	o 389 
247.73/43.79	o 390 
248.30/43.81	o 391 
248.30/43.82	o 392 
248.30/43.83	o 393 
248.30/43.85	o 394 
248.30/43.86	o 395 
248.30/43.87	o 396 
248.30/43.89	o 397 
248.30/43.90	o 398 
248.92/43.91	o 399 
248.92/43.93	o 400 
248.92/43.94	o 401 
248.92/43.95	o 402 
248.92/43.97	o 403 
248.92/43.98	o 404 
248.92/43.99	o 405 
248.92/44.01	o 406 
249.53/44.02	o 407 
249.53/44.04	o 408 
249.53/44.05	o 409 
249.53/44.07	o 410 
249.53/44.08	o 411 
249.53/44.09	o 412 
249.53/44.11	o 413 
250.05/44.12	o 414 
250.05/44.13	o 415 
250.05/44.14	o 416 
250.05/44.16	o 417 
250.05/44.17	o 418 
250.05/44.19	o 419 
250.60/44.20	o 420 
250.60/44.21	o 421 
250.60/44.23	o 422 
250.60/44.24	o 423 
250.60/44.26	o 424 
250.60/44.28	o 425 
250.60/44.29	o 426 
251.13/44.31	o 427 
251.13/44.32	o 428 
251.13/44.33	o 429 
251.13/44.35	o 430 
251.13/44.36	o 431 
251.13/44.38	o 432 
251.13/44.39	o 433 
251.75/44.40	o 434 
251.75/44.42	o 435 
251.75/44.43	o 436 
251.75/44.45	o 437 
251.75/44.46	o 438 
251.75/44.48	o 439 
251.75/44.49	o 440 
252.35/44.51	o 441 
252.35/44.52	o 442 
252.35/44.54	o 443 
252.35/44.55	o 444 
252.35/44.57	o 445 
252.35/44.58	o 446 
252.35/44.59	o 447 
252.92/44.61	o 448 
252.92/44.62	o 449 
252.92/44.64	o 450 
252.92/44.65	o 451 
252.92/44.67	o 452 
252.92/44.68	o 453 
252.92/44.69	o 454 
253.44/44.71	o 455 
253.44/44.72	o 456 
253.44/44.74	o 457 
253.44/44.75	o 458 
253.44/44.76	o 459 
253.44/44.78	o 460 
253.44/44.79	o 461 
254.08/44.81	o 462 
254.08/44.82	o 463 
254.08/44.84	o 464 
254.08/44.85	o 465 
254.08/44.87	o 466 
254.08/44.88	o 467 
254.08/44.89	o 468 
254.68/44.90	o 469 
254.68/44.92	o 470 
254.68/44.94	o 471 
254.68/44.95	o 472 
254.68/44.96	o 473 
254.68/44.98	o 474 
254.68/44.99	o 475 
254.68/45.01	o 476 
255.31/45.02	o 477 
255.31/45.03	o 478 
255.31/45.05	o 479 
255.31/45.06	o 480 
255.31/45.08	o 481 
255.31/45.09	o 482 
255.85/45.11	o 483 
255.85/45.12	o 484 
255.85/45.14	o 485 
255.85/45.15	o 486 
255.85/45.17	o 487 
255.85/45.18	o 488 
255.85/45.20	o 489 
256.37/45.21	o 490 
256.37/45.22	o 491 
256.37/45.24	o 492 
256.37/45.25	o 493 
256.37/45.26	o 494 
256.37/45.28	o 495 
256.37/45.29	o 496 
257.01/45.31	o 497 
257.01/45.32	o 498 
257.01/45.34	o 499 
257.01/45.35	o 500 
257.01/45.37	o 501 
257.01/45.39	o 502 
257.59/45.40	o 503 
257.59/45.42	o 504 
257.59/45.45	o 505 
258.11/45.73	o 506 
259.19/46.73	o 507 
259.19/46.75	o 508 
259.19/46.76	o 509 
259.19/46.78	o 510 
259.19/46.79	o 511 
259.66/46.81	o 512 
259.66/46.82	o 513 
259.66/46.84	o 514 
259.66/46.85	o 515 
259.66/46.87	o 516 
259.66/46.89	o 517 
260.22/46.90	o 518 
260.22/46.92	o 519 
260.22/46.93	o 520 
260.22/46.95	o 521 
260.22/46.96	o 522 
260.22/46.98	o 523 
260.22/47.00	o 524 
260.83/47.01	o 525 
260.83/47.03	o 526 
260.83/47.04	o 527 
260.83/47.06	o 528 
260.83/47.08	o 529 
260.83/47.09	o 530 
260.83/47.11	o 531 
261.46/47.12	o 532 
261.46/47.14	o 533 
261.46/47.15	o 534 
261.46/47.17	o 535 
261.46/47.18	o 536 
261.46/47.20	o 537 
262.01/47.21	o 538 
262.01/47.23	o 539 
262.01/47.24	o 540 
262.01/47.26	o 541 
262.01/47.27	o 542 
262.01/47.29	o 543 
262.66/47.30	o 544 
262.66/47.32	o 545 
262.66/47.33	o 546 
262.66/47.35	o 547 
262.66/47.36	o 548 
262.66/47.38	o 549 
262.66/47.39	o 550 
263.22/47.41	o 551 
263.22/47.42	o 552 
263.22/47.44	o 553 
263.22/47.46	o 554 
263.22/47.47	o 555 
263.22/47.49	o 556 
263.85/47.50	o 557 
263.85/47.52	o 558 
263.85/47.54	o 559 
263.85/47.55	o 560 
263.85/47.57	o 561 
263.85/47.58	o 562 
264.44/47.60	o 563 
264.44/47.62	o 564 
264.44/47.64	o 565 
264.44/47.65	o 566 
264.44/47.67	o 567 
264.44/47.68	o 568 
265.08/47.70	o 569 
265.08/47.71	o 570 
265.08/47.73	o 571 
265.08/47.74	o 572 
265.08/47.76	o 573 
265.08/47.78	o 574 
265.08/47.79	o 575 
265.74/47.81	o 576 
265.74/47.82	o 577 
265.74/47.84	o 578 
265.74/47.86	o 579 
265.74/47.87	o 580 
265.74/47.89	o 581 
266.31/47.90	o 582 
266.31/47.92	o 583 
266.31/47.94	o 584 
266.31/47.95	o 585 
266.31/47.97	o 586 
266.31/47.99	o 587 
266.86/48.01	o 588 
266.86/48.03	o 589 
266.86/48.04	o 590 
266.86/48.06	o 591 
266.86/48.07	o 592 
266.86/48.09	o 593 
266.86/48.10	o 594 
267.43/48.12	o 595 
267.43/48.13	o 596 
267.43/48.15	o 597 
267.43/48.17	o 598 
267.43/48.18	o 599 
267.43/48.20	o 600 
267.95/48.22	o 601 
267.95/48.23	o 602 
267.95/48.25	o 603 
267.95/48.26	o 604 
267.95/48.28	o 605 
268.55/48.30	o 606 
268.55/48.32	o 607 
268.55/48.34	o 608 
268.55/48.36	o 609 
268.55/48.37	o 610 
268.55/48.39	o 611 
269.18/48.40	o 612 
269.18/48.42	o 613 
269.18/48.44	o 614 
269.18/48.45	o 615 
269.18/48.47	o 616 
269.18/48.49	o 617 
269.81/48.50	o 618 
269.81/48.52	o 619 
269.81/48.53	o 620 
269.81/48.55	o 621 
269.81/48.57	o 622 
269.81/48.58	o 623 
270.44/48.60	o 624 
270.44/48.62	o 625 
270.44/48.63	o 626 
270.44/48.65	o 627 
270.44/48.67	o 628 
270.44/48.69	o 629 
271.02/48.71	o 630 
271.02/48.73	o 631 
271.02/48.74	o 632 
271.02/48.76	o 633 
271.02/48.79	o 634 
271.80/49.06	o 635 
272.90/50.04	o 636 
272.90/50.06	o 637 
272.90/50.08	o 638 
272.90/50.10	o 639 
273.38/50.12	o 640 
273.38/50.14	o 641 
273.38/50.15	o 642 
273.38/50.17	o 643 
273.38/50.19	o 644 
273.88/50.21	o 645 
273.88/50.23	o 646 
273.88/50.25	o 647 
273.88/50.27	o 648 
273.88/50.29	o 649 
274.44/50.31	o 650 
274.44/50.33	o 651 
274.44/50.35	o 652 
274.44/50.37	o 653 
274.44/50.38	o 654 
275.01/50.40	o 655 
275.01/50.42	o 656 
275.01/50.44	o 657 
275.01/50.46	o 658 
275.01/50.47	o 659 
275.01/50.49	o 660 
275.68/50.51	o 661 
275.68/50.53	o 662 
275.68/50.54	o 663 
275.68/50.56	o 664 
275.68/50.58	o 665 
276.27/50.60	o 666 
276.27/50.62	o 667 
276.27/50.64	o 668 
276.27/50.66	o 669 
276.27/50.68	o 670 
276.27/50.69	o 671 
276.88/50.71	o 672 
276.88/50.73	o 673 
276.88/50.75	o 674 
276.88/50.77	o 675 
276.88/50.79	o 676 
277.57/50.81	o 677 
277.57/50.83	o 678 
277.57/50.84	o 679 
277.57/50.86	o 680 
277.57/50.88	o 681 
278.17/50.90	o 682 
278.17/50.92	o 683 
278.17/50.94	o 684 
278.17/50.96	o 685 
278.17/50.98	o 686 
278.17/51.00	o 687 
278.77/51.02	o 688 
278.77/51.04	o 689 
278.77/51.06	o 690 
278.77/51.08	o 691 
278.77/51.10	o 692 
279.41/51.12	o 693 
279.41/51.14	o 694 
279.41/51.16	o 695 
279.41/51.18	o 696 
279.41/51.20	o 697 
279.97/51.22	o 698 
279.97/51.24	o 699 
279.97/51.26	o 700 
279.97/51.28	o 701 
279.97/51.30	o 702 
280.59/51.31	o 703 
280.59/51.33	o 704 
280.59/51.35	o 705 
280.59/51.37	o 706 
280.59/51.39	o 707 
281.29/51.41	o 708 
281.29/51.43	o 709 
281.29/51.45	o 710 
281.29/51.47	o 711 
281.29/51.48	o 712 
281.91/51.50	o 713 
281.91/51.52	o 714 
281.91/51.54	o 715 
281.91/51.57	o 716 
281.91/51.59	o 717 
282.58/51.61	o 718 
282.58/51.63	o 719 
282.58/51.65	o 720 
282.58/51.67	o 721 
282.58/51.69	o 722 
283.15/51.71	o 723 
283.15/51.73	o 724 
283.15/51.75	o 725 
283.15/51.77	o 726 
283.15/51.79	o 727 
283.77/51.81	o 728 
283.77/51.83	o 729 
283.77/51.86	o 730 
283.77/51.87	o 731 
283.77/51.89	o 732 
284.43/51.91	o 733 
284.43/51.93	o 734 
284.43/51.96	o 735 
284.43/51.97	o 736 
284.43/51.99	o 737 
285.01/52.01	o 738 
285.01/52.03	o 739 
285.01/52.05	o 740 
285.01/52.06	o 741 
285.01/52.08	o 742 
285.01/52.09	o 743 
285.64/52.11	o 744 
285.64/52.12	o 745 
285.64/52.14	o 746 
285.64/52.16	o 747 
285.64/52.17	o 748 
285.64/52.19	o 749 
286.18/52.21	o 750 
286.18/52.22	o 751 
286.18/52.24	o 752 
286.18/52.26	o 753 
286.18/52.28	o 754 
286.18/52.29	o 755 
286.75/52.30	o 756 
286.75/52.32	o 757 
286.75/52.33	o 758 
286.75/52.35	o 759 
286.75/52.36	o 760 
286.75/52.38	o 761 
287.30/52.40	o 762 
287.30/52.41	o 763 
287.30/52.43	o 764 
287.30/52.45	o 765 
287.30/52.46	o 766 
287.30/52.48	o 767 
287.87/52.50	o 768 
287.87/52.52	o 769 
287.87/52.53	o 770 
287.87/52.55	o 771 
287.87/52.57	o 772 
287.87/52.59	o 773 
288.56/52.71	o 774 
289.54/53.68	o 775 
289.73/53.70	o 776 
289.94/53.82	o 777 
290.94/54.79	o 778 
291.10/54.81	o 779 
291.29/54.92	o 780 
292.27/55.89	o 781 
292.45/55.92	o 782 
292.63/56.03	o 783 
293.72/57.01	o 784 
293.72/57.03	o 785 
293.72/57.04	o 786 
293.72/57.07	o 787 
294.13/57.17	o 788 
295.22/58.16	o 789 
295.22/58.18	o 790 
295.46/58.28	o 791 
296.55/59.26	o 792 
296.55/59.28	o 793 
296.81/59.38	o 794 
297.90/60.38	o 795 
298.06/60.41	o 796 
298.25/60.51	o 797 
299.24/61.49	o 798 
299.43/61.51	o 799 
299.60/61.61	o 800 
300.59/62.59	o 801 
300.78/62.62	o 802 
300.98/62.72	o 803 
302.07/63.70	o 804 
304.24/64.82	o 805 
304.56/64.94	o 806 
4188.04/552.21	o 807 
4278.04/563.52	o 808 
19852.16/2520.09	s SATISFIABLE
19852.16/2520.09	v <instantiation>
19852.16/2520.09	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>
19852.16/2520.09	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 0 0 0 0 1 0 0 0 0 0 0 0 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 1 0 1 1 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 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 1 1 2 2 0 2 2 1 2 2 1 1 1 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 0 0 0 1 1 2 0 1 0 2 1 1 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 0 1 1 0 2 0 0 0 0 0 0 0 2 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 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 397 414 424 443 464 808 </values>
19852.16/2520.09	v </instantiation>
19852.16/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	808

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 (13350 MiB free)
  memory of node 1: 16384 MiB (13834 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270807-1502671135/watcher-4270807-1502671135 -o /tmp/evaluation-result-4270807-1502671135/solver-4270807-1502671135 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502670277-24092 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1968146397 HOME/instance-4270807-1502671135.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=24109, runsolver pid=24106

[startup+0.101416 s]*
/proc/loadavg: 8.21 8.37 8.36 2/200 24130
/proc/meminfo: memFree=27822800/32770624 swapFree=67108860/67108860
[pid=24109] ppid=24106 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24109/stat : 24109 (xcsp3-exec) S 24106 24109 24065 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100194447 9740288 346 33554432000 4194304 5098028 140727110216736 140727110214840 139991582999164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39505920 140727110222948 140727110223159 140727110223159 140727110225899 0
/proc/24109/statm: 2378 346 289 221 0 87 0
[pid=24111] ppid=24109 vsize=25999808 memory=26464 CPUtime=0.11 cores=0-7
/proc/24111/stat : 24111 (java) S 24109 24109 24065 0 -1 1077944320 5492 0 0 0 10 1 0 0 20 0 20 0 100194447 26623803392 6616 33554432000 4194304 4196468 140728713006784 140728712989328 140291538280183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
/proc/24111/statm: 6499952 6616 2863 1 0 6488269 0
[pid=24111/tid=24112] ppid=24109 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24111/task/24112/stat : 24112 (java) R 24109 24109 24065 0 -1 4202560 3493 0 0 0 8 0 0 0 20 0 20 0 100194447 26623803392 6616 33554432000 4194304 4196468 140728713006784 140291542513456 140291538292118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24113] ppid=24109 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24111/task/24113/stat : 24113 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26623803392 6616 33554432000 4194304 4196468 140728713006784 140291490900240 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24114] ppid=24109 vsize=25999808 memory=140257547138688 CPUtime=0 cores=0-7
/proc/24111/task/24114/stat : 24114 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26623803392 6616 33554432000 4194304 4196468 140728713006784 140291489847696 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24115] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24115/stat : 24115 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26623803392 6616 33554432000 4194304 4196468 140728713006784 140291488795152 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24116] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24116/stat : 24116 (java) S 24109 24109 24065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100194448 26623803392 6616 33554432000 4194304 4196468 140728713006784 140291487742608 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24117] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24117/stat : 24117 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26623803392 6616 33554432000 4194304 4196468 140728713006784 140291486690064 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24118] ppid=24109 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24111/task/24118/stat : 24118 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26623803392 6616 33554432000 4194304 4196468 140728713006784 140291485637520 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24119] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24119/stat : 24119 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26623803392 6616 33554432000 4194304 4196468 140728713006784 140291484584976 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24120] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24120/stat : 24120 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26623803392 6616 33554432000 4194304 4196468 140728713006784 140291088972944 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24121] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24121/stat : 24121 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194450 26623803392 6616 33554432000 4194304 4196468 140728713006784 140290280376304 140291538291330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24122] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24122/stat : 24122 (java) S 24109 24109 24065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100194450 26623803392 6616 33554432000 4194304 4196468 140728713006784 140290279322528 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24123] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24123/stat : 24123 (java) S 24109 24109 24065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100194450 26623803392 6616 33554432000 4194304 4196468 140728713006784 140290278269936 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24124] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24124/stat : 24124 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194453 26623803392 6616 33554432000 4194304 4196468 140728713006784 140290277218512 140291538298779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24125] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24125/stat : 24125 (java) S 24109 24109 24065 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 100194453 26623803392 6616 33554432000 4194304 4196468 140728713006784 140290276166128 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24126] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24126/stat : 24126 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194453 26623803392 6616 33554432000 4194304 4196468 140728713006784 140289402464880 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24127] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24127/stat : 24127 (java) R 24109 24109 24065 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 100194453 26623803392 6616 33554432000 4194304 4196468 140728713006784 140289401412336 140291538291330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24128] ppid=24109 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/24111/task/24128/stat : 24128 (java) R 24109 24109 24065 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 20 0 100194453 26623803392 6616 33554432000 4194304 4196468 140728713006784 140289400359792 140291519517744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24129] ppid=24109 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24129/stat : 24129 (java) S 24109 24109 24065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100194453 26623803392 6616 33554432000 4194304 4196468 140728713006784 140289399306464 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24130] ppid=24109 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24111/task/24130/stat : 24130 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194453 26623803392 6616 33554432000 4194304 4196468 140728713006784 140289398254000 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27848 KiB

[startup+0.210318 s]*
/proc/loadavg: 8.21 8.37 8.36 2/200 24130
/proc/meminfo: memFree=27811124/32770624 swapFree=67108860/67108860
[pid=24109] ppid=24106 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24109/stat : 24109 (xcsp3-exec) S 24106 24109 24065 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100194447 9740288 346 33554432000 4194304 5098028 140727110216736 140727110214840 139991582999164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39505920 140727110222948 140727110223159 140727110223159 140727110225899 0
/proc/24109/statm: 2378 346 289 221 0 87 0
[pid=24111] ppid=24109 vsize=26004064 memory=39116 CPUtime=0.33 cores=0-7
/proc/24111/stat : 24111 (java) S 24109 24109 24065 0 -1 1077944320 8301 0 0 0 30 3 0 0 20 0 20 0 100194447 26628161536 9779 33554432000 4194304 4196468 140728713006784 140728712989328 140291538280183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
/proc/24111/statm: 6501016 9779 3061 1 0 6488269 0
[pid=24111/tid=24112] ppid=24109 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24111/task/24112/stat : 24112 (java) R 24109 24109 24065 0 -1 4202560 5404 0 0 0 18 1 0 0 20 0 20 0 100194447 26628161536 9779 33554432000 4194304 4196468 140728713006784 140291542503088 140291538302109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24113] ppid=24109 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/24111/task/24113/stat : 24113 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 9779 33554432000 4194304 4196468 140728713006784 140291490900240 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24114] ppid=24109 vsize=26004064 memory=3544533870177826464 CPUtime=0 cores=0-7
/proc/24111/task/24114/stat : 24114 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 9779 33554432000 4194304 4196468 140728713006784 140291489847696 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24115] ppid=24109 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24111/task/24115/stat : 24115 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 9779 33554432000 4194304 4196468 140728713006784 140291488795152 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24116] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24116/stat : 24116 (java) S 24109 24109 24065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 9779 33554432000 4194304 4196468 140728713006784 140291487742608 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24117] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24117/stat : 24117 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 9779 33554432000 4194304 4196468 140728713006784 140291486690064 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24118] ppid=24109 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24111/task/24118/stat : 24118 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 9779 33554432000 4194304 4196468 140728713006784 140291485637520 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24119] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24119/stat : 24119 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 9779 33554432000 4194304 4196468 140728713006784 140291484584976 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24120] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24120/stat : 24120 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 9779 33554432000 4194304 4196468 140728713006784 140291088972944 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24121] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24121/stat : 24121 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194450 26628161536 9779 33554432000 4194304 4196468 140728713006784 140290280376304 140291538291330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24122] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24122/stat : 24122 (java) S 24109 24109 24065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100194450 26628161536 9779 33554432000 4194304 4196468 140728713006784 140290279322528 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24123] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24123/stat : 24123 (java) S 24109 24109 24065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100194450 26628161536 9779 33554432000 4194304 4196468 140728713006784 140290278269936 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24124] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24124/stat : 24124 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194453 26628161536 9779 33554432000 4194304 4196468 140728713006784 140290277218512 140291538298779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24125] ppid=24109 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24111/task/24125/stat : 24125 (java) S 24109 24109 24065 0 -1 1077944384 544 0 0 0 1 0 0 0 20 0 20 0 100194453 26628161536 9779 33554432000 4194304 4196468 140728713006784 140290276166128 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24126] ppid=24109 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24126/stat : 24126 (java) S 24109 24109 24065 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 100194453 26628194304 9779 33554432000 4194304 4196468 140728713006784 140289402464880 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24127] ppid=24109 vsize=26004096 memory=-1 CPUtime=0.02 cores=0-7
/proc/24111/task/24127/stat : 24127 (java) S 24109 24109 24065 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 20 0 100194453 26628194304 9779 33554432000 4194304 4196468 140728713006784 140289401412336 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24128] ppid=24109 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7
/proc/24111/task/24128/stat : 24128 (java) R 24109 24109 24065 0 -1 4202560 798 0 0 0 7 0 0 0 20 0 20 0 100194453 26628194304 9799 33554432000 4194304 4196468 140728713006784 140289400359792 140291517254796 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24129] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24129/stat : 24129 (java) S 24109 24109 24065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100194453 26628161536 9799 33554432000 4194304 4196468 140728713006784 140289399306464 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24130] ppid=24109 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24111/task/24130/stat : 24130 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194453 26628161536 9799 33554432000 4194304 4196468 140728713006784 140289398254000 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40500 KiB

[startup+0.310403 s]*
/proc/loadavg: 8.21 8.37 8.36 3/200 24130
/proc/meminfo: memFree=27806840/32770624 swapFree=67108860/67108860
[pid=24109] ppid=24106 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24109/stat : 24109 (xcsp3-exec) S 24106 24109 24065 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100194447 9740288 346 33554432000 4194304 5098028 140727110216736 140727110214840 139991582999164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39505920 140727110222948 140727110223159 140727110223159 140727110225899 0
/proc/24109/statm: 2378 346 289 221 0 87 0
[pid=24111] ppid=24109 vsize=26004064 memory=45528 CPUtime=0.49 cores=0-7
/proc/24111/stat : 24111 (java) S 24109 24109 24065 0 -1 1077944320 9118 0 0 0 46 3 0 0 20 0 20 0 100194447 26628161536 11382 33554432000 4194304 4196468 140728713006784 140728712989328 140291538280183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
/proc/24111/statm: 6501016 11382 3074 1 0 6488269 0
[pid=24111/tid=24112] ppid=24109 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24111/task/24112/stat : 24112 (java) R 24109 24109 24065 0 -1 4202560 6069 0 0 0 28 1 0 0 20 0 20 0 100194447 26628161536 11382 33554432000 4194304 4196468 140728713006784 140291542518320 140291164202973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24113] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24113/stat : 24113 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 11382 33554432000 4194304 4196468 140728713006784 140291490900240 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24114] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24114/stat : 24114 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 11382 33554432000 4194304 4196468 140728713006784 140291489847696 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24115] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24115/stat : 24115 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 11382 33554432000 4194304 4196468 140728713006784 140291488795152 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24116] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24116/stat : 24116 (java) S 24109 24109 24065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 11382 33554432000 4194304 4196468 140728713006784 140291487742608 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24117] ppid=24109 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/24111/task/24117/stat : 24117 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 11382 33554432000 4194304 4196468 140728713006784 140291486690064 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24118] ppid=24109 vsize=26004064 memory=140257391637423 CPUtime=0 cores=0-7
/proc/24111/task/24118/stat : 24118 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 11382 33554432000 4194304 4196468 140728713006784 140291485637520 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24119] ppid=24109 vsize=26004064 memory=140257391639728 CPUtime=0 cores=0-7
/proc/24111/task/24119/stat : 24119 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 11382 33554432000 4194304 4196468 140728713006784 140291484584976 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24120] ppid=24109 vsize=26004064 memory=140257391642032 CPUtime=0 cores=0-7
/proc/24111/task/24120/stat : 24120 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26628161536 11382 33554432000 4194304 4196468 140728713006784 140291088972944 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24121] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24121/stat : 24121 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194450 26628161536 11382 33554432000 4194304 4196468 140728713006784 140290280376304 140291538291330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24122] ppid=24109 vsize=26004064 memory=280514783291024 CPUtime=0 cores=0-7
/proc/24111/task/24122/stat : 24122 (java) S 24109 24109 24065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100194450 26628161536 11382 33554432000 4194304 4196468 140728713006784 140290279322528 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24123] ppid=24109 vsize=26004064 memory=280514783297936 CPUtime=0 cores=0-7
/proc/24111/task/24123/stat : 24123 (java) S 24109 24109 24065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100194450 26628161536 11382 33554432000 4194304 4196468 140728713006784 140290278269936 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24124] ppid=24109 vsize=26004064 memory=280514783239216 CPUtime=0 cores=0-7
/proc/24111/task/24124/stat : 24124 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194453 26628161536 11382 33554432000 4194304 4196468 140728713006784 140290277218512 140291538298779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24125] ppid=24109 vsize=26004064 memory=280514783311760 CPUtime=0.01 cores=0-7
/proc/24111/task/24125/stat : 24125 (java) S 24109 24109 24065 0 -1 1077944384 559 0 0 0 1 0 0 0 20 0 20 0 100194453 26628161536 11382 33554432000 4194304 4196468 140728713006784 140290276166128 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24126] ppid=24109 vsize=26004064 memory=280514783318672 CPUtime=0 cores=0-7
/proc/24111/task/24126/stat : 24126 (java) R 24109 24109 24065 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 20 0 100194453 26628161536 11382 33554432000 4194304 4196468 140728713006784 140289402456832 140291518980480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24127] ppid=24109 vsize=26004064 memory=280514783316368 CPUtime=0.03 cores=0-7
/proc/24111/task/24127/stat : 24127 (java) S 24109 24109 24065 0 -1 1077944384 248 0 0 0 3 0 0 0 20 0 20 0 100194453 26628161536 11382 33554432000 4194304 4196468 140728713006784 140289401412336 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24128] ppid=24109 vsize=26004064 memory=280514783332528 CPUtime=0.11 cores=0-7
/proc/24111/task/24128/stat : 24128 (java) R 24109 24109 24065 0 -1 4202560 919 0 0 0 11 0 0 0 20 0 20 0 100194453 26628161536 11382 33554432000 4194304 4196468 140728713006784 140289400356528 140291538301530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24129] ppid=24109 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24129/stat : 24129 (java) S 24109 24109 24065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100194453 26628161536 11382 33554432000 4194304 4196468 140728713006784 140289399306464 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24130] ppid=24109 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24111/task/24130/stat : 24130 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194453 26628161536 11382 33554432000 4194304 4196468 140728713006784 140289398254000 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46912 KiB

[startup+0.700962 s]
/proc/loadavg: 8.21 8.37 8.36 5/200 24130
/proc/meminfo: memFree=27778552/32770624 swapFree=67108860/67108860
[pid=24109] ppid=24106 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24109/stat : 24109 (xcsp3-exec) S 24106 24109 24065 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100194447 9740288 346 33554432000 4194304 5098028 140727110216736 140727110214840 139991582999164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39505920 140727110222948 140727110223159 140727110223159 140727110225899 0
/proc/24109/statm: 2378 346 289 221 0 87 0
[pid=24111] ppid=24109 vsize=26006188 memory=91528 CPUtime=1.76 cores=0-7
/proc/24111/stat : 24111 (java) S 24109 24109 24065 0 -1 1077944320 12895 0 0 0 171 5 0 0 20 0 20 0 100194447 26630336512 22882 33554432000 4194304 4196468 140728713006784 140728712989328 140291538280183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
/proc/24111/statm: 6501547 22882 3197 1 0 6488781 0
[pid=24111/tid=24112] ppid=24109 vsize=26006188 memory=280514783690416 CPUtime=0.67 cores=0-7
/proc/24111/task/24112/stat : 24112 (java) R 24109 24109 24065 0 -1 4202560 6534 0 0 0 65 2 0 0 20 0 20 0 100194447 26630336512 22882 33554432000 4194304 4196468 140728713006784 140291542518752 140291538302109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24113] ppid=24109 vsize=26006188 memory=140257391846256 CPUtime=0 cores=0-7
/proc/24111/task/24113/stat : 24113 (java) S 24109 24109 24065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100194448 26630336512 22882 33554432000 4194304 4196468 140728713006784 140291490900240 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24114] ppid=24109 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/24111/task/24114/stat : 24114 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26630336512 22882 33554432000 4194304 4196468 140728713006784 140291489847696 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24115] ppid=24109 vsize=26006188 memory=8612 CPUtime=0 cores=0-7
/proc/24111/task/24115/stat : 24115 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100194448 26630336512 22882 33554432000 4194304 4196468 140728713006784 140291488795152 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0

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

/proc/meminfo: memFree=23383992/32770624 swapFree=67108860/67108860
[pid=24109] ppid=24106 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24109/stat : 24109 (xcsp3-exec) S 24106 24109 24065 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100194447 9740288 346 33554432000 4194304 5098028 140727110216736 140727110214840 139991582999164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39505920 140727110222948 140727110223159 140727110223159 140727110225899 0
/proc/24109/statm: 2378 346 289 221 0 87 0
[pid=24111] ppid=24109 vsize=26541776 memory=4456340 CPUtime=19711.1 cores=0-7
/proc/24111/stat : 24111 (java) S 24109 24109 24065 0 -1 1077944320 782745 0 0 0 1970331 781 0 0 20 0 28 0 100194447 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140728712989328 140291538280183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
/proc/24111/statm: 6635444 1114085 3313 1 0 6622678 0
[pid=24111/tid=24112] ppid=24109 vsize=26541776 memory=4452172 CPUtime=6.04 cores=0-7
/proc/24111/task/24112/stat : 24112 (java) S 24109 24109 24065 0 -1 1077944384 11514 0 0 0 587 17 0 0 20 0 28 0 100194447 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140291542520896 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24113] ppid=24109 vsize=26541776 memory=4452172 CPUtime=6.07 cores=0-7
/proc/24111/task/24113/stat : 24113 (java) S 24109 24109 24065 0 -1 1077944384 18810 0 0 0 588 19 0 0 20 0 28 0 100194448 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140291490900240 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24114] ppid=24109 vsize=26541776 memory=4456284 CPUtime=6.05 cores=0-7
/proc/24111/task/24114/stat : 24114 (java) S 24109 24109 24065 0 -1 1077944384 24567 0 0 0 584 21 0 0 20 0 28 0 100194448 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140291489847696 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24115] ppid=24109 vsize=26541776 memory=4456340 CPUtime=6.04 cores=0-7
/proc/24111/task/24115/stat : 24115 (java) S 24109 24109 24065 0 -1 1077944384 24732 0 0 0 585 19 0 0 20 0 28 0 100194448 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140291488795152 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24116] ppid=24109 vsize=26541776 memory=4456340 CPUtime=6.05 cores=0-7
/proc/24111/task/24116/stat : 24116 (java) S 24109 24109 24065 0 -1 1077944384 23745 0 0 0 587 18 0 0 20 0 28 0 100194448 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140291487742608 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24117] ppid=24109 vsize=26541776 memory=1384 CPUtime=6.05 cores=0-7
/proc/24111/task/24117/stat : 24117 (java) S 24109 24109 24065 0 -1 1077944384 23032 0 0 0 583 22 0 0 20 0 28 0 100194448 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140291486690064 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24118] ppid=24109 vsize=26541776 memory=2257 CPUtime=5.96 cores=0-7
/proc/24111/task/24118/stat : 24118 (java) S 24109 24109 24065 0 -1 1077944384 24173 0 0 0 575 21 0 0 20 0 28 0 100194448 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140291485637520 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24119] ppid=24109 vsize=26541776 memory=4452172 CPUtime=6.06 cores=0-7
/proc/24111/task/24119/stat : 24119 (java) S 24109 24109 24065 0 -1 1077944384 21327 0 0 0 587 19 0 0 20 0 28 0 100194448 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140291484584976 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24120] ppid=24109 vsize=26541776 memory=4144 CPUtime=6.03 cores=0-7
/proc/24111/task/24120/stat : 24120 (java) S 24109 24109 24065 0 -1 1077944384 23360 0 0 0 583 20 0 0 20 0 28 0 100194448 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140291088972944 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24121] ppid=24109 vsize=26541776 memory=1384 CPUtime=2.45 cores=0-7
/proc/24111/task/24121/stat : 24121 (java) S 24109 24109 24065 0 -1 1077944384 98064 0 0 0 191 54 0 0 20 0 28 0 100194450 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140290280376304 140291538291330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24122] ppid=24109 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/24111/task/24122/stat : 24122 (java) S 24109 24109 24065 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 100194450 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140290279322656 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24123] ppid=24109 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/24111/task/24123/stat : 24123 (java) S 24109 24109 24065 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 100194450 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140290278270016 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24124] ppid=24109 vsize=26541776 memory=4456340 CPUtime=0 cores=0-7
/proc/24111/task/24124/stat : 24124 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100194453 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140290277218512 140291538298779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24125] ppid=24109 vsize=26541776 memory=1384 CPUtime=3.79 cores=0-7
/proc/24111/task/24125/stat : 24125 (java) S 24109 24109 24065 0 -1 1077944384 29255 0 0 0 373 6 0 0 20 0 28 0 100194453 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140290276166128 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24126] ppid=24109 vsize=26541776 memory=4144 CPUtime=4.24 cores=0-7
/proc/24111/task/24126/stat : 24126 (java) S 24109 24109 24065 0 -1 1077944384 33851 0 0 0 417 7 0 0 20 0 28 0 100194453 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289402464880 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24127] ppid=24109 vsize=26541776 memory=6791534058613427641 CPUtime=4.71 cores=0-7
/proc/24111/task/24127/stat : 24127 (java) S 24109 24109 24065 0 -1 1077944384 36035 0 0 0 464 7 0 0 20 0 28 0 100194453 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289401412336 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24128] ppid=24109 vsize=26541776 memory=1384 CPUtime=1.33 cores=0-7
/proc/24111/task/24128/stat : 24128 (java) S 24109 24109 24065 0 -1 1077944384 28918 0 0 0 127 6 0 0 20 0 28 0 100194453 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289400359792 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24129] ppid=24109 vsize=26541776 memory=4456288 CPUtime=0 cores=0-7
/proc/24111/task/24129/stat : 24129 (java) S 24109 24109 24065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100194453 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289399306464 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24130] ppid=24109 vsize=26541776 memory=1384 CPUtime=0.99 cores=0-7
/proc/24111/task/24130/stat : 24130 (java) S 24109 24109 24065 0 -1 1077944384 6615 0 0 0 29 70 0 0 20 0 28 0 100194453 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289398254000 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30460] ppid=24109 vsize=26541776 memory=4456340 CPUtime=1927.63 cores=0-7
/proc/24111/task/30460/stat : 30460 (java) S 24109 24109 24065 0 -1 1077944384 18774 0 0 0 192748 15 0 0 20 0 28 0 100250800 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289390243392 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30461] ppid=24109 vsize=26541776 memory=1384 CPUtime=1919.09 cores=0-7
/proc/24111/task/30461/stat : 30461 (java) R 24109 24109 24065 0 -1 4202560 25172 0 0 0 191895 14 0 0 20 0 28 0 100250800 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289388139344 140291164363565 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30462] ppid=24109 vsize=26541776 memory=2244 CPUtime=1918.41 cores=0-7
/proc/24111/task/30462/stat : 30462 (java) R 24109 24109 24065 0 -1 1077944384 17463 0 0 0 191824 17 0 0 20 0 28 0 100250800 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289379726192 140291538290389 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30463] ppid=24109 vsize=26541776 memory=4124 CPUtime=1919.56 cores=0-7
/proc/24111/task/30463/stat : 30463 (java) S 24109 24109 24065 0 -1 1077944384 41674 0 0 0 191926 30 0 0 20 0 28 0 100250800 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289383929008 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30464] ppid=24109 vsize=26541776 memory=1384 CPUtime=1927.49 cores=0-7
/proc/24111/task/30464/stat : 30464 (java) S 24109 24109 24065 0 -1 1077944384 39535 0 0 0 192722 27 0 0 20 0 28 0 100250800 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289389192384 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30465] ppid=24109 vsize=26541776 memory=4456340 CPUtime=1925.95 cores=0-7
/proc/24111/task/30465/stat : 30465 (java) S 24109 24109 24065 0 -1 1077944384 23807 0 0 0 192574 21 0 0 20 0 28 0 100250800 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289384981824 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30466] ppid=24109 vsize=26541776 memory=6791534058613427641 CPUtime=1923.29 cores=0-7
/proc/24111/task/30466/stat : 30466 (java) R 24109 24109 24065 0 -1 4202560 42355 0 0 0 192305 24 0 0 20 0 28 0 100250800 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289382878096 140291522595420 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30467] ppid=24109 vsize=26541776 memory=4456340 CPUtime=1923.17 cores=0-7
/proc/24111/task/30467/stat : 30467 (java) S 24109 24109 24065 0 -1 1077944384 16150 0 0 0 192303 14 0 0 20 0 28 0 100250800 27178778624 1114085 33554432000 4194304 4196468 140728713006784 140289387086336 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
Current children cumulated CPU time: 19711.1 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4457724 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.07 8.17 8.25 9/208 30515
/proc/meminfo: memFree=23384620/32770624 swapFree=67108860/67108860
[pid=24109] ppid=24106 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24109/stat : 24109 (xcsp3-exec) S 24106 24109 24065 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 100194447 9740288 346 33554432000 4194304 5098028 140727110216736 140727110214840 139991582999164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39505920 140727110222948 140727110223159 140727110223159 140727110225899 0
/proc/24109/statm: 2378 346 289 221 0 87 0
[pid=24111] ppid=24109 vsize=26541776 memory=4455828 CPUtime=19852.2 cores=0-7
/proc/24111/stat : 24111 (java) S 24109 24109 24065 0 -1 1077944320 784838 0 0 0 1984434 782 0 0 20 0 28 0 100194447 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140728712989328 140291538280183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
/proc/24111/statm: 6635444 1113957 3313 1 0 6622678 0
[pid=24111/tid=24112] ppid=24109 vsize=26541776 memory=796 CPUtime=6.04 cores=0-7
/proc/24111/task/24112/stat : 24112 (java) S 24109 24109 24065 0 -1 1077944384 11514 0 0 0 587 17 0 0 20 0 28 0 100194447 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140291542520896 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24113] ppid=24109 vsize=26541776 memory=4872558044660077418 CPUtime=6.1 cores=0-7
/proc/24111/task/24113/stat : 24113 (java) S 24109 24109 24065 0 -1 1077944384 19162 0 0 0 591 19 0 0 20 0 28 0 100194448 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140291490900240 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24114] ppid=24109 vsize=26541776 memory=1196 CPUtime=6.08 cores=0-7
/proc/24111/task/24114/stat : 24114 (java) S 24109 24109 24065 0 -1 1077944384 24723 0 0 0 587 21 0 0 20 0 28 0 100194448 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140291489847696 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24115] ppid=24109 vsize=26541776 memory=15872 CPUtime=6.07 cores=0-7
/proc/24111/task/24115/stat : 24115 (java) S 24109 24109 24065 0 -1 1077944384 24818 0 0 0 588 19 0 0 20 0 28 0 100194448 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140291488795152 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24116] ppid=24109 vsize=26541776 memory=18476 CPUtime=6.08 cores=0-7
/proc/24111/task/24116/stat : 24116 (java) S 24109 24109 24065 0 -1 1077944384 23813 0 0 0 590 18 0 0 20 0 28 0 100194448 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140291487742608 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24117] ppid=24109 vsize=26541776 memory=17288 CPUtime=6.08 cores=0-7
/proc/24111/task/24117/stat : 24117 (java) S 24109 24109 24065 0 -1 1077944384 23081 0 0 0 586 22 0 0 20 0 28 0 100194448 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140291486690064 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24118] ppid=24109 vsize=26541776 memory=4048 CPUtime=5.99 cores=0-7
/proc/24111/task/24118/stat : 24118 (java) S 24109 24109 24065 0 -1 1077944384 24240 0 0 0 578 21 0 0 20 0 28 0 100194448 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140291485637520 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24119] ppid=24109 vsize=26541776 memory=1792 CPUtime=6.09 cores=0-7
/proc/24111/task/24119/stat : 24119 (java) S 24109 24109 24065 0 -1 1077944384 21405 0 0 0 590 19 0 0 20 0 28 0 100194448 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140291484584976 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24120] ppid=24109 vsize=26541776 memory=648 CPUtime=6.06 cores=0-7
/proc/24111/task/24120/stat : 24120 (java) S 24109 24109 24065 0 -1 1077944384 23419 0 0 0 586 20 0 0 20 0 28 0 100194448 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140291088972944 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24121] ppid=24109 vsize=26541776 memory=1240 CPUtime=2.46 cores=0-7
/proc/24111/task/24121/stat : 24121 (java) S 24109 24109 24065 0 -1 1077944384 98418 0 0 0 192 54 0 0 20 0 28 0 100194450 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140290280376304 140291538291330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24122] ppid=24109 vsize=26541776 memory=648 CPUtime=0 cores=0-7
/proc/24111/task/24122/stat : 24122 (java) S 24109 24109 24065 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 100194450 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140290279322656 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24123] ppid=24109 vsize=26541776 memory=1240 CPUtime=0 cores=0-7
/proc/24111/task/24123/stat : 24123 (java) S 24109 24109 24065 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 100194450 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140290278270016 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24124] ppid=24109 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/24111/task/24124/stat : 24124 (java) S 24109 24109 24065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100194453 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140290277218512 140291538298779 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24125] ppid=24109 vsize=26541776 memory=4456340 CPUtime=3.79 cores=0-7
/proc/24111/task/24125/stat : 24125 (java) S 24109 24109 24065 0 -1 1077944384 29258 0 0 0 373 6 0 0 20 0 28 0 100194453 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140290276166128 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24126] ppid=24109 vsize=26541776 memory=932 CPUtime=4.24 cores=0-7
/proc/24111/task/24126/stat : 24126 (java) S 24109 24109 24065 0 -1 1077944384 33854 0 0 0 417 7 0 0 20 0 28 0 100194453 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289402464880 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24127] ppid=24109 vsize=26541776 memory=1572 CPUtime=4.71 cores=0-7
/proc/24111/task/24127/stat : 24127 (java) S 24109 24109 24065 0 -1 1077944384 36039 0 0 0 464 7 0 0 20 0 28 0 100194453 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289401412336 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24128] ppid=24109 vsize=26541776 memory=2244 CPUtime=1.33 cores=0-7
/proc/24111/task/24128/stat : 24128 (java) S 24109 24109 24065 0 -1 1077944384 28926 0 0 0 127 6 0 0 20 0 28 0 100194453 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289400359792 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24129] ppid=24109 vsize=26541776 memory=4124 CPUtime=0 cores=0-7
/proc/24111/task/24129/stat : 24129 (java) S 24109 24109 24065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100194453 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289399306464 140291538290389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=24130] ppid=24109 vsize=26541776 memory=2208 CPUtime=1 cores=0-7
/proc/24111/task/24130/stat : 24130 (java) S 24109 24109 24065 0 -1 1077944384 6635 0 0 0 29 71 0 0 20 0 28 0 100194453 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289398254000 140291538291330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30460] ppid=24109 vsize=26541776 memory=6508 CPUtime=1945.02 cores=0-7
/proc/24111/task/30460/stat : 30460 (java) R 24109 24109 24065 0 -1 4202560 18866 0 0 0 194487 15 0 0 20 0 28 0 100250800 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289390243528 140291167207741 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30461] ppid=24109 vsize=26541776 memory=844 CPUtime=1936.7 cores=0-7
/proc/24111/task/30461/stat : 30461 (java) R 24109 24109 24065 0 -1 4202560 25250 0 0 0 193656 14 0 0 20 0 28 0 100250800 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289388139480 140291168831342 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30462] ppid=24109 vsize=26541776 memory=1732 CPUtime=1936.07 cores=0-7
/proc/24111/task/30462/stat : 30462 (java) R 24109 24109 24065 0 -1 4202560 17522 0 0 0 193590 17 0 0 20 0 28 0 100250800 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289379726664 140291168168893 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30463] ppid=24109 vsize=26541776 memory=1224 CPUtime=1937.21 cores=0-7
/proc/24111/task/30463/stat : 30463 (java) R 24109 24109 24065 0 -1 4202560 41774 0 0 0 193691 30 0 0 20 0 28 0 100250800 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289383929144 140291171089173 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30464] ppid=24109 vsize=26541776 memory=12032 CPUtime=1945.14 cores=0-7
/proc/24111/task/30464/stat : 30464 (java) R 24109 24109 24065 0 -1 4202560 39652 0 0 0 194487 27 0 0 20 0 28 0 100250800 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289389192296 140291166945793 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30465] ppid=24109 vsize=26541776 memory=5792 CPUtime=1943.56 cores=0-7
/proc/24111/task/30465/stat : 30465 (java) R 24109 24109 24065 0 -1 4202560 23879 0 0 0 194335 21 0 0 20 0 28 0 100250800 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289384981648 140291173468277 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30466] ppid=24109 vsize=26541776 memory=796 CPUtime=1940.84 cores=0-7
/proc/24111/task/30466/stat : 30466 (java) R 24109 24109 24065 0 -1 4202560 42546 0 0 0 194060 24 0 0 20 0 28 0 100250800 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289382877984 140291173948534 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
[pid=24111/tid=30467] ppid=24109 vsize=26541776 memory=1436 CPUtime=1940.83 cores=0-7
/proc/24111/task/30467/stat : 30467 (java) R 24109 24109 24065 0 -1 4202560 16226 0 0 0 194069 14 0 0 20 0 28 0 100250800 27178778624 1113957 33554432000 4194304 4196468 140728713006784 140289387086280 140291168831365 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 14737408 140728713008274 140728713008451 140728713008451 140728713011151 0
Current children cumulated CPU time: 19852.2 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 4457212 KiB

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

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

[startup+2520.15 s]
# the end of solver process 24111 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19845.1 s, system=7.8657 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

[startup+2520.13 s]*
/proc/loadavg: 8.07 8.17 8.25 2/181 30517
/proc/meminfo: memFree=26173740/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001934 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19853
CPU user time (s): 19845.1
CPU system time (s): 7.8657
CPU usage (%): 787.77
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 4479560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19845.1
system time used= 7.8657
maximum resident set size= 4478224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 786463
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 218865
involuntary context switches= 205693


# summary of solver processes directly reported to runsolver:
#   pid: 24109,24111
#   total CPU time (s): 19853
#   total CPU user time (s): 19845.1
#   total CPU system time (s): 7.8657

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.2589 second user time and 24.5967 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-14 02:24:37
IDJOB=4270807
IDBENCH=115914
IDSOLVER=2662
FILE ID=node149/4270807-1502671135
RUNJOBID= node149-1502670277-24092
PBS_JOBID= 20628972
Free space on /tmp= 61936 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-4270807-1502671135/watcher-4270807-1502671135 -o /tmp/evaluation-result-4270807-1502671135/solver-4270807-1502671135 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502670277-24092 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1968146397 HOME/instance-4270807-1502671135.xml

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

MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4
RANDOM SEED=1968146397

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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:        27838152 kB
MemAvailable:   31971644 kB
Buffers:          283192 kB
Cached:          4123328 kB
SwapCached:            0 kB
Active:          1129460 kB
Inactive:        3331624 kB
Active(anon):      57492 kB
Inactive(anon):    24944 kB
Active(file):    1071968 kB
Inactive(file):  3306680 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7800 kB
Writeback:             0 kB
AnonPages:         59952 kB
Mapped:            43816 kB
Shmem:             25224 kB
Slab:             167696 kB
SReclaimable:     141356 kB
SUnreclaim:        26340 kB
KernelStack:        3120 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61928 MiB
End job on node149 at 2017-08-14 03:06:37