Trace number 4271799

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)887 1821.27 252.10201

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-44.xml
MD5SUM4997da7be544d89c7d7e917a89d7c5a2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark887
Best CPU time to get the best result obtained on this benchmark1821.27
Satisfiable
(Un)Satisfiability was proved
Number of variables4279
Number of constraints2384
Number of domains4
Minimum domain size2
Maximum domain size4233
Distribution of domain sizes[{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}]
Minimum variable degree1
Maximum variable degree47
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}]
Minimum constraint arity2
Maximum constraint arity48
Distribution of constraint arities[{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}]
Number of extensional constraints2112
Number of intensional constraints221
Distribution of constraint types[{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"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-4271799-1502639595.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271799-1502639595.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
11.40/5.67	c solve instance...
31.24/8.27	o 0 
33.00/8.79	o 4 
35.37/10.40	o 6 
35.37/10.43	o 8 
35.37/10.44	o 10 
35.37/10.46	o 12 
35.37/10.50	o 14 
35.84/10.53	o 16 
35.84/10.57	o 18 
36.52/10.66	o 20 
37.32/10.78	o 22 
38.85/10.93	o 24 
41.99/11.37	o 26 
45.92/11.85	o 28 
59.40/14.13	o 30 
81.87/17.24	o 32 
112.67/21.15	o 34 
208.26/33.11	o 36 
290.65/43.97	o 37 
292.12/45.34	o 38 
292.12/45.35	o 39 
292.12/45.37	o 40 
292.12/45.38	o 41 
292.12/45.39	o 42 
292.47/45.40	o 43 
292.47/45.42	o 44 
292.47/45.43	o 45 
292.47/45.44	o 46 
292.47/45.45	o 47 
292.47/45.47	o 48 
292.47/45.48	o 49 
292.92/45.50	o 50 
292.92/45.51	o 51 
292.92/45.53	o 52 
292.92/45.54	o 53 
292.92/45.56	o 54 
292.92/45.57	o 55 
292.92/45.58	o 56 
293.37/45.60	o 57 
293.37/45.61	o 58 
293.37/45.62	o 59 
293.37/45.64	o 60 
293.37/45.65	o 61 
293.37/45.66	o 62 
293.37/45.68	o 63 
293.37/45.69	o 64 
293.83/45.70	o 65 
293.83/45.72	o 66 
293.83/45.73	o 67 
293.83/45.75	o 68 
293.83/45.76	o 69 
293.83/45.78	o 70 
293.83/45.79	o 71 
294.26/45.81	o 72 
294.26/45.83	o 73 
294.26/45.84	o 74 
294.26/45.85	o 75 
294.26/45.86	o 76 
294.26/45.88	o 77 
294.26/45.89	o 78 
294.68/45.91	o 79 
294.68/45.93	o 80 
294.68/45.94	o 81 
294.68/45.95	o 82 
294.68/45.96	o 83 
294.68/45.97	o 84 
294.68/45.98	o 85 
294.68/46.00	o 86 
295.06/46.02	o 87 
295.06/46.03	o 88 
295.06/46.05	o 89 
295.06/46.06	o 90 
295.06/46.07	o 91 
295.06/46.09	o 92 
295.06/46.10	o 93 
295.49/46.11	o 94 
295.49/46.13	o 95 
295.49/46.14	o 96 
295.49/46.15	o 97 
295.49/46.17	o 98 
295.49/46.18	o 99 
295.49/46.19	o 100 
295.90/46.20	o 101 
295.90/46.21	o 102 
295.90/46.23	o 103 
295.90/46.24	o 104 
295.90/46.25	o 105 
295.90/46.26	o 106 
295.90/46.27	o 107 
295.90/46.28	o 108 
295.90/46.29	o 109 
295.90/46.30	o 110 
296.40/46.31	o 111 
296.40/46.32	o 112 
296.40/46.33	o 113 
296.40/46.34	o 114 
296.40/46.36	o 115 
296.40/46.37	o 116 
296.40/46.38	o 117 
296.40/46.39	o 118 
296.90/46.40	o 119 
296.90/46.42	o 120 
296.90/46.43	o 121 
296.90/46.44	o 122 
296.90/46.46	o 123 
296.90/46.47	o 124 
296.90/46.48	o 125 
296.90/46.49	o 126 
297.35/46.50	o 127 
297.35/46.51	o 128 
297.35/46.52	o 129 
297.35/46.54	o 130 
297.35/46.55	o 131 
297.35/46.56	o 132 
297.35/46.58	o 133 
297.35/46.59	o 134 
297.83/46.61	o 135 
297.83/46.63	o 136 
297.83/46.64	o 137 
297.83/46.65	o 138 
297.83/46.67	o 139 
297.83/46.68	o 140 
297.83/46.69	o 141 
298.33/46.70	o 142 
298.33/46.72	o 143 
298.33/46.73	o 144 
298.33/46.74	o 145 
298.33/46.75	o 146 
298.33/46.77	o 147 
298.33/46.78	o 148 
298.33/46.80	o 149 
298.83/46.81	o 150 
298.83/46.82	o 151 
298.83/46.83	o 152 
298.83/46.84	o 153 
298.83/46.85	o 154 
298.83/46.87	o 155 
298.83/46.88	o 156 
298.83/46.89	o 157 
299.37/46.90	o 158 
299.37/46.91	o 159 
299.37/46.92	o 160 
299.37/46.93	o 161 
299.37/46.95	o 162 
299.37/46.96	o 163 
299.37/46.97	o 164 
299.37/46.98	o 165 
299.37/46.99	o 166 
299.37/47.00	o 167 
299.96/47.01	o 168 
299.96/47.02	o 169 
299.96/47.04	o 170 
299.96/47.05	o 171 
299.96/47.06	o 172 
299.96/47.07	o 173 
299.96/47.09	o 174 
299.96/47.10	o 175 
300.45/47.11	o 176 
300.45/47.13	o 177 
300.45/47.14	o 178 
300.45/47.15	o 179 
300.45/47.16	o 180 
300.45/47.17	o 181 
300.45/47.19	o 182 
300.87/47.20	o 183 
300.87/47.21	o 184 
300.87/47.22	o 185 
300.87/47.24	o 186 
300.87/47.25	o 187 
300.87/47.26	o 188 
300.87/47.27	o 189 
300.87/47.28	o 190 
300.87/47.30	o 191 
301.41/47.31	o 192 
301.41/47.32	o 193 
301.41/47.33	o 194 
301.41/47.34	o 195 
301.41/47.35	o 196 
301.41/47.36	o 197 
301.41/47.38	o 198 
301.41/47.39	o 199 
301.95/47.40	o 200 
301.95/47.41	o 201 
301.95/47.42	o 202 
301.95/47.44	o 203 
301.95/47.45	o 204 
301.95/47.46	o 205 
301.95/47.47	o 206 
301.95/47.48	o 207 
301.95/47.50	o 208 
302.45/47.51	o 209 
302.45/47.52	o 210 
302.45/47.53	o 211 
302.45/47.55	o 212 
302.45/47.56	o 213 
302.45/47.57	o 214 
302.45/47.58	o 215 
302.45/47.60	o 216 
302.94/47.61	o 217 
302.94/47.62	o 218 
302.94/47.63	o 219 
302.94/47.64	o 220 
302.94/47.66	o 221 
302.94/47.67	o 222 
302.94/47.69	o 223 
303.45/47.70	o 224 
303.45/47.71	o 225 
303.45/47.73	o 226 
303.45/47.74	o 227 
303.45/47.76	o 228 
303.45/47.77	o 229 
303.45/47.78	o 230 
303.45/47.79	o 231 
303.95/47.80	o 232 
303.95/47.81	o 233 
303.95/47.83	o 234 
303.95/47.84	o 235 
303.95/47.85	o 236 
303.95/47.86	o 237 
303.95/47.88	o 238 
303.95/47.89	o 239 
304.43/47.90	o 240 
304.43/47.91	o 241 
304.43/47.93	o 242 
304.43/47.94	o 243 
304.43/47.95	o 244 
304.43/47.96	o 245 
304.43/47.97	o 246 
304.43/47.99	o 247 
304.43/48.00	o 248 
304.97/48.01	o 249 
304.97/48.03	o 250 
304.97/48.04	o 251 
304.97/48.05	o 252 
304.97/48.07	o 253 
304.97/48.08	o 254 
304.97/48.09	o 255 
305.46/48.11	o 256 
305.46/48.12	o 257 
305.46/48.13	o 258 
305.46/48.14	o 259 
305.46/48.16	o 260 
305.46/48.17	o 261 
305.46/48.18	o 262 
305.46/48.19	o 263 
305.97/48.20	o 264 
305.97/48.21	o 265 
305.97/48.23	o 266 
305.97/48.24	o 267 
305.97/48.25	o 268 
305.97/48.26	o 269 
305.97/48.28	o 270 
305.97/48.29	o 271 
306.51/48.30	o 272 
306.51/48.31	o 273 
306.51/48.32	o 274 
306.51/48.34	o 275 
306.51/48.35	o 276 
306.51/48.36	o 277 
306.51/48.37	o 278 
306.51/48.38	o 279 
307.01/48.40	o 280 
307.01/48.41	o 281 
307.01/48.42	o 282 
307.01/48.43	o 283 
307.01/48.44	o 284 
307.01/48.46	o 285 
307.01/48.47	o 286 
307.01/48.48	o 287 
307.01/48.49	o 288 
307.59/48.52	o 289 
308.05/48.98	o 290 
309.41/50.24	o 291 
309.41/50.26	o 292 
309.41/50.27	o 293 
309.41/50.28	o 294 
309.41/50.29	o 295 
309.74/50.31	o 296 
309.74/50.32	o 297 
309.74/50.34	o 298 
309.74/50.35	o 299 
309.74/50.36	o 300 
309.74/50.38	o 301 
309.74/50.40	o 302 
310.27/50.41	o 303 
310.27/50.42	o 304 
310.27/50.44	o 305 
310.27/50.45	o 306 
310.27/50.47	o 307 
310.27/50.48	o 308 
310.27/50.49	o 309 
310.82/50.50	o 310 
310.82/50.52	o 311 
310.82/50.53	o 312 
310.82/50.54	o 313 
310.82/50.56	o 314 
310.82/50.57	o 315 
310.82/50.59	o 316 
311.31/50.60	o 317 
311.31/50.61	o 318 
311.31/50.62	o 319 
311.31/50.64	o 320 
311.31/50.66	o 321 
311.31/50.67	o 322 
311.31/50.68	o 323 
311.31/50.70	o 324 
311.84/50.71	o 325 
311.84/50.72	o 326 
311.84/50.73	o 327 
311.84/50.75	o 328 
311.84/50.76	o 329 
311.84/50.77	o 330 
311.84/50.79	o 331 
312.37/50.80	o 332 
312.37/50.81	o 333 
312.37/50.83	o 334 
312.37/50.84	o 335 
312.37/50.86	o 336 
312.37/50.87	o 337 
312.37/50.88	o 338 
312.87/50.90	o 339 
312.87/50.91	o 340 
312.87/50.92	o 341 
312.87/50.94	o 342 
312.87/50.95	o 343 
312.87/50.96	o 344 
312.87/50.98	o 345 
312.87/50.99	o 346 
312.87/51.00	o 347 
313.44/51.02	o 348 
313.44/51.03	o 349 
313.44/51.04	o 350 
313.44/51.06	o 351 
313.44/51.07	o 352 
313.44/51.08	o 353 
313.44/51.09	o 354 
313.44/51.11	o 355 
313.98/51.12	o 356 
313.98/51.13	o 357 
313.98/51.14	o 358 
313.98/51.16	o 359 
313.98/51.17	o 360 
313.98/51.18	o 361 
313.98/51.20	o 362 
314.45/51.21	o 363 
314.45/51.22	o 364 
314.45/51.23	o 365 
314.45/51.24	o 366 
314.45/51.25	o 367 
314.45/51.27	o 368 
314.45/51.28	o 369 
314.45/51.29	o 370 
315.06/51.30	o 371 
315.06/51.32	o 372 
315.06/51.33	o 373 
315.06/51.34	o 374 
315.06/51.35	o 375 
315.06/51.36	o 376 
315.06/51.38	o 377 
315.06/51.39	o 378 
315.60/51.40	o 379 
315.60/51.41	o 380 
315.60/51.42	o 381 
315.60/51.43	o 382 
315.60/51.45	o 383 
315.60/51.46	o 384 
315.60/51.47	o 385 
315.60/51.48	o 386 
315.60/51.49	o 387 
316.19/51.50	o 388 
316.19/51.52	o 389 
316.19/51.53	o 390 
316.19/51.54	o 391 
316.19/51.55	o 392 
316.19/51.57	o 393 
316.19/51.58	o 394 
316.19/51.60	o 395 
316.72/51.61	o 396 
316.72/51.62	o 397 
316.72/51.63	o 398 
316.72/51.65	o 399 
316.72/51.66	o 400 
316.72/51.67	o 401 
316.72/51.68	o 402 
316.72/51.70	o 403 
317.29/51.71	o 404 
317.29/51.72	o 405 
317.29/51.74	o 406 
317.29/51.75	o 407 
317.29/51.76	o 408 
317.29/51.77	o 409 
317.83/51.80	o 410 
317.83/51.81	o 411 
317.83/51.82	o 412 
317.83/51.84	o 413 
317.83/51.85	o 414 
317.83/51.87	o 415 
317.83/51.88	o 416 
317.83/51.89	o 417 
318.39/51.91	o 418 
318.39/51.92	o 419 
318.39/51.94	o 420 
318.39/51.95	o 421 
318.39/51.96	o 422 
318.39/51.98	o 423 
318.39/51.99	o 424 
318.39/52.00	o 425 
318.97/52.01	o 426 
318.97/52.02	o 427 
318.97/52.04	o 428 
318.97/52.05	o 429 
318.97/52.06	o 430 
318.97/52.08	o 431 
318.97/52.10	o 432 
319.52/52.11	o 433 
319.52/52.12	o 434 
319.52/52.13	o 435 
319.52/52.15	o 436 
319.52/52.17	o 437 
319.52/52.18	o 438 
319.52/52.19	o 439 
320.04/52.21	o 440 
320.04/52.22	o 441 
320.04/52.23	o 442 
320.04/52.25	o 443 
320.04/52.27	o 444 
320.04/52.28	o 445 
320.04/52.29	o 446 
320.58/52.31	o 447 
320.58/52.32	o 448 
320.58/52.33	o 449 
320.58/52.35	o 450 
320.58/52.36	o 451 
320.58/52.37	o 452 
320.58/52.39	o 453 
321.11/52.41	o 454 
321.11/52.42	o 455 
321.11/52.43	o 456 
321.11/52.44	o 457 
321.11/52.46	o 458 
321.11/52.48	o 459 
321.11/52.49	o 460 
321.67/52.50	o 461 
321.67/52.52	o 462 
321.67/52.53	o 463 
321.67/52.54	o 464 
321.67/52.56	o 465 
321.67/52.57	o 466 
321.67/52.58	o 467 
321.67/52.60	o 468 
322.18/52.61	o 469 
322.18/52.62	o 470 
322.18/52.64	o 471 
322.18/52.65	o 472 
322.18/52.66	o 473 
322.18/52.68	o 474 
322.18/52.69	o 475 
322.78/52.71	o 476 
322.78/52.72	o 477 
322.78/52.75	o 478 
323.59/53.35	o 479 
324.84/54.58	o 480 
324.84/54.59	o 481 
325.00/54.61	o 482 
325.00/54.62	o 483 
325.00/54.64	o 484 
325.00/54.65	o 485 
325.00/54.66	o 486 
325.00/54.68	o 487 
325.00/54.69	o 488 
325.62/54.71	o 489 
325.62/54.72	o 490 
325.62/54.73	o 491 
325.62/54.75	o 492 
325.62/54.77	o 493 
325.62/54.78	o 494 
325.62/54.79	o 495 
326.09/54.80	o 496 
326.09/54.82	o 497 
326.09/54.83	o 498 
326.09/54.85	o 499 
326.09/54.86	o 500 
326.09/54.87	o 501 
326.09/54.88	o 502 
326.09/54.89	o 503 
326.09/54.91	o 504 
326.72/54.92	o 505 
326.72/54.93	o 506 
326.72/54.94	o 507 
326.72/54.95	o 508 
326.72/54.96	o 509 
326.72/54.98	o 510 
326.72/54.99	o 511 
326.72/55.00	o 512 
327.36/55.01	o 513 
327.36/55.03	o 514 
327.36/55.04	o 515 
327.36/55.05	o 516 
327.36/55.07	o 517 
327.36/55.08	o 518 
327.36/55.09	o 519 
327.36/55.11	o 520 
327.88/55.12	o 521 
327.88/55.13	o 522 
327.88/55.15	o 523 
327.88/55.16	o 524 
327.88/55.17	o 525 
327.88/55.19	o 526 
328.40/55.20	o 527 
328.40/55.21	o 528 
328.40/55.23	o 529 
328.40/55.24	o 530 
328.40/55.26	o 531 
328.40/55.28	o 532 
328.40/55.29	o 533 
328.97/55.31	o 534 
328.97/55.33	o 535 
328.97/55.34	o 536 
328.97/55.35	o 537 
328.97/55.37	o 538 
328.97/55.38	o 539 
328.97/55.40	o 540 
329.50/55.41	o 541 
329.50/55.42	o 542 
329.50/55.43	o 543 
329.50/55.45	o 544 
329.50/55.46	o 545 
329.50/55.47	o 546 
329.50/55.49	o 547 
330.11/55.50	o 548 
330.11/55.51	o 549 
330.11/55.53	o 550 
330.11/55.54	o 551 
330.11/55.55	o 552 
330.11/55.56	o 553 
330.11/55.58	o 554 
330.11/55.59	o 555 
330.76/55.61	o 556 
330.76/55.62	o 557 
330.76/55.64	o 558 
330.76/55.65	o 559 
330.76/55.66	o 560 
330.76/55.67	o 561 
330.76/55.69	o 562 
331.31/55.70	o 563 
331.31/55.72	o 564 
331.31/55.73	o 565 
331.31/55.74	o 566 
331.31/55.75	o 567 
331.31/55.77	o 568 
331.31/55.78	o 569 
331.31/55.80	o 570 
331.87/55.81	o 571 
331.87/55.83	o 572 
331.87/55.84	o 573 
331.87/55.85	o 574 
331.87/55.88	o 575 
331.87/55.89	o 576 
332.47/55.90	o 577 
332.47/55.92	o 578 
332.47/55.93	o 579 
332.47/55.94	o 580 
332.47/55.96	o 581 
332.47/55.97	o 582 
332.47/55.98	o 583 
332.47/56.01	o 584 
333.10/56.02	o 585 
333.10/56.03	o 586 
333.10/56.05	o 587 
333.10/56.06	o 588 
333.10/56.08	o 589 
333.10/56.09	o 590 
333.10/56.10	o 591 
333.71/56.12	o 592 
333.71/56.13	o 593 
333.71/56.15	o 594 
333.71/56.16	o 595 
333.71/56.17	o 596 
333.71/56.19	o 597 
334.22/56.20	o 598 
334.22/56.21	o 599 
334.22/56.23	o 600 
334.22/56.24	o 601 
334.22/56.26	o 602 
334.22/56.27	o 603 
334.22/56.28	o 604 
334.82/56.30	o 605 
334.82/56.31	o 606 
334.82/56.33	o 607 
334.82/56.34	o 608 
334.82/56.36	o 609 
334.82/56.37	o 610 
334.82/56.39	o 611 
335.42/56.40	o 612 
335.42/56.41	o 613 
335.42/56.43	o 614 
335.42/56.44	o 615 
335.42/56.46	o 616 
335.42/56.47	o 617 
335.42/56.48	o 618 
336.01/56.50	o 619 
336.01/56.51	o 620 
336.01/56.53	o 621 
336.01/56.54	o 622 
336.01/56.55	o 623 
336.01/56.56	o 624 
336.01/56.58	o 625 
336.01/56.59	o 626 
336.61/56.61	o 627 
336.61/56.62	o 628 
336.61/56.63	o 629 
336.61/56.64	o 630 
336.61/56.66	o 631 
336.61/56.67	o 632 
336.61/56.69	o 633 
337.24/56.71	o 634 
337.24/56.72	o 635 
337.24/56.73	o 636 
337.24/56.75	o 637 
337.24/56.76	o 638 
337.24/56.77	o 639 
337.24/56.79	o 640 
337.82/56.80	o 641 
337.82/56.82	o 642 
337.82/56.83	o 643 
337.82/56.85	o 644 
337.82/56.86	o 645 
337.82/56.88	o 646 
337.82/56.89	o 647 
338.42/56.91	o 648 
338.42/56.92	o 649 
338.42/56.94	o 650 
338.42/56.96	o 651 
338.42/56.97	o 652 
338.42/56.98	o 653 
338.42/57.00	o 654 
339.02/57.01	o 655 
339.02/57.02	o 656 
339.02/57.04	o 657 
339.02/57.05	o 658 
339.02/57.07	o 659 
339.02/57.08	o 660 
339.02/57.10	o 661 
339.61/57.12	o 662 
339.61/57.13	o 663 
339.61/57.14	o 664 
339.61/57.16	o 665 
339.61/57.17	o 666 
340.07/57.20	o 667 
340.45/57.54	o 668 
341.72/58.77	o 669 
341.72/58.79	o 670 
341.96/58.81	o 671 
341.96/58.82	o 672 
341.96/58.83	o 673 
341.96/58.85	o 674 
341.96/58.87	o 675 
341.96/58.89	o 676 
342.53/58.91	o 677 
342.53/58.92	o 678 
342.53/58.93	o 679 
342.53/58.95	o 680 
342.53/58.96	o 681 
342.53/58.98	o 682 
342.53/58.99	o 683 
342.53/59.01	o 684 
343.12/59.02	o 685 
343.12/59.04	o 686 
343.12/59.05	o 687 
343.12/59.07	o 688 
343.12/59.09	o 689 
343.12/59.10	o 690 
343.72/59.12	o 691 
343.72/59.13	o 692 
343.72/59.15	o 693 
343.72/59.17	o 694 
343.72/59.19	o 695 
344.20/59.20	o 696 
344.20/59.22	o 697 
344.20/59.23	o 698 
344.20/59.25	o 699 
344.20/59.26	o 700 
344.20/59.27	o 701 
344.20/59.29	o 702 
344.81/59.30	o 703 
344.81/59.32	o 704 
344.81/59.33	o 705 
344.81/59.35	o 706 
344.81/59.36	o 707 
344.81/59.37	o 708 
344.81/59.39	o 709 
345.42/59.40	o 710 
345.42/59.42	o 711 
345.42/59.43	o 712 
345.42/59.45	o 713 
345.42/59.46	o 714 
345.42/59.47	o 715 
345.42/59.49	o 716 
346.08/59.51	o 717 
346.08/59.52	o 718 
346.08/59.54	o 719 
346.08/59.55	o 720 
346.08/59.57	o 721 
346.08/59.58	o 722 
346.60/59.60	o 723 
346.60/59.61	o 724 
346.60/59.63	o 725 
346.60/59.65	o 726 
346.60/59.66	o 727 
346.60/59.68	o 728 
346.60/59.69	o 729 
347.24/59.71	o 730 
347.24/59.72	o 731 
347.24/59.73	o 732 
347.24/59.75	o 733 
347.24/59.76	o 734 
347.24/59.78	o 735 
347.24/59.79	o 736 
347.24/59.80	o 737 
347.87/59.82	o 738 
347.87/59.84	o 739 
347.87/59.86	o 740 
347.87/59.88	o 741 
347.87/59.89	o 742 
348.47/59.91	o 743 
348.47/59.94	o 744 
348.47/59.95	o 745 
348.47/59.96	o 746 
348.47/59.98	o 747 
348.47/60.00	o 748 
349.03/60.02	o 749 
349.03/60.03	o 750 
349.03/60.05	o 751 
349.03/60.06	o 752 
349.03/60.07	o 753 
349.03/60.09	o 754 
349.64/60.11	o 755 
349.64/60.13	o 756 
349.64/60.14	o 757 
349.64/60.16	o 758 
349.64/60.17	o 759 
349.64/60.19	o 760 
350.23/60.20	o 761 
350.23/60.22	o 762 
350.23/60.23	o 763 
350.23/60.25	o 764 
350.23/60.26	o 765 
350.23/60.28	o 766 
350.23/60.29	o 767 
350.87/60.31	o 768 
350.87/60.32	o 769 
350.87/60.34	o 770 
350.87/60.35	o 771 
350.87/60.37	o 772 
350.87/60.39	o 773 
351.45/60.40	o 774 
351.45/60.42	o 775 
351.45/60.43	o 776 
351.45/60.45	o 777 
351.45/60.47	o 778 
351.45/60.49	o 779 
352.04/60.51	o 780 
352.04/60.52	o 781 
352.04/60.53	o 782 
352.04/60.55	o 783 
352.04/60.57	o 784 
352.04/60.59	o 785 
352.61/60.61	o 786 
352.61/60.62	o 787 
352.61/60.64	o 788 
352.61/60.65	o 789 
352.61/60.67	o 790 
352.61/60.68	o 791 
352.61/60.70	o 792 
353.15/60.71	o 793 
353.15/60.72	o 794 
353.15/60.74	o 795 
353.15/60.76	o 796 
353.15/60.77	o 797 
353.15/60.79	o 798 
353.85/60.81	o 799 
353.85/60.82	o 800 
353.85/60.84	o 801 
353.85/60.86	o 802 
353.85/60.88	o 803 
353.85/60.89	o 804 
354.46/60.91	o 805 
354.46/60.92	o 806 
354.46/60.94	o 807 
354.46/60.96	o 808 
354.46/60.98	o 809 
354.46/60.99	o 810 
354.46/61.01	o 811 
355.07/61.02	o 812 
355.07/61.04	o 813 
355.07/61.06	o 814 
355.07/61.07	o 815 
355.07/61.09	o 816 
355.07/61.10	o 817 
355.69/61.12	o 818 
355.69/61.13	o 819 
355.69/61.15	o 820 
355.69/61.17	o 821 
355.69/61.18	o 822 
356.18/61.20	o 823 
356.18/61.22	o 824 
356.18/61.24	o 825 
356.18/61.25	o 826 
356.18/61.28	o 827 
356.18/61.30	o 828 
356.73/61.32	o 829 
356.73/61.33	o 830 
356.73/61.35	o 831 
356.73/61.37	o 832 
356.73/61.38	o 833 
357.33/61.40	o 834 
357.33/61.42	o 835 
357.33/61.44	o 836 
357.33/61.46	o 837 
357.33/61.48	o 838 
357.89/61.50	o 839 
357.89/61.52	o 840 
357.89/61.54	o 841 
357.89/61.56	o 842 
357.89/61.57	o 843 
357.89/61.59	o 844 
358.53/61.61	o 845 
358.53/61.62	o 846 
358.53/61.64	o 847 
358.53/61.66	o 848 
358.53/61.68	o 849 
359.06/61.70	o 850 
359.06/61.72	o 851 
359.06/61.74	o 852 
359.06/61.76	o 853 
359.06/61.78	o 854 
359.62/61.80	o 855 
359.62/61.81	o 856 
359.62/61.84	o 857 
359.62/61.86	o 858 
360.08/62.00	o 859 
361.37/63.18	o 860 
361.52/63.21	o 861 
361.52/63.23	o 862 
361.78/63.36	o 863 
363.12/64.55	o 864 
363.12/64.57	o 865 
364.30/64.71	o 866 
364.30/64.73	o 867 
371.24/66.18	o 868 
371.24/66.20	o 869 
374.93/67.59	o 870 
375.47/67.74	o 871 
376.83/68.97	o 872 
403.40/72.37	o 873 
794.12/121.37	o 874 
794.12/121.39	o 875 
794.88/121.40	o 876 
794.88/121.42	o 877 
794.88/121.44	o 878 
794.88/121.46	o 879 
794.88/121.48	o 880 
794.88/121.49	o 881 
795.49/121.52	o 882 
795.66/121.63	o 883 
796.94/122.82	o 884 
796.94/122.85	o 885 
797.26/122.97	o 886 
894.14/135.82	o 887 
1820.63/252.08	s SATISFIABLE
1820.63/252.08	v <instantiation>
1820.63/252.08	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] z </list>
1820.63/252.08	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 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 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 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 1 1 0 1 0 0 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 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 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 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 0 0 1 0 0 0 0 1 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 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 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 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 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 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 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 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 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 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 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 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 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 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 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 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 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 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 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 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 2 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 2 2 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 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 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 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 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 2 1 1 1 1 0 0 0 0 0 0 2 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 2 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 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 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 0 1 1 0 1 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 2 2 1 0 0 0 0 0 0 0 1 0 0 0 2 1 1 2 0 0 1 1 2 0 2 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 2 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 2 1 1 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 2 2 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 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 1 0 0 1 1 0 0 1 1 0 0 0 14 14 14 30 30 30 83 87 88 90 94 96 142 147 149 150 153 160 187 188 190 211 211 215 238 243 253 275 278 281 315 323 337 342 344 348 368 376 384 399 401 415 442 455 474 500 887 </values>
1820.63/252.08	v </instantiation>
1820.63/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	887

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271799-1502639595/watcher-4271799-1502639595 -o /tmp/evaluation-result-4271799-1502639595/solver-4271799-1502639595 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502634636-10762 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 137756136 HOME/instance-4271799-1502639595.xml 

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

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

solver pid=14715, runsolver pid=14712

[startup+0.100137 s]*
/proc/loadavg: 7.73 8.01 7.65 3/199 14736
/proc/meminfo: memFree=31506288/32770624 swapFree=67108860/67108860
[pid=14715] ppid=14712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14715/stat : 14715 (xcsp3-exec) S 14712 14715 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97047891 9740288 346 33554432000 4194304 5098028 140731263529792 140731263527896 140480834790012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11046912 140731263538283 140731263538492 140731263538492 140731263541227 0
/proc/14715/statm: 2378 346 289 221 0 87 0
[pid=14717] ppid=14715 vsize=25999808 memory=27072 CPUtime=0.12 cores=0-7
/proc/14717/stat : 14717 (java) S 14715 14715 10735 0 -1 1077944320 5705 0 0 0 11 1 0 0 20 0 20 0 97047892 26623803392 6768 33554432000 4194304 4196468 140725482349488 140725482332032 140048010809079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
/proc/14717/statm: 6499952 6768 2848 1 0 6488269 0
[pid=14717/tid=14718] ppid=14715 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/14717/task/14718/stat : 14718 (java) R 14715 14715 10735 0 -1 4202560 3710 0 0 0 8 0 0 0 20 0 20 0 97047892 26623803392 6768 33554432000 4194304 4196468 140725482349488 140048015041328 140048010821014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14719] ppid=14715 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14717/task/14719/stat : 14719 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26623803392 6768 33554432000 4194304 4196468 140725482349488 140047963429392 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14720] ppid=14715 vsize=25999808 memory=139628387624576 CPUtime=0 cores=0-7
/proc/14717/task/14720/stat : 14720 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26623803392 6768 33554432000 4194304 4196468 140725482349488 140047962376848 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14721] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14721/stat : 14721 (java) S 14715 14715 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047893 26623803392 6768 33554432000 4194304 4196468 140725482349488 140047961323792 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14722] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14722/stat : 14722 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26623803392 6768 33554432000 4194304 4196468 140725482349488 140047960271248 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14723] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14723/stat : 14723 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047893 26623803392 6768 33554432000 4194304 4196468 140725482349488 140047959219216 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14724] ppid=14715 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14717/task/14724/stat : 14724 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047893 26623803392 6768 33554432000 4194304 4196468 140725482349488 140047958166672 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14725] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14725/stat : 14725 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047893 26623803392 6768 33554432000 4194304 4196468 140725482349488 140047957113616 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14726] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14726/stat : 14726 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26623803392 6768 33554432000 4194304 4196468 140725482349488 140047956061072 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14727] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14727/stat : 14727 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047894 26623803392 6768 33554432000 4194304 4196468 140725482349488 140046283081968 140048010820226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14728] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14728/stat : 14728 (java) S 14715 14715 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97047895 26623803392 6768 33554432000 4194304 4196468 140725482349488 140046282028192 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14729] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14729/stat : 14729 (java) S 14715 14715 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97047895 26623803392 6768 33554432000 4194304 4196468 140725482349488 140046280975088 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14730] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14730/stat : 14730 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047897 26623803392 6768 33554432000 4194304 4196468 140725482349488 140046279923664 140048010827675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14731] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14731/stat : 14731 (java) S 14715 14715 10735 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 97047897 26623803392 6768 33554432000 4194304 4196468 140725482349488 140046278871792 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14732] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14732/stat : 14732 (java) S 14715 14715 10735 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 97047897 26623803392 6768 33554432000 4194304 4196468 140725482349488 140046277819248 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14733] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14733/stat : 14733 (java) S 14715 14715 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047897 26623803392 6768 33554432000 4194304 4196468 140725482349488 140046276766192 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14734] ppid=14715 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14717/task/14734/stat : 14734 (java) S 14715 14715 10735 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 97047897 26623803392 6768 33554432000 4194304 4196468 140725482349488 140046275713648 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14735] ppid=14715 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14735/stat : 14735 (java) S 14715 14715 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047898 26623803392 6768 33554432000 4194304 4196468 140725482349488 140046274660832 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14736] ppid=14715 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14717/task/14736/stat : 14736 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047898 26623803392 6768 33554432000 4194304 4196468 140725482349488 140046273608368 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28456 KiB

[startup+0.210355 s]*
/proc/loadavg: 7.27 7.91 7.62 2/199 14736
/proc/meminfo: memFree=31495496/32770624 swapFree=67108860/67108860
[pid=14715] ppid=14712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14715/stat : 14715 (xcsp3-exec) S 14712 14715 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97047891 9740288 346 33554432000 4194304 5098028 140731263529792 140731263527896 140480834790012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11046912 140731263538283 140731263538492 140731263538492 140731263541227 0
/proc/14715/statm: 2378 346 289 221 0 87 0
[pid=14717] ppid=14715 vsize=26004096 memory=38788 CPUtime=0.33 cores=0-7
/proc/14717/stat : 14717 (java) S 14715 14715 10735 0 -1 1077944320 8359 0 0 0 31 2 0 0 20 0 20 0 97047892 26628194304 9697 33554432000 4194304 4196468 140725482349488 140725482332032 140048010809079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
/proc/14717/statm: 6501016 9697 2984 1 0 6488269 0
[pid=14717/tid=14718] ppid=14715 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14717/task/14718/stat : 14718 (java) R 14715 14715 10735 0 -1 4202560 5465 0 0 0 18 1 0 0 20 0 20 0 97047892 26628161536 9697 33554432000 4194304 4196468 140725482349488 140048015010800 140048003526183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14719] ppid=14715 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/14717/task/14719/stat : 14719 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 9697 33554432000 4194304 4196468 140725482349488 140047963429392 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14720] ppid=14715 vsize=26004064 memory=288370004539336320 CPUtime=0 cores=0-7
/proc/14717/task/14720/stat : 14720 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 9697 33554432000 4194304 4196468 140725482349488 140047962376848 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14721] ppid=14715 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14717/task/14721/stat : 14721 (java) S 14715 14715 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 9697 33554432000 4194304 4196468 140725482349488 140047961323792 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14722] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14722/stat : 14722 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 9697 33554432000 4194304 4196468 140725482349488 140047960271248 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14723] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14723/stat : 14723 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 9697 33554432000 4194304 4196468 140725482349488 140047959219216 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14724] ppid=14715 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14717/task/14724/stat : 14724 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 9697 33554432000 4194304 4196468 140725482349488 140047958166672 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14725] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14725/stat : 14725 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 9697 33554432000 4194304 4196468 140725482349488 140047957113616 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14726] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14726/stat : 14726 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 9697 33554432000 4194304 4196468 140725482349488 140047956061072 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14727] ppid=14715 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14727/stat : 14727 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047894 26628194304 9697 33554432000 4194304 4196468 140725482349488 140046283081968 140048010820226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14728] ppid=14715 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14728/stat : 14728 (java) S 14715 14715 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97047895 26628194304 9697 33554432000 4194304 4196468 140725482349488 140046282028192 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14729] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14729/stat : 14729 (java) S 14715 14715 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97047895 26628161536 9697 33554432000 4194304 4196468 140725482349488 140046280975088 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14730] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14730/stat : 14730 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047897 26628161536 9697 33554432000 4194304 4196468 140725482349488 140046279923664 140048010827675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14731] ppid=14715 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14717/task/14731/stat : 14731 (java) S 14715 14715 10735 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 97047897 26628161536 9697 33554432000 4194304 4196468 140725482349488 140046278871792 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14732] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14732/stat : 14732 (java) S 14715 14715 10735 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 97047897 26628161536 9697 33554432000 4194304 4196468 140725482349488 140046277819248 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14733] ppid=14715 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/14717/task/14733/stat : 14733 (java) S 14715 14715 10735 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 20 0 97047897 26628161536 9697 33554432000 4194304 4196468 140725482349488 140046276766192 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14734] ppid=14715 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/14717/task/14734/stat : 14734 (java) S 14715 14715 10735 0 -1 1077944384 689 0 0 0 8 0 0 0 20 0 20 0 97047897 26628161536 9697 33554432000 4194304 4196468 140725482349488 140046275713648 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14735] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14735/stat : 14735 (java) S 14715 14715 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047898 26628161536 9697 33554432000 4194304 4196468 140725482349488 140046274660832 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14736] ppid=14715 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14717/task/14736/stat : 14736 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047898 26628161536 9697 33554432000 4194304 4196468 140725482349488 140046273608368 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 40172 KiB

[startup+0.310271 s]*
/proc/loadavg: 7.27 7.91 7.62 4/199 14736
/proc/meminfo: memFree=31491092/32770624 swapFree=67108860/67108860
[pid=14715] ppid=14712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14715/stat : 14715 (xcsp3-exec) S 14712 14715 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97047891 9740288 346 33554432000 4194304 5098028 140731263529792 140731263527896 140480834790012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11046912 140731263538283 140731263538492 140731263538492 140731263541227 0
/proc/14715/statm: 2378 346 289 221 0 87 0
[pid=14717] ppid=14715 vsize=26004064 memory=45908 CPUtime=0.51 cores=0-7
/proc/14717/stat : 14717 (java) S 14715 14715 10735 0 -1 1077944320 9164 0 0 0 48 3 0 0 20 0 20 0 97047892 26628161536 11477 33554432000 4194304 4196468 140725482349488 140725482332032 140048010809079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
/proc/14717/statm: 6501016 11477 3076 1 0 6488269 0
[pid=14717/tid=14718] ppid=14715 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14717/task/14718/stat : 14718 (java) R 14715 14715 10735 0 -1 4202560 6094 0 0 0 28 1 0 0 20 0 20 0 97047892 26628161536 11477 33554432000 4194304 4196468 140725482349488 140048015046992 140047994852709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14719] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14719/stat : 14719 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 11477 33554432000 4194304 4196468 140725482349488 140047963429392 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14720] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14720/stat : 14720 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 11477 33554432000 4194304 4196468 140725482349488 140047962376848 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14721] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14721/stat : 14721 (java) S 14715 14715 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 11477 33554432000 4194304 4196468 140725482349488 140047961323792 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14722] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14722/stat : 14722 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 11477 33554432000 4194304 4196468 140725482349488 140047960271248 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14723] ppid=14715 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14717/task/14723/stat : 14723 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 11477 33554432000 4194304 4196468 140725482349488 140047959219216 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14724] ppid=14715 vsize=26004064 memory=139628246037423 CPUtime=0 cores=0-7
/proc/14717/task/14724/stat : 14724 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 11477 33554432000 4194304 4196468 140725482349488 140047958166672 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14725] ppid=14715 vsize=26004064 memory=139628246039728 CPUtime=0 cores=0-7
/proc/14717/task/14725/stat : 14725 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 11477 33554432000 4194304 4196468 140725482349488 140047957113616 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14726] ppid=14715 vsize=26004064 memory=139628246042032 CPUtime=0 cores=0-7
/proc/14717/task/14726/stat : 14726 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26628161536 11477 33554432000 4194304 4196468 140725482349488 140047956061072 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14727] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14727/stat : 14727 (java) S 14715 14715 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97047894 26628161536 11477 33554432000 4194304 4196468 140725482349488 140046283081968 140048010820226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14728] ppid=14715 vsize=26004064 memory=279256492091024 CPUtime=0 cores=0-7
/proc/14717/task/14728/stat : 14728 (java) S 14715 14715 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97047895 26628161536 11477 33554432000 4194304 4196468 140725482349488 140046282028192 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14729] ppid=14715 vsize=26004064 memory=279256492097936 CPUtime=0 cores=0-7
/proc/14717/task/14729/stat : 14729 (java) S 14715 14715 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97047895 26628161536 11477 33554432000 4194304 4196468 140725482349488 140046280975088 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14730] ppid=14715 vsize=26004064 memory=279256492039216 CPUtime=0 cores=0-7
/proc/14717/task/14730/stat : 14730 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047897 26628161536 11477 33554432000 4194304 4196468 140725482349488 140046279923664 140048010827675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14731] ppid=14715 vsize=26004064 memory=279256492111760 CPUtime=0.02 cores=0-7
/proc/14717/task/14731/stat : 14731 (java) R 14715 14715 10735 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 97047897 26628161536 11477 33554432000 4194304 4196468 140725482349488 140046278871792 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14732] ppid=14715 vsize=26004064 memory=279256492118672 CPUtime=0.01 cores=0-7
/proc/14717/task/14732/stat : 14732 (java) S 14715 14715 10735 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 97047897 26628161536 11477 33554432000 4194304 4196468 140725482349488 140046277819248 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14733] ppid=14715 vsize=26004064 memory=279256492116368 CPUtime=0.03 cores=0-7
/proc/14717/task/14733/stat : 14733 (java) R 14715 14715 10735 0 -1 4202560 331 0 0 0 3 0 0 0 20 0 20 0 97047897 26628161536 11477 33554432000 4194304 4196468 140725482349488 140046276756112 140047994318368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14734] ppid=14715 vsize=26004064 memory=279256492132528 CPUtime=0.12 cores=0-7
/proc/14717/task/14734/stat : 14734 (java) R 14715 14715 10735 0 -1 4202560 810 0 0 0 12 0 0 0 20 0 20 0 97047897 26628161536 11477 33554432000 4194304 4196468 140725482349488 140046275710016 140048010821014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14735] ppid=14715 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14735/stat : 14735 (java) S 14715 14715 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047898 26628161536 11477 33554432000 4194304 4196468 140725482349488 140046274660832 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14736] ppid=14715 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14717/task/14736/stat : 14736 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047898 26628161536 11477 33554432000 4194304 4196468 140725482349488 140046273608368 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47292 KiB

[startup+0.700992 s]
/proc/loadavg: 7.27 7.91 7.62 5/199 14736
/proc/meminfo: memFree=31460304/32770624 swapFree=67108860/67108860
[pid=14715] ppid=14712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14715/stat : 14715 (xcsp3-exec) S 14712 14715 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97047891 9740288 346 33554432000 4194304 5098028 140731263529792 140731263527896 140480834790012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11046912 140731263538283 140731263538492 140731263538492 140731263541227 0
/proc/14715/statm: 2378 346 289 221 0 87 0
[pid=14717] ppid=14715 vsize=26006188 memory=93296 CPUtime=1.8 cores=0-7
/proc/14717/stat : 14717 (java) S 14715 14715 10735 0 -1 1077944320 12848 0 0 0 176 4 0 0 20 0 20 0 97047892 26630336512 23324 33554432000 4194304 4196468 140725482349488 140725482332032 140048010809079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
/proc/14717/statm: 6501547 23324 3198 1 0 6488781 0
[pid=14717/tid=14718] ppid=14715 vsize=26006188 memory=279256492490416 CPUtime=0.67 cores=0-7
/proc/14717/task/14718/stat : 14718 (java) R 14715 14715 10735 0 -1 4202560 6541 0 0 0 65 2 0 0 20 0 20 0 97047892 26630336512 23324 33554432000 4194304 4196468 140725482349488 140048015036928 140048003487093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14719] ppid=14715 vsize=26006188 memory=139628246246256 CPUtime=0 cores=0-7
/proc/14717/task/14719/stat : 14719 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26630336512 23324 33554432000 4194304 4196468 140725482349488 140047963429392 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14720] ppid=14715 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/14717/task/14720/stat : 14720 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97047893 26630336512 23324 33554432000 4194304 4196468 140725482349488 140047962376848 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14721] ppid=14715 vsize=26006188 memory=5672 CPUtime=0 cores=0-7
/proc/14717/task/14721/stat : 14721 (java) S 14715 14715 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97047893 26630336512 23324 33554432000 4194304 4196468 140725482349488 140047961323792 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0

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

[pid=14717/tid=21703] ppid=14715 vsize=26541776 memory=1509308 CPUtime=26.44 cores=0-7
/proc/14717/task/21703/stat : 21703 (java) R 14715 14715 10735 0 -1 4202560 1104 0 0 0 2642 2 0 0 20 0 28 0 97061474 27178778624 377327 33554432000 4194304 4196468 140725482349488 140045522539528 140047635667518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
Current children cumulated CPU time: 1105.22 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 1510692 KiB

[startup+222.302 s]
/proc/loadavg: 7.63 7.52 7.50 9/207 21703
/proc/meminfo: memFree=30095604/32770624 swapFree=67108860/67108860
[pid=14715] ppid=14712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14715/stat : 14715 (xcsp3-exec) S 14712 14715 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97047891 9740288 346 33554432000 4194304 5098028 140731263529792 140731263527896 140480834790012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11046912 140731263538283 140731263538492 140731263538492 140731263541227 0
/proc/14715/statm: 2378 346 289 221 0 87 0
[pid=14717] ppid=14715 vsize=26541776 memory=1437488 CPUtime=1583.72 cores=0-7
/proc/14717/stat : 14717 (java) S 14715 14715 10735 0 -1 1077944320 264247 0 0 0 157979 393 0 0 20 0 28 0 97047892 27178778624 359372 33554432000 4194304 4196468 140725482349488 140725482332032 140048010809079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
/proc/14717/statm: 6635444 359372 3289 1 0 6622678 0
[pid=14717/tid=14718] ppid=14715 vsize=26541776 memory=1465700 CPUtime=6.61 cores=0-7
/proc/14717/task/14718/stat : 14718 (java) S 14715 14715 10735 0 -1 1077944384 12863 0 0 0 644 17 0 0 20 0 28 0 97047892 27178778624 359372 33554432000 4194304 4196468 140725482349488 140048015049792 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14719] ppid=14715 vsize=26541776 memory=1454932 CPUtime=0.43 cores=0-7
/proc/14717/task/14719/stat : 14719 (java) S 14715 14715 10735 0 -1 1077944384 2294 0 0 0 32 11 0 0 20 0 28 0 97047893 27178778624 359372 33554432000 4194304 4196468 140725482349488 140047963429392 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14720] ppid=14715 vsize=26541776 memory=1445696 CPUtime=0.43 cores=0-7
/proc/14717/task/14720/stat : 14720 (java) S 14715 14715 10735 0 -1 1077944384 1891 0 0 0 30 13 0 0 20 0 28 0 97047893 27178778624 359372 33554432000 4194304 4196468 140725482349488 140047962376848 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14721] ppid=14715 vsize=26541776 memory=1445696 CPUtime=0.42 cores=0-7
/proc/14717/task/14721/stat : 14721 (java) S 14715 14715 10735 0 -1 1077944384 2419 0 0 0 30 12 0 0 20 0 28 0 97047893 27178778624 359372 33554432000 4194304 4196468 140725482349488 140047961323792 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14722] ppid=14715 vsize=26541776 memory=1437488 CPUtime=0.44 cores=0-7
/proc/14717/task/14722/stat : 14722 (java) S 14715 14715 10735 0 -1 1077944384 3322 0 0 0 32 12 0 0 20 0 28 0 97047893 27178778624 359372 33554432000 4194304 4196468 140725482349488 140047960271248 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14723] ppid=14715 vsize=26541776 memory=1437488 CPUtime=0.44 cores=0-7
/proc/14717/task/14723/stat : 14723 (java) S 14715 14715 10735 0 -1 1077944384 1818 0 0 0 31 13 0 0 20 0 28 0 97047893 27178778624 359372 33554432000 4194304 4196468 140725482349488 140047959219216 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14724] ppid=14715 vsize=26541776 memory=1437488 CPUtime=0.43 cores=0-7
/proc/14717/task/14724/stat : 14724 (java) S 14715 14715 10735 0 -1 1077944384 2956 0 0 0 31 12 0 0 20 0 28 0 97047893 27178778624 359372 33554432000 4194304 4196468 140725482349488 140047958166672 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14725] ppid=14715 vsize=26541776 memory=1384 CPUtime=0.42 cores=0-7
/proc/14717/task/14725/stat : 14725 (java) S 14715 14715 10735 0 -1 1077944384 4350 0 0 0 31 11 0 0 20 0 28 0 97047893 27178778624 359372 33554432000 4194304 4196468 140725482349488 140047957113616 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14726] ppid=14715 vsize=26541776 memory=916 CPUtime=0.43 cores=0-7
/proc/14717/task/14726/stat : 14726 (java) S 14715 14715 10735 0 -1 1077944384 2391 0 0 0 31 12 0 0 20 0 28 0 97047893 27178778624 359372 33554432000 4194304 4196468 140725482349488 140047956061072 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14727] ppid=14715 vsize=26541776 memory=4044 CPUtime=0.11 cores=0-7
/proc/14717/task/14727/stat : 14727 (java) S 14715 14715 10735 0 -1 1077944384 9144 0 0 0 8 3 0 0 20 0 28 0 97047894 27178778624 359372 33554432000 4194304 4196468 140725482349488 140046283081968 140048010820226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14728] ppid=14715 vsize=26541776 memory=16408 CPUtime=0 cores=0-7
/proc/14717/task/14728/stat : 14728 (java) S 14715 14715 10735 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 97047895 27178778624 359372 33554432000 4194304 4196468 140725482349488 140046282028256 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14729] ppid=14715 vsize=26541776 memory=1384 CPUtime=0 cores=0-7
/proc/14717/task/14729/stat : 14729 (java) S 14715 14715 10735 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 97047895 27178778624 359372 33554432000 4194304 4196468 140725482349488 140046280975104 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14730] ppid=14715 vsize=26541776 memory=1437488 CPUtime=0 cores=0-7
/proc/14717/task/14730/stat : 14730 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97047897 27178778624 359372 33554432000 4194304 4196468 140725482349488 140046279923664 140048010827675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14731] ppid=14715 vsize=26541776 memory=28109 CPUtime=3.57 cores=0-7
/proc/14717/task/14731/stat : 14731 (java) S 14715 14715 10735 0 -1 1077944384 27930 0 0 0 353 4 0 0 20 0 28 0 97047897 27178778624 359372 33554432000 4194304 4196468 140725482349488 140046278871792 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14732] ppid=14715 vsize=26541776 memory=1296 CPUtime=4.09 cores=0-7
/proc/14717/task/14732/stat : 14732 (java) S 14715 14715 10735 0 -1 1077944384 25958 0 0 0 405 4 0 0 20 0 28 0 97047897 27178778624 359372 33554432000 4194304 4196468 140725482349488 140046277819248 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14733] ppid=14715 vsize=26541776 memory=6944656592455359580 CPUtime=3.51 cores=0-7
/proc/14717/task/14733/stat : 14733 (java) S 14715 14715 10735 0 -1 1077944384 25040 0 0 0 346 5 0 0 20 0 28 0 97047897 27178778624 359372 33554432000 4194304 4196468 140725482349488 140046276766192 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14734] ppid=14715 vsize=26541776 memory=0 CPUtime=1.31 cores=0-7
/proc/14717/task/14734/stat : 14734 (java) S 14715 14715 10735 0 -1 1077944384 23906 0 0 0 127 4 0 0 20 0 28 0 97047897 27178778624 359372 33554432000 4194304 4196468 140725482349488 140046275713648 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14735] ppid=14715 vsize=26541776 memory=1576 CPUtime=0 cores=0-7
/proc/14717/task/14735/stat : 14735 (java) S 14715 14715 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97047898 27178778624 359372 33554432000 4194304 4196468 140725482349488 140046274660832 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14736] ppid=14715 vsize=26541776 memory=2236 CPUtime=0.08 cores=0-7
/proc/14717/task/14736/stat : 14736 (java) S 14715 14715 10735 0 -1 1077944384 3311 0 0 0 3 5 0 0 20 0 28 0 97047898 27178778624 359372 33554432000 4194304 4196468 140725482349488 140046273608368 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21696] ppid=14715 vsize=26541776 memory=4136 CPUtime=86.33 cores=0-7
/proc/14717/task/21696/stat : 21696 (java) R 14715 14715 10735 0 -1 4202560 1994 0 0 0 8629 4 0 0 20 0 28 0 97061473 27178778624 359372 33554432000 4194304 4196468 140725482349488 140045526748304 140047630684620 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21697] ppid=14715 vsize=26541776 memory=27936 CPUtime=86.3 cores=0-7
/proc/14717/task/21697/stat : 21697 (java) R 14715 14715 10735 0 -1 4202560 2188 0 0 0 8628 2 0 0 20 0 28 0 97061473 27178778624 359372 33554432000 4194304 4196468 140725482349488 140045519381064 140047635667448 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21698] ppid=14715 vsize=26541776 memory=1384 CPUtime=86.35 cores=0-7
/proc/14717/task/21698/stat : 21698 (java) R 14715 14715 10735 0 -1 4202560 2069 0 0 0 8633 2 0 0 20 0 28 0 97061473 27178778624 359372 33554432000 4194304 4196468 140725482349488 140045516231760 140047635621094 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21699] ppid=14715 vsize=26541776 memory=1437488 CPUtime=85.86 cores=0-7
/proc/14717/task/21699/stat : 21699 (java) R 14715 14715 10735 0 -1 4202560 6686 0 0 0 8574 12 0 0 20 0 28 0 97061473 27178778624 359372 33554432000 4194304 4196468 140725482349488 140045525697600 140047635667918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21700] ppid=14715 vsize=26541776 memory=4136 CPUtime=86.35 cores=0-7
/proc/14717/task/21700/stat : 21700 (java) R 14715 14715 10735 0 -1 4202560 3337 0 0 0 8630 5 0 0 20 0 28 0 97061473 27178778624 359372 33554432000 4194304 4196468 140725482349488 140045523594928 140047630897027 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21701] ppid=14715 vsize=26541776 memory=27936 CPUtime=85.81 cores=0-7
/proc/14717/task/21701/stat : 21701 (java) R 14715 14715 10735 0 -1 4202560 3712 0 0 0 8579 2 0 0 20 0 28 0 97061473 27178778624 359372 33554432000 4194304 4196468 140725482349488 140045520434280 140047627144638 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21702] ppid=14715 vsize=26541776 memory=1296 CPUtime=85.65 cores=0-7
/proc/14717/task/21702/stat : 21702 (java) R 14715 14715 10735 0 -1 4202560 2135 0 0 0 8564 1 0 0 20 0 28 0 97061474 27178778624 359372 33554432000 4194304 4196468 140725482349488 140045524644528 140047630897022 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21703] ppid=14715 vsize=26541776 memory=1454932 CPUtime=86.16 cores=0-7
/proc/14717/task/21703/stat : 21703 (java) R 14715 14715 10735 0 -1 4202560 2420 0 0 0 8613 3 0 0 20 0 28 0 97061474 27178778624 359372 33554432000 4194304 4196468 140725482349488 140045522539392 140047632711509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
Current children cumulated CPU time: 1583.72 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 1438872 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.90 7.60 7.53 9/207 21703
/proc/meminfo: memFree=30115884/32770624 swapFree=67108860/67108860
[pid=14715] ppid=14712 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14715/stat : 14715 (xcsp3-exec) S 14712 14715 10735 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97047891 9740288 346 33554432000 4194304 5098028 140731263529792 140731263527896 140480834790012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11046912 140731263538283 140731263538492 140731263538492 140731263541227 0
/proc/14715/statm: 2378 346 289 221 0 87 0
[pid=14717] ppid=14715 vsize=26541776 memory=1417996 CPUtime=1820.63 cores=0-7
/proc/14717/stat : 14717 (java) S 14715 14715 10735 0 -1 1077944320 266483 0 0 0 181669 394 0 0 20 0 28 0 97047892 27178778624 354499 33554432000 4194304 4196468 140725482349488 140725482332032 140048010809079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
/proc/14717/statm: 6635444 354499 3289 1 0 6622678 0
[pid=14717/tid=14718] ppid=14715 vsize=26541776 memory=6791534058613427641 CPUtime=6.61 cores=0-7
/proc/14717/task/14718/stat : 14718 (java) S 14715 14715 10735 0 -1 1077944384 12863 0 0 0 644 17 0 0 20 0 28 0 97047892 27178778624 354499 33554432000 4194304 4196468 140725482349488 140048015049792 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14719] ppid=14715 vsize=26541776 memory=4872558044660077418 CPUtime=0.45 cores=0-7
/proc/14717/task/14719/stat : 14719 (java) S 14715 14715 10735 0 -1 1077944384 2324 0 0 0 34 11 0 0 20 0 28 0 97047893 27178778624 354499 33554432000 4194304 4196468 140725482349488 140047963429392 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14720] ppid=14715 vsize=26541776 memory=928 CPUtime=0.45 cores=0-7
/proc/14717/task/14720/stat : 14720 (java) S 14715 14715 10735 0 -1 1077944384 1911 0 0 0 32 13 0 0 20 0 28 0 97047893 27178778624 354499 33554432000 4194304 4196468 140725482349488 140047962376848 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14721] ppid=14715 vsize=26541776 memory=1576 CPUtime=0.45 cores=0-7
/proc/14717/task/14721/stat : 14721 (java) S 14715 14715 10735 0 -1 1077944384 2439 0 0 0 33 12 0 0 20 0 28 0 97047893 27178778624 354499 33554432000 4194304 4196468 140725482349488 140047961323792 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14722] ppid=14715 vsize=26541776 memory=2236 CPUtime=0.46 cores=0-7
/proc/14717/task/14722/stat : 14722 (java) S 14715 14715 10735 0 -1 1077944384 3329 0 0 0 34 12 0 0 20 0 28 0 97047893 27178778624 354499 33554432000 4194304 4196468 140725482349488 140047960271248 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14723] ppid=14715 vsize=26541776 memory=1384 CPUtime=0.46 cores=0-7
/proc/14717/task/14723/stat : 14723 (java) S 14715 14715 10735 0 -1 1077944384 1859 0 0 0 33 13 0 0 20 0 28 0 97047893 27178778624 354499 33554432000 4194304 4196468 140725482349488 140047959219216 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14724] ppid=14715 vsize=26541776 memory=6791534058613427641 CPUtime=0.45 cores=0-7
/proc/14717/task/14724/stat : 14724 (java) S 14715 14715 10735 0 -1 1077944384 2962 0 0 0 33 12 0 0 20 0 28 0 97047893 27178778624 354499 33554432000 4194304 4196468 140725482349488 140047958166672 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14725] ppid=14715 vsize=26541776 memory=2236 CPUtime=0.45 cores=0-7
/proc/14717/task/14725/stat : 14725 (java) S 14715 14715 10735 0 -1 1077944384 4366 0 0 0 34 11 0 0 20 0 28 0 97047893 27178778624 354499 33554432000 4194304 4196468 140725482349488 140047957113616 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14726] ppid=14715 vsize=26541776 memory=4316 CPUtime=0.45 cores=0-7
/proc/14717/task/14726/stat : 14726 (java) S 14715 14715 10735 0 -1 1077944384 2626 0 0 0 33 12 0 0 20 0 28 0 97047893 27178778624 354499 33554432000 4194304 4196468 140725482349488 140047956061072 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14727] ppid=14715 vsize=26541776 memory=2196 CPUtime=0.11 cores=0-7
/proc/14717/task/14727/stat : 14727 (java) S 14715 14715 10735 0 -1 1077944384 9243 0 0 0 8 3 0 0 20 0 28 0 97047894 27178778624 354499 33554432000 4194304 4196468 140725482349488 140046283081968 140048010820226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14728] ppid=14715 vsize=26541776 memory=6760 CPUtime=0 cores=0-7
/proc/14717/task/14728/stat : 14728 (java) S 14715 14715 10735 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 97047895 27178778624 354499 33554432000 4194304 4196468 140725482349488 140046282028256 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14729] ppid=14715 vsize=26541776 memory=832 CPUtime=0 cores=0-7
/proc/14717/task/14729/stat : 14729 (java) S 14715 14715 10735 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 97047895 27178778624 354499 33554432000 4194304 4196468 140725482349488 140046280975104 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14730] ppid=14715 vsize=26541776 memory=1692 CPUtime=0 cores=0-7
/proc/14717/task/14730/stat : 14730 (java) S 14715 14715 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97047897 27178778624 354499 33554432000 4194304 4196468 140725482349488 140046279923664 140048010827675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14731] ppid=14715 vsize=26541776 memory=916 CPUtime=3.57 cores=0-7
/proc/14717/task/14731/stat : 14731 (java) S 14715 14715 10735 0 -1 1077944384 27932 0 0 0 353 4 0 0 20 0 28 0 97047897 27178778624 354499 33554432000 4194304 4196468 140725482349488 140046278871792 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14732] ppid=14715 vsize=26541776 memory=4136 CPUtime=4.09 cores=0-7
/proc/14717/task/14732/stat : 14732 (java) S 14715 14715 10735 0 -1 1077944384 25960 0 0 0 405 4 0 0 20 0 28 0 97047897 27178778624 354499 33554432000 4194304 4196468 140725482349488 140046277819248 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14733] ppid=14715 vsize=26541776 memory=4108 CPUtime=3.51 cores=0-7
/proc/14717/task/14733/stat : 14733 (java) S 14715 14715 10735 0 -1 1077944384 25042 0 0 0 346 5 0 0 20 0 28 0 97047897 27178778624 354499 33554432000 4194304 4196468 140725482349488 140046276766192 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14734] ppid=14715 vsize=26541776 memory=1160 CPUtime=1.31 cores=0-7
/proc/14717/task/14734/stat : 14734 (java) S 14715 14715 10735 0 -1 1077944384 24879 0 0 0 127 4 0 0 20 0 28 0 97047897 27178778624 354499 33554432000 4194304 4196468 140725482349488 140046275713648 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14735] ppid=14715 vsize=26541776 memory=4196 CPUtime=0 cores=0-7
/proc/14717/task/14735/stat : 14735 (java) S 14715 14715 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97047898 27178778624 354499 33554432000 4194304 4196468 140725482349488 140046274660832 140048010819285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=14736] ppid=14715 vsize=26541776 memory=1384 CPUtime=0.09 cores=0-7
/proc/14717/task/14736/stat : 14736 (java) S 14715 14715 10735 0 -1 1077944384 3315 0 0 0 4 5 0 0 20 0 28 0 97047898 27178778624 354499 33554432000 4194304 4196468 140725482349488 140046273608368 140048010820226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21696] ppid=14715 vsize=26541776 memory=288230574492221466 CPUtime=115.99 cores=0-7
/proc/14717/task/21696/stat : 21696 (java) R 14715 14715 10735 0 -1 4202560 2016 0 0 0 11595 4 0 0 20 0 28 0 97061473 27178778624 354499 33554432000 4194304 4196468 140725482349488 140045526748552 140047635779385 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21697] ppid=14715 vsize=26541776 memory=288230621803970871 CPUtime=115.97 cores=0-7
/proc/14717/task/21697/stat : 21697 (java) R 14715 14715 10735 0 -1 4202560 2225 0 0 0 11595 2 0 0 20 0 28 0 97061473 27178778624 354499 33554432000 4194304 4196468 140725482349488 140045519384048 140047635620188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21698] ppid=14715 vsize=26541776 memory=15255943717849665 CPUtime=116.01 cores=0-7
/proc/14717/task/21698/stat : 21698 (java) R 14715 14715 10735 0 -1 4202560 2099 0 0 0 11598 3 0 0 20 0 28 0 97061473 27178778624 354499 33554432000 4194304 4196468 140725482349488 140045516231760 140047635620941 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21699] ppid=14715 vsize=26541776 memory=4136 CPUtime=115.06 cores=0-7
/proc/14717/task/21699/stat : 21699 (java) R 14715 14715 10735 0 -1 4202560 7013 0 0 0 11494 12 0 0 20 0 28 0 97061473 27178778624 354499 33554432000 4194304 4196468 140725482349488 140045525697944 140047635157080 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21700] ppid=14715 vsize=26541776 memory=4108 CPUtime=116.02 cores=0-7
/proc/14717/task/21700/stat : 21700 (java) R 14715 14715 10735 0 -1 4202560 3463 0 0 0 11597 5 0 0 20 0 28 0 97061473 27178778624 354499 33554432000 4194304 4196468 140725482349488 140045523592536 140047635667881 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21701] ppid=14715 vsize=26541776 memory=1160 CPUtime=115.33 cores=0-7
/proc/14717/task/21701/stat : 21701 (java) R 14715 14715 10735 0 -1 4202560 3804 0 0 0 11531 2 0 0 20 0 28 0 97061473 27178778624 354499 33554432000 4194304 4196468 140725482349488 140045520434320 140047629921957 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21702] ppid=14715 vsize=26541776 memory=4196 CPUtime=115.32 cores=0-7
/proc/14717/task/21702/stat : 21702 (java) R 14715 14715 10735 0 -1 4202560 2184 0 0 0 11531 1 0 0 20 0 28 0 97061474 27178778624 354499 33554432000 4194304 4196468 140725482349488 140045524645032 140047630897027 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
[pid=14717/tid=21703] ppid=14715 vsize=26541776 memory=1384 CPUtime=115.82 cores=0-7
/proc/14717/task/21703/stat : 21703 (java) R 14715 14715 10735 0 -1 4202560 2516 0 0 0 11579 3 0 0 20 0 28 0 97061474 27178778624 354499 33554432000 4194304 4196468 140725482349488 140045522539336 140047635667918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24481792 140725482353816 140725482353992 140725482353992 140725482356687 0
Current children cumulated CPU time: 1820.63 s
Current children cumulated vsize: 26551288 KiB
Current children cumulated memory: 1419380 KiB

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

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

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

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

Child status: 143
Real time (s): 252.102
CPU time (s): 1821.27
CPU user time (s): 1817.31
CPU system time (s): 3.96213
CPU usage (%): 722.435
Max. virtual memory (cumulated for all children) (KiB): 26551288
Max. memory (cumulated for all children) (KiB): 2261608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1817.31
system time used= 3.96213
maximum resident set size= 2266368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64442
involuntary context switches= 20725


# summary of solver processes directly reported to runsolver:
#   pid: 14715,14717
#   total CPU time (s): 1821.27
#   total CPU user time (s): 1817.31
#   total CPU system time (s): 3.96213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.09605 second user time and 3.03272 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-13 17:38:57
IDJOB=4271799
IDBENCH=115895
IDSOLVER=2663
FILE ID=node102/4271799-1502639595
RUNJOBID= node102-1502634636-10762
PBS_JOBID= 20628324
Free space on /tmp= 61912 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.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-4271799-1502639595/watcher-4271799-1502639595 -o /tmp/evaluation-result-4271799-1502639595/solver-4271799-1502639595 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502634636-10762 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 137756136 HOME/instance-4271799-1502639595.xml

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

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=137756136

node102.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.35
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.35
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.35
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.35
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:        31523104 kB
MemAvailable:   31985432 kB
Buffers:          113800 kB
Cached:           633080 kB
SwapCached:            0 kB
Active:           637716 kB
Inactive:         159896 kB
Active(anon):       3244 kB
Inactive(anon):    75372 kB
Active(file):     634472 kB
Inactive(file):    84524 kB
Unevictable:        6444 kB
Mlocked:            6444 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7784 kB
Writeback:             0 kB
AnonPages:         57264 kB
Mapped:            43424 kB
Shmem:             25228 kB
Slab:             144552 kB
SReclaimable:     118336 kB
SUnreclaim:        26216 kB
KernelStack:        3152 kB
PageTables:         4640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61904 MiB
End job on node102 at 2017-08-13 17:43:09