Trace number 4244753

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 4.0.5 (2017-07-05)SAT (TO)887 2400.11 326.613

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-4244753-1500684251.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4244753-1500684251.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
13.13/6.05	c solve instance...
44.99/10.11	o 0 
44.99/10.16	o 4 
44.99/10.19	o 6 
45.47/10.22	o 8 
45.47/10.23	o 10 
45.47/10.25	o 12 
45.47/10.29	o 14 
47.64/10.52	o 16 
73.80/14.29	o 18 
97.84/17.39	o 20 
98.56/17.46	o 22 
99.30/17.53	o 24 
177.15/27.31	o 26 
193.06/29.65	o 27 
193.06/29.67	o 28 
193.52/29.73	o 29 
193.52/29.75	o 30 
193.52/29.78	o 31 
193.52/29.81	o 32 
193.98/29.82	o 33 
193.98/29.84	o 34 
193.98/29.87	o 35 
194.38/29.90	o 36 
194.38/29.92	o 37 
194.38/29.94	o 38 
194.38/29.97	o 39 
194.38/30.00	o 40 
194.83/30.02	o 41 
194.83/30.04	o 42 
194.83/30.06	o 43 
194.83/30.07	o 44 
194.83/30.09	o 45 
195.37/30.11	o 46 
195.37/30.14	o 47 
195.37/30.15	o 48 
195.37/30.17	o 49 
195.37/30.19	o 50 
195.80/30.21	o 51 
195.80/30.23	o 52 
195.80/30.24	o 53 
195.80/30.26	o 54 
195.80/30.28	o 55 
196.34/30.30	o 56 
196.34/30.32	o 57 
196.34/30.34	o 58 
196.34/30.37	o 59 
196.34/30.38	o 60 
196.82/30.40	o 61 
196.82/30.42	o 62 
196.82/30.43	o 63 
196.82/30.46	o 64 
196.82/30.47	o 65 
196.82/30.49	o 66 
197.24/30.51	o 67 
197.24/30.52	o 68 
197.24/30.54	o 69 
197.24/30.55	o 70 
197.24/30.57	o 71 
197.76/30.62	o 72 
197.76/30.64	o 73 
197.76/30.65	o 74 
197.76/30.66	o 75 
197.76/30.68	o 76 
198.33/30.70	o 77 
198.33/30.71	o 78 
198.33/30.73	o 79 
198.33/30.75	o 80 
198.33/30.78	o 81 
198.33/30.80	o 82 
198.89/30.82	o 83 
198.89/30.84	o 84 
198.89/30.85	o 85 
198.89/30.87	o 86 
198.89/30.89	o 87 
199.46/30.91	o 88 
199.46/30.93	o 89 
199.46/30.96	o 90 
199.46/30.97	o 91 
199.46/30.98	o 92 
199.91/31.00	o 93 
199.91/31.01	o 94 
199.91/31.03	o 95 
199.91/31.04	o 96 
199.91/31.06	o 97 
199.91/31.07	o 98 
199.91/31.09	o 99 
200.48/31.11	o 100 
200.48/31.13	o 101 
200.48/31.15	o 102 
200.48/31.17	o 103 
200.48/31.18	o 104 
200.96/31.20	o 105 
200.96/31.22	o 106 
200.96/31.24	o 107 
200.96/31.26	o 108 
201.51/31.30	o 109 
201.51/31.32	o 110 
201.51/31.34	o 111 
201.51/31.35	o 112 
201.51/31.37	o 113 
201.51/31.39	o 114 
202.08/31.41	o 115 
202.08/31.43	o 116 
202.08/31.45	o 117 
202.08/31.48	o 118 
202.57/31.50	o 119 
202.57/31.51	o 120 
202.57/31.53	o 121 
202.57/31.54	o 122 
202.57/31.56	o 123 
202.57/31.58	o 124 
202.57/31.60	o 125 
203.03/31.62	o 126 
203.03/31.63	o 127 
203.03/31.65	o 128 
203.03/31.67	o 129 
203.03/31.69	o 130 
203.54/31.71	o 131 
203.54/31.73	o 132 
203.54/31.74	o 133 
203.54/31.76	o 134 
203.54/31.78	o 135 
203.54/31.80	o 136 
203.97/31.81	o 137 
203.97/31.84	o 138 
203.97/31.85	o 139 
203.97/31.87	o 140 
203.97/31.90	o 141 
204.51/31.91	o 142 
204.51/31.94	o 143 
204.51/31.95	o 144 
204.51/31.97	o 145 
204.51/31.99	o 146 
204.51/32.01	o 147 
205.02/32.03	o 148 
205.02/32.05	o 149 
205.02/32.08	o 150 
205.43/32.10	o 151 
205.43/32.12	o 152 
205.43/32.13	o 153 
206.15/32.65	o 154 
206.15/32.67	o 155 
206.15/32.70	o 156 
206.42/32.72	o 157 
206.42/32.74	o 158 
206.42/32.76	o 159 
206.42/32.78	o 160 
206.91/32.80	o 161 
206.91/32.82	o 162 
206.91/32.87	o 163 
207.45/33.11	o 164 
208.93/34.53	o 165 
208.93/34.56	o 166 
208.93/34.57	o 167 
208.93/34.58	o 168 
209.29/34.60	o 169 
209.29/34.62	o 170 
209.29/34.64	o 171 
209.29/34.66	o 172 
209.29/34.68	o 173 
209.82/34.70	o 174 
209.82/34.72	o 175 
209.82/34.74	o 176 
209.82/34.76	o 177 
209.82/34.78	o 178 
209.82/34.79	o 179 
210.39/34.81	o 180 
210.39/34.84	o 181 
210.39/34.85	o 182 
210.39/34.88	o 183 
210.39/34.89	o 184 
210.92/34.91	o 185 
210.92/34.92	o 186 
210.92/34.94	o 187 
210.92/34.95	o 188 
210.92/34.96	o 189 
210.92/34.98	o 190 
211.47/35.00	o 191 
211.47/35.02	o 192 
211.47/35.03	o 193 
211.47/35.05	o 194 
211.47/35.06	o 195 
211.47/35.08	o 196 
212.02/35.10	o 197 
212.02/35.12	o 198 
212.02/35.14	o 199 
212.02/35.15	o 200 
212.02/35.16	o 201 
212.02/35.18	o 202 
212.02/35.19	o 203 
213.04/35.65	o 204 
213.04/35.69	o 205 
213.26/35.71	o 206 
213.26/35.73	o 207 
213.26/35.74	o 208 
213.26/35.76	o 209 
213.26/35.77	o 210 
213.26/35.79	o 211 
213.78/35.80	o 212 
213.78/35.81	o 213 
213.78/35.83	o 214 
213.78/35.84	o 215 
213.78/35.86	o 216 
213.78/35.88	o 217 
213.78/35.89	o 218 
214.30/35.92	o 219 
214.30/35.93	o 220 
214.30/35.96	o 221 
214.30/35.97	o 222 
214.82/36.00	o 223 
214.82/36.02	o 224 
214.82/36.04	o 225 
214.82/36.06	o 226 
214.82/36.08	o 227 
215.38/36.10	o 228 
215.38/36.13	o 229 
215.38/36.14	o 230 
215.38/36.16	o 231 
215.38/36.18	o 232 
215.38/36.19	o 233 
215.92/36.21	o 234 
215.92/36.22	o 235 
215.92/36.23	o 236 
215.92/36.25	o 237 
215.92/36.27	o 238 
215.92/36.28	o 239 
215.92/36.30	o 240 
216.56/36.32	o 241 
216.56/36.34	o 242 
216.56/36.35	o 243 
216.56/36.37	o 244 
216.56/36.38	o 245 
216.56/36.40	o 246 
217.27/36.66	o 247 
217.27/36.67	o 248 
217.27/36.69	o 249 
217.60/36.71	o 250 
217.60/36.74	o 251 
217.60/36.76	o 252 
217.60/36.77	o 253 
217.60/36.79	o 254 
218.14/36.81	o 255 
218.14/36.82	o 256 
218.14/36.85	o 257 
218.14/36.87	o 258 
218.14/36.88	o 259 
218.73/36.90	o 260 
218.73/36.92	o 261 
218.73/36.93	o 262 
218.73/36.94	o 263 
218.73/36.96	o 264 
218.73/36.98	o 265 
218.73/36.99	o 266 
219.27/37.01	o 267 
219.27/37.02	o 268 
219.27/37.04	o 269 
219.27/37.05	o 270 
219.27/37.08	o 271 
219.27/37.10	o 272 
219.85/37.11	o 273 
219.85/37.13	o 274 
219.85/37.15	o 275 
219.85/37.18	o 276 
219.85/37.19	o 277 
220.42/37.21	o 278 
220.42/37.23	o 279 
220.42/37.24	o 280 
220.42/37.26	o 281 
220.42/37.27	o 282 
220.42/37.29	o 283 
221.02/37.31	o 284 
221.02/37.33	o 285 
221.02/37.35	o 286 
221.02/37.38	o 287 
221.02/37.39	o 288 
221.02/37.41	o 289 
221.55/37.42	o 290 
221.55/37.44	o 291 
221.55/37.45	o 292 
221.55/37.47	o 293 
221.55/37.49	o 294 
221.55/37.51	o 295 
222.07/37.52	o 296 
222.07/37.54	o 297 
222.07/37.56	o 298 
222.07/37.58	o 299 
222.80/37.81	o 300 
222.80/37.82	o 301 
222.80/37.84	o 302 
222.80/37.86	o 303 
222.80/37.88	o 304 
223.32/37.90	o 305 
223.32/37.92	o 306 
223.32/37.93	o 307 
223.32/37.95	o 308 
223.32/37.96	o 309 
223.32/37.98	o 310 
223.32/38.00	o 311 
223.83/38.01	o 312 
223.83/38.02	o 313 
223.83/38.04	o 314 
223.83/38.05	o 315 
223.83/38.06	o 316 
223.83/38.08	o 317 
223.83/38.09	o 318 
224.37/38.11	o 319 
224.37/38.14	o 320 
224.37/38.15	o 321 
224.37/38.17	o 322 
224.37/38.19	o 323 
224.84/38.21	o 324 
224.84/38.22	o 325 
224.84/38.23	o 326 
224.84/38.25	o 327 
224.84/38.27	o 328 
224.84/38.28	o 329 
225.47/38.30	o 330 
225.47/38.32	o 331 
225.47/38.33	o 332 
225.47/38.34	o 333 
225.47/38.36	o 334 
225.47/38.38	o 335 
225.47/38.40	o 336 
226.06/38.41	o 337 
226.06/38.42	o 338 
226.06/38.44	o 339 
226.06/38.46	o 340 
226.06/38.48	o 341 
226.06/38.49	o 342 
226.66/38.51	o 343 
226.66/38.53	o 344 
226.66/38.55	o 345 
226.66/38.56	o 346 
226.66/38.58	o 347 
226.66/38.60	o 348 
227.25/38.62	o 349 
227.25/38.63	o 350 
227.25/38.65	o 351 
227.25/38.67	o 352 
227.25/38.69	o 353 
227.81/38.70	o 354 
227.81/38.72	o 355 
227.81/38.75	o 356 
227.81/38.77	o 357 
227.81/38.78	o 358 
227.81/38.79	o 359 
228.41/38.81	o 360 
228.41/38.83	o 361 
228.41/38.85	o 362 
228.41/38.86	o 363 
228.41/38.88	o 364 
229.07/38.90	o 365 
229.07/38.92	o 366 
229.07/38.93	o 367 
229.07/38.95	o 368 
229.07/38.97	o 369 
229.07/38.98	o 370 
229.65/39.00	o 371 
229.65/39.01	o 372 
229.65/39.03	o 373 
229.65/39.04	o 374 
229.65/39.06	o 375 
229.65/39.08	o 376 
230.25/39.10	o 377 
230.25/39.12	o 378 
230.25/39.14	o 379 
230.25/39.17	o 380 
230.25/39.18	o 381 
230.94/39.34	o 382 
230.94/39.36	o 383 
230.94/39.37	o 384 
230.94/39.39	o 385 
231.33/39.41	o 386 
231.33/39.43	o 387 
231.33/39.45	o 388 
231.33/39.46	o 389 
231.33/39.48	o 390 
231.33/39.49	o 391 
231.88/39.51	o 392 
231.88/39.52	o 393 
231.88/39.54	o 394 
231.88/39.56	o 395 
231.88/39.57	o 396 
231.88/39.59	o 397 
231.88/39.61	o 398 
232.60/39.62	o 399 
232.60/39.64	o 400 
232.60/39.68	o 401 
232.60/39.69	o 402 
233.18/39.72	o 403 
233.18/39.73	o 404 
233.18/39.75	o 405 
233.18/39.77	o 406 
233.18/39.80	o 407 
233.67/39.81	o 408 
233.67/39.83	o 409 
233.67/39.85	o 410 
233.67/39.87	o 411 
233.67/39.89	o 412 
234.24/39.91	o 413 
234.24/39.93	o 414 
234.24/39.94	o 415 
234.24/39.96	o 416 
234.24/39.98	o 417 
234.24/39.99	o 418 
234.86/40.01	o 419 
234.86/40.03	o 420 
235.93/40.88	o 421 
235.93/40.89	o 422 
236.15/40.92	o 423 
236.15/40.93	o 424 
236.15/40.94	o 425 
236.15/40.96	o 426 
236.15/40.98	o 427 
236.73/41.00	o 428 
236.73/41.02	o 429 
236.73/41.03	o 430 
236.73/41.05	o 431 
236.73/41.07	o 432 
236.73/41.09	o 433 
237.36/41.11	o 434 
237.36/41.12	o 435 
237.36/41.15	o 436 
237.36/41.17	o 437 
237.36/41.19	o 438 
237.99/41.21	o 439 
237.99/41.23	o 440 
237.99/41.25	o 441 
237.99/41.27	o 442 
237.99/41.29	o 443 
238.56/41.31	o 444 
238.56/41.32	o 445 
238.56/41.34	o 446 
238.56/41.36	o 447 
238.56/41.38	o 448 
238.56/41.39	o 449 
239.19/41.42	o 450 
239.19/41.43	o 451 
239.19/41.45	o 452 
239.19/41.46	o 453 
239.78/41.50	o 454 
239.78/41.52	o 455 
239.78/41.55	o 456 
239.78/41.57	o 457 
240.29/41.60	o 458 
240.50/41.73	o 459 
241.92/43.02	o 460 
241.92/43.04	o 461 
241.92/43.05	o 462 
241.92/43.07	o 463 
241.92/43.09	o 464 
242.39/43.11	o 465 
242.39/43.13	o 466 
242.39/43.15	o 467 
242.39/43.17	o 468 
242.39/43.19	o 469 
242.94/43.21	o 470 
242.94/43.23	o 471 
242.94/43.25	o 472 
242.94/43.27	o 473 
242.94/43.29	o 474 
244.04/43.77	o 475 
244.04/43.79	o 476 
244.31/43.81	o 477 
244.31/43.83	o 478 
244.31/43.85	o 479 
244.31/43.87	o 480 
244.31/43.88	o 481 
244.90/43.91	o 482 
244.90/43.93	o 483 
244.90/43.94	o 484 
244.90/43.96	o 485 
244.90/44.00	o 486 
245.47/44.03	o 487 
245.47/44.05	o 488 
245.47/44.07	o 489 
245.47/44.09	o 490 
246.08/44.11	o 491 
246.08/44.13	o 492 
246.08/44.15	o 493 
246.08/44.17	o 494 
246.08/44.19	o 495 
246.57/44.20	o 496 
246.57/44.22	o 497 
246.57/44.25	o 498 
246.57/44.26	o 499 
246.57/44.28	o 500 
247.19/44.30	o 501 
247.19/44.32	o 502 
247.19/44.34	o 503 
247.19/44.35	o 504 
247.19/44.37	o 505 
247.19/44.38	o 506 
247.80/44.40	o 507 
247.80/44.42	o 508 
247.80/44.44	o 509 
247.80/44.46	o 510 
247.80/44.48	o 511 
248.42/44.50	o 512 
248.42/44.52	o 513 
248.42/44.54	o 514 
248.42/44.55	o 515 
248.42/44.57	o 516 
248.42/44.59	o 517 
249.07/44.61	o 518 
249.60/45.07	o 519 
249.60/45.09	o 520 
249.60/45.11	o 521 
249.91/45.12	o 522 
249.91/45.15	o 523 
249.91/45.17	o 524 
249.91/45.19	o 525 
250.47/45.21	o 526 
250.47/45.23	o 527 
250.47/45.25	o 528 
250.47/45.27	o 529 
250.47/45.29	o 530 
250.97/45.31	o 531 
250.97/45.33	o 532 
250.97/45.35	o 533 
250.97/45.36	o 534 
250.97/45.38	o 535 
251.62/45.40	o 536 
251.62/45.42	o 537 
251.62/45.44	o 538 
251.62/45.46	o 539 
251.62/45.48	o 540 
252.25/45.50	o 541 
252.25/45.52	o 542 
252.25/45.54	o 543 
252.25/45.56	o 544 
252.25/45.58	o 545 
252.87/45.60	o 546 
252.87/45.62	o 547 
252.87/45.64	o 548 
252.87/45.66	o 549 
252.87/45.68	o 550 
253.54/45.70	o 551 
253.54/45.72	o 552 
253.54/45.74	o 553 
253.54/45.77	o 554 
253.54/45.79	o 555 
254.15/45.80	o 556 
254.15/45.83	o 557 
254.15/45.84	o 558 
254.15/45.87	o 559 
254.15/45.89	o 560 
254.77/45.91	o 561 
254.77/45.93	o 562 
254.77/45.95	o 563 
254.77/45.97	o 564 
254.77/45.99	o 565 
255.42/46.01	o 566 
255.42/46.03	o 567 
256.90/47.21	o 568 
256.90/47.24	o 569 
256.90/47.25	o 570 
256.90/47.28	o 571 
256.90/47.31	o 572 
257.44/47.32	o 573 
257.44/47.34	o 574 
257.44/47.36	o 575 
257.44/47.38	o 576 
257.44/47.39	o 577 
258.13/47.41	o 578 
258.13/47.43	o 579 
258.13/47.45	o 580 
258.13/47.46	o 581 
258.13/47.48	o 582 
258.72/47.50	o 583 
258.72/47.52	o 584 
258.72/47.54	o 585 
258.72/47.55	o 586 
258.72/47.57	o 587 
258.72/47.59	o 588 
259.40/47.63	o 589 
260.16/48.10	o 590 
261.60/49.41	o 591 
261.60/49.43	o 592 
261.60/49.45	o 593 
261.60/49.48	o 594 
261.60/49.50	o 595 
262.17/49.52	o 596 
262.17/49.54	o 597 
262.17/49.55	o 598 
262.17/49.58	o 599 
263.46/50.31	o 600 
263.46/50.34	o 601 
263.46/50.36	o 602 
263.46/50.38	o 603 
264.02/50.40	o 604 
264.02/50.42	o 605 
264.02/50.44	o 606 
264.02/50.45	o 607 
264.02/50.48	o 608 
264.67/50.50	o 609 
264.67/50.53	o 610 
264.67/50.55	o 611 
264.67/50.56	o 612 
264.67/50.59	o 613 
264.67/50.61	o 614 
265.35/50.63	o 615 
265.35/50.65	o 616 
265.35/50.67	o 617 
265.35/50.68	o 618 
265.35/50.71	o 619 
266.01/50.73	o 620 
266.01/50.74	o 621 
266.01/50.76	o 622 
266.01/50.78	o 623 
266.56/50.80	o 624 
266.56/50.82	o 625 
266.56/50.84	o 626 
266.56/50.86	o 627 
266.56/50.88	o 628 
267.19/50.90	o 629 
267.19/50.92	o 630 
267.19/50.94	o 631 
267.19/50.96	o 632 
267.19/50.98	o 633 
267.84/51.00	o 634 
267.84/51.02	o 635 
267.84/51.04	o 636 
267.84/51.06	o 637 
267.84/51.08	o 638 
268.46/51.10	o 639 
268.46/51.12	o 640 
268.46/51.15	o 641 
268.46/51.17	o 642 
268.46/51.19	o 643 
269.08/51.20	o 644 
269.08/51.23	o 645 
269.08/51.24	o 646 
269.08/51.26	o 647 
269.08/51.28	o 648 
269.74/51.30	o 649 
269.74/51.33	o 650 
269.74/51.34	o 651 
269.74/51.36	o 652 
269.74/51.38	o 653 
269.74/51.40	o 654 
270.35/51.42	o 655 
270.35/51.44	o 656 
270.35/51.46	o 657 
270.35/51.49	o 658 
272.24/52.77	o 659 
272.24/52.79	o 660 
272.56/52.81	o 661 
272.56/52.83	o 662 
272.56/52.85	o 663 
272.56/52.87	o 664 
272.56/52.89	o 665 
273.20/52.92	o 666 
273.20/52.93	o 667 
273.20/52.95	o 668 
273.20/52.98	o 669 
273.71/53.00	o 670 
273.71/53.02	o 671 
273.71/53.04	o 672 
273.71/53.06	o 673 
273.71/53.08	o 674 
274.35/53.10	o 675 
274.35/53.12	o 676 
274.35/53.14	o 677 
274.35/53.16	o 678 
274.35/53.18	o 679 
274.97/53.21	o 680 
274.97/53.23	o 681 
274.97/53.25	o 682 
274.97/53.27	o 683 
274.97/53.29	o 684 
275.53/53.32	o 685 
275.53/53.34	o 686 
275.53/53.36	o 687 
275.53/53.39	o 688 
276.13/53.41	o 689 
276.13/53.43	o 690 
276.13/53.45	o 691 
276.13/53.47	o 692 
276.13/53.49	o 693 
276.74/53.51	o 694 
276.74/53.53	o 695 
276.74/53.56	o 696 
276.74/53.58	o 697 
276.74/53.59	o 698 
277.38/53.62	o 699 
277.38/53.64	o 700 
277.38/53.67	o 701 
277.38/53.69	o 702 
278.01/53.70	o 703 
278.01/53.72	o 704 
278.01/53.77	o 705 
278.01/53.79	o 706 
278.69/53.81	o 707 
278.69/53.82	o 708 
278.69/53.84	o 709 
278.69/53.87	o 710 
278.69/53.90	o 711 
279.29/53.92	o 712 
279.29/53.93	o 713 
279.29/53.96	o 714 
279.29/53.98	o 715 
279.29/54.00	o 716 
279.98/54.02	o 717 
279.98/54.03	o 718 
279.98/54.06	o 719 
279.98/54.08	o 720 
279.98/54.10	o 721 
280.53/54.12	o 722 
280.53/54.13	o 723 
280.53/54.15	o 724 
280.53/54.17	o 725 
280.53/54.19	o 726 
281.19/54.21	o 727 
281.19/54.24	o 728 
281.19/54.26	o 729 
281.19/54.28	o 730 
281.84/54.30	o 731 
281.84/54.31	o 732 
282.90/55.24	o 733 
282.90/55.26	o 734 
282.90/55.29	o 735 
283.72/55.62	o 736 
285.13/56.91	o 737 
285.13/56.93	o 738 
285.13/56.95	o 739 
285.13/56.97	o 740 
285.71/57.00	o 741 
285.71/57.02	o 742 
285.71/57.04	o 743 
285.71/57.06	o 744 
285.71/57.08	o 745 
285.71/57.09	o 746 
286.34/57.11	o 747 
286.34/57.13	o 748 
286.34/57.15	o 749 
286.34/57.17	o 750 
286.34/57.19	o 751 
287.07/57.22	o 752 
287.07/57.24	o 753 
287.07/57.27	o 754 
287.07/57.29	o 755 
287.07/57.31	o 756 
287.72/57.33	o 757 
287.72/57.35	o 758 
287.72/57.39	o 759 
288.22/57.40	o 760 
288.22/57.43	o 761 
288.22/57.45	o 762 
288.22/57.47	o 763 
288.22/57.49	o 764 
288.81/57.51	o 765 
288.81/57.53	o 766 
288.81/57.56	o 767 
288.81/57.58	o 768 
289.51/57.60	o 769 
289.51/57.62	o 770 
289.51/57.64	o 771 
289.51/57.66	o 772 
289.51/57.69	o 773 
290.11/57.70	o 774 
290.11/57.72	o 775 
290.11/57.75	o 776 
290.11/57.77	o 777 
290.11/57.79	o 778 
290.69/57.81	o 779 
290.69/57.83	o 780 
290.69/57.85	o 781 
290.69/57.87	o 782 
290.69/57.89	o 783 
291.40/57.91	o 784 
291.40/57.93	o 785 
291.40/57.95	o 786 
291.40/57.98	o 787 
292.02/58.00	o 788 
292.02/58.02	o 789 
292.02/58.04	o 790 
292.02/58.06	o 791 
292.02/58.09	o 792 
292.66/58.11	o 793 
292.66/58.13	o 794 
292.66/58.15	o 795 
292.66/58.17	o 796 
292.66/58.19	o 797 
293.29/58.21	o 798 
293.29/58.24	o 799 
293.29/58.27	o 800 
293.29/58.29	o 801 
293.29/58.31	o 802 
294.00/58.33	o 803 
294.00/58.35	o 804 
294.00/58.37	o 805 
294.00/58.40	o 806 
294.69/58.42	o 807 
294.69/58.44	o 808 
294.69/58.46	o 809 
294.69/58.49	o 810 
295.19/58.51	o 811 
295.19/58.53	o 812 
295.19/58.56	o 813 
295.19/58.58	o 814 
295.19/58.60	o 815 
295.85/58.61	o 816 
295.85/58.64	o 817 
295.85/58.66	o 818 
295.85/58.69	o 819 
296.47/58.71	o 820 
296.47/58.73	o 821 
296.47/58.75	o 822 
296.47/58.78	o 823 
297.17/58.80	o 824 
297.17/58.82	o 825 
297.17/58.85	o 826 
297.17/58.87	o 827 
297.17/58.89	o 828 
297.80/58.92	o 829 
297.80/58.94	o 830 
297.80/58.96	o 831 
297.80/58.98	o 832 
298.48/59.01	o 833 
298.48/59.03	o 834 
298.48/59.05	o 835 
298.48/59.07	o 836 
298.48/59.09	o 837 
299.13/59.11	o 838 
299.13/59.13	o 839 
299.13/59.16	o 840 
299.13/59.18	o 841 
299.82/59.21	o 842 
299.82/59.24	o 843 
299.82/59.26	o 844 
299.82/59.29	o 845 
300.41/59.31	o 846 
300.41/59.33	o 847 
300.41/59.35	o 848 
300.41/59.38	o 849 
300.41/59.40	o 850 
301.08/59.43	o 851 
301.08/59.45	o 852 
301.08/59.47	o 853 
301.08/59.50	o 854 
301.70/59.52	o 855 
301.70/59.54	o 856 
301.70/59.56	o 857 
301.70/59.59	o 858 
302.30/59.62	o 859 
302.30/59.64	o 860 
302.71/59.71	o 861 
302.71/59.73	o 862 
302.71/59.76	o 863 
302.71/59.78	o 864 
303.29/59.81	o 865 
303.29/59.83	o 866 
303.29/59.86	o 867 
303.29/59.89	o 868 
303.89/59.91	o 869 
303.89/59.93	o 870 
303.89/59.97	o 871 
303.89/59.99	o 872 
304.54/60.02	o 873 
304.54/60.04	o 874 
304.54/60.07	o 875 
304.54/60.09	o 876 
305.20/60.12	o 877 
305.20/60.14	o 878 
305.20/60.17	o 879 
305.20/60.19	o 880 
305.83/60.22	o 881 
305.83/60.24	o 882 
305.83/60.26	o 883 
305.83/60.29	o 884 
306.53/60.32	o 885 
676.22/108.78	o 886 
687.70/111.23	o 887 
2400.11/326.64	s SATISFIABLE
2400.11/326.64	v <instantiation>
2400.11/326.64	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.11/326.64	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.11/326.64	v </instantiation>
2400.11/326.64	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-4244753-1500684251/watcher-4244753-1500684251 -o /tmp/evaluation-result-4244753-1500684251/solver-4244753-1500684251 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 491360930 HOME/instance-4244753-1500684251.xml 

pid=21118
running on 8 cores: 1,3,5,7,9,11,13,15

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: 14.34 15.10 14.17 10/275 21121
/proc/meminfo: memFree=29769352/32770624 swapFree=5900/218684
[pid=21121] ppid=21118 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21121/stat : 21121 (xcsp3-exec) S 21118 21121 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3692014 9740288 346 33554432000 4194304 5098028 140734255513856 140734255511960 140008694751868 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8179712 140734255518863 140734255519072 140734255519072 140734255521771 0
/proc/21121/statm: 2378 346 289 221 0 87 0

[startup+0.100076 s]
/proc/loadavg: 14.34 15.10 14.17 10/275 21121
/proc/meminfo: memFree=29769352/32770624 swapFree=5900/218684
[pid=21121] ppid=21118 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21121/stat : 21121 (xcsp3-exec) S 21118 21121 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3692014 9740288 346 33554432000 4194304 5098028 140734255513856 140734255511960 140008694751868 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8179712 140734255518863 140734255519072 140734255519072 140734255521771 0
/proc/21121/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20033 s]
/proc/loadavg: 14.34 15.10 14.17 10/275 21121
/proc/meminfo: memFree=29769352/32770624 swapFree=5900/218684
[pid=21121] ppid=21118 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21121/stat : 21121 (xcsp3-exec) S 21118 21121 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3692014 9740288 346 33554432000 4194304 5098028 140734255513856 140734255511960 140008694751868 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8179712 140734255518863 140734255519072 140734255519072 140734255521771 0
/proc/21121/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300281 s]
/proc/loadavg: 14.34 15.10 14.17 10/275 21121
/proc/meminfo: memFree=29769352/32770624 swapFree=5900/218684
[pid=21121] ppid=21118 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21121/stat : 21121 (xcsp3-exec) S 21118 21121 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3692014 9740288 346 33554432000 4194304 5098028 140734255513856 140734255511960 140008694751868 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8179712 140734255518863 140734255519072 140734255519072 140734255521771 0
/proc/21121/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700187 s]
/proc/loadavg: 14.34 15.10 14.17 10/275 21121
/proc/meminfo: memFree=29769352/32770624 swapFree=5900/218684
[pid=21121] ppid=21118 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21121/stat : 21121 (xcsp3-exec) S 21118 21121 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3692014 9740288 346 33554432000 4194304 5098028 140734255513856 140734255511960 140008694751868 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8179712 140734255518863 140734255519072 140734255519072 140734255521771 0
/proc/21121/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50088 s]
/proc/loadavg: 14.34 15.10 14.17 10/296 21142
/proc/meminfo: memFree=29659380/32770624 swapFree=5900/218724
[pid=21121] ppid=21118 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21121/stat : 21121 (xcsp3-exec) S 21118 21121 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3692014 9740288 346 33554432000 4194304 5098028 140734255513856 140734255511960 140008694751868 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8179712 140734255518863 140734255519072 140734255519072 140734255521771 0
/proc/21121/statm: 2378 346 289 221 0 87 0
[pid=21122] ppid=21121 vsize=13269256 CPUtime=3.48 cores=1,3,5,7,9,11,13,15
/proc/21122/stat : 21122 (java) S 21121 21121 16913 0 -1 1077944320 17286 0 0 0 341 7 0 0 20 0 20 0 3692014 13587718144 35810 33554432000 4194304 4196468 140725009144160 140725009126704 139839686700791 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
/proc/21122/statm: 3317314 35810 3224 1 0 3304547 0
[pid=21122/tid=21123] ppid=21121 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21123/stat : 21123 (java) R 21121 21121 16913 0 -1 4202560 7944 0 0 0 143 4 0 0 20 0 20 0 3692015 13587718144 35810 33554432000 4194304 4196468 140725009144160 139839690917408 139839686722717 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21125] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21125/stat : 21125 (java) S 21121 21121 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3692015 13587718144 35810 33554432000 4194304 4196468 140725009144160 139839285951376 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21126] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21126/stat : 21126 (java) S 21121 21121 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3692015 13587718144 35810 33554432000 4194304 4196468 140725009144160 139839284898576 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21127] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21127/stat : 21127 (java) S 21121 21121 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3692015 13587718144 35810 33554432000 4194304 4196468 140725009144160 139839283846288 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21128] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21128/stat : 21128 (java) S 21121 21121 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3692015 13587718144 35810 33554432000 4194304 4196468 140725009144160 139839282793488 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21129] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21129/stat : 21129 (java) S 21121 21121 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3692015 13587718144 35810 33554432000 4194304 4196468 140725009144160 139839281740176 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21130] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21130/stat : 21130 (java) S 21121 21121 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3692015 13587718144 35810 33554432000 4194304 4196468 140725009144160 139839280687376 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21131] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21131/stat : 21131 (java) S 21121 21121 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3692015 13587718144 35810 33554432000 4194304 4196468 140725009144160 139839279635088 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21132] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21132/stat : 21132 (java) S 21121 21121 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3692015 13587718144 35810 33554432000 4194304 4196468 140725009144160 139839278582288 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21133] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21133/stat : 21133 (java) S 21121 21121 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 3692018 13587718144 35810 33554432000 4194304 4196468 140725009144160 139838880524912 139839686711938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21134] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21134/stat : 21134 (java) S 21121 21121 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3692018 13587718144 35810 33554432000 4194304 4196468 140725009144160 139838879470880 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21135] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21135/stat : 21135 (java) S 21121 21121 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3692019 13587718144 35810 33554432000 4194304 4196468 140725009144160 139838878418544 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21136] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21136/stat : 21136 (java) S 21121 21121 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3692022 13587718144 35810 33554432000 4194304 4196468 140725009144160 139838877366864 139839686719387 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21137] ppid=21121 vsize=13269256 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21137/stat : 21137 (java) R 21121 21121 16913 0 -1 4202560 2184 0 0 0 51 0 0 0 20 0 20 0 3692022 13587718144 35839 33554432000 4194304 4196468 140725009144160 139838876314008 139839668006548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21138] ppid=21121 vsize=13269256 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21138/stat : 21138 (java) S 21121 21121 16913 0 -1 1077944384 1954 0 0 0 47 0 0 0 20 0 20 0 3692022 13587718144 35839 33554432000 4194304 4196468 140725009144160 139838875260912 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21139] ppid=21121 vsize=13269256 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21139/stat : 21139 (java) S 21121 21121 16913 0 -1 1077944384 1334 0 0 0 45 0 0 0 20 0 20 0 3692022 13587718144 35839 33554432000 4194304 4196468 140725009144160 139838874208624 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21140] ppid=21121 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21140/stat : 21140 (java) S 21121 21121 16913 0 -1 1077944384 2556 0 0 0 53 0 0 0 20 0 20 0 3692022 13587718144 35839 33554432000 4194304 4196468 140725009144160 139838873155824 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21141] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21141/stat : 21141 (java) S 21121 21121 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3692022 13587718144 35839 33554432000 4194304 4196468 140725009144160 139838872103776 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21142] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21142/stat : 21142 (java) S 21121 21121 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3692023 13587718144 35839 33554432000 4194304 4196468 140725009144160 139838871051056 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 13278768

[startup+3.10176 s]
/proc/loadavg: 14.34 15.10 14.17 10/296 21142
/proc/meminfo: memFree=29560036/32770624 swapFree=5900/218724
[pid=21121] ppid=21118 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21121/stat : 21121 (xcsp3-exec) S 21118 21121 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3692014 9740288 346 33554432000 4194304 5098028 140734255513856 140734255511960 140008694751868 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8179712 140734255518863 140734255519072 140734255519072 140734255521771 0
/proc/21121/statm: 2378 346 289 221 0 87 0
[pid=21122] ppid=21121 vsize=13269256 CPUtime=8.22 cores=1,3,5,7,9,11,13,15
/proc/21122/stat : 21122 (java) S 21121 21121 16913 0 -1 1077944320 25824 0 0 0 769 53 0 0 20 0 20 0 3692014 13587718144 74454 33554432000 4194304 4196468 140725009144160 140725009126704 139839686700791 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
/proc/21122/statm: 3317314 74454 3256 1 0 3304547 0
[pid=21122/tid=21123] ppid=21121 vsize=13269256 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21123/stat : 21123 (java) R 21121 21121 16913 0 -1 4202560 9116 0 0 0 290 5 0 0 20 0 20 0 3692015 13587718144 74454 33554432000 4194304 4196468 140725009144160 139839690937896 139839669163424 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21125] ppid=21121 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21125/stat : 21125 (java) S 21121 21121 16913 0 -1 1077944384 88 0 0 0 4 5 0 0 20 0 20 0 3692015 13587718144 74454 33554432000 4194304 4196468 140725009144160 139839285951376 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21126] ppid=21121 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21126/stat : 21126 (java) S 21121 21121 16913 0 -1 1077944384 81 0 0 0 4 5 0 0 20 0 20 0 3692015 13587718144 74454 33554432000 4194304 4196468 140725009144160 139839284898576 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21127] ppid=21121 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21127/stat : 21127 (java) S 21121 21121 16913 0 -1 1077944384 95 0 0 0 4 5 0 0 20 0 20 0 3692015 13587718144 74454 33554432000 4194304 4196468 140725009144160 139839283846288 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21128] ppid=21121 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21128/stat : 21128 (java) S 21121 21121 16913 0 -1 1077944384 98 0 0 0 4 5 0 0 20 0 20 0 3692015 13587718144 74454 33554432000 4194304 4196468 140725009144160 139839282793488 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21129] ppid=21121 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21129/stat : 21129 (java) S 21121 21121 16913 0 -1 1077944384 83 0 0 0 4 5 0 0 20 0 20 0 3692015 13587718144 74454 33554432000 4194304 4196468 140725009144160 139839281740176 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21130] ppid=21121 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21130/stat : 21130 (java) S 21121 21121 16913 0 -1 1077944384 319 0 0 0 4 5 0 0 20 0 20 0 3692015 13587718144 74454 33554432000 4194304 4196468 140725009144160 139839280687376 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21131] ppid=21121 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21131/stat : 21131 (java) S 21121 21121 16913 0 -1 1077944384 106 0 0 0 4 5 0 0 20 0 20 0 3692015 13587718144 74454 33554432000 4194304 4196468 140725009144160 139839279635088 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21132] ppid=21121 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21132/stat : 21132 (java) S 21121 21121 16913 0 -1 1077944384 151 0 0 0 5 5 0 0 20 0 20 0 3692015 13587718144 74454 33554432000 4194304 4196468 140725009144160 139839278582288 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21133] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21133/stat : 21133 (java) S 21121 21121 16913 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 3692018 13587718144 74454 33554432000 4194304 4196468 140725009144160 139838880524912 139839686711938 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21134] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21134/stat : 21134 (java) S 21121 21121 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 3692018 13587718144 74454 33554432000 4194304 4196468 140725009144160 139838879470944 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21135] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21135/stat : 21135 (java) S 21121 21121 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 3692019 13587718144 74454 33554432000 4194304 4196468 140725009144160 139838878418560 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21136] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21136/stat : 21136 (java) S 21121 21121 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3692022 13587718144 74454 33554432000 4194304 4196468 140725009144160 139838877366864 139839686719387 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21137] ppid=21121 vsize=13269256 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21137/stat : 21137 (java) S 21121 21121 16913 0 -1 1077944384 3594 0 0 0 129 1 0 0 20 0 20 0 3692022 13587718144 74454 33554432000 4194304 4196468 140725009144160 139838876313712 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21138] ppid=21121 vsize=13269256 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21138/stat : 21138 (java) S 21121 21121 16913 0 -1 1077944384 3801 0 0 0 120 1 0 0 20 0 20 0 3692022 13587718144 74454 33554432000 4194304 4196468 140725009144160 139838875260912 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21139] ppid=21121 vsize=13269256 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21139/stat : 21139 (java) S 21121 21121 16913 0 -1 1077944384 2960 0 0 0 119 1 0 0 20 0 20 0 3692022 13587718144 74454 33554432000 4194304 4196468 140725009144160 139838874208624 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21140] ppid=21121 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21140/stat : 21140 (java) S 21121 21121 16913 0 -1 1077944384 3815 0 0 0 71 0 0 0 20 0 20 0 3692022 13587718144 74454 33554432000 4194304 4196468 140725009144160 139838873155824 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21141] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21141/stat : 21141 (java) S 21121 21121 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3692022 13587718144 74454 33554432000 4194304 4196468 140725009144160 139838872103776 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21142] ppid=21121 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21142/stat : 21142 (java) S 21121 21121 16913 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 3692023 13587718144 74454 33554432000 4194304 4196468 140725009144160 139838871051056 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 13278768

[startup+6.30109 s]
/proc/loadavg: 13.91 15.00 14.14 13/296 21142
/proc/meminfo: memFree=29275244/32770624 swapFree=5900/218740
[pid=21121] ppid=21118 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21121/stat : 21121 (xcsp3-exec) S 21118 21121 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3692014 9740288 346 33554432000 4194304 5098028 140734255513856 140734255511960 140008694751868 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8179712 140734255518863 140734255519072 140734255519072 140734255521771 0
/proc/21121/statm: 2378 346 289 221 0 87 0
[pid=21122] ppid=21121 vsize=13801768 CPUtime=15.03 cores=1,3,5,7,9,11,13,15
/proc/21122/stat : 21122 (java) S 21121 21121 16913 0 -1 1077944320 28189 0 0 0 1399 104 0 0 20 0 28 0 3692014 14133010432 126594 33554432000 4194304 4196468 140725009144160 140725009126704 139839686700791 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
/proc/21122/statm: 3450442 126594 3264 1 0 3437675 0
[pid=21122/tid=21123] ppid=21121 vsize=13801768 CPUtime=5.8 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21123/stat : 21123 (java) S 21121 21121 16913 0 -1 1077944384 9539 0 0 0 574 6 0 0 20 0 28 0 3692015 14133010432 126594 33554432000 4194304 4196468 140725009144160 139839690941568 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21125] ppid=21121 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21125/stat : 21125 (java) S 21121 21121 16913 0 -1 1077944384 179 0 0 0 10 11 0 0 20 0 28 0 3692015 14133010432 126594 33554432000 4194304 4196468 140725009144160 139839285951376 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21126] ppid=21121 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21126/stat : 21126 (java) S 21121 21121 16913 0 -1 1077944384 158 0 0 0 9 11 0 0 20 0 28 0 3692015 14133010432 126594 33554432000 4194304 4196468 140725009144160 139839284898576 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21127] ppid=21121 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21127/stat : 21127 (java) S 21121 21121 16913 0 -1 1077944384 204 0 0 0 9 10 0 0 20 0 28 0 3692015 14133010432 126594 33554432000 4194304 4196468 140725009144160 139839283846288 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21128] ppid=21121 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21128/stat : 21128 (java) S 21121 21121 16913 0 -1 1077944384 153 0 0 0 9 11 0 0 20 0 28 0 3692015 14133010432 126594 33554432000 4194304 4196468 140725009144160 139839282793488 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21129] ppid=21121 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21129/stat : 21129 (java) S 21121 21121 16913 0 -1 1077944384 152 0 0 0 10 12 0 0 20 0 28 0 3692015 14133010432 126594 33554432000 4194304 4196468 140725009144160 139839281740176 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21130] ppid=21121 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21130/stat : 21130 (java) S 21121 21121 16913 0 -1 1077944384 418 0 0 0 9 11 0 0 20 0 28 0 3692015 14133010432 126594 33554432000 4194304 4196468 140725009144160 139839280687376 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21131] ppid=21121 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21131/stat : 21131 (java) S 21121 21121 16913 0 -1 1077944384 165 0 0 0 9 11 0 0 20 0 28 0 3692015 14133010432 126594 33554432000 4194304 4196468 140725009144160 139839279635088 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21132] ppid=21121 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21132/stat : 21132 (java) S 21121 21121 16913 0 -1 1077944384 255 0 0 0 10 12 0 0 20 0 28 0 3692015 14133010432 126594 33554432000 4194304 4196468 140725009144160 139839278582288 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21133] ppid=21121 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21133/stat : 21133 (java) S 21121 21121 16913 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 28 0 3692018 14133010432 126594 33554432000 4194304 4196468 140725009144160 139838880524912 139839686711938 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21134] ppid=21121 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21134/stat : 21134 (java) S 21121 21121 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3692018 14133010432 126594 33554432000 4194304 4196468 140725009144160 139838879470944 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21135] ppid=21121 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21135/stat : 21135 (java) S 21121 21121 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3692019 14133010432 126594 33554432000 4194304 4196468 140725009144160 139838878418560 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21136] ppid=21121 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21136/stat : 21136 (java) S 21121 21121 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3692022 14133010432 126594 33554432000 4194304 4196468 140725009144160 139838877366864 139839686719387 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0

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

[pid=21122/tid=28152] ppid=21121 vsize=13803816 CPUtime=110.22 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28152/stat : 28152 (java) R 21121 21121 16913 0 -1 4202560 934 0 0 0 11022 0 0 0 20 0 28 0 3703138 14135107584 757070 33554432000 4194304 4196468 140725009144160 139838858826696 139839330119551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28153] ppid=21121 vsize=13803816 CPUtime=110.43 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28153/stat : 28153 (java) R 21121 21121 16913 0 -1 4202560 2342 0 0 0 11043 0 0 0 20 0 28 0 3703138 14135107584 757070 33554432000 4194304 4196468 140725009144160 139838859879208 139839330727517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
Current children cumulated CPU time (s) 1570.95
Current children cumulated vsize (KiB) 13813328

[startup+282.301 s]
/proc/loadavg: 15.56 15.27 14.46 12/305 28300
/proc/meminfo: memFree=28611896/32770624 swapFree=5900/219084
[pid=21121] ppid=21118 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21121/stat : 21121 (xcsp3-exec) S 21118 21121 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3692014 9740288 346 33554432000 4194304 5098028 140734255513856 140734255511960 140008694751868 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8179712 140734255518863 140734255519072 140734255519072 140734255521771 0
/proc/21121/statm: 2378 346 289 221 0 87 0
[pid=21122] ppid=21121 vsize=13803816 CPUtime=2047.86 cores=1,3,5,7,9,11,13,15
/proc/21122/stat : 21122 (java) S 21121 21121 16913 0 -1 1077944320 234634 0 0 0 204366 420 0 0 20 0 28 0 3692014 14135107584 750703 33554432000 4194304 4196468 140725009144160 140725009126704 139839686700791 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
/proc/21122/statm: 3450954 750703 3289 1 0 3438187 0
[pid=21122/tid=21123] ppid=21121 vsize=13803816 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21123/stat : 21123 (java) S 21121 21121 16913 0 -1 1077944384 12031 0 0 0 678 14 0 0 20 0 28 0 3692015 14135107584 750703 33554432000 4194304 4196468 140725009144160 139839690941504 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21125] ppid=21121 vsize=13803816 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21125/stat : 21125 (java) S 21121 21121 16913 0 -1 1077944384 1290 0 0 0 49 26 0 0 20 0 28 0 3692015 14135107584 750703 33554432000 4194304 4196468 140725009144160 139839285951376 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21126] ppid=21121 vsize=13803816 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21126/stat : 21126 (java) S 21121 21121 16913 0 -1 1077944384 3103 0 0 0 50 25 0 0 20 0 28 0 3692015 14135107584 750703 33554432000 4194304 4196468 140725009144160 139839284898576 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21127] ppid=21121 vsize=13803816 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21127/stat : 21127 (java) S 21121 21121 16913 0 -1 1077944384 2032 0 0 0 47 25 0 0 20 0 28 0 3692015 14135107584 750703 33554432000 4194304 4196468 140725009144160 139839283846288 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21128] ppid=21121 vsize=13803816 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21128/stat : 21128 (java) S 21121 21121 16913 0 -1 1077944384 1656 0 0 0 47 26 0 0 20 0 28 0 3692015 14135107584 750703 33554432000 4194304 4196468 140725009144160 139839282793488 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21129] ppid=21121 vsize=13803816 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21129/stat : 21129 (java) S 21121 21121 16913 0 -1 1077944384 2839 0 0 0 49 26 0 0 20 0 28 0 3692015 14135107584 750703 33554432000 4194304 4196468 140725009144160 139839281740176 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21130] ppid=21121 vsize=13803816 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21130/stat : 21130 (java) S 21121 21121 16913 0 -1 1077944384 2242 0 0 0 47 26 0 0 20 0 28 0 3692015 14135107584 750703 33554432000 4194304 4196468 140725009144160 139839280687376 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21131] ppid=21121 vsize=13803816 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21131/stat : 21131 (java) S 21121 21121 16913 0 -1 1077944384 1744 0 0 0 53 25 0 0 20 0 28 0 3692015 14135107584 750703 33554432000 4194304 4196468 140725009144160 139839279635088 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21132] ppid=21121 vsize=13803816 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21132/stat : 21132 (java) S 21121 21121 16913 0 -1 1077944384 2858 0 0 0 49 26 0 0 20 0 28 0 3692015 14135107584 750703 33554432000 4194304 4196468 140725009144160 139839278582288 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21133] ppid=21121 vsize=13803816 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21133/stat : 21133 (java) S 21121 21121 16913 0 -1 1077944384 7659 0 0 0 17 27 0 0 20 0 28 0 3692018 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838880524912 139839686711938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21134] ppid=21121 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21134/stat : 21134 (java) S 21121 21121 16913 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3692018 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838879470944 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21135] ppid=21121 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21135/stat : 21135 (java) S 21121 21121 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3692019 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838878418560 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21136] ppid=21121 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21136/stat : 21136 (java) S 21121 21121 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3692022 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838877366864 139839686719387 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21137] ppid=21121 vsize=13803816 CPUtime=6.11 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21137/stat : 21137 (java) S 21121 21121 16913 0 -1 1077944384 29479 0 0 0 608 3 0 0 20 0 28 0 3692022 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838876313712 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21138] ppid=21121 vsize=13803816 CPUtime=5.62 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21138/stat : 21138 (java) S 21121 21121 16913 0 -1 1077944384 25580 0 0 0 558 4 0 0 20 0 28 0 3692022 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838875260912 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21139] ppid=21121 vsize=13803816 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21139/stat : 21139 (java) S 21121 21121 16913 0 -1 1077944384 28508 0 0 0 606 4 0 0 20 0 28 0 3692022 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838874208624 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21140] ppid=21121 vsize=13803816 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21140/stat : 21140 (java) S 21121 21121 16913 0 -1 1077944384 18610 0 0 0 161 2 0 0 20 0 28 0 3692022 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838873155824 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21141] ppid=21121 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21141/stat : 21141 (java) S 21121 21121 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3692022 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838872103776 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21142] ppid=21121 vsize=13803816 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21142/stat : 21142 (java) S 21121 21121 16913 0 -1 1077944384 2023 0 0 0 8 9 0 0 20 0 28 0 3692023 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838871051056 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28146] ppid=21121 vsize=13803816 CPUtime=170.28 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28146/stat : 28146 (java) R 21121 21121 16913 0 -1 4202560 1640 0 0 0 17028 0 0 0 20 0 28 0 3703138 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838861984136 139839330119551 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28147] ppid=21121 vsize=13803816 CPUtime=169.44 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28147/stat : 28147 (java) R 21121 21121 16913 0 -1 4202560 2296 0 0 0 16943 1 0 0 20 0 28 0 3703138 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838855668600 139839330467021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28148] ppid=21121 vsize=13803816 CPUtime=168.99 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28148/stat : 28148 (java) R 21121 21121 16913 0 -1 4202560 1041 0 0 0 16899 0 0 0 20 0 28 0 3703138 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838857773664 139839325213185 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28149] ppid=21121 vsize=13803816 CPUtime=170.15 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28149/stat : 28149 (java) R 21121 21121 16913 0 -1 4202560 6386 0 0 0 17012 3 0 0 20 0 28 0 3703138 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838863036432 139839329585615 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28150] ppid=21121 vsize=13803816 CPUtime=170.34 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28150/stat : 28150 (java) R 21121 21121 16913 0 -1 4202560 2700 0 0 0 17034 0 0 0 20 0 28 0 3703138 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838856721288 139839330991076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28151] ppid=21121 vsize=13803816 CPUtime=169.1 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28151/stat : 28151 (java) R 21121 21121 16913 0 -1 4202560 1041 0 0 0 16910 0 0 0 20 0 28 0 3703138 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838860934608 139839330466378 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28152] ppid=21121 vsize=13803816 CPUtime=169.65 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28152/stat : 28152 (java) R 21121 21121 16913 0 -1 4202560 1171 0 0 0 16965 0 0 0 20 0 28 0 3703138 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838858826824 139839330427297 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28153] ppid=21121 vsize=13803816 CPUtime=170.1 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28153/stat : 28153 (java) R 21121 21121 16913 0 -1 4202560 2828 0 0 0 17009 1 0 0 20 0 28 0 3703138 14135107584 750703 33554432000 4194304 4196468 140725009144160 139838859879288 139839330727017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
Current children cumulated CPU time (s) 2047.86
Current children cumulated vsize (KiB) 13813328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+326.602 s]
/proc/loadavg: 15.72 15.33 14.52 18/305 31956
/proc/meminfo: memFree=25485924/32770624 swapFree=5900/219144
[pid=21121] ppid=21118 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21121/stat : 21121 (xcsp3-exec) S 21118 21121 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3692014 9740288 346 33554432000 4194304 5098028 140734255513856 140734255511960 140008694751868 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8179712 140734255518863 140734255519072 140734255519072 140734255521771 0
/proc/21121/statm: 2378 346 289 221 0 87 0
[pid=21122] ppid=21121 vsize=13803816 CPUtime=2400.11 cores=1,3,5,7,9,11,13,15
/proc/21122/stat : 21122 (java) S 21121 21121 16913 0 -1 1077944320 239453 0 0 0 239582 429 0 0 20 0 28 0 3692014 14135107584 746663 33554432000 4194304 4196468 140725009144160 140725009126704 139839686700791 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
/proc/21122/statm: 3450954 746663 3289 1 0 3438187 0
[pid=21122/tid=21123] ppid=21121 vsize=13803816 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21123/stat : 21123 (java) S 21121 21121 16913 0 -1 1077944384 12031 0 0 0 678 14 0 0 20 0 28 0 3692015 14135107584 746663 33554432000 4194304 4196468 140725009144160 139839690941504 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21125] ppid=21121 vsize=13803816 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21125/stat : 21125 (java) S 21121 21121 16913 0 -1 1077944384 1356 0 0 0 56 26 0 0 20 0 28 0 3692015 14135107584 746663 33554432000 4194304 4196468 140725009144160 139839285951376 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21126] ppid=21121 vsize=13803816 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21126/stat : 21126 (java) S 21121 21121 16913 0 -1 1077944384 3207 0 0 0 57 25 0 0 20 0 28 0 3692015 14135107584 746663 33554432000 4194304 4196468 140725009144160 139839284898576 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21127] ppid=21121 vsize=13803816 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21127/stat : 21127 (java) S 21121 21121 16913 0 -1 1077944384 2113 0 0 0 53 26 0 0 20 0 28 0 3692015 14135107584 746663 33554432000 4194304 4196468 140725009144160 139839283846288 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21128] ppid=21121 vsize=13803816 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21128/stat : 21128 (java) S 21121 21121 16913 0 -1 1077944384 2062 0 0 0 54 26 0 0 20 0 28 0 3692015 14135107584 746663 33554432000 4194304 4196468 140725009144160 139839282793488 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21129] ppid=21121 vsize=13803816 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21129/stat : 21129 (java) S 21121 21121 16913 0 -1 1077944384 3530 0 0 0 56 27 0 0 20 0 28 0 3692015 14135107584 746663 33554432000 4194304 4196468 140725009144160 139839281740176 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21130] ppid=21121 vsize=13803816 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21130/stat : 21130 (java) S 21121 21121 16913 0 -1 1077944384 2296 0 0 0 54 26 0 0 20 0 28 0 3692015 14135107584 746663 33554432000 4194304 4196468 140725009144160 139839280687376 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21131] ppid=21121 vsize=13803816 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21131/stat : 21131 (java) S 21121 21121 16913 0 -1 1077944384 1838 0 0 0 61 25 0 0 20 0 28 0 3692015 14135107584 746663 33554432000 4194304 4196468 140725009144160 139839279635088 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21132] ppid=21121 vsize=13803816 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21132/stat : 21132 (java) S 21121 21121 16913 0 -1 1077944384 2926 0 0 0 56 26 0 0 20 0 28 0 3692015 14135107584 746663 33554432000 4194304 4196468 140725009144160 139839278582288 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21133] ppid=21121 vsize=13803816 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21133/stat : 21133 (java) S 21121 21121 16913 0 -1 1077944384 8369 0 0 0 19 30 0 0 20 0 28 0 3692018 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838880524912 139839686711938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21134] ppid=21121 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21134/stat : 21134 (java) S 21121 21121 16913 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3692018 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838879470944 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21135] ppid=21121 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21135/stat : 21135 (java) S 21121 21121 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3692019 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838878418560 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21136] ppid=21121 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21136/stat : 21136 (java) S 21121 21121 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3692022 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838877366864 139839686719387 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21137] ppid=21121 vsize=13803816 CPUtime=6.11 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21137/stat : 21137 (java) S 21121 21121 16913 0 -1 1077944384 29485 0 0 0 608 3 0 0 20 0 28 0 3692022 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838876313712 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21138] ppid=21121 vsize=13803816 CPUtime=5.62 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21138/stat : 21138 (java) S 21121 21121 16913 0 -1 1077944384 25586 0 0 0 558 4 0 0 20 0 28 0 3692022 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838875260912 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21139] ppid=21121 vsize=13803816 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21139/stat : 21139 (java) S 21121 21121 16913 0 -1 1077944384 28517 0 0 0 606 4 0 0 20 0 28 0 3692022 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838874208624 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21140] ppid=21121 vsize=13803816 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21140/stat : 21140 (java) S 21121 21121 16913 0 -1 1077944384 18616 0 0 0 161 2 0 0 20 0 28 0 3692022 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838873155824 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21141] ppid=21121 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21141/stat : 21141 (java) S 21121 21121 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3692022 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838872103776 139839686710997 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=21142] ppid=21121 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/21122/task/21142/stat : 21142 (java) S 21121 21121 16913 0 -1 1077944384 2061 0 0 0 8 11 0 0 20 0 28 0 3692023 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838871051056 139839686711938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28146] ppid=21121 vsize=13803816 CPUtime=214.37 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28146/stat : 28146 (java) R 21121 21121 16913 0 -1 4202560 1882 0 0 0 21437 0 0 0 20 0 28 0 3703138 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838861984152 139839330727772 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28147] ppid=21121 vsize=13803816 CPUtime=213.49 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28147/stat : 28147 (java) R 21121 21121 16913 0 -1 4202560 2610 0 0 0 21348 1 0 0 20 0 28 0 3703138 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838855669064 139839331829034 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28148] ppid=21121 vsize=13803816 CPUtime=213.1 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28148/stat : 28148 (java) R 21121 21121 16913 0 -1 4202560 1239 0 0 0 21310 0 0 0 20 0 28 0 3703138 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838857773440 139839325213229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28149] ppid=21121 vsize=13803816 CPUtime=214.02 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28149/stat : 28149 (java) R 21121 21121 16913 0 -1 4202560 6892 0 0 0 21399 3 0 0 20 0 28 0 3703138 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838863037032 139839330412743 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28150] ppid=21121 vsize=13803816 CPUtime=213.87 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28150/stat : 28150 (java) R 21121 21121 16913 0 -1 4202560 2899 0 0 0 21386 1 0 0 20 0 28 0 3703138 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838856721064 139839325213185 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28151] ppid=21121 vsize=13803816 CPUtime=213.02 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28151/stat : 28151 (java) R 21121 21121 16913 0 -1 4202560 1245 0 0 0 21302 0 0 0 20 0 28 0 3703138 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838860931912 139839330425160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28152] ppid=21121 vsize=13803816 CPUtime=213.76 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28152/stat : 28152 (java) R 21121 21121 16913 0 -1 4202560 1467 0 0 0 21376 0 0 0 20 0 28 0 3703138 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838858829728 139839330231353 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
[pid=21122/tid=28153] ppid=21121 vsize=13803816 CPUtime=213.99 cores=1,3,5,7,9,11,13,15
/proc/21122/task/28153/stat : 28153 (java) R 21121 21121 16913 0 -1 4202560 3349 0 0 0 21398 1 0 0 20 0 28 0 3703138 14135107584 746663 33554432000 4194304 4196468 140725009144160 139838859879160 139839330765043 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32321536 140725009147068 140725009147244 140725009147244 140725009149903 0
Current children cumulated CPU time (s) 2400.11
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 21122 sig 9
??? kill 21121 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 21121 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1352
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1352
# CPU time returned by wait4() is 0.002704
# while last known CPU time is 2400.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 326.613
CPU time (s): 2400.11
CPU user time (s): 2395.82
CPU system time (s): 4.29
CPU usage (%): 734.849
Max. virtual memory (cumulated for all children) (KiB): 13813328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001352
system time used= 0.001352
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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= 3

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99953 second user time and 4.70362 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-22 02:44:11
IDJOB=4244753
IDBENCH=115895
IDSOLVER=2625
FILE ID=node133/4244753-1500684251
RUNJOBID= node133-1500682387-16945
PBS_JOBID= 20623321
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
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-4244753-1500684251/watcher-4244753-1500684251 -o /tmp/evaluation-result-4244753-1500684251/solver-4244753-1500684251 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 491360930 HOME/instance-4244753-1500684251.xml

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

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=491360930

node133.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		: 2668.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	: 5334.13
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		: 1600.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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 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	: 5334.13
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		: 1600.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 2000.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 1600.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 2133.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	: 5229.85
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		: 2668.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	: 5334.13
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		: 1600.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	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29769724 kB
MemAvailable:   29819492 kB
Buffers:           50256 kB
Cached:           308368 kB
SwapCached:            0 kB
Active:          2395108 kB
Inactive:         227440 kB
Active(anon):    2266532 kB
Inactive(anon):     8756 kB
Active(file):     128576 kB
Inactive(file):   218684 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7900 kB
Writeback:             0 kB
AnonPages:       2285048 kB
Mapped:            43048 kB
Shmem:              8872 kB
Slab:              69672 kB
SReclaimable:      36684 kB
SUnreclaim:        32988 kB
KernelStack:        5072 kB
PageTables:         9680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4515816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2156544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62000 MiB
End job on node133 at 2017-07-22 02:49:37