Trace number 201010

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACSAT 213.954 216.197

DiagnosticValue
CHECKS122201409
NODES3008

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-7.xml
MD5SUM31576fb792fd69c68469620fab63b28d
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 benchmark51.0232
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/201010-1168144737/unknown.xml
0.42	   
0.42	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.75	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182
0.75	       =>  wckTime=0.402  cpuTime=0.28  mem=27M376
0.75	   
0.75	   predicates being loaded...
0.75	   
0.75	   constraints being loaded...
165.19	     nbConstraints=17754  nbMergedConstraints=15267  nbConvertedConstraints=17754  nbConvertConstraintsChecks=257541836
165.19	     nbExtensionStructures=9498  nbSharedExtensionStructures=8256  nbConflictsStructures=9498
165.19	     nbSharedConflictsStructures=8256  nbSharedBinaryRepresentations=2919303  maxDegree=15  maxArity=2
165.19	       =>  wckTime=164.849  cpuTime=161.92  mem=112M901
165.66	   
165.66	   solver IterativeSystematicSolver being built... 
166.01	       =>  wckTime=165.669  cpuTime=162.21  mem=120M717
208.03	   
208.03	   INFO : Stopping ESAC
208.04	   
208.04	   preprocessing
208.04	     nbConstraintChecks=107213589  nbPropagations=212025  nbRevisions=832853  nbUselessRevisions=609772
208.04	     nbSingletonTests=3532  nbEffectiveSingletonTests=7  nbESACBranches=28  nbRemovedValues=143612
208.04	     detectedInconsistency=no
208.04	       =>  wckTime=41.995  cpuTime=41.44  mem=120M717
216.11	   
216.11	   search
216.11	     run=0  nbConstraintChecks=14987820  nbPropagations=252353  nbRevisions=1014666  nbUselessRevisions=750900
216.11	     nbAssignments=3008  nbFailedAssignments=8  nbBacktracks=0  nbVisitedNodes=3017  nbRestartNogoods=0  mapSize=0
216.11	     nbInferences=0  nbTooLargeKeys=916
216.11	       =>  wckTime=50.074  cpuTime=49.32  mem=148M882
216.11	   
216.11	   global
216.11	     nbConstraintChecks=122201409  nbPropagations=464378  nbRevisions=1847519  nbUselessRevisions=1360672
216.11	     nbRestartNogoods=0  solvingWckTime=50.076  solvingCpuTime=49.32  expiredTime=no  totalExploration=no
216.11	     nbFoundSolutions=1  globalCpuTime=211.6
216.11	       =>  wckTime=215.77  cpuTime=211.55  mem=148M882
216.12	   
216.12	s SATISFIABLE
216.12	v -2568 2468 2456 2640 -2504 -2568 -2320 -2600 -2324 -2552 2600 2620 2364 2516 2280 -2536 -2416 2420 -2600 2364 -2600 -2292 -2476 -2640 -2392 2532 -2612 -2612 -2476 2628 -2364 -2336 -2528 2392 -2372 -2336 -2528 -2372 -2404 -2324 -2528 2388 -2536 2500 2280 -2380 2508 -2448 2596 2548 2280 -2332 -2376 -2320 -2280 2284 2320 -2372 2516 -2368 2320 -2568 -2508 -2584 -2536 2280 2336 -2516 -2520 -2560 2320 -2568 2284 2320 2552 2640 -2332 2320 -2320 2348 -2580 -2352 2300 -2280 2640 -2596 2500 2640 2320 -2340 2468 2320 -2280 -2320 2340 -2576 -2380 -2376 -2624 -2312 -2360 2352 -2344 -2496 -2436 2320 -2320 2640 -2640 -2464 -2560 -2552 -2292 2372 2364 2496 -2328 2320 -2532 -2280 2536 -2636 2632 2576 -2640 2640 2596 -2356 2380 2320 2280 -2580 -2320 -2640 2640 2544 -2528 -2584 -2344 2420 -2444 -2300 2552 -2488 -2600 -2356 -2320 2444 2460 -2344 -2340 -2452 2324 -2348 -2332 -2564 -2520 2352 -2600 -2284 -2332 -2408 -2332 -2572 -2280 -2540 -2476 -2640 -2640 2388 -2600 -2304 2572 -2464 2340 2640 -2356 2288 2536 2608 -2432 -2640 -2296 -2324 2432 2308 -2556 2280 -2292 -2360 -2624 -2640 2436 -2396 -2320 -2592 -2640 -2480 2448 2432 -2588 -2464 -2428 2508 2628 -2600 -2496 -2320 2560 -2388 -2280 -2388 2316 -2320 -2320 -2384 -2280 2536 2296 -2600 -2636 2516 -2516 -2280 2364 -2320 2412 2564 -2600 2496 2320 2344 -2332 -2624 2356 -2280 -2564 2524 2344 2620 -2320 -2640 2468 -2304 2608 2392 2640 -2308 2544 -2600 -2576 -2360 -2588 -2320 -2320 2600 -2640 2288 2440 2584 -2580 -2280 -2584 2576 -2600 -2360 2572 -2480 2372 -2320 2380 2280 2516 -2496 2320 2600 2280 2332 -2572 2400 2520 -2352 -2584 2600 -2280 2360 -2404 -2332 -2512 2328 2516 2600 -2296 -2280 -2292 2368 2580 2448 -2320 2640 -2328 2440 2624 2640 -2600 2280 -2320 -2280 -2520 2600 -2428 2536 2600 2388 -2604 2344 2512 -2320 2288 2448 -2320 -2628 2548 -2500 -2320 2596 2532 2432 2384 2564 -2456 -2612 -2640 -2296 -2496 -2372 2300 -2376 -2588 -2404 -2292 -2524 -2640 -2280 -2444 -2348 -2496 -2280 -2352 2628 -2424 2552 -2600 2396 2412 2328 2600 -2368 2532 2480 -2552 -2320 -2328 2320 -2380 2484 -2280 -2320 2488 2560 2424 -2280 2524 2296 -2600 -2344 2500 2392 2356 -2488 2548 -2600 -2292 -2384 2328 -2376 2356 2600 -2612 -2600 2580 -2396 2584 -2576 2504 2640 -2288 2640 2396 -2332 -2556 -2600 2516 -2320 -2480 2348 2324 2600 -2544 2484 -2540 -2324 2328 -2528 2628 -2320 -2580 2380 -2296 -2640 -2360 -2424 -2284 2548 -2516 2636 2588 2600 -2408 -2544 -2584 -2580 -2352 2408 -2324 2508 -2412 2424 2376 -2412 -2296 -2320 2600 2432 -2640 2460 2512 -2628 2460 2604 -2320 2408 -2556 -2504 2280 2592 2428 -2600 -2384 2600 2344 -2320 -2628 2412 2352 -2536 2544 2400 -2532 -2576 2280 -2420 -2328 -2540 -2328 2480 -2600 2320 -2600 -2320 2504 2488 -2424 -2280 -2280 2568 2404 -2532 2596 -2344 -2636 -2320 -2284 2320 2588 2320 -2560 2640 2296 2508 2600 2300 -2348 -2280 2288 -2324 2640 2596 2320 -2592 2436 2292 2428 2332 -2280 -2428 -2584 2564 2600 2476 -2440 -2408 -2280 -2508 2340 -2320 2392 -2608 -2640 -2280 2488 -2592 -2632 2440 2472 -2632 -2608 -2640 2392 2404 -2436 -2416 -2568 -2340 -2404 2432 -2584 2520 2436 2640 -2280 -2460 2340 2320 2412 -2320 2540 -2440 -2640 -2328 2320 -2312 -2436 2568 2312 2340 -2640 2412 -2560 -2560 -2584 -2564 -2600 2468 -2324 2516 -2596 -2424 2388 -2520 -2584 -2324 2500 -2340 2280 -2636 2320 -2636 2640 2412 2528 -2476 -2296 2404 -2640 -2484 -2600 -2428 2604 2548 -2368 -2600 2600 -2544 -2544 -2576 -2320 2472 2280 2288 -2468 -2592 2432 -2280 2300 -2628 2356 -2564 -2320 2320 2504 2640 2400 2512 -2308 2612 -2324 2348 2528 2568 -2532 -2296 -2280 2452 -2452 2320 -2600 2328 -2360 2576 -2624 -2320 -2496 -2640 -2280 2332 2340 2328 -2524 -2460 -2428 2432 2372 2320 2584 2580 2508 -2320 2404 -2600 -2348 -2316 2488 -2416 -2568 -2280 -2640 -2608 -2452 2516 -2612 -2580 -2288 -2496 -2360 -2488 -2600 -2368 2600 2612 -2420 2348 2560 2280 -2640 -2308 2432 2464 2484 2588 -2284 -2364 2580 2520 -2508 -2320 -2392 -2336 2600 -2420 -2280 -2640 -2324 -2592 -2540 2468 2600 -2624 2320 -2320 2280 -2336 -2400 2444 -2328 2488 -2284 -2628 2404 2320 -2424 -2616 2608 2532 2560 -2392 -2444 2340 2396 2568 -2584 2416 -2320 2388 -2472 2472 -2564 -2352 2320 -2520 2524 2284 2320 -2532 2600 -2564 2600 -2428 -2464 -2556 -2468 -2384 2492 2508 2496 2624 2640 -2536 -2600 2340 -2320 -2512 -2640 -2640 2280 2504 2344 -2360 2388 -2280 2600 2640 -2640 -2464 -2612 -2432 -2620 -2296 -2440 -2400 2348 -2280 -2284 2348 2320 -2316 -2372 2524 -2300 2284 2640 -2280 -2468 -2640 -2324 2320 -2640 2444 2476 -2348 2384 2532 -2600 -2328 -2420 -2388 2640 2412 -2320 2488 -2600 -2600 -2280 -2320 2372 -2640 2564 -2556 -2408 -2572 2548 2280 2524 -2340 2336 2556 2400 2568 -2640 2320 -2544 -2384 2420 -2304 2616 2548 -2468 2528 2320 2512 -2640 -2640 2368 -2620 2600 -2440 2636 -2544 2280 2448 -2608 2424 2600 -2368 -2348 -2640 -2452 -2536 2296 -2352 -2496 -2384 2600 2320 -2312 2572 -2364 -2352 2600 -2320 -2504 -2536 2280 -2344 -2628 2596 2584 2380 2348 2352 -2640 2324 -2284 -2556 2484 -2640 2600 2492 -2552 -2640 2536 2620 -2376 -2312 -2384 2472 2512 2592 2372 -2532 2320 2280 -2280 -2496 -2536 2472 2524 -2640 -2600 -2348 2280 -2392 -2280 -2280 2480 -2628 2288 2528 2588 -2280 2320 -2448 -2320 2408 -2640 2288 2476 -2292 -2600 2360 2396 -2548 2400 -2620 -2600 2600 2516 2312 -2420 2640 2640 -2308 2564 2640 2620 -2552 -2452 2460 2640 2344 2476 -2640 2596 -2340 -2292 2408 -2332 -2336 -2308 2564 2500 2576 -2384 2600 -2444 2640 -2320 2600 -2352 2528 2368 -2280 -2588 2320 -2600 2592 -2632 2280 -2484 2628 2312 -2468 -2584 -2344 2388 -2536 -2440 2460 2400 -2336 2404 -2376 -2280 2348 -2544 2596 -2408 2428 2568 2312 -2320 -2640 -2320 2496 -2352 -2552 2440 2408 2572 2360 -2284 -2592 -2388 -2636 -2328 -2320 2584 -2360 2280 -2544 2584 -2384 -2312 2624 -2520 -2320 -2640 -2280 2356 2640 -2360 2548 2292 -2616 -2324 -2376 -2524 2640 -2476 -2420 2532 2640 -2284 2364 -2384 2580 -2632 -2320 -2388 -2416 2456 -2640 2352 2284 2636 2640 -2332 -2364 -2556 -2280 -2624 -2324 -2316 2488 2332 2288 2556 2632 -2300 2576 2440 2624 2388 2560 -2508 -2384 2620 2280 2412 -2320 2332 -2464 2636 2564 -2324 -2600 -2404 -2512 2528 -2280 2604 2400 2336 -2388 -2388 -2280 2500 -2280 -2640 2600 2600 2544 2500 -2352 2392 2604 -2604 -2384 -2436 2624 2560 2616 -2592 -2352 2592 2320 2384 2408 -2320 2612 2320 2408 -2292 -2540 2356 2412 2504 2420 2468 2328 2560 -2284 2496 -2572 2496 2524 2640 2556 2468 -2328 2484 2572 -2280 -2500 -2596 2340 -2404 -2600 -2364 2460 2472 2572 -2596 -2588 2516 2512 -2324 2576 2300 -2280 -2536 -2392 -2304 -2600 2640 -2508 -2468 -2536 2584 -2556 -2436 -2320 -2640 2320 -2640 2328 -2296 -2396 2372 -2640 2504 2420 2512 -2388 2504 2280 -2576 2472 -2360 -2336 -2348 2392 2640 -2356 2632 2352 -2568 -2344 -2636 -2380 -2320 -2328 -2520 -2640 2320 -2576 -2320 2508 -2396 2412 -2312 2300 -2552 -2536 2640 2480 2348 -2312 -2560 2332 -2560 -2336 -2304 -2636 2332 2472 2536 2584 2476 -2344 2584 -2368 -2568 -2460 -2640 -2604 2484 -2332 -2336 2596 -2568 2348 2592 2572 -2304 -2572 2292 2604 -2508 -2460 2508 2640 2432 -2320 2500 -2292 2456 -2288 2460 -2600 -2536 -2600 -2564 -2324 2600 2296 2288 2564 -2580 2564 -2484 2608 -2600 2320 2600 2280 2600 -2612 2328 2572 2376 -2320 -2496 -2332 -2600 -2280 -2368 -2640 2584 -2484 2280 2536 2572 2368 2580 2508 2400 -2376 2364 2336 -2404 -2424 -2524 -2624 -2280 -2436 2600 -2584 2596 2568 -2600 -2320 -2412 2452 -2600 2368 2608 2600 -2408 -2280 -2352 -2436 -2344 -2404 -2320 2328 -2464 2616 -2320 2636 2324 2628 2636 2640 -2460 -2564 -2404 2600 -2640 -2320 -2624 -2340 2600 -2640 2336 2608 -2312 2564 2604 -2524 2344 -2372 -2336 2368 -2320 2636 -2420 -2412 -2324 -2544 2484 2544 2356 -2416 2584 -2304 2320 2424 -2524 2564 2600 -2640 2636 -2352 -2500 -2600 2444 -2636 -2600 2396 -2620 2284 -2308 -2336 2316 -2600 -2580 2336 -2532 2536 -2280 -2280 -2452 2516 2620 -2384 -2280 2424 2336 -2604 -2600 -2292 -2480 2596 -2444 -2512 -2392 -2280 -2540 -2360 2328 2444 2328 -2296 2640 2568 -2460 -2332 2448 -2428 -2320 2280 -2472 -2504 2280 -2360 2620 2392 2280 -2516 2312 -2472 -2380 -2344 -2636 2348 2600 2640 -2280 -2496 -2320 -2328 2368 2608 -2640 2640 -2596 2292 -2312 2620 2548 2580 -2336 -2496 2368 2500 2324 -2312 -2324 2352 -2368 -2320 -2472 -2640 2528 -2284 2336 -2564 -2396 -2280 2348 2640 -2468 -2624 -2376 2624 2592 2416 -2488 2436 -2640 2324 -2300 2600 2280 2596 2328 -2280 -2436 2392 -2548 2344 -2624 -2316 -2340 -2284 2364 2320 -2640 -2600 2640 2540 -2488 2448 2476 2328 -2320 -2316 -2380 2508 -2588 -2480 2552 -2620 -2548 -2596 -2344 -2612 2616 -2600 2576 2312 2584 2284 2328 2604 2548 2320 -2380 2540 -2600 -2324 -2600 -2564 2552 -2448 -2340 2564 -2600 2324 -2600 -2420 -2596 2280 2288 2368 -2496 -2600 2456 -2608 2468 -2356 2600 -2280 2280 2620 2612 2592 -2576 -2484 2620 -2352 -2316 -2324 -2280 -2320 -2388 2480 -2348 -2364 2348 2504 2596 -2400 2340 -2332 2540 -2452 -2512 2392 -2388 2420 -2428 2592 -2492 -2320 2300 2280 -2508 2580 2640 -2340 2496 2568 2300 2532 -2288 2640 -2524 2560 -2320 2600 2492 2528 2388 2320 2404 2568 2532 -2384 2624 -2584 -2320 -2320 2616 -2536 2640 2428 2280 2432 -2640 -2508 -2364 -2640 -2480 2640 2608 2328 -2460 -2400 2280 2432 -2280 -2628 2572 2540 2424 2600 -2296 2432 2300 2504 -2340 -2384 2572 2484 2516 -2600 2280 2500 2344 2428 -2296 -2568 -2440 2320 -2640 -2640 2568 -2324 -2544 -2392 2380 -2640 2640 -2348 -2412 -2420 2600 -2304 -2320 -2284 -2600 2324 2508 -2280 2600 -2352 2516 2640 2280 -2384 -2604 -2600 2384 -2500 2544 2420 -2640 -2600 -2288 2328 2640 -2620 -2428 2516 -2440 2528 -2424 -2640 -2280 -2600 -2556 2600 -2428 2280 -2392 2580 -2292 -2280 2448 -2424 -2320 2480 2368 -2500 2348 -2452 2352 -2504 2640 -2488 2640 -2584 -2608 2572 -2360 -2296 -2496 -2336 -2284 2468 -2600 2472 -2352 2280 2528 -2500 -2352 2412 2400 -2464 2572 -2360 2580 -2572 -2280 2632 2476 2576 2528 -2620 2328 2572 2284 -2300 2556 2608 -2284 2456 2400 -2280 2620 -2424 2344 -2428 -2320 -2308 -2352 -2640 -2292 -2320 2352 -2320 -2320 2544 -2444 -2444 2340 -2444 -2360 2536 -2292 2280 2396 -2280 2580 -2516 -2292 -2544 2460 -2308 2340 2516 2280 2340 2316 -2640 -2280 2588 -2428 2280 -2632 -2280 2640 -2364 -2456 2448 -2280 2436 -2344 -2296 -2328 2636 -2320 -2600 -2640 2312 -2280 2508 -2328 -2384 2380 2320 2408 2352 -2456 -2304 -2584 2372 2336 -2564 -2456 2524 -2600 2600 -2608 -2584 -2320 -2388 -2380 -2572 -2280 2496 2576 2304 -2620 -2612 2640 -2600 2284 -2296 2600 -2320 -2640 2348 2556 -2320 2380 -2368 -2576 -2512 -2580 -2384 2452 -2600 2332 -2576 2640 -2592 -2468 -2300 -2280 2556 2588 -2432 -2296 -2328 2440 2484 -2640 2572 -2320 2320 2372 -2544 -2388 2576 -2508 -2592 -2320 -2476 -2304 2388 -2344 -2600 2328 -2296 -2320 2336 2492 2600 2636 -2280 -2424 2324 -2392 2372 2604 2624 2280 -2320 -2280 2480 -2620 -2364 -2324 -2280 2580 2600 -2320 -2592 2320 2532 -2460 -2400 -2320 2320 -2280 2600 -2568 -2348 -2568 2484 -2304 -2300 -2344 2588 2620 -2336 -2440 -2320 2640 -2580 2460 -2380 -2600 -2636 2336 2540 -2296 2520 -2600 -2320 -2344 -2580 -2360 2568 -2576 2440 -2640 2380 -2348 -2636 2372 -2628 2392 2320 2520 2508 2292 -2460 -2384 2532 -2280 -2280 2628 2616 -2364 2572 -2332 -2320 -2596 2568 -2444 -2424 -2624 2524 -2496 2528 2596 -2348 -2472 2580 -2600 2280 -2332 2316 -2524 -2640 -2392 -2580 -2476 -2524 2524 2640 2596 -2544 2572 -2640 -2352 -2580 -2288 -2600 -2460 -2608 -2564 -2496 2600 2500 2492 -2460 2556 2488 2292 2596 2560 -2368 2352 -2640 -2372 2336 2504 2332 2324 2580 2280 -2640 2584 -2624 -2464 -2320 -2320 2412 2600 -2280 2488 2584 2448 2572 -2356 2524 2376 -2408 -2440 2516 2504 -2512 -2540 -2284 -2640 -2320 2496 -2388 -2448 2308 2432 2344 -2348 -2568 -2336 2364 2292 -2476 -2320 -2540 2596 -2336 -2404 2380 -2464 -2300 2584 2584 2448 -2500 2600 -2344 2352 2508 2320 -2588 2640 -2640 2560 -2568 -2600 -2384 2436 2580 -2640 -2600 2280 -2368 2368 2520 -2640 2392 2572 2368 2448 2516 -2308 -2456 -2624 -2596 -2504 2280 -2600 2408 2640 -2376 2640 2476 -2552 2564 2456 -2432 -2320 2572 -2556 2572 -2416 -2640 2556 2468 2536 -2408 -2280 -2280 -2304 -2600 2640 2320 -2404 -2332 2596 2640 -2552 2320 2336 2284 -2568 -2600 -2372 2612 2640 -2280 -2536 -2396 2504 -2360 -2312 2588 -2600 -2320 -2484 2320 -2532 -2484 2516 2316 2504 -2300 2304 2408 2380 2544 2280 -2524 -2280 2280 2632 -2412 2532 2300 2280 -2576 -2476 2320 2464 2444 2280 2600 -2340 2588 -2476 2336 -2320 -2360 -2584 -2416 2396 2280 2512 -2588 2404 2448 2584 -2388 -2500 -2420 2400 -2284 -2384 2464 2320 -2580 -2516 -2600 -2284 2584 2292 -2440 2356 2444 -2640 -2600 2308 -2296 -2600 -2524 -2280 -2280 -2280 -2600 -2364 -2520 -2340 -2472 -2540 2408 -2324 2424 2476 2532 -2624 -2308 -2612 -2360 -2404 -2320 2484 2284 -2512 2564 -2448 -2560 -2392 -2640 -2600 -2492 -2456 2596 2288 2364 2356 -2404 2372 -2600 2340 2568 -2600 -2596 -2532 -2280 2488 -2640 -2600 2320 2580 2280 -2588 2600 2400 -2460 -2324 -2408 2320 -2372 -2320 -2336 -2600 2588 -2400 2408 -2572 2340 2460 2392 2564 -2376 -2304 2600 2352 2540 2452 -2520 2640 -2600 2488 2640 -2636 -2536 2368 -2444 2548 -2348 -2280 -2292 2348 2596 2476 -2620 2600 -2280 -2504 2476 -2600 -2504 -2368 2312 -2280 -2320 2460 -2292 -2512 -2436 2600 -2464 2616 2640 2488 2436 -2320 -2488 -2464 2608 -2640 -2572 2568 -2408 2280 2436 -2360 -2356 -2536 2332 -2348 -2628 -2564 2428 -2424 -2280 2600 -2540 -2440 2336 -2292 2568 -2580 2600 -2356 2336 -2580 -2500 2516 2480 2588 2320 2600 2432 2368 -2320 2628 -2280 2508 2320 -2280 -2356 2552 2468 2572 2640 2348 2640 -2300 2432 -2348 -2600 2540 2388 -2280 -2596 -2552 -2640 -2352 -2632 -2600 2616 -2320 2280 -2536 -2284 -2360 -2600 2636 2632 2324 2536 -2584 2472 -2440 2432 -2600 -2368 2352 2608 2600 2468 -2612 -2544 2432 2504 -2380 -2312 -2340 2552 -2320 2600 2320 -2348 -2280 -2528 2452 -2616 -2400 -2388 -2420 2520 2424 -2352 2484 -2340 -2380 2348 2448 -2404 2344 2608 2324 2320 -2356 -2640 2592 2552 -2536 -2416 -2352 -2480 2484 2396 -2308 -2280 2464 -2572 2540 -2428 2280 2520 -2604 -2368 -2472 2600 2612 2564 2592 2636 2280 -2640 -2320 -2280 -2472 -2444 2280 2384 -2384 2600 -2340 2600 -2528 -2316 -2280 2488 2508 2280 -2640 -2600 -2308 -2336 2380 -2640 -2328 2288 2340 2444 2600 2288 -2352 -2320 -2416 2324 2600 -2392 2332 -2508 -2596 2420 -2312 -2380 2584 -2632 2484 -2640 2312 -2640 -2332 -2308 -2288 2460 -2540 -2392 -2316 2348 2388 -2600 2340 -2280 -2320 2328 2612 -2288 2320 2320 -2524 -2600 -2344 -2436 -2504 2280 2576 -2544 2364 -2580 -2280 2280 2376 -2280 2472 -2360 2580 2600 2592 -2288 -2280 2572 -2624 -2324 -2316 2356 -2368 -2320 -2320 -2348 -2556 -2640 2352 -2580 -2420 2616 -2280 2320 -2460 2600 2312 2292 2500 2396 -2424 2324 -2284 2332 2460 -2280 2532 2540 -2280 -2412 -2584 -2552 -2512 2480 2488 -2364 2348 -2320 -2320 -2280 -2320 -2388 2400 -2280 -2448 2420 2536 -2464 -2636 -2372 -2320 2444 2280 -2600 -2320 -2296 -2336 2600 -2600 2404 2336 -2428 -2320 2528 2372 -2540 -2308 -2504 -2624 -2424 2640 2624 2336 -2332 -2300 -2480 -2428 2600 2280 -2568 2572 2492 -2640 2320 -2300 2600 2320 2520 2548 -2452 2388 2312 2472 -2636 -2480 2640 -2640 -2640 -2632 2444 2488 2408 2552 2512 -2528 2348 2380 -2280 2524 -2620 2368 2500 2528 -2640 2492 -2280 2540 2300 -2408 2516 -2540 2304 2320 -2364 2384 2516 2320 2572 -2604 -2316 -2320 -2320 2580 -2320 2336 -2436 2600 -2464 2320 2556 2280 2284 2600 2348 2572 2376 2316 2640 -2480 2484 2356 -2280 -2596 2420 2496 -2332 -2332 -2344 -2640 2320 -2540 2456 2376 -2320 -2280 2468 2500 2488 -2288 2640 -2568 2528 -2332 -2576 2484 2396 -2400 -2332 -2320 -2640 2304 -2280 2476 2280 -2496 2344 2528 2508 2592 -2280 -2640 2524 -2380 -2640 -2640 2280 -2320 -2640 -2528 -2624 -2320 -2448 -2300 2504 -2344 -2524 2408 2344 2340 -2412 -2284 2332 -2524 2320 2364 2600 -2280 2340 -2464 2640 -2480 -2612 2516 2556 2452 -2496 2536 -2328 2352 2624 -2496 -2328 -2520 2376 -2476 -2280 2600 2320 -2284 2556 2512 -2636 -2420 2548 2612 2464 2600 2448 -2280 -2600 -2624 2420 -2492 -2544 -2408 -2304 2356 2468 -2456 2496 2452 -2500 2388 -2600 2600 -2404 -2340 -2616 -2528 2584 2424 2600 2580 -2600 -2280 -2620 -2580 -2280 2580 2392 -2388 2304 -2596 2600 -2388 -2320 2320 -2280 -2288 -2412 2520 2496 -2640 -2400 2292 2332 2476 -2600 2508 -2368 2640 -2384 -2492 -2480 2552 2640 -2400 -2280 -2572 2292 2468 -2632 2588 2408 2512 2452 -2280 -2288 -2568 -2512 2416 2560 2280 -2508 2600 2328 2456 2640 -2304 2512 2308 2544 -2324 -2312 2612 2392 -2404 -2488 -2292 2432 -2596 -2376 2388 2456 2528 -2576 2492 -2336 -2324 -2324 -2324 2440 2352 2492 2340 2332 2420 -2620 -2376 -2600 2432 2532 -2412 2600 2400 2568 2600 2348 2336 2472 2320 2620 2388 -2412 2356 2332 -2316 -2328 -2320 2280 -2288 2308 -2400 2548 -2380 2356 -2308 -2560 -2280 2284 2300 2624 2548 -2536 2448 2280 -2336 2600 -2536 -2572 -2340 -2580 2424 2348 2324 2592 -2532 -2580 2352 -2640 2596 -2320 -2412 2636 -2596 2488 -2320 -2324 -2468 -2608 2504 -2376 
216.12	d NODES 3008
216.12	d CHECKS 122201409
216.12	   
216.12	   totalWckTime=215.863  totalCpuTime=211.6

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node6/watcher-201010-1168144737 -o ROOT/results/node6/solver-201010-1168144737 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201010-1168144737/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 2.00 2.07 2.04 5/94 1289
/proc/meminfo: memFree=779632/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=9948 CPUtime=0
/proc/1288/stat : 1288 (java) S 1286 1288 1001 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 162869178 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/1288/statm: 2487 472 386 14 0 1142 0

[startup+0.10303 s]
/proc/loadavg: 2.00 2.07 2.04 5/94 1289
/proc/meminfo: memFree=779632/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=913068 CPUtime=0.08
/proc/1288/stat : 1288 (java) S 1286 1288 1001 0 -1 0 2852 0 1 0 6 2 0 0 19 0 8 0 162869178 934981632 2598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1288/statm: 228267 2598 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.511081 s]
/proc/loadavg: 2.00 2.07 2.04 5/94 1289
/proc/meminfo: memFree=779632/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=915328 CPUtime=0.49
/proc/1288/stat : 1288 (java) R 1286 1288 1001 0 -1 0 6309 0 1 0 44 5 0 0 18 0 8 0 162869178 937295872 6048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1288/statm: 228832 6048 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33318 s]
/proc/loadavg: 2.00 2.07 2.04 3/101 1296
/proc/meminfo: memFree=701496/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=915648 CPUtime=1.3
/proc/1288/stat : 1288 (java) R 1286 1288 1001 0 -1 0 20800 0 1 0 115 15 0 0 24 0 8 0 162869178 937623552 20538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1288/statm: 228912 20538 2160 14 0 215382 0
[pid=1288/tid=1290] ppid=1286 vsize=915648 CPUtime=0.06
/proc/1288/task/1290/stat : 1290 (java) S 1286 1288 1001 0 -1 64 4256 0 0 0 5 1 0 0 17 0 8 0 162869182 937623552 20538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1291] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1291/stat : 1291 (java) S 1286 1288 1001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 20538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1292] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1292/stat : 1292 (java) S 1286 1288 1001 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 20538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1293] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1293/stat : 1293 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162869187 937623552 20538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1294] ppid=1286 vsize=915648 CPUtime=0.19
/proc/1288/task/1294/stat : 1294 (java) S 1286 1288 1001 0 -1 64 409 0 0 0 18 1 0 0 16 0 8 0 162869187 937623552 20538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1295] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1295/stat : 1295 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162869187 937623552 20538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1296] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1296/stat : 1296 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162869187 937623552 20538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648

[startup+2.97236 s]
/proc/loadavg: 2.00 2.07 2.04 3/101 1296
/proc/meminfo: memFree=688632/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=915648 CPUtime=2.93
/proc/1288/stat : 1288 (java) R 1286 1288 1001 0 -1 0 24030 0 1 0 275 18 0 0 25 0 8 0 162869178 937623552 23765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073340496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1288/statm: 228912 23765 2180 14 0 215382 0
[pid=1288/tid=1290] ppid=1286 vsize=915648 CPUtime=0.21
/proc/1288/task/1290/stat : 1290 (java) S 1286 1288 1001 0 -1 64 7407 0 0 0 17 4 0 0 16 0 8 0 162869182 937623552 23765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1291] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1291/stat : 1291 (java) S 1286 1288 1001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 23765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1292] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1292/stat : 1292 (java) S 1286 1288 1001 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 23765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1293] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1293/stat : 1293 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162869187 937623552 23765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1294] ppid=1286 vsize=915648 CPUtime=0.22
/proc/1288/task/1294/stat : 1294 (java) S 1286 1288 1001 0 -1 64 424 0 0 0 21 1 0 0 16 0 8 0 162869187 937623552 23765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1295] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1295/stat : 1295 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162869187 937623552 23765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1296] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1296/stat : 1296 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162869187 937623552 23765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915648

[startup+6.17474 s]
/proc/loadavg: 2.08 2.08 2.04 3/101 1296
/proc/meminfo: memFree=688312/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=915648 CPUtime=6.09
/proc/1288/stat : 1288 (java) R 1286 1288 1001 0 -1 0 24048 0 1 0 590 19 0 0 25 0 8 0 162869178 937623552 23781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1288/statm: 228912 23781 2181 14 0 215382 0
[pid=1288/tid=1290] ppid=1286 vsize=915648 CPUtime=0.21
/proc/1288/task/1290/stat : 1290 (java) S 1286 1288 1001 0 -1 64 7407 0 0 0 17 4 0 0 16 0 8 0 162869182 937623552 23781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1291] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1291/stat : 1291 (java) S 1286 1288 1001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 23781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1292] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1292/stat : 1292 (java) S 1286 1288 1001 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 23781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1293] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1293/stat : 1293 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162869187 937623552 23781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1294] ppid=1286 vsize=915648 CPUtime=0.24
/proc/1288/task/1294/stat : 1294 (java) S 1286 1288 1001 0 -1 64 439 0 0 0 23 1 0 0 16 0 8 0 162869187 937623552 23781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1295] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1295/stat : 1295 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162869187 937623552 23781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1296] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1296/stat : 1296 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162869187 937623552 23781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915648

[startup+12.6445 s]
/proc/loadavg: 2.07 2.08 2.04 3/101 1296
/proc/meminfo: memFree=680696/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=915648 CPUtime=12.51
/proc/1288/stat : 1288 (java) R 1286 1288 1001 0 -1 0 24839 0 1 0 1228 23 0 0 25 0 8 0 162869178 937623552 24569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1288/statm: 228912 24569 2181 14 0 215382 0
[pid=1288/tid=1290] ppid=1286 vsize=915648 CPUtime=0.28
/proc/1288/task/1290/stat : 1290 (java) R 1286 1288 1001 0 -1 64 8188 0 0 0 24 4 0 0 16 0 8 0 162869182 937623552 24569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1291] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1291/stat : 1291 (java) S 1286 1288 1001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 24569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1292] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1292/stat : 1292 (java) S 1286 1288 1001 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 24569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1293] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1293/stat : 1293 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162869187 937623552 24569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1294] ppid=1286 vsize=915648 CPUtime=0.25
/proc/1288/task/1294/stat : 1294 (java) S 1286 1288 1001 0 -1 64 446 0 0 0 24 1 0 0 16 0 8 0 162869187 937623552 24569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1295] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1295/stat : 1295 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162869187 937623552 24569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1296] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1296/stat : 1296 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162869187 937623552 24569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915648

[startup+25.518 s]
/proc/loadavg: 2.06 2.08 2.04 3/101 1296
/proc/meminfo: memFree=663096/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=915648 CPUtime=25.26
/proc/1288/stat : 1288 (java) R 1286 1288 1001 0 -1 0 25578 0 1 0 2498 28 0 0 25 0 8 0 162869178 937623552 25307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1288/statm: 228912 25307 2181 14 0 215382 0
[pid=1288/tid=1290] ppid=1286 vsize=915648 CPUtime=0.3
/proc/1288/task/1290/stat : 1290 (java) S 1286 1288 1001 0 -1 64 8921 0 0 0 25 5 0 0 16 0 8 0 162869182 937623552 25307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1291] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1291/stat : 1291 (java) S 1286 1288 1001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 25307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1292] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1292/stat : 1292 (java) S 1286 1288 1001 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 25307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1293] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1293/stat : 1293 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162869187 937623552 25307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1294] ppid=1286 vsize=915648 CPUtime=0.26
/proc/1288/task/1294/stat : 1294 (java) S 1286 1288 1001 0 -1 64 451 0 0 0 25 1 0 0 15 0 8 0 162869187 937623552 25307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1295] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1295/stat : 1295 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162869187 937623552 25307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1296] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1296/stat : 1296 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162869187 937623552 25307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915648

[startup+51.155 s]
/proc/loadavg: 2.04 2.07 2.04 3/101 1296
/proc/meminfo: memFree=622200/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=915648 CPUtime=50.64
/proc/1288/stat : 1288 (java) R 1286 1288 1001 0 -1 0 29552 0 1 0 5025 39 0 0 25 0 8 0 162869178 937623552 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1288/statm: 228912 29278 2182 14 0 215382 0
[pid=1288/tid=1290] ppid=1286 vsize=915648 CPUtime=0.58
/proc/1288/task/1290/stat : 1290 (java) S 1286 1288 1001 0 -1 64 12889 0 0 0 52 6 0 0 16 0 8 0 162869182 937623552 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1291] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1291/stat : 1291 (java) S 1286 1288 1001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1292] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1292/stat : 1292 (java) S 1286 1288 1001 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1293] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1293/stat : 1293 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162869187 937623552 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1294] ppid=1286 vsize=915648 CPUtime=0.27
/proc/1288/task/1294/stat : 1294 (java) S 1286 1288 1001 0 -1 64 454 0 0 0 26 1 0 0 16 0 8 0 162869187 937623552 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1295] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1295/stat : 1295 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162869187 937623552 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1296] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1296/stat : 1296 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162869187 937623552 29278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915648

[startup+102.433 s]
/proc/loadavg: 2.01 2.06 2.03 3/101 1296
/proc/meminfo: memFree=566840/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=915648 CPUtime=101.44
/proc/1288/stat : 1288 (java) R 1286 1288 1001 0 -1 0 33694 0 1 0 10081 63 0 0 25 0 8 0 162869178 937623552 33417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838338 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1288/statm: 228912 33417 2182 14 0 215382 0
[pid=1288/tid=1290] ppid=1286 vsize=915648 CPUtime=0.8
/proc/1288/task/1290/stat : 1290 (java) S 1286 1288 1001 0 -1 64 17028 0 0 0 72 8 0 0 16 0 8 0 162869182 937623552 33417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1291] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1291/stat : 1291 (java) S 1286 1288 1001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 33417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1292] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1292/stat : 1292 (java) S 1286 1288 1001 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 33417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1293] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1293/stat : 1293 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162869187 937623552 33417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1294] ppid=1286 vsize=915648 CPUtime=0.27
/proc/1288/task/1294/stat : 1294 (java) S 1286 1288 1001 0 -1 64 454 0 0 0 26 1 0 0 16 0 8 0 162869187 937623552 33417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1295] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1295/stat : 1295 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162869187 937623552 33417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1296] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1296/stat : 1296 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162869187 937623552 33417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915648

[startup+162.486 s]
/proc/loadavg: 2.00 2.04 2.03 3/101 1296
/proc/meminfo: memFree=505144/2055924 swapFree=4165672/4192956
[pid=1288] ppid=1286 vsize=915648 CPUtime=160.91
/proc/1288/stat : 1288 (java) R 1286 1288 1001 0 -1 0 38429 0 1 0 15993 98 0 0 25 0 8 0 162869178 937623552 38148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1288/statm: 228912 38148 2182 14 0 215382 0
[pid=1288/tid=1290] ppid=1286 vsize=915648 CPUtime=1.1
/proc/1288/task/1290/stat : 1290 (java) S 1286 1288 1001 0 -1 64 21757 0 0 0 99 11 0 0 16 0 8 0 162869182 937623552 38148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1291] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1291/stat : 1291 (java) S 1286 1288 1001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 38148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1292] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1292/stat : 1292 (java) S 1286 1288 1001 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162869183 937623552 38148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1293] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1293/stat : 1293 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162869187 937623552 38148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1294] ppid=1286 vsize=915648 CPUtime=0.28
/proc/1288/task/1294/stat : 1294 (java) S 1286 1288 1001 0 -1 64 456 0 0 0 27 1 0 0 16 0 8 0 162869187 937623552 38148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1295] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1295/stat : 1295 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162869187 937623552 38148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1288/tid=1296] ppid=1286 vsize=915648 CPUtime=0
/proc/1288/task/1296/stat : 1296 (java) S 1286 1288 1001 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162869187 937623552 38148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 216.197
CPU time (s): 213.954
CPU user time (s): 212.863
CPU system time (s): 1.09183
CPU usage (%): 98.9629
Max. virtual memory (cumulated for all children) (KiB): 915916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.863
system time used= 1.09183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45230
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= 6249
involuntary context switches= 12830

runsolver used 0.369943 s user time and 0.807877 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sun Jan  7 04:38:57 UTC 2007


IDJOB= 201010
IDBENCH= 3739
FILE ID= node6/201010-1168144737

PBS_JOBID= 3477868

Free space on /tmp= 66539 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201010-1168144737/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-201010-1168144737 -o ROOT/results/node6/solver-201010-1168144737 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201010-1168144737/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  31576fb792fd69c68469620fab63b28d

RANDOM SEED= 813349556

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.240
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.240
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:      2055924 kB
MemFree:        780112 kB
Buffers:         68424 kB
Cached:         618212 kB
SwapCached:       2476 kB
Active:         678800 kB
Inactive:       504428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:        780112 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:            6328 kB
Writeback:           0 kB
Mapped:         515076 kB
Slab:            76352 kB
Committed_AS:  5305036 kB
PageTables:       3372 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= 66539 MiB



End job on node6 on Sun Jan  7 04:42:34 UTC 2007