Trace number 1086643

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
Abscon 112v4 ACSAT 91.1771 92.1399

DiagnosticValue
CHECKS104858000
NODES3000

General information on the benchmark

Namecsp/fapp/fapp30/
normalized-fapp30-3000-10.xml
MD5SUM34ca3ffc23008dabfd0338886eeccec5
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark91.1771
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints63204
Maximum constraint arity2
Maximum domain size778
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63204
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mac.xml
0.29/0.32	   
0.29/0.32	   instance
0.29/0.32	     name=HOME/instance-1086643-1215240404.xml
0.29/0.35	   
0.29/0.35	   domains being loaded...
0.39/0.47	   
0.39/0.47	   variables being loaded...
0.98/1.03	     nbVariables=3000  nbDomainTypes=21  minDomainSize=86  maxDomainSize=778  nbTotalValues=1942250
0.98/1.03	       =>  wckTime=0.787  cpuTime=0.55  mem=54M577
0.98/1.03	   
0.98/1.03	   predicates being loaded...
0.98/1.09	   
0.98/1.09	   constraints being loaded...
21.07/21.32	   
21.07/21.32	   INFO : Stopping converting binary constraints (cpu=20.1, mem = 125M630)
37.70/38.12	     nbConstraints=33550  nbGlobalConstraints=249  nbMergedConstraints=29903  nbConvertedConstraints=56
37.70/38.12	     nbConvertConstraintsChecks=33092976  nbExtensionStructures=54  nbSharedExtensionStructures=5
37.70/38.12	     nbConflictsStructures=102  nbSharedConflictsStructures=93  nbUnbuiltConflictsStructures=3578
37.70/38.12	     nbSharedBinaryRepresentations=76608  nbEvaluationManagers=3626  nbSharedEvaluationManagers=29619  minDegree=2
37.70/38.12	     maxDegree=60  minArity=2  avgArity=2.03  maxArity=9  nbGenerators=0  nbFusions=0  symmetryWckTime=11.624
37.70/38.12	     symmetryCpuTime=10.91  nbCliques=249
37.70/38.12	       =>  wckTime=37.875  cpuTime=35.25  mem=133M42
38.38/38.88	   
38.38/38.88	   solver IterativeSystematicSolver being built... 
39.47/39.90	   
39.47/39.90	   INFO : Forward propagation technique limited 
39.78/40.29	       =>  wckTime=40.046  cpuTime=36.02  mem=391M164
88.01/88.92	   
88.01/88.92	   preprocessing
88.01/88.92	     nbConstraintChecks=102848258  nbValidityChecks=2205348  nbPropagations=4062  nbRevisions=114162
88.01/88.92	     nbUselessRevisions=102076  nbRemovedValues=1854251  detectedInconsistency=no
88.01/88.92	       =>  wckTime=48.596  cpuTime=48.1  mem=392M125
90.88/91.85	   
90.88/91.85	   search
90.88/91.85	     run=0  nbConstraintChecks=2009510  nbValidityChecks=2599646  minDepth=3001  maxDepth=3000  nbPropagations=14146
90.88/91.85	     nbRevisions=280760  nbUselessRevisions=260523  nbAssignments=3000  nbFailedAssignments=0  nbBacktracks=0
90.88/91.85	     nbVisitedNodes=3001  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
90.88/91.85	     nbDEliminables=?  nbPEliminables=?
90.88/91.85	       =>  wckTime=51.533  cpuTime=50.96  mem=393M78
90.88/91.86	   
90.88/91.86	   global
90.88/91.86	     nbConstraintChecks=104857768  nbValidityChecks=4804994  nbPropagations=18208  nbRevisions=394922
90.88/91.86	     nbUselessRevisions=362599  nbRestartNogoods=0  solvingWckTime=51.535  solvingCpuTime=50.96  expiredTime=no
90.88/91.86	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=86.88  globalCpuTime=87.07
90.88/91.86	       =>  wckTime=91.616  cpuTime=87.01  mem=393M78
91.08/92.01	   
91.08/92.01	s SATISFIABLE
91.08/92.01	v 2940 -2296 -2868 -2348 -2668 -2354 -2646 -2982 -2942 -2620 -2376 -2652 -2226 -2610 -2224 -2486 -2732 -2992 -2442 -2874 -2262 -2950 -2362 -2996 -2394 -2808 -2510 -2540 -2762 -2762 -2368 -2288 2510 -2850 -2276 -2312 -2810 -2338 -2252 2276 -2940 -2440 -2590 -2264 -2960 -2268 2892 -2608 -2776 2768 -2356 -2422 2502 -2956 -2384 -2496 2848 -2424 -2474 2514 -2894 -2956 -2940 -2638 -2956 -2622 -2966 -2442 2648 -2452 -2252 -2950 2220 -2790 -2256 -2404 -2272 -2578 -2808 2980 -2928 -2230 2926 -2478 -2252 -2482 -2692 -2640 -2514 -2326 -2608 -2406 -2750 -2282 2356 -2850 -2690 -2588 -2898 -2960 -2248 -2600 -2264 -2590 -2612 -2478 2634 2690 -2266 -2646 2464 -2860 2262 -2642 -2898 -2758 -2592 -2436 2220 -2386 -2598 2870 -2402 -2972 -2488 -2474 -2622 -2620 -2406 -2690 2538 -2758 2780 -2598 2646 -2324 -2936 -2638 -2940 -2778 -2732 -2548 -2740 -2880 -2966 -2644 -2598 -2622 -2900 -2282 -2356 -2550 2220 -2806 -2990 -2318 -2496 -2606 -2744 -2790 -2680 -2290 -2996 -2284 -2620 -2276 2400 -2652 -2464 2364 -2240 -2732 -2650 -2642 -2902 -2408 2404 -2956 -2820 -2750 -2956 -2602 -2916 2936 -2950 2708 -2674 -2788 -2914 -2408 -2956 2816 -2846 2380 -2448 -2366 -2926 -2446 -2764 -2224 -2968 -2624 -2982 -2284 -2982 -2678 -2904 -2760 -2546 2816 -2904 -2582 -2240 -2432 -2630 -2810 -2860 -2312 2384 -2962 -2516 -2640 -2344 -2682 -2856 -2570 -2224 -2848 -2938 -2392 -2596 2598 -2520 -2394 2546 -2964 -2608 -2762 -2878 -2406 -2600 -2332 -2442 -2930 -2770 -2762 -2306 -2884 -2406 -2774 2686 -2860 -2674 -2454 2260 2850 -2924 -2510 2274 -2884 -2862 -2712 -2524 2232 -2996 -2576 -2266 -2982 2810 -2324 -2922 -2602 -2724 -2940 -2290 -2260 -2848 -2296 -2622 -2486 -2950 -2260 -2312 -2276 -2884 -2876 -2222 -2876 -2754 2966 -2534 -2332 -2496 -2282 -2382 -2590 2260 -2982 -2334 -2584 -2788 -2980 -2940 -2282 -2428 2254 -2720 -2946 -2650 -2948 -2680 -2490 -2692 -2942 -2220 -2766 -2514 2476 -2396 -2268 -2890 -2662 -2944 -2238 -2564 -2890 -2860 -2254 -2944 -2600 -2584 -2440 -2626 -2940 -2260 -2452 -2480 -2716 2898 -2318 2778 2262 -2646 -2606 -2376 -2964 -2260 -2384 -2928 2956 -2940 -2924 -2818 -2762 -2614 -2928 -2650 -2648 2246 -2882 -2260 -2470 -2408 -2952 -2936 -2390 -2450 -2314 -2350 -2738 2886 -2636 -2456 -2624 -2950 -2722 -2900 2284 -2292 -2244 -2622 -2730 2620 -2630 -2690 -2262 -2618 -2306 -2550 2412 -2686 -2680 -2836 -2382 -2390 -2624 -2406 -2954 -2460 -2818 -2290 -2964 2888 -2916 -2546 -2384 -2806 -2996 -2688 -2550 -2944 -2942 -2548 -2938 -2990 -2990 -2736 -2916 -2968 -2994 2238 -2610 -2808 -2414 -2738 -2748 -2996 -2264 -2284 -2452 2770 2274 -2820 -2262 -2622 -2248 -2668 -2898 -2538 2898 -2530 -2956 -2560 -2910 -2716 -2860 -2858 -2732 -2924 -2898 -2806 -2610 -2316 -2728 -2792 -2492 -2816 -2996 -2248 -2794 -2996 -2944 2260 -2486 -2678 -2478 -2746 -2592 -2688 -2290 2524 2358 -2646 -2942 -2916 -2322 -2876 -2722 -2944 -2634 -2956 -2902 -2624 -2222 2440 2430 -2366 -2514 -2940 -2360 -2904 -2980 -2514 -2554 -2642 -2370 -2814 -2688 -2854 -2892 -2400 -2960 -2644 -2490 -2840 2258 -2910 -2432 -2308 -2962 -2292 -2940 2596 -2640 -2864 -2284 -2690 -2564 -2514 -2986 -2756 -2572 -2484 -2642 2996 -2828 -2906 -2982 2598 -2956 -2244 -2914 -2848 -2772 -2666 -2810 -2732 -2440 -2762 -2406 -2268 -2948 -2990 2992 -2278 -2982 -2710 -2650 -2956 -2438 -2918 -2992 -2882 -2280 -2606 -2956 -2690 -2842 -2900 -2910 -2704 -2906 -2282 -2692 -2548 2840 2442 -2894 -2430 -2650 -2260 -2542 -2948 2426 2294 2306 -2288 -2226 2554 -2632 -2882 2530 -2920 -2666 -2914 2708 2424 -2330 2892 -2976 -2730 -2550 -2756 -2862 -2690 -2670 -2606 -2596 -2606 -2758 -2850 -2802 -2922 -2448 -2940 -2916 2888 -2506 -2408 2402 -2640 -2820 -2512 -2900 2674 -2298 -2222 -2830 -2282 -2316 -2842 -2896 -2228 -2804 -2368 -2764 -2466 -2612 -2866 -2642 2430 -2736 -2470 -2760 -2220 2436 -2432 -2854 -2554 2984 -2498 -2340 -2380 -2466 -2622 -2744 -2544 -2898 -2588 -2960 -2240 2356 -2414 -2940 -2942 -2950 -2772 -2990 -2754 2714 -2960 2220 2662 -2646 -2866 -2926 -2402 -2254 -2260 -2256 -2646 2702 -2786 -2234 -2296 2260 -2382 -2942 -2996 2402 -2880 -2380 -2430 2458 -2704 -2466 -2332 -2898 -2810 -2860 -2386 -2492 -2678 -2686 -2884 2344 -2554 -2484 -2818 -2942 -2812 -2608 -2682 -2980 -2730 -2258 -2822 2220 -2860 -2430 -2290 2562 -2910 2978 -2266 -2950 2340 -2354 -2726 2996 -2876 -2260 -2960 -2634 2880 -2790 -2486 -2900 -2512 -2630 -2256 -2550 -2878 2946 -2580 -2982 2948 -2310 -2314 -2778 -2648 -2264 2814 2812 -2514 -2876 2326 -2766 2924 -2532 -2810 2260 -2950 -2536 2428 -2950 -2310 -2312 -2286 -2790 -2236 -2570 -2790 -2940 -2554 -2392 -2646 -2732 -2710 2804 -2366 -2678 -2592 -2274 -2602 -2688 2684 -2772 -2554 -2494 2996 2756 -2716 -2502 -2590 -2594 -2872 -2328 -2950 -2514 -2238 -2758 -2860 -2622 -2996 -2646 -2536 -2276 -2964 -2648 -2290 2454 -2970 -2252 -2820 2384 -2674 -2982 -2298 -2636 -2228 -2604 -2834 -2940 -2228 -2446 -2250 -2260 2294 -2718 -2406 -2290 -2632 -2650 -2940 2902 -2926 -2594 -2488 -2344 -2272 -2284 -2556 2826 -2862 -2488 -2876 -2292 -2866 -2940 2664 -2950 -2786 -2592 -2368 -2920 -2364 -2996 -2242 -2758 2888 -2956 -2286 -2982 -2994 -2874 -2278 -2866 2468 -2578 -2646 -2382 -2920 -2424 -2262 -2272 -2990 -2254 2280 -2494 -2470 -2762 -2938 -2776 -2996 2260 -2318 -2220 -2642 2820 -2808 -2678 2776 -2928 -2996 -2910 -2948 -2536 -2344 -2504 -2538 -2950 -2906 2898 -2290 -2704 -2820 2260 -2996 -2512 -2912 -2324 -2572 -2486 -2262 -2706 -2476 -2996 -2956 2912 -2670 -2650 -2490 2788 -2260 -2996 -2654 -2954 -2264 -2952 2248 -2776 -2584 -2624 -2662 2638 -2760 -2988 2956 -2442 -2338 -2732 -2834 -2366 2416 2648 -2910 -2500 -2650 -2226 -2256 -2796 2740 -2446 -2372 -2926 -2920 -2292 -2976 -2618 -2766 2872 2250 -2682 -2952 -2684 -2900 -2516 -2442 -2892 2936 -2666 -2782 -2904 -2598 -2486 -2570 -2624 -2956 -2274 2248 2604 -2322 -2550 -2590 -2732 -2908 -2514 2648 -2860 -2724 -2316 -2230 2338 -2554 -2956 -2920 -2558 -2898 -2646 -2990 -2642 -2848 -2450 -2292 -2282 2220 2866 -2834 -2752 -2424 -2736 -2554 -2358 -2396 -2244 -2640 -2944 -2790 2274 -2772 2874 -2542 -2604 -2370 -2858 -2364 -2452 -2268 -2380 -2594 -2636 -2684 -2422 -2318 -2840 -2856 -2790 -2770 -2262 -2638 -2854 -2842 2882 -2980 -2252 -2688 2664 -2906 -2890 -2862 -2680 -2592 -2980 -2900 -2270 -2294 -2942 -2354 -2492 -2554 -2338 2982 -2250 -2720 -2746 -2384 -2680 -2282 -2244 2548 -2876 -2944 -2632 -2724 -2648 -2766 -2250 -2364 -2606 -2956 -2948 -2344 -2386 -2644 -2784 -2942 -2942 -2874 -2386 -2436 -2590 2276 -2578 -2544 -2982 -2502 -2556 -2994 -2352 -2976 -2252 -2604 -2624 -2610 -2252 -2482 -2956 -2556 -2744 -2732 -2690 -2924 -2576 -2940 -2938 -2988 -2568 2646 2794 -2682 -2828 -2654 -2740 -2646 -2318 -2506 -2294 -2942 2328 -2916 -2598 -2686 -2664 -2870 -2248 -2758 -2366 -2820 -2796 2808 -2748 -2996 -2940 -2950 -2542 -2508 -2550 -2376 -2274 -2942 -2688 -2996 -2986 -2692 2994 -2898 -2560 -2282 -2690 -2904 -2790 -2550 2736 -2578 -2512 -2800 -2996 -2902 -2646 2912 2720 -2904 -2980 -2982 -2732 -2304 -2292 -2390 -2880 2578 -2950 -2896 2722 -2624 -2476 2274 -2644 -2420 -2990 2916 -2830 -2956 -2762 -2686 -2686 -2632 -2300 -2892 -2702 -2222 2744 -2912 2644 -2402 -2938 -2876 -2856 2810 -2902 -2876 -2500 -2262 -2724 -2710 -2950 -2410 -2530 -2708 2308 -2742 -2876 -2806 -2894 2416 -2474 -2830 2908 -2270 -2512 -2220 -2552 -2554 2234 -2830 -2946 -2762 -2294 -2720 -2496 -2764 -2808 -2730 -2876 -2600 2372 -2902 -2454 2704 -2494 -2692 -2824 -2874 -2940 -2390 -2770 -2672 -2594 -2982 -2742 -2574 -2234 -2300 -2680 -2944 -2698 -2390 -2704 -2888 -2554 2630 -2246 2220 2646 2404 -2980 -2746 -2772 -2582 -2600 -2650 -2584 -2598 -2512 -2722 -2816 -2836 -2956 -2368 -2262 -2278 -2862 -2732 -2776 -2288 -2980 -2280 -2944 -2722 -2872 -2838 -2942 -2590 -2354 2260 -2934 2622 -2726 -2860 -2880 -2250 -2888 -2294 -2770 -2768 -2478 -2962 -2994 -2938 -2870 -2408 -2986 -2582 -2354 -2796 -2906 -2292 -2364 -2746 2260 -2682 -2624 -2576 2546 -2292 2504 2260 -2916 -2438 2340 -2266 -2416 -2224 -2366 -2990 -2584 -2280 -2230 -2682 -2942 -2564 -2514 2540 -2952 -2756 -2820 -2946 -2408 -2384 -2442 -2820 -2720 2278 -2564 2950 -2860 -2294 -2902 -2242 2900 -2328 -2266 -2982 -2930 2698 -2680 -2820 -2682 -2882 -2288 2852 -2858 2256 -2262 -2538 -2222 2866 -2996 -2238 -2960 -2676 2990 2440 -2990 -2562 -2424 2950 -2652 -2552 -2264 -2384 -2446 -2292 2702 -2902 -2730 -2430 -2830 -2414 -2996 2894 -2324 -2902 -2472 2836 2814 -2956 -2770 -2720 -2370 -2446 2418 -2230 -2354 -2944 -2294 -2784 -2266 -2864 -2588 -2400 -2460 -2582 -2990 -2512 2400 -2640 -2564 -2860 -2996 -2298 -2996 -2864 -2694 -2610 -2260 -2938 -2266 2238 -2288 -2310 -2946 -2408 -2406 2524 2510 -2236 -2870 -2606 2490 -2988 2260 2532 -2500 2940 -2938 -2350 -2634 2434 2754 -2314 -2864 -2524 -2928 -2504 -2226 -2298 -2950 -2686 2732 -2706 -2220 -2916 -2876 -2256 -2286 -2718 -2242 -2510 -2882 -2812 -2776 2836 2438 -2374 2690 -2762 -2692 -2646 2622 2260 -2606 -2598 2652 -2298 -2564 -2642 -2818 -2996 -2646 -2682 -2264 -2940 -2424 -2356 -2930 -2676 2222 -2350 -2860 -2646 -2830 2974 -2924 -2626 -2918 -2322 2282 -2584 -2446 2696 -2764 -2658 -2938 -2424 -2550 -2642 2614 -2688 -2532 -2380 -2246 -2314 -2380 -2296 -2638 2424 2592 -2502 -2798 -2916 2452 -2794 -2982 -2916 -2830 -2382 -2716 -2954 -2900 -2996 -2338 -2948 -2746 2600 -2458 -2224 -2692 -2490 -2288 -2830 -2220 -2904 -2356 -2262 -2390 -2900 -2384 -2270 -2556 -2582 -2946 -2904 -2982 -2936 -2358 -2662 -2232 -2996 -2230 -2946 -2348 -2640 2420 -2338 2560 2848 -2942 -2244 -2942 -2514 2594 2796 -2722 -2848 -2938 -2296 -2762 -2944 2284 -2956 -2958 -2578 -2580 -2446 -2430 -2982 2906 -2950 -2220 -2996 2898 -2326 -2952 -2942 -2354 2938 -2756 -2278 2500 -2920 -2402 -2544 -2226 -2380 2642 -2716 -2860 -2620 -2920 -2512 2276 -2934 -2588 -2496 2264 -2902 -2576 -2300 -2944 -2552 2698 2576 2554 -2542 -2920 -2632 -2538 -2290 -2376 -2738 -2928 2708 -2822 -2240 -2682 -2956 2652 -2464 -2974 -2900 -2940 -2590 2222 2638 -2320 -2234 2516 -2232 -2468 -2480 -2420 -2254 -2772 -2646 2432 -2222 -2722 -2996 -2444 -2692 -2378 2708 -2552 -2264 -2500 2524 -2550 -2716 2960 -2958 -2802 -2522 -2506 -2550 -2752 -2954 -2622 -2224 -2840 2718 -2806 -2842 -2476 2390 -2672 -2816 -2692 -2974 2526 -2642 -2980 -2690 -2732 -2820 -2940 2360 -2910 -2910 -2904 -2692 -2978 2810 2284 2464 -2716 -2296 2590 -2980 -2240 -2570 -2618 -2328 -2974 -2220 -2902 -2240 2222 2236 -2446 2696 -2760 -2716 -2486 -2904 -2728 -2904 -2766 -2392 -2768 2868 -2982 -2920 -2322 -2512 -2480 -2288 -2324 -2350 2856 -2952 -2246 -2904 -2758 -2438 -2934 -2860 -2260 -2550 -2632 2290 -2988 -2436 -2264 -2346 -2342 -2682 -2646 -2956 -2904 -2286 -2378 -2918 2444 -2890 -2710 -2624 -2220 -2944 -2224 -2816 -2642 -2980 -2346 -2682 -2224 -2508 -2862 -2524 2574 -2658 -2642 -2990 -2866 -2570 2354 -2454 2220 2674 -2350 -2850 -2780 -2682 -2992 -2650 -2508 -2708 -2766 -2532 -2292 -2262 -2860 -2264 -2294 -2778 2382 -2946 -2980 -2702 -2324 -2968 -2472 -2392 -2448 -2452 -2758 2288 -2498 -2932 -2718 -2522 -2786 -2940 -2938 -2844 -2608 -2662 -2440 -2768 -2606 -2536 -2922 2750 -2700 -2720 -2916 2752 -2942 -2450 -2592 -2760 -2274 2380 -2224 -2590 -2966 -2902 -2822 -2752 2280 -2810 2558 -2590 -2420 -2448 2874 -2950 2652 -2628 2308 -2380 -2850 -2898 -2440 -2382 -2406 2934 -2746 -2404 -2722 2470 -2692 -2504 -2950 -2678 -2710 2840 -2616 -2744 -2940 -2730 -2676 -2330 -2976 -2784 2388 -2336 -2870 -2272 -2532 -2834 -2880 -2350 -2584 -2958 -2640 -2776 -2686 -2570 2616 -2538 2402 -2422 -2368 -2280 -2422 -2858 -2770 2240 -2724 -2936 -2564 2442 2508 -2672 -2830 -2724 -2922 -2676 -2366 -2348 -2790 -2722 -2380 -2582 2762 -2694 -2484 -2684 -2260 -2688 -2684 -2904 -2804 -2918 -2446 -2242 -2950 -2504 -2356 2442 -2632 2748 -2732 -2636 -2808 2222 -2404 -2844 2574 -2710 -2514 -2942 2364 -2260 -2876 -2298 -2570 -2580 -2980 -2408 -2650 2252 -2554 -2226 -2638 -2980 -2256 -2412 -2914 2928 -2876 -2562 2234 -2368 -2424 2436 2220 -2648 -2648 2416 -2260 -2956 -2498 -2990 -2948 -2950 -2642 -2860 -2800 -2830 2816 -2904 -2830 -2980 -2914 2896 -2466 -2412 -2296 -2602 -2284 2594 -2648 -2716 -2886 -2996 -2446 -2672 -2988 -2294 -2270 -2326 -2294 -2226 -2278 -2856 -2730 -2264 -2914 -2864 -2826 -2950 -2272 -2920 -2938 -2664 -2310 -2968 -2646 -2490 -2646 -2732 -2858 -2940 2644 -2942 -2266 -2576 -2728 2344 -2934 -2894 -2560 -2990 2982 2284 -2576 -2470 -2900 -2554 -2610 -2316 2608 -2522 -2712 -2702 -2578 2806 -2788 -2580 -2334 2964 -2406 2316 -2450 -2244 -2262 -2996 2642 -2452 -2302 -2510 -2292 -2610 -2850 -2676 -2932 -2246 -2396 -2820 -2682 2374 -2502 -2220 -2242 -2860 -2686 2450 -2354 -2390 -2480 -2420 -2990 -2676 -2904 -2584 -2920 -2698 -2460 -2762 -2408 -2274 -2498 -2902 -2222 -2290 2612 -2780 -2956 -2572 -2850 -2904 -2648 -2444 -2920 -2722 -2366 -2794 -2332 2390 -2908 -2290 -2972 -2678 -2896 2492 -2224 -2334 -2590 -2840 2668 -2454 -2902 -2336 -2820 -2862 -2986 -2228 -2552 -2820 -2944 -2554 -2636 -2798 2402 -2682 2266 2278 2448 -2732 -2934 -2582 2238 -2928 2254 -2876 2268 -2492 -2552 -2774 2314 2792 -2324 -2652 -2602 -2982 -2448 -2378 -2970 -2250 -2980 -2956 -2222 -2848 -2692 -2944 -2514 -2624 -2346 -2840 -2408 -2644 -2904 -2942 2440 -2956 -2334 2506 2220 -2788 -2624 -2584 -2304 2572 2494 -2292 -2488 -2616 -2280 -2974 2912 -2996 -2952 -2330 -2408 -2950 -2920 -2932 -2612 -2254 -2478 -2584 -2590 -2646 2514 -2898 -2906 -2792 -2950 -2906 -2948 -2766 -2366 -2776 -2548 -2820 -2900 2378 -2824 -2728 -2426 -2294 -2752 -2454 -2940 -2874 2860 -2712 2464 -2606 -2938 2826 -2944 -2748 -2756 -2844 2678 -2220 -2638 -2824 -2870 2808 -2446 -2480 -2988 -2880 -2248 -2820 -2990 -2260 -2680 -2234 -2926 -2480 -2322 -2664 2344 -2594 -2810 2952 -2670 -2324 -2770 -2260 -2936 2292 -2722 -2800 -2368 2578 -2764 2452 -2404 -2270 -2690 -2502 -2516 -2306 -2608 -2292 -2920 -2946 -2236 -2940 -2278 -2982 -2238 -2462 2862 -2902 -2252 2814 -2886 -2302 -2692 -2576 2260 -2952 -2384 -2690 -2224 -2586 -2400 2682 -2810 -2942 -2684 2906 -2618 -2774 -2820 -2244 -2620 -2806 -2916 -2420 -2360 -2454 -2432 -2990 2326 -2634 -2736 -2830 -2578 -2776 2776 -2654 -2368 2284 -2368 -2486 -2718 -2234 -2252 -2258 -2486 2220 -2820 -2932 -2942 -2280 -2868 -2568 -2444 -2722 -2996 -2804 -2968 -2220 -2222 -2366 -2944 -2472 2874 2470 2954 -2950 -2440 2942 -2946 -2676 -2282 -2228 -2542 2864 -2550 2948 -2472 -2486 -2270 -2476 -2622 -2558 -2384 -2862 -2314 2440 -2976 -2466 -2386 -2224 -2520 -2314 -2274 -2480 -2438 -2950 -2340 -2844 -2876 -2264 -2642 -2706 -2692 -2900 -2718 -2690 -2904 -2978 -2956 -2842 -2592 -2996 2982 -2990 2494 -2990 -2772 -2482 -2250 2900 -2298 -2862 2552 2440 -2978 -2240 -2590 -2534 -2996 -2722 2458 -2382 -2986 -2944 -2738 -2940 -2510 -2744 2242 -2296 -2940 -2900 -2848 -2356 -2450 -2944 -2562 2966 -2990 -2514 2220 -2924 -2908 2308 -2940 -2862 -2548 -2692 -2534 -2530 -2860 -2748 -2808 -2904 -2900 -2396 2384 -2982 2734 -2606 -2492 -2666 -2888 -2944 -2826 -2980 -2760 -2900 -2638 -2818 -2638 -2406 -2370 2322 -2260 -2364 -2292 2788 -2732 -2466 -2290 -2300 2662 -2330 -2556 -2264 2466 -2924 -2270 -2346 -2780 -2996 -2606 -2846 2402 -2368 -2492 -2514 -2900 2234 -2276 -2944 -2516 -2982 -2606 -2880 -2314 -2790 -2850 2288 -2260 -2528 -2740 2952 -2252 -2820 -2830 -2860 -2904 -2250 -2276 -2276 -2280 -2860 -2250 -2336 -2956 -2534 -2436 -2942 2924 -2872 -2908 -2354 2652 -2804 -2780 -2900 -2272 -2488 -2536 -2940 -2720 -2220 -2736 -2684 -2606 -2662 -2958 -2274 -2850 -2494 -2954 -2278 -2624 -2350 -2650 -2860 -2498 -2600 2444 -2968 -2912 -2750 -2990 -2918 -2490 -2296 -2692 -2364 -2960 2680 -2464 -2798 -2682 -2522 -2308 -2554 -2738 -2316 -2230 -2240 -2480 -2740 -2420 -2990 -2354 -2668 -2982 -2860 -2942 -2446 -2792 -2650 -2438 -2444 -2942 -2830 -2332 -2656 -2422 -2692 2912 2828 -2408 -2504 2234 -2864 2704 -2264 -2464 2662 -2980 -2960 -2642 -2568 -2706 -2848 -2478 -2970 -2592 -2332 -2224 -2806 -2778 -2704 -2434 -2310 -2496 -2918 2978 -2732 -2816 2220 -2912 -2974 -2606 -2956 -2938 -2562 -2490 -2506 -2668 -2286 -2428 -2956 -2482 -2754 -2922 2242 2400 -2280 -2968 2926 -2338 -2556 -2624 -2808 -2650 -2720 -2750 -2938 -2560 -2774 -2956 -2940 -2704 -2934 -2820 -2942 -2722 2232 2734 -2982 -2860 -2400 -2862 -2722 -2346 -2316 -2634 -2468 -2256 -2220 -2300 -2300 -2506 -2860 -2334 -2524 -2596 -2552 2506 -2682 -2980 -2506 -2590 -2858 -2248 -2554 2316 -2616 -2718 -2594 -2552 -2904 -2298 -2634 -2610 -2580 -2992 -2550 -2296 -2648 -2928 2676 -2250 2268 -2668 -2222 -2366 -2744 -2786 -2604 -2474 -2800 -2584 -2638 -2922 -2938 -2456 -2474 -2916 -2548 -2270 -2964 -2584 -2942 2480 -2774 2698 -2602 -2646 2450 2288 2932 -2956 -2314 -2934 -2394 2880 -2808 -2442 -2712 -2346 -2562 -2604 -2956 -2750 -2250 -2394 -2850 -2790 -2282 -2536 2826 2314 2220 -2284 -2744 -2424 -2406 -2722 -2878 -2996 -2722 -2448 -2928 -2688 -2366 -2910 2820 -2422 -2582 -2996 -2224 -2680 -2682 2782 2462 -2274 -2532 -2316 -2904 -2396 2956 -2956 -2326 -2684 -2996 -2440 -2422 -2644 -2288 -2676 -2262 2946 -2732 -2288 -2950 -2324 -2860 -2810 -2702 -2862 2268 -2848 -2508 -2920 -2398 -2916 -2944 -2648 -2708 -2768 -2260 -2876 -2510 -2916 -2688 -2250 2734 -2292 -2500 -2292 -2244 -2260 2426 -2790 -2720 -2920 -2292 -2690 -2438 -2442 -2314 -2958 2390 -2290 -2506 -2514 -2538 -2252 2730 -2902 -2272 -2904 -2516 -2658 -2492 2554 -2980 -2316 -2408 2724 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2650 -2536 -2942 -2830 -2640 -2448 -2252 -2420 2662 2556 -2912 -2690 -2636 -2414 -2286 -2960 -2858 -2262 -2904 -2320 -2850 -2732 -2634 -2366 2354 -2934 -2940 -2682 -2782 -2440 -2530 2402 -2700 -2292 -2492 -2258 -2606 -2932 -2916 -2222 -2692 -2660 -2330 -2942 -2760 -2484 -2980 2956 -2956 -2982 2564 -2236 2918 -2286 -2550 -2630 -2748 -2332 2236 2380 -2692 2706 -2698 -2460 -2670 2612 -2944 -2522 2260 2248 -2220 -2608 -2946 -2650 -2532 -2746 -2942 -2776 -2974 -2956 -2220 2984 -2818 -2490 -2736 -2720 -2706 -2798 2422 -2456 -2898 -2738 -2854 -2296 
91.08/92.01	d NODES 3000
91.08/92.01	d CHECKS 104857768
91.08/92.02	   
91.08/92.02	   totalWckTime=91.83  totalCpuTime=87.23

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086643-1215240404/watcher-1086643-1215240404 -o /tmp/evaluation-result-1086643-1215240404/solver-1086643-1215240404 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1086643-1215240404.xml 

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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 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: 2.08 2.03 2.00 3/82 4919
/proc/meminfo: memFree=1405704/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=10616 CPUtime=0
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 1553712643 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 2654 472 209 9 0 1184 0
[pid=4919/tid=4920] ppid=4917 vsize=10616 CPUtime=0
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 1553712644 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 10121176 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.108345 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 4919
/proc/meminfo: memFree=1405704/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=865884 CPUtime=0.09
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 3846 0 1 0 7 2 0 0 18 0 9 0 1553712643 886665216 3290 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216471 3290 1738 9 0 211026 0
[pid=4919/tid=4920] ppid=4917 vsize=865884 CPUtime=0.07
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 2938 0 1 0 6 1 0 0 18 0 9 0 1553712644 886665216 3290 996147200 134512640 134550740 4294955968 18446744073709551615 102877242 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884

[startup+0.201357 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 4919
/proc/meminfo: memFree=1405704/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=866048 CPUtime=0.18
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 4718 0 1 0 15 3 0 0 18 0 9 0 1553712643 886833152 4145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216512 4145 1857 9 0 211060 0
[pid=4919/tid=4920] ppid=4917 vsize=866048 CPUtime=0.16
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 3810 0 1 0 14 2 0 0 18 0 9 0 1553712644 886833152 4145 996147200 134512640 134550740 4294955968 18446744073709551615 102715030 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866048

[startup+0.301365 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 4919
/proc/meminfo: memFree=1405704/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=866272 CPUtime=0.29
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 5645 0 1 0 25 4 0 0 18 0 9 0 1553712643 887062528 5054 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216568 5054 1915 9 0 211096 0
[pid=4919/tid=4920] ppid=4917 vsize=866272 CPUtime=0.24
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 4675 0 1 0 21 3 0 0 19 0 9 0 1553712644 887062528 5054 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866272

[startup+0.701412 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 4919
/proc/meminfo: memFree=1405704/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867020 CPUtime=0.68
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 10639 0 1 0 61 7 0 0 18 0 9 0 1553712643 887828480 10009 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216755 10009 1968 9 0 211283 0
[pid=4919/tid=4920] ppid=4917 vsize=867020 CPUtime=0.55
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 9456 0 1 0 49 6 0 0 20 0 9 0 1553712644 887828480 10009 996147200 134512640 134550740 4294955968 18446744073709551615 4125957540 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867020

[startup+1.5015 s]
/proc/loadavg: 2.08 2.03 2.00 3/91 4928
/proc/meminfo: memFree=1315520/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867560 CPUtime=1.48
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 25085 0 1 0 133 15 0 0 18 0 9 0 1553712643 888381440 24443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216890 24443 2025 9 0 211396 0
[pid=4919/tid=4920] ppid=4917 vsize=867560 CPUtime=1.2
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 15737 0 1 0 110 10 0 0 25 0 9 0 1553712644 888381440 24443 996147200 134512640 134550740 4294955968 18446744073709551615 102888935 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867560 CPUtime=0.07
/proc/4919/task/4922/stat : 4922 (java) S 4917 4919 2942 0 -1 64 8009 0 0 0 4 3 0 0 16 0 9 0 1553712645 888381440 24443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867560 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553712645 888381440 24443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867560 CPUtime=0
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553712645 888381440 24443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867560 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553712648 888381440 24443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867560 CPUtime=0.17
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 643 0 0 0 17 0 0 0 16 0 9 0 1553712648 888381440 24443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867560 CPUtime=0
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553712648 888381440 24443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867560 CPUtime=0
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553712648 888381440 24443 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867560

[startup+3.10338 s]
/proc/loadavg: 2.08 2.03 2.00 3/91 4928
/proc/meminfo: memFree=1290048/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867472 CPUtime=3.06
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 32977 0 1 0 287 19 0 0 18 0 9 0 1553712643 888291328 32310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216868 32310 2004 9 0 211396 0
[pid=4919/tid=4920] ppid=4917 vsize=867472 CPUtime=2.56
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 15740 0 1 0 246 10 0 0 25 0 9 0 1553712644 888291328 32310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867472 CPUtime=0.29
/proc/4919/task/4922/stat : 4922 (java) R 4917 4919 2942 0 -1 64 15898 0 0 0 22 7 0 0 16 0 9 0 1553712645 888291328 32310 996147200 134512640 134550740 4294955968 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553712645 888291328 32310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553712645 888291328 32310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553712648 888291328 32310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867472 CPUtime=0.17
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 643 0 0 0 17 0 0 0 17 0 9 0 1553712648 888291328 32310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553712648 888291328 32310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553712648 888291328 32310 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867472

[startup+6.30204 s]
/proc/loadavg: 2.07 2.03 2.00 3/91 4928
/proc/meminfo: memFree=1264576/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867472 CPUtime=6.22
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 37686 0 1 0 600 22 0 0 18 0 9 0 1553712643 888291328 37013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216868 37013 2006 9 0 211396 0
[pid=4919/tid=4920] ppid=4917 vsize=867472 CPUtime=5.4
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 15772 0 1 0 529 11 0 0 25 0 9 0 1553712644 888291328 37013 996147200 134512640 134550740 4294955968 18446744073709551615 4126908854 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867472 CPUtime=0.59
/proc/4919/task/4922/stat : 4922 (java) S 4917 4919 2942 0 -1 64 20558 0 0 0 50 9 0 0 17 0 9 0 1553712645 888291328 37013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553712645 888291328 37013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553712645 888291328 37013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553712648 888291328 37013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867472 CPUtime=0.2
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 660 0 0 0 20 0 0 0 16 0 9 0 1553712648 888291328 37013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553712648 888291328 37013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553712648 888291328 37013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867472

[startup+12.7018 s]
/proc/loadavg: 2.07 2.03 2.00 3/91 4928
/proc/meminfo: memFree=1263688/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867472 CPUtime=12.57
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 37696 0 1 0 1234 23 0 0 18 0 9 0 1553712643 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216868 37022 2006 9 0 211396 0
[pid=4919/tid=4920] ppid=4917 vsize=867472 CPUtime=11.72
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 15777 0 1 0 1161 11 0 0 25 0 9 0 1553712644 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4126908898 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867472 CPUtime=0.59
/proc/4919/task/4922/stat : 4922 (java) S 4917 4919 2942 0 -1 64 20558 0 0 0 50 9 0 0 16 0 9 0 1553712645 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553712645 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553712645 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553712648 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867472 CPUtime=0.21
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 665 0 0 0 21 0 0 0 16 0 9 0 1553712648 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553712648 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553712648 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867472

[startup+25.5022 s]
/proc/loadavg: 2.05 2.02 2.00 3/91 4928
/proc/meminfo: memFree=1231176/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867472 CPUtime=25.23
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 45549 0 1 0 2496 27 0 0 18 0 9 0 1553712643 888291328 44866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216868 44866 2007 9 0 211396 0
[pid=4919/tid=4920] ppid=4917 vsize=867472 CPUtime=23.77
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 15789 0 1 0 2365 12 0 0 25 0 9 0 1553712644 888291328 44866 996147200 134512640 134550740 4294955968 18446744073709551615 102902483 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867472 CPUtime=1.13
/proc/4919/task/4922/stat : 4922 (java) S 4917 4919 2942 0 -1 64 28351 0 0 0 101 12 0 0 16 0 9 0 1553712645 888291328 44866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553712645 888291328 44866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553712645 888291328 44866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553712648 888291328 44866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867472 CPUtime=0.29
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 713 0 0 0 28 1 0 0 15 0 9 0 1553712648 888291328 44866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553712648 888291328 44866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867472 CPUtime=0
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553712648 888291328 44866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867472

[startup+51.1021 s]
/proc/loadavg: 2.03 2.02 2.00 3/91 4932
/proc/meminfo: memFree=979720/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867796 CPUtime=50.57
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 153265 1812 1 0 4949 63 41 4 18 0 9 0 1553712643 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216949 107626 2616 9 0 211477 0
[pid=4919/tid=4920] ppid=4917 vsize=867796 CPUtime=47.35
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 33595 1812 1 0 4674 16 41 4 25 0 9 0 1553712644 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4126912608 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867796 CPUtime=3.19

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

/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 28 1812 0 0 0 0 41 4 15 0 9 0 1553712645 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 18 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867796 CPUtime=0.88
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 1013 1812 0 0 42 1 41 4 16 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 19 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 12 1812 0 0 0 0 41 4 15 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.02
Current children cumulated vsize (KiB) 867796

[startup+83.2027 s]
/proc/loadavg: 2.02 2.02 2.00 3/91 4932
/proc/meminfo: memFree=976776/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867796 CPUtime=82.36
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 153266 1812 1 0 8128 63 41 4 18 0 9 0 1553712643 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216949 107626 2616 9 0 211477 0
[pid=4919/tid=4920] ppid=4917 vsize=867796 CPUtime=79.14
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 33595 1812 1 0 7853 16 41 4 25 0 9 0 1553712644 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4126918683 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867796 CPUtime=3.19
/proc/4919/task/4922/stat : 4922 (java) S 4917 4919 2942 0 -1 64 117780 1812 0 0 232 42 41 4 16 0 9 0 1553712645 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 20 1812 0 0 0 0 41 4 16 0 9 0 1553712645 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 28 1812 0 0 0 0 41 4 15 0 9 0 1553712645 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 18 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867796 CPUtime=0.88
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 1013 1812 0 0 42 1 41 4 16 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 19 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 12 1812 0 0 0 0 41 4 15 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.36
Current children cumulated vsize (KiB) 867796

[startup+86.4011 s]
/proc/loadavg: 2.02 2.02 2.00 3/91 4932
/proc/meminfo: memFree=976520/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867796 CPUtime=85.53
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 153266 1812 1 0 8445 63 41 4 18 0 9 0 1553712643 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216949 107626 2616 9 0 211477 0
[pid=4919/tid=4920] ppid=4917 vsize=867796 CPUtime=82.31
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 33595 1812 1 0 8170 16 41 4 25 0 9 0 1553712644 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4126908772 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867796 CPUtime=3.19
/proc/4919/task/4922/stat : 4922 (java) S 4917 4919 2942 0 -1 64 117780 1812 0 0 232 42 41 4 16 0 9 0 1553712645 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 20 1812 0 0 0 0 41 4 16 0 9 0 1553712645 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 28 1812 0 0 0 0 41 4 15 0 9 0 1553712645 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 18 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867796 CPUtime=0.88
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 1013 1812 0 0 42 1 41 4 16 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 19 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 12 1812 0 0 0 0 41 4 15 0 9 0 1553712648 888623104 107626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.53
Current children cumulated vsize (KiB) 867796

[startup+89.6025 s]
/proc/loadavg: 2.02 2.02 2.00 3/91 4932
/proc/meminfo: memFree=975880/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867796 CPUtime=88.7
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 153277 1812 1 0 8762 63 41 4 18 0 9 0 1553712643 888623104 107636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216949 107636 2616 9 0 211477 0
[pid=4919/tid=4920] ppid=4917 vsize=867796 CPUtime=85.46
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 33596 1812 1 0 8485 16 41 4 25 0 9 0 1553712644 888623104 107636 996147200 134512640 134550740 4294955968 18446744073709551615 4127514323 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867796 CPUtime=3.19
/proc/4919/task/4922/stat : 4922 (java) S 4917 4919 2942 0 -1 64 117780 1812 0 0 232 42 41 4 17 0 9 0 1553712645 888623104 107636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 20 1812 0 0 0 0 41 4 16 0 9 0 1553712645 888623104 107636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 28 1812 0 0 0 0 41 4 15 0 9 0 1553712645 888623104 107636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 18 0 9 0 1553712648 888623104 107636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867796 CPUtime=0.89
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 1023 1812 0 0 43 1 41 4 15 0 9 0 1553712648 888623104 107636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 19 0 9 0 1553712648 888623104 107636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 12 1812 0 0 0 0 41 4 15 0 9 0 1553712648 888623104 107636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.7
Current children cumulated vsize (KiB) 867796

[startup+91.2017 s]
/proc/loadavg: 2.02 2.02 2.00 3/91 4932
/proc/meminfo: memFree=975688/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867796 CPUtime=90.28
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 153285 1812 1 0 8920 63 41 4 18 0 9 0 1553712643 888623104 107643 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216949 107643 2616 9 0 211477 0
[pid=4919/tid=4920] ppid=4917 vsize=867796 CPUtime=87.03
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 33596 1812 1 0 8642 16 41 4 25 0 9 0 1553712644 888623104 107643 996147200 134512640 134550740 4294955968 18446744073709551615 4127510636 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867796 CPUtime=3.19
/proc/4919/task/4922/stat : 4922 (java) S 4917 4919 2942 0 -1 64 117780 1812 0 0 232 42 41 4 16 0 9 0 1553712645 888623104 107643 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 20 1812 0 0 0 0 41 4 16 0 9 0 1553712645 888623104 107643 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 28 1812 0 0 0 0 41 4 15 0 9 0 1553712645 888623104 107643 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 18 0 9 0 1553712648 888623104 107643 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867796 CPUtime=0.91
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 1031 1812 0 0 45 1 41 4 15 0 9 0 1553712648 888623104 107643 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 19 0 9 0 1553712648 888623104 107643 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 12 1812 0 0 0 0 41 4 15 0 9 0 1553712648 888623104 107643 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 90.28
Current children cumulated vsize (KiB) 867796

[startup+91.6027 s]
/proc/loadavg: 2.02 2.02 2.00 3/91 4932
/proc/meminfo: memFree=975624/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867796 CPUtime=90.68
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 153286 1812 1 0 8960 63 41 4 18 0 9 0 1553712643 888623104 107644 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216949 107644 2616 9 0 211477 0
[pid=4919/tid=4920] ppid=4917 vsize=867796 CPUtime=87.42
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 33596 1812 1 0 8681 16 41 4 25 0 9 0 1553712644 888623104 107644 996147200 134512640 134550740 4294955968 18446744073709551615 4127222642 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867796 CPUtime=3.19
/proc/4919/task/4922/stat : 4922 (java) S 4917 4919 2942 0 -1 64 117780 1812 0 0 232 42 41 4 17 0 9 0 1553712645 888623104 107644 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 20 1812 0 0 0 0 41 4 16 0 9 0 1553712645 888623104 107644 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 28 1812 0 0 0 0 41 4 15 0 9 0 1553712645 888623104 107644 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 18 0 9 0 1553712648 888623104 107644 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867796 CPUtime=0.91
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 1032 1812 0 0 45 1 41 4 15 0 9 0 1553712648 888623104 107644 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 19 0 9 0 1553712648 888623104 107644 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 12 1812 0 0 0 0 41 4 15 0 9 0 1553712648 888623104 107644 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 90.68
Current children cumulated vsize (KiB) 867796

[startup+92.0027 s]
/proc/loadavg: 2.02 2.02 2.00 3/91 4932
/proc/meminfo: memFree=975624/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=867796 CPUtime=91.08
/proc/4919/stat : 4919 (java) S 4917 4919 2942 0 -1 0 153297 1812 1 0 9000 63 41 4 18 0 9 0 1553712643 888623104 107652 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216949 107652 2616 9 0 211477 0
[pid=4919/tid=4920] ppid=4917 vsize=867796 CPUtime=87.81
/proc/4919/task/4920/stat : 4920 (java) R 4917 4919 2942 0 -1 64 33601 1812 1 0 8720 16 41 4 25 0 9 0 1553712644 888623104 107652 996147200 134512640 134550740 4294955968 18446744073709551615 4127581529 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4917 vsize=867796 CPUtime=3.19
/proc/4919/task/4922/stat : 4922 (java) S 4917 4919 2942 0 -1 64 117780 1812 0 0 232 42 41 4 17 0 9 0 1553712645 888623104 107652 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4923/stat : 4923 (java) S 4917 4919 2942 0 -1 64 20 1812 0 0 0 0 41 4 16 0 9 0 1553712645 888623104 107652 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4924/stat : 4924 (java) S 4917 4919 2942 0 -1 64 28 1812 0 0 0 0 41 4 15 0 9 0 1553712645 888623104 107652 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4925/stat : 4925 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 18 0 9 0 1553712648 888623104 107652 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4917 vsize=867796 CPUtime=0.92
/proc/4919/task/4926/stat : 4926 (java) S 4917 4919 2942 0 -1 64 1038 1812 0 0 46 1 41 4 15 0 9 0 1553712648 888623104 107652 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4927] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4927/stat : 4927 (java) S 4917 4919 2942 0 -1 64 1 1812 0 0 0 0 41 4 19 0 9 0 1553712648 888623104 107652 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4919/tid=4928] ppid=4917 vsize=867796 CPUtime=0.45
/proc/4919/task/4928/stat : 4928 (java) S 4917 4919 2942 0 -1 64 12 1812 0 0 0 0 41 4 15 0 9 0 1553712648 888623104 107652 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 91.08
Current children cumulated vsize (KiB) 867796

[startup+92.1028 s]
/proc/loadavg: 2.02 2.02 2.00 3/91 4932
/proc/meminfo: memFree=975624/2055920 swapFree=4098020/4192956
[pid=4919] ppid=4917 vsize=0 CPUtime=91.12
/proc/4919/stat : 4919 (java) Z 4917 4919 2942 0 -1 12 153333 1812 1 0 9001 66 41 4 16 0 2 0 1553712643 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4919/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 91.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 92.1399
CPU time (s): 91.1771
CPU user time (s): 90.4343
CPU system time (s): 0.742887
CPU usage (%): 98.9551
Max. virtual memory (cumulated for all children) (KiB): 867884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.4343
system time used= 0.742887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155145
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4137
involuntary context switches= 6141

runsolver used 0.12998 second user time and 0.337948 second system time

The end

Launcher Data (download as text)

Begin job on node32 at 2008-07-05 08:46:45
IDJOB=1086643
IDBENCH=57847
IDSOLVER=363
FILE ID=node32/1086643-1215240404
PBS_JOBID= 7881863
Free space on /tmp= 66428 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp30/normalized-fapp30-3000-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086643-1215240404/watcher-1086643-1215240404 -o /tmp/evaluation-result-1086643-1215240404/solver-1086643-1215240404 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1086643-1215240404.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 34ca3ffc23008dabfd0338886eeccec5
RANDOM SEED=1658853994

node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.218
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.218
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:       1406184 kB
Buffers:         81648 kB
Cached:         330472 kB
SwapCached:      88292 kB
Active:         385428 kB
Inactive:       203528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1406184 kB
SwapTotal:     4192956 kB
SwapFree:      4098020 kB
Dirty:           10956 kB
Writeback:           0 kB
Mapped:         192588 kB
Slab:            45456 kB
Committed_AS:  3443668 kB
PageTables:       2300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66424 MiB
End job on node32 at 2008-07-05 08:48:17