0.00/0.00 c solving HOME/instance-4443622-1721309977.opb (Picat 3.6#12)
94.17/94.41 s SATISFIABLE
94.17/94.41 v ~x3306 ~x2508 ~x4151 ~x1392 ~x546 ~x2237 ~x3307 ~x13 ~x4152 ~x1393
94.17/94.41 v ~x547 ~x2238 ~x3308 ~x2509 ~x4153 ~x1394 ~x548 ~x2239 ~x3309 ~x14
94.17/94.41 v x4154 ~x1395 ~x549 x2240 ~x3310 ~x2510 ~x4155 ~x1396 ~x550 ~x2241
94.17/94.41 v ~x3311 ~x16 ~x4156 ~x1397 ~x551 ~x2242 ~x3312 ~x2511 ~x4157 ~x1398
94.17/94.41 v ~x552 ~x2243 ~x3313 ~x17 ~x4158 ~x1399 ~x553 ~x2244 ~x3314 ~x2512
94.17/94.41 v ~x4159 ~x1400 ~x554 ~x2245 ~x3315 ~x18 ~x4160 ~x1401 ~x555 ~x2246
94.17/94.41 v ~x3316 ~x2513 ~x4161 ~x1402 ~x556 ~x2247 ~x3317 ~x19 ~x4162 ~x1403
94.17/94.41 v ~x557 ~x2248 ~x3318 ~x2514 ~x4163 ~x1404 ~x558 ~x2249 ~x3319 ~x20
94.17/94.41 v ~x4164 ~x1405 ~x559 ~x2250 ~x3320 ~x2515 ~x4165 ~x1406 ~x560 ~x2251
94.17/94.41 v ~x3321 ~x22 ~x4166 ~x1407 ~x561 ~x2252 ~x3322 ~x2516 ~x4167 ~x1408
94.17/94.41 v ~x562 x2253 ~x3323 ~x4168 x1409 ~x563 ~x2254 ~x3324 ~x4169 ~x1410
94.17/94.41 v ~x564 ~x2255 ~x23 ~x3325 ~x4170 ~x1411 ~x565 ~x2256 ~x2517 ~x3326
94.17/94.41 v ~x4171 ~x1412 ~x566 ~x2257 ~x24 ~x3327 ~x4172 ~x1413 x567 ~x2258
94.17/94.41 v ~x2518 ~x3328 ~x4173 ~x1414 ~x568 ~x2259 ~x25 ~x3329 ~x4174 ~x1415
94.17/94.41 v ~x569 ~x2260 ~x2519 ~x3330 ~x4175 ~x1416 ~x570 ~x2261 ~x27 ~x3331
94.17/94.41 v ~x4176 ~x1417 ~x571 ~x2262 ~x2520 ~x3332 ~x4177 ~x1418 ~x572 ~x2263
94.17/94.41 v ~x29 ~x3333 ~x4178 ~x1419 ~x573 ~x2264 ~x2521 ~x3334 ~x4179 ~x1420
94.17/94.41 v ~x574 ~x2265 ~x30 ~x3335 ~x4180 ~x1421 ~x575 ~x2266 x2522 ~x3336
94.17/94.41 v ~x4181 ~x1422 ~x576 ~x2267 ~x31 ~x3337 ~x4182 ~x1423 ~x577 ~x2268
94.17/94.41 v ~x2523 ~x3338 ~x4183 ~x1424 ~x578 ~x2269 ~x32 ~x3339 ~x4184 ~x1425
94.17/94.41 v ~x579 ~x2270 ~x2524 ~x3340 ~x4185 ~x1426 ~x580 ~x2271 ~x34 ~x3341
94.17/94.41 v ~x4186 ~x1427 ~x581 ~x2272 ~x2525 ~x3342 ~x4187 ~x1428 ~x582 ~x2273
94.17/94.41 v ~x36 ~x3343 ~x4188 ~x1429 ~x583 ~x2274 ~x2526 ~x3344 ~x4189 ~x1430
94.17/94.41 v ~x584 ~x2275 ~x37 ~x3345 ~x4190 ~x1431 ~x585 ~x2276 ~x2527 ~x3346
94.17/94.41 v ~x4191 ~x1432 ~x586 ~x2277 ~x38 ~x3347 ~x4192 ~x1433 ~x587 ~x2278
94.17/94.41 v ~x2528 ~x3348 ~x4193 ~x1434 ~x588 ~x2279 ~x40 ~x3349 ~x4194 ~x1435
94.17/94.41 v ~x589 ~x2280 ~x2529 ~x3350 ~x4195 ~x1436 ~x590 ~x2281 ~x41 ~x3351
94.17/94.41 v ~x4196 ~x1437 ~x591 ~x2282 ~x2530 ~x3352 ~x4197 ~x1438 ~x592 ~x2283
94.17/94.41 v ~x43 ~x3353 ~x4198 ~x1439 ~x593 ~x2284 ~x2531 ~x3354 ~x4199 ~x1440
94.17/94.41 v ~x594 ~x2285 ~x44 ~x3355 ~x4200 ~x1441 ~x595 ~x2286 ~x2532 ~x3356
94.17/94.41 v ~x4201 ~x1442 ~x596 ~x2287 ~x3357 ~x4202 ~x1443 ~x597 ~x2288 ~x45
94.17/94.41 v ~x3358 ~x4203 ~x1444 ~x598 ~x2289 ~x2533 ~x3359 ~x4204 ~x1445 ~x599
94.17/94.41 v ~x2290 ~x46 ~x3360 ~x4205 ~x1446 ~x600 ~x2291 ~x2534 ~x3361 x4206
94.17/94.41 v ~x1447 ~x601 ~x2292 ~x48 ~x3362 ~x4207 ~x1448 ~x602 ~x2293 x2535
94.17/94.41 v ~x3363 ~x4208 ~x1449 ~x603 ~x2294 ~x50 ~x3364 ~x4209 ~x1450 ~x604
94.17/94.41 v ~x2295 ~x2536 ~x3365 ~x4210 ~x1451 ~x605 ~x2296 ~x1 ~x3366 ~x4211
94.17/94.41 v ~x1452 ~x606 ~x2297 ~x2537 ~x3367 ~x4212 ~x1453 ~x607 ~x2298 ~x2538
94.17/94.41 v ~x3368 ~x4213 ~x1454 ~x608 ~x2299 ~x2539 ~x3369 ~x4214 ~x1455 ~x609
94.17/94.41 v ~x2300 ~x2540 ~x3370 ~x4215 ~x1456 ~x610 ~x2301 ~x6 ~x3371 ~x4216
94.17/94.41 v ~x1457 ~x611 ~x2302 ~x2541 ~x3372 ~x4217 ~x1458 ~x612 ~x2303 ~x2542
94.17/94.41 v ~x3373 ~x4218 ~x1459 ~x613 ~x2304 ~x12 ~x3374 ~x4219 ~x1460 ~x614
94.17/94.41 v ~x2305 ~x2543 ~x3375 ~x4220 ~x1461 ~x615 ~x2306 ~x2544 ~x3376 ~x4221
94.17/94.41 v ~x1462 ~x616 ~x2307 ~x15 ~x3377 x4222 ~x1463 ~x617 ~x2308 ~x2545
94.17/94.41 v x3378 ~x4223 ~x1464 ~x618 ~x2309 ~x2546 ~x3379 ~x4224 ~x1465 ~x619
94.17/94.41 v ~x2310 ~x2547 ~x3380 x4225 ~x1466 ~x620 ~x2311 ~x2548 ~x3381 ~x4226
94.17/94.41 v ~x1467 x621 ~x2312 ~x2549 ~x3382 ~x4227 ~x1468 ~x622 ~x2313 ~x21
94.17/94.41 v ~x3383 ~x4228 ~x1469 ~x623 ~x2314 ~x2550 ~x3384 ~x4229 ~x1470 ~x624
94.17/94.41 v ~x2315 ~x2551 ~x3385 ~x4230 ~x1471 ~x625 ~x2316 ~x2552 ~x3386 ~x4231
94.17/94.41 v x1472 ~x626 ~x2317 ~x2553 ~x3387 ~x4232 ~x1473 ~x627 ~x2318 ~x2554
94.17/94.41 v ~x3388 ~x4233 ~x1474 ~x628 x2319 ~x26 ~x3389 ~x4234 ~x1475 ~x629
94.17/94.41 v ~x2320 ~x2555 ~x3390 ~x4235 ~x1476 ~x630 ~x2321 ~x2556 ~x3391 ~x4236
94.17/94.41 v ~x1477 ~x631 ~x2322 ~x28 ~x3392 x4237 ~x1478 ~x632 ~x2323 ~x2557
94.17/94.41 v ~x3393 ~x4238 ~x1479 ~x633 ~x2324 ~x2558 ~x3394 ~x4239 ~x1480 ~x634
94.17/94.41 v ~x2325 ~x2559 ~x3395 ~x4240 ~x1481 ~x635 ~x2326 ~x33 ~x3396 x4241
94.17/94.41 v ~x1482 ~x636 ~x2327 ~x2560 ~x3397 ~x4242 ~x1483 ~x637 ~x2328 ~x2561
94.17/94.41 v ~x3398 ~x4243 ~x1484 ~x638 ~x2329 ~x2562 ~x3399 ~x4244 ~x1485 ~x639
94.17/94.41 v ~x2330 ~x2563 ~x3400 ~x4245 ~x1486 ~x640 ~x2331 ~x2564 ~x3401 ~x4246
94.17/94.41 v ~x1487 ~x641 ~x2332 ~x39 ~x3402 ~x4247 ~x1488 ~x642 ~x2333 ~x2565
94.17/94.41 v ~x3403 ~x4248 ~x1489 ~x643 ~x2334 ~x2566 ~x3404 ~x4249 ~x1490 ~x644
94.17/94.41 v ~x2335 ~x2567 ~x3405 x4250 ~x1491 ~x645 ~x2336 ~x42 ~x3406 ~x4251
94.17/94.41 v ~x1492 ~x646 ~x2337 ~x2568 ~x3407 ~x4252 ~x1493 ~x647 ~x2338 ~x2569
94.17/94.41 v ~x3408 ~x4253 ~x1494 ~x648 ~x2339 ~x2570 ~x3409 ~x4254 ~x1495 ~x649
94.17/94.41 v ~x2340 ~x2571 ~x3410 ~x4255 ~x1496 ~x650 ~x2341 ~x2572 x3411 ~x4256
94.17/94.41 v ~x1497 ~x651 ~x2342 x47 ~x3412 ~x4257 ~x1498 ~x652 ~x2343 ~x2573
94.17/94.41 v ~x3413 ~x4258 ~x1499 ~x653 ~x2344 ~x2574 x3414 ~x4259 ~x1500 ~x654
94.17/94.41 v ~x2345 ~x49 ~x3415 ~x4260 ~x1501 ~x655 ~x2346 ~x2575 ~x3416 ~x4261
94.17/94.41 v ~x1502 ~x656 ~x2347 ~x2576 ~x3417 ~x4262 ~x1503 ~x657 ~x2348 ~x2577
94.17/94.41 v ~x3418 ~x4263 ~x1504 ~x658 ~x2349 ~x2578 ~x3419 ~x4264 ~x1505 ~x659
94.17/94.41 v ~x2350 ~x2579 ~x3420 ~x4265 ~x1506 ~x660 ~x2351 ~x2580 ~x3421 ~x4266
94.17/94.41 v ~x1507 ~x661 ~x2352 ~x2581 ~x3422 ~x4267 ~x1508 ~x662 ~x2353 ~x3423
94.17/94.41 v ~x4268 ~x1509 ~x663 ~x2354 ~x2582 x3424 ~x4269 ~x1510 ~x664 ~x2355
94.17/94.41 v ~x9 ~x3425 ~x4270 ~x1511 ~x665 ~x2356 ~x2583 ~x3426 ~x4271 ~x1512
94.17/94.41 v ~x666 ~x2357 ~x2584 ~x3427 ~x4272 ~x1513 ~x667 ~x2358 ~x2585 ~x3428
94.17/94.41 v ~x4273 ~x1514 ~x668 ~x2359 ~x2586 ~x3429 ~x4274 ~x1515 ~x669 ~x2360
94.17/94.41 v ~x2587 ~x3430 ~x4275 ~x1516 ~x670 ~x2361 ~x2588 ~x3431 ~x4276 ~x1517
94.17/94.41 v ~x671 ~x2362 ~x2589 ~x3432 ~x4277 ~x1518 ~x672 ~x2363 ~x2590 ~x3433
94.17/94.41 v ~x4278 ~x1519 ~x673 ~x2364 ~x2591 ~x3434 ~x4279 ~x1520 ~x674 ~x2365
94.17/94.41 v ~x2592 ~x3435 ~x4280 ~x1521 ~x675 ~x2366 ~x2593 ~x3436 ~x4281 ~x1522
94.17/94.41 v ~x676 ~x2367 ~x2594 ~x3437 ~x4282 ~x1523 ~x677 ~x2368 ~x2595 ~x3438
94.17/94.41 v ~x4283 ~x1524 ~x678 ~x2369 ~x2596 ~x3439 ~x4284 ~x1525 ~x679 ~x2370
94.17/94.41 v ~x2597 ~x3440 ~x4285 ~x1526 ~x680 ~x2371 ~x2598 ~x3441 ~x4286 ~x1527
94.17/94.41 v ~x681 ~x2372 ~x2599 ~x3442 ~x4287 ~x1528 ~x682 ~x2373 ~x2600 ~x3443
94.17/94.41 v ~x4288 ~x1529 ~x683 ~x2374 ~x2601 ~x3444 ~x4289 ~x1530 ~x684 ~x2375
94.17/94.41 v ~x2602 ~x3445 ~x4290 ~x1531 ~x685 ~x2376 ~x2603 ~x3446 ~x4291 ~x1532
94.17/94.41 v ~x686 ~x2377 ~x35 ~x3447 ~x4292 ~x1533 ~x687 ~x2378 ~x2604 ~x3448
94.17/94.41 v ~x4293 ~x1534 x688 ~x2379 ~x2605 ~x3449 ~x4294 ~x1535 ~x689 ~x2380
94.17/94.41 v ~x2606 x3450 ~x4295 ~x1536 ~x690 ~x2381 ~x2607 ~x3451 ~x4296 ~x1537
94.17/94.41 v ~x691 ~x2382 ~x2608 ~x3452 ~x4297 ~x1538 ~x692 ~x2383 ~x2609 ~x3453
94.17/94.41 v ~x4298 ~x1539 ~x693 ~x2384 ~x2610 ~x3454 ~x4299 ~x1540 ~x694 ~x2385
94.17/94.41 v ~x2611 ~x3455 ~x4300 ~x1541 ~x695 ~x2386 ~x2612 ~x3456 ~x4301 x1542
94.17/94.41 v ~x696 ~x2387 ~x2613 ~x3457 ~x4302 ~x1543 ~x697 ~x2388 ~x2614 ~x3458
94.17/94.41 v ~x4303 ~x1544 ~x698 ~x2389 ~x2615 ~x3459 ~x4304 ~x1545 ~x699 ~x2390
94.17/94.41 v ~x2616 ~x3460 ~x4305 ~x1546 ~x700 ~x2391 ~x2617 ~x3461 ~x4306 ~x1547
94.17/94.41 v ~x701 ~x2392 ~x2618 ~x3462 x4307 ~x1548 ~x702 ~x2393 ~x2619 ~x3463
94.17/94.41 v ~x4308 ~x1549 ~x703 ~x2394 ~x2620 ~x3464 ~x4309 ~x1550 ~x704 ~x2395
94.17/94.41 v ~x2621 ~x3465 ~x4310 ~x1551 ~x705 ~x2396 ~x2622 ~x3466 ~x4311 ~x1552
94.17/94.41 v ~x706 ~x2397 ~x2623 ~x3467 ~x4312 ~x1553 ~x707 x2398 ~x2624 ~x3468
94.17/94.41 v ~x4313 x1554 ~x708 ~x2399 ~x2625 ~x3469 ~x4314 ~x1555 ~x709 ~x2400
94.17/94.41 v ~x2626 ~x3470 ~x4315 ~x1556 ~x710 ~x2401 ~x2627 ~x3471 ~x4316 ~x1557
94.17/94.41 v ~x711 ~x2402 ~x2628 ~x3472 ~x4317 ~x1558 ~x712 ~x2403 ~x2629 ~x3473
94.17/94.41 v ~x4318 ~x1559 ~x713 ~x2404 ~x2630 ~x3474 ~x4319 ~x1560 ~x714 ~x2405
94.17/94.41 v ~x2631 ~x3475 ~x4320 ~x1561 ~x715 ~x2406 ~x2632 ~x3476 ~x4321 ~x1562
94.17/94.41 v ~x716 ~x2407 ~x2633 ~x3477 ~x4322 ~x1563 ~x717 ~x2408 ~x2634 ~x3478
94.17/94.41 v ~x4323 ~x1564 ~x718 ~x2409 ~x2635 ~x3479 ~x4324 ~x1565 ~x719 x2410
94.17/94.41 v ~x2636 ~x3480 ~x4325 ~x1566 ~x720 ~x2411 ~x2637 ~x3481 ~x4326 ~x1567
94.17/94.41 v ~x721 ~x2412 ~x2638 ~x3482 ~x4327 ~x1568 ~x722 ~x2413 ~x2639 ~x3483
94.17/94.41 v ~x4328 ~x1569 ~x723 ~x2414 ~x2640 ~x3484 ~x4329 ~x1570 ~x724 ~x2415
94.17/94.41 v ~x2641 ~x3485 ~x4330 ~x1571 ~x725 ~x2416 ~x2642 ~x3486 ~x4331 ~x1572
94.17/94.41 v ~x726 ~x2417 ~x2643 ~x3487 ~x4332 ~x1573 ~x727 ~x2418 ~x2644 ~x3488
94.17/94.41 v ~x4333 ~x1574 x728 ~x2419 ~x2645 ~x3489 ~x4334 ~x1575 ~x729 ~x2420
94.17/94.41 v ~x2646 ~x3490 ~x4335 ~x1576 ~x730 ~x2421 ~x2647 ~x3491 ~x4336 ~x1577
94.17/94.41 v ~x731 ~x2422 ~x2648 ~x3492 ~x4337 ~x1578 ~x732 ~x2423 ~x2649 ~x3493
94.17/94.41 v ~x4338 ~x1579 ~x733 ~x2424 ~x2650 ~x3494 ~x4339 ~x1580 ~x734 ~x2425
94.17/94.41 v ~x2651 ~x3495 ~x4340 ~x1581 ~x735 ~x2426 ~x2652 ~x3496 ~x4341 ~x1582
94.17/94.41 v ~x736 ~x2427 ~x2653 ~x3497 ~x4342 ~x1583 ~x737 ~x2428 ~x2654 ~x3498
94.17/94.41 v ~x4343 ~x1584 ~x738 ~x2429 ~x2655 ~x3499 ~x4344 ~x1585 ~x739 ~x2430
94.17/94.41 v ~x2656 ~x3500 ~x4345 ~x1586 ~x740 ~x2431 ~x2657 ~x3501 ~x4346 ~x1587
94.17/94.41 v ~x741 ~x2432 ~x2658 ~x4347 ~x1588 ~x742 ~x2433 ~x2659 ~x4348 ~x1589
94.17/94.41 v ~x3502 ~x743 ~x2434 ~x2660 ~x4349 ~x1590 ~x3503 ~x744 ~x2435 ~x2661
94.17/94.41 v ~x4350 ~x1591 ~x3504 ~x745 ~x2436 ~x2662 ~x4351 ~x1592 ~x3505 ~x746
94.17/94.41 v ~x2437 ~x2663 ~x4352 ~x1593 ~x3506 ~x747 ~x2438 ~x2664 x4353 ~x1594
94.17/94.41 v ~x748 x3507 ~x2439 ~x2665 ~x4354 ~x1595 ~x3508 ~x749 ~x2440 ~x2666
94.17/94.41 v ~x4355 ~x1596 x3509 ~x750 ~x2441 ~x2667 ~x4356 ~x1597 ~x3510 ~x751
94.17/94.41 v ~x2442 ~x2668 ~x4357 ~x1598 ~x3511 ~x752 ~x2443 ~x2669 ~x4358 ~x1599
94.17/94.41 v ~x3512 ~x753 ~x2444 ~x2670 ~x4359 ~x1600 ~x3513 ~x754 ~x2445 ~x2671
94.17/94.41 v ~x4360 ~x1601 ~x3514 ~x755 ~x2446 ~x2672 ~x4361 ~x1602 ~x3515 ~x756
94.17/94.41 v ~x2447 ~x2673 ~x4362 ~x1603 ~x3516 ~x757 ~x2448 ~x2674 ~x4363 ~x1604
94.17/94.41 v ~x3517 ~x758 ~x2449 ~x2675 ~x4364 ~x1605 ~x3518 ~x759 ~x2450 ~x2676
94.17/94.41 v x4365 ~x1606 ~x3519 ~x760 ~x2451 ~x2677 ~x4366 ~x1607 ~x3520 ~x761
94.17/94.41 v ~x2452 ~x2678 ~x4367 ~x1608 ~x3521 ~x762 ~x2453 ~x2679 ~x4368 ~x1609
94.17/94.41 v ~x3522 ~x763 ~x2454 ~x2680 ~x4369 ~x1610 ~x3523 ~x764 ~x2455 ~x2681
94.17/94.41 v ~x4370 x1611 ~x3524 ~x765 ~x2456 ~x2682 ~x4371 ~x1612 ~x3525 ~x766
94.17/94.41 v ~x2457 ~x2683 ~x4372 ~x1613 ~x3526 ~x767 ~x2458 ~x2684 ~x4373 ~x1614
94.17/94.41 v ~x3527 ~x768 ~x2459 ~x2685 x4374 ~x1615 ~x3528 ~x769 ~x2460 ~x2686
94.17/94.41 v ~x4375 ~x1616 ~x3529 ~x770 ~x2461 ~x2687 ~x4376 ~x1617 ~x3530 ~x771
94.17/94.41 v ~x2462 ~x2688 ~x4377 ~x1618 ~x3531 ~x772 ~x2463 ~x2689 ~x4378 ~x1619
94.17/94.41 v ~x3532 ~x773 ~x2464 ~x2690 ~x4379 ~x1620 ~x3533 ~x774 ~x2465 ~x2691
94.17/94.41 v ~x4380 ~x1621 ~x3534 ~x775 ~x2466 ~x2692 ~x4381 ~x1622 ~x3535 ~x776
94.17/94.41 v ~x2467 ~x2693 ~x4382 ~x1623 ~x3536 ~x777 ~x2468 ~x2694 ~x4383 ~x1624
94.17/94.41 v ~x3537 ~x778 ~x2469 ~x2695 ~x4384 ~x1625 ~x3538 ~x779 ~x2470 ~x2696
94.17/94.41 v ~x4385 ~x1626 ~x3539 ~x780 ~x2471 ~x2697 ~x4386 ~x1627 ~x3540 ~x781
94.17/94.41 v ~x2472 ~x2698 ~x4387 ~x1628 ~x3541 ~x782 ~x2473 ~x2699 ~x4388 ~x1629
94.17/94.41 v ~x3542 ~x783 ~x2474 ~x2700 ~x4389 ~x1630 ~x3543 ~x784 ~x2475 ~x2701
94.17/94.41 v ~x4390 ~x1631 ~x3544 ~x785 ~x2476 ~x2702 ~x4391 ~x1632 ~x3545 ~x786
94.17/94.41 v x2477 ~x2703 ~x4392 ~x1633 ~x3546 ~x787 ~x2478 ~x2704 ~x4393 ~x1634
94.17/94.41 v ~x3547 ~x788 ~x2479 ~x2705 ~x4394 ~x1635 ~x3548 x789 ~x2480 ~x2706
94.17/94.41 v ~x4395 ~x1636 ~x3549 ~x790 ~x2481 ~x2707 ~x4396 ~x1637 ~x3550 ~x791
94.17/94.41 v ~x2482 ~x2708 ~x4397 ~x1638 ~x3551 ~x792 ~x2483 ~x2709 ~x4398 ~x1639
94.17/94.41 v ~x3552 ~x793 ~x2484 ~x4399 ~x1640 ~x3553 ~x794 ~x2485 ~x2710 ~x4400
94.17/94.41 v ~x1641 ~x3554 ~x795 ~x2486 ~x2711 ~x4401 ~x1642 ~x3555 ~x796 ~x2487
94.17/94.41 v ~x2712 ~x4402 ~x1643 ~x3556 ~x797 ~x2488 ~x2713 ~x4403 ~x1644 ~x3557
94.17/94.41 v ~x798 ~x2489 ~x2714 ~x4404 ~x1645 ~x3558 ~x799 ~x2490 ~x2715 ~x4405
94.17/94.41 v ~x1646 ~x3559 ~x800 ~x2491 ~x2716 ~x4406 ~x1647 ~x3560 ~x801 ~x2492
94.17/94.41 v ~x2717 ~x4407 ~x1648 ~x3561 ~x802 ~x2493 ~x2718 ~x4408 ~x1649 ~x3562
94.17/94.41 v ~x803 ~x2494 ~x2719 ~x4409 ~x1650 ~x3563 ~x804 ~x2495 ~x2720 ~x4410
94.17/94.41 v ~x1651 ~x3564 ~x805 ~x2496 ~x2721 ~x4411 ~x1652 ~x3565 x806 ~x2497
94.17/94.41 v ~x2722 ~x4412 ~x1653 ~x3566 ~x807 ~x2498 ~x2723 ~x4413 ~x1654 ~x3567
94.17/94.41 v ~x808 ~x2499 ~x2724 ~x4414 ~x1655 ~x3568 ~x809 ~x2500 ~x2725 ~x4415
94.17/94.41 v ~x1656 ~x3569 ~x810 ~x2726 ~x4416 ~x1657 ~x3570 ~x811 ~x2727 ~x4417
94.17/94.41 v ~x1658 ~x3571 ~x812 ~x2728 ~x4418 ~x1659 ~x3572 ~x813 ~x2729 ~x4419
94.17/94.41 v ~x1660 ~x3573 ~x814 ~x2730 ~x4420 ~x1661 ~x3574 ~x815 ~x2731 ~x4421
94.17/94.41 v ~x1662 ~x3575 ~x816 ~x2732 ~x4422 ~x1663 ~x3576 ~x817 ~x2733 ~x4423
94.17/94.41 v ~x1664 ~x3577 ~x818 ~x2734 ~x4424 ~x1665 ~x3578 ~x819 ~x2735 ~x4425
94.17/94.41 v ~x1666 ~x3579 ~x820 ~x2736 ~x4426 ~x1667 ~x3580 ~x821 ~x2737 ~x4427
94.17/94.41 v ~x1668 ~x3581 ~x822 ~x2738 ~x4428 ~x1669 ~x3582 ~x823 ~x2739 ~x4429
94.17/94.41 v ~x1670 ~x3583 ~x824 ~x2740 ~x4430 ~x1671 ~x3584 ~x825 ~x2741 ~x4431
94.17/94.41 v ~x1672 ~x3585 ~x826 ~x2742 ~x4432 ~x1673 ~x3586 ~x827 ~x2743 ~x4433
94.17/94.41 v ~x1674 ~x3587 ~x828 ~x2744 ~x4434 ~x1675 ~x3588 ~x829 ~x2745 ~x4435
94.17/94.41 v ~x1676 ~x3589 ~x830 ~x2746 ~x4436 ~x1677 ~x3590 ~x831 ~x2747 ~x4437
94.17/94.41 v ~x1678 ~x3591 ~x832 ~x2748 ~x4438 ~x1679 x3592 ~x833 ~x2749 ~x4439
94.17/94.41 v ~x1680 ~x3593 ~x834 ~x2750 ~x4440 ~x1681 ~x3594 ~x835 ~x2751 ~x4441
94.17/94.41 v ~x1682 ~x3595 ~x836 ~x2752 ~x4442 ~x1683 ~x3596 ~x837 ~x2753 ~x4443
94.17/94.41 v ~x1684 ~x3597 ~x838 ~x2754 ~x4444 ~x1685 ~x3598 ~x839 ~x2755 ~x4445
94.17/94.41 v ~x1686 ~x3599 ~x840 ~x2756 ~x4446 ~x1687 ~x3600 ~x841 ~x2757 ~x4447
94.17/94.41 v ~x1688 ~x3601 ~x842 ~x2758 ~x4448 ~x1689 ~x3602 ~x843 ~x2759 ~x4449
94.17/94.41 v ~x1690 ~x3603 ~x844 ~x2760 ~x4450 ~x1691 ~x3604 ~x845 ~x2761 ~x4451
94.17/94.41 v ~x1692 ~x3605 ~x846 ~x2762 ~x4452 ~x1693 ~x3606 ~x847 ~x2763 ~x4453
94.17/94.41 v ~x1694 ~x3607 ~x848 ~x2764 ~x4454 ~x1695 ~x3608 ~x849 ~x2765 ~x4455
94.17/94.41 v x1696 ~x3609 ~x850 ~x2766 ~x4456 ~x1697 ~x3610 ~x851 ~x2767 ~x4457
94.17/94.41 v ~x1698 ~x3611 ~x852 ~x2768 ~x4458 ~x1699 ~x3612 ~x853 ~x2769 ~x4459
94.17/94.41 v ~x1700 ~x3613 ~x854 ~x2770 ~x4460 x1701 ~x3614 ~x855 ~x2771 ~x4461
94.17/94.41 v ~x1702 ~x3615 ~x856 ~x2772 ~x4462 ~x1703 ~x3616 ~x857 ~x2773 ~x4463
94.17/94.41 v ~x1704 ~x3617 ~x858 ~x2774 ~x4464 ~x1705 ~x3618 ~x859 ~x2775 ~x4465
94.17/94.41 v ~x1706 ~x3619 ~x860 ~x2776 ~x4466 ~x1707 ~x3620 ~x861 ~x2777 ~x4467
94.17/94.41 v ~x1708 ~x3621 ~x862 ~x2778 ~x4468 ~x1709 ~x3622 ~x863 ~x2779 ~x4469
94.17/94.41 v ~x1710 ~x3623 ~x864 ~x2780 ~x4470 ~x1711 ~x3624 ~x865 ~x2781 ~x4471
94.17/94.41 v ~x1712 ~x3625 ~x866 ~x2782 ~x4472 ~x1713 ~x3626 ~x867 ~x2783 ~x4473
94.17/94.41 v ~x1714 ~x3627 ~x868 ~x2784 ~x4474 ~x1715 ~x3628 ~x869 ~x2785 ~x4475
94.17/94.41 v ~x1716 ~x3629 ~x870 ~x2786 ~x4476 ~x1717 ~x3630 ~x871 ~x2787 ~x4477
94.17/94.41 v ~x1718 ~x3631 ~x872 ~x2788 ~x4478 ~x1719 ~x3632 ~x873 ~x2789 ~x4479
94.17/94.41 v ~x1720 ~x3633 ~x874 ~x2790 ~x4480 ~x1721 ~x3634 ~x875 ~x2791 ~x4481
94.17/94.41 v ~x1722 ~x3635 ~x876 ~x2792 ~x4482 ~x1723 ~x3636 ~x877 ~x2793 ~x4483
94.17/94.41 v ~x1724 ~x3637 ~x878 ~x2794 ~x4484 ~x1725 ~x3638 ~x879 ~x2795 ~x4485
94.17/94.41 v ~x1726 ~x3639 ~x880 ~x2796 ~x4486 ~x1727 ~x3640 ~x881 ~x2797 ~x4487
94.17/94.41 v ~x1728 ~x3641 ~x882 ~x2798 ~x4488 ~x1729 ~x3642 ~x883 ~x2799 ~x4489
94.17/94.41 v ~x1730 ~x3643 ~x884 ~x2800 ~x4490 ~x1731 ~x3644 ~x885 ~x2801 ~x4491
94.17/94.41 v ~x1732 ~x3645 ~x886 ~x2802 ~x4492 ~x1733 ~x3646 ~x887 ~x2803 ~x4493
94.17/94.41 v ~x1734 ~x3647 ~x888 ~x2804 ~x4494 ~x1735 ~x3648 ~x889 ~x2805 ~x4495
94.17/94.41 v ~x1736 ~x3649 ~x890 ~x2806 ~x4496 ~x1737 ~x3650 ~x891 ~x2807 ~x4497
94.17/94.41 v ~x1738 ~x3651 ~x892 ~x2808 ~x4498 ~x1739 ~x3652 ~x893 ~x2809 ~x4499
94.17/94.41 v ~x1740 ~x3653 ~x894 ~x2810 ~x4500 ~x1741 ~x3654 ~x895 ~x2811 ~x51
94.17/94.41 v ~x1742 ~x3655 ~x896 ~x2812 ~x52 ~x1743 ~x3656 ~x897 ~x2813 ~x53
94.17/94.41 v ~x1744 ~x3657 ~x898 ~x2814 ~x54 ~x1745 ~x3658 x899 ~x2815 ~x55
94.17/94.41 v ~x1746 ~x3659 ~x900 ~x2816 ~x56 ~x1747 ~x3660 ~x901 ~x2817 ~x57
94.17/94.41 v ~x1748 ~x3661 ~x902 ~x2818 ~x58 ~x1749 ~x3662 ~x903 ~x2819 ~x59
94.17/94.41 v ~x1750 ~x3663 ~x904 ~x2820 ~x60 ~x1751 ~x3664 ~x905 ~x2821 ~x61
94.17/94.41 v ~x1752 ~x3665 ~x906 ~x2822 ~x62 ~x1753 ~x3666 ~x907 ~x2823 ~x63
94.17/94.41 v ~x1754 ~x3667 ~x908 ~x2824 ~x64 ~x1755 ~x3668 ~x909 ~x2825 x65
94.17/94.41 v ~x1756 ~x3669 ~x910 ~x2826 ~x66 x1757 ~x3670 ~x911 ~x2827 ~x67
94.17/94.41 v ~x1758 ~x3671 ~x912 ~x2828 ~x68 ~x1759 ~x3672 ~x913 ~x2829 ~x69
94.17/94.41 v ~x1760 ~x3673 ~x914 ~x2830 ~x70 ~x1761 ~x3674 ~x915 ~x2831 ~x71
94.17/94.41 v ~x1762 ~x3675 ~x916 ~x2832 ~x72 ~x1763 ~x3676 ~x917 ~x2833 ~x73
94.17/94.41 v ~x1764 ~x3677 ~x918 ~x2834 ~x74 ~x1765 ~x3678 ~x919 ~x2835 ~x75
94.17/94.41 v ~x1766 ~x3679 ~x920 ~x2836 ~x76 ~x1767 ~x3680 ~x921 ~x2837 ~x77
94.17/94.41 v ~x1768 ~x3681 ~x922 ~x2838 ~x78 ~x1769 ~x3682 ~x923 ~x2839 ~x79
94.17/94.41 v ~x1770 ~x3683 ~x924 ~x2840 ~x80 ~x1771 ~x3684 ~x925 ~x2841 ~x81
94.17/94.41 v ~x1772 ~x3685 ~x926 ~x2842 ~x82 ~x1773 ~x3686 ~x927 ~x2843 ~x83
94.17/94.41 v ~x1774 ~x3687 ~x928 ~x2844 ~x84 ~x1775 ~x3688 ~x929 ~x2845 ~x85
94.17/94.41 v ~x1776 ~x3689 ~x930 ~x2846 ~x86 ~x1777 ~x3690 ~x931 ~x2847 ~x87
94.17/94.41 v ~x1778 ~x3691 ~x932 ~x2848 ~x88 ~x1779 ~x3692 ~x933 ~x2849 ~x89
94.17/94.41 v ~x1780 ~x3693 x934 ~x2850 ~x90 ~x1781 ~x3694 ~x935 ~x2851 ~x91
94.17/94.41 v ~x1782 ~x3695 ~x936 ~x2852 ~x92 ~x1783 ~x3696 ~x937 ~x2853 ~x93
94.17/94.41 v ~x1784 ~x3697 ~x938 ~x2854 ~x94 ~x1785 ~x3698 ~x939 ~x2855 ~x95
94.17/94.41 v ~x1786 ~x3699 ~x940 ~x2856 ~x96 ~x1787 ~x3700 ~x941 ~x2857 ~x97
94.17/94.41 v ~x1788 ~x3701 ~x942 ~x2858 ~x98 ~x1789 ~x3702 ~x943 ~x2859 ~x99
94.17/94.41 v ~x1790 ~x3703 ~x944 ~x2860 ~x100 ~x1791 ~x3704 ~x945 ~x2861 ~x101
94.17/94.41 v ~x1792 ~x3705 ~x946 ~x2862 ~x102 ~x1793 ~x3706 ~x947 ~x2863 ~x103
94.17/94.41 v ~x1794 x3707 ~x948 ~x2864 ~x104 ~x1795 ~x3708 ~x949 ~x2865 ~x105
94.17/94.41 v ~x1796 x3709 ~x950 ~x2866 ~x106 ~x1797 ~x3710 ~x951 ~x2867 ~x107
94.17/94.41 v ~x1798 ~x3711 ~x952 ~x2868 ~x108 ~x1799 ~x3712 ~x953 ~x2869 ~x109
94.17/94.41 v ~x1800 ~x3713 ~x954 ~x2870 ~x110 ~x1801 ~x3714 ~x955 ~x2871 ~x111
94.17/94.41 v ~x1802 ~x3715 ~x956 ~x2872 ~x112 ~x1803 ~x3716 ~x957 ~x2873 ~x113
94.17/94.41 v ~x1804 ~x3717 ~x958 ~x2874 ~x1805 ~x3718 ~x959 ~x2875 ~x1806 ~x3719
94.17/94.41 v ~x960 ~x114 ~x2876 ~x1807 ~x3720 ~x961 ~x115 ~x2877 ~x1808 ~x3721
94.17/94.41 v ~x962 ~x116 ~x2878 ~x1809 ~x3722 ~x963 ~x117 ~x2879 ~x1810 ~x3723
94.17/94.41 v ~x964 ~x118 ~x2880 ~x1811 ~x3724 ~x965 ~x119 ~x2881 ~x1812 ~x3725
94.17/94.41 v ~x966 ~x120 ~x2882 ~x1813 ~x3726 ~x967 ~x121 ~x2883 ~x1814 ~x3727
94.17/94.41 v ~x968 ~x122 ~x2884 ~x1815 ~x3728 ~x969 ~x123 ~x2885 ~x1816 ~x3729
94.17/94.41 v ~x970 ~x124 ~x2886 ~x1817 ~x3730 ~x971 ~x125 ~x2887 ~x1818 ~x3731
94.17/94.41 v ~x972 ~x126 ~x2888 ~x1819 ~x3732 x973 ~x127 ~x2889 ~x1820 ~x3733
94.17/94.41 v ~x974 ~x128 ~x2890 ~x1821 ~x3734 ~x975 ~x129 ~x2891 ~x1822 ~x3735
94.17/94.41 v ~x976 ~x130 ~x2892 ~x1823 ~x3736 ~x977 ~x131 ~x2893 ~x1824 ~x3737
94.17/94.41 v ~x978 ~x132 ~x2894 ~x1825 ~x3738 ~x979 ~x133 ~x2895 ~x1826 ~x3739
94.17/94.41 v ~x980 ~x134 ~x2896 ~x1827 ~x3740 ~x981 ~x135 ~x2897 ~x1828 ~x3741
94.17/94.41 v ~x982 ~x136 ~x2898 ~x1829 ~x3742 ~x983 ~x137 ~x2899 x1830 ~x3743
94.17/94.41 v ~x984 ~x138 ~x2900 ~x1831 ~x3744 ~x985 ~x139 ~x2901 ~x1832 ~x3745
94.17/94.41 v ~x986 ~x140 ~x2902 ~x1833 ~x3746 ~x987 ~x141 ~x2903 ~x1834 ~x3747
94.17/94.41 v ~x988 ~x142 ~x2904 ~x1835 ~x3748 ~x989 ~x143 ~x2905 ~x1836 ~x3749
94.17/94.41 v ~x990 x144 ~x2906 ~x1837 ~x3750 ~x991 ~x145 ~x2907 ~x1838 ~x3751
94.17/94.41 v ~x992 ~x146 ~x2908 ~x1839 ~x3752 ~x993 ~x147 ~x2909 ~x1840 ~x3753
94.17/94.41 v ~x994 ~x148 ~x2910 ~x1841 ~x3754 ~x995 ~x149 ~x2911 ~x1842 ~x3755
94.17/94.41 v ~x996 ~x150 ~x2912 ~x1843 ~x3756 ~x997 ~x151 ~x2913 ~x1844 ~x3757
94.17/94.41 v ~x998 ~x152 ~x2914 ~x1845 ~x3758 ~x999 ~x153 ~x2915 ~x1846 ~x3759
94.17/94.41 v ~x1000 ~x154 ~x2916 ~x1847 ~x3760 ~x1001 ~x155 ~x2917 ~x1848 ~x3761
94.17/94.41 v ~x1002 ~x156 ~x2918 ~x1849 ~x3762 ~x1003 ~x157 ~x2919 ~x1850 ~x3763
94.17/94.41 v ~x1004 ~x158 ~x2920 ~x1851 ~x3764 ~x1005 ~x159 ~x2921 ~x1852 ~x3765
94.17/94.41 v ~x1006 ~x160 ~x2922 ~x1853 ~x3766 ~x1007 ~x161 ~x2923 ~x1854 ~x3767
94.17/94.41 v ~x1008 ~x162 ~x2924 ~x1855 ~x3768 ~x1009 ~x163 ~x2925 ~x1856 ~x3769
94.17/94.41 v ~x1010 ~x164 ~x2926 ~x1857 ~x3770 ~x1011 ~x165 ~x2927 ~x1858 ~x3771
94.17/94.41 v ~x1012 ~x166 ~x2928 ~x1859 ~x3772 ~x1013 ~x167 ~x2929 ~x1860 ~x3773
94.17/94.41 v ~x1014 ~x168 ~x2930 ~x1861 ~x3774 ~x1015 ~x169 ~x2931 ~x1862 ~x3775
94.17/94.41 v ~x1016 ~x170 ~x2932 ~x1863 ~x3776 ~x1017 ~x171 ~x2933 ~x1864 ~x3777
94.17/94.41 v ~x1018 ~x172 ~x2934 ~x1865 ~x3778 ~x1019 ~x173 ~x2935 ~x1866 ~x3779
94.17/94.41 v ~x1020 ~x174 ~x2936 ~x1867 ~x3780 ~x1021 ~x175 ~x2937 ~x1868 ~x3781
94.17/94.41 v ~x1022 x176 ~x2938 ~x1869 ~x3782 ~x1023 ~x177 ~x2939 ~x1870 ~x3783
94.17/94.41 v ~x1024 ~x178 x2940 ~x1871 ~x3784 ~x1025 ~x179 ~x2941 ~x1872 ~x3785
94.17/94.41 v ~x1026 ~x180 x2942 ~x1873 ~x3786 ~x1027 ~x181 ~x2943 ~x1874 ~x3787
94.17/94.41 v ~x1028 ~x182 ~x2944 ~x1875 ~x3788 ~x1029 ~x183 ~x2945 ~x1876 ~x3789
94.17/94.41 v ~x1030 ~x184 ~x2946 ~x1877 ~x3790 ~x1031 ~x185 ~x2947 ~x1878 ~x3791
94.17/94.41 v ~x1032 ~x186 ~x2948 ~x1879 ~x3792 ~x1033 ~x187 ~x2949 ~x1880 ~x3793
94.17/94.41 v ~x1034 ~x188 ~x2950 ~x1881 ~x3794 ~x1035 ~x189 ~x2951 ~x1882 ~x3795
94.17/94.41 v ~x1036 ~x190 ~x2952 ~x1883 ~x3796 ~x1037 ~x191 ~x2953 ~x1884 ~x3797
94.17/94.41 v ~x1038 ~x192 ~x2954 ~x1885 ~x3798 ~x1039 ~x193 ~x2955 x1886 ~x3799
94.17/94.41 v ~x1040 ~x194 ~x2956 ~x1887 ~x3800 ~x1041 ~x195 ~x2957 ~x1888 ~x3801
94.17/94.41 v ~x1042 ~x196 ~x2958 ~x1889 ~x3802 x1043 ~x197 ~x2959 ~x1890 ~x3803
94.17/94.41 v ~x1044 ~x198 ~x2960 ~x1891 ~x3804 ~x1045 ~x199 ~x2961 ~x1892 ~x3805
94.17/94.41 v ~x1046 ~x200 ~x2962 ~x1893 ~x3806 ~x1047 ~x201 ~x2963 ~x1894 ~x3807
94.17/94.41 v ~x1048 ~x202 ~x2964 ~x1895 ~x3808 ~x1049 ~x203 ~x2965 ~x1896 ~x3809
94.17/94.41 v ~x1050 ~x204 ~x2966 ~x1897 ~x3810 ~x1051 ~x205 ~x2967 ~x1898 ~x3811
94.17/94.41 v ~x1052 ~x206 ~x2968 ~x1899 ~x3812 ~x1053 ~x207 ~x2969 ~x1900 ~x3813
94.17/94.41 v ~x1054 ~x208 ~x2970 ~x1901 ~x3814 ~x1055 ~x209 ~x2971 x1902 ~x3815
94.17/94.41 v ~x1056 ~x210 ~x2972 ~x1903 ~x3816 ~x1057 ~x211 ~x2973 ~x1904 ~x3817
94.17/94.41 v ~x1058 x212 ~x1905 ~x3818 ~x1059 ~x213 ~x2974 ~x1906 ~x3819 ~x1060
94.17/94.41 v ~x214 ~x2975 ~x1907 ~x3820 ~x1061 ~x215 ~x2976 ~x1908 ~x3821 ~x1062
94.17/94.41 v ~x216 ~x2977 ~x1909 ~x3822 ~x1063 ~x217 ~x2978 ~x1910 ~x3823 ~x1064
94.17/94.41 v ~x218 ~x2979 ~x1911 ~x3824 ~x1065 ~x219 ~x2980 ~x1912 ~x3825 ~x1066
94.17/94.41 v ~x220 ~x2981 ~x1913 ~x3826 ~x1067 ~x221 ~x2982 ~x1914 ~x3827 ~x1068
94.17/94.41 v ~x222 ~x2983 ~x1915 ~x3828 ~x1069 ~x223 ~x2984 ~x1916 ~x3829 ~x1070
94.17/94.41 v ~x224 ~x2985 ~x1917 ~x3830 ~x1071 ~x225 ~x2986 ~x1918 ~x3831 ~x1072
94.17/94.41 v ~x226 ~x2987 ~x1919 ~x3832 ~x1073 ~x227 ~x2988 ~x1920 ~x3833 ~x1074
94.17/94.41 v ~x228 ~x2989 ~x1921 ~x3834 ~x1075 ~x229 ~x2990 ~x1922 ~x3835 ~x1076
94.17/94.41 v ~x230 ~x2991 ~x1923 ~x3836 ~x1077 ~x231 ~x2992 ~x1924 ~x3837 ~x1078
94.17/94.41 v ~x232 ~x2993 ~x1925 ~x3838 ~x1079 ~x233 ~x2994 ~x1926 ~x3839 ~x1080
94.17/94.41 v ~x234 ~x2995 ~x1927 ~x3840 ~x1081 ~x235 ~x2996 ~x1928 ~x3841 ~x1082
94.17/94.41 v ~x236 ~x2997 ~x1929 ~x3842 ~x1083 ~x237 ~x2998 ~x1930 ~x3843 ~x1084
94.17/94.41 v ~x238 ~x2999 ~x1931 ~x3844 ~x1085 ~x239 ~x3000 ~x1932 ~x3845 ~x1086
94.17/94.41 v ~x240 ~x3001 ~x1933 ~x3846 x1087 ~x241 ~x3002 ~x1934 ~x3847 ~x1088
94.17/94.41 v ~x242 ~x3003 ~x1935 ~x3848 ~x1089 ~x243 ~x3004 ~x1936 ~x3849 ~x1090
94.17/94.41 v ~x244 ~x3005 ~x1937 ~x3850 ~x1091 ~x245 ~x3006 ~x1938 ~x3851 ~x1092
94.17/94.41 v ~x246 ~x3007 ~x1939 ~x3852 ~x1093 ~x247 ~x3008 ~x1940 ~x3853 ~x1094
94.17/94.41 v ~x248 ~x3009 ~x1941 x3854 ~x1095 ~x249 ~x3010 ~x1942 ~x3855 ~x1096
94.17/94.41 v ~x250 ~x3011 ~x1943 ~x3856 ~x1097 ~x251 ~x3012 ~x1944 ~x3857 ~x1098
94.17/94.41 v ~x252 ~x3013 ~x1945 ~x3858 ~x1099 ~x253 ~x3014 ~x1946 ~x3859 ~x1100
94.17/94.41 v ~x254 ~x3015 ~x1947 ~x3860 ~x1101 ~x255 ~x3016 ~x1948 ~x3861 ~x1102
94.17/94.41 v ~x256 ~x3017 ~x1949 ~x3862 ~x1103 ~x257 ~x3018 ~x1950 ~x3863 ~x1104
94.17/94.41 v ~x258 ~x3019 ~x1951 ~x3864 ~x1105 ~x259 ~x3020 ~x1952 ~x3865 ~x1106
94.17/94.41 v ~x260 ~x3021 ~x1953 ~x3866 ~x1107 ~x261 ~x3022 ~x1954 ~x3867 ~x1108
94.17/94.41 v ~x262 ~x3023 ~x1955 ~x3868 ~x1109 ~x263 ~x3024 ~x1956 ~x3869 ~x1110
94.17/94.41 v ~x264 ~x3025 ~x1957 ~x3870 ~x1111 ~x265 ~x3026 ~x1958 ~x3871 ~x1112
94.17/94.41 v ~x266 ~x3027 ~x1959 ~x3872 ~x1113 ~x267 ~x3028 ~x1960 ~x3873 ~x1114
94.17/94.41 v ~x268 ~x3029 ~x1961 ~x3874 ~x1115 ~x269 ~x3030 ~x1962 ~x3875 ~x1116
94.17/94.41 v ~x270 ~x3031 ~x1963 ~x3876 ~x1117 ~x271 ~x3032 ~x1964 ~x3877 ~x1118
94.17/94.41 v ~x272 ~x3033 ~x1965 ~x3878 ~x1119 ~x273 ~x3034 ~x1966 ~x3879 ~x1120
94.17/94.41 v ~x274 ~x3035 ~x1967 ~x3880 ~x1121 ~x275 ~x3036 ~x1968 ~x3881 ~x1122
94.17/94.41 v ~x276 x3037 ~x1969 ~x3882 ~x1123 ~x277 ~x3038 ~x1970 ~x3883 ~x1124
94.17/94.41 v ~x278 ~x3039 ~x1971 ~x3884 ~x1125 ~x279 ~x3040 ~x1972 ~x3885 ~x1126
94.17/94.41 v ~x280 ~x3041 ~x1973 ~x3886 ~x1127 ~x281 ~x3042 ~x1974 ~x3887 ~x1128
94.17/94.41 v ~x282 ~x3043 ~x1975 ~x3888 ~x1129 ~x283 ~x3044 ~x1976 ~x3889 ~x1130
94.17/94.41 v ~x284 ~x3045 ~x1977 ~x3890 ~x1131 ~x285 ~x3046 ~x1978 ~x3891 ~x1132
94.17/94.41 v ~x286 ~x3047 ~x1979 ~x3892 ~x1133 ~x287 ~x3048 ~x1980 ~x3893 ~x1134
94.17/94.41 v ~x288 ~x3049 ~x1981 ~x3894 x1135 ~x289 ~x3050 x1982 ~x3895 ~x1136
94.17/94.41 v ~x290 ~x3051 ~x1983 ~x3896 ~x1137 ~x291 ~x3052 ~x1984 ~x3897 ~x1138
94.17/94.41 v ~x292 ~x3053 ~x1985 ~x3898 ~x1139 ~x293 ~x3054 ~x1986 ~x3899 ~x1140
94.17/94.41 v ~x294 ~x3055 ~x1987 x3900 ~x1141 ~x295 ~x3056 ~x1988 ~x3901 ~x1142
94.17/94.41 v ~x296 ~x3057 ~x1989 ~x3902 ~x1143 ~x297 ~x3058 ~x1990 ~x3903 ~x1144
94.17/94.41 v ~x298 ~x3059 ~x1991 ~x3904 ~x1145 ~x299 ~x3060 ~x1992 ~x3905 ~x1146
94.17/94.41 v x300 ~x3061 ~x1993 ~x3906 ~x1147 ~x301 ~x3062 ~x1994 ~x3907 ~x1148
94.17/94.41 v ~x302 ~x3063 ~x1995 ~x3908 ~x1149 ~x303 ~x3064 ~x1996 ~x3909 ~x1150
94.17/94.41 v ~x304 ~x3065 ~x1997 ~x3910 ~x1151 ~x305 ~x3066 ~x1998 ~x3911 ~x1152
94.17/94.41 v ~x306 ~x3067 ~x1999 ~x3912 ~x1153 ~x307 ~x3068 ~x2000 ~x3913 ~x1154
94.17/94.41 v ~x308 x3069 ~x2001 ~x3914 ~x1155 ~x309 ~x3070 ~x2002 ~x3915 ~x1156
94.17/94.41 v ~x310 ~x3071 ~x2003 ~x3916 ~x1157 ~x311 ~x3072 ~x2004 ~x3917 ~x1158
94.17/94.41 v ~x312 ~x3073 ~x2005 ~x3918 ~x1159 ~x313 ~x3074 ~x2006 ~x3919 ~x1160
94.17/94.41 v ~x314 ~x3075 ~x2007 ~x3920 ~x1161 ~x315 ~x3076 ~x2008 ~x3921 ~x1162
94.17/94.41 v x316 ~x3077 ~x2009 ~x3922 ~x1163 ~x317 ~x3078 ~x2010 ~x3923 ~x1164
94.17/94.41 v ~x318 ~x3079 ~x2011 ~x3924 ~x1165 ~x319 ~x3080 ~x2012 ~x3925 ~x1166
94.17/94.41 v ~x320 x3081 ~x2013 ~x3926 ~x1167 ~x321 ~x3082 ~x2014 ~x3927 x1168
94.17/94.41 v ~x322 ~x3083 ~x2015 ~x3928 ~x1169 ~x323 ~x3084 ~x2016 ~x3929 ~x1170
94.17/94.41 v ~x324 ~x2017 ~x3085 ~x1171 x3930 ~x325 ~x3086 ~x2018 ~x3931 ~x1172
94.17/94.41 v ~x326 x3087 ~x2019 ~x3932 ~x1173 ~x327 ~x3088 ~x2020 ~x3933 ~x1174
94.17/94.41 v ~x328 ~x3089 ~x2021 ~x3934 ~x1175 ~x329 ~x3090 ~x2022 ~x3935 ~x1176
94.17/94.41 v ~x330 ~x3091 ~x2023 ~x3936 ~x1177 ~x331 ~x3092 ~x2024 ~x3937 ~x1178
94.17/94.41 v ~x332 ~x3093 ~x2025 ~x3938 ~x1179 ~x333 ~x3094 ~x2026 ~x3939 ~x1180
94.17/94.41 v ~x334 ~x3095 ~x2027 ~x3940 ~x1181 ~x335 ~x3096 ~x2028 ~x3941 ~x1182
94.17/94.41 v ~x336 ~x3097 ~x2029 ~x3942 ~x1183 ~x337 ~x3098 ~x2030 ~x3943 ~x1184
94.17/94.41 v ~x338 x3099 ~x2031 ~x3944 ~x1185 ~x339 ~x3100 ~x2032 ~x3945 ~x1186
94.17/94.41 v ~x340 ~x3101 ~x2033 ~x3946 ~x1187 ~x341 ~x3102 ~x2034 ~x3947 ~x1188
94.17/94.41 v ~x342 ~x3103 ~x2035 ~x3948 ~x1189 ~x343 ~x3104 ~x2036 ~x3949 ~x1190
94.17/94.41 v ~x344 ~x3105 ~x2037 ~x3950 ~x1191 ~x345 ~x3106 ~x2038 ~x3951 ~x1192
94.17/94.41 v ~x346 ~x3107 ~x2039 ~x3952 ~x1193 ~x347 ~x3108 ~x2040 ~x3953 ~x1194
94.17/94.41 v ~x348 ~x3109 ~x2041 ~x3954 ~x1195 ~x349 ~x3110 ~x2042 ~x3955 ~x1196
94.17/94.41 v ~x350 ~x3111 ~x2043 ~x3956 ~x1197 ~x351 ~x3112 ~x2044 ~x3957 ~x1198
94.17/94.41 v ~x352 ~x3113 x2045 ~x3958 ~x1199 ~x353 ~x3114 ~x2046 ~x3959 ~x1200
94.17/94.41 v ~x354 x3115 ~x2047 ~x3960 ~x1201 ~x355 ~x3116 ~x2048 ~x3961 ~x1202
94.17/94.41 v ~x356 x3117 ~x2049 ~x3962 ~x1203 ~x357 ~x3118 ~x2050 ~x3963 ~x1204
94.17/94.41 v ~x358 x3119 ~x2051 ~x3964 ~x1205 ~x359 ~x3120 ~x2052 ~x3965 ~x1206
94.17/94.41 v ~x360 ~x3121 ~x2053 ~x3966 ~x1207 ~x361 ~x3122 ~x2054 ~x3967 ~x1208
94.17/94.41 v ~x362 ~x3123 ~x2055 ~x3968 ~x1209 ~x363 ~x3124 ~x2056 ~x3969 ~x1210
94.17/94.41 v ~x364 ~x3125 ~x2057 ~x3970 ~x1211 ~x365 ~x3126 ~x2058 ~x3971 ~x1212
94.17/94.41 v ~x366 ~x3127 ~x2059 x3972 ~x1213 ~x367 ~x3128 ~x2060 ~x3973 ~x1214
94.17/94.41 v ~x368 ~x3129 ~x2061 ~x3974 ~x1215 ~x369 ~x3130 ~x2062 ~x3975 ~x1216
94.17/94.41 v ~x370 ~x3131 ~x2063 ~x3976 ~x1217 ~x371 ~x3132 ~x2064 ~x3977 ~x1218
94.17/94.41 v ~x372 ~x3133 ~x2065 ~x3978 ~x1219 ~x373 ~x3134 ~x2066 ~x3979 ~x1220
94.17/94.41 v ~x374 ~x3135 ~x2067 ~x3980 ~x1221 ~x375 ~x3136 ~x2068 ~x3981 ~x1222
94.17/94.41 v ~x376 ~x3137 ~x2069 ~x3982 ~x1223 ~x377 ~x3138 x2070 ~x3983 ~x1224
94.17/94.41 v ~x378 ~x3139 ~x2071 ~x3984 ~x1225 ~x379 ~x3140 ~x2072 ~x3985 ~x1226
94.17/94.41 v ~x380 ~x3141 ~x2073 ~x3986 ~x1227 x381 ~x3142 ~x2074 ~x3987 ~x1228
94.17/94.41 v ~x382 x3143 ~x2075 ~x3988 x1229 ~x383 ~x3144 ~x2076 ~x3989 ~x1230
94.17/94.41 v ~x384 ~x3145 ~x2077 ~x3990 ~x1231 ~x385 ~x3146 ~x2078 ~x3991 ~x1232
94.17/94.41 v ~x386 ~x3147 ~x2079 ~x3992 ~x1233 ~x387 ~x3148 ~x2080 ~x3993 ~x1234
94.17/94.41 v ~x388 ~x3149 ~x2081 ~x3994 ~x1235 ~x389 ~x3150 ~x2082 ~x3995 ~x1236
94.17/94.41 v ~x390 ~x3151 ~x2083 ~x3996 ~x1237 ~x391 ~x3152 ~x2084 ~x3997 ~x1238
94.17/94.41 v ~x392 ~x3153 ~x2085 ~x3998 ~x1239 ~x393 ~x3154 ~x2086 ~x3999 ~x1240
94.17/94.41 v ~x394 ~x3155 ~x2087 ~x4000 ~x1241 ~x395 ~x3156 ~x2088 ~x4001 ~x1242
94.17/94.41 v ~x396 x3157 ~x2089 ~x4002 ~x1243 ~x397 ~x3158 ~x2090 ~x4003 ~x1244
94.17/94.41 v ~x398 x3159 ~x2091 ~x4004 ~x1245 ~x399 ~x3160 ~x2092 ~x4005 ~x1246
94.17/94.41 v ~x400 ~x3161 ~x2093 ~x4006 ~x1247 ~x401 ~x3162 ~x2094 ~x4007 ~x1248
94.17/94.41 v ~x402 ~x3163 ~x2095 ~x4008 ~x1249 ~x403 ~x3164 ~x2096 ~x4009 ~x1250
94.17/94.41 v ~x404 ~x3165 ~x2097 ~x4010 ~x1251 ~x405 ~x3166 ~x2098 ~x4011 ~x1252
94.17/94.41 v ~x406 ~x3167 ~x2099 ~x4012 ~x1253 ~x407 ~x3168 ~x2100 ~x4013 ~x1254
94.17/94.41 v ~x408 ~x3169 ~x2101 ~x4014 ~x1255 ~x409 ~x3170 ~x2102 ~x4015 ~x1256
94.17/94.41 v ~x410 ~x3171 ~x2103 ~x4016 ~x1257 ~x411 ~x3172 ~x2104 ~x4017 ~x1258
94.17/94.41 v ~x412 ~x3173 ~x2105 ~x4018 ~x1259 ~x413 ~x3174 ~x2106 ~x4019 ~x1260
94.17/94.41 v x414 ~x3175 ~x2107 ~x4020 ~x1261 ~x415 ~x3176 ~x2108 ~x4021 ~x1262
94.17/94.41 v ~x416 ~x3177 ~x2109 ~x4022 ~x1263 ~x417 ~x3178 ~x2110 ~x4023 ~x1264
94.17/94.41 v ~x418 ~x3179 ~x2111 ~x4024 ~x1265 ~x419 ~x3180 ~x2112 ~x4025 ~x1266
94.17/94.41 v ~x420 ~x3181 ~x2113 ~x4026 ~x1267 ~x421 ~x3182 ~x2114 ~x4027 ~x1268
94.17/94.41 v ~x422 ~x3183 ~x2115 x4028 ~x1269 ~x423 ~x3184 ~x2116 ~x4029 ~x1270
94.17/94.41 v ~x424 ~x3185 ~x2117 ~x4030 ~x1271 ~x425 ~x3186 ~x2118 ~x4031 ~x1272
94.17/94.41 v ~x426 ~x3187 ~x2119 ~x4032 ~x1273 ~x427 ~x3188 ~x2120 ~x4033 x1274
94.17/94.41 v ~x428 ~x3189 ~x2121 ~x4034 ~x1275 ~x429 ~x3190 ~x2122 ~x4035 ~x1276
94.17/94.41 v ~x430 ~x3191 ~x2123 ~x4036 ~x1277 ~x431 ~x3192 ~x2124 ~x4037 ~x1278
94.17/94.41 v ~x432 ~x3193 x2125 ~x4038 ~x1279 ~x433 ~x3194 ~x2126 ~x4039 ~x1280
94.17/94.41 v ~x434 ~x3195 ~x2127 ~x4040 ~x1281 ~x435 ~x3196 ~x2128 ~x4041 ~x1282
94.17/94.41 v ~x436 ~x3197 ~x2129 ~x4042 ~x1283 ~x437 ~x3198 ~x2130 x4043 ~x1284
94.17/94.41 v ~x438 ~x3199 ~x2131 ~x4044 ~x1285 ~x439 ~x3200 ~x2132 ~x4045 ~x1286
94.17/94.41 v ~x440 ~x3201 ~x2133 ~x4046 ~x1287 ~x441 ~x3202 ~x2134 ~x4047 ~x1288
94.17/94.41 v ~x442 ~x3203 ~x2135 ~x4048 ~x1289 ~x443 ~x3204 ~x2136 ~x4049 ~x1290
94.17/94.41 v ~x444 ~x3205 ~x2137 ~x4050 ~x1291 ~x445 ~x3206 ~x2138 ~x4051 ~x1292
94.17/94.41 v ~x446 ~x3207 ~x2139 ~x4052 ~x1293 ~x447 ~x3208 ~x2140 ~x4053 ~x1294
94.17/94.41 v ~x448 ~x3209 ~x2141 ~x4054 ~x1295 ~x449 ~x3210 ~x2142 ~x4055 ~x1296
94.17/94.41 v ~x450 ~x3211 ~x2143 ~x4056 ~x1297 ~x451 ~x3212 ~x2144 ~x4057 ~x1298
94.17/94.41 v ~x452 ~x3213 ~x2145 ~x4058 ~x1299 ~x453 ~x3214 ~x2146 ~x4059 ~x1300
94.17/94.41 v ~x454 ~x3215 ~x2147 ~x4060 ~x1301 ~x455 ~x3216 ~x2148 ~x4061 ~x1302
94.17/94.41 v ~x456 ~x3217 ~x2149 ~x4062 ~x1303 ~x457 ~x3218 ~x2150 ~x4063 ~x1304
94.17/94.41 v ~x458 ~x3219 ~x2151 ~x4064 ~x1305 ~x459 ~x3220 ~x2152 ~x4065 ~x1306
94.17/94.41 v ~x460 ~x3221 ~x2153 ~x4066 ~x1307 ~x461 ~x3222 ~x2154 ~x4067 ~x1308
94.17/94.41 v ~x462 ~x3223 x2155 ~x4068 ~x1309 x463 ~x3224 ~x2156 ~x4069 ~x1310
94.17/94.41 v ~x464 ~x3225 ~x2157 ~x4070 ~x1311 ~x465 ~x3226 ~x2158 ~x4071 ~x1312
94.17/94.41 v ~x466 ~x3227 ~x2159 ~x4072 ~x1313 ~x467 ~x3228 ~x2160 ~x4073 ~x1314
94.17/94.41 v ~x468 ~x3229 ~x2161 ~x4074 ~x1315 ~x469 ~x3230 ~x2162 ~x4075 ~x1316
94.17/94.41 v ~x470 ~x3231 ~x2163 ~x4076 ~x1317 ~x471 ~x3232 ~x2164 ~x4077 ~x1318
94.17/94.41 v ~x472 ~x3233 ~x2165 ~x4078 ~x1319 ~x473 ~x3234 ~x2166 ~x4079 ~x1320
94.17/94.41 v ~x474 ~x3235 ~x2167 ~x4080 ~x1321 ~x475 ~x3236 ~x2168 ~x4081 ~x1322
94.17/94.41 v ~x476 ~x3237 ~x2169 ~x4082 ~x1323 ~x477 ~x3238 ~x2170 ~x4083 ~x1324
94.17/94.41 v ~x478 ~x3239 ~x2171 ~x4084 ~x1325 ~x479 ~x3240 ~x2172 ~x4085 ~x1326
94.17/94.41 v ~x480 ~x3241 ~x2173 ~x4086 ~x1327 ~x481 ~x3242 ~x2174 ~x4087 ~x1328
94.17/94.41 v ~x482 ~x3243 ~x2175 ~x4088 ~x1329 ~x483 ~x3244 ~x2176 ~x4089 ~x1330
94.17/94.41 v ~x484 ~x3245 ~x2177 ~x4090 ~x1331 ~x485 ~x3246 ~x2178 ~x4091 ~x1332
94.17/94.41 v ~x486 ~x3247 ~x2179 ~x4092 ~x1333 ~x487 ~x3248 ~x2180 ~x4093 ~x1334
94.17/94.41 v ~x488 ~x3249 ~x2181 ~x4094 ~x1335 ~x489 ~x3250 ~x2182 ~x4095 ~x1336
94.17/94.41 v ~x490 ~x3251 ~x2183 ~x4096 ~x1337 ~x491 ~x3252 ~x2184 ~x4097 ~x1338
94.17/94.41 v ~x492 ~x3253 ~x2185 ~x4098 ~x1339 ~x493 ~x3254 ~x2186 ~x4099 ~x1340
94.17/94.41 v ~x494 ~x3255 ~x2187 ~x4100 x1341 ~x495 ~x3256 ~x2188 ~x4101 ~x1342
94.17/94.41 v ~x496 ~x3257 ~x2189 ~x4102 ~x1343 ~x497 ~x3258 ~x2190 ~x4103 ~x1344
94.17/94.41 v ~x498 ~x3259 ~x2191 ~x4104 ~x1345 ~x499 ~x3260 ~x2192 ~x4105 ~x1346
94.17/94.41 v ~x500 ~x3261 ~x2193 x4106 ~x1347 ~x501 ~x3262 ~x2194 ~x4107 ~x1348
94.17/94.41 v ~x502 ~x3263 ~x2195 ~x4108 ~x1349 ~x503 ~x3264 ~x2196 ~x4109 ~x1350
94.17/94.41 v ~x504 ~x3265 ~x2197 ~x4110 ~x1351 ~x505 ~x3266 ~x2198 ~x4111 ~x1352
94.17/94.41 v ~x506 ~x3267 ~x2199 ~x4112 ~x1353 ~x507 ~x3268 ~x2200 ~x4113 ~x1354
94.17/94.41 v ~x508 ~x3269 ~x2201 ~x4114 ~x1355 ~x509 ~x3270 ~x2202 ~x4115 ~x1356
94.17/94.41 v ~x510 ~x3271 ~x2203 ~x4116 ~x1357 ~x511 ~x3272 ~x2204 ~x4117 x1358
94.17/94.41 v ~x512 ~x3273 ~x2205 ~x4118 ~x1359 ~x513 ~x3274 ~x2206 ~x4119 ~x1360
94.17/94.41 v ~x514 ~x3275 ~x2207 ~x4120 ~x1361 ~x515 ~x3276 ~x2208 ~x4121 ~x1362
94.17/94.41 v ~x516 ~x3277 ~x2209 ~x4122 ~x1363 ~x517 ~x3278 ~x2210 ~x4123 ~x1364
94.17/94.41 v ~x518 ~x3279 ~x2211 ~x4124 ~x1365 ~x519 ~x3280 ~x2212 ~x4125 ~x1366
94.17/94.41 v ~x520 ~x3281 ~x2213 ~x4126 ~x1367 ~x521 ~x3282 ~x2214 ~x4127 ~x1368
94.17/94.41 v ~x522 ~x3283 ~x2215 ~x4128 ~x1369 ~x523 ~x3284 ~x2216 ~x4129 ~x1370
94.17/94.41 v ~x524 ~x3285 ~x2217 ~x4130 ~x1371 ~x525 ~x3286 ~x2218 ~x4131 ~x1372
94.17/94.41 v ~x526 ~x3287 ~x2219 ~x4132 ~x1373 ~x527 ~x3288 ~x2220 ~x4133 ~x1374
94.17/94.41 v ~x528 ~x2 ~x3289 ~x2221 ~x4134 ~x1375 ~x529 ~x2501 ~x3290 ~x2222
94.17/94.41 v ~x4135 ~x1376 ~x530 ~x3291 ~x2223 ~x4136 ~x1377 ~x531 ~x3 x3292
94.17/94.41 v ~x2224 ~x4137 ~x1378 ~x532 ~x2502 ~x3293 ~x2225 ~x4138 ~x1379 x533
94.17/94.41 v ~x4 ~x3294 ~x2226 ~x4139 ~x1380 ~x534 ~x2503 ~x3295 ~x2227 ~x4140
94.17/94.41 v ~x1381 ~x535 ~x5 x3296 ~x2228 ~x4141 ~x1382 ~x536 x2504 ~x3297
94.17/94.41 v ~x2229 ~x4142 ~x1383 ~x537 ~x7 x3298 ~x2230 ~x4143 ~x1384 ~x538
94.17/94.41 v ~x2505 ~x3299 ~x2231 ~x4144 ~x1385 ~x539 ~x8 ~x3300 ~x4145 ~x1386
94.17/94.41 v ~x540 ~x2506 ~x3301 ~x4146 ~x1387 ~x541 ~x2232 ~x10 ~x3302 ~x4147
94.17/94.41 v ~x1388 ~x542 ~x2233 ~x2507 ~x3303 x4148 ~x1389 ~x543 ~x2234 ~x3304
94.17/94.41 v ~x4149 ~x1390 ~x544 ~x2235 ~x3305 ~x11 x4150 ~x1391 ~x545 ~x2236
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: 63931 MiB (58897 MiB free)
memory of node 1: 64510 MiB (57353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443622-1721309977/watcher-4443622-1721309977 -o /tmp/evaluation-result-4443622-1721309977/solver-4443622-1721309977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984427 --watchdog 3760 pb_picat HOME/instance-4443622-1721309977.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=987486, runsolver pid=987483
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.23 4.15 4.07 5/256 987487
/proc/meminfo: memFree=118992924/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=2033608 memory=34312 CPUtime=0.1 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 770 0 0 0 10 0 0 0 20 0 1 0 183163146 2082414592 8578 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 508402 8578 1345 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 34312 KiB
[startup+0.205707 s]*
/proc/loadavg: 4.23 4.15 4.07 5/256 987487
/proc/meminfo: memFree=118953928/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=2033608 memory=54792 CPUtime=0.2 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 780 0 0 0 20 0 0 0 20 0 1 0 183163146 2082414592 13698 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 508402 13698 1345 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 54792 KiB
[startup+0.305667 s]*
/proc/loadavg: 4.23 4.15 4.07 5/256 987487
/proc/meminfo: memFree=118918616/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=2033608 memory=73980 CPUtime=0.3 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 789 0 0 0 30 0 0 0 20 0 1 0 183163146 2082414592 18495 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 508402 18495 1505 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 73980 KiB
[startup+0.700222 s]
/proc/loadavg: 4.23 4.15 4.07 5/256 987487
/proc/meminfo: memFree=118846656/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=2033608 memory=143612 CPUtime=0.69 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 824 0 0 0 67 2 0 0 20 0 1 0 183163146 2082414592 35903 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 508402 35903 1505 439 0 503831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 143612 KiB
[startup+1.50022 s]
/proc/loadavg: 4.23 4.15 4.07 5/256 987487
/proc/meminfo: memFree=118676084/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=2033608 memory=286976 CPUtime=1.48 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 895 0 0 0 143 5 0 0 20 0 1 0 183163146 2082414592 71744 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 508402 71744 1505 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 286976 KiB
[startup+3.10561 s]
/proc/loadavg: 4.23 4.15 4.07 5/256 987487
/proc/meminfo: memFree=117342780/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=2033608 memory=569608 CPUtime=3.09 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 1074 0 0 0 298 11 0 0 20 0 1 0 183163146 2082414592 142402 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 508402 142402 1505 439 0 503831 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 569608 KiB
[startup+6.30021 s]
/proc/loadavg: 4.21 4.15 4.07 5/256 987487
/proc/meminfo: memFree=118286740/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=2033608 memory=1122572 CPUtime=6.28 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 1352 0 0 0 605 23 0 0 20 0 1 0 183163146 2082414592 280643 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 508402 280643 1505 439 0 503831 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 1122572 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.14 4.07 5/256 987535
/proc/meminfo: memFree=117054472/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=2033608 memory=1878296 CPUtime=12.66 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 1916 0 0 0 1228 38 0 0 20 0 1 0 183163146 2082414592 469574 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 508402 469574 1505 439 0 503831 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 1878296 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.07 5/256 987537
/proc/meminfo: memFree=111535516/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=8230464 memory=4568596 CPUtime=25.44 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 7509 0 0 0 2443 101 0 0 20 0 1 0 183163146 8427995136 1142149 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 2057616 1142149 1553 439 0 2053045 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 8230464 KiB
Current children cumulated memory: 4568596 KiB
[startup+51.1058 s]
/proc/loadavg: 4.17 4.14 4.08 5/259 987546
/proc/meminfo: memFree=110807896/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=7556756 memory=4429460 CPUtime=50.98 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 24098 0 0 0 4907 191 0 0 20 0 1 0 183163146 7738118144 1107365 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 1889189 1107365 1744 439 0 1884618 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 7556756 KiB
Current children cumulated memory: 4429460 KiB
[startup+94.4338 s]
# the end of solver process 987486 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=91.919 s, system=2.2989 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.17 4.14 4.08 5/259 987546
/proc/meminfo: memFree=110807896/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=7556756 memory=4429460 CPUtime=51.07 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 24098 0 0 0 4916 191 0 0 20 0 1 0 183163146 7738118144 1107365 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 1889189 1107365 1744 439 0 1884618 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 7556756 KiB
Current children cumulated memory: 4429460 KiB
[startup+76.8002 s]
/proc/loadavg: 4.11 4.13 4.07 5/259 987552
/proc/meminfo: memFree=110320516/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=7584096 memory=4492364 CPUtime=76.62 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 52845 0 0 0 7445 217 0 0 20 0 1 0 183163146 7766114304 1123091 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 1896024 1123091 1744 439 0 1891453 0
Current children cumulated CPU time: 76.62 s
Current children cumulated vsize: 7584096 KiB
Current children cumulated memory: 4492364 KiB
[startup+83.2002 s]
/proc/loadavg: 4.18 4.14 4.08 5/259 987553
/proc/meminfo: memFree=110266972/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=7584096 memory=4365268 CPUtime=83 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 54030 0 0 0 8079 221 0 0 20 0 1 0 183163146 7766114304 1091317 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 1896024 1091317 1744 439 0 1891453 0
Current children cumulated CPU time: 83 s
Current children cumulated vsize: 7584096 KiB
Current children cumulated memory: 4365268 KiB
[startup+89.6002 s]
/proc/loadavg: 4.17 4.14 4.08 5/259 987555
/proc/meminfo: memFree=110155764/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=7584096 memory=4385748 CPUtime=89.39 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 54041 0 0 0 8717 222 0 0 20 0 1 0 183163146 7766114304 1096437 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 1896024 1096437 1744 439 0 1891453 0
Current children cumulated CPU time: 89.39 s
Current children cumulated vsize: 7584096 KiB
Current children cumulated memory: 4385748 KiB
[startup+92.8002 s]
/proc/loadavg: 4.15 4.14 4.08 5/259 987555
/proc/meminfo: memFree=110016252/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=7584096 memory=4373464 CPUtime=92.58 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 55210 0 0 0 9031 227 0 0 20 0 1 0 183163146 7766114304 1093366 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 1896024 1093366 1744 439 0 1891453 0
Current children cumulated CPU time: 92.58 s
Current children cumulated vsize: 7584096 KiB
Current children cumulated memory: 4373464 KiB
[startup+93.6002 s]
/proc/loadavg: 4.15 4.14 4.08 5/259 987555
/proc/meminfo: memFree=110005984/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=7584096 memory=4373464 CPUtime=93.38 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 55210 0 0 0 9111 227 0 0 20 0 1 0 183163146 7766114304 1093366 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 1896024 1093366 1744 439 0 1891453 0
Current children cumulated CPU time: 93.38 s
Current children cumulated vsize: 7584096 KiB
Current children cumulated memory: 4373464 KiB
[startup+94.0002 s]*
/proc/loadavg: 4.15 4.14 4.08 5/259 987555
/proc/meminfo: memFree=109991620/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=7584096 memory=4379608 CPUtime=93.78 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 55213 0 0 0 9151 227 0 0 20 0 1 0 183163146 7766114304 1094902 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 1896024 1094902 1744 439 0 1891453 0
Current children cumulated CPU time: 93.78 s
Current children cumulated vsize: 7584096 KiB
Current children cumulated memory: 4379608 KiB
[startup+94.4002 s]
/proc/loadavg: 4.15 4.14 4.08 5/259 987555
/proc/meminfo: memFree=109991620/131524600 swapFree=131071996/131071996
[pid=987486] ppid=987483 vsize=7584096 memory=4381656 CPUtime=94.17 cores=4,6
/proc/987486/stat : 987486 (pb_picat) R 987483 987486 984416 0 -1 4194304 55214 0 0 0 9190 227 0 0 20 0 1 0 183163146 7766114304 1095414 134679101440 4194304 5989780 140737347524592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 16236544 140737347531800 140737347531876 140737347531876 140737347538892 0
/proc/987486/statm: 1896024 1095414 1744 439 0 1891453 0
Current children cumulated CPU time: 94.17 s
Current children cumulated vsize: 7584096 KiB
Current children cumulated memory: 4381656 KiB
Child status: 0
Real time (s): 94.4339
CPU time (s): 94.2179
CPU user time (s): 91.919
CPU system time (s): 2.2989
CPU usage (%): 99.7714
Max. virtual memory (cumulated for all children) (KiB): 8230464
Max. memory (cumulated for all children) (KiB): 4674352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.919
system time used= 2.2989
maximum resident set size= 4674352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55226
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= 4
involuntary context switches= 122
# summary of solver processes directly reported to runsolver:
# pid: 987486
# total CPU time (s): 94.2179
# total CPU user time (s): 91.919
# total CPU system time (s): 2.2989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.194167 second user time and 0.47892 second system time
The end
Begin job on nodeC025 at 2024-07-18 15:39:50
IDJOB=4443622
IDBENCH=147880
IDSOLVER=3068
FILE ID=nodeC025/4443622-1721309977
RUNJOBID= nodeC025-1721306176-984427
SLURM_JOB_ID= 7542640
Free space on /tmp= 889920 MiB
SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443622-1721309977/watcher-4443622-1721309977 -o /tmp/evaluation-result-4443622-1721309977/solver-4443622-1721309977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984427 --watchdog 3760 pb_picat HOME/instance-4443622-1721309977.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c3eb140254e3e729b39242302ead7012
RANDOM SEED=625976547
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3681.971
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3691.799
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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.960
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3600.043
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3656.854
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3691.794
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3682.686
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3600.000
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119045008 kB
MemAvailable: 125136560 kB
Buffers: 512884 kB
Cached: 6341596 kB
SwapCached: 0 kB
Active: 1058904 kB
Inactive: 10639704 kB
Active(anon): 1536 kB
Inactive(anon): 4880308 kB
Active(file): 1057368 kB
Inactive(file): 5759396 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 106940 kB
Writeback: 0 kB
AnonPages: 4840920 kB
Mapped: 114788 kB
Shmem: 37720 kB
KReclaimable: 228872 kB
Slab: 356360 kB
SReclaimable: 228872 kB
SUnreclaim: 127488 kB
KernelStack: 4112 kB
PageTables: 18576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 11569376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2664448 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889840 MiB
End job on nodeC025 at 2024-07-18 15:41:25