Trace number 34277

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 NameAnswerObjective functionCPU timeWall clock time
PB-smodels 1.28SAT (TO)836 1800.29 1800.27

General information on the benchmark

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

Verifier Data (download as text)

OK	836

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.3 (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/node44/watcher-34277-1154044010 -o ROOT/results/node44/solver-34277-1154044010 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node44/34277-1154044010/instance-34277-1154044010.opb 74582990 ROOT/tmp/node44/34277-1154044010 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 29511
/proc/meminfo: memFree=1241664/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) R 29509 29511 29462 0 -1 4194304 267 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840473247 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/29511/statm: 1340 233 194 169 0 51 0
[pid=29512] ppid=29511 vsize=5360 CPUtime=0
/proc/29512/stat : 29512 (runpbsmodels) R 29511 29511 29462 0 -1 4194368 11 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 233 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 4293177 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/29512/statm: 1340 234 195 169 0 51 0

[startup+10.0024 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29516
/proc/meminfo: memFree=1236128/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=9.26
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1248 0 0 0 926 0 0 0 25 0 1 0 151271969 6430720 1212 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549899 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1212 210 20 0 1007 0
[pid=29516] ppid=29513 vsize=12268 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 151271969 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 10.57
Current children cumulated vsize (Kb) 41532

[startup+20.0094 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29516
/proc/meminfo: memFree=1236128/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=19.26
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 1926 0 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549886 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 20.57
Current children cumulated vsize (Kb) 41684

[startup+30.0164 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29516
/proc/meminfo: memFree=1236128/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=29.27
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 2926 1 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551039 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 30.58
Current children cumulated vsize (Kb) 41684

[startup+40.0225 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29516
/proc/meminfo: memFree=1236128/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=39.27
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 3926 1 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551071 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 40.58
Current children cumulated vsize (Kb) 41684

[startup+50.0295 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29516
/proc/meminfo: memFree=1236128/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=49.28
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 4927 1 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548896 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (Kb) 41684

[startup+60.0355 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29516
/proc/meminfo: memFree=1236128/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=59.28
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 5927 1 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531060 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 60.59
Current children cumulated vsize (Kb) 41684

[startup+70.0416 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29516
/proc/meminfo: memFree=1236128/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=69.28
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 6927 1 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550945 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 70.59
Current children cumulated vsize (Kb) 41684

[startup+80.0476 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29516
/proc/meminfo: memFree=1236128/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=79.29
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 7928 1 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550832 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 80.6
Current children cumulated vsize (Kb) 41684

[startup+90.0536 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29516
/proc/meminfo: memFree=1236128/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

################
# More data... #
################

[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=1791.9
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 179186 4 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548897 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (Kb) 41684

[startup+1794.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29714
/proc/meminfo: memFree=1235688/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=1792.9
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 179286 4 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550799 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 1794.21
Current children cumulated vsize (Kb) 41684

[startup+1795.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29714
/proc/meminfo: memFree=1235688/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=1793.91
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 179387 4 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531378 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 1795.22
Current children cumulated vsize (Kb) 41684

[startup+1796.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29714
/proc/meminfo: memFree=1235688/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=1794.92
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 179488 4 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555280 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (Kb) 41684

[startup+1797.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29714
/proc/meminfo: memFree=1235688/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=1795.92
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 179588 4 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134534208 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (Kb) 41684

[startup+1798.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29714
/proc/meminfo: memFree=1235688/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=1796.92
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 179688 4 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134533112 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 1798.23
Current children cumulated vsize (Kb) 41684

[startup+1799.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29714
/proc/meminfo: memFree=1235688/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=1797.93
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 179789 4 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134519784 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 1799.24
Current children cumulated vsize (Kb) 41684

[startup+1800.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29714
/proc/meminfo: memFree=1235688/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=1798.93
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 179889 4 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550250 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (Kb) 41684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 29714
/proc/meminfo: memFree=1235688/2055920 swapFree=4183100/4192956
[pid=29511] ppid=29509 vsize=5360 CPUtime=0
/proc/29511/stat : 29511 (runpbsmodels) S 29509 29511 29462 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151271968 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29511/statm: 1340 234 195 169 0 51 0
[pid=29512] ppid=29511 vsize=12268 CPUtime=0
/proc/29512/stat : 29512 (pbsmodels-v1.28) S 29511 29511 29462 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151271968 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/29512/statm: 3067 383 293 3 0 167 0
[pid=29513] ppid=29512 vsize=5356 CPUtime=1.31
/proc/29513/stat : 29513 (sh) S 29512 29511 29462 0 -1 4194304 311 844 0 0 0 0 131 0 16 0 1 0 151271969 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29513/statm: 1339 227 188 169 0 50 0
[pid=29515] ppid=29513 vsize=6280 CPUtime=1798.94
/proc/29515/stat : 29515 (smodels) R 29513 29511 29462 0 -1 4194304 1251 0 0 0 179890 4 0 0 25 0 1 0 151271969 6430720 1215 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531378 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 1570 1215 212 20 0 1007 0
[pid=29516] ppid=29513 vsize=12420 CPUtime=0
/proc/29516/stat : 29516 (pbout.pl) S 29513 29511 29462 0 -1 4194304 497 0 0 0 0 0 0 0 17 0 1 0 151271969 12718080 456 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/29516/statm: 3105 456 333 3 0 205 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (Kb) 41684

Sending SIGTERM to process tree (bottom up)

Child status: 0
Real time (s): 1800.27
CPU time (s): 1800.29
CPU user time (s): 1800.22
CPU system time (s): 0.065989
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (Kb): 41684
The end

Launcher Data (download as text)

Begin job on node44 on Thu Jul 27 23:46:51 UTC 2006


FILE ID= 34277-1154044010

PBS_JOBID= 881438

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-apex4.a.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node44/34277-1154044010/instance-34277-1154044010.opb 74582990  ROOT/tmp/node44/34277-1154044010
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-34277-1154044010 -o ROOT/results/node44/solver-34277-1154044010 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node44/34277-1154044010/instance-34277-1154044010.opb 74582990  ROOT/tmp/node44/34277-1154044010

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  59d685b710ba34babb28c57a0abba1bc

RANDOM SEED= 74582990

TIMEOUT= 1800 seconds


/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.238
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.238
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:       1241872 kB
Buffers:         28036 kB
Cached:         729480 kB
SwapCached:       3540 kB
Active:         272540 kB
Inactive:       493484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1241872 kB
SwapTotal:     4192956 kB
SwapFree:      4183100 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14480 kB
Slab:            34020 kB
Committed_AS:   609412 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node44 on Fri Jul 28 00:16:51 UTC 2006