Trace number 4244754

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)SAT (TO)887 2400.23 322.012

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 benchmark941
Best CPU time to get the best result obtained on this benchmark2519.6799
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 -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244754-1500684585.xml"  -tl '2400s' -p 8 -x 3
0.00/0.21	c [HOME/instance-4244754-1500684585.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.27	c 8 solvers in parallel
0.00/0.34	c parse instance...
13.24/6.19	c solve instance...
44.12/10.15	o 0 
46.11/10.79	o 4 
46.23/10.83	o 6 
48.43/12.52	o 8 
48.43/12.54	o 10 
48.43/12.56	o 12 
48.85/12.60	o 14 
70.03/15.47	o 16 
74.69/16.38	o 18 
97.03/19.21	o 20 
97.03/19.28	o 22 
142.93/25.05	o 24 
181.87/30.16	o 25 
181.87/30.19	o 26 
182.14/30.21	o 27 
182.14/30.22	o 28 
182.14/30.27	o 29 
182.14/30.28	o 30 
182.78/30.30	o 31 
182.78/30.32	o 32 
182.78/30.34	o 33 
182.78/30.35	o 34 
182.78/30.37	o 35 
182.78/30.38	o 36 
182.78/30.39	o 37 
183.38/30.41	o 38 
183.38/30.43	o 39 
183.38/30.44	o 40 
183.38/30.45	o 41 
183.38/30.47	o 42 
183.38/30.50	o 43 
183.81/30.51	o 44 
183.81/30.53	o 45 
183.81/30.55	o 46 
183.81/30.56	o 47 
183.81/30.57	o 48 
183.81/30.59	o 49 
184.39/30.60	o 50 
184.39/30.61	o 51 
184.39/30.64	o 52 
184.39/30.65	o 53 
184.39/30.67	o 54 
184.39/30.69	o 55 
184.89/30.71	o 56 
184.89/30.73	o 57 
184.89/30.74	o 58 
184.89/30.76	o 59 
184.89/30.78	o 60 
184.89/30.79	o 61 
184.89/30.81	o 62 
185.45/30.83	o 63 
185.45/30.85	o 64 
185.45/30.86	o 65 
185.45/30.88	o 66 
185.45/30.90	o 67 
185.94/30.91	o 68 
185.94/30.93	o 69 
185.94/30.94	o 70 
185.94/30.96	o 71 
185.94/30.98	o 72 
185.94/30.99	o 73 
186.32/31.00	o 74 
186.32/31.02	o 75 
186.32/31.03	o 76 
186.32/31.04	o 77 
186.32/31.09	o 78 
186.81/31.10	o 79 
186.81/31.12	o 80 
186.81/31.14	o 81 
186.81/31.15	o 82 
186.81/31.17	o 83 
186.81/31.19	o 84 
187.36/31.21	o 85 
187.36/31.23	o 86 
187.36/31.25	o 87 
187.36/31.26	o 88 
187.36/31.28	o 89 
187.88/31.30	o 90 
187.88/31.31	o 91 
187.88/31.33	o 92 
187.88/31.35	o 93 
187.88/31.36	o 94 
187.88/31.39	o 95 
188.38/31.40	o 96 
188.38/31.42	o 97 
188.38/31.44	o 98 
188.38/31.46	o 99 
188.38/31.48	o 100 
188.87/31.50	o 101 
188.87/31.52	o 102 
188.87/31.54	o 103 
188.87/31.55	o 104 
188.87/31.57	o 105 
188.87/31.58	o 106 
189.32/31.60	o 107 
189.32/31.62	o 108 
189.32/31.64	o 109 
189.32/31.66	o 110 
189.32/31.68	o 111 
189.77/31.70	o 112 
189.77/31.72	o 113 
189.77/31.74	o 114 
189.77/31.76	o 115 
189.77/31.78	o 116 
189.77/31.80	o 117 
190.13/31.81	o 118 
190.13/31.84	o 119 
190.13/31.86	o 120 
190.13/31.89	o 121 
190.74/31.91	o 122 
190.74/31.93	o 123 
190.74/31.95	o 124 
190.74/31.97	o 125 
190.74/31.99	o 126 
191.24/32.01	o 127 
191.24/32.04	o 128 
191.24/32.05	o 129 
191.24/32.07	o 130 
191.24/32.09	o 131 
191.71/32.11	o 132 
191.71/32.13	o 133 
191.71/32.15	o 134 
191.71/32.17	o 135 
191.71/32.19	o 136 
192.26/32.20	o 137 
192.26/32.21	o 138 
192.26/32.22	o 139 
192.26/32.24	o 140 
192.26/32.26	o 141 
192.26/32.27	o 142 
192.72/32.30	o 143 
192.72/32.31	o 144 
192.72/32.33	o 145 
192.72/32.34	o 146 
192.72/32.36	o 147 
192.72/32.37	o 148 
192.72/32.39	o 149 
193.21/32.40	o 150 
193.21/32.41	o 151 
193.21/32.43	o 152 
193.21/32.45	o 153 
193.21/32.46	o 154 
193.21/32.47	o 155 
193.21/32.48	o 156 
193.21/32.50	o 157 
193.65/32.52	o 158 
193.65/32.53	o 159 
193.65/32.55	o 160 
193.65/32.57	o 161 
193.65/32.58	o 162 
194.21/32.60	o 163 
194.21/32.62	o 164 
194.80/33.09	o 165 
194.80/33.11	o 166 
194.99/33.13	o 167 
194.99/33.14	o 168 
194.99/33.16	o 169 
194.99/33.17	o 170 
194.99/33.19	o 171 
195.44/33.21	o 172 
195.44/33.22	o 173 
195.44/33.24	o 174 
195.44/33.25	o 175 
195.44/33.27	o 176 
195.44/33.28	o 177 
195.98/33.30	o 178 
195.98/33.31	o 179 
195.98/33.33	o 180 
195.98/33.34	o 181 
195.98/33.36	o 182 
195.98/33.39	o 183 
196.50/33.41	o 184 
196.50/33.42	o 185 
196.50/33.43	o 186 
196.50/33.45	o 187 
196.50/33.47	o 188 
196.50/33.49	o 189 
196.98/33.51	o 190 
196.98/33.53	o 191 
196.98/33.55	o 192 
196.98/33.56	o 193 
196.98/33.58	o 194 
197.49/33.60	o 195 
197.49/33.62	o 196 
197.49/33.64	o 197 
197.49/33.65	o 198 
197.49/33.67	o 199 
197.49/33.69	o 200 
198.04/33.70	o 201 
198.04/33.71	o 202 
198.04/33.73	o 203 
198.04/33.75	o 204 
198.04/33.77	o 205 
198.04/33.79	o 206 
198.57/33.80	o 207 
198.57/33.81	o 208 
198.57/33.83	o 209 
198.57/33.84	o 210 
198.57/33.85	o 211 
199.07/34.05	o 212 
199.07/34.07	o 213 
199.07/34.09	o 214 
199.41/34.11	o 215 
199.41/34.13	o 216 
199.41/34.15	o 217 
199.41/34.16	o 218 
199.41/34.18	o 219 
199.41/34.20	o 220 
199.98/34.22	o 221 
199.98/34.23	o 222 
199.98/34.25	o 223 
199.98/34.26	o 224 
199.98/34.28	o 225 
200.48/34.30	o 226 
200.48/34.32	o 227 
200.48/34.33	o 228 
200.48/34.35	o 229 
200.48/34.37	o 230 
200.48/34.38	o 231 
200.48/34.40	o 232 
200.97/34.41	o 233 
200.97/34.42	o 234 
200.97/34.43	o 235 
200.97/34.45	o 236 
200.97/34.46	o 237 
200.97/34.48	o 238 
201.49/34.50	o 239 
201.49/34.51	o 240 
201.49/34.53	o 241 
201.49/34.55	o 242 
201.49/34.57	o 243 
201.49/34.59	o 244 
202.00/34.60	o 245 
202.00/34.62	o 246 
202.00/34.64	o 247 
202.00/34.65	o 248 
202.64/34.92	o 249 
202.64/34.94	o 250 
202.64/34.96	o 251 
202.64/34.97	o 252 
202.64/34.98	o 253 
202.64/35.00	o 254 
203.07/35.02	o 255 
203.07/35.04	o 256 
203.07/35.06	o 257 
203.07/35.08	o 258 
203.07/35.09	o 259 
203.58/35.11	o 260 
203.58/35.13	o 261 
203.58/35.14	o 262 
203.58/35.17	o 263 
203.58/35.19	o 264 
203.58/35.20	o 265 
204.18/35.22	o 266 
204.18/35.24	o 267 
204.18/35.26	o 268 
204.18/35.28	o 269 
204.18/35.29	o 270 
204.18/35.30	o 271 
204.75/35.32	o 272 
204.75/35.34	o 273 
204.75/35.35	o 274 
204.75/35.37	o 275 
204.75/35.39	o 276 
204.75/35.40	o 277 
205.25/35.41	o 278 
205.25/35.43	o 279 
205.25/35.44	o 280 
205.25/35.45	o 281 
205.25/35.47	o 282 
205.25/35.48	o 283 
205.25/35.49	o 284 
205.77/35.51	o 285 
205.77/35.52	o 286 
205.77/35.53	o 287 
205.77/35.54	o 288 
205.77/35.56	o 289 
205.77/35.58	o 290 
205.77/35.59	o 291 
206.34/35.61	o 292 
206.34/35.63	o 293 
206.34/35.64	o 294 
206.34/35.66	o 295 
206.34/35.68	o 296 
206.34/35.69	o 297 
206.91/35.71	o 298 
206.91/35.73	o 299 
206.91/35.74	o 300 
206.91/35.76	o 301 
206.91/35.77	o 302 
206.91/35.78	o 303 
207.53/35.80	o 304 
207.53/35.81	o 305 
207.53/35.82	o 306 
207.53/35.84	o 307 
207.53/35.86	o 308 
207.53/35.87	o 309 
207.53/35.88	o 310 
208.13/35.90	o 311 
208.13/35.92	o 312 
208.13/35.93	o 313 
208.13/35.94	o 314 
208.13/35.96	o 315 
208.13/35.98	o 316 
208.13/35.99	o 317 
208.68/36.01	o 318 
208.68/36.02	o 319 
208.68/36.04	o 320 
208.68/36.05	o 321 
208.68/36.07	o 322 
208.68/36.08	o 323 
209.73/36.54	o 324 
209.73/36.56	o 325 
209.73/36.58	o 326 
209.73/36.59	o 327 
210.10/36.61	o 328 
210.10/36.62	o 329 
210.10/36.64	o 330 
210.10/36.65	o 331 
210.10/36.67	o 332 
210.10/36.68	o 333 
210.10/36.69	o 334 
210.66/36.71	o 335 
210.66/36.73	o 336 
210.66/36.75	o 337 
210.66/36.77	o 338 
210.66/36.78	o 339 
211.22/36.80	o 340 
211.22/36.82	o 341 
211.22/36.84	o 342 
211.22/36.85	o 343 
211.22/36.88	o 344 
211.74/36.90	o 345 
211.74/36.91	o 346 
211.74/36.93	o 347 
211.74/36.94	o 348 
211.74/36.96	o 349 
211.74/36.98	o 350 
212.31/37.00	o 351 
212.31/37.01	o 352 
212.31/37.03	o 353 
212.31/37.04	o 354 
212.31/37.06	o 355 
212.31/37.08	o 356 
212.31/37.09	o 357 
212.97/37.11	o 358 
212.97/37.13	o 359 
212.97/37.15	o 360 
212.97/37.16	o 361 
212.97/37.18	o 362 
213.50/37.20	o 363 
213.50/37.21	o 364 
213.50/37.23	o 365 
213.50/37.25	o 366 
213.50/37.27	o 367 
213.50/37.29	o 368 
214.10/37.30	o 369 
214.10/37.32	o 370 
214.10/37.34	o 371 
214.10/37.36	o 372 
214.10/37.37	o 373 
214.10/37.39	o 374 
214.10/37.41	o 375 
214.75/37.43	o 376 
214.75/37.44	o 377 
214.75/37.46	o 378 
214.75/37.48	o 379 
214.75/37.50	o 380 
215.35/37.52	o 381 
215.35/37.53	o 382 
215.35/37.55	o 383 
215.35/37.57	o 384 
215.35/37.59	o 385 
215.85/37.61	o 386 
215.85/37.62	o 387 
215.85/37.64	o 388 
215.85/37.65	o 389 
215.85/37.67	o 390 
215.85/37.69	o 391 
216.39/37.71	o 392 
216.39/37.72	o 393 
216.39/37.74	o 394 
216.39/37.76	o 395 
216.39/37.78	o 396 
216.96/37.80	o 397 
216.96/37.82	o 398 
216.96/37.84	o 399 
216.96/37.85	o 400 
216.96/37.87	o 401 
216.96/37.89	o 402 
217.54/37.91	o 403 
217.54/37.92	o 404 
217.54/37.94	o 405 
217.54/37.96	o 406 
217.54/37.97	o 407 
218.67/38.60	o 408 
218.77/38.62	o 409 
218.77/38.64	o 410 
218.77/38.67	o 411 
218.77/38.69	o 412 
219.37/38.70	o 413 
219.37/38.72	o 414 
219.37/38.74	o 415 
219.37/38.76	o 416 
219.37/38.78	o 417 
219.96/38.82	o 418 
219.96/38.84	o 419 
219.96/38.86	o 420 
219.96/38.87	o 421 
219.96/38.89	o 422 
220.48/38.91	o 423 
220.48/38.93	o 424 
220.48/38.94	o 425 
220.48/38.96	o 426 
220.48/38.98	o 427 
220.48/39.00	o 428 
221.08/39.04	o 429 
221.49/39.19	o 430 
223.04/40.59	o 431 
223.19/40.61	o 432 
223.19/40.63	o 433 
223.19/40.65	o 434 
223.19/40.66	o 435 
223.19/40.68	o 436 
223.19/40.70	o 437 
223.84/40.71	o 438 
223.84/40.73	o 439 
223.84/40.75	o 440 
223.84/40.76	o 441 
223.84/40.78	o 442 
223.84/40.80	o 443 
224.45/40.82	o 444 
224.45/40.84	o 445 
224.45/40.86	o 446 
225.25/41.38	o 447 
225.25/41.39	o 448 
225.44/41.41	o 449 
225.44/41.43	o 450 
225.44/41.44	o 451 
225.44/41.46	o 452 
225.44/41.48	o 453 
225.44/41.50	o 454 
226.06/41.52	o 455 
226.06/41.54	o 456 
226.06/41.56	o 457 
226.06/41.58	o 458 
226.06/41.59	o 459 
226.63/41.61	o 460 
226.63/41.63	o 461 
226.63/41.65	o 462 
226.63/41.67	o 463 
226.63/41.69	o 464 
227.25/41.70	o 465 
227.25/41.72	o 466 
227.25/41.74	o 467 
227.25/41.76	o 468 
227.25/41.78	o 469 
227.25/41.80	o 470 
227.91/41.82	o 471 
227.91/41.83	o 472 
227.91/41.85	o 473 
227.91/41.86	o 474 
227.91/41.88	o 475 
227.91/41.90	o 476 
228.44/41.91	o 477 
228.44/41.93	o 478 
228.44/41.95	o 479 
228.44/41.97	o 480 
228.44/41.98	o 481 
228.97/42.00	o 482 
228.97/42.02	o 483 
228.97/42.04	o 484 
228.97/42.05	o 485 
228.97/42.07	o 486 
228.97/42.09	o 487 
229.58/42.10	o 488 
229.58/42.13	o 489 
229.58/42.14	o 490 
229.58/42.16	o 491 
229.58/42.18	o 492 
230.30/42.31	o 493 
230.30/42.33	o 494 
230.30/42.34	o 495 
230.30/42.36	o 496 
230.30/42.38	o 497 
230.86/42.40	o 498 
230.86/42.41	o 499 
230.86/42.43	o 500 
230.86/42.45	o 501 
230.86/42.46	o 502 
230.86/42.48	o 503 
231.50/42.50	o 504 
231.50/42.52	o 505 
231.50/42.53	o 506 
231.50/42.55	o 507 
231.50/42.56	o 508 
231.50/42.59	o 509 
232.07/42.60	o 510 
232.07/42.62	o 511 
232.07/42.64	o 512 
232.07/42.66	o 513 
232.07/42.68	o 514 
232.07/42.69	o 515 
232.70/42.72	o 516 
232.70/42.74	o 517 
232.70/42.76	o 518 
232.70/42.77	o 519 
232.70/42.79	o 520 
233.33/42.81	o 521 
233.33/42.83	o 522 
233.33/42.85	o 523 
233.33/42.86	o 524 
233.33/42.88	o 525 
233.33/42.90	o 526 
234.03/42.92	o 527 
234.03/42.94	o 528 
234.03/42.95	o 529 
234.03/42.97	o 530 
234.03/42.99	o 531 
234.03/43.00	o 532 
234.68/43.02	o 533 
234.68/43.04	o 534 
234.68/43.06	o 535 
234.68/43.07	o 536 
234.68/43.09	o 537 
235.25/43.12	o 538 
235.25/43.14	o 539 
235.72/43.38	o 540 
235.91/43.40	o 541 
235.91/43.42	o 542 
235.91/43.44	o 543 
235.91/43.46	o 544 
235.91/43.48	o 545 
236.50/43.50	o 546 
236.50/43.52	o 547 
236.50/43.54	o 548 
236.50/43.56	o 549 
236.50/43.57	o 550 
236.50/43.59	o 551 
237.11/43.61	o 552 
237.11/43.63	o 553 
237.11/43.65	o 554 
237.11/43.67	o 555 
237.11/43.69	o 556 
237.75/43.70	o 557 
237.75/43.72	o 558 
237.75/43.74	o 559 
237.75/43.75	o 560 
237.75/43.77	o 561 
237.75/43.79	o 562 
238.41/43.81	o 563 
238.41/43.82	o 564 
238.41/43.85	o 565 
238.41/43.86	o 566 
238.41/43.89	o 567 
239.01/43.90	o 568 
239.01/43.92	o 569 
239.01/43.93	o 570 
239.01/43.95	o 571 
239.01/43.97	o 572 
239.01/43.99	o 573 
239.72/44.02	o 574 
239.72/44.03	o 575 
239.72/44.05	o 576 
239.72/44.06	o 577 
239.72/44.08	o 578 
239.72/44.09	o 579 
239.72/44.11	o 580 
240.38/44.13	o 581 
240.38/44.15	o 582 
240.38/44.17	o 583 
240.38/44.19	o 584 
240.91/44.21	o 585 
240.91/44.22	o 586 
240.91/44.24	o 587 
240.91/44.26	o 588 
240.91/44.28	o 589 
240.91/44.29	o 590 
241.50/44.31	o 591 
242.51/45.19	o 592 
242.72/45.21	o 593 
242.72/45.23	o 594 
242.72/45.25	o 595 
242.72/45.28	o 596 
243.25/45.31	o 597 
243.25/45.33	o 598 
243.25/45.35	o 599 
243.25/45.36	o 600 
243.83/45.46	o 601 
245.33/46.85	o 602 
245.33/46.87	o 603 
245.33/46.89	o 604 
245.71/46.90	o 605 
245.71/46.92	o 606 
245.71/46.94	o 607 
245.71/46.96	o 608 
245.71/47.00	o 609 
246.27/47.02	o 610 
246.27/47.03	o 611 
246.27/47.05	o 612 
246.27/47.07	o 613 
246.27/47.09	o 614 
246.88/47.11	o 615 
246.88/47.13	o 616 
246.88/47.15	o 617 
246.88/47.17	o 618 
246.88/47.18	o 619 
247.53/47.20	o 620 
247.53/47.22	o 621 
247.53/47.24	o 622 
247.53/47.25	o 623 
247.53/47.28	o 624 
247.53/47.30	o 625 
248.18/47.32	o 626 
248.18/47.33	o 627 
248.18/47.35	o 628 
248.18/47.37	o 629 
248.18/47.38	o 630 
248.18/47.40	o 631 
248.80/47.42	o 632 
248.80/47.45	o 633 
248.80/47.46	o 634 
248.80/47.48	o 635 
249.38/47.50	o 636 
249.38/47.51	o 637 
249.38/47.53	o 638 
249.38/47.56	o 639 
249.38/47.58	o 640 
250.00/47.62	o 641 
250.00/47.64	o 642 
250.00/47.65	o 643 
250.00/47.67	o 644 
250.00/47.69	o 645 
250.49/47.71	o 646 
250.49/47.73	o 647 
250.49/47.75	o 648 
250.49/47.77	o 649 
250.49/47.79	o 650 
251.12/47.81	o 651 
251.12/47.83	o 652 
251.12/47.85	o 653 
251.12/47.87	o 654 
251.12/47.89	o 655 
251.79/47.90	o 656 
251.79/47.92	o 657 
251.79/47.94	o 658 
251.79/47.96	o 659 
251.79/47.98	o 660 
252.44/48.00	o 661 
252.44/48.02	o 662 
252.44/48.04	o 663 
252.44/48.06	o 664 
252.44/48.08	o 665 
253.05/48.10	o 666 
253.05/48.12	o 667 
253.05/48.15	o 668 
253.05/48.17	o 669 
253.05/48.19	o 670 
253.62/48.21	o 671 
253.62/48.23	o 672 
253.62/48.25	o 673 
253.62/48.27	o 674 
254.19/48.31	o 675 
254.19/48.33	o 676 
254.19/48.34	o 677 
254.19/48.36	o 678 
254.19/48.38	o 679 
254.19/48.40	o 680 
254.85/48.42	o 681 
254.85/48.44	o 682 
254.85/48.46	o 683 
254.85/48.48	o 684 
254.85/48.50	o 685 
255.54/48.52	o 686 
255.54/48.55	o 687 
255.54/48.57	o 688 
255.54/48.59	o 689 
256.03/48.61	o 690 
256.03/48.63	o 691 
256.03/48.65	o 692 
256.03/48.67	o 693 
256.03/48.69	o 694 
256.71/48.70	o 695 
256.71/48.72	o 696 
256.71/48.74	o 697 
256.71/48.77	o 698 
257.37/48.80	o 699 
257.37/48.82	o 700 
257.37/48.84	o 701 
257.37/48.86	o 702 
257.37/48.88	o 703 
258.01/48.90	o 704 
258.01/48.92	o 705 
258.01/48.95	o 706 
258.01/48.98	o 707 
258.01/48.99	o 708 
258.60/49.02	o 709 
258.60/49.04	o 710 
258.60/49.07	o 711 
258.60/49.09	o 712 
259.25/49.12	o 713 
259.25/49.14	o 714 
259.25/49.16	o 715 
259.25/49.18	o 716 
259.85/49.20	o 717 
259.85/49.22	o 718 
259.85/49.24	o 719 
259.85/49.25	o 720 
259.85/49.27	o 721 
259.85/49.29	o 722 
260.50/49.31	o 723 
260.50/49.33	o 724 
260.50/49.35	o 725 
261.73/50.16	o 726 
261.73/50.18	o 727 
262.05/50.20	o 728 
262.05/50.24	o 729 
262.05/50.26	o 730 
262.05/50.28	o 731 
262.63/50.30	o 732 
262.63/50.32	o 733 
262.63/50.34	o 734 
262.63/50.36	o 735 
262.63/50.39	o 736 
263.29/50.40	o 737 
263.29/50.42	o 738 
263.29/50.44	o 739 
263.29/50.47	o 740 
263.94/50.50	o 741 
263.94/50.52	o 742 
263.94/50.54	o 743 
263.94/50.56	o 744 
263.94/50.58	o 745 
263.94/50.60	o 746 
264.65/50.63	o 747 
264.65/50.64	o 748 
264.65/50.66	o 749 
264.65/50.68	o 750 
264.65/50.70	o 751 
265.32/50.72	o 752 
265.32/50.74	o 753 
265.32/50.76	o 754 
265.32/50.78	o 755 
265.92/50.81	o 756 
265.92/50.83	o 757 
265.92/50.85	o 758 
265.92/50.87	o 759 
265.92/50.89	o 760 
266.59/50.91	o 761 
266.59/50.93	o 762 
266.59/50.95	o 763 
266.59/50.98	o 764 
267.22/51.00	o 765 
267.22/51.02	o 766 
267.22/51.05	o 767 
267.22/51.07	o 768 
267.22/51.09	o 769 
267.85/51.11	o 770 
267.85/51.12	o 771 
267.85/51.14	o 772 
267.85/51.16	o 773 
267.85/51.18	o 774 
268.53/51.20	o 775 
268.53/51.24	o 776 
269.05/51.49	o 777 
270.58/52.84	o 778 
270.58/52.86	o 779 
270.58/52.87	o 780 
270.58/52.90	o 781 
271.03/52.92	o 782 
271.03/52.94	o 783 
271.03/52.95	o 784 
271.03/52.98	o 785 
271.65/53.01	o 786 
271.65/53.03	o 787 
271.65/53.05	o 788 
271.65/53.07	o 789 
271.65/53.09	o 790 
272.29/53.11	o 791 
272.29/53.14	o 792 
272.29/53.16	o 793 
272.29/53.18	o 794 
272.90/53.20	o 795 
272.90/53.23	o 796 
272.90/53.25	o 797 
272.90/53.27	o 798 
272.90/53.29	o 799 
273.54/53.31	o 800 
273.54/53.34	o 801 
273.54/53.36	o 802 
273.54/53.38	o 803 
274.20/53.40	o 804 
274.20/53.43	o 805 
274.20/53.45	o 806 
274.20/53.48	o 807 
274.84/53.50	o 808 
274.84/53.52	o 809 
274.84/53.54	o 810 
274.84/53.56	o 811 
275.39/53.60	o 812 
275.39/53.63	o 813 
275.39/53.65	o 814 
275.39/53.68	o 815 
276.01/53.70	o 816 
276.01/53.72	o 817 
276.01/53.74	o 818 
276.01/53.77	o 819 
276.01/53.79	o 820 
276.65/53.82	o 821 
276.65/53.84	o 822 
276.65/53.86	o 823 
276.65/53.89	o 824 
276.65/53.91	o 825 
277.29/53.94	o 826 
277.29/53.96	o 827 
277.29/53.99	o 828 
277.29/54.01	o 829 
277.91/54.03	o 830 
277.91/54.06	o 831 
277.91/54.09	o 832 
278.42/54.11	o 833 
278.42/54.14	o 834 
278.42/54.16	o 835 
278.42/54.18	o 836 
279.05/54.21	o 837 
279.05/54.23	o 838 
279.05/54.26	o 839 
279.05/54.28	o 840 
279.68/54.30	o 841 
279.68/54.33	o 842 
279.68/54.36	o 843 
279.68/54.39	o 844 
280.24/54.42	o 845 
280.24/54.44	o 846 
280.24/54.47	o 847 
280.84/54.50	o 848 
280.84/54.52	o 849 
280.84/54.54	o 850 
280.84/54.57	o 851 
280.84/54.59	o 852 
281.46/54.62	o 853 
281.46/54.64	o 854 
281.46/54.67	o 855 
281.46/54.69	o 856 
282.10/54.72	o 857 
282.10/54.74	o 858 
282.10/54.77	o 859 
282.72/54.80	o 860 
282.72/54.82	o 861 
282.72/54.85	o 862 
282.72/54.87	o 863 
282.72/54.89	o 864 
283.34/54.93	o 865 
283.34/54.95	o 866 
283.34/54.98	o 867 
284.09/55.02	o 868 
284.09/55.04	o 869 
284.09/55.06	o 870 
284.09/55.09	o 871 
284.71/55.12	o 872 
284.71/55.14	o 873 
284.71/55.16	o 874 
284.71/55.19	o 875 
285.25/55.21	o 876 
285.25/55.24	o 877 
285.25/55.26	o 878 
285.25/55.29	o 879 
285.87/55.31	o 880 
285.87/55.33	o 881 
285.87/55.36	o 882 
285.87/55.38	o 883 
286.51/55.42	o 884 
286.51/55.44	o 885 
317.48/60.05	o 886 
998.80/145.79	o 887 
2400.23/322.03	s SATISFIABLE
2400.23/322.03	v <instantiation>
2400.23/322.03	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>
2400.23/322.03	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>
2400.23/322.03	v </instantiation>
2400.23/322.03	c Unexpected resolution interruption!

Verifier Data 

OK	887

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244754-1500684585/watcher-4244754-1500684585 -o /tmp/evaluation-result-4244754-1500684585/solver-4244754-1500684585 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 883275163 HOME/instance-4244754-1500684585.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.31 15.18 13.70 10/270 17712
/proc/meminfo: memFree=31531352/32770624 swapFree=5972/217648
[pid=17712] ppid=17709 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17712/stat : 17712 (xcsp3-exec) S 17709 17712 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3728024 9740288 346 33554432000 4194304 5098028 140720658290896 140720658289000 140297574408828 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 35069952 140720658297999 140720658298208 140720658298208 140720658300907 0
/proc/17712/statm: 2378 346 289 221 0 87 0

[startup+0.100063 s]
/proc/loadavg: 15.31 15.18 13.70 10/270 17712
/proc/meminfo: memFree=31531352/32770624 swapFree=5972/217648
[pid=17712] ppid=17709 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17712/stat : 17712 (xcsp3-exec) S 17709 17712 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3728024 9740288 346 33554432000 4194304 5098028 140720658290896 140720658289000 140297574408828 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 35069952 140720658297999 140720658298208 140720658298208 140720658300907 0
/proc/17712/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200281 s]
/proc/loadavg: 15.31 15.18 13.70 10/270 17712
/proc/meminfo: memFree=31531352/32770624 swapFree=5972/217648
[pid=17712] ppid=17709 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17712/stat : 17712 (xcsp3-exec) S 17709 17712 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3728024 9740288 346 33554432000 4194304 5098028 140720658290896 140720658289000 140297574408828 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 35069952 140720658297999 140720658298208 140720658298208 140720658300907 0
/proc/17712/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300307 s]
/proc/loadavg: 15.31 15.18 13.70 10/270 17712
/proc/meminfo: memFree=31531352/32770624 swapFree=5972/217648
[pid=17712] ppid=17709 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17712/stat : 17712 (xcsp3-exec) S 17709 17712 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3728024 9740288 346 33554432000 4194304 5098028 140720658290896 140720658289000 140297574408828 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 35069952 140720658297999 140720658298208 140720658298208 140720658300907 0
/proc/17712/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700194 s]
/proc/loadavg: 15.31 15.18 13.70 10/270 17712
/proc/meminfo: memFree=31531352/32770624 swapFree=5972/217648
[pid=17712] ppid=17709 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17712/stat : 17712 (xcsp3-exec) S 17709 17712 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3728024 9740288 346 33554432000 4194304 5098028 140720658290896 140720658289000 140297574408828 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 35069952 140720658297999 140720658298208 140720658298208 140720658300907 0
/proc/17712/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50068 s]
/proc/loadavg: 15.31 15.18 13.70 12/291 17733
/proc/meminfo: memFree=31435204/32770624 swapFree=5972/218004
[pid=17712] ppid=17709 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17712/stat : 17712 (xcsp3-exec) S 17709 17712 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3728024 9740288 346 33554432000 4194304 5098028 140720658290896 140720658289000 140297574408828 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 35069952 140720658297999 140720658298208 140720658298208 140720658300907 0
/proc/17712/statm: 2378 346 289 221 0 87 0
[pid=17713] ppid=17712 vsize=13269256 CPUtime=3.57 cores=0,2,4,6,8,10,12,14
/proc/17713/stat : 17713 (java) S 17712 17712 14626 0 -1 1077944320 17925 0 0 0 349 8 0 0 20 0 20 0 3728024 13587718144 35870 33554432000 4194304 4196468 140728744266256 140728744248800 140674190286583 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
/proc/17713/statm: 3317314 35870 3223 1 0 3304547 0
[pid=17713/tid=17714] ppid=17712 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17714/stat : 17714 (java) R 17712 17712 14626 0 -1 4202560 8136 0 0 0 143 4 0 0 20 0 20 0 3728024 13587718144 35870 33554432000 4194304 4196468 140728744266256 140674194522368 140674172215488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17716] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17716/stat : 17716 (java) S 17712 17712 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3728025 13587718144 35870 33554432000 4194304 4196468 140728744266256 140674142907408 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17717] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17717/stat : 17717 (java) S 17712 17712 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3728025 13587718144 35870 33554432000 4194304 4196468 140728744266256 140674141854864 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17718] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17718/stat : 17718 (java) S 17712 17712 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3728025 13587718144 35870 33554432000 4194304 4196468 140728744266256 140674140801808 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17719] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17719/stat : 17719 (java) S 17712 17712 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3728025 13587718144 35870 33554432000 4194304 4196468 140728744266256 140674139749264 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17720] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17720/stat : 17720 (java) S 17712 17712 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3728025 13587718144 35870 33554432000 4194304 4196468 140728744266256 140674138696208 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17721] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17721/stat : 17721 (java) S 17712 17712 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3728025 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673784674960 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17722] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17722/stat : 17722 (java) S 17712 17712 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3728025 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673783621904 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17723] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17723/stat : 17723 (java) S 17712 17712 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3728025 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673782569360 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17724] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17724/stat : 17724 (java) S 17712 17712 14626 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 3728028 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673652542192 140674190297730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17725] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17725/stat : 17725 (java) S 17712 17712 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3728029 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673651488416 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17726] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17726/stat : 17726 (java) S 17712 17712 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3728029 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673650435312 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17727] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17727/stat : 17727 (java) S 17712 17712 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3728033 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673649383888 140674190305179 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17728] ppid=17712 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17728/stat : 17728 (java) R 17712 17712 14626 0 -1 4202560 2273 0 0 0 52 1 0 0 20 0 20 0 3728033 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673648330992 140674176350803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17729] ppid=17712 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17729/stat : 17729 (java) R 17712 17712 14626 0 -1 4202560 2093 0 0 0 46 0 0 0 20 0 20 0 3728033 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673647269776 140674173779159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17730] ppid=17712 vsize=13269256 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17730/stat : 17730 (java) R 17712 17712 14626 0 -1 4202560 1551 0 0 0 47 1 0 0 20 0 20 0 3728033 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673646215480 140674176317722 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17731] ppid=17712 vsize=13269256 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17731/stat : 17731 (java) R 17712 17712 14626 0 -1 4202560 2541 0 0 0 59 0 0 0 20 0 20 0 3728033 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673645168608 140674169410036 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17732] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17732/stat : 17732 (java) S 17712 17712 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3728033 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673644121056 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17733] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17733/stat : 17733 (java) S 17712 17712 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3728034 13587718144 35870 33554432000 4194304 4196468 140728744266256 140673643068592 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13278768

[startup+3.1012 s]
/proc/loadavg: 15.31 15.18 13.70 10/291 17733
/proc/meminfo: memFree=31338880/32770624 swapFree=5972/218008
[pid=17712] ppid=17709 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17712/stat : 17712 (xcsp3-exec) S 17709 17712 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3728024 9740288 346 33554432000 4194304 5098028 140720658290896 140720658289000 140297574408828 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 35069952 140720658297999 140720658298208 140720658298208 140720658300907 0
/proc/17712/statm: 2378 346 289 221 0 87 0
[pid=17713] ppid=17712 vsize=13269256 CPUtime=8.1 cores=0,2,4,6,8,10,12,14
/proc/17713/stat : 17713 (java) S 17712 17712 14626 0 -1 1077944320 25211 0 0 0 753 57 0 0 20 0 20 0 3728024 13587718144 73718 33554432000 4194304 4196468 140728744266256 140728744248800 140674190286583 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
/proc/17713/statm: 3317314 73718 3255 1 0 3304547 0
[pid=17713/tid=17714] ppid=17712 vsize=13269256 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17714/stat : 17714 (java) R 17712 17712 14626 0 -1 4202560 9069 0 0 0 290 4 0 0 20 0 20 0 3728024 13587718144 73718 33554432000 4194304 4196468 140728744266256 140674194523592 140674172693616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17716] ppid=17712 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17716/stat : 17716 (java) S 17712 17712 14626 0 -1 1077944384 112 0 0 0 4 6 0 0 20 0 20 0 3728025 13587718144 73718 33554432000 4194304 4196468 140728744266256 140674142907408 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17717] ppid=17712 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17717/stat : 17717 (java) S 17712 17712 14626 0 -1 1077944384 95 0 0 0 3 5 0 0 20 0 20 0 3728025 13587718144 73718 33554432000 4194304 4196468 140728744266256 140674141854864 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17718] ppid=17712 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17718/stat : 17718 (java) S 17712 17712 14626 0 -1 1077944384 99 0 0 0 4 5 0 0 20 0 20 0 3728025 13587718144 73718 33554432000 4194304 4196468 140728744266256 140674140801808 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17719] ppid=17712 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17719/stat : 17719 (java) S 17712 17712 14626 0 -1 1077944384 103 0 0 0 5 5 0 0 20 0 20 0 3728025 13587718144 73718 33554432000 4194304 4196468 140728744266256 140674139749264 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17720] ppid=17712 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17720/stat : 17720 (java) S 17712 17712 14626 0 -1 1077944384 132 0 0 0 4 5 0 0 20 0 20 0 3728025 13587718144 73718 33554432000 4194304 4196468 140728744266256 140674138696208 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17721] ppid=17712 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17721/stat : 17721 (java) S 17712 17712 14626 0 -1 1077944384 113 0 0 0 4 5 0 0 20 0 20 0 3728025 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673784674960 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17722] ppid=17712 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17722/stat : 17722 (java) S 17712 17712 14626 0 -1 1077944384 267 0 0 0 4 6 0 0 20 0 20 0 3728025 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673783621904 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17723] ppid=17712 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17723/stat : 17723 (java) S 17712 17712 14626 0 -1 1077944384 154 0 0 0 4 6 0 0 20 0 20 0 3728025 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673782569360 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17724] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17724/stat : 17724 (java) S 17712 17712 14626 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 3728028 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673652542192 140674190297730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17725] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17725/stat : 17725 (java) S 17712 17712 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 3728029 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673651488480 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17726] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17726/stat : 17726 (java) S 17712 17712 14626 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3728029 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673650435328 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17727] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17727/stat : 17727 (java) S 17712 17712 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3728033 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673649383888 140674190305179 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17728] ppid=17712 vsize=13269256 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17728/stat : 17728 (java) S 17712 17712 14626 0 -1 1077944384 3326 0 0 0 116 1 0 0 20 0 20 0 3728033 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673648330992 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17729] ppid=17712 vsize=13269256 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17729/stat : 17729 (java) S 17712 17712 14626 0 -1 1077944384 3542 0 0 0 113 0 0 0 20 0 20 0 3728033 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673647278448 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17730] ppid=17712 vsize=13269256 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17730/stat : 17730 (java) S 17712 17712 14626 0 -1 1077944384 3146 0 0 0 115 1 0 0 20 0 20 0 3728033 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673646225392 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17731] ppid=17712 vsize=13269256 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17731/stat : 17731 (java) S 17712 17712 14626 0 -1 1077944384 3533 0 0 0 78 1 0 0 20 0 20 0 3728033 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673645172848 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17732] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17732/stat : 17732 (java) S 17712 17712 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3728033 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673644121056 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17733] ppid=17712 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17733/stat : 17733 (java) S 17712 17712 14626 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 3728034 13587718144 73718 33554432000 4194304 4196468 140728744266256 140673643068592 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 13278768

[startup+6.30118 s]
/proc/loadavg: 14.88 15.09 13.68 10/291 17733
/proc/meminfo: memFree=31099692/32770624 swapFree=5972/218016
[pid=17712] ppid=17709 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17712/stat : 17712 (xcsp3-exec) S 17709 17712 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3728024 9740288 346 33554432000 4194304 5098028 140720658290896 140720658289000 140297574408828 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 35069952 140720658297999 140720658298208 140720658298208 140720658300907 0
/proc/17712/statm: 2378 346 289 221 0 87 0
[pid=17713] ppid=17712 vsize=13801768 CPUtime=14.01 cores=0,2,4,6,8,10,12,14
/proc/17713/stat : 17713 (java) S 17712 17712 14626 0 -1 1077944320 27638 0 0 0 1290 111 0 0 20 0 28 0 3728024 14133010432 126495 33554432000 4194304 4196468 140728744266256 140728744248800 140674190286583 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
/proc/17713/statm: 3450442 126495 3260 1 0 3437675 0
[pid=17713/tid=17714] ppid=17712 vsize=13801768 CPUtime=5.94 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17714/stat : 17714 (java) S 17712 17712 14626 0 -1 1077944384 9434 0 0 0 587 7 0 0 20 0 28 0 3728024 14133010432 126495 33554432000 4194304 4196468 140728744266256 140674194527360 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17716] ppid=17712 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17716/stat : 17716 (java) S 17712 17712 14626 0 -1 1077944384 175 0 0 0 10 13 0 0 20 0 28 0 3728025 14133010432 126495 33554432000 4194304 4196468 140728744266256 140674142907408 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17717] ppid=17712 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17717/stat : 17717 (java) S 17712 17712 14626 0 -1 1077944384 152 0 0 0 8 11 0 0 20 0 28 0 3728025 14133010432 126495 33554432000 4194304 4196468 140728744266256 140674141854864 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17718] ppid=17712 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17718/stat : 17718 (java) S 17712 17712 14626 0 -1 1077944384 160 0 0 0 9 12 0 0 20 0 28 0 3728025 14133010432 126495 33554432000 4194304 4196468 140728744266256 140674140801808 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17719] ppid=17712 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17719/stat : 17719 (java) S 17712 17712 14626 0 -1 1077944384 174 0 0 0 10 11 0 0 20 0 28 0 3728025 14133010432 126495 33554432000 4194304 4196468 140728744266256 140674139749264 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17720] ppid=17712 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17720/stat : 17720 (java) S 17712 17712 14626 0 -1 1077944384 190 0 0 0 9 11 0 0 20 0 28 0 3728025 14133010432 126495 33554432000 4194304 4196468 140728744266256 140674138696208 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17721] ppid=17712 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17721/stat : 17721 (java) S 17712 17712 14626 0 -1 1077944384 174 0 0 0 9 12 0 0 20 0 28 0 3728025 14133010432 126495 33554432000 4194304 4196468 140728744266256 140673784674960 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17722] ppid=17712 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17722/stat : 17722 (java) S 17712 17712 14626 0 -1 1077944384 423 0 0 0 10 12 0 0 20 0 28 0 3728025 14133010432 126495 33554432000 4194304 4196468 140728744266256 140673783621904 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17723] ppid=17712 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17723/stat : 17723 (java) S 17712 17712 14626 0 -1 1077944384 262 0 0 0 9 12 0 0 20 0 28 0 3728025 14133010432 126495 33554432000 4194304 4196468 140728744266256 140673782569360 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17724] ppid=17712 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17724/stat : 17724 (java) S 17712 17712 14626 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 28 0 3728028 14133010432 126495 33554432000 4194304 4196468 140728744266256 140673652542192 140674190297730 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17725] ppid=17712 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17725/stat : 17725 (java) S 17712 17712 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3728029 14133010432 126495 33554432000 4194304 4196468 140728744266256 140673651488480 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17726] ppid=17712 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17726/stat : 17726 (java) S 17712 17712 14626 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3728029 14133010432 126495 33554432000 4194304 4196468 140728744266256 140673650435328 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17727] ppid=17712 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17727/stat : 17727 (java) S 17712 17712 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3728033 14133010432 126495 33554432000 4194304 4196468 140728744266256 140673649383888 140674190305179 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0

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

[pid=17713/tid=27672] ppid=17712 vsize=13803816 CPUtime=75.75 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27672/stat : 27672 (java) R 17712 17712 14626 0 -1 4202560 796 0 0 0 7575 0 0 0 20 0 28 0 3742603 14135107584 736945 33554432000 4194304 4196468 140728744266256 140673635054936 140673825608405 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27673] ppid=17712 vsize=13803816 CPUtime=75.81 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27673/stat : 27673 (java) R 17712 17712 14626 0 -1 4202560 1949 0 0 0 7581 0 0 0 20 0 28 0 3742603 14135107584 736945 33554432000 4194304 4196468 140728744266256 140673632949528 140673828796766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
Current children cumulated CPU time (s) 1607.92
Current children cumulated vsize (KiB) 13813328

[startup+282.301 s]
/proc/loadavg: 16.00 15.31 14.08 17/300 27675
/proc/meminfo: memFree=25680200/32770624 swapFree=5972/218416
[pid=17712] ppid=17709 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17712/stat : 17712 (xcsp3-exec) S 17709 17712 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3728024 9740288 346 33554432000 4194304 5098028 140720658290896 140720658289000 140297574408828 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 35069952 140720658297999 140720658298208 140720658298208 140720658300907 0
/proc/17712/statm: 2378 346 289 221 0 87 0
[pid=17713] ppid=17712 vsize=13803816 CPUtime=2085.04 cores=0,2,4,6,8,10,12,14
/proc/17713/stat : 17713 (java) S 17712 17712 14626 0 -1 1077944320 236616 0 0 0 208093 411 0 0 20 0 28 0 3728024 14135107584 730198 33554432000 4194304 4196468 140728744266256 140728744248800 140674190286583 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
/proc/17713/statm: 3450954 730198 3288 1 0 3438187 0
[pid=17713/tid=17714] ppid=17712 vsize=13803816 CPUtime=7.06 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17714/stat : 17714 (java) S 17712 17712 14626 0 -1 1077944384 11768 0 0 0 693 13 0 0 20 0 28 0 3728024 14135107584 730198 33554432000 4194304 4196468 140728744266256 140674194527296 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17716] ppid=17712 vsize=13803816 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17716/stat : 17716 (java) S 17712 17712 14626 0 -1 1077944384 2522 0 0 0 47 28 0 0 20 0 28 0 3728025 14135107584 730198 33554432000 4194304 4196468 140728744266256 140674142907408 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17717] ppid=17712 vsize=13803816 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17717/stat : 17717 (java) S 17712 17712 14626 0 -1 1077944384 2380 0 0 0 47 27 0 0 20 0 28 0 3728025 14135107584 730198 33554432000 4194304 4196468 140728744266256 140674141854864 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17718] ppid=17712 vsize=13803816 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17718/stat : 17718 (java) S 17712 17712 14626 0 -1 1077944384 4314 0 0 0 47 26 0 0 20 0 28 0 3728025 14135107584 730198 33554432000 4194304 4196468 140728744266256 140674140801808 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17719] ppid=17712 vsize=13803816 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17719/stat : 17719 (java) S 17712 17712 14626 0 -1 1077944384 1523 0 0 0 45 26 0 0 20 0 28 0 3728025 14135107584 730198 33554432000 4194304 4196468 140728744266256 140674139749264 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17720] ppid=17712 vsize=13803816 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17720/stat : 17720 (java) S 17712 17712 14626 0 -1 1077944384 2837 0 0 0 47 24 0 0 20 0 28 0 3728025 14135107584 730198 33554432000 4194304 4196468 140728744266256 140674138696208 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17721] ppid=17712 vsize=13803816 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17721/stat : 17721 (java) S 17712 17712 14626 0 -1 1077944384 1935 0 0 0 48 25 0 0 20 0 28 0 3728025 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673784674960 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17722] ppid=17712 vsize=13803816 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17722/stat : 17722 (java) S 17712 17712 14626 0 -1 1077944384 1285 0 0 0 46 27 0 0 20 0 28 0 3728025 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673783621904 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17723] ppid=17712 vsize=13803816 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17723/stat : 17723 (java) S 17712 17712 14626 0 -1 1077944384 1167 0 0 0 46 26 0 0 20 0 28 0 3728025 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673782569360 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17724] ppid=17712 vsize=13803816 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17724/stat : 17724 (java) S 17712 17712 14626 0 -1 1077944384 7844 0 0 0 17 22 0 0 20 0 28 0 3728028 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673652542192 140674190297730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17725] ppid=17712 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17725/stat : 17725 (java) S 17712 17712 14626 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 3728029 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673651488480 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17726] ppid=17712 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17726/stat : 17726 (java) S 17712 17712 14626 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3728029 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673650435328 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17727] ppid=17712 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17727/stat : 17727 (java) S 17712 17712 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3728033 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673649383888 140674190305179 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17728] ppid=17712 vsize=13803816 CPUtime=5.82 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17728/stat : 17728 (java) S 17712 17712 14626 0 -1 1077944384 31750 0 0 0 578 4 0 0 20 0 28 0 3728033 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673648330992 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17729] ppid=17712 vsize=13803816 CPUtime=5.81 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17729/stat : 17729 (java) S 17712 17712 14626 0 -1 1077944384 31490 0 0 0 577 4 0 0 20 0 28 0 3728033 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673647278448 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17730] ppid=17712 vsize=13803816 CPUtime=4.66 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17730/stat : 17730 (java) S 17712 17712 14626 0 -1 1077944384 25748 0 0 0 463 3 0 0 20 0 28 0 3728033 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673646225392 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17731] ppid=17712 vsize=13803816 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17731/stat : 17731 (java) S 17712 17712 14626 0 -1 1077944384 18153 0 0 0 165 3 0 0 20 0 28 0 3728033 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673645172848 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17732] ppid=17712 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17732/stat : 17732 (java) S 17712 17712 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3728033 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673644121056 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17733] ppid=17712 vsize=13803816 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17733/stat : 17733 (java) S 17712 17712 14626 0 -1 1077944384 1543 0 0 0 8 6 0 0 20 0 28 0 3728034 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673643068592 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27666] ppid=17712 vsize=13803816 CPUtime=135.49 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27666/stat : 27666 (java) R 17712 17712 14626 0 -1 4202560 1552 0 0 0 13549 0 0 0 20 0 28 0 3742603 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673629790264 140673829352676 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27667] ppid=17712 vsize=13803816 CPUtime=135.73 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27667/stat : 27667 (java) R 17712 17712 14626 0 -1 4202560 2094 0 0 0 13573 0 0 0 20 0 28 0 3742603 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673631896616 140673829197480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27668] ppid=17712 vsize=13803816 CPUtime=136.09 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27668/stat : 27668 (java) R 17712 17712 14626 0 -1 4202560 1492 0 0 0 13609 0 0 0 20 0 28 0 3742603 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673630843424 140673822906002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27669] ppid=17712 vsize=13803816 CPUtime=135.27 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27669/stat : 27669 (java) R 17712 17712 14626 0 -1 4202560 4994 0 0 0 13525 2 0 0 20 0 28 0 3742603 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673634001832 140673822448500 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27670] ppid=17712 vsize=13803816 CPUtime=135.5 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27670/stat : 27670 (java) R 17712 17712 14626 0 -1 4202560 1204 0 0 0 13550 0 0 0 20 0 28 0 3742603 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673628740880 140673829236792 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27671] ppid=17712 vsize=13803816 CPUtime=135.31 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27671/stat : 27671 (java) R 17712 17712 14626 0 -1 4202560 958 0 0 0 13531 0 0 0 20 0 28 0 3742603 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673627685304 140673828796848 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27672] ppid=17712 vsize=13803816 CPUtime=135.35 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27672/stat : 27672 (java) R 17712 17712 14626 0 -1 4202560 1034 0 0 0 13535 0 0 0 20 0 28 0 3742603 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673635054936 140673828571513 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27673] ppid=17712 vsize=13803816 CPUtime=135.59 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27673/stat : 27673 (java) R 17712 17712 14626 0 -1 4202560 2420 0 0 0 13559 0 0 0 20 0 28 0 3742603 14135107584 730198 33554432000 4194304 4196468 140728744266256 140673632949368 140673828256128 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
Current children cumulated CPU time (s) 2085.04
Current children cumulated vsize (KiB) 13813328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+322.002 s]
/proc/loadavg: 16.00 15.40 14.17 17/299 27677
/proc/meminfo: memFree=25754088/32770624 swapFree=5972/218464
[pid=17712] ppid=17709 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17712/stat : 17712 (xcsp3-exec) S 17709 17712 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3728024 9740288 346 33554432000 4194304 5098028 140720658290896 140720658289000 140297574408828 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 35069952 140720658297999 140720658298208 140720658298208 140720658300907 0
/proc/17712/statm: 2378 346 289 221 0 87 0
[pid=17713] ppid=17712 vsize=13803816 CPUtime=2400.23 cores=0,2,4,6,8,10,12,14
/proc/17713/stat : 17713 (java) S 17712 17712 14626 0 -1 1077944320 241763 0 0 0 239597 426 0 0 20 0 28 0 3728024 14135107584 727408 33554432000 4194304 4196468 140728744266256 140728744248800 140674190286583 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
/proc/17713/statm: 3450954 727408 3288 1 0 3438187 0
[pid=17713/tid=17714] ppid=17712 vsize=13803816 CPUtime=7.06 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17714/stat : 17714 (java) S 17712 17712 14626 0 -1 1077944384 11768 0 0 0 693 13 0 0 20 0 28 0 3728024 14135107584 727408 33554432000 4194304 4196468 140728744266256 140674194527296 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17716] ppid=17712 vsize=13803816 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17716/stat : 17716 (java) S 17712 17712 14626 0 -1 1077944384 2848 0 0 0 52 29 0 0 20 0 28 0 3728025 14135107584 727408 33554432000 4194304 4196468 140728744266256 140674142907408 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17717] ppid=17712 vsize=13803816 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17717/stat : 17717 (java) S 17712 17712 14626 0 -1 1077944384 2771 0 0 0 53 27 0 0 20 0 28 0 3728025 14135107584 727408 33554432000 4194304 4196468 140728744266256 140674141854864 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17718] ppid=17712 vsize=13803816 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17718/stat : 17718 (java) S 17712 17712 14626 0 -1 1077944384 4410 0 0 0 52 26 0 0 20 0 28 0 3728025 14135107584 727408 33554432000 4194304 4196468 140728744266256 140674140801808 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17719] ppid=17712 vsize=13803816 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17719/stat : 17719 (java) S 17712 17712 14626 0 -1 1077944384 1580 0 0 0 51 26 0 0 20 0 28 0 3728025 14135107584 727408 33554432000 4194304 4196468 140728744266256 140674139749264 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17720] ppid=17712 vsize=13803816 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17720/stat : 17720 (java) S 17712 17712 14626 0 -1 1077944384 2889 0 0 0 53 25 0 0 20 0 28 0 3728025 14135107584 727408 33554432000 4194304 4196468 140728744266256 140674138696208 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17721] ppid=17712 vsize=13803816 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17721/stat : 17721 (java) S 17712 17712 14626 0 -1 1077944384 2362 0 0 0 53 26 0 0 20 0 28 0 3728025 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673784674960 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17722] ppid=17712 vsize=13803816 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17722/stat : 17722 (java) S 17712 17712 14626 0 -1 1077944384 1307 0 0 0 51 27 0 0 20 0 28 0 3728025 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673783621904 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17723] ppid=17712 vsize=13803816 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17723/stat : 17723 (java) S 17712 17712 14626 0 -1 1077944384 1332 0 0 0 50 26 0 0 20 0 28 0 3728025 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673782569360 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17724] ppid=17712 vsize=13803816 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17724/stat : 17724 (java) S 17712 17712 14626 0 -1 1077944384 8566 0 0 0 22 32 0 0 20 0 28 0 3728028 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673652542192 140674190297730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17725] ppid=17712 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17725/stat : 17725 (java) S 17712 17712 14626 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 3728029 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673651488480 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17726] ppid=17712 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17726/stat : 17726 (java) S 17712 17712 14626 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3728029 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673650435328 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17727] ppid=17712 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17727/stat : 17727 (java) S 17712 17712 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3728033 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673649383888 140674190305179 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17728] ppid=17712 vsize=13803816 CPUtime=5.82 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17728/stat : 17728 (java) S 17712 17712 14626 0 -1 1077944384 31754 0 0 0 578 4 0 0 20 0 28 0 3728033 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673648330992 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17729] ppid=17712 vsize=13803816 CPUtime=5.81 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17729/stat : 17729 (java) S 17712 17712 14626 0 -1 1077944384 31495 0 0 0 577 4 0 0 20 0 28 0 3728033 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673647278448 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17730] ppid=17712 vsize=13803816 CPUtime=4.66 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17730/stat : 17730 (java) S 17712 17712 14626 0 -1 1077944384 25752 0 0 0 463 3 0 0 20 0 28 0 3728033 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673646225392 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17731] ppid=17712 vsize=13803816 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17731/stat : 17731 (java) S 17712 17712 14626 0 -1 1077944384 18681 0 0 0 165 3 0 0 20 0 28 0 3728033 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673645172848 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17732] ppid=17712 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17732/stat : 17732 (java) S 17712 17712 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3728033 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673644121056 140674190296789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=17733] ppid=17712 vsize=13803816 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17713/task/17733/stat : 17733 (java) S 17712 17712 14626 0 -1 1077944384 1596 0 0 0 9 8 0 0 20 0 28 0 3728034 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673643068592 140674190297730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27666] ppid=17712 vsize=13803816 CPUtime=174.9 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27666/stat : 27666 (java) R 17712 17712 14626 0 -1 4202560 2070 0 0 0 17490 0 0 0 20 0 28 0 3742603 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673629790152 140673821708278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27667] ppid=17712 vsize=13803816 CPUtime=175.15 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27667/stat : 27667 (java) R 17712 17712 14626 0 -1 4202560 2367 0 0 0 17515 0 0 0 20 0 28 0 3742603 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673631899536 140673828594481 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27668] ppid=17712 vsize=13803816 CPUtime=175.18 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27668/stat : 27668 (java) R 17712 17712 14626 0 -1 4202560 1652 0 0 0 17518 0 0 0 20 0 28 0 3742603 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673630843424 140673822906095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27669] ppid=17712 vsize=13803816 CPUtime=174.56 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27669/stat : 27669 (java) R 17712 17712 14626 0 -1 4202560 5352 0 0 0 17454 2 0 0 20 0 28 0 3742603 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673634001512 140673830585682 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27670] ppid=17712 vsize=13803816 CPUtime=174.95 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27670/stat : 27670 (java) R 17712 17712 14626 0 -1 4202560 1396 0 0 0 17494 1 0 0 20 0 28 0 3742603 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673628738088 140673828653885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27671] ppid=17712 vsize=13803816 CPUtime=174.63 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27671/stat : 27671 (java) R 17712 17712 14626 0 -1 4202560 1146 0 0 0 17463 0 0 0 20 0 28 0 3742603 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673627685544 140673821882198 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27672] ppid=17712 vsize=13803816 CPUtime=174.78 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27672/stat : 27672 (java) R 17712 17712 14626 0 -1 4202560 1247 0 0 0 17478 0 0 0 20 0 28 0 3742603 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673635054712 140673829199751 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
[pid=17713/tid=27673] ppid=17712 vsize=13803816 CPUtime=174.74 cores=0,2,4,6,8,10,12,14
/proc/17713/task/27673/stat : 27673 (java) R 17712 17712 14626 0 -1 4202560 2813 0 0 0 17473 1 0 0 20 0 28 0 3742603 14135107584 727408 33554432000 4194304 4196468 140728744266256 140673632949576 140673822448500 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28479488 140728744268988 140728744269164 140728744269164 140728744271823 0
Current children cumulated CPU time (s) 2400.23
Current children cumulated vsize (KiB) 13813328

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17713 sig 9
??? kill 17712 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17712 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1101
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2202
# CPU time returned by wait4() is 0.003303
# while last known CPU time is 2400.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 322.012
CPU time (s): 2400.23
CPU user time (s): 2395.97
CPU system time (s): 4.26
CPU usage (%): 745.384
Max. virtual memory (cumulated for all children) (KiB): 13813328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001101
system time used= 0.002202
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76079 second user time and 4.42843 second system time

The end

Launcher Data 

Begin job on node105 at 2017-07-22 02:49:45
IDJOB=4244754
IDBENCH=115895
IDSOLVER=2626
FILE ID=node105/4244754-1500684585
RUNJOBID= node105-1500682495-14657
PBS_JOBID= 20623326
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244754-1500684585/watcher-4244754-1500684585 -o /tmp/evaluation-result-4244754-1500684585/solver-4244754-1500684585 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 883275163 HOME/instance-4244754-1500684585.xml

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

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=883275163

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31531704 kB
MemAvailable:   31580432 kB
Buffers:           50944 kB
Cached:           307388 kB
SwapCached:            0 kB
Active:           636020 kB
Inactive:         226276 kB
Active(anon):     507248 kB
Inactive(anon):     8628 kB
Active(file):     128772 kB
Inactive(file):   217648 kB
Unevictable:        5972 kB
Mlocked:            6004 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8120 kB
Writeback:             0 kB
AnonPages:        531784 kB
Mapped:            43116 kB
Shmem:              8852 kB
Slab:              69028 kB
SReclaimable:      36288 kB
SUnreclaim:        32740 kB
KernelStack:        4992 kB
PageTables:         6304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1074120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61992 MiB
End job on node105 at 2017-07-22 02:55:07