Trace number 2097814

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 ESACSAT 66.1669 66.8397

DiagnosticValue
CHECKS47327900
NODES2251

General information on the benchmark

Namecsp/fapp/fapp37/
normalized-fapp37-2250-9.xml
MD5SUMb43fc16fe95e90c7bd2840923bd352e6
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 benchmark65.0451
Satisfiable
(Un)Satisfiability was proved
Number of variables2250
Number of constraints42699
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension42699
Global constraints used (with number of constraints)

Solver Data 

0.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.19/0.23	
0.19/0.23	   configuration
0.19/0.23	     name=esac.xml
0.19/0.29	   
0.19/0.29	   instance
0.19/0.29	     name=HOME/instance-2097814-1247414059.xml
0.29/0.33	   
0.29/0.33	   domains being loaded...
0.39/0.47	   
0.39/0.47	   variables being loaded...
0.98/1.06	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998  nbTotalValues=1531733
0.98/1.06	       =>  wckTime=0.818  cpuTime=0.59  mem=40M556
0.98/1.06	   
0.98/1.06	   predicates being loaded...
1.08/1.12	   
1.08/1.12	   constraints being loaded...
21.09/21.32	   
21.09/21.32	   INFO : Stopping converting binary constraints (cpu=20.25, mem = 68M720)
38.51/38.91	     nbConstraints=22589  nbGlobalConstraints=36  nbMergedConstraints=20146  nbConvertedConstraints=41
38.51/38.91	     nbConvertConstraintsChecks=36887284  nbExtensionStructures=41  nbSharedExtensionStructures=0
38.51/38.91	     nbConflictsStructures=815  nbSharedConflictsStructures=430  nbUnbuiltConflictsStructures=17891
38.51/38.91	     nbSharedBinaryRepresentations=42256  nbEvaluationManagers=18665  nbSharedEvaluationManagers=3847  minDegree=3
38.51/38.91	     maxDegree=71  minArity=2  avgArity=2.01  maxArity=8  nbGenerators=0  nbFusions=0  symmetryWckTime=6.573
38.51/38.91	     symmetryCpuTime=6.02  nbCliques=36
38.51/38.91	       =>  wckTime=38.667  cpuTime=36.23  mem=127M833
39.11/39.53	   
39.11/39.53	   solver IterativeSystematicSolver being built... 
39.69/40.19	   
39.69/40.19	   INFO : Forward propagation technique limited 
40.10/40.53	       =>  wckTime=40.296  cpuTime=36.79  mem=304M368
63.97/64.66	   
63.97/64.66	   preprocessing
63.97/64.66	     nbConstraintChecks=46039343  nbValidityChecks=6714794  nbPropagations=5888  nbRevisions=161021
63.97/64.66	     nbUselessRevisions=144298  nbRemovedValues=1492375  detectedInconsistency=no
63.97/64.66	       =>  wckTime=24.1  cpuTime=23.84  mem=304M368
65.95/66.61	   
65.95/66.61	   search
65.95/66.61	     run=0  nbConstraintChecks=1288522  nbValidityChecks=2122418  minDepth=52  maxDepth=2250  nbPropagations=16647
65.95/66.61	     nbRevisions=306116  nbUselessRevisions=280230  nbAssignments=2251  nbFailedAssignments=1  nbBacktracks=0
65.95/66.61	     nbVisitedNodes=2253  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
65.95/66.61	     nbDEliminables=?  nbPEliminables=?
65.95/66.61	       =>  wckTime=26.052  cpuTime=25.72  mem=306M224
65.95/66.61	   
65.95/66.61	   global
65.95/66.61	     nbConstraintChecks=47327865  nbValidityChecks=8837212  nbPropagations=22535  nbRevisions=467137
65.95/66.61	     nbUselessRevisions=424528  nbRestartNogoods=0  solvingWckTime=26.054  solvingCpuTime=25.73  expiredTime=no
65.95/66.61	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=62.45  globalCpuTime=62.6
65.95/66.61	       =>  wckTime=66.376  cpuTime=62.55  mem=306M224
66.05/66.74	   
66.05/66.74	s SATISFIABLE
66.05/66.74	v 3536 3136 -2960 2504 2808 4028 -2284 -3448 -2236 -3932 2860 -3400 -3872 3476 -3024 -3176 -3164 3480 -4056 -2660 2200 2972 3000 3152 -3944 -2180 4020 2544 -3692 -3164 -2344 -2856 -2384 2236 -3452 -3240 -4020 2180 3252 -3652 -3148 -2924 -3652 3964 3536 -2552 -2584 -3848 2720 -3652 -3980 -3412 4016 2976 -2636 3752 -3884 2172 2708 -4028 2972 -2492 -2212 -2232 -3972 -3980 -3432 3404 -2552 -3288 2996 -4028 -2504 -2772 -2144 3456 -2456 2304 -2324 -2524 -2552 -3016 -2648 -2564 2492 3984 -3972 -3008 -2552 2140 2960 3300 -2148 -2596 -4020 -4068 -3404 -2196 -2512 -3692 2224 -2344 -3972 3880 -2608 -3356 3144 3948 -4024 -2184 3272 -3652 -3088 -2532 3392 -2512 -4092 -2680 -3972 -2896 -2876 -2496 2564 2628 -2440 2856 2896 -3212 -4016 -2632 -2688 3444 -3560 -3560 -3448 -4044 2552 -3420 -4044 -3932 -2652 3308 -3980 -3740 -3980 -2552 -3984 -2732 -3692 2896 -2180 3932 2992 3064 -3940 3392 2340 3460 3680 -2388 -3616 -3972 -3408 2460 2272 -2884 -3388 -3652 3276 -3552 -2508 2544 3340 3088 -4044 3332 2892 -2644 2140 -3356 2904 -2240 2172 2304 2836 3844 2724 2536 3220 -3536 -3128 -3324 -4044 -2808 -3980 -3984 -3940 -4004 3892 3192 -3880 -3376 -2208 -2512 -2652 2984 3972 -3356 3944 3048 3284 -4020 -2612 -3356 3320 3600 3476 3260 -4004 2356 -2500 -3900 -3396 -4012 -4024 3344 -4016 -3068 3100 -2828 4000 -4092 -3100 -2652 2884 -2496 -3356 2140 -4132 -3540 -3684 -2356 2552 -3940 2856 2568 -2388 -3148 2384 -3368 -3896 -2880 -2212 -3120 -2884 -3668 4084 4016 2768 2612 -2388 2784 -2356 -3368 4044 -3396 -3932 -4012 -3972 -3328 2140 -2760 2732 -4044 -3412 -2496 -2544 -3348 -2228 -2884 -2180 -3432 3940 -4076 2888 -3972 2904 -4004 3524 -3396 -3396 2956 -3720 -2736 -3872 2500 2636 -2356 -4068 -4044 3752 -3652 -2140 3588 -2668 3496 -3652 3712 3652 -2528 -4044 -3940 -3668 -4004 -3972 -2196 3608 -3368 -2264 -3108 -2384 -2236 -3352 -2640 -2600 2732 2140 3792 -4024 -2396 -2280 -2516 -2756 3820 3048 -2648 -3712 -3460 3372 -3980 -4132 -4028 -3192 2596 2364 -3328 -3760 -2496 -2496 -3524 -2496 -4116 -2484 -2396 -2396 -4076 -3628 -2140 -4076 -2776 -2488 -3984 -2532 2180 2496 -3308 -4012 -3940 -2164 -3648 -3532 -2236 -2148 2908 3024 -2140 -2804 -3056 -4004 2148 -2356 -2612 -4016 -2540 2820 -2688 -2300 -3404 -3340 3644 2488 -3932 -2564 -3336 3020 -2180 3428 -2140 -4028 -2416 -4028 -3704 -3328 3088 -3980 -2632 2936 2140 -2180 -2620 -4020 -3936 -3328 2432 -2652 -2848 -3432 -2540 -2900 -3080 2888 -3836 -2524 -4044 -3648 -3364 -2204 -3280 -4012 -4132 -3692 -2492 -2388 -4012 -3396 3992 3436 2140 3980 3524 2180 -3788 -3940 3960 -3972 2432 -3876 -2180 3224 -4028 -2568 -2856 2180 -3584 -2552 -2604 -3308 -2356 -4012 -3980 -2192 3688 3484 3380 -2596 4068 2620 -2292 -2316 -2224 3976 -2548 -4004 2544 3520 -4044 2180 4076 2396 -2552 -4012 -4044 -2264 -3984 3308 3136 3276 -2508 3100 -2356 3956 -2820 -3652 2836 3396 -2260 -3896 3296 2792 3100 3532 3976 -3688 -3972 -2464 3432 -3828 -3452 3268 2636 3868 -4024 2660 -3992 -3272 2164 -2480 -3536 -2668 2624 3036 -4028 3944 -2700 4100 2492 -4004 -2796 4132 -2508 -3080 2232 -2180 -3608 -3368 -3984 2812 -3088 -2576 -2500 -2908 -3504 -4012 2788 -3620 2696 -2504 -3940 -4068 3644 -3524 -3888 2332 -4004 -4012 -2972 -3824 3640 -2396 -3980 -3368 3828 2720 -3972 3716 -2520 -3496 -2404 -2552 -4068 2444 2888 -2612 2140 -2324 -3348 -2316 -3520 3688 -3140 -3972 3992 -3984 -2224 -2716 -3128 -4020 -3692 3152 3308 3364 2640 4132 -3940 3920 -3968 3628 3280 3744 -2396 -2412 -2384 -3932 -4012 -3444 -3652 -4004 -2180 -3352 -3716 -4024 -2180 -3940 -2692 2348 -3652 2140 -2872 -3644 -4068 3964 -4068 2784 2792 -3272 -2456 -3972 -3076 -3412 -3348 3184 2172 -3576 -3264 -2464 -2532 2456 -3468 -3524 2792 -2512 2744 -4004 -2512 3832 -3648 -3980 -3088 3260 -2916 -4004 3500 -4092 3700 3420 2380 -2456 -3856 -2336 -2356 -4004 2692 3328 -2344 -2404 -3972 -2620 -2160 -3348 -4004 -3884 -4044 -2676 -3692 -3564 -2652 3964 -2456 3180 -3232 -2240 -3252 -3148 2932 -2452 2140 -4012 -3588 2936 3152 -4020 2484 -3356 -3676 3772 3324 -3400 2552 -3568 -3356 -3980 4128 -3660 2524 -4112 -2532 2864 2636 -4028 -2744 2452 -4076 -3120 -4108 -2852 -4004 -2340 -3576 2216 2684 -2692 -4012 3300 -3152 -3948 -4044 -3328 -3396 2260 -2512 -3312 4072 -4028 -3980 -3980 2588 2584 -2660 -2968 -2552 -2900 2536 2984 2140 -3984 -3428 2496 -3012 -4012 -2348 -3384 2496 -2300 -3968 -2824 -3224 -2724 -4012 -4020 -3560 -4068 2900 2700 3444 -4044 -2512 -4004 3236 -3780 -4028 -4132 -3984 2244 3448 2652 -2664 3300 -3996 -3972 2896 -3904 2216 3112 -2140 3640 3400 -3388 -2512 -4132 -2456 3928 3356 -3644 -2760 3212 -4068 -2652 2512 -3652 -4020 -3388 2668 -3328 2612 -4028 2932 2252 -4028 4132 3396 -4116 3176 2532 -3460 2236 -2648 2140 -2180 -3708 3648 3576 -3944 -2348 -2288 -2348 2980 -3396 4064 -2388 -3940 -2668 -2696 -2548 2572 -2140 -2576 -2800 2716 4040 -2404 -3768 3112 -3944 -3308 3736 -2372 -3908 2888 -3564 -3984 -3412 2548 -2660 3076 -3308 2164 3648 3212 3348 -2284 3760 -2512 2376 3544 -3596 -4064 2676 3104 2608 -2564 -2924 -2740 3440 3956 -2248 2232 -4004 -2552 2844 -2196 -3932 -3628 -3304 -2304 -3428 -3276 -4076 -4004 -2456 -3104 3524 3000 -4012 2996 -4012 -4068 2648 -3356 2492 -2456 -3704 -3232 -4020 -3932 -3576 -3856 -2716 3556 3836 -2612 -3316 -2388 3864 -3016 -2180 -2624 -2504 -4092 3544 -2612 -2496 -4020 -3468 2380 3908 -2348 3508 -2592 2652 -2356 -2192 -4044 -3932 -4080 -4068 -3692 3224 -4044 -2512 -2620 -3264 3980 3656 -3876 3668 -3680 -2348 3888 -3676 -4024 2796 3356 -2752 2180 2672 -4124 3284 3276 -2196 -2388 2980 -3348 2736 -3840 -3452 2180 -3104 -3692 -3348 -2664 2940 -2180 3588 2180 -4056 3676 -2496 3108 -4024 3636 3060 -3980 -2276 -3580 -4076 -3348 -3268 -3980 -4028 3368 -3932 2180 3572 -4068 -3972 -3584 2612 -3940 -3188 -3716 3848 -3516 -2648 2204 3432 3516 -2660 -3396 3136 -3364 -2780 -2348 2236 -3984 -4020 -2372 -2140 -4028 -4028 3736 -2820 -3124 -2496 2356 -2664 3252 -3400 -4020 -3360 3984 3628 3640 -3392 -2384 -3940 -2512 3112 -2416 4072 4080 -2348 -3584 -3692 -3348 3564 -4020 -2460 -3328 3264 -3560 2544 2980 -3356 3564 -2628 -3356 -2592 -3776 -3868 -3692 -3972 2652 -3652 -4076 -3936 3532 -2920 -2612 2580 3468 3608 -3444 2588 -2940 -3332 -3804 -4044 -3456 -3716 -3676 2508 -2608 -4068 -2232 3396 2140 3628 3664 2644 -4116 2392 -3392 -3692 -4012 -2524 2456 -3688 -3540 2200 -2936 -2652 -3240 3068 -4004 -3956 -2388 -3528 -2208 -3348 2764 3156 -3980 -3308 3160 -3472 -2408 -3648 -3532 -3648 4128 3728 3696 -3972 3764 3336 2396 2512 -4012 -2352 -3612 -2840 -4076 3012 -2828 -3980 -3972 -2796 -2960 -3932 3612 -3312 3048 3032 -3396 -3720 -3000 -3696 -3200 2180 2608 -2636 -3672 -3972 -2612 -3688 -4056 -2512 3372 -2780 -3608 -2496 -3932 2188 -2388 3392 -3748 2772 -2252 -4028 -4044 -3972 -3588 -2620 -2932 2232 -3440 -3980 -2332 3484 -2460 -4132 -2928 -2180 -3996 3592 2820 -2468 -2160 -4032 2504 2900 -3396 -3308 -2144 -3308 -3980 -3888 2140 -3432 -3060 3292 3064 -3676 3344 -2608 -3640 2624 -3984 -3196 -2444 3124 -3740 2180 -3884 3572 -3944 3884 -3164 -2892 -3568 -3680 2836 -3980 -3416 -3780 -3568 -2232 -3396 2752 2140 3896 -3128 -2184 -2548 -2836 -2656 -4076 -2944 -2180 -3356 2852 -2624 -2628 -3944 -3192 -2708 2160 -4020 -3736 -3676 3412 -2212 4068 -2268 3720 3348 -3392 -2212 -2456 3844 -2520 -3972 -2472 3136 3480 -3980 2504 -2300 -3436 -3924 2896 3184 3548 2724 -3892 -4012 -3716 2396 -3972 -4068 -2544 -3524 -3980 -2784 2140 -3932 -2764 -2684 3712 3424 -3556 -2460 -4040 3344 -2616 3808 -2284 2332 -4132 -2408 -4044 -3428 2188 -2548 -4092 -2140 2784 -3352 -3972 -3592 -3972 -3312 -3932 -3716 -3436 -3020 2928 3908 -2180 2596 -4004 -2620 -3000 3412 -3844 -3972 -2536 3452 -4092 2668 3576 -3348 -3652 2484 -3328 -2364 3368 -3692 2228 3032 -3268 -3240 -4008 -2352 2140 2260 3684 -3388 -3940 -3340 -3308 -3320 2572 2764 3688 3464 3556 -3564 2944 2844 3944 2400 2740 2936 -2168 -2700 -3932 2524 -2260 -3400 -2780 -3932 2464 -3568 -3396 -4004 -2496 3980 -2280 2824 4092 -4044 -3592 -2284 -2236 2684 -3692 -3328 2608 -3308 -3652 -3308 2392 2648 -2396 -3972 -3704 -2192 -4116 2504 2652 -2824 -2532 3200 -3496 -4132 -3972 -2868 -3328 -3428 -4116 2612 -2660 3028 -3320 3416 2264 -3912 -3788 3504 -3348 -4012 -4116 -2524 -2196 -2244 3528 3672 -2348 3260 -4132 -4020 3396 2868 3356 -2292 -3416 -3308 2368 -2348 -3780 2892 2284 2828 3368 -3792 3004 -2332 2940 3996 -3328 -3648 2928 -2420 -4004 -4004 -3800 -4132 3048 -3972 -3724 -3940 -2476 -3972 -4012 -3980 2932 3372 -2148 -4024 2792 -3896 -3580 -3348 2780 -3544 3448 -3880 -3568 4040 -2292 -3392 3432 -3832 4024 -3860 -3140 2956 -2184 -3884 2544 -2360 -3412 -3252 -2500 3676 -2348 -3428 -2612 -3972 -3040 -3972 3648 3952 -3312 -3972 -3648 -3980 -2344 -3504 3144 -3040 -2140 -2784 -3972 -2664 2396 -3980 4088 -2608 -3308 -3692 2876 2832 -2300 -3312 2140 -3972 -2460 2720 -3972 2140 -4004 3700 -3396 3436 2920 -3392 -2528 3444 -2524 2628 3412 -3412 -2708 3672 -3984 -3492 3384 -4004 3300 -2604 2588 -3784 -4012 -2468 -3404 -2252 2920 -4028 3700 2772 2520 3660 -2384 -4068 -3356 -3628 -3684 -3492 -3548 -3980 -4068 -3488 3980 -2652 -2456 -2384 -3452 -3980 2260 -4016 3204 -3368 -4076 2424 3036 -3644 3608 -2324 -3972 -3972 -2372 -4092 2896 -4028 2744 -3116 3104 -4132 -2620 3244 -4044 2804 -3820 -3400 2752 3212 -4092 -3308 -4044 3652 -3816 -3200 -2436 3256 2768 -2488 2556 -4024 -2248 -4012 -2512 3684 -3524 -3316 2752 -3488 -3872 -2496 -3832 -3692 -2348 -3980 2180 -3940 -2792 3552 3304 -3316 3124 -3348 -3396 4036 -4068 3920 -3324 2580 3972 -4116 3060 3160 -3308 -4092 -2512 -2496 3988 -3972 -4076 -4044 -3396 -2664 -3300 -4004 -3652 3668 -4020 -2620 3980 3308 3188 -2512 2456 -3356 -2676 -3944 -3812 -3436 -3948 -2480 -4068 2524 -3412 -4028 -3616 -3900 -4028 -4020 -2460 3500 -3748 -3984 -3972 -3392 -2552 2816 -4116 2556 -3572 -2456 -4012 3072 -2564 -2820 3236 -2388 3760 -2924 -3932 -2356 -3940 2940 -3840 3940 3684 -2204 -2236 3384 -3984 -2512 -3396 -2168 -2196 2484 -3972 3268 -4092 -2696 -3268 3108 -3352 3052 -3972 3236 -2372 -2344 -2164 -2212 -3376 2268 -3700 2344 -2340 -4004 -3972 3288 -3580 3792 -2180 2512 -3360 -4092 -3980 -2292 -3972 -3396 -2184 -2144 -3624 -3940 -3400 2140 3676 -4092 -2780 -2500 -2652 3324 -3980 3692 3932 2652 -2644 -2552 -3360 -2844 2356 -3824 -3308 -2856 -4092 3228 -2852 -3980 -3984 -2552 -3932 4044 2652 -3408 -3972 2908 -2496 -2380 -2208 -3676 -3368 -3828 -2500 -3860 2192 -3800 2160 -4044 -3980 3524 -2188 -3804 2812 -2180 3564 2892 3404 2792 2612 -4132 3040 -2396 3600 -3000 2776 -2324 -3564 -3372 2220 -3516 -4132 2900 -4012 -3440 2788 -3688 -3308 2176 2356 -2884 -3652 -2940 2492 -4012 3716 -3692 3696 -3972 -2612 -2648 -4004 -2672 -2832 -3056 3376 -2968 -3356 -3692 2860 -3932 -2456 2140 3932 2436 -2460 -3356 -3940 -3760 -4012 2552 -2520 2860 3376 -3972 -3392 2296 2744 2736 -2512 -4092 2848 3376 2780 -2388 -2616 -3744 3716 -2896 -3348 3004 -2928 -3164 2724 2196 -3688 -4020 3548 -3392 -3356 -3396 2568 -3368 -4132 2208 -4068 -2516 -4116 -3932 -3464 -4112 -3368 -2752 -2208 3672 2868 -2168 -3956 -3528 2396 -3980 -2684 -3428 -2484 3388 -2816 -3952 -3368 -3176 -4056 3564 -2608 -3932 -2772 -3120 -3676 -2496 -2396 2808 -3308 -4004 -3980 3848 2140 -3740 -3008 -2512 -2140 3176 -3408 -3396 -2240 -3452 -4012 -2660 2876 -2552 3656 -3556 -2740 -2204 3628 -3352 -3704 -2624 -4060 -3888 2876 -4068 3776 3520 2988 -3348 -2692 -3608 3336 -3388 3200 -3800 4044 -2264 -2492 3440 -2368 -4116 -3980 -2404 -4044 -3008 -3940 2524 -2344 -3972 3012 -2652 -2552 -2484 -2400 -3328 3712 -3040 2260 -2196 -2528 -3044 -2660 -2456 3668 -4068 -3440 2172 -2228 -3364 -4020 -2396 -3348 -4012 3180 2428 -3524 3792 2324 2864 2188 -3940 -2756 -3432 -2248 -3348 -3356 3832 3968 -2456 3236 2668 2996 -2172 -3484 -2388 3432 2808 2948 -3940 -2192 2700 -4028 -3308 -4056 -2624 -4000 -3504 -2188 -2392 2560 -2824 -3920 2156 -2180 -2664 -3936 -4020 -3692 -3980 -3940 -4004 -4024 -4020 -3984 3276 -3936 -2356 -3820 -2144 -3716 -2604 -3976 -2180 -3980 -2444 3140 -3388 -3612 -3692 4092 -2500 -3692 -3576 -2484 -3936 3464 2972 -4120 3240 -2296 -3648 3284 -4028 -3980 -2936 -3144 -3372 -2200 -4012 -2536 -3652 -4028 -3524 3924 -3648 -3552 -4068 -3980 -2504 -2676 -3848 2140 4068 -3348 2656 3600 -2312 -3516 2876 -2280 -2352 -3308 3344 -2704 -2364 -2180 -3972 2820 -2456 -2864 -2964 3508 -2552 -2464 3356 -3692 3572 -3988 -4116 -2508 -3216 -3980 -2300 -3980 3684 3536 -2820 -2608 3996 -3784 2908 2140 -3944 -2552 -3652 3244 3372 -4020 3844 -3652 -4028 -2628 -3984 -3360 3756 -2480 -3940 -2836 2264 -4068 3808 -2636 3236 3316 2180 2484 -3788 2568 -4076 3380 -4116 -4012 -2656 -2896 -3788 2416 -2756 -3440 2732 -2512 -3332 2820 3544 2756 -2500 4008 -2284 -3564 2792 4028 2760 -2204 -4008 -2492 -2392 2176 2424 -3600 -2180 -2904 -4068 -3516 2768 2948 2552 -3328 2256 -2340 2692 -2552 -2180 -2456 2184 -4020 -3980 3520 -4092 -3980 -3716 3756 -3652 2544 -4088 -2380 -3348 2404 -2200 -2140 -4004 -3356 2780 -3560 -2460 -3608 3588 -3652 2912 -3716 -3744 2684 -3972 
66.05/66.74	d NODES 2251
66.05/66.74	d CHECKS 47327865
66.05/66.74	   
66.05/66.74	   totalWckTime=66.553  totalCpuTime=62.72

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097814-1247414059/watcher-2097814-1247414059 -o /tmp/evaluation-result-2097814-1247414059/solver-2097814-1247414059 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097814-1247414059.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.10 2.06 2.01 4/80 1828
/proc/meminfo: memFree=1747872/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=10996 CPUtime=0.01
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 853 0 1 0 0 1 0 0 18 0 2 0 28469451 11259904 607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 2761 613 313 9 0 1198 0
[pid=1828/tid=1829] ppid=1826 vsize=11192 CPUtime=0
/proc/1828/task/1829/stat : 1829 (java) D 1826 1828 29707 0 -1 64 199 0 1 0 0 0 0 0 17 0 2 0 28469452 11460608 631 996147200 134512640 134550932 4294955968 18446744073709551615 4309796 0 2147483391 0 16784584 18446744072099781622 0 0 -1 1 0 0

[startup+0.091379 s]
/proc/loadavg: 2.10 2.06 2.01 4/80 1828
/proc/meminfo: memFree=1747872/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=865984 CPUtime=0.08
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 3675 0 1 0 6 2 0 0 18 0 9 0 28469451 886767616 3154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216496 3154 1682 9 0 210981 0
[pid=1828/tid=1829] ppid=1826 vsize=865984 CPUtime=0.06
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 2767 0 1 0 5 1 0 0 18 0 9 0 28469452 886767616 3154 996147200 134512640 134550932 4294955968 18446744073709551615 4125966649 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.101381 s]
/proc/loadavg: 2.10 2.06 2.01 4/80 1828
/proc/meminfo: memFree=1747872/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=865984 CPUtime=0.09
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 3788 0 1 0 7 2 0 0 18 0 9 0 28469451 886767616 3239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216496 3239 1708 9 0 210981 0
[pid=1828/tid=1829] ppid=1826 vsize=865984 CPUtime=0.07
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 2880 0 1 0 6 1 0 0 18 0 9 0 28469452 886767616 3239 996147200 134512640 134550932 4294955968 18446744073709551615 4125958488 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301393 s]
/proc/loadavg: 2.10 2.06 2.01 4/80 1828
/proc/meminfo: memFree=1747872/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=866224 CPUtime=0.29
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 5824 0 1 0 25 4 0 0 18 0 9 0 28469451 887013376 5190 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216556 5190 1982 9 0 211014 0
[pid=1828/tid=1829] ppid=1826 vsize=866224 CPUtime=0.26
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 4893 0 1 0 23 3 0 0 18 0 9 0 28469452 887013376 5190 996147200 134512640 134550932 4294955968 18446744073709551615 4126407083 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866224

[startup+0.701423 s]
/proc/loadavg: 2.10 2.06 2.01 4/80 1828
/proc/meminfo: memFree=1747872/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=866676 CPUtime=0.68
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 8823 0 1 0 63 5 0 0 18 0 9 0 28469451 887476224 8185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216669 8185 1996 9 0 211127 0
[pid=1828/tid=1829] ppid=1826 vsize=866676 CPUtime=0.58
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 7765 0 1 0 54 4 0 0 20 0 9 0 28469452 887476224 8185 996147200 134512640 134550932 4294955968 18446744073709551615 4126375568 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866676

[startup+1.50148 s]
/proc/loadavg: 2.17 2.07 2.02 4/89 1838
/proc/meminfo: memFree=1669400/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867660 CPUtime=1.47
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 25141 0 1 0 135 12 0 0 18 0 9 0 28469451 888483840 24492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216915 24492 2051 9 0 211351 0
[pid=1828/tid=1829] ppid=1826 vsize=867660 CPUtime=1.21
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 15784 0 1 0 113 8 0 0 25 0 9 0 28469452 888483840 24492 996147200 134512640 134550932 4294955968 18446744073709551615 103821138 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867660 CPUtime=0.06
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 8000 0 0 0 4 2 0 0 17 0 9 0 28469454 888483840 24492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867660 CPUtime=0
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28469454 888483840 24492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867660 CPUtime=0
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28469454 888483840 24492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867660 CPUtime=0
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28469456 888483840 24492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867660 CPUtime=0.17
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 656 0 0 0 17 0 0 0 16 0 9 0 28469456 888483840 24492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867660 CPUtime=0
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28469456 888483840 24492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867660 CPUtime=0
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28469456 888483840 24492 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867660

[startup+3.10259 s]
/proc/loadavg: 2.17 2.07 2.02 3/89 1838
/proc/meminfo: memFree=1640536/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867572 CPUtime=3.06
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 30861 0 1 0 291 15 0 0 18 0 9 0 28469451 888393728 30188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216893 30188 2029 9 0 211351 0
[pid=1828/tid=1829] ppid=1826 vsize=867572 CPUtime=2.62
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 15786 0 1 0 254 8 0 0 25 0 9 0 28469452 888393728 30188 996147200 134512640 134550932 4294955968 18446744073709551615 102883785 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867572 CPUtime=0.23
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 13718 0 0 0 18 5 0 0 16 0 9 0 28469454 888393728 30188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28469454 888393728 30188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28469454 888393728 30188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28469456 888393728 30188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867572 CPUtime=0.17
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 656 0 0 0 17 0 0 0 16 0 9 0 28469456 888393728 30188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28469456 888393728 30188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28469456 888393728 30188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867572

[startup+6.30279 s]
/proc/loadavg: 2.17 2.07 2.02 3/89 1838
/proc/meminfo: memFree=1627864/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867572 CPUtime=6.23
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 32486 0 1 0 607 16 0 0 18 0 9 0 28469451 888393728 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216893 31808 2032 9 0 211351 0
[pid=1828/tid=1829] ppid=1826 vsize=867572 CPUtime=5.67
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 15822 0 1 0 558 9 0 0 25 0 9 0 28469452 888393728 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4126945936 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867572 CPUtime=0.33
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 15288 0 0 0 28 5 0 0 16 0 9 0 28469454 888393728 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28469454 888393728 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28469454 888393728 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28469456 888393728 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867572 CPUtime=0.2
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 675 0 0 0 20 0 0 0 15 0 9 0 28469456 888393728 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28469456 888393728 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28469456 888393728 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867572

[startup+12.7022 s]
/proc/loadavg: 2.15 2.07 2.01 3/89 1838
/proc/meminfo: memFree=1627736/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867572 CPUtime=12.57
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 32489 0 1 0 1241 16 0 0 18 0 9 0 28469451 888393728 31811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216893 31811 2032 9 0 211351 0
[pid=1828/tid=1829] ppid=1826 vsize=867572 CPUtime=12
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 15823 0 1 0 1191 9 0 0 25 0 9 0 28469452 888393728 31811 996147200 134512640 134550932 4294955968 18446744073709551615 4126947448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867572 CPUtime=0.33
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 15288 0 0 0 28 5 0 0 16 0 9 0 28469454 888393728 31811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28469454 888393728 31811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28469454 888393728 31811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28469456 888393728 31811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867572 CPUtime=0.21
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 677 0 0 0 21 0 0 0 16 0 9 0 28469456 888393728 31811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28469456 888393728 31811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28469456 888393728 31811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867572

[startup+25.5011 s]
/proc/loadavg: 2.12 2.07 2.01 4/89 1838
/proc/meminfo: memFree=1605912/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867572 CPUtime=25.25
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 38518 0 1 0 2505 20 0 0 18 0 9 0 28469451 888393728 37831 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216893 37831 2033 9 0 211351 0
[pid=1828/tid=1829] ppid=1826 vsize=867572 CPUtime=24.21
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 15834 0 1 0 2412 9 0 0 25 0 9 0 28469452 888393728 37831 996147200 134512640 134550932 4294955968 18446744073709551615 4126945399 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867572 CPUtime=0.72
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 21254 0 0 0 64 8 0 0 16 0 9 0 28469454 888393728 37831 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28469454 888393728 37831 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28469454 888393728 37831 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28469456 888393728 37831 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867572 CPUtime=0.28
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 729 0 0 0 28 0 0 0 16 0 9 0 28469456 888393728 37831 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28469456 888393728 37831 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867572 CPUtime=0
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28469456 888393728 37831 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867572

[startup+51.1018 s]
/proc/loadavg: 2.14 2.08 2.02 3/89 1842
/proc/meminfo: memFree=1392720/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867896 CPUtime=50.59
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 133548 1382 1 0 4982 50 24 3 18 0 9 0 28469451 888725504 91092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216974 91092 2641 9 0 211432 0
[pid=1828/tid=1829] ppid=1826 vsize=867896 CPUtime=47.71
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 32137 1382 1 0 4729 15 24 3 25 0 9 0 28469452 888725504 91092 996147200 134512640 134550932 4294955968 18446744073709551615 4126947486 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867896 CPUtime=2.68
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 99535 1382 0 0 211 30 24 3 17 0 9 0 28469454 888725504 91092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0

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

/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 1382 0 0 0 0 24 3 18 0 9 0 28469456 888725504 91092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867896 CPUtime=0.7
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 1003 1382 0 0 42 1 24 3 17 0 9 0 28469456 888725504 91092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 1382 0 0 0 0 24 3 19 0 9 0 28469456 888725504 91092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 13 1382 0 0 0 0 24 3 15 0 9 0 28469456 888725504 91092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 867896

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

[startup+57.5022 s]
/proc/loadavg: 2.12 2.07 2.02 3/89 1842
/proc/meminfo: memFree=1392720/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867896 CPUtime=56.94
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 133552 1382 1 0 5617 50 24 3 18 0 9 0 28469451 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216974 91094 2641 9 0 211432 0
[pid=1828/tid=1829] ppid=1826 vsize=867896 CPUtime=54.05
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 32138 1382 1 0 5363 15 24 3 25 0 9 0 28469452 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4126949559 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867896 CPUtime=2.68
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 99535 1382 0 0 211 30 24 3 17 0 9 0 28469454 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 20 1382 0 0 0 0 24 3 16 0 9 0 28469454 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 28 1382 0 0 0 0 24 3 15 0 9 0 28469454 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 1382 0 0 0 0 24 3 18 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867896 CPUtime=0.7
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 1006 1382 0 0 42 1 24 3 15 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 1382 0 0 0 0 24 3 19 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 13 1382 0 0 0 0 24 3 15 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 56.94
Current children cumulated vsize (KiB) 867896

[startup+60.7015 s]
/proc/loadavg: 2.12 2.07 2.02 3/89 1842
/proc/meminfo: memFree=1392720/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867896 CPUtime=60.11
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 133553 1382 1 0 5934 50 24 3 18 0 9 0 28469451 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216974 91094 2641 9 0 211432 0
[pid=1828/tid=1829] ppid=1826 vsize=867896 CPUtime=57.21
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 32138 1382 1 0 5679 15 24 3 25 0 9 0 28469452 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4126946807 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867896 CPUtime=2.68
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 99535 1382 0 0 211 30 24 3 17 0 9 0 28469454 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 20 1382 0 0 0 0 24 3 16 0 9 0 28469454 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 28 1382 0 0 0 0 24 3 15 0 9 0 28469454 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 1382 0 0 0 0 24 3 18 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867896 CPUtime=0.7
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 1007 1382 0 0 42 1 24 3 16 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 1382 0 0 0 0 24 3 19 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 13 1382 0 0 0 0 24 3 15 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 60.11
Current children cumulated vsize (KiB) 867896

[startup+63.9027 s]
/proc/loadavg: 2.11 2.07 2.01 3/89 1842
/proc/meminfo: memFree=1392720/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867896 CPUtime=63.28
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 133553 1382 1 0 6251 50 24 3 18 0 9 0 28469451 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216974 91094 2641 9 0 211432 0
[pid=1828/tid=1829] ppid=1826 vsize=867896 CPUtime=60.38
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 32138 1382 1 0 5996 15 24 3 25 0 9 0 28469452 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4127513876 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867896 CPUtime=2.68
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 99535 1382 0 0 211 30 24 3 16 0 9 0 28469454 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 20 1382 0 0 0 0 24 3 16 0 9 0 28469454 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 28 1382 0 0 0 0 24 3 15 0 9 0 28469454 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 1382 0 0 0 0 24 3 18 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867896 CPUtime=0.7
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 1007 1382 0 0 42 1 24 3 16 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 1382 0 0 0 0 24 3 19 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 13 1382 0 0 0 0 24 3 15 0 9 0 28469456 888725504 91094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.28
Current children cumulated vsize (KiB) 867896

[startup+65.5028 s]
/proc/loadavg: 2.11 2.07 2.01 3/89 1842
/proc/meminfo: memFree=1392720/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867896 CPUtime=64.86
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 133565 1382 1 0 6409 50 24 3 18 0 9 0 28469451 888725504 91104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216974 91104 2641 9 0 211432 0
[pid=1828/tid=1829] ppid=1826 vsize=867896 CPUtime=61.95
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 32141 1382 1 0 6153 15 24 3 25 0 9 0 28469452 888725504 91104 996147200 134512640 134550932 4294955968 18446744073709551615 4127353210 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867896 CPUtime=2.68
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 99535 1382 0 0 211 30 24 3 16 0 9 0 28469454 888725504 91104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 20 1382 0 0 0 0 24 3 16 0 9 0 28469454 888725504 91104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 28 1382 0 0 0 0 24 3 15 0 9 0 28469454 888725504 91104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 1382 0 0 0 0 24 3 18 0 9 0 28469456 888725504 91104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867896 CPUtime=0.72
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 1016 1382 0 0 44 1 24 3 15 0 9 0 28469456 888725504 91104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 1382 0 0 0 0 24 3 19 0 9 0 28469456 888725504 91104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 13 1382 0 0 0 0 24 3 15 0 9 0 28469456 888725504 91104 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.86
Current children cumulated vsize (KiB) 867896

[startup+66.3028 s]
/proc/loadavg: 2.11 2.07 2.01 3/89 1842
/proc/meminfo: memFree=1392720/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867896 CPUtime=65.66
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 133569 1382 1 0 6489 50 24 3 18 0 9 0 28469451 888725504 91107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216974 91107 2641 9 0 211432 0
[pid=1828/tid=1829] ppid=1826 vsize=867896 CPUtime=62.74
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 32141 1382 1 0 6232 15 24 3 25 0 9 0 28469452 888725504 91107 996147200 134512640 134550932 4294955968 18446744073709551615 4127573843 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867896 CPUtime=2.68
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 99535 1382 0 0 211 30 24 3 17 0 9 0 28469454 888725504 91107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 20 1382 0 0 0 0 24 3 16 0 9 0 28469454 888725504 91107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 28 1382 0 0 0 0 24 3 15 0 9 0 28469454 888725504 91107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 1382 0 0 0 0 24 3 18 0 9 0 28469456 888725504 91107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867896 CPUtime=0.72
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 1020 1382 0 0 44 1 24 3 16 0 9 0 28469456 888725504 91107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 1382 0 0 0 0 24 3 19 0 9 0 28469456 888725504 91107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 13 1382 0 0 0 0 24 3 15 0 9 0 28469456 888725504 91107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 65.66
Current children cumulated vsize (KiB) 867896

[startup+66.7029 s]
/proc/loadavg: 2.11 2.07 2.01 3/89 1842
/proc/meminfo: memFree=1392720/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=867896 CPUtime=66.05
/proc/1828/stat : 1828 (java) S 1826 1828 29707 0 -1 0 133587 1382 1 0 6528 50 24 3 18 0 9 0 28469451 888725504 91121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 216974 91121 2641 9 0 211432 0
[pid=1828/tid=1829] ppid=1826 vsize=867896 CPUtime=63.11
/proc/1828/task/1829/stat : 1829 (java) R 1826 1828 29707 0 -1 64 32148 1382 1 0 6269 15 24 3 25 0 9 0 28469452 888725504 91121 996147200 134512640 134550932 4294955968 18446744073709551615 4127642766 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1831] ppid=1826 vsize=867896 CPUtime=2.68
/proc/1828/task/1831/stat : 1831 (java) S 1826 1828 29707 0 -1 64 99535 1382 0 0 211 30 24 3 16 0 9 0 28469454 888725504 91121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1832] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1832/stat : 1832 (java) S 1826 1828 29707 0 -1 64 20 1382 0 0 0 0 24 3 16 0 9 0 28469454 888725504 91121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1833] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1833/stat : 1833 (java) S 1826 1828 29707 0 -1 64 28 1382 0 0 0 0 24 3 15 0 9 0 28469454 888725504 91121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1834] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1834/stat : 1834 (java) S 1826 1828 29707 0 -1 64 2 1382 0 0 0 0 24 3 18 0 9 0 28469456 888725504 91121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1836] ppid=1826 vsize=867896 CPUtime=0.75
/proc/1828/task/1836/stat : 1836 (java) S 1826 1828 29707 0 -1 64 1031 1382 0 0 47 1 24 3 15 0 9 0 28469456 888725504 91121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1837] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1837/stat : 1837 (java) S 1826 1828 29707 0 -1 64 0 1382 0 0 0 0 24 3 19 0 9 0 28469456 888725504 91121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1828/tid=1838] ppid=1826 vsize=867896 CPUtime=0.27
/proc/1828/task/1838/stat : 1838 (java) S 1826 1828 29707 0 -1 64 13 1382 0 0 0 0 24 3 15 0 9 0 28469456 888725504 91121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 66.05
Current children cumulated vsize (KiB) 867896

[startup+66.8035 s]
/proc/loadavg: 2.11 2.07 2.01 3/89 1842
/proc/meminfo: memFree=1392720/2055920 swapFree=4192812/4192956
[pid=1828] ppid=1826 vsize=0 CPUtime=66.11
/proc/1828/stat : 1828 (java) Z 1826 1828 29707 0 -1 12 133621 1382 1 0 6532 52 24 3 16 0 2 0 28469451 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1828/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 66.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 66.8397
CPU time (s): 66.1669
CPU user time (s): 65.573
CPU system time (s): 0.593909
CPU usage (%): 98.9935
Max. virtual memory (cumulated for all children) (KiB): 870888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.573
system time used= 0.593909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135003
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= 3712
involuntary context switches= 5110

runsolver used 0.089986 second user time and 0.223965 second system time

The end

Launcher Data 

Begin job on node52 at 2009-07-12 17:54:20
IDJOB=2097814
IDBENCH=57802
IDSOLVER=774
FILE ID=node52/2097814-1247414059
PBS_JOBID= 9510541
Free space on /tmp= 66140 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp37/normalized-fapp37-2250-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097814-1247414059/watcher-2097814-1247414059 -o /tmp/evaluation-result-2097814-1247414059/solver-2097814-1247414059 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097814-1247414059.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b43fc16fe95e90c7bd2840923bd352e6
RANDOM SEED=1163595975

node52.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.236
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.236
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:       1748352 kB
Buffers:         45852 kB
Cached:         156040 kB
SwapCached:          0 kB
Active:         147868 kB
Inactive:       102352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748352 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            8152 kB
Writeback:           0 kB
Mapped:          68780 kB
Slab:            42452 kB
Committed_AS:  1021152 kB
PageTables:       1980 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66136 MiB
End job on node52 at 2009-07-12 17:55:27