Trace number 4528397

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
pb_picat 2025-07-11OPT20 324.945 325.934

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUM9def910af6a1ee27abcf25feff61a445
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark67.9647
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 solving HOME/instance-4528397-1752239830.opb (Picat 3.9b11, 7/10/2025)
0.78/0.82	o 31
322.71/323.75	o 23
324.90/325.92	o 20
324.90/325.92	s OPTIMUM FOUND
324.90/325.92	v ~x515 ~x2406 ~x4222 ~x3181 ~x1390 ~x3277 ~x5200 ~x517 ~x2407 ~x4223 
324.90/325.92	v ~x392 ~x1391 ~x3278 ~x5202 ~x519 ~x2408 ~x4224 ~x3208 ~x1392 ~x3279 
324.90/325.92	v ~x5203 ~x518 ~x2409 ~x4225 ~x395 ~x1393 ~x3280 ~x5204 ~x520 ~x2410 
324.90/325.92	v x4227 ~x3235 ~x1394 ~x3281 ~x5205 ~x522 ~x2411 ~x4229 ~x3262 ~x1395 
324.90/325.92	v ~x3282 ~x5207 ~x521 ~x2412 ~x4230 ~x400 ~x1396 ~x3283 ~x5209 ~x523 
324.90/325.92	v ~x2413 ~x4231 ~x3289 ~x1397 ~x3284 ~x5210 ~x525 ~x2414 ~x4232 ~x3316 
324.90/325.92	v ~x1398 ~x3285 ~x5211 ~x524 ~x2415 ~x4233 ~x405 ~x1400 ~x3286 ~x5212 
324.90/325.92	v ~x526 ~x2416 ~x4234 ~x3343 ~x1401 ~x3287 ~x5214 ~x528 ~x2417 ~x4235 
324.90/325.92	v ~x3370 ~x1402 ~x3288 ~x5216 ~x527 ~x2418 ~x4236 ~x410 ~x1403 ~x3290 
324.90/325.92	v ~x5217 ~x529 ~x2419 ~x4237 ~x3397 ~x1404 ~x3291 ~x5218 ~x531 ~x2420 
324.90/325.92	v ~x4238 ~x413 ~x1405 ~x3292 ~x5219 ~x530 ~x2421 ~x4239 ~x3424 ~x1406 
324.90/325.92	v ~x3293 x5221 ~x532 ~x2422 x4241 x416 ~x1407 ~x3294 ~x5222 ~x534 
324.90/325.92	v ~x2423 ~x4243 ~x3451 ~x1408 ~x3295 ~x5223 ~x533 x2425 ~x4244 ~x419 
324.90/325.92	v ~x1409 ~x3296 x5224 ~x535 ~x2426 ~x4245 ~x3478 ~x1410 ~x3297 ~x5226 
324.90/325.92	v ~x537 ~x2427 ~x4246 ~x3505 ~x1412 ~x3298 ~x5228 ~x536 ~x2428 ~x4247 
324.90/325.92	v ~x424 ~x1413 ~x3299 ~x5229 ~x538 ~x2429 ~x4248 ~x3532 ~x1414 ~x3300 
324.90/325.92	v ~x5230 ~x540 ~x2430 ~x4249 ~x427 ~x1415 ~x3301 ~x5231 ~x539 ~x2431 
324.90/325.92	v ~x4250 ~x3559 ~x1416 ~x3302 ~x5233 ~x541 ~x2432 ~x4251 ~x3586 ~x1417 
324.90/325.92	v ~x3303 x5235 ~x542 ~x2433 ~x4252 ~x3588 ~x1418 ~x3304 ~x5236 ~x543 
324.90/325.92	v ~x2434 ~x4253 ~x3600 ~x1419 ~x3305 ~x5237 ~x545 ~x2435 x4255 ~x3602 
324.90/325.92	v ~x1420 ~x3306 x5238 ~x544 ~x2436 x4257 ~x3614 ~x1421 ~x3307 ~x5240 
324.90/325.92	v ~x546 ~x2437 ~x4258 ~x3616 ~x1422 ~x3308 ~x5242 ~x548 ~x2438 ~x4259 
324.90/325.92	v ~x3628 ~x1424 ~x3309 ~x5243 ~x547 ~x2439 ~x4260 ~x3630 ~x1425 ~x3310 
324.90/325.92	v ~x5244 ~x549 ~x2440 ~x4261 ~x3642 ~x1426 ~x3311 ~x5245 ~x551 ~x2441 
324.90/325.92	v ~x4262 ~x3644 ~x1427 ~x3312 ~x5247 ~x550 ~x2442 ~x4263 ~x3656 ~x1428 
324.90/325.92	v ~x3313 ~x5248 ~x552 ~x2443 ~x4264 ~x3658 ~x1429 ~x3314 ~x5249 ~x554 
324.90/325.92	v ~x2444 ~x4265 ~x3670 ~x1430 ~x3315 ~x5250 ~x553 ~x2445 ~x4266 ~x3672 
324.90/325.92	v ~x1431 x3317 x5252 ~x555 ~x2446 ~x4267 ~x3684 ~x1432 ~x3318 ~x5254 
324.90/325.92	v ~x557 ~x2447 ~x4269 ~x3686 ~x1433 ~x3319 ~x5255 ~x556 ~x2448 ~x4271 
324.90/325.92	v ~x3698 ~x1434 ~x3320 ~x5256 ~x558 ~x2449 ~x4272 ~x3700 ~x1436 ~x3321 
324.90/325.92	v ~x5257 ~x560 ~x2450 ~x4273 ~x3712 ~x1438 ~x3322 x5259 ~x559 ~x2451 
324.90/325.92	v ~x4274 ~x3714 ~x1439 ~x3323 ~x5261 ~x561 ~x2452 ~x4275 ~x3726 ~x1440 
324.90/325.92	v ~x3324 ~x5262 ~x563 ~x2453 ~x4276 ~x3728 ~x1441 ~x3325 ~x5263 ~x562 
324.90/325.92	v ~x2454 ~x4277 ~x3740 ~x1443 x3326 ~x5264 ~x564 ~x2455 ~x4278 ~x3742 
324.90/325.92	v x1445 ~x3327 ~x5266 ~x566 ~x2456 ~x4279 ~x3754 ~x1446 ~x3328 ~x5268 
324.90/325.92	v ~x565 ~x2457 ~x4280 ~x3756 x1447 ~x3329 ~x5269 ~x567 ~x2458 ~x4281 
324.90/325.92	v ~x3768 ~x1448 ~x3330 ~x5270 ~x569 ~x2459 ~x4283 ~x3770 x1450 ~x3331 
324.90/325.92	v ~x5271 ~x568 ~x2460 ~x4285 ~x3782 x1452 ~x3332 ~x5273 ~x570 ~x2461 
324.90/325.92	v ~x4286 ~x3784 ~x1453 ~x3333 ~x5275 ~x572 ~x2462 ~x4287 ~x3796 x1454 
324.90/325.92	v ~x3334 ~x5276 ~x571 ~x2463 ~x4288 ~x3798 ~x1455 ~x3335 ~x5277 ~x573 
324.90/325.92	v ~x2464 ~x4289 ~x3810 ~x1457 ~x3336 ~x5278 ~x575 ~x2465 ~x4290 ~x3812 
324.90/325.92	v x1459 ~x3337 x5280 ~x574 ~x2466 ~x4291 ~x3824 x1460 ~x3338 ~x5281 
324.90/325.92	v ~x576 ~x2467 ~x4292 ~x3826 ~x1461 ~x3339 ~x5282 ~x578 ~x2468 ~x4293 
324.90/325.92	v ~x3838 ~x1462 ~x3340 ~x5283 ~x577 ~x2469 ~x4294 ~x3840 x1464 ~x3341 
324.90/325.92	v x5285 ~x579 ~x2470 ~x4295 ~x3852 ~x1466 ~x3342 ~x5286 ~x581 ~x2471 
324.90/325.92	v ~x4297 ~x3854 ~x1467 ~x3344 ~x5287 ~x580 ~x2472 ~x4299 ~x3866 ~x1468 
324.90/325.92	v ~x3345 ~x5288 ~x582 ~x2473 ~x4300 ~x3868 ~x1469 ~x3346 x5290 ~x584 
324.90/325.92	v ~x2474 ~x4301 ~x3880 x1471 ~x3347 ~x5292 ~x583 ~x2475 ~x4302 ~x3882 
324.90/325.92	v ~x1473 ~x3348 ~x5294 ~x585 ~x2476 ~x4303 ~x3894 ~x1474 ~x3349 ~x5295 
324.90/325.92	v ~x587 ~x2477 ~x4304 ~x3896 ~x1475 ~x3350 ~x5296 ~x586 ~x2478 ~x4305 
324.90/325.92	v ~x3908 ~x1476 ~x3351 ~x5297 ~x588 ~x2479 ~x4306 ~x3910 ~x1478 ~x3352 
324.90/325.92	v x5299 ~x590 ~x2480 ~x4307 ~x3922 ~x1480 ~x3353 ~x5300 ~x589 ~x2481 
324.90/325.92	v ~x4308 ~x3924 ~x1481 ~x3354 ~x5301 ~x591 ~x2483 ~x4309 ~x3936 ~x1482 
324.90/325.92	v ~x3355 ~x5302 ~x593 ~x2484 x4311 ~x3938 ~x1483 ~x3356 x5304 ~x592 
324.90/325.92	v ~x2485 ~x4313 ~x3950 x1485 ~x3357 ~x5306 ~x594 ~x2486 ~x4314 ~x3962 
324.90/325.92	v x1487 ~x3358 ~x5307 ~x596 ~x2487 ~x4315 ~x3964 ~x1488 ~x3359 ~x5308 
324.90/325.92	v ~x595 ~x2488 ~x4316 ~x3976 x1489 ~x3360 ~x5309 ~x597 ~x2489 ~x4317 
324.90/325.92	v ~x3978 ~x1490 ~x3361 x5311 ~x599 ~x2490 ~x4318 ~x3990 ~x1492 ~x3362 
324.90/325.92	v ~x5313 ~x598 ~x2491 ~x4319 ~x3992 ~x1494 ~x3363 ~x5314 ~x600 ~x2492 
324.90/325.92	v ~x4320 ~x4004 ~x1495 ~x3364 ~x5315 ~x602 ~x2493 ~x4321 ~x4006 ~x1496 
324.90/325.92	v ~x3365 ~x5316 ~x601 ~x2494 ~x4322 ~x4018 ~x1497 ~x3366 ~x5318 ~x603 
324.90/325.92	v ~x2495 ~x4323 ~x4020 ~x1499 ~x3367 ~x5319 ~x605 ~x2496 ~x4325 ~x4032 
324.90/325.92	v x1501 ~x3368 ~x5320 ~x604 ~x2497 ~x4327 ~x4034 ~x1502 ~x3369 ~x5321 
324.90/325.92	v ~x606 ~x2498 ~x4328 ~x4046 ~x1503 ~x3371 ~x5323 ~x608 ~x2499 ~x4329 
324.90/325.92	v ~x4048 x1504 ~x3372 ~x5324 ~x607 ~x2500 ~x4330 ~x4060 ~x1506 ~x3373 
324.90/325.92	v ~x5325 ~x609 ~x2501 ~x4331 ~x4062 ~x1508 ~x3374 ~x5326 ~x611 ~x2502 
324.90/325.92	v ~x4332 ~x4074 ~x1509 ~x3375 ~x5328 ~x610 ~x2503 ~x4333 ~x4076 ~x1510 
324.90/325.92	v ~x3376 ~x5329 ~x612 ~x2504 ~x4334 ~x4088 ~x1511 ~x3377 ~x5330 ~x614 
324.90/325.92	v ~x2505 ~x4335 ~x4090 x1513 ~x3378 ~x5331 ~x613 ~x2506 ~x4336 ~x4102 
324.90/325.92	v x1515 ~x3379 ~x5333 ~x615 ~x2507 ~x4337 ~x4104 ~x1516 ~x3380 ~x5334 
324.90/325.92	v ~x617 ~x2508 x4339 ~x4116 x1517 ~x3381 ~x5335 ~x616 ~x2509 ~x4341 
324.90/325.92	v ~x4128 ~x1518 ~x3382 ~x5336 ~x618 ~x2510 ~x4342 ~x4130 ~x1520 ~x3383 
324.90/325.92	v ~x5338 ~x620 ~x2511 ~x4343 ~x4142 x1522 ~x3384 ~x5340 ~x619 ~x2512 
324.90/325.92	v ~x4344 ~x4144 ~x1523 ~x3385 ~x5341 ~x621 ~x2513 ~x4345 ~x4156 ~x1524 
324.90/325.92	v ~x3386 ~x5342 ~x623 ~x2514 ~x4346 ~x4158 x1525 ~x3387 ~x5343 ~x622 
324.90/325.92	v ~x2515 ~x4347 ~x4170 x1527 ~x3388 x5345 ~x624 ~x2516 ~x4348 ~x4172 
324.90/325.92	v ~x1529 ~x3389 ~x5347 ~x626 ~x2517 ~x4349 ~x4184 ~x1530 ~x3390 ~x5348 
324.90/325.92	v ~x625 ~x2518 ~x4350 ~x4186 ~x1531 ~x3391 ~x5349 ~x627 ~x2519 ~x4351 
324.90/325.92	v ~x4198 ~x1532 ~x3392 ~x5350 ~x629 ~x2520 ~x4353 ~x4200 ~x1534 ~x3393 
324.90/325.92	v x5352 ~x628 ~x2521 ~x4355 ~x4212 x1536 ~x3394 ~x5353 ~x630 ~x2522 
324.90/325.92	v ~x4356 ~x4214 ~x1537 ~x3395 ~x5354 ~x632 ~x2523 ~x4357 ~x4226 ~x1538 
324.90/325.92	v ~x3396 ~x5355 ~x631 ~x2524 ~x4358 ~x4228 x1539 ~x3398 ~x5357 ~x633 
324.90/325.92	v ~x2525 ~x4359 ~x4240 x1541 ~x3399 ~x5358 ~x635 ~x2526 ~x4360 ~x4242 
324.90/325.92	v ~x1543 ~x3400 ~x5359 ~x634 ~x2527 ~x4361 ~x4254 ~x1544 ~x3401 ~x5360 
324.90/325.92	v ~x636 ~x2528 ~x4362 ~x4256 ~x1545 ~x3402 ~x5362 ~x638 ~x2529 ~x4363 
324.90/325.92	v ~x4268 ~x1546 ~x3403 ~x5363 ~x637 ~x2530 ~x4364 ~x4270 x1548 ~x3404 
324.90/325.92	v ~x5364 ~x639 ~x2531 ~x4365 ~x4282 ~x1550 ~x3405 ~x5365 ~x641 ~x2532 
324.90/325.92	v ~x4367 ~x4284 ~x1551 ~x3406 ~x5366 ~x640 ~x2533 ~x4368 ~x4296 ~x1552 
324.90/325.92	v ~x3407 ~x5367 ~x642 ~x2534 ~x4369 ~x4298 ~x1553 ~x3408 ~x5368 ~x644 
324.90/325.92	v ~x2535 ~x4370 ~x4310 x1555 ~x3409 ~x5369 ~x643 ~x2536 ~x4372 ~x4312 
324.90/325.92	v ~x1557 ~x3410 ~x5370 ~x645 ~x2537 ~x4373 ~x4324 ~x1558 ~x3411 ~x5371 
324.90/325.92	v ~x647 ~x2538 ~x4374 ~x4326 ~x1559 ~x3412 ~x5372 ~x646 ~x2539 ~x4375 
324.90/325.92	v ~x4338 ~x1560 ~x3413 ~x5373 ~x648 ~x2541 ~x4377 ~x4340 x1562 ~x3414 
324.90/325.92	v ~x5374 ~x650 ~x2542 ~x4378 ~x4352 ~x1564 ~x3415 ~x5375 ~x649 ~x2543 
324.90/325.92	v ~x4379 ~x4354 ~x1565 ~x3416 ~x5376 ~x651 ~x2544 ~x4380 ~x4366 ~x1566 
324.90/325.92	v ~x3417 ~x5377 ~x653 ~x2545 ~x4382 ~x4371 ~x1567 ~x3418 ~x5378 ~x652 
324.90/325.92	v ~x2546 ~x4383 ~x4376 x1569 ~x3419 ~x5379 ~x654 ~x2547 ~x4384 ~x4381 
324.90/325.92	v ~x1571 ~x3420 ~x5380 ~x656 ~x2548 ~x4385 ~x4386 ~x1572 ~x3421 ~x5381 
324.90/325.92	v ~x655 ~x2549 ~x4387 ~x4391 ~x1573 ~x3422 ~x5382 ~x657 ~x2550 ~x4388 
324.90/325.92	v ~x4396 ~x1574 ~x3423 ~x5383 ~x659 ~x2551 ~x4389 ~x4401 ~x1576 ~x3425 
324.90/325.92	v ~x5384 ~x658 ~x2552 ~x4390 ~x4406 ~x1578 ~x3426 ~x5385 ~x660 ~x2553 
324.90/325.92	v ~x4392 ~x4411 ~x1579 ~x3427 ~x5386 x662 ~x2554 ~x4393 ~x4416 ~x1580 
324.90/325.92	v ~x3428 ~x5387 ~x661 ~x2555 ~x4394 ~x4421 ~x1581 ~x3429 ~x5389 ~x663 
324.90/325.92	v ~x2556 ~x4395 ~x4426 x1583 ~x3430 ~x5390 ~x665 ~x2557 ~x4397 ~x4431 
324.90/325.92	v ~x1585 ~x3431 ~x5391 ~x664 ~x2558 ~x4398 ~x4436 ~x1586 ~x3432 ~x5392 
324.90/325.92	v ~x666 ~x2559 ~x4399 ~x4441 ~x1587 ~x3433 ~x5393 ~x668 ~x2560 ~x4400 
324.90/325.92	v ~x4446 ~x1588 ~x3434 ~x5394 ~x667 ~x2561 ~x4402 ~x4451 x1590 ~x3435 
324.90/325.92	v ~x5395 ~x669 ~x2562 ~x4403 ~x4456 ~x1592 ~x3436 ~x5396 ~x671 ~x2563 
324.90/325.92	v ~x4404 ~x4461 ~x1593 ~x3437 ~x5397 ~x670 ~x2564 ~x4405 ~x4466 ~x1594 
324.90/325.92	v ~x3438 ~x5398 ~x672 ~x2565 ~x4407 ~x4471 ~x1595 ~x3439 ~x5399 ~x674 
324.90/325.92	v ~x2566 ~x4408 ~x4476 x1597 ~x3440 ~x5400 ~x673 ~x2567 ~x4409 ~x4481 
324.90/325.92	v ~x1599 ~x3441 ~x5401 ~x675 ~x2568 ~x4410 ~x4486 ~x1600 ~x3442 ~x5402 
324.90/325.92	v ~x677 ~x2569 ~x4412 ~x4491 ~x1601 ~x3443 ~x5403 ~x676 ~x2570 ~x4413 
324.90/325.92	v ~x4496 ~x1602 ~x3444 ~x5404 ~x678 ~x2571 ~x4414 ~x4501 x1604 ~x3445 
324.90/325.92	v ~x5405 ~x680 ~x2572 ~x4415 ~x4506 ~x1606 ~x3446 ~x5406 ~x679 ~x2573 
324.90/325.92	v ~x4417 ~x4511 ~x1607 ~x3447 ~x5407 ~x681 ~x2574 ~x4418 ~x4516 ~x3448 
324.90/325.92	v ~x5408 ~x683 ~x2575 ~x4419 ~x4521 ~x3449 ~x5409 ~x682 ~x2576 ~x4420 
324.90/325.92	v ~x1608 ~x4526 ~x3450 ~x5410 ~x684 ~x2577 ~x4422 ~x1609 ~x4531 ~x3452 
324.90/325.92	v ~x5411 ~x686 ~x2578 ~x4423 x1611 ~x4536 ~x3453 ~x5412 ~x685 ~x2579 
324.90/325.92	v ~x4424 ~x1613 ~x4541 ~x3454 ~x5413 ~x687 ~x2580 ~x4425 ~x1614 ~x4546 
324.90/325.92	v ~x3455 ~x5414 ~x689 ~x2581 ~x4427 ~x1615 ~x4551 ~x3456 ~x5416 ~x688 
324.90/325.92	v ~x2582 ~x4428 ~x1616 ~x4556 ~x3457 ~x5417 ~x690 ~x2583 ~x4429 x1618 
324.90/325.92	v ~x4561 ~x3458 ~x5418 ~x692 ~x2584 ~x4430 ~x1620 ~x4566 ~x3459 ~x5419 
324.90/325.92	v ~x691 ~x2585 ~x4432 ~x1621 ~x4571 ~x3460 ~x5420 ~x693 ~x2586 ~x4433 
324.90/325.92	v ~x1622 ~x4576 ~x3461 ~x5421 ~x695 ~x2587 ~x4434 ~x1623 ~x4581 ~x3462 
324.90/325.92	v ~x5422 ~x694 ~x2588 ~x4435 x1625 x4586 ~x3463 ~x5423 ~x696 ~x2589 
324.90/325.92	v ~x4437 ~x1627 ~x4591 ~x3464 ~x5424 ~x698 ~x2590 ~x4438 ~x1628 ~x4596 
324.90/325.92	v ~x3465 ~x5425 ~x697 ~x2591 ~x4439 ~x1629 ~x4601 ~x3466 ~x5426 ~x699 
324.90/325.92	v ~x2592 ~x4440 ~x1630 ~x4606 ~x3467 ~x5427 ~x347 ~x2593 ~x4442 x1632 
324.90/325.92	v ~x4611 ~x3468 ~x5428 ~x348 ~x2594 ~x4443 ~x1634 ~x4616 ~x3469 ~x5429 
324.90/325.92	v ~x349 ~x2595 ~x4444 ~x1635 ~x4621 ~x3470 ~x5430 ~x350 ~x2596 ~x4445 
324.90/325.92	v ~x1636 ~x4626 ~x3471 ~x5431 ~x351 ~x2597 ~x4447 ~x1637 ~x4631 ~x3472 
324.90/325.92	v ~x5432 ~x352 ~x2599 ~x4448 x1639 ~x4636 ~x3473 ~x5433 ~x353 ~x2600 
324.90/325.92	v ~x4449 ~x1641 ~x4641 ~x3474 ~x5434 ~x354 ~x2601 ~x4450 ~x1642 ~x4646 
324.90/325.92	v ~x3475 ~x5435 ~x708 ~x2602 ~x4452 ~x1643 ~x4651 ~x3476 ~x5436 ~x709 
324.90/325.92	v ~x2603 ~x4453 ~x1644 ~x4656 ~x3477 ~x5437 ~x710 ~x2604 ~x4454 x1646 
324.90/325.92	v ~x4661 ~x3479 ~x5438 ~x711 ~x2605 ~x4455 ~x1648 ~x4666 ~x3480 ~x5439 
324.90/325.92	v ~x712 ~x2606 ~x4457 ~x1649 ~x4671 ~x3481 ~x5440 ~x713 ~x2607 ~x4458 
324.90/325.92	v ~x1650 ~x4676 ~x3482 ~x5441 ~x714 ~x2608 ~x4459 ~x1651 ~x4681 ~x3483 
324.90/325.92	v ~x5443 ~x715 ~x2609 ~x4460 ~x1653 ~x4686 ~x3484 ~x5444 ~x716 ~x2610 
324.90/325.92	v ~x4462 ~x1655 ~x4691 ~x3485 ~x5445 ~x717 ~x2611 ~x4463 ~x1656 ~x4696 
324.90/325.92	v ~x3486 ~x5446 ~x718 ~x2612 ~x4464 ~x1657 ~x4701 ~x3487 ~x5447 ~x719 
324.90/325.92	v ~x2613 ~x4465 ~x1658 ~x4706 ~x3488 ~x5448 ~x720 ~x2614 ~x4467 x1660 
324.90/325.92	v ~x4711 ~x3489 ~x5449 ~x721 ~x2615 ~x4468 ~x1662 ~x4716 ~x3490 ~x5450 
324.90/325.92	v ~x722 ~x2616 ~x4469 ~x1663 ~x4743 ~x3491 ~x5451 ~x723 ~x2617 ~x4470 
324.90/325.92	v ~x1664 ~x4770 ~x3492 ~x5452 ~x724 ~x2618 ~x4472 ~x1665 ~x4797 ~x3493 
324.90/325.92	v ~x5453 ~x726 ~x2619 ~x4473 x1667 ~x4824 ~x3494 ~x5454 ~x727 ~x2620 
324.90/325.92	v ~x4474 ~x1669 ~x4851 ~x3495 ~x5455 ~x728 ~x2621 ~x4475 ~x1670 ~x4878 
324.90/325.92	v ~x3496 ~x5456 ~x729 ~x2622 ~x4477 ~x1671 ~x4905 ~x3497 ~x5457 ~x730 
324.90/325.92	v ~x2623 ~x4478 ~x1672 ~x4917 ~x3498 ~x5458 ~x731 ~x2624 ~x4479 x1674 
324.90/325.92	v ~x4929 ~x3499 ~x5459 ~x732 ~x2625 ~x4480 ~x1676 ~x4941 ~x3500 ~x5460 
324.90/325.92	v ~x733 ~x2626 ~x4482 ~x1677 ~x4953 ~x3501 ~x5461 ~x734 ~x2627 ~x4483 
324.90/325.92	v ~x1678 ~x4965 ~x3502 ~x5462 ~x735 ~x2628 ~x4484 ~x1679 ~x4977 ~x3503 
324.90/325.92	v ~x5463 ~x736 ~x2629 ~x4485 ~x1681 ~x4989 ~x3504 ~x5464 ~x737 ~x2630 
324.90/325.92	v ~x4487 ~x1682 ~x725 ~x3506 ~x5465 ~x738 ~x2631 ~x4488 ~x1683 ~x5001 
324.90/325.92	v ~x3507 ~x5466 ~x739 ~x2632 ~x4489 ~x1684 ~x5013 ~x3508 ~x5467 ~x740 
324.90/325.92	v ~x2633 ~x4490 ~x1685 ~x5025 ~x3509 ~x5468 ~x741 ~x2634 ~x4492 ~x1686 
324.90/325.92	v ~x5037 ~x3510 ~x5470 ~x742 ~x2635 ~x4493 ~x1687 ~x5049 ~x3511 ~x5471 
324.90/325.92	v ~x743 ~x2636 ~x4494 ~x1688 ~x5061 ~x3512 ~x5472 ~x744 ~x2637 ~x4495 
324.90/325.92	v ~x1689 ~x5073 ~x3513 ~x5473 ~x745 ~x2638 x4497 ~x1690 ~x5085 ~x3514 
324.90/325.92	v ~x5474 ~x746 ~x2639 ~x4498 ~x1691 ~x5097 ~x3515 ~x5475 ~x747 ~x2640 
324.90/325.92	v x4499 ~x1692 ~x5109 ~x3516 ~x5476 ~x748 ~x2641 ~x4500 ~x1693 ~x5121 
324.90/325.92	v ~x3517 ~x5477 ~x749 ~x2642 x4502 ~x1694 ~x5133 ~x3518 ~x5478 ~x750 
324.90/325.92	v ~x2643 x4503 ~x1695 ~x5145 ~x3519 ~x5479 ~x752 ~x2644 ~x4504 ~x1696 
324.90/325.92	v ~x5157 ~x3520 ~x5480 ~x751 ~x2645 x4505 ~x1697 ~x5159 ~x3521 ~x5481 
324.90/325.92	v ~x753 ~x2646 ~x4507 ~x1698 ~x5164 ~x3522 ~x5482 ~x755 ~x2647 ~x4508 
324.90/325.92	v ~x1699 ~x5166 ~x3523 ~x5483 ~x754 ~x2648 ~x4509 ~x1700 ~x5168 ~x3524 
324.90/325.92	v ~x5484 ~x757 ~x2649 ~x4510 ~x1701 ~x5173 ~x3525 ~x5485 ~x756 ~x2650 
324.90/325.92	v ~x4512 ~x1702 ~x5175 ~x3526 ~x5486 ~x758 ~x2651 ~x4513 ~x1703 ~x5180 
324.90/325.92	v ~x3527 ~x5487 ~x760 ~x2652 ~x4514 ~x1704 ~x5182 ~x3528 ~x5488 ~x759 
324.90/325.92	v ~x2653 ~x4515 ~x1705 ~x5187 ~x3529 ~x5489 ~x761 ~x2654 ~x4517 ~x1706 
324.90/325.92	v x5192 ~x3530 ~x5490 ~x763 ~x2655 ~x4518 ~x1708 ~x5194 ~x3531 ~x5491 
324.90/325.92	v ~x762 ~x2657 ~x4519 ~x1709 ~x5196 ~x3533 ~x5492 ~x764 ~x2658 ~x4520 
324.90/325.92	v ~x1710 ~x5201 ~x3534 ~x5493 ~x765 ~x2659 ~x4522 ~x1711 ~x5206 ~x3535 
324.90/325.92	v ~x5494 ~x766 ~x2660 ~x4523 ~x1712 ~x5208 ~x3536 ~x5495 x768 ~x2661 
324.90/325.92	v ~x4524 ~x1713 ~x5213 ~x3537 x5497 x767 ~x2662 ~x4525 ~x1714 ~x5215 
324.90/325.92	v ~x3538 ~x5498 ~x770 ~x2663 x4527 ~x1715 ~x5220 ~x3539 ~x5499 ~x769 
324.90/325.92	v ~x2664 ~x4528 ~x1716 ~x5225 ~x3540 ~x5500 ~x771 ~x2665 ~x4529 ~x1717 
324.90/325.92	v ~x5227 ~x3541 ~x5501 ~x772 ~x2666 x4530 ~x1718 ~x5232 ~x3542 ~x5502 
324.90/325.92	v ~x773 ~x2667 x4532 ~x1719 ~x5234 ~x3543 ~x5503 ~x775 ~x2668 ~x4533 
324.90/325.92	v ~x1720 ~x5239 ~x3544 ~x5504 ~x774 ~x2669 ~x4534 ~x1721 ~x5241 ~x3545 
324.90/325.92	v ~x5505 ~x776 ~x2670 x4535 ~x1722 ~x5246 ~x3546 ~x5506 ~x778 ~x2671 
324.90/325.92	v ~x4537 ~x1723 ~x5251 ~x3547 ~x5507 ~x777 ~x2672 ~x4538 ~x1724 ~x5253 
324.90/325.92	v ~x3548 x5508 ~x779 ~x2673 ~x4539 ~x1725 ~x5258 ~x3549 ~x5509 ~x780 
324.90/325.92	v ~x2674 ~x4540 ~x1726 ~x5260 ~x3550 ~x5510 ~x781 ~x2675 ~x4542 ~x1727 
324.90/325.92	v ~x5265 ~x3551 ~x5511 ~x783 ~x2676 ~x4543 ~x1728 ~x5267 ~x3552 ~x5512 
324.90/325.92	v ~x782 ~x2677 ~x4544 ~x1729 ~x5272 ~x3553 ~x5513 ~x784 ~x2678 ~x4545 
324.90/325.92	v ~x1730 ~x5274 ~x3554 ~x5514 ~x786 ~x2679 ~x4547 ~x1731 ~x5279 ~x3555 
324.90/325.92	v ~x5515 ~x785 ~x2680 ~x4548 ~x1732 ~x5284 ~x3556 ~x5516 ~x787 ~x2681 
324.90/325.92	v ~x4549 ~x1733 ~x5289 ~x3557 ~x5517 ~x789 ~x2682 ~x4550 ~x1735 ~x5291 
324.90/325.92	v ~x3558 ~x5518 ~x788 ~x2683 ~x4552 ~x1736 ~x5293 ~x3560 ~x5519 ~x790 
324.90/325.92	v ~x2684 ~x4553 ~x1737 ~x5298 ~x3561 ~x5520 ~x791 ~x2685 ~x4554 ~x1738 
324.90/325.92	v ~x5303 ~x3562 ~x5521 ~x792 ~x2686 ~x4555 ~x1739 ~x5305 ~x3563 ~x5522 
324.90/325.92	v ~x794 ~x2687 ~x4557 ~x1740 ~x5310 ~x3564 ~x5524 ~x793 ~x2688 ~x4558 
324.90/325.92	v ~x1741 ~x5312 ~x3565 ~x5525 ~x795 ~x2689 ~x4559 ~x1742 ~x5317 ~x3566 
324.90/325.92	v ~x5526 ~x797 ~x2690 ~x4560 ~x1743 ~x5322 ~x3567 ~x5527 ~x796 ~x2691 
324.90/325.92	v ~x4562 ~x1744 ~x5327 ~x3568 ~x5528 ~x798 ~x2692 ~x4563 ~x1745 ~x5332 
324.90/325.92	v ~x3569 ~x5529 ~x800 ~x2693 ~x4564 ~x1746 ~x5337 ~x3570 ~x5530 ~x799 
324.90/325.92	v ~x2694 ~x4565 ~x1747 ~x5339 ~x3571 ~x5531 ~x801 ~x2695 ~x4567 ~x1748 
324.90/325.92	v ~x5344 ~x3572 ~x5532 ~x803 ~x2696 ~x4568 ~x1749 ~x5346 ~x3573 ~x5533 
324.90/325.92	v ~x802 ~x2697 ~x4569 ~x1750 ~x5351 ~x3574 ~x5534 ~x804 ~x2698 ~x4570 
324.90/325.92	v ~x1751 ~x5356 ~x3575 ~x5535 ~x805 ~x2699 ~x4572 ~x1752 ~x5361 ~x3576 
324.90/325.92	v ~x5536 ~x806 ~x2700 ~x4573 ~x1753 ~x5388 ~x3577 ~x5537 ~x807 ~x2701 
324.90/325.92	v ~x4574 ~x1754 ~x5415 ~x3578 ~x5538 ~x808 ~x2702 ~x4575 ~x1755 ~x5442 
324.90/325.92	v ~x3579 ~x5539 ~x810 ~x2703 ~x4577 ~x1756 ~x5469 ~x3580 ~x5540 ~x809 
324.90/325.92	v ~x2704 ~x4578 ~x1757 ~x5496 ~x3581 ~x5541 ~x812 ~x2705 ~x4579 ~x1758 
324.90/325.92	v ~x5523 ~x3582 ~x5542 ~x811 ~x2706 ~x4580 ~x1759 ~x5550 ~x3583 ~x5543 
324.90/325.92	v ~x813 ~x2707 ~x4582 ~x1760 ~x5562 ~x3584 ~x5544 ~x814 ~x2708 ~x4583 
324.90/325.92	v ~x1762 ~x5574 ~x3585 ~x5545 ~x815 ~x2709 ~x4584 ~x1763 ~x855 ~x3587 
324.90/325.92	v ~x5546 ~x817 ~x2710 ~x4585 ~x1764 ~x5586 ~x3589 ~x5547 ~x816 ~x2711 
324.90/325.92	v x4587 ~x1765 ~x858 ~x3590 ~x5548 ~x818 ~x2712 ~x4588 ~x1766 ~x5598 
324.90/325.92	v ~x3591 ~x5549 ~x820 ~x2713 x4589 ~x1767 ~x5610 ~x3592 ~x5551 ~x819 
324.90/325.92	v ~x2715 ~x4590 ~x1768 ~x863 ~x3593 ~x5552 ~x821 ~x2716 x4592 ~x1769 
324.90/325.92	v ~x5622 ~x3594 ~x5553 ~x822 ~x2717 ~x4593 ~x1770 ~x5634 ~x3595 ~x5554 
324.90/325.92	v ~x823 ~x2718 ~x4594 ~x1771 ~x868 ~x3596 ~x5555 ~x824 ~x2719 x4595 
324.90/325.92	v ~x1772 ~x5646 ~x3597 ~x5556 ~x825 ~x2720 ~x4597 ~x1773 ~x5658 ~x3598 
324.90/325.92	v ~x5557 ~x826 ~x2721 ~x4598 ~x1774 ~x5670 ~x3599 ~x5558 ~x827 ~x2722 
324.90/325.92	v ~x4599 ~x1775 ~x875 ~x3601 ~x5559 ~x828 ~x2723 ~x4600 ~x1776 ~x5682 
324.90/325.92	v ~x3603 ~x5560 ~x829 ~x2724 ~x4602 ~x1777 ~x5694 ~x3604 ~x5561 ~x831 
324.90/325.92	v ~x2725 ~x4603 ~x1778 ~x880 ~x3605 ~x5563 ~x830 ~x2726 ~x4604 ~x1779 
324.90/325.92	v ~x5706 ~x3606 ~x5564 ~x832 ~x2727 ~x4605 ~x1780 ~x5718 ~x3607 ~x5565 
324.90/325.92	v ~x834 ~x2728 ~x4607 ~x1781 ~x5730 ~x3608 ~x5566 ~x833 ~x2729 ~x4608 
324.90/325.92	v ~x1782 ~x5742 ~x3609 ~x5567 ~x835 ~x2730 ~x4609 ~x1783 ~x5754 ~x3610 
324.90/325.92	v ~x5568 ~x836 ~x2731 ~x4610 ~x1784 ~x5766 ~x3611 ~x5569 ~x837 ~x2732 
324.90/325.92	v ~x4612 ~x1785 ~x893 ~x3612 ~x5570 ~x838 ~x2733 ~x4613 ~x1786 ~x5778 
324.90/325.92	v ~x3613 ~x5571 ~x839 ~x2734 ~x4614 ~x1787 ~x5790 ~x3615 ~x5572 ~x701 
324.90/325.92	v ~x2735 ~x4615 ~x1789 ~x5802 ~x3617 ~x5573 ~x702 ~x2736 x4617 ~x1790 
324.90/325.92	v ~x5804 ~x3618 ~x5575 ~x703 ~x2737 ~x4618 ~x1791 ~x5809 ~x3619 ~x5576 
324.90/325.92	v ~x704 ~x2738 ~x4619 ~x1792 ~x5814 ~x3620 ~x5577 ~x705 ~x2739 x4620 
324.90/325.92	v ~x1793 ~x5816 ~x3621 ~x5578 ~x706 ~x2740 x4622 ~x1794 ~x5821 ~x3622 
324.90/325.92	v ~x5579 ~x707 ~x2741 ~x4623 ~x1795 ~x5823 ~x3623 ~x5580 ~x848 ~x2742 
324.90/325.92	v ~x4624 ~x1796 ~x5828 ~x3624 ~x5581 ~x849 ~x2743 x4625 ~x1797 ~x5833 
324.90/325.92	v ~x3625 ~x5582 ~x850 ~x2744 ~x4627 ~x1798 ~x5835 ~x3626 ~x5583 ~x851 
324.90/325.92	v ~x2745 ~x4628 ~x1799 ~x5840 ~x3627 ~x5584 ~x852 ~x2746 ~x4629 ~x1800 
324.90/325.92	v ~x5842 x3629 ~x5585 ~x853 ~x2747 ~x4630 ~x1801 ~x5847 ~x3631 ~x5587 
324.90/325.92	v ~x854 ~x2748 ~x4632 ~x1802 ~x5849 ~x3632 ~x5588 ~x856 ~x2749 ~x4633 
324.90/325.92	v ~x1803 ~x5854 ~x3633 ~x5589 ~x857 ~x2750 ~x4634 ~x1804 ~x5859 ~x3634 
324.90/325.92	v ~x5590 ~x859 ~x2751 ~x4635 ~x1805 ~x5861 ~x3635 ~x5591 ~x860 ~x2752 
324.90/325.92	v ~x4637 ~x1806 ~x5866 ~x3636 ~x5592 ~x861 ~x2753 ~x4638 ~x1807 ~x5868 
324.90/325.92	v ~x3637 ~x5593 ~x862 ~x2754 ~x4639 ~x1808 ~x5873 ~x3638 ~x5594 ~x864 
324.90/325.92	v ~x2755 ~x4640 ~x1809 ~x5878 ~x3639 ~x5595 ~x865 ~x2756 ~x4642 ~x1810 
324.90/325.92	v ~x5880 ~x3640 ~x5596 ~x866 ~x2757 ~x4643 ~x1811 ~x5885 ~x3641 ~x5597 
324.90/325.92	v ~x867 ~x2758 ~x4644 ~x1812 ~x5887 ~x3643 ~x5599 ~x869 ~x2759 ~x4645 
324.90/325.92	v ~x1813 ~x5892 ~x3645 ~x5600 ~x870 ~x2760 ~x4647 ~x1814 ~x5894 ~x3646 
324.90/325.92	v ~x5601 ~x871 ~x2761 ~x4648 ~x1816 ~x5899 ~x3647 ~x5602 ~x872 ~x2762 
324.90/325.92	v ~x4649 ~x1817 ~x5901 ~x3648 ~x5603 ~x873 ~x2763 ~x4650 ~x1818 ~x5906 
324.90/325.92	v ~x3649 ~x5604 ~x874 ~x2764 ~x4652 ~x1819 ~x5908 ~x3650 ~x5605 ~x876 
324.90/325.92	v ~x2765 ~x4653 ~x1820 ~x5913 ~x3651 ~x5606 ~x877 ~x2766 ~x4654 ~x1821 
324.90/325.92	v ~x5915 ~x3652 ~x5607 ~x878 ~x2767 ~x4655 ~x1822 ~x5920 ~x3653 ~x5608 
324.90/325.92	v ~x879 ~x2768 ~x4657 ~x1823 ~x5922 ~x3654 ~x5609 ~x881 ~x2769 ~x4658 
324.90/325.92	v ~x1824 ~x5927 ~x3655 x5611 ~x882 ~x2770 ~x4659 ~x1825 ~x5929 x3657 
324.90/325.92	v ~x5612 ~x883 ~x2771 ~x4660 ~x1826 ~x5934 ~x3659 x5613 ~x884 x2773 
324.90/325.92	v ~x4662 ~x1827 ~x5939 ~x3660 ~x5614 ~x885 ~x2774 ~x4663 ~x1828 ~x5944 
324.90/325.92	v ~x3661 ~x5615 ~x886 ~x2775 ~x4664 ~x1829 ~x5946 ~x3662 ~x5616 ~x887 
324.90/325.92	v ~x2776 ~x4665 ~x1830 ~x5951 ~x3663 ~x5617 ~x888 ~x2777 ~x4667 ~x1831 
324.90/325.92	v ~x5953 ~x3664 ~x5618 ~x889 ~x2778 ~x4668 ~x1832 ~x5958 ~x3665 ~x5619 
324.90/325.92	v ~x890 ~x2779 ~x4669 ~x1833 ~x5960 ~x3666 ~x5620 ~x891 ~x2780 ~x4670 
324.90/325.92	v ~x1834 ~x5965 ~x3667 ~x5621 ~x892 ~x2781 ~x4672 ~x1835 ~x5967 ~x3668 
324.90/325.92	v ~x5623 ~x894 ~x2782 ~x4673 ~x1836 ~x5972 ~x3669 ~x5624 ~x895 ~x2783 
324.90/325.92	v ~x4674 ~x1837 ~x5974 x3671 ~x5625 ~x896 ~x2784 ~x4675 ~x1838 ~x5979 
324.90/325.92	v ~x3673 ~x5626 ~x898 ~x2785 x4677 ~x1839 ~x5981 ~x3674 ~x5627 ~x897 
324.90/325.92	v ~x2786 ~x4678 ~x1840 x5986 ~x3675 ~x5628 ~x899 ~x2787 x4679 ~x1841 
324.90/325.92	v ~x5988 ~x3676 ~x5629 ~x900 ~x2788 ~x4680 x1843 ~x5990 ~x3677 ~x5630 
324.90/325.92	v ~x901 ~x2789 x4682 ~x1844 ~x5995 ~x3678 ~x5631 ~x903 ~x2790 ~x4683 
324.90/325.92	v ~x1845 ~x5997 ~x3679 ~x5632 ~x902 ~x2791 ~x4684 ~x1846 ~x6002 ~x3680 
324.90/325.92	v ~x5633 ~x904 ~x2792 x4685 ~x1847 ~x6007 ~x3681 x5635 ~x906 ~x2793 
324.90/325.92	v ~x4687 ~x1848 ~x6009 ~x3682 ~x5636 ~x905 ~x2794 ~x4688 ~x1849 ~x6014 
324.90/325.92	v ~x3683 ~x5637 ~x907 ~x2795 ~x4689 ~x1850 ~x6016 ~x3685 ~x5638 ~x908 
324.90/325.92	v ~x2796 ~x4690 ~x1851 ~x6021 ~x3687 x5639 ~x909 ~x2797 ~x4692 ~x1852 
324.90/325.92	v ~x6023 ~x3688 ~x5640 ~x911 ~x2798 ~x4693 ~x1853 ~x3689 ~x5641 ~x910 
324.90/325.92	v ~x2799 ~x4694 x1854 ~x3690 ~x5642 ~x912 ~x2800 ~x4695 ~x1855 ~x3691 
324.90/325.92	v ~x5643 ~x914 ~x2801 ~x4697 ~x1856 ~x3692 ~x5644 ~x913 ~x2802 ~x4698 
324.90/325.92	v ~x1857 ~x3693 ~x5645 ~x915 ~x2803 ~x4699 ~x1858 ~x3694 ~x5647 ~x917 
324.90/325.92	v ~x2804 ~x4700 ~x1859 ~x3695 ~x5648 ~x916 ~x2805 ~x4702 ~x1860 ~x3696 
324.90/325.92	v ~x5649 ~x918 ~x2806 ~x4703 ~x1861 ~x9 ~x3697 ~x5650 ~x919 ~x2807 
324.90/325.92	v ~x4704 ~x1862 ~x11 x3699 ~x5651 ~x920 ~x2808 ~x4705 ~x1863 ~x12 
324.90/325.92	v ~x3701 ~x5652 ~x922 ~x2809 ~x4707 ~x1864 ~x14 ~x3702 ~x5653 ~x921 
324.90/325.92	v ~x2810 ~x4708 ~x1865 ~x15 ~x3703 ~x5654 ~x923 ~x2811 ~x4709 ~x1866 
324.90/325.92	v ~x17 ~x3704 ~x5655 ~x925 ~x2812 ~x4710 ~x1867 ~x18 ~x3705 ~x5656 
324.90/325.92	v ~x924 ~x2813 ~x4712 ~x1868 ~x20 ~x3706 ~x5657 ~x926 ~x2814 ~x4713 
324.90/325.92	v ~x1870 ~x21 ~x3707 ~x5659 ~x927 ~x2815 ~x4714 ~x1871 ~x23 ~x3708 
324.90/325.92	v ~x5660 ~x928 ~x2816 ~x4715 ~x1872 ~x24 ~x3709 ~x5661 ~x930 ~x2817 
324.90/325.92	v x4717 ~x1873 ~x26 ~x3710 ~x5662 ~x929 ~x2818 ~x4718 ~x1874 ~x27 
324.90/325.92	v ~x3711 ~x5663 ~x931 ~x2819 ~x4719 ~x1875 ~x29 x3713 ~x5664 ~x933 
324.90/325.92	v ~x2820 ~x4720 ~x1876 ~x30 ~x3715 ~x5665 ~x932 ~x2821 ~x4721 ~x1877 
324.90/325.92	v ~x32 ~x3716 ~x5666 ~x934 ~x2822 ~x4722 ~x1878 x33 ~x3717 ~x5667 
324.90/325.92	v ~x936 ~x2823 ~x4723 ~x1879 x35 ~x3718 ~x5668 ~x935 ~x2824 x4724 
324.90/325.92	v ~x1880 ~x36 ~x3719 ~x5669 ~x937 ~x2825 ~x4725 ~x1882 ~x38 ~x3720 
324.90/325.92	v ~x5671 ~x939 ~x2826 ~x4726 ~x1883 ~x39 ~x3721 ~x5672 ~x938 ~x2827 
324.90/325.92	v ~x4727 ~x1884 ~x41 ~x3722 ~x5673 ~x940 ~x2828 ~x4728 ~x1885 ~x42 
324.90/325.92	v ~x3723 ~x5674 ~x942 ~x2829 ~x4729 ~x1886 ~x44 ~x3724 ~x5675 ~x941 
324.90/325.92	v ~x2831 ~x4730 ~x1887 ~x45 ~x3725 ~x5676 ~x943 ~x2832 ~x4731 ~x1888 
324.90/325.92	v ~x47 ~x3727 ~x5677 ~x945 ~x2833 ~x4732 ~x1889 ~x48 ~x3729 ~x5678 
324.90/325.92	v ~x944 ~x2834 ~x4733 ~x1890 ~x50 ~x3730 ~x5679 ~x946 ~x2835 ~x4734 
324.90/325.92	v ~x1891 ~x51 ~x3731 ~x5680 ~x948 ~x2836 ~x4735 ~x1892 ~x53 ~x3732 
324.90/325.92	v ~x5681 ~x947 ~x2837 ~x4736 ~x1894 ~x54 ~x3733 ~x5683 ~x949 ~x2838 
324.90/325.92	v ~x4737 ~x1895 ~x56 ~x3734 ~x5684 ~x951 ~x2839 ~x4738 ~x1896 ~x57 
324.90/325.92	v ~x3735 ~x5685 ~x950 ~x2840 ~x4739 ~x1897 ~x59 ~x3736 ~x5686 ~x952 
324.90/325.92	v ~x2841 ~x4740 ~x1898 ~x60 ~x3737 ~x5687 ~x953 ~x2842 ~x4741 ~x1899 
324.90/325.92	v ~x61 ~x3738 ~x5688 ~x954 ~x2843 ~x4742 ~x1900 ~x62 ~x3739 ~x5689 
324.90/325.92	v ~x955 ~x2844 ~x4744 ~x1901 ~x64 x3741 ~x5690 ~x956 ~x2845 ~x4745 
324.90/325.92	v ~x1902 ~x65 ~x3743 ~x5691 ~x958 ~x2846 ~x4746 ~x1903 ~x67 ~x3744 
324.90/325.92	v ~x5692 ~x957 ~x2847 ~x4747 ~x1904 ~x68 ~x3745 ~x5693 ~x959 ~x2848 
324.90/325.92	v ~x4748 ~x1906 ~x70 ~x3746 x5695 ~x961 ~x2849 ~x4749 ~x1907 ~x72 
324.90/325.92	v ~x3747 ~x5696 ~x960 ~x2850 ~x4750 ~x1908 ~x71 ~x3748 ~x5697 ~x962 
324.90/325.92	v ~x2851 ~x4751 ~x1909 ~x73 ~x3749 ~x5698 ~x964 ~x2852 ~x4752 ~x1910 
324.90/325.92	v ~x75 ~x3750 ~x5699 ~x963 ~x2853 ~x4753 ~x1911 ~x74 ~x3751 ~x5700 
324.90/325.92	v ~x965 ~x2854 ~x4754 ~x1912 ~x76 ~x3752 ~x5701 ~x967 ~x2855 ~x4755 
324.90/325.92	v ~x1913 ~x78 ~x3753 ~x5702 ~x966 ~x2856 ~x4756 ~x1914 ~x77 x3755 
324.90/325.92	v ~x5703 ~x968 ~x2858 ~x4757 ~x1915 x79 ~x3757 ~x5704 ~x970 ~x2859 
324.90/325.92	v ~x4758 ~x1916 ~x81 ~x3758 ~x5705 ~x969 ~x2860 ~x4759 ~x1918 ~x80 
324.90/325.92	v ~x3759 x5707 ~x971 ~x2861 ~x4760 ~x1919 ~x82 ~x3760 ~x5708 ~x973 
324.90/325.92	v ~x2862 ~x4761 ~x1920 ~x84 ~x3761 ~x5709 ~x972 ~x2863 ~x4762 ~x1921 
324.90/325.92	v ~x83 ~x3762 ~x5710 ~x974 ~x2864 ~x4763 ~x1922 ~x85 ~x3763 ~x5711 
324.90/325.92	v x976 ~x2865 ~x4764 ~x1923 ~x87 ~x3764 ~x5712 x975 ~x2866 ~x4765 
324.90/325.92	v ~x1924 ~x86 ~x3765 ~x5713 ~x978 ~x2867 ~x4766 ~x1925 ~x88 ~x3766 
324.90/325.92	v ~x5714 ~x977 ~x2868 ~x4767 ~x1926 ~x90 ~x3767 ~x5715 ~x979 ~x2869 
324.90/325.92	v ~x4768 ~x1927 ~x89 ~x3769 ~x5716 ~x981 ~x2870 ~x4769 ~x1928 ~x91 
324.90/325.92	v ~x3771 ~x5717 ~x980 ~x2871 ~x4771 ~x1930 ~x93 ~x3772 ~x5719 ~x982 
324.90/325.92	v ~x2872 ~x4772 ~x1931 ~x92 ~x3773 ~x5720 ~x983 ~x2873 ~x4773 ~x1932 
324.90/325.92	v ~x94 ~x3774 ~x5721 ~x984 ~x2874 ~x4774 ~x1933 ~x96 ~x3775 ~x5722 
324.90/325.92	v ~x986 ~x2875 ~x4775 ~x1934 ~x95 ~x3776 ~x5723 ~x985 ~x2876 ~x4776 
324.90/325.92	v ~x1935 ~x97 ~x3777 ~x5724 ~x987 ~x2877 ~x4777 ~x1936 ~x99 ~x3778 
324.90/325.92	v ~x5725 ~x989 ~x2878 ~x4778 ~x1937 ~x98 ~x3779 ~x5726 ~x988 ~x2879 
324.90/325.92	v ~x4779 ~x1938 ~x100 ~x3780 ~x5727 ~x990 ~x2880 ~x4780 ~x1939 ~x102 
324.90/325.92	v ~x3781 ~x5728 ~x992 ~x2881 ~x4781 ~x1940 ~x101 ~x3783 ~x5729 ~x991 
324.90/325.92	v ~x2882 ~x4782 ~x1942 ~x103 ~x3785 ~x5731 ~x993 ~x2883 ~x4783 ~x1943 
324.90/325.92	v ~x105 ~x3786 ~x5732 ~x841 ~x2885 ~x4784 ~x1944 ~x104 ~x3787 ~x5733 
324.90/325.92	v ~x842 ~x2886 ~x4785 ~x1945 ~x106 ~x3788 ~x5734 ~x843 ~x2887 ~x4786 
324.90/325.92	v ~x1946 ~x108 ~x3789 ~x5735 ~x844 ~x2888 ~x4787 ~x1947 ~x107 ~x3790 
324.90/325.92	v ~x5736 ~x845 ~x2889 ~x4788 ~x1948 ~x109 ~x3791 ~x5737 ~x846 ~x2890 
324.90/325.92	v ~x4789 ~x1949 ~x111 ~x3792 ~x5738 ~x847 ~x2891 ~x4790 ~x1950 ~x110 
324.90/325.92	v ~x3793 ~x5739 x995 ~x2892 ~x4791 ~x1951 ~x112 ~x3794 ~x5740 ~x996 
324.90/325.92	v ~x2893 ~x4792 ~x1952 ~x114 ~x3795 ~x5741 ~x997 ~x2894 ~x4793 ~x1954 
324.90/325.92	v ~x113 x3797 ~x5743 x998 ~x2895 ~x4794 ~x1955 ~x115 ~x3799 ~x5744 
324.90/325.92	v ~x999 ~x2896 ~x4795 ~x1956 ~x117 ~x3800 ~x5745 ~x1000 ~x2897 ~x4796 
324.90/325.92	v ~x1957 ~x116 ~x3801 ~x5746 ~x1001 ~x2898 ~x4798 ~x1958 ~x118 ~x3802 
324.90/325.92	v ~x5747 ~x1002 ~x2899 ~x4799 ~x1959 ~x120 ~x3803 ~x5748 ~x1003 ~x2900 
324.90/325.92	v ~x4800 ~x1960 ~x119 ~x3804 ~x5749 ~x1004 ~x2901 ~x4801 ~x1961 ~x121 
324.90/325.92	v ~x3805 ~x5750 ~x1005 ~x2902 ~x4802 ~x1962 ~x123 ~x3806 ~x5751 ~x1006 
324.90/325.92	v ~x2903 ~x4803 ~x1963 ~x122 ~x3807 ~x5752 ~x1007 ~x2904 ~x4804 ~x1964 
324.90/325.92	v ~x124 ~x3808 ~x5753 ~x1008 ~x2905 ~x4805 ~x1966 ~x126 ~x3809 ~x5755 
324.90/325.92	v ~x1009 ~x2906 ~x4806 ~x1967 ~x125 x3811 ~x5756 ~x1010 ~x2907 ~x4807 
324.90/325.92	v ~x1968 ~x127 ~x3813 ~x5757 ~x1011 ~x2908 ~x4808 ~x1969 ~x129 ~x3814 
324.90/325.92	v ~x5758 ~x1012 ~x2909 ~x4809 ~x1970 ~x128 ~x3815 ~x5759 ~x1013 ~x2910 
324.90/325.92	v ~x4810 ~x1971 ~x130 ~x3816 ~x5760 ~x1014 ~x2912 ~x4811 ~x1972 ~x132 
324.90/325.92	v ~x3817 ~x5761 ~x1015 ~x2913 ~x4812 ~x1973 ~x131 ~x3818 ~x5762 ~x1016 
324.90/325.92	v ~x2914 ~x4813 ~x1974 ~x133 ~x3819 ~x5763 ~x1017 ~x2915 ~x4814 ~x1975 
324.90/325.92	v ~x135 ~x3820 ~x5764 ~x1018 ~x2916 ~x4815 ~x1976 ~x134 ~x3821 ~x5765 
324.90/325.92	v ~x1019 ~x2917 ~x4816 ~x1978 ~x136 ~x3822 x5767 ~x1020 ~x2918 ~x4817 
324.90/325.92	v ~x1979 ~x138 ~x3823 ~x5768 x1022 ~x2919 ~x4818 ~x1980 ~x137 ~x3825 
324.90/325.92	v ~x5769 ~x1023 ~x2920 ~x4819 ~x1981 ~x139 ~x3827 ~x5770 ~x1024 ~x2921 
324.90/325.92	v ~x4820 ~x1982 ~x141 ~x3828 ~x5771 ~x1025 ~x2922 ~x4821 ~x1983 ~x140 
324.90/325.92	v ~x3829 ~x5772 ~x1026 ~x2923 ~x4822 ~x1984 ~x142 ~x3830 ~x5773 ~x1027 
324.90/325.92	v ~x2924 ~x4823 ~x1985 ~x144 ~x3831 ~x5774 ~x1028 ~x2925 ~x4825 ~x1986 
324.90/325.92	v ~x143 ~x3832 ~x5775 ~x1029 ~x2926 ~x4826 ~x1987 ~x145 ~x3833 ~x5776 
324.90/325.92	v ~x1030 ~x2927 ~x4827 ~x1988 ~x147 ~x3834 ~x5777 ~x1031 ~x2928 ~x4828 
324.90/325.92	v ~x1990 ~x146 ~x3835 ~x5779 ~x1032 ~x2929 ~x4829 ~x1991 ~x148 ~x3836 
324.90/325.92	v ~x5780 ~x1033 ~x2930 ~x4830 ~x1992 ~x150 ~x3837 ~x5781 ~x1034 ~x2931 
324.90/325.92	v ~x4831 ~x1993 ~x149 x3839 ~x5782 ~x1035 ~x2932 ~x4832 ~x1994 ~x151 
324.90/325.92	v ~x3841 ~x5783 ~x1036 ~x2933 ~x4833 ~x1995 ~x153 ~x3842 ~x5784 ~x1037 
324.90/325.92	v ~x2934 ~x4834 ~x1996 ~x152 ~x3843 ~x5785 ~x1038 ~x2935 ~x4835 ~x1997 
324.90/325.92	v ~x154 ~x3844 ~x5786 ~x1039 ~x2936 ~x4836 ~x1998 ~x156 ~x3845 ~x5787 
324.90/325.92	v ~x1040 ~x2937 ~x4837 ~x1999 ~x155 ~x3846 ~x5788 ~x1041 ~x2939 ~x4838 
324.90/325.92	v ~x2000 ~x157 ~x3847 ~x5789 ~x1042 ~x2940 ~x4839 ~x2002 ~x159 ~x3848 
324.90/325.92	v ~x5791 ~x1043 ~x2941 ~x4840 ~x2003 ~x158 ~x3849 ~x5792 ~x1044 ~x2942 
324.90/325.92	v ~x4841 ~x2004 ~x160 ~x3850 ~x5793 ~x1045 ~x2943 ~x4842 ~x2005 ~x162 
324.90/325.92	v ~x3851 ~x5794 ~x1046 ~x2944 ~x4843 ~x2006 ~x161 x3853 ~x5795 ~x1047 
324.90/325.92	v ~x2945 ~x4844 ~x2007 ~x163 ~x3855 ~x5796 ~x1049 ~x2946 ~x4845 ~x2008 
324.90/325.92	v ~x165 ~x3856 ~x5797 ~x1050 ~x2947 ~x4846 ~x2009 ~x164 ~x3857 ~x5798 
324.90/325.92	v ~x1051 ~x2948 ~x4847 ~x2010 ~x166 ~x3858 ~x5799 ~x1052 ~x2949 ~x4848 
324.90/325.92	v ~x2011 ~x168 ~x3859 ~x5800 ~x1053 ~x2950 ~x4849 ~x2012 ~x167 ~x3860 
324.90/325.92	v ~x5801 ~x1054 ~x2951 ~x4850 x2014 ~x169 ~x3861 x5803 ~x1055 ~x2952 
324.90/325.92	v ~x4852 ~x2015 ~x171 ~x3862 ~x5805 ~x1056 ~x2953 ~x4853 ~x2016 ~x170 
324.90/325.92	v ~x3863 ~x5806 ~x1057 ~x2954 ~x4854 ~x2017 ~x172 ~x3864 ~x5807 ~x1058 
324.90/325.92	v ~x2955 ~x4855 ~x2018 ~x174 ~x3865 ~x5808 ~x1059 ~x2956 ~x4856 ~x2019 
324.90/325.92	v ~x173 ~x3867 x5810 ~x1060 ~x2957 ~x4857 ~x2020 ~x175 ~x3869 ~x5811 
324.90/325.92	v ~x1061 ~x2958 ~x4858 ~x2021 ~x2 ~x3870 ~x5812 ~x1062 ~x2959 ~x4859 
324.90/325.92	v ~x2022 ~x3 ~x3871 ~x5813 ~x1063 ~x2960 ~x4860 ~x2023 ~x4 ~x3872 
324.90/325.92	v ~x5815 ~x1064 ~x2961 ~x4861 ~x2024 ~x5 ~x3873 ~x5817 ~x1065 ~x2962 
324.90/325.92	v ~x4862 ~x2026 ~x6 ~x3874 ~x5818 ~x1066 ~x2963 ~x4863 ~x2027 ~x7 
324.90/325.92	v ~x3875 ~x5819 ~x1067 ~x2964 ~x4864 ~x2028 ~x8 ~x3876 ~x5820 ~x1068 
324.90/325.92	v ~x2966 ~x4865 ~x2029 ~x184 ~x3877 ~x5822 ~x1069 ~x2967 ~x4866 ~x2030 
324.90/325.92	v ~x186 ~x3878 ~x5824 ~x1070 ~x2968 ~x4867 ~x2031 ~x187 ~x3879 ~x5825 
324.90/325.92	v ~x1071 ~x2969 ~x4868 ~x2032 ~x188 x3881 ~x5826 ~x1072 ~x2970 ~x4869 
324.90/325.92	v ~x2033 ~x189 ~x3883 ~x5827 ~x1073 ~x2971 ~x4870 ~x2034 ~x191 ~x3884 
324.90/325.92	v x5829 ~x1074 ~x2972 ~x4871 ~x2035 ~x192 ~x3885 ~x5830 ~x1076 ~x2973 
324.90/325.92	v ~x4872 ~x2036 ~x194 ~x3886 x5831 ~x1077 ~x2974 ~x4873 x2038 ~x195 
324.90/325.92	v ~x3887 ~x5832 ~x1078 ~x2975 ~x4874 ~x2039 ~x197 ~x3888 x5834 ~x1079 
324.90/325.92	v ~x2976 ~x4875 ~x2040 ~x198 ~x3889 ~x5836 ~x1080 ~x2977 ~x4876 ~x2041 
324.90/325.92	v ~x200 ~x3890 ~x5837 ~x1081 ~x2978 ~x4877 ~x2042 ~x201 ~x3891 ~x5838 
324.90/325.92	v ~x1082 ~x2979 ~x4879 ~x2043 ~x203 ~x3892 ~x5839 ~x1083 ~x2980 ~x4880 
324.90/325.92	v ~x2044 ~x204 ~x3893 x5841 ~x1084 ~x2981 ~x4881 ~x2045 ~x205 ~x3895 
324.90/325.92	v ~x5843 ~x1085 ~x2982 ~x4882 ~x2046 ~x206 ~x3897 ~x5844 ~x1086 ~x2983 
324.90/325.92	v ~x4883 ~x2047 ~x208 ~x3898 ~x5845 ~x1087 ~x2984 ~x4884 ~x2048 ~x209 
324.90/325.92	v ~x3899 ~x5846 ~x1088 ~x2985 ~x4885 ~x2050 ~x211 ~x3900 x5848 ~x1089 
324.90/325.92	v ~x2986 ~x4886 ~x2051 ~x212 ~x3901 ~x5850 ~x1090 ~x2987 ~x4887 ~x2052 
324.90/325.92	v ~x213 ~x3902 ~x5851 ~x1091 ~x2988 ~x4888 ~x2053 ~x214 ~x3903 ~x5852 
324.90/325.92	v ~x1092 ~x2989 ~x4889 ~x2054 ~x216 ~x3904 ~x5853 ~x1093 ~x2990 ~x4890 
324.90/325.92	v ~x2055 ~x217 ~x3905 ~x5855 ~x1094 ~x2991 ~x4891 ~x2056 ~x218 ~x3906 
324.90/325.92	v ~x5856 ~x1095 ~x2993 ~x4892 ~x2057 ~x219 ~x3907 ~x5857 ~x1096 ~x2994 
324.90/325.92	v ~x4893 ~x2058 ~x221 ~x3909 ~x5858 ~x1097 ~x2995 ~x4894 ~x2059 ~x222 
324.90/325.92	v ~x3911 ~x5860 ~x1098 ~x2996 ~x4895 ~x2060 ~x223 ~x3912 ~x5862 ~x1099 
324.90/325.92	v ~x2997 ~x4896 ~x2062 ~x224 ~x3913 ~x5863 ~x1100 ~x2998 ~x4897 ~x2063 
324.90/325.92	v ~x226 ~x3914 ~x5864 ~x1101 ~x2999 ~x4898 ~x2064 ~x227 ~x3915 ~x5865 
324.90/325.92	v x1103 ~x3000 ~x4899 ~x2065 ~x228 ~x3916 x5867 ~x1104 ~x3001 ~x4900 
324.90/325.92	v ~x2066 x1 ~x229 ~x3917 ~x5869 ~x1105 ~x3002 ~x4901 ~x2067 x176 
324.90/325.92	v ~x231 ~x3918 ~x5870 ~x1106 ~x3003 ~x4902 ~x2068 x346 ~x232 ~x3919 
324.90/325.92	v ~x5871 ~x1107 ~x3004 ~x4903 ~x2069 x700 ~x234 ~x3920 ~x5872 ~x1108 
324.90/325.92	v ~x3005 ~x4904 ~x2070 x840 ~x235 ~x3921 x5874 ~x1109 ~x3006 ~x4906 
324.90/325.92	v ~x2071 ~x994 ~x237 x3923 ~x5875 ~x1110 ~x3007 ~x4907 ~x2072 ~x1021 
324.90/325.92	v ~x238 ~x3925 ~x5876 ~x1111 ~x3008 ~x4908 ~x2074 ~x1048 ~x240 ~x3926 
324.90/325.92	v ~x5877 ~x1112 ~x3009 ~x4909 ~x2075 ~x1075 ~x242 ~x3927 ~x5879 ~x1113 
324.90/325.92	v ~x3010 ~x4910 ~x2076 ~x1102 ~x241 ~x3928 ~x5881 ~x1114 ~x3011 ~x4911 
324.90/325.92	v ~x2077 ~x1129 ~x243 ~x3929 ~x5882 ~x1115 ~x3012 ~x4912 ~x2078 ~x1156 
324.90/325.92	v ~x245 ~x5883 ~x1116 ~x3013 ~x4913 ~x2079 ~x10 ~x244 ~x5884 ~x1117 
324.90/325.92	v ~x3014 ~x4914 ~x2080 ~x3930 ~x1183 ~x246 x5886 ~x1118 ~x3015 ~x4915 
324.90/325.92	v ~x2081 ~x3931 ~x13 ~x248 ~x5888 ~x1119 ~x3016 ~x4916 ~x2082 ~x3932 
324.90/325.92	v ~x1195 ~x247 ~x5889 ~x1120 ~x3017 x4918 ~x2083 ~x3933 ~x16 ~x249 
324.90/325.92	v ~x5890 ~x1121 ~x3018 ~x4919 ~x2084 ~x3934 ~x1207 ~x251 ~x5891 ~x1122 
324.90/325.92	v ~x3020 ~x4920 ~x2086 ~x3935 ~x19 ~x250 x5893 ~x1123 ~x3021 ~x4921 
324.90/325.92	v ~x2087 x3937 ~x1219 ~x252 x5895 ~x1124 ~x3022 ~x4922 ~x2088 ~x3939 
324.90/325.92	v ~x22 ~x254 ~x5896 ~x1125 ~x3023 ~x4923 ~x2089 ~x3940 ~x1231 ~x253 
324.90/325.92	v x5897 ~x1126 ~x3024 ~x4924 ~x2090 ~x3941 ~x25 ~x255 ~x5898 ~x1127 
324.90/325.92	v ~x3025 ~x4925 ~x2091 ~x3942 ~x1243 ~x257 x5900 ~x1128 ~x3026 ~x4926 
324.90/325.92	v ~x2092 ~x3943 ~x28 ~x256 ~x5902 ~x1130 ~x3027 ~x4927 ~x2093 ~x3944 
324.90/325.92	v ~x1255 ~x258 ~x5903 ~x1131 ~x3028 ~x4928 ~x2094 ~x3945 ~x31 ~x260 
324.90/325.92	v ~x5904 ~x1132 ~x3029 ~x4930 ~x2095 ~x3946 ~x1267 ~x259 ~x5905 ~x1133 
324.90/325.92	v ~x3030 ~x4931 ~x2096 ~x3947 x34 ~x261 x5907 ~x1134 ~x3031 ~x4932 
324.90/325.92	v x2098 ~x3948 x1279 ~x263 x5909 ~x1135 ~x3032 ~x4933 ~x2099 ~x3949 
324.90/325.92	v ~x37 ~x262 ~x5910 ~x1136 ~x3033 ~x4934 ~x2100 x3951 ~x1291 ~x264 
324.90/325.92	v ~x5911 ~x1137 ~x3034 ~x4935 ~x2101 ~x3952 x40 ~x266 x5912 ~x1138 
324.90/325.92	v ~x3035 ~x4936 ~x2102 ~x3953 ~x1303 ~x265 ~x5914 ~x1139 ~x3036 ~x4937 
324.90/325.92	v ~x2103 ~x3954 x43 ~x267 ~x5916 ~x1140 ~x3037 ~x4938 ~x2104 ~x3955 
324.90/325.92	v ~x1315 ~x269 ~x5917 ~x1141 ~x3038 ~x4939 ~x2105 ~x3956 ~x46 ~x268 
324.90/325.92	v ~x5918 ~x1142 ~x3039 ~x4940 ~x2106 ~x3957 ~x1327 ~x270 ~x5919 ~x1143 
324.90/325.92	v ~x3040 x4942 ~x2107 ~x3958 x49 ~x272 ~x5921 ~x1144 ~x3041 ~x4943 
324.90/325.92	v ~x2108 ~x3959 ~x1339 ~x271 ~x5923 ~x1145 ~x3042 ~x4944 ~x2110 ~x3960 
324.90/325.92	v ~x52 ~x273 ~x5924 ~x1146 ~x3043 ~x4945 ~x2111 ~x3961 ~x1351 ~x275 
324.90/325.92	v ~x5925 ~x1147 ~x3044 ~x4946 ~x2112 ~x3963 ~x55 ~x274 ~x5926 ~x1148 
324.90/325.92	v ~x3045 ~x4947 ~x2113 ~x3965 ~x1363 ~x276 x5928 ~x1149 ~x3047 ~x4948 
324.90/325.93	v ~x2114 ~x3966 ~x58 ~x278 ~x5930 ~x1150 ~x3048 ~x4949 ~x2115 ~x3967 
324.90/325.93	v ~x1375 ~x277 ~x5931 ~x1151 ~x3049 ~x4950 ~x2116 ~x3968 ~x1387 ~x279 
324.90/325.93	v ~x5932 ~x1152 ~x3050 ~x4951 ~x2117 ~x3969 ~x63 ~x281 ~x5933 ~x1153 
324.90/325.93	v ~x3051 ~x4952 ~x2118 ~x3970 ~x1399 ~x280 x5935 ~x1154 ~x3052 ~x4954 
324.90/325.93	v ~x2119 ~x3971 x66 ~x282 ~x5936 ~x1155 ~x3053 ~x4955 ~x2120 ~x3972 
324.90/325.93	v ~x1411 ~x284 ~x5937 ~x1157 ~x3054 ~x4956 ~x2122 ~x3973 ~x69 ~x283 
324.90/325.93	v x5938 ~x1158 ~x3055 ~x4957 ~x2124 ~x3974 ~x1423 ~x285 x5940 ~x1159 
324.90/325.93	v ~x3056 ~x4958 ~x2125 ~x3975 ~x1435 ~x287 ~x5941 ~x1160 ~x3057 ~x4959 
324.90/325.93	v ~x2126 ~x3977 ~x1437 ~x286 ~x5942 ~x1161 ~x3058 ~x4960 ~x2127 ~x3979 
324.90/325.93	v ~x1442 ~x288 ~x5943 ~x1162 ~x3059 ~x4961 x2129 ~x3980 ~x1444 ~x290 
324.90/325.93	v ~x5945 ~x1163 ~x3060 ~x4962 ~x2131 ~x3981 ~x1449 ~x289 ~x5947 ~x1164 
324.90/325.93	v ~x3061 ~x4963 ~x2132 ~x3982 x1451 ~x291 ~x5948 ~x1165 ~x3062 ~x4964 
324.90/325.93	v ~x2133 ~x3983 ~x1456 ~x293 ~x5949 ~x1166 ~x3063 ~x4966 ~x2134 ~x3984 
324.90/325.93	v ~x1458 ~x292 ~x5950 ~x1167 ~x3064 ~x4967 ~x2136 ~x3985 ~x1463 ~x294 
324.90/325.93	v ~x5952 ~x1168 ~x3065 ~x4968 ~x2138 ~x3986 ~x1465 ~x296 x5954 ~x1169 
324.90/325.93	v ~x3066 ~x4969 ~x2139 ~x3987 ~x1470 ~x295 x5955 ~x1170 ~x3067 ~x4970 
324.90/325.93	v ~x2140 ~x3988 ~x1472 ~x297 ~x5956 ~x1171 ~x3068 ~x4971 ~x2141 ~x3989 
324.90/325.93	v ~x1477 ~x299 ~x5957 ~x1172 ~x3069 ~x4972 x2143 x3991 ~x1479 ~x298 
324.90/325.93	v ~x5959 ~x1173 ~x3070 ~x4973 ~x2145 x3993 ~x1484 ~x300 ~x5961 ~x1174 
324.90/325.93	v ~x3071 ~x4974 ~x2146 ~x3994 ~x1486 ~x302 ~x5962 ~x1175 ~x3072 ~x4975 
324.90/325.93	v ~x2147 ~x3995 ~x1491 ~x301 ~x5963 ~x1176 ~x3074 ~x4976 ~x2148 ~x3996 
324.90/325.93	v ~x1493 ~x303 ~x5964 ~x1177 ~x3075 ~x4978 x2150 ~x3997 ~x1498 ~x305 
324.90/325.93	v x5966 ~x1178 ~x3076 ~x4979 ~x2152 ~x3998 ~x1500 ~x304 ~x5968 ~x1179 
324.90/325.93	v ~x3077 ~x4980 ~x2153 ~x3999 ~x1505 ~x306 ~x5969 ~x1180 ~x3078 ~x4981 
324.90/325.93	v ~x2154 ~x4000 ~x1507 ~x308 ~x5970 ~x1181 ~x3079 ~x4982 ~x2155 ~x4001 
324.90/325.93	v ~x1512 ~x307 ~x5971 ~x1182 ~x3080 ~x4983 ~x2157 ~x4002 ~x1514 ~x309 
324.90/325.93	v x5973 x1184 ~x3081 ~x4984 ~x2159 ~x4003 ~x1519 ~x311 ~x5975 ~x1185 
324.90/325.93	v ~x3082 ~x4985 ~x2160 ~x4005 ~x1521 ~x310 ~x5976 ~x1186 ~x3083 ~x4986 
324.90/325.93	v ~x2161 ~x4007 ~x1526 ~x312 ~x5977 ~x1187 ~x3084 ~x4987 ~x2162 ~x4008 
324.90/325.93	v ~x1528 ~x314 ~x5978 ~x1188 ~x3085 ~x4988 x2164 ~x4009 ~x1533 ~x313 
324.90/325.93	v ~x5980 ~x1189 ~x3086 ~x4990 ~x2166 ~x4010 ~x1535 ~x315 ~x5982 ~x1190 
324.90/325.93	v ~x3087 ~x4991 ~x2167 ~x4011 ~x1540 ~x317 ~x5983 ~x1191 ~x3088 ~x4992 
324.90/325.93	v ~x2168 ~x4012 ~x1542 ~x316 ~x5984 ~x1192 ~x3089 ~x4993 ~x2169 ~x4013 
324.90/325.93	v ~x1547 ~x318 ~x5985 ~x1193 ~x3090 ~x4994 x2171 ~x4014 ~x1549 ~x320 
324.90/325.93	v x5987 ~x1194 ~x3091 ~x4995 ~x2173 ~x4015 ~x1554 ~x319 x5989 ~x1196 
324.90/325.93	v ~x3092 ~x4996 ~x2174 ~x4016 ~x1556 ~x321 ~x5991 ~x1197 ~x3093 ~x4997 
324.90/325.93	v ~x2175 ~x4017 ~x1561 ~x323 ~x5992 ~x1198 ~x3094 ~x4998 ~x2176 x4019 
324.90/325.93	v ~x1563 ~x322 ~x5993 ~x1199 ~x3095 ~x4999 ~x2178 ~x4021 ~x1568 ~x324 
324.90/325.93	v ~x5994 ~x1200 ~x3096 ~x5000 ~x2180 ~x4022 ~x1570 ~x326 ~x5996 ~x1201 
324.90/325.93	v ~x3097 ~x5002 ~x2181 ~x4023 ~x1575 ~x325 ~x5998 ~x1202 ~x3098 ~x5003 
324.90/325.93	v ~x2182 ~x4024 ~x1577 ~x327 ~x5999 ~x1203 ~x3099 ~x5004 ~x2183 ~x4025 
324.90/325.93	v ~x1582 ~x329 ~x6000 ~x1204 ~x3101 ~x5005 ~x2185 ~x4026 ~x1584 ~x328 
324.90/325.93	v ~x6001 ~x1205 ~x3102 ~x5006 ~x2187 ~x4027 ~x1589 x330 ~x6003 ~x1206 
324.90/325.93	v ~x3103 ~x5007 ~x2188 ~x4028 ~x1591 ~x332 ~x6004 ~x1208 ~x3104 ~x5008 
324.90/325.93	v ~x2189 ~x4029 ~x1596 ~x331 ~x6005 ~x1209 ~x3105 ~x5009 ~x2190 ~x4030 
324.90/325.93	v ~x1598 ~x333 ~x6006 ~x1210 ~x3106 ~x5010 x2192 ~x4031 ~x1603 ~x335 
324.90/325.93	v ~x6008 ~x1211 ~x3107 ~x5011 x2194 x4033 ~x1605 ~x334 ~x6010 ~x1212 
324.90/325.93	v ~x3108 ~x5012 ~x2195 x4035 ~x1610 ~x336 ~x6011 ~x1213 ~x3109 x5014 
324.90/325.93	v ~x2196 ~x4036 ~x1612 ~x338 ~x6012 ~x1214 ~x3110 ~x5015 x2197 ~x4037 
324.90/325.93	v ~x1617 ~x337 ~x6013 ~x1215 ~x3111 ~x5016 ~x2199 ~x4038 ~x1619 ~x339 
324.90/325.93	v x6015 ~x1216 ~x3112 ~x5017 ~x2201 ~x4039 ~x1624 ~x341 ~x6017 ~x1217 
324.90/325.93	v ~x3113 ~x5018 ~x2202 ~x4040 ~x1626 ~x340 ~x6018 ~x1218 ~x3114 ~x5019 
324.90/325.93	v ~x2203 ~x4041 ~x1631 ~x342 ~x6019 x1220 ~x3115 ~x5020 ~x2204 ~x4042 
324.90/325.93	v ~x1633 ~x344 ~x6020 ~x1221 ~x3116 ~x5021 x2206 ~x4043 ~x1638 ~x343 
324.90/325.93	v ~x6022 ~x1222 ~x3117 ~x5022 ~x2208 ~x4044 ~x1640 ~x345 x6024 ~x1223 
324.90/325.93	v ~x3118 x5023 ~x2209 ~x4045 ~x1645 ~x177 ~x6025 ~x1224 ~x3119 ~x5024 
324.90/325.93	v ~x2210 ~x4047 ~x1647 ~x178 x6026 ~x1225 ~x3120 ~x5026 ~x2211 ~x4049 
324.90/325.93	v ~x1652 ~x179 ~x6027 ~x1226 ~x3121 ~x5027 ~x2213 ~x4050 ~x1654 ~x180 
324.90/325.93	v ~x1227 ~x3122 ~x5028 ~x2215 ~x4051 ~x1659 ~x181 ~x1228 ~x3123 ~x5029 
324.90/325.93	v ~x2216 ~x4052 ~x1661 ~x182 ~x1229 ~x3124 ~x5030 ~x2217 ~x4053 ~x1666 
324.90/325.93	v x183 ~x1230 ~x3125 ~x5031 ~x2218 ~x4054 ~x1668 ~x355 ~x1232 ~x3126 
324.90/325.93	v ~x5032 x2220 ~x4055 ~x1673 ~x357 ~x1233 ~x3128 ~x5033 x2222 ~x4056 
324.90/325.93	v ~x1675 ~x358 ~x1234 ~x3129 ~x5034 ~x2223 ~x4057 ~x1680 ~x360 ~x1235 
324.90/325.93	v ~x3130 ~x5035 x2224 ~x4058 ~x1707 ~x361 ~x1236 ~x3131 ~x5036 ~x2225 
324.90/325.93	v ~x4059 ~x1734 ~x363 ~x1237 ~x3132 ~x5038 x2227 x4061 ~x1761 ~x364 
324.90/325.93	v ~x1238 ~x3133 ~x5039 ~x2229 ~x4063 ~x1788 ~x366 ~x1239 ~x3134 ~x5040 
324.90/325.93	v ~x2230 ~x4064 ~x1815 ~x367 ~x1240 ~x3135 ~x5041 ~x2231 ~x4065 x1842 
324.90/325.93	v ~x368 ~x1241 ~x3136 ~x5042 ~x2232 ~x4066 ~x185 ~x369 ~x1242 ~x3137 
324.90/325.93	v ~x5043 x2234 ~x4067 ~x1869 ~x371 ~x1244 ~x3138 ~x5044 ~x2236 ~x4068 
324.90/325.93	v ~x1881 ~x372 ~x1245 ~x3139 ~x5045 ~x2237 ~x4069 ~x190 ~x374 ~x1246 
324.90/325.93	v ~x3140 ~x5046 ~x2238 ~x4070 ~x1893 ~x375 ~x1247 ~x3141 ~x5047 ~x2239 
324.90/325.93	v ~x4071 ~x193 ~x377 ~x1248 ~x3142 ~x5048 ~x2241 ~x4072 ~x1905 ~x378 
324.90/325.93	v ~x1249 ~x3143 x5050 ~x2243 ~x4073 x196 ~x379 ~x1250 ~x3144 ~x5051 
324.90/325.93	v ~x2244 x4075 ~x1917 ~x380 ~x1251 ~x3145 ~x5052 ~x2245 ~x4077 ~x199 
324.90/325.93	v ~x381 ~x1252 ~x3146 ~x5053 ~x2246 ~x4078 ~x1929 ~x382 ~x1253 ~x3147 
324.90/325.93	v ~x5054 x2248 ~x4079 ~x202 ~x383 ~x1254 ~x3148 ~x5055 ~x2250 ~x4080 
324.90/325.93	v ~x1941 ~x384 ~x1256 ~x3149 ~x5056 ~x2251 ~x4081 ~x1953 ~x386 ~x1257 
324.90/325.93	v ~x3150 ~x5057 ~x2252 ~x4082 ~x207 x387 ~x1258 ~x3151 ~x5058 ~x2253 
324.90/325.93	v ~x4083 ~x1965 x388 ~x1259 ~x3152 ~x5059 x2255 ~x4084 ~x210 ~x389 
324.90/325.93	v ~x1260 ~x3153 ~x5060 ~x2257 ~x4085 ~x1977 ~x390 ~x1261 x3155 ~x5062 
324.90/325.93	v ~x2258 ~x4086 ~x1989 ~x391 ~x1262 ~x3156 ~x5063 ~x2259 ~x4087 ~x215 
324.90/325.93	v ~x393 ~x1263 ~x3157 ~x5064 ~x2260 x4089 ~x2001 ~x394 ~x1264 ~x3158 
324.90/325.93	v ~x5065 x2262 ~x4091 ~x2013 ~x396 ~x1265 ~x3159 ~x5066 ~x2264 ~x4092 
324.90/325.93	v ~x220 ~x397 ~x1266 ~x3160 ~x5067 ~x2265 ~x4093 ~x2025 ~x398 ~x1268 
324.90/325.93	v ~x3161 ~x5068 ~x2266 ~x4094 ~x2037 ~x399 ~x1269 ~x3162 ~x5069 ~x2267 
324.90/325.93	v ~x4095 ~x225 ~x401 ~x1270 ~x3163 ~x5070 x2269 ~x4096 ~x2049 ~x402 
324.90/325.93	v ~x1271 ~x3164 ~x5071 x2271 ~x4097 ~x2061 ~x403 ~x1272 x3165 ~x5072 
324.90/325.93	v ~x2272 ~x4098 ~x230 ~x404 ~x1273 ~x3166 ~x5074 ~x2273 ~x4099 ~x2073 
324.90/325.93	v ~x406 ~x1274 ~x3167 ~x5075 x2274 ~x4100 ~x233 ~x407 ~x1275 ~x3168 
324.90/325.93	v ~x5076 ~x2276 ~x4101 ~x2085 ~x408 ~x1276 ~x3169 ~x5077 ~x2278 x4103 
324.90/325.93	v ~x236 ~x409 ~x1277 ~x3170 ~x5078 ~x2279 ~x4105 ~x2097 ~x411 ~x1278 
324.90/325.93	v ~x3171 ~x5079 ~x2280 ~x4106 ~x239 ~x412 x1280 ~x3172 ~x5080 ~x2281 
324.90/325.93	v ~x4107 ~x2109 ~x414 ~x1281 ~x3173 ~x5081 x2283 ~x4108 ~x2121 ~x415 
324.90/325.93	v ~x1282 ~x3174 ~x5082 ~x2285 ~x4109 ~x2123 ~x417 ~x1283 ~x3175 ~x5083 
324.90/325.93	v ~x2286 ~x4110 ~x2128 ~x418 ~x1284 ~x3176 ~x5084 ~x2287 ~x4111 ~x2130 
324.90/325.93	v ~x420 ~x1285 ~x3177 ~x5086 ~x2288 ~x4112 ~x2135 ~x421 ~x1286 ~x3178 
324.90/325.93	v ~x5087 x2290 ~x4113 ~x2137 ~x422 ~x1287 ~x3179 ~x5088 ~x2292 ~x4114 
324.90/325.93	v ~x2142 ~x423 ~x1288 ~x3180 ~x5089 ~x2293 ~x4115 ~x2144 ~x425 ~x1289 
324.90/325.93	v ~x3182 ~x5090 ~x2294 ~x4117 ~x2149 ~x426 ~x1290 ~x3183 ~x5091 ~x2295 
324.90/325.93	v ~x4118 ~x2151 ~x428 ~x1292 ~x3184 ~x5092 x2297 ~x4119 ~x2156 ~x430 
324.90/325.93	v ~x1293 ~x3185 ~x5093 x2299 ~x4120 ~x2158 ~x429 ~x1294 ~x3186 ~x5094 
324.90/325.93	v ~x2300 ~x4121 ~x2163 ~x431 ~x1295 ~x3187 ~x5095 x2301 ~x4122 ~x2165 
324.90/325.93	v ~x433 ~x1296 ~x3188 ~x5096 ~x2302 ~x4123 ~x2170 ~x432 ~x1297 ~x3189 
324.90/325.93	v ~x5098 ~x2304 ~x4124 ~x2172 ~x434 ~x1298 ~x3190 ~x5099 ~x2306 ~x4125 
324.90/325.93	v ~x2177 ~x436 ~x1299 ~x3191 ~x5100 ~x2307 ~x4126 ~x2179 ~x435 ~x1300 
324.90/325.93	v ~x3192 ~x5101 ~x2308 ~x4127 ~x2184 ~x437 ~x1301 ~x3193 ~x5102 ~x2309 
324.90/325.93	v x4129 ~x2186 ~x439 ~x1302 ~x3194 ~x5103 ~x2311 ~x4131 ~x2191 ~x438 
324.90/325.93	v ~x1304 ~x3195 ~x5104 ~x2313 ~x4132 ~x2193 ~x440 ~x1305 ~x3196 ~x5105 
324.90/325.93	v ~x2314 ~x4133 ~x2198 ~x442 ~x1306 ~x3197 ~x5106 ~x2315 ~x4134 ~x2200 
324.90/325.93	v ~x441 ~x1307 ~x3198 ~x5107 ~x2316 ~x4135 ~x2205 ~x443 ~x1308 ~x3199 
324.90/325.93	v ~x5108 x2318 ~x4136 ~x2207 ~x445 ~x1309 ~x3200 x5110 ~x2320 ~x4137 
324.90/325.93	v ~x2212 ~x444 ~x1310 ~x3201 ~x5111 ~x2321 ~x4138 ~x2214 ~x446 ~x1311 
324.90/325.93	v ~x3202 ~x5112 ~x2322 ~x4139 ~x2219 ~x448 ~x1312 ~x3203 ~x5113 ~x2323 
324.90/325.93	v ~x4140 ~x2221 ~x447 ~x1313 ~x3204 ~x5114 x2325 ~x4141 ~x2226 ~x449 
324.90/325.93	v ~x1314 ~x3205 ~x5115 x2327 ~x4143 ~x2228 ~x451 ~x1316 ~x3206 ~x5116 
324.90/325.93	v ~x2328 ~x4145 ~x2233 ~x450 ~x1317 ~x3207 x5117 ~x2329 ~x4146 ~x2235 
324.90/325.93	v ~x452 ~x1318 ~x3209 ~x5118 x2330 ~x4147 ~x2240 ~x454 ~x1319 ~x3210 
324.90/325.93	v ~x5119 ~x2332 ~x4148 ~x2242 ~x453 ~x1320 ~x3211 ~x5120 ~x2334 ~x4149 
324.90/325.93	v ~x2247 ~x455 ~x1321 ~x3212 ~x5122 ~x2335 ~x4150 ~x2249 ~x457 ~x1322 
324.90/325.93	v ~x3213 ~x5123 ~x2336 ~x4151 ~x2254 ~x456 ~x1323 ~x3214 ~x5124 ~x2337 
324.90/325.93	v ~x4152 ~x2256 ~x458 ~x1324 ~x3215 ~x5125 ~x2339 ~x4153 ~x2261 ~x460 
324.90/325.93	v ~x1325 ~x3216 ~x5126 ~x2341 ~x4154 ~x2263 ~x459 ~x1326 ~x3217 ~x5127 
324.90/325.93	v ~x2342 ~x4155 ~x2268 ~x461 ~x1328 ~x3218 ~x5128 ~x2343 x4157 ~x2270 
324.90/325.93	v ~x463 ~x1329 ~x3219 ~x5129 ~x2344 ~x4159 ~x2275 ~x462 ~x1330 ~x3220 
324.90/325.93	v ~x5130 ~x2346 ~x4160 ~x2277 ~x464 ~x1331 ~x3221 ~x5131 ~x2348 ~x4161 
324.90/325.93	v ~x2282 ~x466 ~x1332 ~x3222 ~x5132 ~x2349 ~x4162 ~x2284 ~x465 ~x1333 
324.90/325.93	v ~x3223 ~x5134 ~x2350 ~x4163 ~x2289 ~x1334 ~x3224 ~x5135 ~x2351 ~x4164 
324.90/325.93	v ~x2291 ~x1335 ~x3225 ~x5136 ~x467 ~x2353 ~x4165 ~x2296 ~x1336 ~x3226 
324.90/325.93	v ~x5137 ~x469 ~x2355 ~x4166 ~x2298 ~x1337 ~x3227 ~x5138 ~x468 ~x2356 
324.90/325.93	v ~x4167 ~x2303 ~x1338 ~x3228 ~x5139 ~x470 ~x2357 ~x4168 ~x2305 ~x1340 
324.90/325.93	v ~x3229 ~x5140 ~x472 ~x2358 ~x4169 ~x2310 ~x1341 ~x3230 ~x5141 ~x471 
324.90/325.93	v ~x2360 ~x4171 ~x2312 ~x1342 ~x3231 ~x5142 ~x473 ~x2362 ~x4173 ~x2317 
324.90/325.93	v ~x1343 ~x3232 ~x5143 ~x475 ~x2363 ~x4174 ~x2319 ~x1344 ~x3233 ~x5144 
324.90/325.93	v ~x474 ~x2364 ~x4175 ~x2324 ~x1345 ~x3234 ~x5146 ~x476 ~x2365 ~x4176 
324.90/325.93	v x2326 ~x1346 ~x3236 ~x5147 ~x478 ~x2367 ~x4177 ~x2331 ~x1347 ~x3237 
324.90/325.93	v ~x5148 ~x477 ~x2368 ~x4178 ~x2333 ~x1348 ~x3238 ~x5149 ~x479 ~x2369 
324.90/325.93	v ~x4179 ~x2338 ~x1349 ~x3239 ~x5150 ~x481 ~x2370 ~x4180 ~x2340 ~x1350 
324.90/325.93	v ~x3240 ~x5151 ~x480 ~x2371 ~x4181 ~x2345 ~x1352 ~x3241 ~x5152 ~x482 
324.90/325.93	v ~x2372 ~x4182 ~x2347 ~x1353 ~x3242 ~x5153 ~x484 ~x2373 ~x4183 ~x2352 
324.90/325.93	v ~x1354 ~x3243 ~x5154 ~x483 ~x2374 x4185 ~x2354 ~x1355 ~x3244 ~x5155 
324.90/325.93	v ~x485 ~x2375 ~x4187 ~x2359 ~x1356 ~x3245 ~x5156 ~x487 ~x2376 ~x4188 
324.90/325.93	v ~x2361 ~x1357 ~x3246 ~x5158 ~x486 ~x2377 ~x4189 ~x2366 ~x1358 ~x3247 
324.90/325.93	v ~x5160 ~x488 ~x2378 ~x4190 ~x2424 ~x1359 ~x3248 ~x5161 ~x490 ~x2379 
324.90/325.93	v ~x4191 ~x2482 ~x1360 ~x3249 ~x5162 ~x489 ~x2380 ~x4192 ~x2540 ~x1361 
324.90/325.93	v ~x3250 ~x5163 ~x491 ~x2381 ~x4193 ~x2598 ~x1362 ~x3251 ~x5165 ~x493 
324.90/325.93	v ~x2382 ~x4194 ~x2656 ~x1364 ~x3252 ~x5167 ~x492 ~x2383 ~x4195 ~x2714 
324.90/325.93	v ~x1365 ~x3253 ~x5169 ~x494 ~x2384 ~x4196 ~x2772 ~x1366 ~x3254 ~x5170 
324.90/325.93	v ~x496 ~x2385 ~x4197 ~x356 ~x1367 ~x3255 ~x5171 ~x495 ~x2386 ~x4199 
324.90/325.93	v ~x2830 ~x1368 ~x3256 ~x5172 ~x497 ~x2387 ~x4201 ~x359 ~x1369 ~x3257 
324.90/325.93	v x5174 ~x499 ~x2388 ~x4202 ~x2857 ~x1370 ~x3258 x5176 ~x498 ~x2389 
324.90/325.93	v ~x4203 ~x362 ~x1371 ~x3259 ~x5177 ~x500 ~x2390 ~x4204 ~x2884 ~x1372 
324.90/325.93	v ~x3260 x5178 ~x502 ~x2391 ~x4205 ~x365 ~x1373 ~x3261 ~x5179 ~x501 
324.90/325.93	v ~x2392 ~x4206 ~x2911 ~x1374 ~x3263 ~x5181 ~x503 ~x2393 ~x4207 ~x2938 
324.90/325.93	v ~x1376 ~x3264 ~x5183 ~x505 ~x2394 ~x4208 ~x370 ~x1377 ~x3265 ~x5184 
324.90/325.93	v ~x504 ~x2395 ~x4209 ~x2965 ~x1378 ~x3266 ~x5185 ~x506 ~x2396 ~x4210 
324.90/325.93	v ~x373 ~x1379 ~x3267 ~x5186 ~x507 ~x2397 ~x4211 ~x2992 ~x1380 ~x3268 
324.90/325.93	v ~x5188 ~x508 ~x2398 x4213 ~x376 ~x1381 ~x3269 ~x5189 ~x510 ~x2399 
324.90/325.93	v ~x4215 ~x3019 ~x1382 ~x3270 ~x5190 ~x509 ~x2400 ~x4216 ~x3046 ~x1383 
324.90/325.93	v ~x3271 ~x5191 ~x511 ~x2401 ~x4217 ~x3073 ~x1384 ~x3272 x5193 ~x513 
324.90/325.93	v ~x2402 ~x4218 ~x3100 ~x1385 ~x3273 ~x5195 ~x512 ~x2403 ~x4219 ~x385 
324.90/325.93	v ~x1386 ~x3274 ~x5197 ~x514 ~x2404 ~x4220 ~x3127 ~x1388 ~x3275 ~x5198 
324.90/325.93	v ~x516 ~x2405 ~x4221 x3154 ~x1389 ~x3276 ~x5199

Verifier Data 

OK	20

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (54542 MiB free)
  memory of node 1: 64465 MiB (52372 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528397-1752239830/watcher-4528397-1752239830 -o /tmp/evaluation-result-4528397-1752239830/solver-4528397-1752239830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752238557-112279 --watchdog 3760 pb_picat HOME/instance-4528397-1752239830.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=112592, runsolver pid=112589

[startup+0.100066 s]*
/proc/loadavg: 4.15 4.13 4.00 5/264 112593
/proc/meminfo: memFree=109450332/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2027148 memory=36016 CPUtime=0.09 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 1026 0 0 0 9 0 0 0 20 0 1 0 139661680 2075799552 9004 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 506787 9004 1504 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36016 KiB

[startup+0.205516 s]*
/proc/loadavg: 4.15 4.13 4.00 5/264 112593
/proc/meminfo: memFree=109433948/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2036528 memory=56836 CPUtime=0.2 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 1555 0 0 0 19 1 0 0 20 0 1 0 139661680 2085404672 14209 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 509132 14209 1632 343 0 506196 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2036528 KiB
Current children cumulated memory: 56836 KiB

[startup+0.305394 s]*
/proc/loadavg: 4.15 4.13 4.00 5/264 112593
/proc/meminfo: memFree=109431932/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2043304 memory=61184 CPUtime=0.3 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 3192 0 0 0 29 1 0 0 20 0 1 0 139661680 2092343296 15296 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 510826 15296 1696 343 0 507890 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2043304 KiB
Current children cumulated memory: 61184 KiB

[startup+0.700187 s]
/proc/loadavg: 4.15 4.13 4.00 5/264 112593
/proc/meminfo: memFree=109431932/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2043528 memory=62316 CPUtime=0.68 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 4020 0 0 0 67 1 0 0 20 0 1 0 139661680 2092572672 15579 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 510882 15579 1696 343 0 507946 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2043528 KiB
Current children cumulated memory: 62316 KiB

[startup+1.50017 s]
/proc/loadavg: 4.15 4.13 4.00 5/264 112593
/proc/meminfo: memFree=109427836/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2046316 memory=65440 CPUtime=1.48 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 5889 0 0 0 147 1 0 0 20 0 1 0 139661680 2095427584 16360 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 511579 16360 1696 343 0 508643 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2046316 KiB
Current children cumulated memory: 65440 KiB

[startup+3.1053 s]
/proc/loadavg: 4.13 4.13 4.00 5/264 112594
/proc/meminfo: memFree=109428096/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2046068 memory=63628 CPUtime=3.08 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 8043 0 0 0 306 2 0 0 20 0 1 0 139661680 2095173632 15907 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 511517 15907 1696 343 0 508581 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2046068 KiB
Current children cumulated memory: 63628 KiB

[startup+6.30017 s]
/proc/loadavg: 4.13 4.13 4.00 5/264 112594
/proc/meminfo: memFree=109428372/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2049000 memory=67896 CPUtime=6.26 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 12269 0 0 0 623 3 0 0 20 0 1 0 139661680 2098176000 16974 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 512250 16974 1696 343 0 509314 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2049000 KiB
Current children cumulated memory: 67896 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.00 5/264 112594
/proc/meminfo: memFree=109418920/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2045740 memory=65808 CPUtime=12.65 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 13659 0 0 0 1261 4 0 0 20 0 1 0 139661680 2094837760 16452 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 511435 16452 1696 343 0 508499 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2045740 KiB
Current children cumulated memory: 65808 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.01 5/264 112594
/proc/meminfo: memFree=109404380/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2051884 memory=70664 CPUtime=25.42 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 17614 0 0 0 2536 6 0 0 20 0 1 0 139661680 2101129216 17666 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 512971 17666 1696 343 0 510035 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2051884 KiB
Current children cumulated memory: 70664 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.12 4.00 5/264 112594
/proc/meminfo: memFree=109395244/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2055984 memory=74944 CPUtime=50.94 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 36504 0 0 0 5083 11 0 0 20 0 1 0 139661680 2105327616 18736 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 513996 18736 1696 343 0 511060 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2055984 KiB
Current children cumulated memory: 74944 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.01 5/264 112596
/proc/meminfo: memFree=109403368/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2064176 memory=76380 CPUtime=101.97 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 90914 0 0 0 10168 29 0 0 20 0 1 0 139661680 2113716224 19095 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 516044 19095 1696 343 0 513108 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2064176 KiB
Current children cumulated memory: 76380 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.01 5/264 112599
/proc/meminfo: memFree=109395164/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2068272 memory=83368 CPUtime=161.8 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 146896 0 0 0 16132 48 0 0 20 0 1 0 139661680 2117910528 20842 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 517068 20842 1696 343 0 514132 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2068272 KiB
Current children cumulated memory: 83368 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/264 112601
/proc/meminfo: memFree=109395728/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2055984 memory=75948 CPUtime=221.61 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 198346 0 0 0 22096 65 0 0 20 0 1 0 139661680 2105327616 18987 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 513996 18987 1696 343 0 511060 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 2055984 KiB
Current children cumulated memory: 75948 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.01 5/264 112603
/proc/meminfo: memFree=109397656/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2055984 memory=73808 CPUtime=281.43 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 234959 0 0 0 28064 79 0 0 20 0 1 0 139661680 2105327616 18452 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 513996 18452 1696 343 0 511060 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2055984 KiB
Current children cumulated memory: 73808 KiB

[startup+325.934 s]
# the end of solver process 112592 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=324.055 s, system=0.889747 s

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

[startup+307.2 s]
/proc/loadavg: 4.10 4.10 4.01 5/264 112605
/proc/meminfo: memFree=109399752/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2060080 memory=76264 CPUtime=306.25 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 250228 0 0 0 30540 85 0 0 20 0 1 0 139661680 2109521920 19066 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 515020 19066 1696 343 0 512084 0
Current children cumulated CPU time: 306.25 s
Current children cumulated vsize: 2060080 KiB
Current children cumulated memory: 76264 KiB

[startup+313.6 s]
/proc/loadavg: 4.09 4.10 4.01 5/264 112606
/proc/meminfo: memFree=109399816/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2060080 memory=78488 CPUtime=312.64 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 255678 0 0 0 31177 87 0 0 20 0 1 0 139661680 2109521920 19622 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 515020 19622 1696 343 0 512084 0
Current children cumulated CPU time: 312.64 s
Current children cumulated vsize: 2060080 KiB
Current children cumulated memory: 78488 KiB

[startup+320 s]*
/proc/loadavg: 4.08 4.10 4.01 5/264 112606
/proc/meminfo: memFree=109399564/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2055984 memory=75200 CPUtime=319.02 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 259738 0 0 0 31815 87 0 0 20 0 1 0 139661680 2105327616 18800 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 513996 18800 1696 343 0 511060 0
Current children cumulated CPU time: 319.02 s
Current children cumulated vsize: 2055984 KiB
Current children cumulated memory: 75200 KiB

[startup+323.2 s]
/proc/loadavg: 4.07 4.10 4.01 5/264 112606
/proc/meminfo: memFree=109399564/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2046696 memory=65772 CPUtime=322.21 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 260878 0 0 0 32133 88 0 0 20 0 1 0 139661680 2095816704 16443 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 511674 16443 1696 343 0 508738 0
Current children cumulated CPU time: 322.21 s
Current children cumulated vsize: 2046696 KiB
Current children cumulated memory: 65772 KiB

[startup+324.8 s]
/proc/loadavg: 4.07 4.10 4.01 5/264 112606
/proc/meminfo: memFree=109399564/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2048744 memory=67564 CPUtime=323.81 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 261339 0 0 0 32293 88 0 0 20 0 1 0 139661680 2097913856 16891 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 512186 16891 1696 343 0 509250 0
Current children cumulated CPU time: 323.81 s
Current children cumulated vsize: 2048744 KiB
Current children cumulated memory: 67564 KiB

[startup+325.6 s]
/proc/loadavg: 4.07 4.10 4.01 5/264 112606
/proc/meminfo: memFree=109399564/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2048744 memory=68076 CPUtime=324.6 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 261472 0 0 0 32372 88 0 0 20 0 1 0 139661680 2097913856 17019 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 512186 17019 1696 343 0 509250 0
Current children cumulated CPU time: 324.6 s
Current children cumulated vsize: 2048744 KiB
Current children cumulated memory: 68076 KiB

[startup+325.8 s]
/proc/loadavg: 4.07 4.10 4.01 5/264 112606
/proc/meminfo: memFree=109399564/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2048744 memory=68076 CPUtime=324.8 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 261472 0 0 0 32392 88 0 0 20 0 1 0 139661680 2097913856 17019 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 512186 17019 1696 343 0 509250 0
Current children cumulated CPU time: 324.8 s
Current children cumulated vsize: 2048744 KiB
Current children cumulated memory: 68076 KiB

[startup+325.9 s]
/proc/loadavg: 4.07 4.10 4.01 5/264 112606
/proc/meminfo: memFree=109399564/131249996 swapFree=33010160/33010684
[pid=112592] ppid=112589 vsize=2048744 memory=68076 CPUtime=324.9 cores=0,2
/proc/112592/stat : 112592 (pb_picat) R 112589 112592 110812 0 -1 4194304 261472 0 0 0 32402 88 0 0 20 0 1 0 139661680 2097913856 17019 18446744073709551615 94507977539584 94507978941165 140729085176544 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94507979212592 94507981086832 94508018704384 140729085180316 140729085180392 140729085180392 140729085185996 0
/proc/112592/statm: 512186 17019 1696 343 0 509250 0
Current children cumulated CPU time: 324.9 s
Current children cumulated vsize: 2048744 KiB
Current children cumulated memory: 68076 KiB

Child status: 0

Real time (s): 325.934
CPU time (s): 324.945
CPU user time (s): 324.055
CPU system time (s): 0.889747
CPU usage (%): 99.6965
Max. virtual memory (cumulated for all children) (KiB): 2068272
Max. memory (cumulated for all children) (KiB): 83880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 324.055
system time used= 0.889747
maximum resident set size= 83880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261476
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= 66
involuntary context switches= 741


# summary of solver processes directly reported to runsolver:
#   pid: 112592
#   total CPU time (s): 324.945
#   total CPU user time (s): 324.055
#   total CPU system time (s): 0.889747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.536845 second user time and 1.50881 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-11 15:17:10
IDJOB=4528397
IDBENCH=148185
IDSOLVER=3385
FILE ID=nodeC032/4528397-1752239830
RUNJOBID= nodeC032-1752238557-112279
SLURM_JOB_ID= 9682543
Free space on /tmp= 429040 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528397-1752239830/watcher-4528397-1752239830 -o /tmp/evaluation-result-4528397-1752239830/solver-4528397-1752239830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752238557-112279 --watchdog 3760  pb_picat HOME/instance-4528397-1752239830.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=984326019

nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.470
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.758
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.841
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.844
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.808
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.800
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.105
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3630.420
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        109480768 kB
MemAvailable:   129409100 kB
Buffers:            2728 kB
Cached:         20604052 kB
SwapCached:           20 kB
Active:           690480 kB
Inactive:       20230864 kB
Active(anon):     329488 kB
Inactive(anon):     3124 kB
Active(file):     360992 kB
Inactive(file): 20227740 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4216 kB
Writeback:             0 kB
AnonPages:        316836 kB
Mapped:           116360 kB
Shmem:             18048 kB
KReclaimable:     357676 kB
Slab:             454592 kB
SReclaimable:     357676 kB
SUnreclaim:        96916 kB
KernelStack:        4272 kB
PageTables:         3688 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6685460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429036 MiB
End job on nodeC032 at 2025-07-11 15:22:37