Trace number 201565

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 ACSAT 39.9029 40.0004

DiagnosticValue
CHECKS52978611
NODES2014

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-10.xml
MD5SUM63ed4f91155f2b79f30edca48a7e3b10
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 benchmark13.4989
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/201565-1168072390/unknown.xml
0.35	   
0.35	   domains being loaded...
0.38	   
0.39	   variables being loaded...
0.59	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.59	       =>  wckTime=0.301  cpuTime=0.2  mem=20M547
0.59	   
0.59	   predicates being loaded...
0.60	   
0.60	   constraints being loaded...
4.58	   
4.58	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 45M828)
7.56	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=225  nbConvertConstraintsChecks=4929450
7.56	     nbExtensionStructures=204  nbSharedExtensionStructures=21  nbConflictsStructures=204
7.56	     nbSharedConflictsStructures=21  nbSharedBinaryRepresentations=38081  nbEvaluationManagers=8798
7.56	     nbSharedEvaluationManagers=4646  maxDegree=17  maxArity=2
7.56	       =>  wckTime=7.268  cpuTime=6.59  mem=47M942
7.74	   
7.74	   solver IterativeSystematicSolver being built... 
8.16	       =>  wckTime=7.867  cpuTime=6.92  mem=92M997
23.27	   
23.27	   preprocessing
23.27	     nbConstraintChecks=29094680  nbValidityChecks=603790  nbPropagations=2109  nbRevisions=30325
23.27	     nbUselessRevisions=29026  nbRemovedValues=39962  detectedInconsistency=no
23.27	       =>  wckTime=15.09  cpuTime=15.05  mem=92M997
39.95	   
39.95	   search
39.95	     run=0  nbConstraintChecks=23883931  nbValidityChecks=20270470  nbPropagations=26981  nbRevisions=271034
39.95	     nbUselessRevisions=244383  nbAssignments=2014  nbFailedAssignments=14  nbBacktracks=0  nbVisitedNodes=2029
39.95	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=0
39.95	       =>  wckTime=31.778  cpuTime=31.61  mem=109M87
39.95	   
39.95	   global
39.95	     nbConstraintChecks=52978611  nbValidityChecks=20874260  nbPropagations=29090  nbRevisions=301359
39.95	     nbUselessRevisions=273409  nbRestartNogoods=0  solvingWckTime=31.78  solvingCpuTime=31.61  expiredTime=no
39.95	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=38.58
39.95	       =>  wckTime=39.659  cpuTime=38.54  mem=109M87
39.95	   
39.95	s SATISFIABLE
39.95	v -2640 -2548 -2488 -2616 2356 -2528 2560 2328 -2640 -2376 2284 -2288 -2596 -2468 -2304 -2560 -2400 2392 2428 -2348 -2416 -2280 2384 2288 -2396 2588 -2452 -2580 2580 2516 -2348 2596 -2528 -2540 -2616 2376 -2340 -2408 2492 -2280 -2364 2376 2500 2396 -2472 -2548 2600 -2656 2616 -2312 2384 -2524 -2616 -2280 -2616 -2620 -2360 -2548 2536 -2556 2520 -2424 -2320 -2396 -2280 -2480 -2308 -2644 2656 -2312 2320 -2328 -2484 2608 -2320 2584 2352 -2624 2484 2356 2424 -2328 2384 -2452 2588 -2372 -2612 -2580 -2516 2304 -2412 2360 -2536 2392 -2436 -2452 -2636 -2512 -2492 -2616 2384 -2636 2360 -2516 -2324 -2624 -2652 2360 -2320 -2456 2416 2376 -2656 -2332 -2584 2616 -2648 2544 2616 -2536 -2600 -2512 2596 2584 -2400 -2616 2536 -2404 2500 -2320 -2444 2344 -2612 2616 -2416 -2384 -2352 2440 -2620 -2324 -2412 2320 -2640 -2428 2484 -2616 2612 -2520 -2616 -2612 -2468 2448 -2616 2408 2608 -2524 2320 -2344 -2320 -2652 -2504 2376 2516 -2552 -2500 -2340 -2404 2496 -2364 -2536 2636 -2616 -2376 -2364 2580 -2392 -2504 -2656 -2460 -2616 -2436 -2324 2328 2548 2592 2340 2512 2500 2628 -2508 -2292 -2340 -2476 2300 -2444 2572 -2424 -2372 2540 2336 -2504 -2564 -2492 -2604 -2428 -2528 -2564 -2576 -2388 2484 -2544 -2376 2440 2392 2280 -2476 -2552 -2580 -2572 -2416 2280 -2656 -2336 -2320 2540 -2624 -2656 2460 2288 -2556 -2332 -2588 -2320 -2652 -2640 -2328 -2564 -2612 2540 -2512 2624 2356 2284 2352 -2320 2520 -2492 -2324 -2404 -2600 -2576 -2500 -2600 -2396 -2604 2368 -2508 2544 2320 2352 2612 2484 -2396 2280 2504 -2292 -2556 2296 -2600 -2320 -2320 -2500 2476 -2656 -2608 -2596 -2380 -2436 -2396 -2324 -2452 -2336 -2476 -2340 2656 -2372 -2412 -2364 -2576 -2508 2464 -2504 -2424 -2436 -2616 -2364 -2500 -2652 2284 2604 2468 -2332 -2572 -2608 2544 2596 -2552 -2432 -2432 2284 2424 -2416 -2336 -2564 -2384 -2428 -2616 -2340 -2456 -2300 -2556 -2408 -2644 -2656 2280 -2496 -2336 2320 -2288 -2656 -2412 -2472 -2656 -2588 -2572 -2352 -2412 -2360 2384 -2560 -2452 -2280 -2656 2580 -2448 -2564 2564 2508 -2344 -2492 -2432 2544 -2508 -2468 -2492 -2480 2364 2380 -2336 -2352 -2596 2348 2588 -2320 -2656 2508 -2304 2608 -2520 -2456 -2344 2656 -2544 2280 2560 2492 2524 -2360 -2436 -2576 2504 2440 -2396 2400 2328 2628 2412 2532 -2456 -2616 2508 2452 -2492 2404 -2600 -2520 2464 -2544 -2372 -2564 -2584 -2388 -2580 -2560 -2452 -2492 2320 2400 -2320 -2616 2440 2596 2436 2656 2580 -2280 -2288 -2324 -2640 2520 -2352 -2604 -2468 -2528 -2616 2616 -2440 -2416 -2636 -2628 2428 -2548 -2340 -2280 -2612 2448 2576 2592 -2340 -2344 -2412 2596 -2656 2340 2468 -2548 -2372 2324 2608 -2280 -2360 2348 2436 2304 -2280 -2568 -2608 2444 2428 -2616 2500 -2644 -2652 -2300 -2312 -2376 2396 -2320 2552 -2632 -2416 -2344 -2492 -2496 2336 -2456 2424 -2448 2612 -2344 -2588 -2384 -2656 -2588 -2520 -2488 2336 2520 2516 -2368 2532 2448 -2636 -2524 2344 2444 -2380 -2484 -2288 2396 -2340 -2388 2344 -2632 -2444 2356 -2612 -2652 -2596 -2280 -2396 -2396 -2616 -2588 -2532 -2360 -2628 2640 -2568 2552 -2432 2344 -2528 -2604 -2628 -2576 -2436 -2316 2476 -2448 -2600 -2332 -2452 -2656 -2608 2292 -2572 2520 2472 2444 -2388 -2620 -2656 -2552 2368 2596 2572 2280 -2412 -2584 -2616 -2428 2408 -2324 -2448 -2544 -2380 -2304 2348 -2656 -2604 2484 -2516 2280 -2532 2572 2476 -2656 2656 -2448 -2544 2572 -2344 -2576 2472 2460 -2564 2372 -2644 -2552 -2324 -2328 2468 2356 2440 -2588 -2612 -2528 2616 -2644 -2464 -2368 -2412 2468 -2356 2404 2328 2476 -2440 -2584 -2296 -2372 -2616 2496 -2336 -2512 2404 2504 -2344 2636 -2508 2376 2508 -2600 -2404 -2428 -2656 -2616 -2616 -2528 2540 -2632 2444 -2656 -2492 -2616 2616 -2328 2588 -2604 -2436 2288 -2404 -2616 -2384 -2656 -2356 2616 2468 2324 -2280 -2508 2416 -2288 -2324 -2324 -2324 2316 2368 -2384 2404 -2576 -2528 2460 -2580 -2320 2552 -2624 2404 -2336 -2564 2652 -2564 -2480 2332 2312 2616 2612 2284 2332 -2444 -2564 2636 -2640 -2656 2320 2564 -2364 2440 2308 -2604 2400 -2344 -2312 2444 -2592 2616 -2500 2320 2524 2476 2332 -2376 2588 -2312 -2428 2324 -2656 -2292 2452 2328 -2596 2600 -2384 -2616 2620 -2476 -2280 2460 -2600 -2616 2448 -2564 -2616 2440 2412 -2508 2320 2428 -2380 -2404 2392 -2648 2512 -2540 2280 2368 -2280 -2468 2308 -2452 2432 2556 -2288 -2532 -2580 2572 -2340 -2440 2384 2336 -2300 -2544 -2340 -2616 -2436 2536 2440 -2552 2480 -2492 -2392 -2656 -2620 -2620 2516 2360 -2532 2396 -2576 2548 -2516 2292 -2424 -2528 -2656 -2412 2640 -2656 -2636 -2292 2336 2280 -2356 -2308 -2616 -2656 -2596 -2332 -2460 -2584 -2372 -2560 2560 -2616 -2656 -2420 -2492 -2584 -2580 2588 2424 -2480 -2616 -2304 2412 2492 -2352 2600 -2436 2616 -2568 2464 -2436 2320 -2560 2356 2436 -2508 2320 -2280 -2320 2548 -2368 -2320 -2632 -2396 -2404 2364 -2488 2280 -2316 2340 2648 -2332 -2428 -2480 -2348 2484 2420 -2520 2384 -2432 -2320 2628 2600 2612 2536 2380 2436 -2508 -2512 -2380 -2524 -2316 -2320 -2540 -2288 -2616 2280 2492 -2420 -2328 2492 -2352 2280 2360 -2544 -2564 -2476 -2388 2620 -2568 -2532 2440 -2360 2656 2304 -2540 -2548 -2332 -2364 -2348 -2300 -2432 2516 2592 2560 -2396 -2656 -2428 -2548 -2348 2300 2504 2628 -2496 -2648 -2524 -2528 -2468 -2488 -2616 -2484 2472 -2592 -2320 2456 -2380 -2404 2512 -2648 -2656 -2448 2436 -2320 2576 -2640 2296 -2656 -2492 -2456 -2632 -2296 2552 -2436 -2576 2528 -2604 -2612 -2488 2280 2572 2524 2320 -2420 -2308 2608 -2580 2340 -2576 2508 2452 -2656 2640 2392 -2500 2612 2452 2532 -2432 -2376 -2460 2368 2572 2460 -2444 2628 2440 2328 -2508 -2600 2568 -2484 -2496 -2536 -2564 -2296 2360 2372 -2612 2604 2516 -2284 -2616 2448 2452 -2564 -2416 -2372 -2424 2600 2340 -2512 -2424 -2292 -2608 -2600 -2432 -2396 2392 -2508 2444 2424 -2600 2604 2480 -2592 -2396 -2464 2612 2396 2572 -2656 2320 2420 -2496 2524 2592 -2472 2452 2480 -2628 2488 -2548 2568 -2540 2460 -2340 -2444 2376 2464 -2580 2608 2544 2372 -2592 2368 2356 -2556 -2280 -2592 -2584 -2640 2468 -2624 -2636 2500 2540 -2408 -2624 -2616 -2492 -2320 -2404 -2344 -2652 2584 2576 -2580 2324 -2540 -2656 -2500 -2484 -2620 -2420 -2616 -2616 -2488 -2492 2320 2284 -2628 -2320 2356 -2436 -2568 2652 -2472 -2572 2452 2300 -2476 -2656 -2648 2284 2584 -2652 -2320 -2424 -2580 -2608 2348 2356 2412 2280 -2356 -2448 2656 -2284 -2484 2536 -2320 2384 -2592 -2320 -2548 -2344 2492 2532 2600 2616 -2484 -2372 -2548 2384 2328 -2552 -2320 -2440 -2288 -2592 -2652 -2304 -2628 -2616 -2416 -2540 -2632 -2468 -2640 2636 -2560 -2320 2340 -2588 -2656 2628 -2392 2444 -2400 -2544 -2412 -2396 2320 -2520 -2412 -2360 -2532 -2616 2380 2656 -2656 -2296 -2412 -2336 2288 2428 -2532 -2612 -2284 -2364 2412 2384 2404 -2352 -2452 2604 -2656 2528 2500 2452 -2556 2372 2396 -2548 -2320 2544 2616 -2404 -2440 -2492 -2612 -2440 2568 -2504 -2648 2408 -2592 -2400 -2500 -2492 2476 2464 2512 -2612 2316 -2632 2540 2528 -2468 -2656 -2352 2432 -2284 -2652 -2372 -2308 -2464 2556 2512 -2596 -2576 -2452 2464 -2588 2640 2312 2456 -2472 2548 2404 -2656 2496 -2404 -2616 2588 2460 2424 2656 -2636 2572 -2528 -2460 2456 -2320 -2304 2584 -2540 -2608 -2376 -2644 -2388 2304 -2612 -2324 -2520 -2452 2560 -2380 -2540 -2580 -2600 -2652 -2612 -2488 2476 -2632 -2280 -2612 -2328 2448 2656 -2528 -2328 -2364 -2292 -2568 -2364 -2372 -2348 -2428 2368 -2412 -2580 -2508 2340 -2616 2592 -2612 2444 -2580 2612 -2432 2376 -2424 2584 -2616 -2300 -2584 -2320 -2540 -2612 -2516 -2552 -2480 -2616 2336 -2592 -2360 -2580 -2524 -2656 2540 -2560 2656 -2636 -2480 2328 -2588 2452 -2372 2652 -2464 -2656 2568 2380 -2404 -2464 -2320 -2616 2336 -2568 -2284 -2308 -2476 -2532 2340 -2400 -2380 -2416 2596 -2572 -2564 -2468 2392 -2644 -2396 -2612 -2648 -2616 2364 -2504 2320 -2424 2544 2384 2372 -2532 -2364 -2616 -2484 -2552 -2432 -2652 -2380 2612 2348 -2656 -2324 -2432 2616 -2452 2612 2392 -2388 -2596 -2636 2280 -2392 -2280 2340 2588 -2344 2320 -2396 2608 2416 2524 -2320 2436 -2320 2488 2340 -2620 2584 -2396 -2636 2620 -2300 2656 -2524 2308 2340 -2644 -2360 2504 -2300 -2656 -2380 2576 -2500 -2324 -2464 -2488 2644 -2472 2348 -2488 -2572 2296 2608 -2584 -2368 2596 -2524 -2612 -2424 -2288 2316 -2528 2400 -2644 -2616 2408 -2524 -2524 -2320 2292 -2512 2432 2344 2340 2388 -2488 -2400 -2572 -2616 2280 -2476 -2616 -2528 -2612 -2556 -2464 -2608 -2600 -2416 2556 2600 -2568 -2500 -2332 -2476 -2436 2376 -2332 2528 2588 -2560 -2584 2552 -2444 -2628 -2440 2400 -2328 2352 -2340 -2532 -2516 -2640 2624 -2512 2612 2592 -2504 -2608 -2360 -2508 2340 2400 -2436 2388 -2320 2656 -2400 2468 -2472 2648 -2588 -2584 -2512 2460 -2612 -2600 -2360 -2320 -2352 2280 2608 -2380 -2468 -2452 -2532 2488 -2328 -2396 -2376 -2456 2328 2408 2600 2464 -2500 2604 2372 -2584 -2488 2284 -2352 2280 -2364 2540 -2452 -2452 -2324 -2384 -2580 -2500 2536 2452 2540 2320 -2280 2408 2640 2396 -2364 -2484 -2584 -2308 2280 -2480 2332 -2592 2340 -2280 -2464 -2600 -2424 -2524 -2412 2280 -2404 -2280 -2396 -2316 2400 -2280 -2648 -2524 -2656 -2616 2424 -2576 2436 2412 -2612 2596 2320 -2392 2568 2280 -2428 -2636 2412 -2528 2516 2644 2652 2400 2580 -2624 2428 -2360 -2636 2536 -2564 -2640 -2288 -2460 2396 2480 -2428 -2608 -2372 2576 -2292 -2596 2500 2432 -2356 -2628 2616 -2376 -2368 -2332 2648 -2612 -2360 2300 -2392 -2616 -2360 -2420 2472 -2484 2320 -2316 -2640 -2656 2400 -2600 -2524 -2328 -2484 2304 -2588 -2420 -2400 2552 -2604 -2496 2568 2652 2512 2648 -2592 2332 2328 -2584 -2380 -2340 -2552 2656 -2508 -2500 -2648 2288 -2288 2284 -2348 2548 -2408 2404 2384 -2280 -2472 2536 2344 2596 2588 2280 -2652 -2504 -2492 -2284 2440 2520 2580 -2564 -2424 -2596 -2384 -2640 -2656 -2604 -2372 -2308 -2564 -2616 -2624 2412 2572 -2412 2500 -2580 2484 2320 -2656 2412 -2480 -2656 -2320 2616 -2460 -2344 2324 -2572 -2616 -2648 -2280 -2628 -2380 -2356 2612 2460 -2656 -2616 -2504 -2320 -2400 2616 -2580 -2616 2496 2596 2356 2320 -2480 2360 -2540 -2624 -2540 -2560 -2444 2300 -2616 2412 -2424 -2328 -2600 2560 2320 2572 -2444 2280 2280 2280 2320 2280 2524 2508 2468 -2340 2600 2428 2604 -2580 -2596 -2576 2656 2288 -2540 -2508 -2536 2504 2320 2572 -2516 2476 -2604 -2444 2488 -2468 -2472 -2436 2328 -2412 2516 -2328 2524 -2368 -2592 2436 -2364 -2616 -2504 2296 2632 2464 -2388 2320 2460 2568 -2504 2548 -2560 2600 -2584 -2588 -2396 -2320 -2320 -2616 -2476 -2280 2320 -2544 -2608 -2600 -2460 -2492 2560 -2452 -2488 -2576 -2608 -2560 -2320 -2616 -2476 -2408 -2620 -2632 -2612 -2520 -2280 -2648 -2656 -2600 -2392 -2584 -2568 2432 2324 -2616 2460 -2356 -2616 -2528 -2592 -2648 -2484 2536 2552 2588 -2612 -2404 2616 2584 -2444 -2328 2356 2608 -2624 -2324 2436 -2328 2284 2616 -2584 -2452 -2544 -2324 -2332 -2568 2556 -2508 -2500 -2356 -2280 2544 2472 -2484 2320 -2492 -2332 2332 -2640 2548 -2460 -2444 2428 2344 -2352 2472 -2404 -2596 -2616 -2540 -2288 2280 -2572 2520 -2288 2356 -2280 -2552 -2356 2308 -2656 -2536 -2544 2324 -2496 2576 -2532 -2460 2280 -2508 -2580 -2604 2320 -2384 -2328 -2548 -2640 2616 -2328 2280 2480 2516 -2360 2608 -2300 -2528 -2412 2384 2452 2420 -2348 -2292 -2608 -2316 -2544 2588 2408 2280 -2332 -2656 -2652 -2404 -2464 2388 -2416 -2500 -2372 -2344 -2476 2368 -2512 2376 -2576 -2444 -2444 2308 -2448 -2496 2332 2488 2548 2452 2536 -2328 -2300 2556 2412 2344 2304 -2560 -2388 -2424 2392 -2604 -2416 -2360 -2424 -2476 -2532 2336 2300 2416 2464 2572 -2380 -2544 2652 -2648 -2332 -2496 2340 -2492 2516 -2656 2436 -2524 2464 -2360 -2296 2364 -2636 2548 -2604 -2656 2400 -2436 2280 -2420 -2612 -2532 2556 -2364 -2320 -2468 2408 -2448 -2376 -2656 -2504 -2628 -2300 -2624 -2540 2364 -2532 -2340 -2588 
39.95	d NODES 2014
39.95	d CHECKS 52978611
39.95	   
39.95	   totalWckTime=39.733  totalCpuTime=38.58

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/node34/watcher-201565-1168072390 -o ROOT/results/node34/solver-201565-1168072390 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201565-1168072390/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: 1.00 1.00 1.00 2/65 8822
/proc/meminfo: memFree=1519968/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=1452 CPUtime=0
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 104 0 0 0 0 0 0 0 19 0 1 0 155632774 1486848 76 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 8621382 0 0 4096 0 0 0 0 17 1 0 0
/proc/8821/statm: 364 87 68 14 0 9 0

[startup+0.102865 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8822
/proc/meminfo: memFree=1519968/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=914988 CPUtime=0.08
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 3002 0 1 0 6 2 0 0 16 0 8 0 155632774 936947712 2748 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153870864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8821/statm: 228747 2748 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513899 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8822
/proc/meminfo: memFree=1519968/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915328 CPUtime=0.48
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 7558 0 1 0 43 5 0 0 17 0 8 0 155632774 937295872 7297 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8821/statm: 228832 7297 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33397 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8829
/proc/meminfo: memFree=1451688/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915648 CPUtime=1.3
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 21468 0 1 0 118 12 0 0 16 0 8 0 155632774 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4152820102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8821/statm: 228912 21205 2160 14 0 215382 0
[pid=8821/tid=8823] ppid=8819 vsize=915648 CPUtime=0.08
/proc/8821/task/8823/stat : 8823 (java) S 8819 8821 8403 0 -1 64 4924 0 0 0 7 1 0 0 16 0 8 0 155632778 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8824] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8824/stat : 8824 (java) S 8819 8821 8403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8825] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8825/stat : 8825 (java) S 8819 8821 8403 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8826] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8826/stat : 8826 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155632782 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8827] ppid=8819 vsize=915648 CPUtime=0.16
/proc/8821/task/8827/stat : 8827 (java) S 8819 8821 8403 0 -1 64 410 0 0 0 16 0 0 0 16 0 8 0 155632782 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8828] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8828/stat : 8828 (java) S 8819 8821 8403 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155632782 937623552 21205 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8829] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8829/stat : 8829 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155632782 937623552 21205 18446744073709551615 134512640 134570532 4294956400 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.97009 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8829
/proc/meminfo: memFree=1443048/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915648 CPUtime=2.93
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 21556 0 1 0 281 12 0 0 18 0 8 0 155632774 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8821/statm: 228912 21291 2181 14 0 215382 0
[pid=8821/tid=8823] ppid=8819 vsize=915648 CPUtime=0.11
/proc/8821/task/8823/stat : 8823 (java) S 8819 8821 8403 0 -1 64 4924 0 0 0 10 1 0 0 17 0 8 0 155632778 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8824] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8824/stat : 8824 (java) S 8819 8821 8403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8825] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8825/stat : 8825 (java) S 8819 8821 8403 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8826] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8826/stat : 8826 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155632782 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8827] ppid=8819 vsize=915648 CPUtime=0.2
/proc/8821/task/8827/stat : 8827 (java) S 8819 8821 8403 0 -1 64 434 0 0 0 19 1 0 0 15 0 8 0 155632782 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8828] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8828/stat : 8828 (java) S 8819 8821 8403 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155632782 937623552 21291 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8829] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8829/stat : 8829 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155632782 937623552 21291 18446744073709551615 134512640 134570532 4294956400 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.25937 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8829
/proc/meminfo: memFree=1430056/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915648 CPUtime=6.21
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 25593 0 1 0 606 15 0 0 19 0 8 0 155632774 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073780228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8821/statm: 228912 25324 2181 14 0 215382 0
[pid=8821/tid=8823] ppid=8819 vsize=915648 CPUtime=0.3
/proc/8821/task/8823/stat : 8823 (java) S 8819 8821 8403 0 -1 64 8944 0 0 0 27 3 0 0 16 0 8 0 155632778 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8824] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8824/stat : 8824 (java) S 8819 8821 8403 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8825] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8825/stat : 8825 (java) S 8819 8821 8403 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155632779 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8826] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8826/stat : 8826 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155632782 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8827] ppid=8819 vsize=915648 CPUtime=0.22
/proc/8821/task/8827/stat : 8827 (java) S 8819 8821 8403 0 -1 64 447 0 0 0 21 1 0 0 16 0 8 0 155632782 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8828] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8828/stat : 8828 (java) S 8819 8821 8403 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155632782 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8829] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8829/stat : 8829 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155632782 937623552 25324 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915648

[startup+12.7349 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 8829
/proc/meminfo: memFree=1406192/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915648 CPUtime=12.67
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 31159 0 1 0 1249 18 0 0 23 0 8 0 155632774 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073839799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8821/statm: 228912 30883 2533 14 0 215382 0
[pid=8821/tid=8823] ppid=8819 vsize=915648 CPUtime=0.65
/proc/8821/task/8823/stat : 8823 (java) S 8819 8821 8403 0 -1 64 14032 0 0 0 61 4 0 0 16 0 8 0 155632778 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8824] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8824/stat : 8824 (java) S 8819 8821 8403 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155632779 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8825] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8825/stat : 8825 (java) S 8819 8821 8403 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155632779 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8826] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8826/stat : 8826 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155632782 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8827] ppid=8819 vsize=915648 CPUtime=0.32
/proc/8821/task/8827/stat : 8827 (java) S 8819 8821 8403 0 -1 64 507 0 0 0 30 2 0 0 15 0 8 0 155632782 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8828] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8828/stat : 8828 (java) S 8819 8821 8403 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155632782 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8829] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8829/stat : 8829 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155632782 937623552 30883 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915648

[startup+25.5839 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 8829
/proc/meminfo: memFree=1406128/2055920 swapFree=4192812/4192956
[pid=8821] ppid=8819 vsize=915648 CPUtime=25.51
/proc/8821/stat : 8821 (java) R 8819 8821 8403 0 -1 0 31174 0 1 0 2533 18 0 0 18 0 8 0 155632774 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073832743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8821/statm: 228912 30895 2534 14 0 215382 0
[pid=8821/tid=8823] ppid=8819 vsize=915648 CPUtime=0.65
/proc/8821/task/8823/stat : 8823 (java) S 8819 8821 8403 0 -1 64 14032 0 0 0 61 4 0 0 16 0 8 0 155632778 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8824] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8824/stat : 8824 (java) S 8819 8821 8403 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155632779 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8825] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8825/stat : 8825 (java) S 8819 8821 8403 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155632779 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8826] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8826/stat : 8826 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155632782 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8827] ppid=8819 vsize=915648 CPUtime=0.34
/proc/8821/task/8827/stat : 8827 (java) S 8819 8821 8403 0 -1 64 517 0 0 0 32 2 0 0 15 0 8 0 155632782 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8821/tid=8828] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8828/stat : 8828 (java) S 8819 8821 8403 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155632782 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8821/tid=8829] ppid=8819 vsize=915648 CPUtime=0
/proc/8821/task/8829/stat : 8829 (java) S 8819 8821 8403 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155632782 937623552 30895 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 40.0004
CPU time (s): 39.9029
CPU user time (s): 39.668
CPU system time (s): 0.234964
CPU usage (%): 99.7565
Max. virtual memory (cumulated for all children) (KiB): 915648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.668
system time used= 0.234964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35938
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= 2125
involuntary context switches= 1065

runsolver used 0.045993 s user time and 0.103984 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Jan  6 08:33:10 UTC 2007


IDJOB= 201565
IDBENCH= 3771
FILE ID= node34/201565-1168072390

PBS_JOBID= 3475660

Free space on /tmp= 66532 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201565-1168072390/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-201565-1168072390 -o ROOT/results/node34/solver-201565-1168072390 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201565-1168072390/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  63ed4f91155f2b79f30edca48a7e3b10

RANDOM SEED= 758308033

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.227
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.227
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:       1520448 kB
Buffers:         30780 kB
Cached:         413532 kB
SwapCached:          0 kB
Active:          55700 kB
Inactive:       404464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1520448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5172 kB
Writeback:           0 kB
Mapped:          25984 kB
Slab:            61352 kB
Committed_AS:  2361424 kB
PageTables:       1396 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= 66532 MiB



End job on node34 on Sat Jan  6 08:33:50 UTC 2007