Trace number 45881

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.31SAT (TO)88 1800.69 1801.3

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	88

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/node1/watcher-45881-1154049145 -o ROOT/results/node1/solver-45881-1154049145 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node1/45881-1154049145/instance-45881-1154049145.opb 813885646 ROOT/tmp/node1/45881-1154049145 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 14926
/proc/meminfo: memFree=1569360/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=120 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) R 14926 14926 14877 0 -1 4194304 31 0 0 0 0 0 0 0 20 0 1 0 151776153 122880 13 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259350604504 0 0 4096 0 0 0 0 17 1 0 0
/proc/14927/statm: 31 23 17 3 0 3 0

[startup+10.0028 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 14931
/proc/meminfo: memFree=1565552/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=4484 CPUtime=9.46
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 787 0 0 0 945 1 0 0 25 0 1 0 151776153 4591616 751 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539285 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 1121 751 213 21 0 557 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 10.1
Current children cumulated vsize (Kb) 39892

[startup+20.0108 s]
/proc/loadavg: 0.94 0.98 0.99 2/68 14931
/proc/meminfo: memFree=1565488/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=4748 CPUtime=19.47
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 842 0 0 0 1946 1 0 0 25 0 1 0 151776153 4861952 806 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521054 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 1187 806 213 21 0 623 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (Kb) 40156

[startup+30.0178 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 14931
/proc/meminfo: memFree=1565296/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=4880 CPUtime=29.47
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 897 0 0 0 2946 1 0 0 25 0 1 0 151776153 4997120 861 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538396 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 1220 861 213 21 0 656 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 30.11
Current children cumulated vsize (Kb) 40288

[startup+40.0247 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 14931
/proc/meminfo: memFree=1565104/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=5144 CPUtime=39.47
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 955 0 0 0 3946 1 0 0 25 0 1 0 151776153 5267456 919 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 1286 919 213 21 0 722 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 40.11
Current children cumulated vsize (Kb) 40552

[startup+50.0317 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 14931
/proc/meminfo: memFree=1564848/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=5408 CPUtime=49.47
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 1011 0 0 0 4946 1 0 0 25 0 1 0 151776153 5537792 975 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558193 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 1352 975 213 21 0 788 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 50.11
Current children cumulated vsize (Kb) 40816

[startup+60.0387 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 14931
/proc/meminfo: memFree=1564656/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=5540 CPUtime=59.48
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 1067 0 0 0 5947 1 0 0 25 0 1 0 151776153 5672960 1031 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533102 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 1385 1031 213 21 0 821 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 60.12
Current children cumulated vsize (Kb) 40948

[startup+70.0457 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 14931
/proc/meminfo: memFree=1564464/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=5804 CPUtime=69.48
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 1121 0 0 0 6947 1 0 0 25 0 1 0 151776153 5943296 1085 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533236 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 1451 1085 213 21 0 887 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 70.12
Current children cumulated vsize (Kb) 41212

[startup+80.0526 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 14931
/proc/meminfo: memFree=1564208/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=6068 CPUtime=79.48
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 1176 0 0 0 7947 1 0 0 25 0 1 0 151776153 6213632 1140 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539590 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 1517 1140 213 21 0 953 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 80.12
Current children cumulated vsize (Kb) 41476

[startup+90.0596 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 14931
/proc/meminfo: memFree=1564016/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

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

/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 5846 0 0 0 179297 4 0 0 25 0 1 0 151776153 25272320 5810 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539532 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 6170 5810 213 21 0 5606 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 1793.65
Current children cumulated vsize (Kb) 60088

[startup+1795.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 14933
/proc/meminfo: memFree=1545136/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=24680 CPUtime=1794.02
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 5846 0 0 0 179398 4 0 0 25 0 1 0 151776153 25272320 5810 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538410 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 6170 5810 213 21 0 5606 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (Kb) 60088

[startup+1796.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 14933
/proc/meminfo: memFree=1545136/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=24680 CPUtime=1795.02
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 5846 0 0 0 179498 4 0 0 25 0 1 0 151776153 25272320 5810 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518845 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 6170 5810 213 21 0 5606 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 1795.66
Current children cumulated vsize (Kb) 60088

[startup+1797.25 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 14933
/proc/meminfo: memFree=1545136/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=24680 CPUtime=1796.03
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 5846 0 0 0 179599 4 0 0 25 0 1 0 151776153 25272320 5810 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538420 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 6170 5810 213 21 0 5606 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 60088

[startup+1798.25 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 14933
/proc/meminfo: memFree=1545136/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=24680 CPUtime=1797.03
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 5846 0 0 0 179699 4 0 0 25 0 1 0 151776153 25272320 5810 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532732 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 6170 5810 213 21 0 5606 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (Kb) 60088

[startup+1799.26 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 14933
/proc/meminfo: memFree=1545136/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=24680 CPUtime=1798.04
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 5846 0 0 0 179800 4 0 0 25 0 1 0 151776153 25272320 5810 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539729 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 6170 5810 213 21 0 5606 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (Kb) 60088

[startup+1800.26 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 14933
/proc/meminfo: memFree=1545136/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=24680 CPUtime=1799.04
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 5846 0 0 0 179900 4 0 0 25 0 1 0 151776153 25272320 5810 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532960 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 6170 5810 213 21 0 5606 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (Kb) 60088

[startup+1801.27 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 14933
/proc/meminfo: memFree=1545136/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=24680 CPUtime=1800.05
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 5846 0 0 0 180001 4 0 0 25 0 1 0 151776153 25272320 5810 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532229 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 6170 5810 213 21 0 5606 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 60088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.27 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 14933
/proc/meminfo: memFree=1545136/2055920 swapFree=4183100/4192956
[pid=14926] ppid=14924 vsize=5360 CPUtime=0
/proc/14926/stat : 14926 (runpbsmodels) S 14924 14926 14877 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151776152 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14926/statm: 1340 234 195 169 0 51 0
[pid=14927] ppid=14926 vsize=12268 CPUtime=0
/proc/14927/stat : 14927 (pbsmodels-v1.31) S 14926 14926 14877 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151776153 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14927/statm: 3067 383 293 3 0 167 0
[pid=14928] ppid=14927 vsize=5356 CPUtime=0.64
/proc/14928/stat : 14928 (sh) S 14927 14926 14877 0 -1 4194304 309 854 0 0 0 0 64 0 16 0 1 0 151776153 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14928/statm: 1339 227 188 169 0 50 0
[pid=14930] ppid=14928 vsize=24680 CPUtime=1800.05
/proc/14930/stat : 14930 (smodels-2.31) R 14928 14926 14877 0 -1 4194304 5846 0 0 0 180001 4 0 0 25 0 1 0 151776153 25272320 5810 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532945 0 0 4096 0 0 0 0 17 1 0 0
/proc/14930/statm: 6170 5810 213 21 0 5606 0
[pid=14931] ppid=14928 vsize=12424 CPUtime=0
/proc/14931/stat : 14931 (pbout.new.pl) S 14928 14926 14877 0 -1 4194304 505 0 0 0 0 0 0 0 16 0 1 0 151776153 12722176 465 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 259362173026 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14931/statm: 3106 465 333 3 0 206 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 60088

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 14926 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999
CPU time returned by wait4() is 0.001998
while last known CPU time is 1800.69

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1801.3
CPU time (s): 1800.69
CPU user time (s): 1800.65
CPU system time (s): 0.04
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (Kb): 60088
The end

Launcher Data (download as text)

Begin job on node1 on Fri Jul 28 01:12:25 UTC 2006


FILE ID= 45881-1154049145

PBS_JOBID= 881801

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-v1.31/runpbsmodels ROOT/tmp/node1/45881-1154049145/instance-45881-1154049145.opb 813885646  ROOT/tmp/node1/45881-1154049145
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-45881-1154049145 -o ROOT/results/node1/solver-45881-1154049145 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node1/45881-1154049145/instance-45881-1154049145.opb 813885646  ROOT/tmp/node1/45881-1154049145

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  6272f76e60106089ef6773ef02321eb2

RANDOM SEED= 813885646

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.281
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.281
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:       1569568 kB
Buffers:         33780 kB
Cached:         392668 kB
SwapCached:       3652 kB
Active:         216684 kB
Inactive:       218380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1569568 kB
SwapTotal:     4192956 kB
SwapFree:      4183100 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14600 kB
Slab:            37252 kB
Committed_AS:   630200 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node1 on Fri Jul 28 01:42:26 UTC 2006