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