Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | OPT | 14 | 1402.29 | 1403.37 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb |
MD5SUM | b0c7ff7d1fa11c8e15b9d528879223a9 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 10.0265 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14 |
Optimality of the best value was proved | YES |
Number of variables | 3659 |
Total number of constraints | 9385 |
Number of constraints which are clauses | 9385 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 1787 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1787 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1787 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.19/0.27 c Converting 9283 PB-constraints to clauses... 0.19/0.27 c -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.19/0.28 c -- Detecting intervals from adjacent constraints: =########################################################################################################################== 0.19/0.28 c -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.29/0.30 c ---[5758]---> BDD-cost: 1 0.29/0.30 c ---[5685]---> BDD-cost: 1 0.29/0.30 c ---[5521]---> BDD-cost: 1 0.29/0.30 c ---[4996]---> BDD-cost: 1 0.29/0.30 c ---[4845]---> BDD-cost: 1 0.29/0.30 c ---[4833]---> BDD-cost: 1 0.29/0.30 c ---[4178]---> BDD-cost: 1 0.29/0.30 c ---[4175]---> BDD-cost: 1 0.29/0.30 c ---[4163]---> BDD-cost: 1 0.29/0.30 c ---[3953]---> BDD-cost: 1 0.29/0.30 c ---[3746]---> BDD-cost: 1 0.29/0.30 c ---[3584]---> BDD-cost: 1 0.29/0.30 c ---[3570]---> BDD-cost: 1 0.29/0.30 c ---[3561]---> BDD-cost: 1 0.29/0.30 c ---[3557]---> BDD-cost: 1 0.29/0.30 c ---[3435]---> BDD-cost: 1 0.29/0.30 c ---[3390]---> BDD-cost: 1 0.29/0.30 c ---[3383]---> BDD-cost: 1 0.29/0.30 c ---[3338]---> BDD-cost: 1 0.29/0.30 c ---[3331]---> BDD-cost: 1 0.29/0.30 c ---[3318]---> BDD-cost: 1 0.29/0.30 c ---[3315]---> BDD-cost: 1 0.29/0.30 c ---[3312]---> BDD-cost: 1 0.29/0.30 c ---[3309]---> BDD-cost: 1 0.29/0.30 c ---[3087]---> BDD-cost: 1 0.29/0.30 c ---[2909]---> BDD-cost: 1 0.29/0.30 c ---[2906]---> BDD-cost: 1 0.29/0.30 c ---[2798]---> BDD-cost: 1 0.29/0.30 c ---[2748]---> BDD-cost: 1 0.29/0.30 c ---[2744]---> BDD-cost: 1 0.29/0.30 c ---[2738]---> BDD-cost: 1 0.29/0.30 c ---[2642]---> BDD-cost: 1 0.29/0.30 c ---[2639]---> BDD-cost: 1 0.29/0.30 c ---[2613]---> BDD-cost: 1 0.29/0.30 c ---[2591]---> BDD-cost: 1 0.29/0.30 c ---[2552]---> BDD-cost: 1 0.29/0.30 c ---[2539]---> BDD-cost: 1 0.29/0.30 c ---[2532]---> BDD-cost: 1 0.29/0.30 c ---[2529]---> BDD-cost: 1 0.29/0.30 c ---[2487]---> BDD-cost: 1 0.29/0.30 c ---[2456]---> BDD-cost: 1 0.29/0.30 c ---[2453]---> BDD-cost: 1 0.29/0.30 c ---[2438]---> BDD-cost: 1 0.29/0.30 c ---[2427]---> BDD-cost: 1 0.29/0.30 c ---[2408]---> BDD-cost: 1 0.29/0.30 c ---[2404]---> BDD-cost: 1 0.29/0.30 c ---[2398]---> BDD-cost: 1 0.29/0.30 c ---[2385]---> BDD-cost: 1 0.29/0.30 c ---[2382]---> BDD-cost: 1 0.29/0.30 c ---[2376]---> BDD-cost: 1 0.29/0.30 c ---[2364]---> BDD-cost: 1 0.29/0.30 c ---[2358]---> BDD-cost: 1 0.29/0.30 c ---[2354]---> BDD-cost: 1 0.29/0.30 c ---[2351]---> BDD-cost: 1 0.29/0.30 c ---[2344]---> BDD-cost: 1 0.29/0.30 c ---[2341]---> BDD-cost: 1 0.29/0.30 c ---[2329]---> BDD-cost: 1 0.29/0.30 c ---[2323]---> BDD-cost: 1 0.29/0.30 c ---[2317]---> BDD-cost: 1 0.29/0.30 c ---[2314]---> BDD-cost: 1 0.29/0.30 c ---[2311]---> BDD-cost: 1 0.29/0.30 c ---[2308]---> BDD-cost: 1 0.29/0.30 c ---[2305]---> BDD-cost: 1 0.29/0.30 c ---[2299]---> BDD-cost: 1 0.29/0.30 c ---[2296]---> BDD-cost: 1 0.29/0.30 c ---[2136]---> BDD-cost: 1 0.29/0.30 c ---[1955]---> BDD-cost: 1 0.29/0.30 c ---[1939]---> BDD-cost: 1 0.29/0.30 c ---[1811]---> BDD-cost: 1 0.29/0.30 c ---[1808]---> BDD-cost: 1 0.29/0.30 c ---[1591]---> BDD-cost: 1 0.29/0.30 c ---[1575]---> BDD-cost: 1 0.29/0.30 c ---[1480]---> BDD-cost: 1 0.29/0.30 c ---[1463]---> BDD-cost: 1 0.29/0.30 c ---[1372]---> BDD-cost: 1 0.29/0.30 c ---[1362]---> BDD-cost: 1 0.29/0.30 c ---[1345]---> BDD-cost: 1 0.29/0.30 c ---[1283]---> BDD-cost: 1 0.29/0.30 c ---[1221]---> BDD-cost: 1 0.29/0.30 c ---[1215]---> BDD-cost: 1 0.29/0.30 c ---[1149]---> BDD-cost: 1 0.29/0.30 c ---[1024]---> BDD-cost: 1 0.29/0.30 c ---[1007]---> BDD-cost: 1 0.29/0.30 c ---[1004]---> BDD-cost: 1 0.29/0.30 c ---[ 946]---> BDD-cost: 1 0.29/0.30 c ---[ 943]---> BDD-cost: 1 0.29/0.30 c ---[ 926]---> BDD-cost: 1 0.29/0.30 c ---[ 917]---> BDD-cost: 1 0.29/0.30 c ---[ 914]---> BDD-cost: 1 0.29/0.30 c ---[ 911]---> BDD-cost: 1 0.29/0.30 c ---[ 895]---> BDD-cost: 1 0.29/0.30 c ---[ 889]---> BDD-cost: 1 0.29/0.30 c ---[ 886]---> BDD-cost: 1 0.29/0.30 c ---[ 883]---> BDD-cost: 1 0.29/0.30 c ---[ 870]---> BDD-cost: 1 0.29/0.30 c ---[ 867]---> BDD-cost: 1 0.29/0.30 c ---[ 864]---> BDD-cost: 1 0.29/0.30 c ---[ 861]---> BDD-cost: 1 0.29/0.30 c ---[ 852]---> BDD-cost: 1 0.29/0.30 c ---[ 822]---> BDD-cost: 1 0.29/0.30 c ---[ 791]---> BDD-cost: 1 0.29/0.30 c ---[ 785]---> BDD-cost: 1 0.29/0.30 c ---[ 761]---> BDD-cost: 1 0.29/0.30 c ---[ 755]---> BDD-cost: 1 0.29/0.30 c ---[ 722]---> BDD-cost: 1 0.29/0.30 c ---[ 696]---> BDD-cost: 1 0.29/0.30 c ---[ 689]---> BDD-cost: 1 0.29/0.30 c ---[ 683]---> BDD-cost: 1 0.29/0.30 c ---[ 615]---> BDD-cost: 1 0.29/0.30 c ---[ 612]---> BDD-cost: 1 0.29/0.30 c ---[ 600]---> BDD-cost: 1 0.29/0.30 c ---[ 597]---> BDD-cost: 1 0.29/0.30 c ---[ 581]---> BDD-cost: 1 0.29/0.30 c ---[ 527]---> BDD-cost: 1 0.29/0.30 c ---[ 524]---> BDD-cost: 1 0.29/0.30 c ---[ 518]---> BDD-cost: 1 0.29/0.30 c ---[ 515]---> BDD-cost: 1 0.29/0.30 c ---[ 509]---> BDD-cost: 1 0.29/0.30 c ---[ 503]---> BDD-cost: 1 0.29/0.30 c ---[ 497]---> BDD-cost: 1 0.29/0.30 c ==================================[MINISAT+]================================== 0.29/0.30 c | Conflicts | Original | Learnt | Progress | 0.29/0.30 c | | Clauses Literals | Max Clauses Literals LPC | | 0.29/0.31 c ============================================================================== 0.29/0.31 c | 0 | 8430 21683 | 2810 0 0 nan | 0.000 % | 0.29/0.31 c ============================================================================== 0.29/0.31 c [1mFound solution: 17[0m 0.29/0.31 o 17 0.29/0.32 c ---[ 0]---> Sorter-cost:95150 Base: 2.19/2.24 c ==================================[MINISAT+]================================== 2.19/2.24 c | Conflicts | Original | Learnt | Progress | 2.19/2.24 c | | Clauses Literals | Max Clauses Literals LPC | | 2.19/2.24 c ============================================================================== 2.19/2.24 c | 3 | 112034 263343 | 37344 2 6 3.0 | 0.000 % | 2.29/2.36 c | 105 | 112034 263343 | 41078 104 3827 36.8 | 2.238 % | 2.49/2.55 c | 255 | 112017 263309 | 45186 249 8993 36.1 | 2.245 % | 2.79/2.84 c ============================================================================== 2.79/2.84 c [1mFound solution: 16[0m 2.79/2.84 o 16 2.79/2.85 c ---[ 0]---> Sorter-cost: 0 Base: 4.59/4.64 c ==================================[MINISAT+]================================== 4.59/4.64 c | Conflicts | Original | Learnt | Progress | 4.59/4.64 c | | Clauses Literals | Max Clauses Literals LPC | | 4.59/4.64 c ============================================================================== 4.59/4.64 c | 427 | 112030 263342 | 37343 421 15498 36.8 | 2.245 % | 4.69/4.77 c | 527 | 112030 263342 | 41077 521 19420 37.3 | 2.246 % | 4.89/4.93 c | 678 | 112030 263342 | 45185 672 25338 37.7 | 2.246 % | 5.19/5.24 c | 903 | 112030 263342 | 49703 897 33559 37.4 | 2.246 % | 5.69/5.75 c | 1240 | 112030 263342 | 54673 1234 46246 37.5 | 2.246 % | 6.99/7.03 c | 1751 | 112030 263342 | 60141 1745 67654 38.8 | 2.246 % | 8.29/8.33 c | 2511 | 112030 263342 | 66155 2505 99417 39.7 | 2.246 % | 10.39/10.43 c | 3650 | 112030 263342 | 72770 3644 153505 42.1 | 2.246 % | 12.89/12.95 c ============================================================================== 12.89/12.95 c [1mFound solution: 15[0m 12.89/12.95 o 15 12.89/12.97 c ---[ 0]---> Sorter-cost: 0 Base: 14.69/14.74 c ==================================[MINISAT+]================================== 14.69/14.74 c | Conflicts | Original | Learnt | Progress | 14.69/14.74 c | | Clauses Literals | Max Clauses Literals LPC | | 14.69/14.74 c ============================================================================== 14.69/14.74 c | 4926 | 112003 263284 | 37334 4910 195186 39.8 | 2.246 % | 14.79/14.87 c | 5027 | 112003 263284 | 41067 5011 197728 39.5 | 2.285 % | 15.19/15.27 c | 5177 | 112003 263284 | 45174 5161 201962 39.1 | 2.285 % | 15.78/15.84 c | 5404 | 112003 263284 | 49691 5388 208708 38.7 | 2.285 % | 16.78/16.81 c | 5744 | 112003 263284 | 54660 5728 218274 38.1 | 2.285 % | 18.38/18.45 c | 6251 | 112003 263284 | 60126 6235 233819 37.5 | 2.285 % | 20.58/20.62 c | 7011 | 112003 263284 | 66139 6995 256044 36.6 | 2.285 % | 23.77/23.88 c | 8150 | 112003 263284 | 72753 8134 292822 36.0 | 2.285 % | 28.57/28.65 c | 9858 | 112003 263284 | 80028 9842 346974 35.3 | 2.285 % | 34.66/34.70 c | 12420 | 112003 263284 | 88031 12404 414123 33.4 | 2.285 % | 43.77/43.81 c | 16265 | 112003 263284 | 96834 16249 532180 32.8 | 2.285 % | 63.45/63.59 c | 22032 | 112003 263284 | 106518 22016 708125 32.2 | 2.285 % | 67.35/67.42 c ============================================================================== 67.35/67.42 c [1mFound solution: 14[0m 67.35/67.42 o 14 67.35/67.43 c ---[ 0]---> Sorter-cost: 0 Base: 69.15/69.26 c ==================================[MINISAT+]================================== 69.15/69.26 c | Conflicts | Original | Learnt | Progress | 69.15/69.26 c | | Clauses Literals | Max Clauses Literals LPC | | 69.15/69.26 c ============================================================================== 69.15/69.26 c | 23186 | 112016 263317 | 37338 23170 746322 32.2 | 2.285 % | 69.54/69.65 c | 23286 | 112016 263317 | 41071 23270 749726 32.2 | 2.286 % | 69.84/69.96 c | 23437 | 112016 263317 | 45178 23421 754803 32.2 | 2.286 % | 70.54/70.68 c | 23662 | 112016 263317 | 49696 23646 761759 32.2 | 2.286 % | 71.94/72.05 c | 24002 | 112016 263317 | 54666 23986 771042 32.1 | 2.286 % | 73.74/73.85 c | 24508 | 112016 263317 | 60133 24492 785650 32.1 | 2.286 % | 75.54/75.63 c | 25268 | 112016 263317 | 66146 25252 803606 31.8 | 2.286 % | 79.44/79.55 c | 26407 | 112016 263317 | 72761 26391 833093 31.6 | 2.286 % | 86.14/86.29 c | 28116 | 112016 263317 | 80037 28100 869394 30.9 | 2.286 % | 96.13/96.27 c | 30679 | 112016 263317 | 88041 30663 928565 30.3 | 2.286 % | 112.62/112.71 c | 34523 | 112016 263317 | 96845 34507 1036420 30.0 | 2.286 % | 135.60/135.79 c | 40292 | 112016 263317 | 106529 40276 1177617 29.2 | 2.286 % | 173.36/173.51 c | 48941 | 112016 263317 | 117182 48925 1372937 28.1 | 2.286 % | 231.70/231.97 c | 61915 | 112016 263317 | 128900 61899 1707034 27.6 | 2.286 % | 324.45/324.71 c | 81377 | 112016 263317 | 141790 81361 2127878 26.2 | 2.286 % | 449.46/449.81 c | 110569 | 112016 263317 | 155970 110553 2841793 25.7 | 2.286 % | 676.58/677.17 c | 154358 | 112016 263317 | 171567 154342 3816174 24.7 | 2.286 % | 939.49/940.20 c | 220047 | 112016 263317 | 188723 64431 1417306 22.0 | 2.286 % | 1336.16/1337.30 c | 318574 | 111700 262663 | 207596 111638 2566729 23.0 | 2.334 % | 1402.21/1403.34 c ============================================================================== 1402.21/1403.34 c [1mOptimal solution: 14[0m 1402.21/1403.34 s OPTIMUM FOUND 1402.21/1403.34 v -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 1402.21/1403.34 v -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 1402.21/1403.34 v -x280 -x282 -x284 -x286 -x288 x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 1402.21/1403.34 v -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 1402.21/1403.34 v -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 1402.21/1403.34 v -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 1402.21/1403.34 v -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 1402.21/1403.34 v -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 1402.21/1403.34 v -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x571 1402.21/1403.34 v -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 1402.21/1403.34 v -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 1402.21/1403.34 v -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 1402.21/1403.34 v -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 1402.21/1403.34 v -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 1402.21/1403.34 v -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 1402.21/1403.34 v -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 1402.21/1403.34 v -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x903 -x905 1402.21/1403.34 v -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 1402.21/1403.34 v -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x988 1402.21/1403.34 v -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 1402.21/1403.34 v -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 1402.21/1403.34 v -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 1402.21/1403.34 v -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 1402.21/1403.34 v -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 1402.21/1403.34 v -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 1402.21/1403.34 v -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 1402.21/1403.34 v -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1255 -x1257 -x1259 -x1261 1402.21/1403.34 v -x1263 -x1265 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 1402.21/1403.34 v -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 1402.21/1403.34 v -x1329 -x1331 -x1333 -x1335 -x1337 -x1338 -x1340 -x1342 -x1344 -x1346 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 1402.21/1403.34 v -x1361 -x1363 -x1365 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 1402.21/1403.34 v -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1405 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 1402.21/1403.34 v -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 1402.21/1403.34 v -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 1402.21/1403.34 v -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 1402.21/1403.34 v -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 1402.21/1403.34 v -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 1402.21/1403.34 v -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 1402.21/1403.34 v -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 1402.21/1403.34 v -x1663 -x1665 -x1667 -x1669 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 1402.21/1403.34 v -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1721 -x1723 -x1725 -x1727 1402.21/1403.34 v -x1729 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 1402.21/1403.34 v -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 1402.21/1403.34 v -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 1402.21/1403.34 v -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1859 1402.21/1403.34 v -x1861 -x1863 -x1865 -x1867 -x1869 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1889 -x1891 1402.21/1403.34 v -x1893 -x1895 -x1897 -x1899 -x1901 -x1902 -x1904 -x1906 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 1402.21/1403.34 v -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 1402.21/1403.34 v -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 1402.21/1403.34 v -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 1402.21/1403.34 v -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 x2048 -x2050 -x2052 -x2054 -x2056 -x2058 1402.21/1403.34 v -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 1402.21/1403.34 v -x2094 -x2096 -x2098 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 1402.21/1403.34 v x2127 -x2129 -x2131 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2159 1402.21/1403.34 v -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 1402.21/1403.34 v -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2208 -x2210 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2222 -x2224 1402.21/1403.34 v -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 1402.21/1403.34 v -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 1402.21/1403.34 v -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2320 -x2322 -x2324 1402.21/1403.34 v -x2326 -x2328 -x2330 -x2332 x2333 -x2335 -x2336 -x2338 -x2340 -x2342 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 1402.21/1403.34 v -x2357 -x2359 -x2360 -x2362 x2363 -x2365 -x2367 -x2369 -x2371 -x2373 x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 1402.21/1403.34 v -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 1402.21/1403.34 v -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 x2453 -x2455 1402.21/1403.34 v -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2484 -x2486 -x2488 1402.21/1403.34 v -x2490 -x2492 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2506 -x2508 -x2510 -x2511 -x2513 -x2515 x2516 x2518 -x2520 1402.21/1403.34 v -x2521 -x2523 -x2525 -x2526 -x2528 x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 1402.21/1403.34 v -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 1402.21/1403.34 v -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 1402.21/1403.34 v -x2621 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 1402.21/1403.34 v -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 1402.21/1403.34 v -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 1402.21/1403.34 v -x2721 -x2723 -x2725 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 1402.21/1403.34 v -x2754 -x2756 -x2758 -x2760 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 1402.21/1403.34 v -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 1402.21/1403.34 v -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 1402.21/1403.34 v -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 1402.21/1403.34 v -x2888 -x2890 -x2892 -x2894 -x2896 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 1402.21/1403.34 v -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 1402.21/1403.34 v -x2955 -x2957 -x2959 -x2961 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2981 -x2983 -x2985 1402.21/1403.34 v -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3014 -x3016 -x3018 1402.21/1403.34 v -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 1402.21/1403.34 v -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 1402.21/1403.34 v -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3118 1402.21/1403.34 v -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 1402.21/1403.34 v -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 1402.21/1403.34 v -x3186 -x3188 -x3190 -x3192 -x3194 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 1402.21/1403.34 v -x3219 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3247 -x3249 1402.21/1403.34 v -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 1402.21/1403.34 v -x3284 -x3286 -x3288 -x3290 -x3291 -x3293 -x3295 -x3297 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3311 -x3313 1402.21/1403.34 v -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 -x3342 -x3344 1402.21/1403.34 v -x3346 -x3348 -x3350 -x3351 -x3353 -x3355 -x3357 -x3359 -x3360 x3361 -x3363 -x3364 -x3366 -x3367 -x3369 -x3370 -x3372 1402.21/1403.34 v -x3374 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3394 -x3396 -x3398 x3399 -x3401 -x3403 1402.21/1403.34 v -x3405 -x3407 -x3409 -x3411 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 1402.21/1403.34 v -x3438 -x3440 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3452 -x3454 -x3456 -x3458 -x3459 -x3461 -x3463 -x3464 -x3466 1402.21/1403.34 v -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3493 -x3495 -x3497 -x3499 1402.21/1403.34 v -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 1402.21/1403.34 v -x3535 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3547 -x3549 -x3551 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 1402.21/1403.34 v -x3565 -x3566 -x3568 -x3570 -x3571 -x3572 x3573 -x3575 -x3576 -x3577 -x3579 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 1402.21/1403.34 v -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3615 -x3616 -x3618 -x3620 1402.21/1403.34 v -x3622 -x3624 -x3626 -x3628 -x3630 -x3631 -x3632 -x3634 -x3636 -x3638 -x3640 -x3641 -x3642 -x3644 -x3646 -x3647 -x3649 1402.21/1403.34 v -x3651 -x3652 -x3654 -x3655 -x3657 -x3658 -x3659 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 1402.21/1403.34 v -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 1402.21/1403.34 v -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 x289 -x291 -x293 -x295 -x297 -x299 -x301 1402.21/1403.34 v -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 1402.21/1403.34 v -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 1402.21/1403.34 v -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 1402.21/1403.34 v -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x1 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 1402.21/1403.34 v -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 1402.21/1403.34 v -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 1402.21/1403.34 v -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x572 -x574 -x2 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 1402.21/1403.34 v -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 1402.21/1403.34 v -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 1402.21/1403.34 v -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x3 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x715 -x717 1402.21/1403.34 v -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 1402.21/1403.34 v -x4 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 1402.21/1403.34 v -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 1402.21/1403.34 v -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x5 1402.21/1403.34 v -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 1402.21/1403.34 v -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x6 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 1402.21/1403.34 v -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x989 -x991 -x993 -x995 -x997 -x999 -x7 -x1001 -x1003 -x1005 1402.21/1403.34 v -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x8 -x1031 -x1033 -x1035 -x1037 -x1039 1402.21/1403.34 v -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 1402.21/1403.34 v -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 1402.21/1403.34 v -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 1402.21/1403.34 v -x1143 -x1145 -x9 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 1402.21/1403.34 v -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x10 -x1203 -x1205 -x1207 -x1209 1402.21/1403.34 v -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 1402.21/1403.34 v -x1245 -x1247 -x1249 -x1251 -x1253 -x1256 -x1258 -x11 -x1260 -x1262 -x1264 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 1402.21/1403.34 v -x1282 -x1284 -x12 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 1402.21/1403.34 v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1339 -x13 -x1341 -x1343 -x1345 -x1348 -x1350 1402.21/1403.34 v -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x14 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 1402.21/1403.34 v -x1387 -x1389 -x1391 -x1393 -x15 -x1395 -x1397 -x1399 -x1401 -x1403 -x16 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 1402.21/1403.34 v -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 1402.21/1403.34 v -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 1402.21/1403.34 v -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 1402.21/1403.34 v -x1523 -x17 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 1402.21/1403.34 v -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1574 -x1576 -x18 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 1402.21/1403.34 v -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 1402.21/1403.34 v -x1626 -x1628 -x19 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x20 -x1656 1402.21/1403.34 v -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 1402.21/1403.34 v -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x21 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1722 -x1724 -x1726 1402.21/1403.34 v -x1728 -x1731 -x22 -x1733 -x1735 -x1737 -x1739 -x1741 -x1744 -x1746 -x1748 -x23 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 1402.21/1403.34 v -x24 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 1402.21/1403.34 v -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x25 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 1402.21/1403.34 v -x1830 -x1832 -x26 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1847 -x1849 -x1851 -x27 -x1853 -x1855 -x1857 -x1860 -x28 1402.21/1403.34 v -x1862 -x1864 -x1866 -x1868 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x29 -x1885 -x1887 -x1890 -x1892 -x1894 -x30 1402.21/1403.34 v -x1896 -x1898 -x1900 -x1903 -x31 -x1905 -x1908 -x32 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 1402.21/1403.34 v -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 1402.21/1403.34 v -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1993 -x1995 -x1997 1402.21/1403.34 v -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 x33 -x2023 -x2025 -x2027 -x2029 -x2031 1402.21/1403.34 v -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 1402.21/1403.34 v -x2067 -x2069 -x2071 -x2073 -x2075 -x34 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2100 1402.21/1403.34 v -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 x2126 -x2128 -x2130 -x2133 -x2135 1402.21/1403.34 v -x2137 -x2139 -x2141 -x2143 -x2145 x2147 -x2149 -x35 -x2151 -x2153 -x2155 -x2157 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 1402.21/1403.34 v -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x36 -x2198 -x2200 -x2202 -x2204 1402.21/1403.34 v -x2206 -x2209 -x2212 -x2214 -x2216 -x37 -x2218 -x2220 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x38 -x2238 -x2240 1402.21/1403.34 v -x2242 -x2244 -x2246 -x39 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 1402.21/1403.34 v -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x40 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 1402.21/1403.34 v -x2310 -x41 -x2312 -x2314 -x2316 -x2318 -x2321 -x2323 -x2325 -x2327 -x2329 x42 -x2331 -x2334 -x2337 -x43 -x2339 -x2341 1402.21/1403.34 v -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x44 -x2356 -x2358 -x2361 x45 -x2364 -x2366 -x2368 -x2370 -x2372 x46 -x47 -x2375 1402.21/1403.34 v -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 1402.21/1403.34 v -x2412 -x2414 -x2416 -x2418 -x48 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x49 -x2436 -x2438 -x2440 -x2442 1402.21/1403.34 v -x2444 -x2446 -x2448 -x2450 x50 x2452 -x2454 -x2456 -x51 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 1402.21/1403.34 v -x52 -x2476 -x2478 -x2480 -x2482 -x53 -x2485 -x54 -x55 -x2487 -x2489 -x2491 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x56 1402.21/1403.34 v -x2507 -x2509 -x57 -x2512 -x2514 x58 x2517 -x2519 -x59 -x2522 -x2524 -x60 -x2527 -x61 x62 -x2530 -x63 -x2532 -x2534 -x2536 1402.21/1403.34 v -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 1402.21/1403.34 v -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 1402.21/1403.34 v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x64 -x2639 1402.21/1403.34 v -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 1402.21/1403.34 v -x2675 -x2677 -x2679 -x2681 -x2683 -x65 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2700 -x2702 -x2704 -x2706 -x2708 1402.21/1403.34 v -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x66 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x67 -x2739 -x2741 1402.21/1403.34 v -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 1402.21/1403.34 v -x2778 -x68 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x69 -x2794 -x2796 -x2798 -x2800 -x2802 -x2805 -x2807 -x70 1402.21/1403.34 v -x2809 -x2811 -x2813 -x2815 -x71 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 1402.21/1403.34 v -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 1402.21/1403.34 v -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 1402.21/1403.34 v -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x72 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 1402.21/1403.34 v -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2963 -x2965 -x2967 -x2969 -x73 -x2971 -x2973 -x2975 -x2977 -x2979 1402.21/1403.34 v -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x74 -x3008 -x3010 -x3012 -x3015 1402.21/1403.34 v -x3017 -x3019 -x75 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 1402.21/1403.34 v -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x76 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x77 -x3077 -x3079 -x3081 1402.21/1403.34 v -x3083 -x3085 -x78 -x3087 -x3089 -x79 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3106 -x3108 -x3110 -x3112 -x3114 1402.21/1403.34 v -x3116 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3132 -x3134 -x80 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 1402.21/1403.34 v -x3152 -x3154 -x3156 -x3158 -x3160 -x81 -x3162 -x3164 -x3166 -x3168 x82 -x3171 -x3173 -x3175 -x3177 -x83 -x3179 -x3181 1402.21/1403.34 v -x3183 -x3185 -x84 -x85 -x3187 -x3189 -x3191 -x3193 -x3196 -x86 -x3198 -x3200 -x3202 -x87 -x3204 x88 -x89 -x3206 -x90 -x3208 1402.21/1403.34 v -x91 -x3210 -x3212 -x3214 -x3216 -x3218 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 1402.21/1403.34 v -x3245 -x3248 -x3250 -x92 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x93 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 x94 1402.21/1403.34 v -x3277 -x3279 -x95 -x3281 -x3283 -x3285 -x3287 -x3289 -x3292 -x96 -x3294 -x97 -x3296 x98 -x99 -x3299 -x3301 -x3303 -x3305 1402.21/1403.34 v -x3307 -x3309 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3329 -x3331 -x3333 -x3335 -x100 -x3338 -x3341 1402.21/1403.34 v -x3343 -x3345 -x3347 -x3349 -x101 -x3352 -x3354 -x3356 -x102 -x3358 x103 -x3362 -x3365 -x104 -x3368 -x105 x106 -x107 -x3371 1402.21/1403.34 v -x3373 -x3376 -x3378 -x3380 -x108 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 x109 -x110 -x111 x112 x113 -x3395 -x3397 -x114 1402.21/1403.34 v -x3400 x115 x116 -x117 x118 -x3402 -x3404 -x3406 -x3408 -x3410 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 1402.21/1403.34 v -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3442 -x3444 -x3446 -x3448 -x3450 -x119 -x3453 -x3455 -x3457 -x3460 -x3462 1402.21/1403.34 v -x120 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 x121 -x3477 -x122 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3494 1402.21/1403.34 v -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x123 -x3514 -x3516 -x3518 -x124 -x3520 -x3522 -x3524 -x125 1402.21/1403.34 v x126 -x3526 -x127 x128 -x129 -x3528 -x3530 -x3532 -x3534 -x3537 -x3539 x130 -x131 -x3541 x132 -x3543 -x133 -x3545 -x3548 1402.21/1403.34 v -x3550 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3567 x134 -x3569 x135 -x3574 -x136 -x137 -x3578 -x3580 -x3582 -x138 1402.21/1403.34 v -x139 -x140 -x141 -x3587 -x3589 -x3591 -x3593 -x3595 x142 -x3597 -x143 x144 -x145 x146 -x147 -x148 x149 -x150 x151 -x152 1402.21/1403.34 v -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3617 -x153 -x3619 -x154 -x3621 -x3623 -x155 -x156 -x3625 -x3627 1402.21/1403.34 v x157 -x3629 x158 -x159 -x3633 -x3635 -x160 -x3637 -x161 -x3639 -x162 x163 x164 -x165 -x3643 -x166 -x167 x168 x169 x170 x171 1402.21/1403.34 v x172 x173 -x174 -x175 -x3645 x176 x177 x178 -x3648 -x3650 -x179 x180 x181 -x3653 -x3656 x182 x183 x184 x185 x186 x187 x188 1402.21/1403.34 v -x189 x190 x191 x192 x193 x194 1402.21/1403.34 c _______________________________________________________________________________ 1402.21/1403.34 c 1402.21/1403.34 c restarts : 43 1402.21/1403.34 c conflicts : 333976 (238 /sec) 1402.21/1403.34 c decisions : 432320 (308 /sec) 1402.21/1403.34 c propagations : 0 (0 /sec) 1402.21/1403.34 c inspects : 0 (0 /sec) 1402.21/1403.34 c CPU time : 1401.99 s 1402.21/1403.34 c _______________________________________________________________________________
OK 14
/tmp/evaluation/372925-1177364983/instance-372925-1177364983.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-372925-1177364983 -o ROOT/results/node35/solver-372925-1177364983 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372925-1177364983/minisat+ /tmp/evaluation/372925-1177364983/instance-372925-1177364983.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.98 0.92 3/77 3869 /proc/meminfo: memFree=1589928/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=1536 CPUtime=0 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 206 0 0 0 0 0 0 0 18 0 1 0 184413750 1572864 193 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134627782 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 384 193 72 215 0 166 0 [startup+0.059723 s] /proc/loadavg: 0.93 0.98 0.92 3/77 3869 /proc/meminfo: memFree=1589928/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=2000 CPUtime=0.05 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 343 0 0 0 5 0 0 0 18 0 1 0 184413750 2048000 330 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 500 330 74 215 0 282 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2000 [startup+0.101727 s] /proc/loadavg: 0.93 0.98 0.92 3/77 3869 /proc/meminfo: memFree=1589928/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=2420 CPUtime=0.09 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 456 0 0 0 9 0 0 0 18 0 1 0 184413750 2478080 443 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 605 443 75 215 0 387 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2420 [startup+0.301751 s] /proc/loadavg: 0.93 0.98 0.92 3/77 3869 /proc/meminfo: memFree=1589928/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=4404 CPUtime=0.29 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 938 0 0 0 28 1 0 0 18 0 1 0 184413750 4509696 926 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 1101 926 87 215 0 883 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4404 [startup+0.701798 s] /proc/loadavg: 0.93 0.98 0.92 3/77 3869 /proc/meminfo: memFree=1589928/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=4928 CPUtime=0.69 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 1109 0 0 0 68 1 0 0 21 0 1 0 184413750 5046272 1096 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135005838 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 1232 1096 104 215 0 1014 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4928 [startup+1.50189 s] /proc/loadavg: 0.93 0.98 0.92 2/78 3870 /proc/meminfo: memFree=1585888/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=5084 CPUtime=1.49 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 1140 0 0 0 148 1 0 0 25 0 1 0 184413750 5206016 1127 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 1271 1127 104 215 0 1053 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5084 [startup+3.10108 s] /proc/loadavg: 0.93 0.98 0.92 2/78 3870 /proc/meminfo: memFree=1584288/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=20544 CPUtime=3.09 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 4801 0 0 0 306 3 0 0 25 0 1 0 184413750 21037056 4434 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134648487 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 5136 4434 110 215 0 4918 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20544 [startup+6.30145 s] /proc/loadavg: 0.93 0.98 0.92 2/78 3870 /proc/meminfo: memFree=1571872/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=20984 CPUtime=6.29 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 4921 0 0 0 626 3 0 0 25 0 1 0 184413750 21487616 4554 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 5246 4554 110 215 0 5028 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20984 [startup+12.7012 s] /proc/loadavg: 0.94 0.98 0.92 2/78 3870 /proc/meminfo: memFree=1571752/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=21116 CPUtime=12.69 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 4972 0 0 0 1266 3 0 0 25 0 1 0 184413750 21622784 4605 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580418 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 5279 4605 110 215 0 5061 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21116 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.92 2/78 3870 /proc/meminfo: memFree=1571048/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=21916 CPUtime=25.47 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 5277 0 0 0 2544 3 0 0 25 0 1 0 184413750 22441984 4790 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 5479 4790 110 215 0 5261 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 21916 [startup+51.1017 s] /proc/loadavg: 0.97 0.98 0.92 2/78 3870 /proc/meminfo: memFree=1569576/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=23680 CPUtime=51.06 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 5702 0 0 0 5102 4 0 0 25 0 1 0 184413750 24248320 5215 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 5920 5215 110 215 0 5702 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 23680 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.92 2/78 3870 /proc/meminfo: memFree=1567144/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=25784 CPUtime=102.24 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 6281 0 0 0 10220 4 0 0 25 0 1 0 184413750 26402816 5768 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580730 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 6446 5768 110 215 0 6228 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 25784 [startup+162.301 s] /proc/loadavg: 1.03 1.00 0.93 2/78 3870 /proc/meminfo: memFree=1565096/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=28004 CPUtime=162.16 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 6802 0 0 0 16211 5 0 0 25 0 1 0 184413750 28676096 6289 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 7001 6289 110 215 0 6783 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 28004 [startup+222.301 s] /proc/loadavg: 1.01 1.00 0.93 2/78 3870 /proc/meminfo: memFree=1562920/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=30004 CPUtime=222.1 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 7321 0 0 0 22205 5 0 0 25 0 1 0 184413750 30724096 6808 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 7501 6808 110 215 0 7283 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 30004 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 3870 /proc/meminfo: memFree=1561128/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=31980 CPUtime=282.07 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 7777 0 0 0 28201 6 0 0 25 0 1 0 184413750 32747520 7264 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 7995 7264 110 215 0 7777 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 31980 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 3870 /proc/meminfo: memFree=1559336/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=33808 CPUtime=342.03 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 8222 0 0 0 34196 7 0 0 25 0 1 0 184413750 34619392 7709 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 8452 7709 110 215 0 8234 0 Current children cumulated CPU time (s) 342.03 Current children cumulated vsize (KiB) 33808 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 3870 /proc/meminfo: memFree=1557352/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=36072 CPUtime=402 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 8730 0 0 0 40192 8 0 0 25 0 1 0 184413750 36937728 8217 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580450 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 9018 8217 110 215 0 8800 0 Current children cumulated CPU time (s) 402 Current children cumulated vsize (KiB) 36072 [startup+462.301 s] /proc/loadavg: 1.06 1.02 0.93 2/78 3870 /proc/meminfo: memFree=1555432/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=37980 CPUtime=461.95 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 9207 0 0 0 46187 8 0 0 25 0 1 0 184413750 38891520 8694 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 9495 8694 110 215 0 9277 0 Current children cumulated CPU time (s) 461.95 Current children cumulated vsize (KiB) 37980 [startup+522.301 s] /proc/loadavg: 1.02 1.01 0.93 2/78 3870 /proc/meminfo: memFree=1554088/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=39296 CPUtime=521.91 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 9554 0 0 0 52183 8 0 0 25 0 1 0 184413750 40239104 9041 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3869/statm: 9824 9041 110 215 0 9606 0 Current children cumulated CPU time (s) 521.91 Current children cumulated vsize (KiB) 39296 [startup+582.301 s] /proc/loadavg: 1.01 1.00 0.93 2/78 3870 /proc/meminfo: memFree=1552488/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=40876 CPUtime=581.85 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 9952 0 0 0 58176 9 0 0 25 0 1 0 184413750 41857024 9439 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581314 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 10219 9439 110 215 0 10001 0 Current children cumulated CPU time (s) 581.85 Current children cumulated vsize (KiB) 40876 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 3870 /proc/meminfo: memFree=1550888/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=42636 CPUtime=641.81 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 10331 0 0 0 64171 10 0 0 25 0 1 0 184413750 43659264 9818 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581113 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 10659 9818 110 215 0 10441 0 Current children cumulated CPU time (s) 641.81 Current children cumulated vsize (KiB) 42636 ################ # More data... # ################ /proc/meminfo: memFree=1548024/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=44420 CPUtime=701.76 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 10706 0 0 0 70157 19 0 0 25 0 1 0 184413750 45486080 10193 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11105 10193 110 215 0 10887 0 Current children cumulated CPU time (s) 701.76 Current children cumulated vsize (KiB) 44420 [startup+762.306 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1547496/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=45876 CPUtime=761.74 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11108 0 0 0 76148 26 0 0 25 0 1 0 184413750 46977024 10595 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11469 10595 110 215 0 11251 0 Current children cumulated CPU time (s) 761.74 Current children cumulated vsize (KiB) 45876 [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1547368/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=46008 CPUtime=821.7 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11142 0 0 0 82144 26 0 0 25 0 1 0 184413750 47112192 10629 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11502 10629 110 215 0 11284 0 Current children cumulated CPU time (s) 821.7 Current children cumulated vsize (KiB) 46008 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1547432/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=46008 CPUtime=881.65 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11142 0 0 0 88139 26 0 0 25 0 1 0 184413750 47112192 10629 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11502 10629 110 215 0 11284 0 Current children cumulated CPU time (s) 881.65 Current children cumulated vsize (KiB) 46008 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1547368/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=46312 CPUtime=941.59 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11195 0 0 0 94133 26 0 0 25 0 1 0 184413750 47423488 10682 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11578 10682 110 215 0 11360 0 Current children cumulated CPU time (s) 941.59 Current children cumulated vsize (KiB) 46312 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1547304/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=46476 CPUtime=1001.54 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11237 0 0 0 100128 26 0 0 25 0 1 0 184413750 47591424 10724 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11619 10724 110 215 0 11401 0 Current children cumulated CPU time (s) 1001.54 Current children cumulated vsize (KiB) 46476 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1547304/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=46556 CPUtime=1061.48 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11241 0 0 0 106122 26 0 0 25 0 1 0 184413750 47673344 10728 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11639 10728 110 215 0 11421 0 Current children cumulated CPU time (s) 1061.48 Current children cumulated vsize (KiB) 46556 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1547240/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=46556 CPUtime=1121.41 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11242 0 0 0 112115 26 0 0 25 0 1 0 184413750 47673344 10729 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/3869/statm: 11639 10729 110 215 0 11421 0 Current children cumulated CPU time (s) 1121.41 Current children cumulated vsize (KiB) 46556 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1547112/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=46860 CPUtime=1181.36 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11299 0 0 0 118109 27 0 0 25 0 1 0 184413750 47984640 10786 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11715 10786 110 215 0 11497 0 Current children cumulated CPU time (s) 1181.36 Current children cumulated vsize (KiB) 46860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1546728/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=47216 CPUtime=1241.32 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11373 0 0 0 124105 27 0 0 25 0 1 0 184413750 48349184 10860 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11804 10860 110 215 0 11586 0 Current children cumulated CPU time (s) 1241.32 Current children cumulated vsize (KiB) 47216 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1546600/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=47216 CPUtime=1301.29 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11401 0 0 0 130102 27 0 0 25 0 1 0 184413750 48349184 10888 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11804 10888 110 215 0 11586 0 Current children cumulated CPU time (s) 1301.29 Current children cumulated vsize (KiB) 47216 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1546216/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=47624 CPUtime=1361.24 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11492 0 0 0 136097 27 0 0 25 0 1 0 184413750 48766976 10979 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11906 10979 110 215 0 11688 0 Current children cumulated CPU time (s) 1361.24 Current children cumulated vsize (KiB) 47624 Solver just ended. Dumping a history of the last processes samples [startup+1382.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1546152/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=47624 CPUtime=1381.22 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11493 0 0 0 138095 27 0 0 25 0 1 0 184413750 48766976 10980 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11906 10980 110 215 0 11688 0 Current children cumulated CPU time (s) 1381.22 Current children cumulated vsize (KiB) 47624 [startup+1395.1 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1546088/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=47800 CPUtime=1394.02 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11505 0 0 0 139375 27 0 0 25 0 1 0 184413750 48947200 10992 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580411 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11950 10992 110 215 0 11732 0 Current children cumulated CPU time (s) 1394.02 Current children cumulated vsize (KiB) 47800 [startup+1398.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1546088/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=47800 CPUtime=1397.21 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11505 0 0 0 139694 27 0 0 25 0 1 0 184413750 48947200 10992 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11950 10992 110 215 0 11732 0 Current children cumulated CPU time (s) 1397.21 Current children cumulated vsize (KiB) 47800 [startup+1401.5 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1546088/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=47800 CPUtime=1400.41 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11505 0 0 0 140014 27 0 0 25 0 1 0 184413750 48947200 10992 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134568550 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11950 10992 110 215 0 11732 0 Current children cumulated CPU time (s) 1400.41 Current children cumulated vsize (KiB) 47800 [startup+1402.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1546088/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=47800 CPUtime=1401.21 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11505 0 0 0 140094 27 0 0 25 0 1 0 184413750 48947200 10992 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11950 10992 110 215 0 11732 0 Current children cumulated CPU time (s) 1401.21 Current children cumulated vsize (KiB) 47800 [startup+1403.1 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1546088/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=47800 CPUtime=1402.01 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11505 0 0 0 140174 27 0 0 25 0 1 0 184413750 48947200 10992 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11950 10992 110 215 0 11732 0 Current children cumulated CPU time (s) 1402.01 Current children cumulated vsize (KiB) 47800 [startup+1403.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 4068 /proc/meminfo: memFree=1546088/2055920 swapFree=4151200/4192956 [pid=3869] ppid=3867 vsize=47800 CPUtime=1402.21 /proc/3869/stat : 3869 (minisat+) R 3867 3869 3131 0 -1 4194304 11505 0 0 0 140194 27 0 0 25 0 1 0 184413750 48947200 10992 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134569782 0 0 4096 16386 0 0 0 17 0 0 0 /proc/3869/statm: 11950 10992 110 215 0 11732 0 Current children cumulated CPU time (s) 1402.21 Current children cumulated vsize (KiB) 47800 Child status: 30 Real time (s): 1403.37 CPU time (s): 1402.29 CPU user time (s): 1402.01 CPU system time (s): 0.282956 CPU usage (%): 99.9229 Max. virtual memory (cumulated for all children) (KiB): 47800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1402.01 system time used= 0.282956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11509 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= 123 involuntary context switches= 30090 runsolver used 1.2988 second user time and 3.83542 second system time The end
Begin job on node35 on Mon Apr 23 21:49:43 UTC 2007 IDJOB= 372925 IDBENCH= 25007 IDSOLVER= 156 FILE ID= node35/372925-1177364983 PBS_JOBID= 4675218 Free space on /tmp= 66304 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb COMMAND LINE= /tmp/evaluation/372925-1177364983/minisat+ /tmp/evaluation/372925-1177364983/instance-372925-1177364983.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node35/convwatcher-372925-1177364983 -o ROOT/results/node35/conversion-372925-1177364983 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372925-1177364983/instance-372925-1177364983.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-372925-1177364983 -o ROOT/results/node35/solver-372925-1177364983 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372925-1177364983/minisat+ /tmp/evaluation/372925-1177364983/instance-372925-1177364983.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9 RANDOM SEED= 647432697 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1590336 kB Buffers: 50416 kB Cached: 320528 kB SwapCached: 9380 kB Active: 230116 kB Inactive: 165216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1590336 kB SwapTotal: 4192956 kB SwapFree: 4151200 kB Dirty: 2828 kB Writeback: 0 kB Mapped: 31140 kB Slab: 55548 kB Committed_AS: 2543300 kB PageTables: 1996 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66304 MiB End job on node35 on Mon Apr 23 22:13:07 UTC 2007