Trace number 351566

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
Pueblo 1.4SAT-442 1782.75 1784.26

General information on the benchmark

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

Verifier Data (download as text)

OK	-442

Conversion Script Data (download as text)

/tmp/evaluation/351566-1176604910/instance-351566-1176604910.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node76/watcher-351566-1176604910 -o ROOT/results/node76/solver-351566-1176604910 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351566-1176604910/instance-351566-1176604910.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.02 4/69 31032
/proc/meminfo: memFree=1680360/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=2556 CPUtime=0
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 259 0 0 0 0 0 0 0 20 0 1 0 108405580 2617344 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5284279 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 639 230 191 16 0 77 0

[startup+0.0894561 s]
/proc/loadavg: 1.00 1.00 1.02 4/69 31032
/proc/meminfo: memFree=1680360/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=3904 CPUtime=0.08
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 608 0 0 0 8 0 0 0 20 0 1 0 108405580 3997696 579 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 976 579 205 16 0 414 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3904

[startup+0.101458 s]
/proc/loadavg: 1.00 1.00 1.02 4/69 31032
/proc/meminfo: memFree=1680360/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=4020 CPUtime=0.09
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 623 0 0 0 9 0 0 0 20 0 1 0 108405580 4116480 594 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 1005 595 205 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4020

[startup+0.301497 s]
/proc/loadavg: 1.00 1.00 1.02 4/69 31032
/proc/meminfo: memFree=1680360/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=5380 CPUtime=0.29
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 964 0 0 0 29 0 0 0 22 0 1 0 108405580 5509120 935 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5257157 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 1345 935 205 16 0 783 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5380

[startup+0.701574 s]
/proc/loadavg: 1.00 1.00 1.02 4/69 31032
/proc/meminfo: memFree=1680360/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=6620 CPUtime=0.69
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 1293 0 0 0 69 0 0 0 25 0 1 0 108405580 6778880 1264 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 1655 1264 205 16 0 1093 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6620

[startup+1.50173 s]
/proc/loadavg: 1.00 1.00 1.02 2/70 31033
/proc/meminfo: memFree=1675360/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=8420 CPUtime=1.49
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 1743 0 0 0 149 0 0 0 25 0 1 0 108405580 8622080 1714 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 2105 1714 205 16 0 1543 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8420

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.02 2/70 31033
/proc/meminfo: memFree=1673312/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=10460 CPUtime=3.09
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 2252 0 0 0 308 1 0 0 25 0 1 0 108405580 10711040 2223 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 2615 2223 205 16 0 2053 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10460

[startup+6.30166 s]
/proc/loadavg: 1.00 1.00 1.02 2/70 31033
/proc/meminfo: memFree=1671264/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=11592 CPUtime=6.27
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 2515 0 0 0 626 1 0 0 25 0 1 0 108405580 11870208 2486 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528249 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 2898 2486 205 16 0 2336 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11592

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.02 2/70 31033
/proc/meminfo: memFree=1665504/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=17024 CPUtime=12.68
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 3886 0 0 0 1266 2 0 0 25 0 1 0 108405580 17432576 3857 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 4256 3857 205 16 0 3694 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17024

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.01 2/70 31033
/proc/meminfo: memFree=1664864/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=17676 CPUtime=25.47
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4087 0 0 0 2544 3 0 0 25 0 1 0 108405580 18100224 4018 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520116 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 4419 4018 205 16 0 3857 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 17676

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.01 2/70 31033
/proc/meminfo: memFree=1664480/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=18332 CPUtime=51.05
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4244 0 0 0 5101 4 0 0 25 0 1 0 108405580 18771968 4175 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 4583 4175 205 16 0 4021 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 18332

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.01 2/70 31033
/proc/meminfo: memFree=1664160/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=18264 CPUtime=102.22
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4283 0 0 0 10217 5 0 0 25 0 1 0 108405580 18702336 4173 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 4566 4173 205 16 0 4004 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 18264

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1663328/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=19320 CPUtime=162.17
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4560 0 0 0 16208 9 0 0 25 0 1 0 108405580 19783680 4419 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 4830 4419 205 16 0 4268 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 19320

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1662304/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=20204 CPUtime=222.13
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4816 0 0 0 22200 13 0 0 25 0 1 0 108405580 20688896 4662 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 5051 4662 205 16 0 4489 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 20204

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1662112/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=20296 CPUtime=282.07
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4889 0 0 0 28192 15 0 0 25 0 1 0 108405580 20783104 4675 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 5074 4675 205 16 0 4512 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 20296

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1660320/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=22184 CPUtime=342.02
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 5435 0 0 0 34184 18 0 0 25 0 1 0 108405580 22716416 5141 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 5546 5141 205 16 0 4984 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 22184

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1658720/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=23748 CPUtime=401.98
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 5859 0 0 0 40177 21 0 0 25 0 1 0 108405580 24317952 5548 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 5937 5548 205 16 0 5375 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 23748

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1658272/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=24248 CPUtime=461.95
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 5991 0 0 0 46172 23 0 0 25 0 1 0 108405580 24829952 5671 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6062 5671 205 16 0 5500 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 24248

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1658272/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=24384 CPUtime=521.89
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 6114 0 0 0 52163 26 0 0 25 0 1 0 108405580 24969216 5689 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6096 5689 205 16 0 5534 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 24384

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1658208/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=24180 CPUtime=581.84
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 6114 0 0 0 58156 28 0 0 25 0 1 0 108405580 24760320 5656 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6045 5656 205 16 0 5483 0
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (KiB) 24180

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1658208/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=24280 CPUtime=641.82
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 6187 0 0 0 64151 31 0 0 25 0 1 0 108405580 24862720 5665 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6070 5665 205 16 0 5508 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 24280


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

/proc/meminfo: memFree=1656352/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=26120 CPUtime=941.55
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7181 0 0 0 94106 49 0 0 25 0 1 0 108405580 26746880 6131 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6530 6131 205 16 0 5968 0
Current children cumulated CPU time (s) 941.55
Current children cumulated vsize (KiB) 26120

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1656224/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=26132 CPUtime=1001.51
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7328 0 0 0 100099 52 0 0 25 0 1 0 108405580 26759168 6143 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6533 6143 205 16 0 5971 0
Current children cumulated CPU time (s) 1001.51
Current children cumulated vsize (KiB) 26132

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1656288/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=26072 CPUtime=1061.47
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7395 0 0 0 106091 56 0 0 25 0 1 0 108405580 26697728 6127 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/31032/statm: 6518 6127 205 16 0 5956 0
Current children cumulated CPU time (s) 1061.47
Current children cumulated vsize (KiB) 26072

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31033
/proc/meminfo: memFree=1655840/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=26664 CPUtime=1121.43
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7789 0 0 0 112084 59 0 0 25 0 1 0 108405580 27303936 6251 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6666 6251 205 16 0 6104 0
Current children cumulated CPU time (s) 1121.43
Current children cumulated vsize (KiB) 26664

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 31189
/proc/meminfo: memFree=1654176/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=26708 CPUtime=1181.29
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7845 0 0 0 118067 62 0 0 25 0 1 0 108405580 27348992 6288 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/31032/statm: 6677 6288 205 16 0 6115 0
Current children cumulated CPU time (s) 1181.29
Current children cumulated vsize (KiB) 26708

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1655648/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=26232 CPUtime=1241.2
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7845 0 0 0 124054 66 0 0 25 0 1 0 108405580 26861568 6169 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6558 6169 205 16 0 5996 0
Current children cumulated CPU time (s) 1241.2
Current children cumulated vsize (KiB) 26232

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1655584/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=26380 CPUtime=1301.15
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7912 0 0 0 130047 68 0 0 25 0 1 0 108405580 27013120 6206 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6595 6206 205 16 0 6033 0
Current children cumulated CPU time (s) 1301.15
Current children cumulated vsize (KiB) 26380

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1655200/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=26732 CPUtime=1361.09
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 8050 0 0 0 136038 71 0 0 25 0 1 0 108405580 27373568 6294 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6683 6294 205 16 0 6121 0
Current children cumulated CPU time (s) 1361.09
Current children cumulated vsize (KiB) 26732

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1655008/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=26856 CPUtime=1421.06
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 8202 0 0 0 142031 75 0 0 25 0 1 0 108405580 27500544 6325 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6714 6325 205 16 0 6152 0
Current children cumulated CPU time (s) 1421.06
Current children cumulated vsize (KiB) 26856

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1654112/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=28052 CPUtime=1481.01
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 8523 0 0 0 148023 78 0 0 25 0 1 0 108405580 28725248 6605 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 7013 6605 205 16 0 6451 0
Current children cumulated CPU time (s) 1481.01
Current children cumulated vsize (KiB) 28052

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1654432/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=27500 CPUtime=1540.97
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 8523 0 0 0 154014 83 0 0 25 0 1 0 108405580 28160000 6486 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527934 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 6875 6486 205 16 0 6313 0
Current children cumulated CPU time (s) 1540.97
Current children cumulated vsize (KiB) 27500

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1653600/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=28504 CPUtime=1600.92
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 8831 0 0 0 160004 88 0 0 25 0 1 0 108405580 29188096 6735 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528249 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 7126 6735 205 16 0 6564 0
Current children cumulated CPU time (s) 1600.92
Current children cumulated vsize (KiB) 28504

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=28876 CPUtime=1660.88
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9058 0 0 0 165994 94 0 0 25 0 1 0 108405580 29569024 6830 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528586 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 7219 6830 205 16 0 6657 0
Current children cumulated CPU time (s) 1660.88
Current children cumulated vsize (KiB) 28876

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1653344/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=28772 CPUtime=1720.84
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 171985 99 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 7193 6804 205 16 0 6631 0
Current children cumulated CPU time (s) 1720.84
Current children cumulated vsize (KiB) 28772

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=28772 CPUtime=1780.78
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 177976 102 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 7193 6804 205 16 0 6631 0
Current children cumulated CPU time (s) 1780.78
Current children cumulated vsize (KiB) 28772

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=28772 CPUtime=1781.58
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 178056 102 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 7193 6804 205 16 0 6631 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 28772

[startup+1783.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=28772 CPUtime=1782.38
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 178136 102 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 7193 6804 205 16 0 6631 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 28772

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=28772 CPUtime=1782.58
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 178156 102 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 7193 6804 205 16 0 6631 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (KiB) 28772

[startup+1784.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 31231
/proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564
[pid=31032] ppid=31030 vsize=28772 CPUtime=1782.68
/proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 178166 102 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 0 0 0
/proc/31032/statm: 7193 6804 205 16 0 6631 0
Current children cumulated CPU time (s) 1782.68
Current children cumulated vsize (KiB) 28772

Child status: 10
Real time (s): 1784.26
CPU time (s): 1782.75
CPU user time (s): 1781.72
CPU system time (s): 1.03284
CPU usage (%): 99.9152
Max. virtual memory (cumulated for all children) (KiB): 29156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.72
system time used= 1.03284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9098
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 7598

runsolver used 1.27381 second user time and 3.75743 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Sun Apr 15 02:41:50 UTC 2007

IDJOB= 351566
IDBENCH= 1776
IDSOLVER= 165
FILE ID= node76/351566-1176604910

PBS_JOBID= 4556982

Free space on /tmp= 66650 MiB

SOLVER NAME= Pueblo 1.4
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= Pueblo /tmp/evaluation/351566-1176604910/instance-351566-1176604910.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node76/convwatcher-351566-1176604910 -o ROOT/results/node76/conversion-351566-1176604910 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351566-1176604910/instance-351566-1176604910.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-351566-1176604910 -o ROOT/results/node76/solver-351566-1176604910 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/351566-1176604910/instance-351566-1176604910.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  bae2de9f4879fca72b44ba1c72e8b4a3

RANDOM SEED= 945655113

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 x86_64 x86_64 x86_64 GNU/Linux

/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.277
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	: 6006.17
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.277
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1680832 kB
Buffers:         59708 kB
Cached:         228456 kB
SwapCached:       2604 kB
Active:          78880 kB
Inactive:       222336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1680832 kB
SwapTotal:     4096564 kB
SwapFree:      4087924 kB
Dirty:            2472 kB
Writeback:           0 kB
Mapped:          17760 kB
Slab:            60304 kB
Committed_AS:  2791516 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66650 MiB

End job on node76 on Sun Apr 15 03:11:35 UTC 2007