Trace number 45874

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)69 1800.86 1801.34

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

Verifier Data (download as text)

OK	69

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/node34/watcher-45874-1154048829 -o ROOT/results/node34/solver-45874-1154048829 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node34/45874-1154048829/instance-45874-1154048829.opb 19697100 ROOT/tmp/node34/45874-1154048829 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 14145
/proc/meminfo: memFree=792528/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=2504 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) R 14145 14145 14096 0 -1 4194304 44 0 0 0 0 0 0 0 20 0 1 0 151757882 2564096 26 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254192711049 0 0 4096 0 0 0 0 17 1 0 0
/proc/14146/statm: 626 26 19 3 0 5 0

[startup+10.0024 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=788664/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=4484 CPUtime=9.52
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 786 0 0 0 952 0 0 0 25 0 1 0 151757883 4591616 750 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521724 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 1121 750 213 21 0 557 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 10.16
Current children cumulated vsize (Kb) 39892

[startup+20.0091 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=788664/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=4748 CPUtime=19.52
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 842 0 0 0 1952 0 0 0 25 0 1 0 151757883 4861952 806 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538544 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 1187 806 213 21 0 623 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 20.16
Current children cumulated vsize (Kb) 40156

[startup+30.0158 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=788472/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=4880 CPUtime=29.53
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 900 0 0 0 2953 0 0 0 25 0 1 0 151757883 4997120 864 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134529349 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 1220 864 213 21 0 656 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 30.17
Current children cumulated vsize (Kb) 40288

[startup+40.0224 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=788344/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=5144 CPUtime=39.52
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 958 0 0 0 3952 0 0 0 25 0 1 0 151757883 5267456 922 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533284 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 1286 922 213 21 0 722 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 40.16
Current children cumulated vsize (Kb) 40552

[startup+50.0291 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=788088/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=5408 CPUtime=49.53
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 1012 0 0 0 4953 0 0 0 25 0 1 0 151757883 5537792 976 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 1352 976 213 21 0 788 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 50.17
Current children cumulated vsize (Kb) 40816

[startup+60.0358 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=787896/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=5540 CPUtime=59.54
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 1067 0 0 0 5953 1 0 0 25 0 1 0 151757883 5672960 1031 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533281 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 1385 1031 213 21 0 821 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 60.18
Current children cumulated vsize (Kb) 40948

[startup+70.0424 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=787704/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=5804 CPUtime=69.54
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 1123 0 0 0 6953 1 0 0 25 0 1 0 151757883 5943296 1087 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538372 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 1451 1087 213 21 0 887 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 70.18
Current children cumulated vsize (Kb) 41212

[startup+80.0491 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=787448/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=6068 CPUtime=79.54
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 1177 0 0 0 7953 1 0 0 25 0 1 0 151757883 6213632 1141 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533099 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 1517 1141 213 21 0 953 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 16 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 80.18
Current children cumulated vsize (Kb) 41476

[startup+90.0558 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=787256/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

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

/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 5795 0 0 0 179313 5 0 0 25 0 1 0 151757883 25137152 5759 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521236 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 6137 5759 213 21 0 5573 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 17 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1793.82
Current children cumulated vsize (Kb) 59956

[startup+1795.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=768760/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=24548 CPUtime=1794.18
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 5795 0 0 0 179413 5 0 0 25 0 1 0 151757883 25137152 5759 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539764 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 6137 5759 213 21 0 5573 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 17 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (Kb) 59956

[startup+1796.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=768760/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=24548 CPUtime=1795.19
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 5795 0 0 0 179514 5 0 0 25 0 1 0 151757883 25137152 5759 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533169 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 6137 5759 213 21 0 5573 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 17 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1795.83
Current children cumulated vsize (Kb) 59956

[startup+1797.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=768760/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=24548 CPUtime=1796.19
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 5795 0 0 0 179614 5 0 0 25 0 1 0 151757883 25137152 5759 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521466 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 6137 5759 213 21 0 5573 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 17 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (Kb) 59956

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=768760/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=24548 CPUtime=1797.2
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 5795 0 0 0 179715 5 0 0 25 0 1 0 151757883 25137152 5759 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 6137 5759 213 21 0 5573 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 17 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (Kb) 59956

[startup+1799.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=768760/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=24548 CPUtime=1798.2
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 5795 0 0 0 179815 5 0 0 25 0 1 0 151757883 25137152 5759 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134547504 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 6137 5759 213 21 0 5573 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 17 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1798.84
Current children cumulated vsize (Kb) 59956

[startup+1800.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=768760/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=24548 CPUtime=1799.21
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 5795 0 0 0 179916 5 0 0 25 0 1 0 151757883 25137152 5759 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533233 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 6137 5759 213 21 0 5573 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 17 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1799.85
Current children cumulated vsize (Kb) 59956

[startup+1801.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=768760/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=24548 CPUtime=1800.21
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 5795 0 0 0 180016 5 0 0 25 0 1 0 151757883 25137152 5759 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521095 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 6137 5759 213 21 0 5573 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 17 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (Kb) 59956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 14150
/proc/meminfo: memFree=768760/2055920 swapFree=4183048/4192956
[pid=14145] ppid=14143 vsize=5360 CPUtime=0
/proc/14145/stat : 14145 (runpbsmodels) S 14143 14145 14096 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151757882 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14145/statm: 1340 234 195 169 0 51 0
[pid=14146] ppid=14145 vsize=12268 CPUtime=0
/proc/14146/stat : 14146 (pbsmodels-v1.31) S 14145 14145 14096 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151757882 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 254204231572 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/14146/statm: 3067 383 293 3 0 167 0
[pid=14147] ppid=14146 vsize=5356 CPUtime=0.64
/proc/14147/stat : 14147 (sh) S 14146 14145 14096 0 -1 4194304 309 853 0 0 0 0 64 0 16 0 1 0 151757883 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14147/statm: 1339 227 188 169 0 50 0
[pid=14149] ppid=14147 vsize=24548 CPUtime=1800.22
/proc/14149/stat : 14149 (smodels-2.31) R 14147 14145 14096 0 -1 4194304 5795 0 0 0 180017 5 0 0 25 0 1 0 151757883 25137152 5759 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558143 0 0 4096 0 0 0 0 17 1 0 0
/proc/14149/statm: 6137 5759 213 21 0 5573 0
[pid=14150] ppid=14147 vsize=12424 CPUtime=0
/proc/14150/stat : 14150 (pbout.new.pl) S 14147 14145 14096 0 -1 4194304 498 0 0 0 0 0 0 0 17 0 1 0 151757883 12722176 458 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 254204227682 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/14150/statm: 3106 458 333 3 0 206 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (Kb) 59956

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 14145 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0
CPU time returned by wait4() is 0.001999
while last known CPU time is 1800.86

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

Real time (s): 1801.34
CPU time (s): 1800.86
CPU user time (s): 1800.81
CPU system time (s): 0.05
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (Kb): 59956
The end

Launcher Data (download as text)

Begin job on node34 on Fri Jul 28 01:07:09 UTC 2006


FILE ID= 45874-1154048829

PBS_JOBID= 881787

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:100.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node34/45874-1154048829/instance-45874-1154048829.opb 19697100  ROOT/tmp/node34/45874-1154048829
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-45874-1154048829 -o ROOT/results/node34/solver-45874-1154048829 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node34/45874-1154048829/instance-45874-1154048829.opb 19697100  ROOT/tmp/node34/45874-1154048829

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  18cfc7903c565bab689cc8ffed68f1fd

RANDOM SEED= 19697100

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.263
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.263
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:        792736 kB
Buffers:         38520 kB
Cached:        1135216 kB
SwapCached:       3888 kB
Active:         136192 kB
Inactive:      1046240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        792736 kB
SwapTotal:     4192956 kB
SwapFree:      4183048 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            66760 kB
Committed_AS:   612512 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node34 on Fri Jul 28 01:37:10 UTC 2006