Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.28 | SAT (TO) | -7293 | 1800.76 | 1801.25 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb |
MD5SUM | bae2de9f4879fca72b44ba1c72e8b4a3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -7863 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7952 |
Optimality of the best value was proved | NO |
Number of variables | 2993 |
Total number of constraints | 112 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 73 |
Number of constraints which are nor clauses,nor cardinality constraints | 39 |
Minimum length of a constraint | 41 |
Maximum length of a constraint | 73 |
Number of terms in the objective function | 2993 |
Biggest coefficient in the objective function | 2020 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 525822 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 96167 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 525822 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Running pbsmodels-v1.28 1.32 o -7191 1.33 o -7192 1.35 o -7193 1.43 o -7280 1.45 o -7281 41.84 o -7285 93.78 o -7286 123.21 o -7293 1801.23 sh: line 1: 30273 Done pbsmodels.trans ROOT/tmp/node51/34006-1154034979/instance-34006-1154034979.opb ROOT/tmp/node51/34006-1154034979 1801.23 30274 Terminated | smodels -seed 723169914 1801.23 30275 Terminated | pbout.pl ROOT/tmp/node51/34006-1154034979/instance-34006-1154034979.opb ROOT/tmp/node51/34006-1154034979 1801.23 c Somebody sent me a SIGTERM 1801.24 smodels: no process killed 1801.25 pbsmodels.trans: no process killed 1801.25 s SATISFIABLE 1801.25 v x2317 x2784 x236 x313 x1136 x1602 x2057 x2157 x2263 x2299 x2385 x2429 x2476 x2521 x2529 x2574 x2623 x2702 x2754 x2799 x2885 1801.25 v x2930 x2975 x2990 x82 x165 x301 x314 x360 x397 x443 x530 x544 x590 x628 x674 x716 x801 x849 x852 x940 x943 x988 x1075 x1087 x1168 1801.25 v x1173 x1259 x1304 x1351 x1396 x1440 x1487 x1490 x1587 x1667 x1760 x1766 x1815 x1897 x1941 x1948 x2031 x2048 x2125 x2139 x2174 1801.25 v x2748 x38 x211 x257 x1578 x1715 -x2340 -x2351 -x2362 -x2373 -x2384 -x2395 -x2406 -x2417 -x2428 -x2440 -x2451 -x2462 -x2473 1801.25 v -x2484 -x2495 -x2506 -x2517 -x2528 -x2539 -x2551 -x2562 -x2573 -x2584 -x2595 -x2606 -x2617 -x2628 -x2639 -x2650 -x2662 1801.25 v -x2673 -x2684 -x2695 -x2706 -x2717 -x2728 -x2739 -x2750 -x2761 -x2773 -x2795 -x2806 -x2817 -x2828 -x2839 -x2850 -x2861 1801.25 v -x2872 -x2884 -x2895 -x2906 -x2917 -x2928 -x2939 -x2950 -x2961 -x2972 -x2983 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 1801.25 v -x102 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x247 -x258 -x269 -x280 -x291 -x302 -x324 -x336 -x347 1801.25 v -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x569 -x580 1801.25 v -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 -x802 -x813 1801.25 v -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 -x1024 -x1035 1801.25 v -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225 -x1236 1801.25 v -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 -x1402 -x1413 -x1424 1801.25 v -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591 -x1613 -x1624 1801.25 v -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 -x1780 -x1791 -x1802 -x1813 1801.25 v -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 -x1968 -x1979 -x1990 -x2002 1801.25 v -x2013 -x2024 -x2035 -x2046 -x2068 -x2079 -x2090 -x2101 -x2113 -x2124 -x2135 -x2146 -x2168 -x2179 -x2190 -x2201 -x2212 1801.25 v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1801.25 v -x2237 -x2238 -x2239 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2252 -x2253 -x2254 -x2255 1801.25 v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2274 -x2275 1801.25 v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 1801.25 v -x2294 -x2296 -x2297 -x2298 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1801.25 v -x2314 -x2315 -x2316 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2330 -x2331 -x2332 -x2333 1801.25 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 1801.25 v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1801.25 v -x2371 -x2372 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2386 -x2431 -x2432 -x2433 -x2434 1801.25 v -x2435 -x2436 -x2437 -x2438 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2452 -x2453 -x2454 1801.25 v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1801.25 v -x2474 -x2475 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1801.25 v -x2493 -x2494 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2507 -x2508 -x2509 -x2510 -x2511 1801.25 v -x2512 -x2513 -x2514 -x2515 -x2516 -x2518 -x2519 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2530 -x2531 -x2532 1801.25 v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2552 1801.25 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 1801.25 v -x2571 -x2572 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1801.25 v -x2591 -x2592 -x2593 -x2594 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2607 -x2608 -x2609 1801.25 v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2618 -x2619 -x2620 -x2621 -x2622 -x2624 -x2625 -x2626 -x2627 -x2629 1801.25 v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1801.25 v -x2648 -x2649 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2663 -x2664 -x2665 -x2666 -x2667 1801.25 v -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2685 -x2686 1801.25 v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2703 -x2704 -x2747 1801.25 v -x2749 -x2751 -x2752 -x2753 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 1801.25 v -x2769 -x2770 -x2771 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2785 -x2786 -x2787 -x2788 1801.25 v -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2796 -x2797 -x2798 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2807 -x2808 1801.25 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1801.25 v -x2827 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1801.25 v -x2846 -x2847 -x2848 -x2849 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2862 -x2863 -x2864 1801.25 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 1801.25 v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 1801.25 v -x2904 -x2905 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2918 -x2919 -x2920 -x2921 -x2922 1801.25 v -x2923 -x2924 -x2925 -x2926 -x2927 -x2929 -x2931 -x2932 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 1801.25 v -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 1801.25 v -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x74 -x76 -x77 -x78 -x79 -x81 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 1801.25 v -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 1801.25 v -x120 -x121 -x122 -x167 -x210 -x212 -x256 -x259 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x315 -x316 -x317 -x318 1801.25 v -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 -x339 -x340 -x341 -x342 1801.25 v -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x361 -x362 -x363 -x364 -x365 -x366 1801.25 v -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 1801.25 v -x390 -x392 -x393 -x394 -x395 -x396 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x414 1801.25 v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x436 -x437 1801.25 v -x438 -x439 -x440 -x441 -x442 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x460 -x461 -x462 1801.25 v -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x481 -x482 -x483 -x484 -x485 1801.25 v -x486 -x487 -x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x503 -x504 -x505 -x506 -x507 -x508 1801.25 v -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x525 -x526 -x527 -x528 -x529 -x531 -x532 1801.25 v -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x545 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 1801.25 v -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 1801.25 v -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 1801.25 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x625 -x626 -x627 -x629 1801.25 v -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 1801.25 v -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x675 -x676 -x677 1801.25 v -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1801.25 v -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x714 -x715 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 1801.25 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 1801.25 v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 1801.25 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 1801.25 v -x796 -x797 -x798 -x799 -x800 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 1801.25 v -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 1801.25 v -x843 -x844 -x845 -x847 -x848 -x850 -x851 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1801.25 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 1801.25 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 1801.25 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 1801.25 v -x939 -x941 -x942 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 1801.25 v -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1801.25 v -x987 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1801.25 v -x1010 -x1011 -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 1801.25 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 1801.25 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1801.25 v -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 1801.25 v -x1086 -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 1801.25 v -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 1801.25 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1801.25 v -x1145 -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 1801.25 v -x1164 -x1165 -x1166 -x1167 -x1170 -x1171 -x1172 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 1801.25 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1203 1801.25 v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 1801.25 v -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 1801.25 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1260 -x1261 1801.25 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1801.25 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 1801.25 v -x1299 -x1300 -x1301 -x1303 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 1801.25 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1337 -x1338 1801.25 v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 1801.25 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1801.25 v -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x1393 -x1394 -x1395 1801.25 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 1801.25 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1801.25 v -x1434 -x1436 -x1437 -x1438 -x1439 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1801.25 v -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 1801.25 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1488 -x1489 -x1492 -x1493 -x1494 1801.25 v -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 1801.25 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 1801.25 v -x1532 -x1533 -x1577 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 1801.25 v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 1801.25 v -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1671 -x1714 -x1716 -x1717 -x1718 -x1719 -x1720 1801.25 v -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 1801.25 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 1801.25 v -x1759 -x1761 -x1762 -x1763 -x1764 -x1765 -x1767 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1801.25 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1801.25 v -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1816 -x1817 -x1818 1801.25 v -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1836 -x1837 1801.25 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1801.25 v -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1801.25 v -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 1801.25 v -x1895 -x1896 -x1898 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 1801.25 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 1801.25 v -x1933 -x1934 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1947 -x1949 -x1950 -x1951 -x1952 -x1953 1801.25 v -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 1801.25 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1991 1801.25 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1801.25 v -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 1801.25 v -x2030 -x2032 -x2033 -x2034 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2049 -x2050 1801.25 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 1801.25 v -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1801.25 v -x2088 -x2089 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 1801.25 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2126 -x2127 1801.25 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2136 -x2137 -x2138 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2147 1801.25 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1801.25 v -x2166 -x2167 -x2169 -x2170 -x2171 -x2172 -x2173 -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1801.25 v -x2186 -x2187 -x2188 -x2189 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 -x2203 -x2204 1801.25 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2213 -x2214 -x2215 -x2216 -x1 -x1112 -x2217 -x2328 -x2439 -x2550 -x2661 1801.25 v -x2772 -x2883 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 -x1001 -x1113 -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 1801.25 v -x1890 -x2001 -x2112 -x2218 -x2229 -x2240 -x2251 -x2262 -x2273 -x2284 -x2295 -x2306 -x2329 -x2387 -x2388 -x2389 -x2390 1801.25 v -x2391 -x2392 -x2393 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2407 -x2408 -x2409 1801.25 v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 1801.25 v -x2430 -x2705 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 1801.25 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2740 -x2741 1801.25 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 1801.25 v -x2946 -x2947 -x2948 -x2949 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2962 -x2963 -x2964 1801.25 v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2973 -x2974 -x2976 -x32 -x33 -x34 -x35 -x37 -x39 -x40 -x41 -x42 -x43 -x44 1801.25 v -x45 -x46 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 1801.25 v -x75 -x123 -x124 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1801.25 v -x145 -x146 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x166 -x168 -x170 1801.25 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 1801.25 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x214 -x215 -x216 -x217 -x218 -x219 1801.25 v -x220 -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 1801.25 v -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 1801.25 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x292 -x293 1801.25 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x303 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 1801.25 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1801.25 v -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1801.25 v -x1633 -x1634 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 1801.25 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1670 -x1672 -x1673 1801.25 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 1801.25 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1801.25 v -x1711 -x1712
OK -7293
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/node51/watcher-34006-1154034979 -o ROOT/results/node51/solver-34006-1154034979 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node51/34006-1154034979/instance-34006-1154034979.opb 723169914 ROOT/tmp/node51/34006-1154034979 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.99 2/64 30270 /proc/meminfo: memFree=815008/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=1968 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) R 30268 30270 30221 0 -1 4194304 53 0 0 0 0 0 0 0 19 0 1 0 150368495 2015232 36 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235368646004 0 0 4096 0 0 0 0 17 1 0 0 /proc/30270/statm: 751 40 30 169 0 9 0 [startup+10.0018 s] /proc/loadavg: 0.99 0.97 0.99 2/68 30275 /proc/meminfo: memFree=812240/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=9.83 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 983 0 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550192 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 10.02 Current children cumulated vsize (Kb) 38744 [startup+20.0088 s] /proc/loadavg: 0.99 0.97 0.99 2/68 30275 /proc/meminfo: memFree=812304/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=19.84 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 1984 0 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551055 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 20.03 Current children cumulated vsize (Kb) 38744 [startup+30.0157 s] /proc/loadavg: 0.99 0.97 0.99 2/68 30275 /proc/meminfo: memFree=812304/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=29.84 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 2984 0 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 30.03 Current children cumulated vsize (Kb) 38744 [startup+40.0216 s] /proc/loadavg: 0.99 0.97 0.99 2/68 30275 /proc/meminfo: memFree=812368/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=39.84 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 3984 0 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550183 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 40.03 Current children cumulated vsize (Kb) 38744 [startup+50.0275 s] /proc/loadavg: 0.99 0.97 0.99 2/68 30275 /proc/meminfo: memFree=812368/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=49.84 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 4984 0 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531031 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 17 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 50.03 Current children cumulated vsize (Kb) 38744 [startup+60.0334 s] /proc/loadavg: 0.99 0.97 0.99 2/68 30275 /proc/meminfo: memFree=812368/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=59.85 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 5985 0 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134527644 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 17 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 60.04 Current children cumulated vsize (Kb) 38744 [startup+70.0403 s] /proc/loadavg: 0.99 0.97 0.99 2/68 30275 /proc/meminfo: memFree=812368/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=69.85 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 6985 0 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134545776 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 17 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 70.04 Current children cumulated vsize (Kb) 38744 [startup+80.0472 s] /proc/loadavg: 0.99 0.97 0.99 2/68 30275 /proc/meminfo: memFree=812368/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=79.85 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 7985 0 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550795 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 17 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 80.04 Current children cumulated vsize (Kb) 38744 [startup+90.0541 s] /proc/loadavg: 0.99 0.97 0.99 2/68 30275 /proc/meminfo: memFree=812368/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=89.86 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 8986 0 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549894 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 179352 1 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549909 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 1793.72 Current children cumulated vsize (Kb) 38744 [startup+1795.19 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30277 /proc/meminfo: memFree=812112/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=1794.54 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 179453 1 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551074 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 1794.73 Current children cumulated vsize (Kb) 38744 [startup+1796.19 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30277 /proc/meminfo: memFree=812112/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=1795.54 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 179553 1 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134545705 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 1795.73 Current children cumulated vsize (Kb) 38744 [startup+1797.2 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30277 /proc/meminfo: memFree=812112/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=1796.55 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 179654 1 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531383 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (Kb) 38744 [startup+1798.2 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30277 /proc/meminfo: memFree=812112/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=1797.55 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 179754 1 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549971 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (Kb) 38744 [startup+1799.21 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30277 /proc/meminfo: memFree=812112/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=1798.55 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 179854 1 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550985 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 1798.74 Current children cumulated vsize (Kb) 38744 [startup+1800.21 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30277 /proc/meminfo: memFree=812112/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=1799.56 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 179955 1 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550768 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 1799.75 Current children cumulated vsize (Kb) 38744 [startup+1801.22 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30277 /proc/meminfo: memFree=812112/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=1800.57 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 180056 1 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134527633 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (Kb) 38744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.00 0.99 0.99 2/68 30277 /proc/meminfo: memFree=812112/2055920 swapFree=4183068/4192956 [pid=30270] ppid=30268 vsize=5360 CPUtime=0 /proc/30270/stat : 30270 (runpbsmodels) S 30268 30270 30221 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150368495 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30270/statm: 1340 234 195 169 0 51 0 [pid=30271] ppid=30270 vsize=12268 CPUtime=0 /proc/30271/stat : 30271 (pbsmodels-v1.28) S 30270 30270 30221 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150368496 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 235380195220 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30271/statm: 3067 383 293 3 0 167 0 [pid=30272] ppid=30271 vsize=5356 CPUtime=0.19 /proc/30272/stat : 30272 (sh) S 30271 30270 30221 0 -1 4194304 311 740 0 0 0 0 19 0 16 0 1 0 150368497 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30272/statm: 1339 227 188 169 0 50 0 [pid=30274] ppid=30272 vsize=3360 CPUtime=1800.57 /proc/30274/stat : 30274 (smodels) R 30272 30270 30221 0 -1 4194304 528 0 0 0 180056 1 0 0 25 0 1 0 150368497 3440640 492 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134527700 0 0 4096 0 0 0 0 17 1 0 0 /proc/30274/statm: 840 492 211 20 0 277 0 [pid=30275] ppid=30272 vsize=12400 CPUtime=0 /proc/30275/stat : 30275 (pbout.pl) S 30272 30270 30221 0 -1 4194304 491 0 0 0 0 0 0 0 16 0 1 0 150368497 12697600 450 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 235380191330 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/30275/statm: 3100 450 333 3 0 200 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (Kb) 38744 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 30270 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=1999 CPU time returned by wait4() is 0.002998 while last known CPU time is 1800.76 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1801.25 CPU time (s): 1800.76 CPU user time (s): 1800.75 CPU system time (s): 0.01 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (Kb): 38744 The end
Begin job on node51 on Thu Jul 27 21:16:19 UTC 2006 FILE ID= 34006-1154034979 PBS_JOBID= 881106 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node51/34006-1154034979/instance-34006-1154034979.opb 723169914 ROOT/tmp/node51/34006-1154034979 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-34006-1154034979 -o ROOT/results/node51/solver-34006-1154034979 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node51/34006-1154034979/instance-34006-1154034979.opb 723169914 ROOT/tmp/node51/34006-1154034979 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= bae2de9f4879fca72b44ba1c72e8b4a3 RANDOM SEED= 723169914 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.231 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.231 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: 815216 kB Buffers: 26376 kB Cached: 1155596 kB SwapCached: 3880 kB Active: 139224 kB Inactive: 1051596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 815216 kB SwapTotal: 4192956 kB SwapFree: 4183068 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14500 kB Slab: 35944 kB Committed_AS: 625348 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node51 on Thu Jul 27 21:46:20 UTC 2006