Trace number 2097813

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 65.0451 65.3677

DiagnosticValue
CHECKS47330700
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.07/0.09	
0.07/0.09	Abscon 112 (May, 2008)
0.18/0.26	
0.18/0.26	   configuration
0.18/0.26	     name=mac.xml
0.18/0.30	   
0.18/0.30	   instance
0.18/0.30	     name=HOME/instance-2097813-1247414058.xml
0.28/0.33	   
0.28/0.33	   domains being loaded...
0.28/0.38	   
0.28/0.38	   variables being loaded...
0.78/0.84	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998  nbTotalValues=1531733
0.78/0.84	       =>  wckTime=0.579  cpuTime=0.38  mem=40M556
0.78/0.84	   
0.78/0.84	   predicates being loaded...
0.88/0.90	   
0.88/0.90	   constraints being loaded...
21.04/21.18	   
21.04/21.18	   INFO : Stopping converting binary constraints (cpu=20.28, mem = 69M726)
37.97/38.12	     nbConstraints=22589  nbGlobalConstraints=36  nbMergedConstraints=20146  nbConvertedConstraints=44
37.97/38.12	     nbConvertConstraintsChecks=39875296  nbExtensionStructures=44  nbSharedExtensionStructures=0
37.97/38.12	     nbConflictsStructures=818  nbSharedConflictsStructures=430  nbUnbuiltConflictsStructures=17888
37.97/38.12	     nbSharedBinaryRepresentations=46134  nbEvaluationManagers=18662  nbSharedEvaluationManagers=3847  minDegree=3
37.97/38.12	     maxDegree=71  minArity=2  avgArity=2.01  maxArity=8  nbGenerators=0  nbFusions=0  symmetryWckTime=6.649
37.97/38.12	     symmetryCpuTime=6.11  nbCliques=36
37.97/38.12	       =>  wckTime=37.853  cpuTime=35.76  mem=129M282
38.56/38.74	   
38.56/38.74	   solver IterativeSystematicSolver being built... 
39.26/39.41	   
39.26/39.41	   INFO : Forward propagation technique limited 
39.55/39.76	       =>  wckTime=39.494  cpuTime=36.31  mem=304M818
62.97/63.34	   
62.97/63.34	   preprocessing
62.97/63.34	     nbConstraintChecks=46042178  nbValidityChecks=6714019  nbPropagations=5888  nbRevisions=161021
62.97/63.34	     nbUselessRevisions=144298  nbRemovedValues=1492375  detectedInconsistency=no
62.97/63.34	       =>  wckTime=23.559  cpuTime=23.35  mem=304M818
64.77/65.18	   
64.77/65.18	   search
64.77/65.18	     run=0  nbConstraintChecks=1288504  nbValidityChecks=2122375  minDepth=52  maxDepth=2250  nbPropagations=16647
64.77/65.18	     nbRevisions=306116  nbUselessRevisions=280230  nbAssignments=2251  nbFailedAssignments=1  nbBacktracks=0
64.77/65.18	     nbVisitedNodes=2253  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
64.77/65.18	     nbDEliminables=?  nbPEliminables=?
64.77/65.18	       =>  wckTime=25.398  cpuTime=25.14  mem=306M674
64.77/65.18	   
64.77/65.18	   global
64.77/65.18	     nbConstraintChecks=47330682  nbValidityChecks=8836394  nbPropagations=22535  nbRevisions=467137
64.77/65.18	     nbUselessRevisions=424528  nbRestartNogoods=0  solvingWckTime=25.401  solvingCpuTime=25.14  expiredTime=no
64.77/65.18	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=61.39  globalCpuTime=61.52
64.77/65.18	       =>  wckTime=64.92  cpuTime=61.47  mem=306M674
64.87/65.30	   
64.87/65.30	s SATISFIABLE
64.87/65.30	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 
64.87/65.30	d NODES 2251
64.87/65.30	d CHECKS 47330682
64.87/65.30	   
64.96/65.30	   totalWckTime=65.104  totalCpuTime=61.64

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-2097813-1247414058/watcher-2097813-1247414058 -o /tmp/evaluation-result-2097813-1247414058/solver-2097813-1247414058 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097813-1247414058.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: 1.94 1.98 1.99 4/80 31912
/proc/meminfo: memFree=1730928/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=10676 CPUtime=0
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28468538 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 2669 474 207 9 0 1184 0
[pid=31912/tid=31913] ppid=31910 vsize=10676 CPUtime=0
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28468539 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 9261016 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.080672 s]
/proc/loadavg: 1.94 1.98 1.99 4/80 31912
/proc/meminfo: memFree=1730928/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=864148 CPUtime=0.07
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 3107 0 1 0 5 2 0 0 18 0 9 0 28468538 884887552 2592 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 216037 2592 1239 9 0 210930 0
[pid=31912/tid=31913] ppid=31910 vsize=864148 CPUtime=0.05
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 2192 0 1 0 4 1 0 0 20 0 9 0 28468539 884887552 2592 996147200 134512640 134550932 4294955968 18446744073709551615 4125950718 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 864148

[startup+0.102674 s]
/proc/loadavg: 1.94 1.98 1.99 4/80 31912
/proc/meminfo: memFree=1730928/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=865984 CPUtime=0.09
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 3739 0 1 0 7 2 0 0 18 0 9 0 28468538 886767616 3205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 216496 3205 1695 9 0 210981 0
[pid=31912/tid=31913] ppid=31910 vsize=865984 CPUtime=0.07
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 2822 0 1 0 6 1 0 0 18 0 9 0 28468539 886767616 3205 996147200 134512640 134550932 4294955968 18446744073709551615 4125975331 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.302691 s]
/proc/loadavg: 1.94 1.98 1.99 4/80 31912
/proc/meminfo: memFree=1730928/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=866380 CPUtime=0.28
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 5862 0 1 0 24 4 0 0 18 0 9 0 28468538 887173120 5228 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 216595 5228 1981 9 0 211053 0
[pid=31912/tid=31913] ppid=31910 vsize=866380 CPUtime=0.23
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 4881 0 1 0 20 3 0 0 19 0 9 0 28468539 887173120 5228 996147200 134512640 134550932 4294955968 18446744073709551615 102339238 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.701736 s]
/proc/loadavg: 1.94 1.98 1.99 4/80 31912
/proc/meminfo: memFree=1730928/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=867500 CPUtime=0.68
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 14955 0 1 0 59 9 0 0 18 0 9 0 28468538 888320000 14317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 216875 14317 2001 9 0 211333 0
[pid=31912/tid=31913] ppid=31910 vsize=867500 CPUtime=0.52
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 13649 0 1 0 44 8 0 0 21 0 9 0 28468539 888320000 14317 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867500

[startup+1.50182 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 31921
/proc/meminfo: memFree=1640680/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=867588 CPUtime=1.47
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 25140 0 1 0 134 13 0 0 18 0 9 0 28468538 888410112 24491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 216897 24491 2051 9 0 211333 0
[pid=31912/tid=31913] ppid=31910 vsize=867588 CPUtime=1.2
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 15795 0 1 0 111 9 0 0 25 0 9 0 28468539 888410112 24491 996147200 134512640 134550932 4294955968 18446744073709551615 101450624 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31915] ppid=31910 vsize=867588 CPUtime=0.06
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 8000 0 0 0 4 2 0 0 16 0 9 0 28468541 888410112 24491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31916] ppid=31910 vsize=867588 CPUtime=0
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28468541 888410112 24491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=867588 CPUtime=0
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28468541 888410112 24491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=867588 CPUtime=0
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28468543 888410112 24491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=867588 CPUtime=0.18
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 642 0 0 0 18 0 0 0 15 0 9 0 28468543 888410112 24491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31920] ppid=31910 vsize=867588 CPUtime=0
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28468543 888410112 24491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=867588 CPUtime=0
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28468543 888410112 24491 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) 867588

[startup+3.10197 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 31925
/proc/meminfo: memFree=1614752/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=867500 CPUtime=3.05
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 30931 0 1 0 289 16 0 0 18 0 9 0 28468538 888320000 30257 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 216875 30257 2029 9 0 211333 0
[pid=31912/tid=31913] ppid=31910 vsize=867500 CPUtime=2.57
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 15798 0 1 0 247 10 0 0 25 0 9 0 28468539 888320000 30257 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31915] ppid=31910 vsize=867500 CPUtime=0.28
/proc/31912/task/31915/stat : 31915 (java) R 31910 31912 29892 0 -1 64 13788 0 0 0 23 5 0 0 17 0 9 0 28468541 888320000 30257 996147200 134512640 134550932 4294955968 18446744073709551615 104516192 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31916] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28468541 888320000 30257 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28468541 888320000 30257 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28468543 888320000 30257 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=867500 CPUtime=0.18
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 642 0 0 0 18 0 0 0 16 0 9 0 28468543 888320000 30257 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31920] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28468543 888320000 30257 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28468543 888320000 30257 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867500

[startup+6.30229 s]
/proc/loadavg: 2.03 2.00 2.00 3/89 31960
/proc/meminfo: memFree=1606560/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=867500 CPUtime=6.25
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 32484 0 1 0 606 19 0 0 18 0 9 0 28468538 888320000 31805 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 216875 31805 2032 9 0 211333 0
[pid=31912/tid=31913] ppid=31910 vsize=867500 CPUtime=5.69
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 15833 0 1 0 558 11 0 0 25 0 9 0 28468539 888320000 31805 996147200 134512640 134550932 4294955968 18446744073709551615 4126941654 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31915] ppid=31910 vsize=867500 CPUtime=0.33
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 15287 0 0 0 27 6 0 0 16 0 9 0 28468541 888320000 31805 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31916] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28468541 888320000 31805 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28468541 888320000 31805 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28468543 888320000 31805 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=867500 CPUtime=0.2
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 661 0 0 0 20 0 0 0 15 0 9 0 28468543 888320000 31805 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31920] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28468543 888320000 31805 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28468543 888320000 31805 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867500

[startup+12.7019 s]
/proc/loadavg: 2.03 2.00 2.00 3/89 31960
/proc/meminfo: memFree=1606312/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=867500 CPUtime=12.65
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 32487 0 1 0 1246 19 0 0 18 0 9 0 28468538 888320000 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 216875 31808 2032 9 0 211333 0
[pid=31912/tid=31913] ppid=31910 vsize=867500 CPUtime=12.08
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 15834 0 1 0 1197 11 0 0 25 0 9 0 28468539 888320000 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4126968375 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31915] ppid=31910 vsize=867500 CPUtime=0.33
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 15287 0 0 0 27 6 0 0 16 0 9 0 28468541 888320000 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31916] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28468541 888320000 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28468541 888320000 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28468543 888320000 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=867500 CPUtime=0.21
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 663 0 0 0 21 0 0 0 17 0 9 0 28468543 888320000 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31920] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28468543 888320000 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28468543 888320000 31808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 867500

[startup+25.5022 s]
/proc/loadavg: 2.02 2.00 2.00 3/89 31960
/proc/meminfo: memFree=1567912/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=867500 CPUtime=25.45
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 39221 0 1 0 2523 22 0 0 18 0 9 0 28468538 888320000 38532 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 216875 38532 2033 9 0 211333 0
[pid=31912/tid=31913] ppid=31910 vsize=867500 CPUtime=24.37
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 15845 0 1 0 2426 11 0 0 25 0 9 0 28468539 888320000 38532 996147200 134512640 134550932 4294955968 18446744073709551615 102883956 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31915] ppid=31910 vsize=867500 CPUtime=0.76
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 21957 0 0 0 68 8 0 0 16 0 9 0 28468541 888320000 38532 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31916] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28468541 888320000 38532 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28468541 888320000 38532 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28468543 888320000 38532 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=867500 CPUtime=0.28
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 716 0 0 0 27 1 0 0 16 0 9 0 28468543 888320000 38532 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31920] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28468543 888320000 38532 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=867500 CPUtime=0
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28468543 888320000 38532 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 867500

[startup+51.1027 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 32003
/proc/meminfo: memFree=1312672/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=868148 CPUtime=50.85
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 133744 1383 1 0 5004 53 25 3 18 0 9 0 28468538 888983552 91208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 217037 91208 2641 9 0 211495 0
[pid=31912/tid=31913] ppid=31910 vsize=868148 CPUtime=48
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 32144 1383 1 0 4755 17 25 3 25 0 9 0 28468539 888983552 91208 996147200 134512640 134550932 4294955968 18446744073709551615 4127521720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31915] ppid=31910 vsize=868148 CPUtime=2.67
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 99726 1383 0 0 207 32 25 3 17 0 9 0 28468541 888983552 91208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31916] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 19 1383 0 0 0 0 25 3 16 0 9 0 28468541 888983552 91208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 28 1383 0 0 0 0 25 3 15 0 9 0 28468541 888983552 91208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 1383 0 0 0 0 25 3 18 0 9 0 28468543 888983552 91208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=868148 CPUtime=0.7
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 1000 1383 0 0 41 1 25 3 17 0 9 0 28468543 888983552 91208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31920] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 1383 0 0 0 0 25 3 19 0 9 0 28468543 888983552 91208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 12 1383 0 0 0 0 25 3 15 0 9 0 28468543 888983552 91208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 868148

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

[startup+57.5024 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 32003
/proc/meminfo: memFree=1300576/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=868148 CPUtime=57.18
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 133748 1383 1 0 5637 53 25 3 18 0 9 0 28468538 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 217037 91210 2641 9 0 211495 0
[pid=31912/tid=31913] ppid=31910 vsize=868148 CPUtime=54.33
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 32145 1383 1 0 5388 17 25 3 25 0 9 0 28468539 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4126936947 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31915] ppid=31910 vsize=868148 CPUtime=2.67
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 99726 1383 0 0 207 32 25 3 16 0 9 0 28468541 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31916] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 19 1383 0 0 0 0 25 3 16 0 9 0 28468541 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 28 1383 0 0 0 0 25 3 15 0 9 0 28468541 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 1383 0 0 0 0 25 3 18 0 9 0 28468543 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=868148 CPUtime=0.7
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 1003 1383 0 0 41 1 25 3 15 0 9 0 28468543 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31920] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 1383 0 0 0 0 25 3 19 0 9 0 28468543 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 12 1383 0 0 0 0 25 3 15 0 9 0 28468543 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 57.18
Current children cumulated vsize (KiB) 868148

[startup+60.7017 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 32007
/proc/meminfo: memFree=1289952/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=868148 CPUtime=60.37
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 133750 1383 1 0 5956 53 25 3 18 0 9 0 28468538 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 217037 91210 2641 9 0 211495 0
[pid=31912/tid=31913] ppid=31910 vsize=868148 CPUtime=57.52
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 32146 1383 1 0 5707 17 25 3 25 0 9 0 28468539 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4126937020 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31915] ppid=31910 vsize=868148 CPUtime=2.67
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 99726 1383 0 0 207 32 25 3 16 0 9 0 28468541 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31916] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 19 1383 0 0 0 0 25 3 16 0 9 0 28468541 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 28 1383 0 0 0 0 25 3 15 0 9 0 28468541 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 1383 0 0 0 0 25 3 18 0 9 0 28468543 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=868148 CPUtime=0.7
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 1004 1383 0 0 41 1 25 3 16 0 9 0 28468543 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31920] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 1383 0 0 0 0 25 3 19 0 9 0 28468543 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 12 1383 0 0 0 0 25 3 15 0 9 0 28468543 888983552 91210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 60.37
Current children cumulated vsize (KiB) 868148

[startup+63.902 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 32007
/proc/meminfo: memFree=1168352/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=868148 CPUtime=63.57
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 133761 1383 1 0 6276 53 25 3 18 0 9 0 28468538 888983552 91220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 217037 91220 2641 9 0 211495 0
[pid=31912/tid=31913] ppid=31910 vsize=868148 CPUtime=60.69
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 32148 1383 1 0 6024 17 25 3 17 0 9 0 28468539 888983552 91220 996147200 134512640 134550932 4294955968 18446744073709551615 4126941103 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31915] ppid=31910 vsize=868148 CPUtime=2.67
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 99726 1383 0 0 207 32 25 3 16 0 9 0 28468541 888983552 91220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31916] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 19 1383 0 0 0 0 25 3 16 0 9 0 28468541 888983552 91220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 28 1383 0 0 0 0 25 3 15 0 9 0 28468541 888983552 91220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 1383 0 0 0 0 25 3 18 0 9 0 28468543 888983552 91220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=868148 CPUtime=0.72
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 1013 1383 0 0 43 1 25 3 15 0 9 0 28468543 888983552 91220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31920] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 1383 0 0 0 0 25 3 19 0 9 0 28468543 888983552 91220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 12 1383 0 0 0 0 25 3 15 0 9 0 28468543 888983552 91220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.57
Current children cumulated vsize (KiB) 868148

[startup+64.7021 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 32007
/proc/meminfo: memFree=1168352/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=868148 CPUtime=64.37
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 133762 1383 1 0 6356 53 25 3 18 0 9 0 28468538 888983552 91221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 217037 91221 2641 9 0 211495 0
[pid=31912/tid=31913] ppid=31910 vsize=868148 CPUtime=61.49
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 32148 1383 1 0 6104 17 25 3 25 0 9 0 28468539 888983552 91221 996147200 134512640 134550932 4294955968 18446744073709551615 4127573044 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31915] ppid=31910 vsize=868148 CPUtime=2.67
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 99726 1383 0 0 207 32 25 3 16 0 9 0 28468541 888983552 91221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31916] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 19 1383 0 0 0 0 25 3 16 0 9 0 28468541 888983552 91221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 28 1383 0 0 0 0 25 3 15 0 9 0 28468541 888983552 91221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 1383 0 0 0 0 25 3 18 0 9 0 28468543 888983552 91221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=868148 CPUtime=0.72
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 1014 1383 0 0 43 1 25 3 15 0 9 0 28468543 888983552 91221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31920] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 1383 0 0 0 0 25 3 19 0 9 0 28468543 888983552 91221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 12 1383 0 0 0 0 25 3 15 0 9 0 28468543 888983552 91221 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.37
Current children cumulated vsize (KiB) 868148

[startup+65.1021 s]
/proc/loadavg: 2.01 2.00 2.00 2/89 32007
/proc/meminfo: memFree=1168288/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=868148 CPUtime=64.77
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 133773 1383 1 0 6395 54 25 3 18 0 9 0 28468538 888983552 91231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 217037 91231 2641 9 0 211495 0
[pid=31912/tid=31913] ppid=31910 vsize=868148 CPUtime=61.88
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 32151 1383 1 0 6143 17 25 3 19 0 9 0 28468539 888983552 91231 996147200 134512640 134550932 4294955968 18446744073709551615 4126943747 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31915] ppid=31910 vsize=868148 CPUtime=2.67
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 99726 1383 0 0 207 32 25 3 16 0 9 0 28468541 888983552 91231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31916] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 19 1383 0 0 0 0 25 3 16 0 9 0 28468541 888983552 91231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 28 1383 0 0 0 0 25 3 15 0 9 0 28468541 888983552 91231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 1383 0 0 0 0 25 3 18 0 9 0 28468543 888983552 91231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=868148 CPUtime=0.73
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 1022 1383 0 0 44 1 25 3 16 0 9 0 28468543 888983552 91231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31920] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 1383 0 0 0 0 25 3 19 0 9 0 28468543 888983552 91231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 12 1383 0 0 0 0 25 3 15 0 9 0 28468543 888983552 91231 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.77
Current children cumulated vsize (KiB) 868148

[startup+65.3022 s]
/proc/loadavg: 2.01 2.00 2.00 2/89 32007
/proc/meminfo: memFree=1168288/2055920 swapFree=4192812/4192956
[pid=31912] ppid=31910 vsize=868148 CPUtime=64.96
/proc/31912/stat : 31912 (java) S 31910 31912 29892 0 -1 0 133786 1383 1 0 6414 54 25 3 18 0 9 0 28468538 888983552 91237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31912/statm: 217037 91237 2641 9 0 211495 0
[pid=31912/tid=31913] ppid=31910 vsize=868148 CPUtime=62.07
/proc/31912/task/31913/stat : 31913 (java) R 31910 31912 29892 0 -1 64 32158 1383 1 0 6161 18 25 3 21 0 9 0 28468539 888983552 91237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31915] ppid=31910 vsize=868148 CPUtime=2.67
/proc/31912/task/31915/stat : 31915 (java) S 31910 31912 29892 0 -1 64 99726 1383 0 0 207 32 25 3 16 0 9 0 28468541 888983552 91237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31916] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31916/stat : 31916 (java) S 31910 31912 29892 0 -1 64 19 1383 0 0 0 0 25 3 16 0 9 0 28468541 888983552 91237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31917] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31917/stat : 31917 (java) S 31910 31912 29892 0 -1 64 28 1383 0 0 0 0 25 3 15 0 9 0 28468541 888983552 91237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31918] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31918/stat : 31918 (java) S 31910 31912 29892 0 -1 64 2 1383 0 0 0 0 25 3 18 0 9 0 28468543 888983552 91237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31919] ppid=31910 vsize=868148 CPUtime=0.74
/proc/31912/task/31919/stat : 31919 (java) S 31910 31912 29892 0 -1 64 1028 1383 0 0 45 1 25 3 15 0 9 0 28468543 888983552 91237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31912/tid=31920] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31920/stat : 31920 (java) S 31910 31912 29892 0 -1 64 1 1383 0 0 0 0 25 3 19 0 9 0 28468543 888983552 91237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31912/tid=31921] ppid=31910 vsize=868148 CPUtime=0.28
/proc/31912/task/31921/stat : 31921 (java) S 31910 31912 29892 0 -1 64 12 1383 0 0 0 0 25 3 15 0 9 0 28468543 888983552 91237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.96
Current children cumulated vsize (KiB) 868148

Child status: 0
Real time (s): 65.3677
CPU time (s): 65.0451
CPU user time (s): 64.4082
CPU system time (s): 0.636903
CPU usage (%): 99.5065
Max. virtual memory (cumulated for all children) (KiB): 868236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.4082
system time used= 0.636903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135198
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= 3844
involuntary context switches= 4107

runsolver used 0.091986 second user time and 0.218966 second system time

The end

Launcher Data 

Begin job on node70 at 2009-07-12 17:54:19
IDJOB=2097813
IDBENCH=57802
IDSOLVER=773
FILE ID=node70/2097813-1247414058
PBS_JOBID= 9510508
Free space on /tmp= 66412 MiB

SOLVER NAME= Abscon 112v4 AC
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 mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097813-1247414058/watcher-2097813-1247414058 -o /tmp/evaluation-result-2097813-1247414058/solver-2097813-1247414058 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097813-1247414058.xml

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

MD5SUM BENCH= b43fc16fe95e90c7bd2840923bd352e6
RANDOM SEED=1872477469

node70.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.214
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.214
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:       1731344 kB
Buffers:         40180 kB
Cached:         147092 kB
SwapCached:          0 kB
Active:         176972 kB
Inactive:        90988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1731344 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10568 kB
Writeback:           0 kB
Mapped:          98752 kB
Slab:            41756 kB
Committed_AS:   996976 kB
PageTables:       1884 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= 66408 MiB
End job on node70 at 2009-07-12 17:55:24