Trace number 45189

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-smodels 1.31SAT 63.0644 62.1774

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUM24c836f3fcb46569dfcfdc2eda4dee98
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.259959
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4608
Total number of constraints30348
Number of constraints which are clauses29328
Number of constraints which are cardinality constraints (but not clauses)942
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node31/watcher-45189-1149643033 -o ROOT/results/node31/solver-45189-1149643033 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45189-1149643033/instance-45189-1149643033.opb 960792420 ROOT/tmp/node31/45189-1149643033 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.94 0.98 0.99 2/64 1259
/proc/meminfo: memFree=1691008/2055920 swapFree=4181504/4192956
[pid=1259] ppid=1257 vsize=5260 CPUtime=0
/proc/1259/stat : 1259 (runpbsmodels) R 1257 1259 1213 0 -1 4194304 69 0 0 0 0 0 0 0 19 0 1 0 229967011 5386240 51 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 225609578633 0 0 4096 0 0 0 0 17 1 0 0
/proc/1259/statm: 1303 53 37 169 0 14 0

[startup+10.0025 s]
/proc/loadavg: 1.02 1.00 1.00 2/68 1264
/proc/meminfo: memFree=1683040/2055920 swapFree=4181504/4192956
[pid=1259] ppid=1257 vsize=5360 CPUtime=0
/proc/1259/stat : 1259 (runpbsmodels) S 1257 1259 1213 0 -1 4194304 286 0 0 0 0 0 0 0 19 0 1 0 229967011 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1259/statm: 1340 234 195 169 0 51 0
[pid=1260] ppid=1259 vsize=12268 CPUtime=0
/proc/1260/stat : 1260 (pbsmodels-v1.31) S 1259 1259 1213 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229967011 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1260/statm: 3067 383 293 3 0 167 0
[pid=1261] ppid=1260 vsize=5356 CPUtime=2.19
/proc/1261/stat : 1261 (sh) S 1260 1259 1213 0 -1 4194304 309 520 0 0 0 0 219 0 16 0 1 0 229967012 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1261/statm: 1339 227 188 169 0 50 0
[pid=1263] ppid=1261 vsize=8756 CPUtime=8.68
/proc/1263/stat : 1263 (smodels-2.31) R 1261 1259 1213 0 -1 4194304 1869 0 0 0 868 0 0 0 25 0 1 0 229967012 8966144 1833 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521510 0 0 4096 0 0 0 0 17 1 0 0
/proc/1263/statm: 2189 1833 211 21 0 1625 0
[pid=1264] ppid=1261 vsize=12268 CPUtime=0
/proc/1264/stat : 1264 (pbout.new.pl) S 1261 1259 1213 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229967012 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1264/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 10.87
Current children cumulated vsize (Kb) 44008

[startup+20.0093 s]
/proc/loadavg: 1.02 1.00 1.00 2/68 1264
/proc/meminfo: memFree=1682848/2055920 swapFree=4181504/4192956
[pid=1259] ppid=1257 vsize=5360 CPUtime=0
/proc/1259/stat : 1259 (runpbsmodels) S 1257 1259 1213 0 -1 4194304 286 0 0 0 0 0 0 0 19 0 1 0 229967011 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1259/statm: 1340 234 195 169 0 51 0
[pid=1260] ppid=1259 vsize=12268 CPUtime=0
/proc/1260/stat : 1260 (pbsmodels-v1.31) S 1259 1259 1213 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229967011 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1260/statm: 3067 383 293 3 0 167 0
[pid=1261] ppid=1260 vsize=5356 CPUtime=2.19
/proc/1261/stat : 1261 (sh) S 1260 1259 1213 0 -1 4194304 309 520 0 0 0 0 219 0 16 0 1 0 229967012 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1261/statm: 1339 227 188 169 0 50 0
[pid=1263] ppid=1261 vsize=9152 CPUtime=18.69
/proc/1263/stat : 1263 (smodels-2.31) R 1261 1259 1213 0 -1 4194304 1952 0 0 0 1869 0 0 0 25 0 1 0 229967012 9371648 1916 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533266 0 0 4096 0 0 0 0 17 1 0 0
/proc/1263/statm: 2288 1916 211 21 0 1724 0
[pid=1264] ppid=1261 vsize=12268 CPUtime=0
/proc/1264/stat : 1264 (pbout.new.pl) S 1261 1259 1213 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229967012 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1264/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 20.88
Current children cumulated vsize (Kb) 44404

[startup+30.0151 s]
/proc/loadavg: 1.01 1.00 1.00 2/68 1264
/proc/meminfo: memFree=1682784/2055920 swapFree=4181504/4192956
[pid=1259] ppid=1257 vsize=5360 CPUtime=0
/proc/1259/stat : 1259 (runpbsmodels) S 1257 1259 1213 0 -1 4194304 286 0 0 0 0 0 0 0 19 0 1 0 229967011 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1259/statm: 1340 234 195 169 0 51 0
[pid=1260] ppid=1259 vsize=12268 CPUtime=0
/proc/1260/stat : 1260 (pbsmodels-v1.31) S 1259 1259 1213 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229967011 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1260/statm: 3067 383 293 3 0 167 0
[pid=1261] ppid=1260 vsize=5356 CPUtime=2.19
/proc/1261/stat : 1261 (sh) S 1260 1259 1213 0 -1 4194304 309 520 0 0 0 0 219 0 16 0 1 0 229967012 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1261/statm: 1339 227 188 169 0 50 0
[pid=1263] ppid=1261 vsize=9152 CPUtime=28.69
/proc/1263/stat : 1263 (smodels-2.31) R 1261 1259 1213 0 -1 4194304 1970 0 0 0 2869 0 0 0 25 0 1 0 229967012 9371648 1934 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134529387 0 0 4096 0 0 0 0 17 1 0 0
/proc/1263/statm: 2288 1934 211 21 0 1724 0
[pid=1264] ppid=1261 vsize=12268 CPUtime=0
/proc/1264/stat : 1264 (pbout.new.pl) S 1261 1259 1213 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229967012 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1264/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 30.88
Current children cumulated vsize (Kb) 44404

[startup+40.021 s]
/proc/loadavg: 1.01 1.00 1.00 2/68 1264
/proc/meminfo: memFree=1682656/2055920 swapFree=4181504/4192956
[pid=1259] ppid=1257 vsize=5360 CPUtime=0
/proc/1259/stat : 1259 (runpbsmodels) S 1257 1259 1213 0 -1 4194304 286 0 0 0 0 0 0 0 19 0 1 0 229967011 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1259/statm: 1340 234 195 169 0 51 0
[pid=1260] ppid=1259 vsize=12268 CPUtime=0
/proc/1260/stat : 1260 (pbsmodels-v1.31) S 1259 1259 1213 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229967011 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1260/statm: 3067 383 293 3 0 167 0
[pid=1261] ppid=1260 vsize=5356 CPUtime=2.19
/proc/1261/stat : 1261 (sh) S 1260 1259 1213 0 -1 4194304 309 520 0 0 0 0 219 0 16 0 1 0 229967012 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1261/statm: 1339 227 188 169 0 50 0
[pid=1263] ppid=1261 vsize=9284 CPUtime=38.69
/proc/1263/stat : 1263 (smodels-2.31) R 1261 1259 1213 0 -1 4194304 2007 0 0 0 3869 0 0 0 25 0 1 0 229967012 9506816 1971 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518508 0 0 4096 0 0 0 0 17 1 0 0
/proc/1263/statm: 2321 1971 211 21 0 1757 0
[pid=1264] ppid=1261 vsize=12268 CPUtime=0
/proc/1264/stat : 1264 (pbout.new.pl) S 1261 1259 1213 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229967012 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1264/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 40.88
Current children cumulated vsize (Kb) 44536

[startup+50.0278 s]
/proc/loadavg: 1.01 1.00 1.00 2/68 1264
/proc/meminfo: memFree=1682592/2055920 swapFree=4181504/4192956
[pid=1259] ppid=1257 vsize=5360 CPUtime=0
/proc/1259/stat : 1259 (runpbsmodels) S 1257 1259 1213 0 -1 4194304 286 0 0 0 0 0 0 0 19 0 1 0 229967011 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1259/statm: 1340 234 195 169 0 51 0
[pid=1260] ppid=1259 vsize=12268 CPUtime=0
/proc/1260/stat : 1260 (pbsmodels-v1.31) S 1259 1259 1213 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229967011 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1260/statm: 3067 383 293 3 0 167 0
[pid=1261] ppid=1260 vsize=5356 CPUtime=2.19
/proc/1261/stat : 1261 (sh) S 1260 1259 1213 0 -1 4194304 309 520 0 0 0 0 219 0 16 0 1 0 229967012 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1261/statm: 1339 227 188 169 0 50 0
[pid=1263] ppid=1261 vsize=9416 CPUtime=48.7
/proc/1263/stat : 1263 (smodels-2.31) R 1261 1259 1213 0 -1 4194304 2013 0 0 0 4870 0 0 0 25 0 1 0 229967012 9641984 1977 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518519 0 0 4096 0 0 0 0 17 1 0 0
/proc/1263/statm: 2354 1977 211 21 0 1790 0
[pid=1264] ppid=1261 vsize=12268 CPUtime=0
/proc/1264/stat : 1264 (pbout.new.pl) S 1261 1259 1213 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229967012 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1264/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (Kb) 44668

[startup+60.0346 s]
/proc/loadavg: 1.07 1.02 1.00 2/68 1264
/proc/meminfo: memFree=1682592/2055920 swapFree=4181504/4192956
[pid=1259] ppid=1257 vsize=5360 CPUtime=0
/proc/1259/stat : 1259 (runpbsmodels) S 1257 1259 1213 0 -1 4194304 286 0 0 0 0 0 0 0 19 0 1 0 229967011 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1259/statm: 1340 234 195 169 0 51 0
[pid=1260] ppid=1259 vsize=12268 CPUtime=0
/proc/1260/stat : 1260 (pbsmodels-v1.31) S 1259 1259 1213 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229967011 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 225621098388 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/1260/statm: 3067 383 293 3 0 167 0
[pid=1261] ppid=1260 vsize=5356 CPUtime=2.19
/proc/1261/stat : 1261 (sh) S 1260 1259 1213 0 -1 4194304 309 520 0 0 0 0 219 0 16 0 1 0 229967012 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1261/statm: 1339 227 188 169 0 50 0
[pid=1263] ppid=1261 vsize=9416 CPUtime=58.7
/proc/1263/stat : 1263 (smodels-2.31) R 1261 1259 1213 0 -1 4194304 2016 0 0 0 5870 0 0 0 25 0 1 0 229967012 9641984 1980 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518610 0 0 4096 0 0 0 0 17 1 0 0
/proc/1263/statm: 2354 1980 211 21 0 1790 0
[pid=1264] ppid=1261 vsize=12268 CPUtime=0
/proc/1264/stat : 1264 (pbout.new.pl) S 1261 1259 1213 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229967012 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 225621094498 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/1264/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 60.89
Current children cumulated vsize (Kb) 44668

Child status: 0
Real time (s): 62.1774
CPU time (s): 63.0644
CPU user time (s): 63.0334
CPU system time (s): 0.030995
CPU usage (%): 101.427
Max. virtual memory (cumulated for all children) (Kb): 44668
The end

Launcher Data (download as text)

Begin job on node31 on Wed Jun  7 01:17:13 UTC 2006


FILE ID= 45189-1149643033

PBS_JOBID= 323688

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45189-1149643033/instance-45189-1149643033.opb 960792420  ROOT/tmp/node31/45189-1149643033
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node31/watcher-45189-1149643033 -o ROOT/results/node31/solver-45189-1149643033 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node31/45189-1149643033/instance-45189-1149643033.opb 960792420  ROOT/tmp/node31/45189-1149643033

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  24c836f3fcb46569dfcfdc2eda4dee98

RANDOM SEED= 960792420


/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.234
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.234
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:       1691216 kB
Buffers:         30536 kB
Cached:         265652 kB
SwapCached:       3352 kB
Active:          84356 kB
Inactive:       220704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1691216 kB
SwapTotal:     4192956 kB
SwapFree:      4181504 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14976 kB
Slab:            45628 kB
Committed_AS:   452932 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node31 on Wed Jun  7 01:18:16 UTC 2006