Trace number 34458

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)108 1800.11 1800.35

General information on the benchmark

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

Verifier Data (download as text)

OK	108

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/node9/watcher-34458-1154049141 -o ROOT/results/node9/solver-34458-1154049141 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node9/34458-1154049141/instance-34458-1154049141.opb 527971548 ROOT/tmp/node9/34458-1154049141 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.99 2/64 15966
/proc/meminfo: memFree=1255216/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=6268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) R 15966 15966 15917 0 -1 4194304 64 0 0 0 0 0 0 0 20 0 1 0 151775214 6418432 46 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215416338781 0 0 4096 0 0 0 0 17 1 0 0
/proc/15967/statm: 1567 47 36 3 0 8 0

[startup+10.0025 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15971
/proc/meminfo: memFree=1251416/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=9.55
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 955 0 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551066 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 10.21
Current children cumulated vsize (Kb) 40128

[startup+20.0096 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15971
/proc/meminfo: memFree=1251416/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=19.56
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 1956 0 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521500 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 20.22
Current children cumulated vsize (Kb) 40128

[startup+30.0167 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15971
/proc/meminfo: memFree=1251416/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=29.56
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 2956 0 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548897 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 30.22
Current children cumulated vsize (Kb) 40128

[startup+40.0229 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15971
/proc/meminfo: memFree=1251416/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=39.56
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 3956 0 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 40.22
Current children cumulated vsize (Kb) 40128

[startup+50.03 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15971
/proc/meminfo: memFree=1251416/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=49.57
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 4957 0 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134521152 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 50.23
Current children cumulated vsize (Kb) 40128

[startup+60.0361 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15971
/proc/meminfo: memFree=1251352/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=59.57
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 5957 0 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531034 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 60.23
Current children cumulated vsize (Kb) 40128

[startup+70.0433 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15971
/proc/meminfo: memFree=1251352/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=69.57
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 6957 0 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549872 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 70.23
Current children cumulated vsize (Kb) 40128

[startup+80.0504 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15971
/proc/meminfo: memFree=1251352/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=79.58
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 7958 0 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 80.24
Current children cumulated vsize (Kb) 40128

[startup+90.0565 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15971
/proc/meminfo: memFree=1251352/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0

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

[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=1792.35
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 179233 2 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549938 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1793.01
Current children cumulated vsize (Kb) 40128

[startup+1794.29 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15973
/proc/meminfo: memFree=1250976/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=1793.36
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 179334 2 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134522012 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1794.02
Current children cumulated vsize (Kb) 40128

[startup+1795.29 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15973
/proc/meminfo: memFree=1250976/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=1794.36
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 179434 2 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550944 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1795.02
Current children cumulated vsize (Kb) 40128

[startup+1796.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15973
/proc/meminfo: memFree=1250976/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=1795.37
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 179535 2 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551055 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1796.03
Current children cumulated vsize (Kb) 40128

[startup+1797.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15973
/proc/meminfo: memFree=1250976/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=1796.37
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 179635 2 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134555136 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (Kb) 40128

[startup+1798.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15973
/proc/meminfo: memFree=1250976/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=1797.38
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 179736 2 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531207 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (Kb) 40128

[startup+1799.32 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15973
/proc/meminfo: memFree=1250976/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=1798.38
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 179836 2 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531505 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (Kb) 40128

[startup+1800.32 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15973
/proc/meminfo: memFree=1250976/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=1799.39
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 179937 2 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134527613 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (Kb) 40128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.33 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 15973
/proc/meminfo: memFree=1250976/2055920 swapFree=4183012/4192956
[pid=15966] ppid=15964 vsize=5360 CPUtime=0
/proc/15966/stat : 15966 (runpbsmodels) S 15964 15966 15917 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151775214 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15966/statm: 1340 234 195 169 0 51 0
[pid=15967] ppid=15966 vsize=12268 CPUtime=0
/proc/15967/stat : 15967 (pbsmodels-v1.28) S 15966 15966 15917 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151775214 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/15967/statm: 3067 383 293 3 0 167 0
[pid=15968] ppid=15967 vsize=5356 CPUtime=0.66
/proc/15968/stat : 15968 (sh) S 15967 15966 15917 0 -1 4194304 311 862 0 0 0 0 66 0 15 0 1 0 151775215 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15968/statm: 1339 227 188 169 0 50 0
[pid=15970] ppid=15968 vsize=4720 CPUtime=1799.39
/proc/15970/stat : 15970 (smodels) R 15968 15966 15917 0 -1 4194304 864 0 0 0 179937 2 0 0 25 0 1 0 151775215 4833280 828 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0
/proc/15970/statm: 1180 828 212 20 0 617 0
[pid=15971] ppid=15968 vsize=12424 CPUtime=0
/proc/15971/stat : 15971 (pbout.pl) S 15968 15966 15917 0 -1 4194304 499 0 0 0 0 0 0 0 16 0 1 0 151775215 12722176 458 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 215427887202 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/15971/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (Kb) 40128

Sending SIGTERM to process tree (bottom up)

Child status: 0
Real time (s): 1800.35
CPU time (s): 1800.11
CPU user time (s): 1800.06
CPU system time (s): 0.048992
CPU usage (%): 99.9865
Max. virtual memory (cumulated for all children) (Kb): 40128
The end

Launcher Data (download as text)

Begin job on node9 on Fri Jul 28 01:12:21 UTC 2006


FILE ID= 34458-1154049141

PBS_JOBID= 881800

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node9/34458-1154049141/instance-34458-1154049141.opb 527971548  ROOT/tmp/node9/34458-1154049141
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-34458-1154049141 -o ROOT/results/node9/solver-34458-1154049141 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node9/34458-1154049141/instance-34458-1154049141.opb 527971548  ROOT/tmp/node9/34458-1154049141

MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0
MD5SUM BENCH=  6272f76e60106089ef6773ef02321eb2

RANDOM SEED= 527971548

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.223
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.223
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:       1255424 kB
Buffers:         41516 kB
Cached:         683484 kB
SwapCached:       3620 kB
Active:         191208 kB
Inactive:       542284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1255424 kB
SwapTotal:     4192956 kB
SwapFree:      4183012 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14500 kB
Slab:            53068 kB
Committed_AS:   607020 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node9 on Fri Jul 28 01:42:21 UTC 2006