Trace number 2097785

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 29.7455 30.0807

DiagnosticValue
CHECKS3766000
NODES2300

General information on the benchmark

Namecsp/fapp/fapp26/
normalized-fapp26-2300-10.xml
MD5SUMfed84ca019c3c42e3620b2e79df41b5a
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 benchmark29.3985
Satisfiable
(Un)Satisfiability was proved
Number of variables2300
Number of constraints24253
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension24253
Global constraints used (with number of constraints)

Solver Data 

0.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.19/0.26	
0.19/0.26	   configuration
0.19/0.26	     name=mac.xml
0.19/0.29	   
0.19/0.29	   instance
0.19/0.29	     name=HOME/instance-2097785-1247414028.xml
0.29/0.33	   
0.29/0.33	   domains being loaded...
0.29/0.37	   
0.29/0.37	   variables being loaded...
0.59/0.66	     nbVariables=2300  nbDomainTypes=17  minDomainSize=42  maxDomainSize=302  nbTotalValues=635123
0.59/0.66	       =>  wckTime=0.401  cpuTime=0.29  mem=31M329
0.59/0.66	   
0.59/0.66	   predicates being loaded...
0.68/0.73	   
0.68/0.73	   constraints being loaded...
20.69/20.94	   
20.69/20.94	   INFO : Stopping converting binary constraints (cpu=20.05, mem = 50M411)
25.34/25.62	     nbConstraints=12776  nbGlobalConstraints=15  nbMergedConstraints=11492  nbConvertedConstraints=656
25.34/25.62	     nbConvertConstraintsChecks=37686880  nbExtensionStructures=534  nbSharedExtensionStructures=349
25.34/25.62	     nbConflictsStructures=683  nbSharedConflictsStructures=438  nbUnbuiltConflictsStructures=2754
25.34/25.62	     nbSharedBinaryRepresentations=267105  nbEvaluationManagers=2903  nbSharedEvaluationManagers=9202  minDegree=3
25.34/25.62	     maxDegree=23  minArity=2  avgArity=2  maxArity=7  nbGenerators=0  nbFusions=0  symmetryWckTime=1.869
25.34/25.62	     symmetryCpuTime=1.54  nbCliques=15
25.34/25.62	       =>  wckTime=25.36  cpuTime=24.1  mem=65M201
25.64/25.97	   
25.64/25.97	   solver IterativeSystematicSolver being built... 
25.93/26.27	   
25.93/26.27	   INFO : Forward propagation technique limited 
26.14/26.49	       =>  wckTime=26.228  cpuTime=24.48  mem=107M125
28.90/29.20	   
28.90/29.20	   preprocessing
28.90/29.20	     nbConstraintChecks=3706244  nbValidityChecks=234612  nbPropagations=3102  nbRevisions=41489
28.90/29.20	     nbUselessRevisions=33125  nbRemovedValues=621994  detectedInconsistency=no
28.90/29.20	       =>  wckTime=2.696  cpuTime=2.65  mem=108M150
29.60/29.95	   
29.60/29.95	   search
29.60/29.95	     run=0  nbConstraintChecks=59761  nbValidityChecks=118265  minDepth=2301  maxDepth=2300  nbPropagations=6320
29.60/29.95	     nbRevisions=57388  nbUselessRevisions=48093  nbAssignments=2300  nbFailedAssignments=0  nbBacktracks=0
29.60/29.95	     nbVisitedNodes=2301  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
29.60/29.95	     nbDEliminables=?  nbPEliminables=?
29.60/29.95	       =>  wckTime=3.448  cpuTime=3.35  mem=109M192
29.60/29.95	   
29.60/29.95	   global
29.60/29.95	     nbConstraintChecks=3766005  nbValidityChecks=352877  nbPropagations=9422  nbRevisions=98877
29.60/29.95	     nbUselessRevisions=81218  nbRestartNogoods=0  solvingWckTime=3.45  solvingCpuTime=3.35  expiredTime=no
29.60/29.95	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=27.8  globalCpuTime=27.89
29.60/29.95	       =>  wckTime=29.694  cpuTime=27.85  mem=109M192
29.70/30.01	   
29.70/30.01	s SATISFIABLE
29.70/30.01	v -2600 -2556 -2540 -2340 -2512 -2552 -2752 -2800 -2504 -2620 -2780 -2364 -2268 -2392 -2552 -2744 -2336 2804 -2508 -2820 -2744 -2588 -2348 -2372 -2220 -2688 -2752 -2536 -2652 2244 -2232 -2668 -2228 -2804 -2424 -2260 -2412 -2524 -2736 -2220 -2660 -2324 -2280 -2524 -2496 -2560 -2544 -2592 -2280 -2576 -2352 -2340 -2780 -2712 -2592 -2728 -2640 -2260 -2820 -2328 -2272 -2440 -2780 -2788 -2780 -2820 -2820 -2464 -2784 -2424 -2656 -2712 -2340 -2780 -2780 -2224 -2788 -2240 -2400 -2504 -2260 -2588 -2276 -2420 -2620 -2808 -2640 -2348 -2608 -2664 -2592 -2548 -2396 -2308 -2648 -2556 2780 -2592 -2676 -2464 -2660 -2568 -2360 -2352 -2276 -2460 -2760 -2692 -2820 -2464 -2308 -2540 -2664 -2464 -2344 -2820 -2496 -2552 -2796 -2320 -2432 -2288 -2548 -2292 -2452 -2464 -2720 -2468 -2724 -2420 -2552 -2420 -2524 -2352 -2452 -2220 -2692 -2348 -2324 -2468 -2592 -2452 -2432 -2352 -2248 -2576 2684 -2484 -2724 -2312 -2580 -2692 -2820 -2504 -2364 -2504 -2436 -2540 -2696 2736 -2496 -2564 -2804 -2532 -2300 -2432 -2532 -2240 -2556 -2780 -2820 -2528 -2496 -2284 -2464 -2340 -2488 -2308 -2432 -2252 -2648 -2752 -2808 -2432 -2264 -2340 -2580 -2332 -2428 -2456 -2636 -2296 -2288 -2692 -2688 -2648 -2640 -2380 -2780 -2656 -2756 -2268 -2704 -2308 -2432 -2280 -2280 -2740 -2668 -2584 -2600 -2648 -2780 -2616 -2788 -2392 -2768 -2692 -2632 -2364 -2752 -2428 2744 -2612 -2820 -2616 -2508 -2604 -2292 -2652 -2652 -2744 -2804 -2712 -2472 -2648 -2592 -2336 -2712 -2364 -2820 -2572 -2656 -2640 -2252 2724 -2604 -2660 -2428 -2220 -2468 -2528 -2676 -2608 -2484 -2420 -2820 -2820 -2328 -2412 -2364 -2668 -2352 -2680 -2328 -2420 -2376 -2464 -2788 -2280 -2352 -2756 -2664 -2552 -2680 -2384 -2584 -2660 -2316 -2296 -2508 -2384 -2356 -2684 -2316 -2220 -2496 -2476 -2248 -2820 -2480 -2404 -2500 -2428 -2512 -2228 -2688 -2780 -2672 -2752 -2588 -2768 -2468 -2684 -2280 -2504 2524 -2636 -2780 -2772 -2516 -2692 -2440 -2764 -2556 -2560 -2616 -2292 -2764 -2256 -2488 -2316 -2520 -2472 -2364 -2220 -2500 -2588 -2768 -2312 -2704 -2716 -2256 -2712 -2712 -2768 -2248 -2820 -2780 -2572 -2332 -2780 -2792 -2412 -2488 -2752 -2248 -2628 -2448 -2260 -2364 -2372 -2652 -2748 -2532 -2652 -2372 -2624 -2780 -2792 -2432 -2456 -2644 -2284 -2296 -2512 2428 -2300 -2384 -2612 -2672 -2220 -2520 -2668 -2488 -2400 -2324 -2676 -2380 -2432 2328 -2564 -2404 2500 -2592 -2788 -2516 -2752 -2428 -2264 -2752 -2332 -2772 -2568 -2332 -2688 2348 -2636 -2616 -2536 -2260 -2356 -2316 -2628 -2568 -2724 -2376 -2368 -2520 -2268 -2544 -2496 -2220 -2820 -2280 -2296 -2512 -2288 -2820 -2440 2420 -2428 -2456 -2356 -2796 -2352 -2660 -2324 -2588 -2680 -2236 -2660 -2656 -2520 -2468 -2300 -2592 -2268 2268 -2680 -2384 -2372 -2512 2788 -2676 -2384 -2468 -2820 -2232 -2764 -2284 -2280 -2260 2312 -2524 -2360 -2320 -2508 -2704 -2736 -2260 2464 -2508 -2332 -2684 -2604 -2540 2312 -2712 -2552 -2332 -2396 -2336 -2544 -2676 -2600 -2348 -2472 -2484 -2700 2772 -2752 -2404 -2412 -2732 -2732 -2608 -2316 -2220 2240 -2592 -2392 -2260 -2240 -2820 -2636 -2584 -2756 -2472 -2452 -2764 2460 -2472 2776 -2460 -2420 -2804 -2244 2768 -2628 -2500 -2252 -2780 2548 -2552 -2648 -2752 -2780 -2752 -2408 -2732 -2260 -2512 -2312 -2820 -2420 -2456 -2380 -2264 -2440 2312 -2820 -2464 -2448 -2732 -2608 -2272 -2344 -2272 -2580 -2432 -2620 -2476 -2648 -2336 -2720 -2780 -2340 -2272 -2316 -2280 -2328 -2684 -2620 -2776 -2608 -2536 -2244 2696 -2676 -2704 -2228 -2336 -2260 -2668 -2744 -2428 -2712 -2636 -2584 -2428 -2420 -2244 -2716 -2356 -2292 -2820 -2432 -2796 -2504 -2376 -2444 -2436 -2548 -2752 -2620 -2540 -2240 -2744 -2520 -2688 -2684 -2288 -2296 -2488 -2764 -2748 -2412 -2220 -2244 -2764 -2272 -2508 -2624 -2764 -2516 -2320 -2388 -2796 -2324 -2756 -2480 -2612 -2800 -2256 -2676 -2588 -2712 -2628 -2340 -2544 -2544 -2768 -2560 -2384 -2276 -2728 -2536 -2220 -2280 -2380 -2708 -2540 -2676 -2396 -2740 -2328 -2592 -2236 2380 -2656 -2496 -2220 -2780 -2632 -2568 -2800 -2368 -2640 -2396 2592 -2432 -2780 -2792 -2528 -2340 -2284 -2452 -2804 -2400 -2556 -2820 -2704 -2368 -2728 -2276 -2464 -2472 -2760 -2296 -2648 -2232 -2752 -2400 -2560 -2612 -2684 -2780 -2288 2752 -2712 -2292 -2688 -2524 2780 -2820 -2336 -2708 -2820 -2488 -2772 -2264 -2472 -2400 -2220 -2592 -2528 -2740 -2640 -2400 -2568 -2688 -2656 -2388 -2744 -2380 -2372 -2388 -2236 -2408 -2652 -2220 -2468 -2256 -2780 -2532 -2240 -2336 -2576 -2744 -2700 -2416 -2440 -2564 -2676 -2488 -2468 -2328 -2652 -2780 -2672 -2400 -2424 -2460 -2692 -2656 -2524 -2440 -2548 2776 -2280 -2780 -2684 -2260 -2276 -2420 -2272 -2780 -2476 -2380 -2488 -2336 -2488 -2592 -2688 -2284 -2784 -2244 -2288 -2500 -2384 -2524 -2452 -2292 -2592 -2776 -2752 -2752 -2804 -2496 -2668 -2548 -2780 -2368 -2384 -2592 -2348 -2288 -2424 -2384 -2484 -2472 -2592 -2780 -2780 -2600 -2288 -2468 -2776 -2724 -2720 -2476 -2508 -2280 -2220 -2232 -2528 -2444 -2384 -2692 -2260 -2460 -2820 -2640 -2720 -2780 -2756 -2656 -2272 -2800 -2220 -2780 -2584 -2780 -2432 -2616 -2248 -2236 -2660 -2428 -2288 -2672 2376 -2416 -2792 2604 -2436 -2624 2632 -2240 -2696 -2804 -2812 -2820 -2376 -2456 -2564 2248 -2504 -2700 -2752 -2804 -2524 -2684 -2316 -2552 -2300 -2308 -2632 -2576 -2376 -2484 -2796 -2708 -2376 2776 -2412 -2536 -2632 -2764 -2756 -2436 -2780 -2392 -2704 -2560 -2480 -2740 -2488 -2368 -2592 -2820 -2516 -2260 -2248 -2808 -2496 -2500 -2728 -2596 -2624 -2256 -2700 -2260 -2332 -2460 -2692 -2568 -2468 -2800 2424 -2352 -2752 2592 -2424 -2672 -2392 -2532 -2744 -2700 -2664 -2568 -2712 -2356 -2452 -2500 -2820 -2512 -2476 -2564 -2316 -2252 -2660 -2600 -2556 -2228 -2500 -2492 -2316 -2496 -2764 -2424 -2224 -2440 -2560 -2620 -2296 -2548 -2440 -2388 -2800 -2516 -2552 -2492 -2804 -2820 -2472 -2584 -2680 -2800 -2768 -2264 -2428 -2820 -2752 -2568 -2748 -2528 -2756 -2748 2764 -2412 -2540 -2364 -2820 -2536 -2556 -2336 -2780 -2572 -2552 -2460 -2340 -2280 -2532 -2288 -2508 -2256 -2596 -2692 -2508 -2580 -2516 -2564 -2700 -2568 -2372 -2348 -2596 -2460 -2260 -2680 -2548 -2236 -2752 -2760 -2512 -2628 -2588 -2580 -2820 -2220 -2388 -2240 -2816 -2324 -2340 -2552 -2480 -2280 -2512 -2760 -2652 -2780 -2820 -2440 -2464 -2460 -2820 -2720 -2728 -2300 -2448 -2352 -2588 -2516 -2368 -2656 -2728 -2548 -2780 -2396 2820 -2548 -2396 -2236 -2380 -2820 -2368 -2660 -2548 -2664 -2376 -2244 -2712 2364 -2260 -2344 -2596 -2244 -2556 -2536 -2704 -2700 2560 -2620 -2256 -2284 -2400 -2736 -2260 -2548 -2532 -2632 -2316 -2580 -2796 -2320 -2492 -2236 -2528 -2780 -2764 -2520 -2320 -2260 -2552 -2820 -2716 -2580 -2448 2708 -2756 2700 -2260 -2532 -2540 -2224 -2260 -2436 -2464 -2292 -2412 -2528 -2732 -2524 -2256 -2440 -2456 -2488 -2292 -2236 -2336 -2588 2580 -2624 -2820 -2416 -2576 -2276 -2612 -2604 -2260 -2364 -2704 -2480 -2812 -2716 -2820 -2488 -2680 -2780 2540 -2388 -2364 -2320 -2480 -2400 -2580 -2220 -2220 -2624 -2304 -2820 -2396 -2432 -2556 -2316 -2760 2548 -2620 -2472 -2696 -2472 -2776 -2496 -2492 -2820 -2496 -2596 -2424 -2416 -2820 -2656 -2460 -2724 -2288 -2724 -2268 -2628 -2500 -2260 -2820 -2616 -2680 -2276 -2324 -2516 -2612 -2600 -2472 2780 -2320 -2808 -2364 -2780 -2344 -2792 -2712 -2780 -2276 -2428 -2256 -2528 -2620 -2544 -2776 -2400 -2820 -2276 -2712 -2552 -2480 -2748 -2380 -2712 -2500 -2820 -2672 -2764 -2724 -2656 -2712 -2664 -2776 -2764 2780 -2648 -2380 -2264 -2608 -2532 -2640 -2756 -2504 -2780 -2496 -2348 -2460 -2704 2724 -2436 -2808 -2328 -2476 -2364 2724 -2772 -2564 -2624 -2536 -2680 -2732 -2448 -2400 -2552 -2648 -2732 -2616 -2608 -2820 -2736 -2272 -2588 -2628 -2780 -2296 -2416 -2272 -2292 -2264 -2456 -2364 -2812 -2808 -2360 2308 -2244 -2412 -2244 -2644 -2408 -2780 -2732 -2288 -2564 -2244 -2488 -2476 -2664 -2276 -2268 -2568 -2780 -2232 -2592 -2764 -2552 -2608 -2328 -2424 -2820 -2332 -2712 -2628 -2764 -2500 -2632 -2792 -2556 -2392 -2700 -2512 -2780 -2256 -2596 -2492 -2236 -2500 -2600 -2668 -2740 -2768 -2656 -2496 -2348 -2224 -2664 -2296 -2716 -2348 -2356 -2780 -2308 -2756 -2336 -2604 -2652 -2356 -2428 -2556 -2312 -2276 -2536 2468 -2272 -2584 -2412 -2764 -2244 -2704 -2344 -2472 -2444 -2288 -2556 -2656 -2412 -2304 -2356 -2372 -2412 -2816 -2456 -2652 -2632 2772 -2676 -2724 -2772 -2592 -2552 -2796 -2248 -2692 -2240 -2284 -2376 -2776 -2664 -2428 -2636 -2484 -2820 -2592 -2284 -2260 -2272 -2288 -2780 -2588 -2364 -2500 -2804 2724 -2696 -2688 2396 -2796 -2344 -2596 -2568 -2688 -2556 -2704 -2268 -2392 -2248 -2328 -2684 -2236 -2820 -2640 -2724 -2580 -2440 -2260 -2680 -2624 -2220 -2276 -2816 -2524 -2636 -2600 -2532 -2652 -2728 -2300 -2780 -2220 -2372 -2220 2380 -2408 -2520 -2736 -2288 -2548 -2812 -2604 -2296 -2396 -2424 -2424 -2752 -2552 -2480 -2780 -2624 -2580 -2748 -2220 -2528 -2392 -2268 -2740 -2356 -2612 -2276 2772 -2424 -2644 -2396 -2632 -2476 2768 -2744 -2652 -2456 -2356 -2476 -2312 -2548 -2704 -2820 -2408 -2820 -2324 -2548 -2252 -2820 -2708 -2616 -2476 -2456 -2324 -2620 -2820 -2448 -2336 -2520 -2328 -2560 -2820 -2412 -2596 -2808 -2452 -2792 -2312 -2292 -2232 -2764 -2284 -2780 -2700 -2380 -2608 -2668 -2504 -2632 -2316 -2240 -2288 -2540 -2684 -2260 -2772 -2404 -2652 -2532 -2744 -2712 -2280 -2520 2424 -2504 -2552 -2516 -2520 -2564 2764 -2256 -2492 -2576 -2820 -2512 -2768 -2548 2496 -2724 -2404 -2492 -2816 -2780 -2592 -2440 -2528 -2656 -2484 -2452 2404 -2352 -2724 -2812 -2232 -2624 -2544 -2440 -2432 -2452 -2604 2460 -2356 -2220 -2520 -2604 -2336 -2624 -2272 -2776 -2332 -2600 -2540 -2668 -2660 -2688 -2372 -2364 -2220 -2692 -2528 -2820 -2324 -2256 -2388 -2780 -2220 -2332 -2416 -2308 -2352 -2716 -2324 2804 -2600 -2532 -2244 -2596 -2376 -2788 -2820 -2376 -2368 -2284 -2372 -2568 -2780 -2320 -2424 -2400 -2624 -2556 -2468 -2356 -2724 2640 -2476 -2356 -2660 -2692 -2244 -2424 -2364 -2384 -2768 -2348 -2608 -2608 -2700 -2652 -2344 -2528 -2528 -2680 -2636 -2492 -2640 -2360 -2496 -2548 -2700 -2780 -2404 -2492 -2740 -2364 -2756 -2440 -2668 -2288 -2408 -2424 -2560 -2508 -2680 -2616 -2400 -2696 -2444 -2368 -2620 -2220 -2692 -2760 -2284 -2564 -2624 2360 -2292 -2516 -2500 -2508 -2740 -2668 -2552 -2764 -2228 -2276 -2808 -2592 -2440 -2224 -2284 -2556 -2448 2280 -2616 2804 -2816 -2804 -2300 -2772 -2360 -2596 -2808 -2528 -2588 -2260 -2672 -2284 -2384 -2384 -2292 -2296 -2340 -2780 -2760 -2820 -2244 -2736 -2448 -2456 -2464 -2260 -2780 -2224 -2344 -2444 -2248 -2620 -2328 -2744 -2432 -2392 -2404 -2564 -2748 -2340 -2660 -2388 -2820 -2252 -2408 -2820 -2588 -2424 -2616 -2732 -2392 -2236 -2388 -2776 -2280 -2576 -2804 -2272 -2312 -2696 -2420 -2252 -2580 2552 -2628 -2784 -2508 -2260 -2612 -2516 -2780 -2584 -2644 -2516 -2288 -2272 -2480 -2820 -2680 -2220 -2400 -2528 2776 -2808 -2284 -2532 -2640 -2820 -2260 -2288 -2460 -2592 -2636 -2280 -2660 -2692 -2372 -2820 -2760 -2820 -2220 -2400 -2528 -2628 -2504 -2648 -2260 2220 -2820 -2460 -2296 -2592 -2616 -2716 -2700 -2524 -2488 -2820 -2764 -2728 -2220 -2228 -2780 -2408 -2228 -2780 -2364 -2376 -2356 -2644 -2696 -2436 -2292 -2688 -2272 -2304 -2292 -2380 -2636 -2696 -2804 -2496 -2732 -2260 -2476 -2488 -2500 -2228 -2308 -2624 -2400 -2712 -2536 -2516 -2264 -2756 -2516 -2384 -2340 -2656 -2560 -2820 -2404 -2636 -2580 -2592 -2312 -2780 -2240 -2288 -2816 -2248 -2624 -2648 -2504 -2572 -2508 -2680 2816 -2540 -2432 -2484 2388 -2528 -2612 -2616 -2652 -2704 -2524 2616 -2248 -2820 -2220 -2780 -2312 -2640 -2264 -2328 -2820 -2260 -2484 -2240 -2260 -2580 -2624 -2552 -2628 -2624 -2788 -2520 -2648 -2336 -2476 -2664 -2664 -2296 -2284 -2280 -2248 -2468 -2528 2768 -2656 -2332 -2420 -2540 -2384 -2532 -2764 -2300 -2392 -2560 -2724 -2704 -2612 -2500 -2776 -2608 -2664 -2228 -2816 -2780 2260 -2748 -2312 -2448 -2248 -2716 -2616 -2692 2816 -2412 -2460 -2748 -2696 -2588 -2252 -2712 -2544 2492 -2480 -2448 -2296 -2720 -2424 -2468 -2252 -2788 -2692 -2348 -2552 -2488 -2608 -2756 -2364 -2540 -2340 -2296 -2344 -2740 -2256 -2424 -2492 2676 -2712 -2752 -2608 -2492 -2752 -2780 -2244 -2256 -2492 -2820 -2604 -2408 -2268 -2260 -2452 -2324 -2816 -2560 -2224 -2676 -2664 -2412 -2744 -2472 2624 -2536 -2324 -2292 -2572 -2548 -2656 -2508 -2328 -2688 -2356 -2736 -2324 -2464 -2496 -2560 -2768 -2388 -2596 -2328 -2524 -2296 -2308 -2600 -2488 -2624 -2780 -2320 -2764 -2316 -2664 -2316 -2648 -2664 -2468 -2232 -2784 -2552 -2744 2252 -2260 -2668 -2240 -2584 -2536 -2284 -2240 -2720 -2444 -2820 -2536 -2268 -2336 -2380 -2608 -2332 -2464 -2220 -2288 -2584 -2484 -2780 -2592 -2420 -2276 -2472 -2420 -2268 -2220 -2492 2820 -2764 -2676 -2640 -2276 -2692 -2752 -2780 -2352 -2280 -2232 -2576 -2556 -2716 -2232 -2460 -2564 -2428 -2764 -2696 -2696 -2448 -2652 -2784 -2568 -2820 -2268 -2324 -2260 -2580 -2644 -2744 -2568 -2780 -2724 -2684 -2360 -2708 -2508 -2632 -2596 -2820 -2552 -2368 -2780 -2780 -2360 -2224 -2380 -2260 -2220 -2456 -2752 -2704 -2448 -2664 -2692 -2820 -2320 -2628 -2760 -2248 -2656 -2376 -2500 -2532 -2568 2460 -2604 -2368 -2508 -2580 -2324 -2292 -2780 -2584 -2752 -2308 -2296 -2780 -2284 -2548 -2260 -2596 -2424 -2700 -2780 -2756 -2760 2516 -2484 -2224 -2404 -2772 -2588 -2780 -2764 -2600 -2220 -2564 -2436 -2364 -2408 -2712 -2228 -2308 -2728 -2440 -2644 -2820 -2288 -2220 -2464 -2288 -2652 -2260 -2288 -2748 -2620 -2544 -2272 -2584 -2460 -2700 -2264 -2584 -2296 -2800 -2488 -2752 -2220 -2796 2376 -2680 -2340 2256 -2260 -2324 -2780 -2540 -2420 -2764 -2704 -2628 -2264 -2464 -2808 -2744 -2260 -2476 -2652 -2592 -2624 -2444 -2568 -2540 -2472 -2372 2620 -2664 2764 -2368 -2492 -2276 -2544 -2232 -2736 -2364 -2796 -2292 -2456 -2812 -2536 -2624 -2780 -2804 -2820 -2712 -2748 -2532 -2272 -2640 -2576 -2652 -2408 2672 -2500 -2692 -2364 -2720 -2644 -2464 -2568 -2784 -2512 -2780 -2604 -2812 -2516 -2708 -2508 -2356 -2496 -2748 -2792 -2644 -2448 -2392 -2636 -2360 -2704 -2580 -2320 -2780 -2464 -2528 -2768 -2744 -2280 -2588 2716 -2808 -2780 -2732 -2656 -2588 -2480 -2440 -2804 -2220 -2248 -2576 -2660 -2496 -2504 -2488 -2464 -2712 -2812 -2712 -2820 -2548 2220 -2672 -2496 -2380 -2776 -2616 -2820 2540 -2456 -2652 -2780 -2780 -2376 -2528 -2252 -2552 -2608 -2344 -2616 -2820 
29.70/30.01	d NODES 2300
29.70/30.01	d CHECKS 3766005
29.70/30.01	   
29.70/30.01	   totalWckTime=29.818  totalCpuTime=27.94

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-2097785-1247414028/watcher-2097785-1247414028 -o /tmp/evaluation-result-2097785-1247414028/solver-2097785-1247414028 -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-2097785-1247414028.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.98 2.00 2.00 4/80 4050
/proc/meminfo: memFree=1303464/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=18576 CPUtime=0
/proc/4050/stat : 4050 (runsolver) R 4048 4050 2490 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28466467 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4050/statm: 4644 284 249 26 0 2626 0

[startup+0.00908995 s]
/proc/loadavg: 1.98 2.00 2.00 4/80 4050
/proc/meminfo: memFree=1303464/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=1616 CPUtime=0
/proc/4050/stat : 4050 (java) D 4048 4050 2490 0 -1 0 180 0 0 0 0 0 0 0 19 0 1 0 28466467 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4050/statm: 68 37 28 9 0 6 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616

[startup+0.103972 s]
/proc/loadavg: 1.98 2.00 2.00 4/80 4050
/proc/meminfo: memFree=1303464/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=865984 CPUtime=0.09
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 3735 0 1 0 7 2 0 0 19 0 9 0 28466467 886767616 3203 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216496 3203 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.302988 s]
/proc/loadavg: 1.98 2.00 2.00 4/80 4050
/proc/meminfo: memFree=1303464/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=866380 CPUtime=0.29
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 5870 0 1 0 25 4 0 0 19 0 9 0 28466467 887173120 5236 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216595 5236 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380

[startup+0.702032 s]
/proc/loadavg: 1.98 2.00 2.00 4/80 4050
/proc/meminfo: memFree=1303464/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867588 CPUtime=0.68
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 13075 0 1 0 61 7 0 0 19 0 9 0 28466467 888410112 12430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216897 12430 2031 9 0 211333 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867588

[startup+1.5011 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 4059
/proc/meminfo: memFree=1248352/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867500 CPUtime=1.47
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 21820 0 1 0 136 11 0 0 19 0 9 0 28466467 888320000 21148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216875 21148 2029 9 0 211333 0
[pid=4050/tid=4052] ppid=4048 vsize=867500 CPUtime=1.2
/proc/4050/task/4052/stat : 4052 (java) R 4048 4050 2490 0 -1 64 15796 0 1 0 112 8 0 0 25 0 9 0 28466468 888320000 21148 996147200 134512640 134550932 4294955968 18446744073709551615 4126528504 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4053] ppid=4048 vsize=867500 CPUtime=0.06
/proc/4050/task/4053/stat : 4053 (java) S 4048 4050 2490 0 -1 64 4680 0 0 0 5 1 0 0 17 0 9 0 28466470 888320000 21148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4054] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4054/stat : 4054 (java) S 4048 4050 2490 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28466470 888320000 21148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4055] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4055/stat : 4055 (java) S 4048 4050 2490 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28466470 888320000 21148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4056] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4056/stat : 4056 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28466472 888320000 21148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4057] ppid=4048 vsize=867500 CPUtime=0.18
/proc/4050/task/4057/stat : 4057 (java) S 4048 4050 2490 0 -1 64 642 0 0 0 18 0 0 0 15 0 9 0 28466472 888320000 21148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4058] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4058/stat : 4058 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28466472 888320000 21148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4059] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4059/stat : 4059 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28466472 888320000 21148 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) 867500

[startup+3.10123 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 4059
/proc/meminfo: memFree=1214368/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867500 CPUtime=3.05
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 24887 0 1 0 292 13 0 0 19 0 9 0 28466467 888320000 24211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216875 24211 2032 9 0 211333 0
[pid=4050/tid=4052] ppid=4048 vsize=867500 CPUtime=2.67
/proc/4050/task/4052/stat : 4052 (java) R 4048 4050 2490 0 -1 64 15831 0 1 0 258 9 0 0 25 0 9 0 28466468 888320000 24211 996147200 134512640 134550932 4294955968 18446744073709551615 4126934993 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4053] ppid=4048 vsize=867500 CPUtime=0.16
/proc/4050/task/4053/stat : 4053 (java) S 4048 4050 2490 0 -1 64 7694 0 0 0 13 3 0 0 17 0 9 0 28466470 888320000 24211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4054] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4054/stat : 4054 (java) S 4048 4050 2490 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28466470 888320000 24211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4055] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4055/stat : 4055 (java) S 4048 4050 2490 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28466470 888320000 24211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4056] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4056/stat : 4056 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28466472 888320000 24211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4057] ppid=4048 vsize=867500 CPUtime=0.2
/proc/4050/task/4057/stat : 4057 (java) S 4048 4050 2490 0 -1 64 660 0 0 0 20 0 0 0 16 0 9 0 28466472 888320000 24211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4058] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4058/stat : 4058 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28466472 888320000 24211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4059] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4059/stat : 4059 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28466472 888320000 24211 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.30251 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 4059
/proc/meminfo: memFree=1213792/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867500 CPUtime=6.23
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 24920 0 1 0 609 14 0 0 19 0 9 0 28466467 888320000 24240 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216875 24240 2032 9 0 211333 0
[pid=4050/tid=4052] ppid=4048 vsize=867500 CPUtime=5.81
/proc/4050/task/4052/stat : 4052 (java) R 4048 4050 2490 0 -1 64 15836 0 1 0 572 9 0 0 25 0 9 0 28466468 888320000 24240 996147200 134512640 134550932 4294955968 18446744073709551615 4126937655 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4053] ppid=4048 vsize=867500 CPUtime=0.16
/proc/4050/task/4053/stat : 4053 (java) S 4048 4050 2490 0 -1 64 7694 0 0 0 13 3 0 0 17 0 9 0 28466470 888320000 24240 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4054] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4054/stat : 4054 (java) S 4048 4050 2490 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28466470 888320000 24240 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4055] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4055/stat : 4055 (java) S 4048 4050 2490 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28466470 888320000 24240 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4056] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4056/stat : 4056 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28466472 888320000 24240 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4057] ppid=4048 vsize=867500 CPUtime=0.23
/proc/4050/task/4057/stat : 4057 (java) S 4048 4050 2490 0 -1 64 688 0 0 0 23 0 0 0 15 0 9 0 28466472 888320000 24240 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4058] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4058/stat : 4058 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28466472 888320000 24240 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4059] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4059/stat : 4059 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28466472 888320000 24240 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) 867500

[startup+12.7011 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 4059
/proc/meminfo: memFree=1207520/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867500 CPUtime=12.56
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 26437 0 1 0 1241 15 0 0 19 0 9 0 28466467 888320000 25756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216875 25756 2032 9 0 211333 0
[pid=4050/tid=4052] ppid=4048 vsize=867500 CPUtime=12.05
/proc/4050/task/4052/stat : 4052 (java) R 4048 4050 2490 0 -1 64 15837 0 1 0 1195 10 0 0 25 0 9 0 28466468 888320000 25756 996147200 134512640 134550932 4294955968 18446744073709551615 4126938405 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4053] ppid=4048 vsize=867500 CPUtime=0.24
/proc/4050/task/4053/stat : 4053 (java) S 4048 4050 2490 0 -1 64 9209 0 0 0 21 3 0 0 16 0 9 0 28466470 888320000 25756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4054] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4054/stat : 4054 (java) S 4048 4050 2490 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28466470 888320000 25756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4055] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4055/stat : 4055 (java) S 4048 4050 2490 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28466470 888320000 25756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4056] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4056/stat : 4056 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28466472 888320000 25756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4057] ppid=4048 vsize=867500 CPUtime=0.24
/proc/4050/task/4057/stat : 4057 (java) S 4048 4050 2490 0 -1 64 689 0 0 0 24 0 0 0 16 0 9 0 28466472 888320000 25756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4058] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4058/stat : 4058 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28466472 888320000 25756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4059] ppid=4048 vsize=867500 CPUtime=0
/proc/4050/task/4059/stat : 4059 (java) S 4048 4050 2490 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28466472 888320000 25756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867500

[startup+25.5022 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 4063
/proc/meminfo: memFree=1189912/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867824 CPUtime=25.24
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 33753 868 1 0 2487 20 15 2 19 0 9 0 28466467 888651776 30141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216956 30141 2045 9 0 211414 0
[pid=4050/tid=4052] ppid=4048 vsize=867824 CPUtime=24.35
/proc/4050/task/4052/stat : 4052 (java) R 4048 4050 2490 0 -1 64 18493 868 1 0 2406 12 15 2 25 0 9 0 28466468 888651776 30141 996147200 134512640 134550932 4294955968 18446744073709551615 4126929448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4053] ppid=4048 vsize=867824 CPUtime=0.7
/proc/4050/task/4053/stat : 4053 (java) S 4048 4050 2490 0 -1 64 13565 868 0 0 48 5 15 2 16 0 9 0 28466470 888651776 30141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4054] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4054/stat : 4054 (java) S 4048 4050 2490 0 -1 64 16 868 0 0 0 0 15 2 16 0 9 0 28466470 888651776 30141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4055] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4055/stat : 4055 (java) S 4048 4050 2490 0 -1 64 5 868 0 0 0 0 15 2 16 0 9 0 28466470 888651776 30141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4056] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4056/stat : 4056 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 18 0 9 0 28466472 888651776 30141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4057] ppid=4048 vsize=867824 CPUtime=0.5
/proc/4050/task/4057/stat : 4057 (java) S 4048 4050 2490 0 -1 64 855 868 0 0 32 1 15 2 15 0 9 0 28466472 888651776 30141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4058] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4058/stat : 4058 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 19 0 9 0 28466472 888651776 30141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4059] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4059/stat : 4059 (java) S 4048 4050 2490 0 -1 64 14 868 0 0 0 0 15 2 15 0 9 0 28466472 888651776 30141 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867824

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

[startup+27.1013 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 4063
/proc/meminfo: memFree=1173720/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867824 CPUtime=26.82
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 67011 868 1 0 2637 28 15 2 19 0 9 0 28466467 888651776 39070 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216956 39070 2641 9 0 211414 0
[pid=4050/tid=4052] ppid=4048 vsize=867824 CPUtime=25.44
/proc/4050/task/4052/stat : 4052 (java) R 4048 4050 2490 0 -1 64 30474 868 1 0 2511 16 15 2 25 0 9 0 28466468 888651776 39070 996147200 134512640 134550932 4294955968 18446744073709551615 4126929437 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4053] ppid=4048 vsize=867824 CPUtime=1.13
/proc/4050/task/4053/stat : 4053 (java) S 4048 4050 2490 0 -1 64 34737 868 0 0 87 9 15 2 16 0 9 0 28466470 888651776 39070 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4054] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4054/stat : 4054 (java) S 4048 4050 2490 0 -1 64 21 868 0 0 0 0 15 2 16 0 9 0 28466470 888651776 39070 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4055] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4055/stat : 4055 (java) S 4048 4050 2490 0 -1 64 29 868 0 0 0 0 15 2 15 0 9 0 28466470 888651776 39070 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4056] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4056/stat : 4056 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 18 0 9 0 28466472 888651776 39070 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4057] ppid=4048 vsize=867824 CPUtime=0.56
/proc/4050/task/4057/stat : 4057 (java) S 4048 4050 2490 0 -1 64 930 868 0 0 38 1 15 2 16 0 9 0 28466472 888651776 39070 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4058] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4058/stat : 4058 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 19 0 9 0 28466472 888651776 39070 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4059] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4059/stat : 4059 (java) S 4048 4050 2490 0 -1 64 15 868 0 0 0 0 15 2 15 0 9 0 28466472 888651776 39070 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.82
Current children cumulated vsize (KiB) 867824

[startup+28.7015 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 4063
/proc/meminfo: memFree=1156696/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867824 CPUtime=28.4
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 67017 868 1 0 2795 28 15 2 19 0 9 0 28466467 888651776 39074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216956 39074 2641 9 0 211414 0
[pid=4050/tid=4052] ppid=4048 vsize=867824 CPUtime=27.01
/proc/4050/task/4052/stat : 4052 (java) R 4048 4050 2490 0 -1 64 30475 868 1 0 2668 16 15 2 25 0 9 0 28466468 888651776 39074 996147200 134512640 134550932 4294955968 18446744073709551615 4126934980 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4053] ppid=4048 vsize=867824 CPUtime=1.13
/proc/4050/task/4053/stat : 4053 (java) S 4048 4050 2490 0 -1 64 34737 868 0 0 87 9 15 2 17 0 9 0 28466470 888651776 39074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4054] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4054/stat : 4054 (java) S 4048 4050 2490 0 -1 64 21 868 0 0 0 0 15 2 16 0 9 0 28466470 888651776 39074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4055] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4055/stat : 4055 (java) S 4048 4050 2490 0 -1 64 29 868 0 0 0 0 15 2 15 0 9 0 28466470 888651776 39074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4056] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4056/stat : 4056 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 18 0 9 0 28466472 888651776 39074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4057] ppid=4048 vsize=867824 CPUtime=0.57
/proc/4050/task/4057/stat : 4057 (java) S 4048 4050 2490 0 -1 64 935 868 0 0 39 1 15 2 16 0 9 0 28466472 888651776 39074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4058] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4058/stat : 4058 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 19 0 9 0 28466472 888651776 39074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4059] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4059/stat : 4059 (java) S 4048 4050 2490 0 -1 64 15 868 0 0 0 0 15 2 15 0 9 0 28466472 888651776 39074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.4
Current children cumulated vsize (KiB) 867824

[startup+29.5016 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 4063
/proc/meminfo: memFree=1156696/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867824 CPUtime=29.21
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 67028 868 1 0 2875 29 15 2 19 0 9 0 28466467 888651776 39084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216956 39084 2641 9 0 211414 0
[pid=4050/tid=4052] ppid=4048 vsize=867824 CPUtime=27.79
/proc/4050/task/4052/stat : 4052 (java) R 4048 4050 2490 0 -1 64 30476 868 1 0 2746 16 15 2 25 0 9 0 28466468 888651776 39084 996147200 134512640 134550932 4294955968 18446744073709551615 4127484558 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4053] ppid=4048 vsize=867824 CPUtime=1.13
/proc/4050/task/4053/stat : 4053 (java) S 4048 4050 2490 0 -1 64 34737 868 0 0 87 9 15 2 17 0 9 0 28466470 888651776 39084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4054] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4054/stat : 4054 (java) S 4048 4050 2490 0 -1 64 21 868 0 0 0 0 15 2 16 0 9 0 28466470 888651776 39084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4055] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4055/stat : 4055 (java) S 4048 4050 2490 0 -1 64 29 868 0 0 0 0 15 2 15 0 9 0 28466470 888651776 39084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4056] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4056/stat : 4056 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 18 0 9 0 28466472 888651776 39084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4057] ppid=4048 vsize=867824 CPUtime=0.59
/proc/4050/task/4057/stat : 4057 (java) S 4048 4050 2490 0 -1 64 945 868 0 0 41 1 15 2 15 0 9 0 28466472 888651776 39084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4058] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4058/stat : 4058 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 19 0 9 0 28466472 888651776 39084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4059] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4059/stat : 4059 (java) S 4048 4050 2490 0 -1 64 15 868 0 0 0 0 15 2 15 0 9 0 28466472 888651776 39084 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.21
Current children cumulated vsize (KiB) 867824

[startup+29.9016 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 4063
/proc/meminfo: memFree=1156568/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867824 CPUtime=29.6
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 67038 868 1 0 2914 29 15 2 19 0 9 0 28466467 888651776 39094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216956 39094 2641 9 0 211414 0
[pid=4050/tid=4052] ppid=4048 vsize=867824 CPUtime=28.16
/proc/4050/task/4052/stat : 4052 (java) R 4048 4050 2490 0 -1 64 30478 868 1 0 2783 16 15 2 25 0 9 0 28466468 888651776 39094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4053] ppid=4048 vsize=867824 CPUtime=1.13
/proc/4050/task/4053/stat : 4053 (java) S 4048 4050 2490 0 -1 64 34737 868 0 0 87 9 15 2 17 0 9 0 28466470 888651776 39094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4054] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4054/stat : 4054 (java) S 4048 4050 2490 0 -1 64 21 868 0 0 0 0 15 2 16 0 9 0 28466470 888651776 39094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4055] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4055/stat : 4055 (java) S 4048 4050 2490 0 -1 64 29 868 0 0 0 0 15 2 15 0 9 0 28466470 888651776 39094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4056] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4056/stat : 4056 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 18 0 9 0 28466472 888651776 39094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4057] ppid=4048 vsize=867824 CPUtime=0.61
/proc/4050/task/4057/stat : 4057 (java) R 4048 4050 2490 0 -1 64 953 868 0 0 43 1 15 2 16 0 9 0 28466472 888651776 39094 996147200 134512640 134550932 4294955968 18446744073709551615 102421040 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4058] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4058/stat : 4058 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 19 0 9 0 28466472 888651776 39094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4059] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4059/stat : 4059 (java) S 4048 4050 2490 0 -1 64 15 868 0 0 0 0 15 2 15 0 9 0 28466472 888651776 39094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.6
Current children cumulated vsize (KiB) 867824

[startup+30.0026 s]
/proc/loadavg: 1.98 2.00 2.00 3/89 4063
/proc/meminfo: memFree=1156568/2055920 swapFree=4192812/4192956
[pid=4050] ppid=4048 vsize=867824 CPUtime=29.7
/proc/4050/stat : 4050 (java) S 4048 4050 2490 0 -1 0 67046 868 1 0 2924 29 15 2 19 0 9 0 28466467 888651776 39099 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4050/statm: 216956 39099 2641 9 0 211414 0
[pid=4050/tid=4052] ppid=4048 vsize=867824 CPUtime=28.25
/proc/4050/task/4052/stat : 4052 (java) R 4048 4050 2490 0 -1 64 30482 868 1 0 2792 16 15 2 25 0 9 0 28466468 888651776 39099 996147200 134512640 134550932 4294955968 18446744073709551615 4127480377 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4053] ppid=4048 vsize=867824 CPUtime=1.13
/proc/4050/task/4053/stat : 4053 (java) S 4048 4050 2490 0 -1 64 34737 868 0 0 87 9 15 2 17 0 9 0 28466470 888651776 39099 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4054] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4054/stat : 4054 (java) S 4048 4050 2490 0 -1 64 21 868 0 0 0 0 15 2 16 0 9 0 28466470 888651776 39099 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4055] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4055/stat : 4055 (java) S 4048 4050 2490 0 -1 64 29 868 0 0 0 0 15 2 15 0 9 0 28466470 888651776 39099 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4056] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4056/stat : 4056 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 18 0 9 0 28466472 888651776 39099 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4057] ppid=4048 vsize=867824 CPUtime=0.61
/proc/4050/task/4057/stat : 4057 (java) S 4048 4050 2490 0 -1 64 957 868 0 0 43 1 15 2 15 0 9 0 28466472 888651776 39099 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4058] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4058/stat : 4058 (java) S 4048 4050 2490 0 -1 64 1 868 0 0 0 0 15 2 19 0 9 0 28466472 888651776 39099 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4050/tid=4059] ppid=4048 vsize=867824 CPUtime=0.17
/proc/4050/task/4059/stat : 4059 (java) S 4048 4050 2490 0 -1 64 15 868 0 0 0 0 15 2 15 0 9 0 28466472 888651776 39099 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.7
Current children cumulated vsize (KiB) 867824

Child status: 0
Real time (s): 30.0807
CPU time (s): 29.7455
CPU user time (s): 29.4045
CPU system time (s): 0.340948
CPU usage (%): 98.8855
Max. virtual memory (cumulated for all children) (KiB): 870160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.4045
system time used= 0.340948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67949
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= 3013
involuntary context switches= 3690

runsolver used 0.042993 second user time and 0.107983 second system time

The end

Launcher Data 

Begin job on node50 at 2009-07-12 17:53:49
IDJOB=2097785
IDBENCH=57755
IDSOLVER=773
FILE ID=node50/2097785-1247414028
PBS_JOBID= 9510546
Free space on /tmp= 66412 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp26/normalized-fapp26-2300-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097785-1247414028/watcher-2097785-1247414028 -o /tmp/evaluation-result-2097785-1247414028/solver-2097785-1247414028 -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-2097785-1247414028.xml

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

MD5SUM BENCH= fed84ca019c3c42e3620b2e79df41b5a
RANDOM SEED=942033122

node50.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.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1303944 kB
Buffers:         49120 kB
Cached:         160456 kB
SwapCached:          0 kB
Active:         590468 kB
Inactive:        98952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1303944 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5600 kB
Writeback:           0 kB
Mapped:         500360 kB
Slab:            46884 kB
Committed_AS:  1028220 kB
PageTables:       2780 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= 66412 MiB
End job on node50 at 2009-07-12 17:54:19