Trace number 201668

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 41.6947 42.1323

DiagnosticValue
CHECKS52891207
NODES2030

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-9.xml
MD5SUM5b72c86380aa44432a29d477c7fa6640
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 benchmark20.1339
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/201668-1168072445/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.66	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.66	       =>  wckTime=0.334  cpuTime=0.23  mem=20M547
0.66	   
0.66	   predicates being loaded...
0.66	   
0.66	   constraints being loaded...
4.62	   
4.62	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 44M717)
7.83	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=205  nbConvertConstraintsChecks=4523082
7.83	     nbExtensionStructures=188  nbSharedExtensionStructures=17  nbConflictsStructures=188
7.83	     nbSharedConflictsStructures=17  nbSharedBinaryRepresentations=33478  nbEvaluationManagers=9268
7.83	     nbSharedEvaluationManagers=4196  maxDegree=17  maxArity=2
7.83	       =>  wckTime=7.511  cpuTime=6.77  mem=54M132
8.02	   
8.02	   solver IterativeSystematicSolver being built... 
8.48	       =>  wckTime=8.158  cpuTime=7.12  mem=93M485
24.94	   
24.94	   preprocessing
24.94	     nbConstraintChecks=30189003  nbValidityChecks=853086  nbPropagations=2215  nbRevisions=32922
24.94	     nbUselessRevisions=30912  nbRemovedValues=64440  detectedInconsistency=no
24.94	       =>  wckTime=16.44  cpuTime=16.26  mem=93M485
42.07	   
42.07	   search
42.07	     run=0  nbConstraintChecks=22702204  nbValidityChecks=19285177  nbPropagations=29529  nbRevisions=310520
42.07	     nbUselessRevisions=278404  nbAssignments=2030  nbFailedAssignments=30  nbBacktracks=0  nbVisitedNodes=2061
42.07	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=0
42.07	       =>  wckTime=33.574  cpuTime=33.13  mem=109M651
42.07	   
42.07	   global
42.07	     nbConstraintChecks=52891207  nbValidityChecks=20138263  nbPropagations=31744  nbRevisions=343442
42.07	     nbUselessRevisions=309316  nbRestartNogoods=0  solvingWckTime=33.577  solvingCpuTime=33.13  expiredTime=no
42.07	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=40.3
42.07	       =>  wckTime=41.749  cpuTime=40.26  mem=109M651
42.07	   
42.07	s SATISFIABLE
42.07	v -2584 -2580 -2540 -2616 -2464 2480 2344 -2284 -2656 2416 2284 -2284 -2636 2636 2592 -2544 -2416 -2356 2360 -2324 -2348 -2332 -2380 -2484 2360 -2636 -2388 -2580 2576 2452 2308 2472 -2636 -2372 -2608 2280 2316 -2436 2444 -2280 -2428 -2320 2332 -2328 -2412 2508 2544 -2440 2616 2332 -2360 -2544 -2608 -2656 -2616 -2640 2392 2320 -2548 -2620 -2616 -2392 -2336 -2416 2288 2612 -2364 -2520 -2508 2320 2280 -2488 2448 -2620 -2356 -2536 -2328 2624 -2460 -2404 2516 -2344 2616 2468 -2616 2384 -2564 2440 2456 -2348 -2444 -2420 -2532 -2288 2396 -2476 -2468 -2524 2436 -2548 2332 -2548 -2428 2412 -2320 -2620 -2656 -2416 -2392 2648 2492 2292 2452 -2320 -2612 -2392 -2456 2384 2472 -2536 2304 -2484 2588 2564 -2400 -2564 -2620 -2428 -2656 -2284 -2480 -2428 -2640 2580 -2328 2420 2280 -2428 -2616 -2488 -2424 -2348 2552 -2400 -2484 -2652 -2632 -2476 -2600 -2584 -2400 2396 2404 2324 -2584 2444 2320 2348 -2332 -2420 -2408 -2284 -2472 -2656 -2528 -2360 -2432 2616 2376 -2472 2588 -2340 -2340 -2384 2656 -2408 2472 2648 -2320 2444 -2408 -2320 2420 2580 -2656 -2436 2504 -2632 -2596 -2560 -2292 -2324 -2380 -2300 -2280 -2548 -2372 2304 2580 -2556 -2364 2640 -2548 -2580 2436 -2580 2628 -2432 2292 2548 -2604 -2408 -2472 -2320 -2484 -2468 -2496 -2656 2524 -2380 -2432 -2656 2324 -2372 2424 2496 -2612 2480 2324 2416 -2336 2476 -2308 -2608 2624 -2320 -2596 2552 -2616 2552 -2656 2332 2480 2316 -2324 -2572 -2428 -2328 -2428 -2616 -2564 2484 -2600 -2356 2604 -2304 2448 -2656 -2360 -2280 2628 -2440 2404 2448 2504 -2300 -2640 -2284 -2600 -2616 -2336 2556 2512 -2468 -2496 -2604 -2332 -2400 2356 -2280 -2476 2504 2456 2340 -2612 2452 2384 2516 -2572 2300 -2492 2588 -2420 -2448 -2348 2436 -2500 -2652 2388 2612 2484 2280 -2560 2596 2436 -2584 2496 2320 -2376 2280 -2456 -2552 -2424 -2564 -2324 2420 -2616 -2352 -2368 -2320 -2568 -2476 2604 -2556 2320 -2496 -2564 2280 -2308 2588 -2312 -2492 -2568 -2596 -2572 2332 2400 -2368 -2332 -2656 -2504 2320 -2604 -2280 -2448 -2548 -2476 -2288 2324 -2476 -2400 2528 -2592 2616 2484 -2500 -2320 2436 -2340 -2368 2520 -2436 -2584 -2320 -2656 2604 2456 -2628 -2508 -2336 -2344 2508 -2388 -2400 -2564 -2600 -2416 -2360 -2492 -2484 -2652 2440 2428 -2400 2332 -2656 2516 2584 2320 -2656 2548 -2472 2544 2448 -2348 -2540 2336 2368 2560 2588 2472 -2372 -2480 -2560 2400 2464 -2380 2468 2336 2420 -2500 -2476 -2396 2616 2560 -2320 2412 -2656 2548 -2572 -2388 -2468 2376 -2360 -2616 2612 2532 -2468 2476 -2628 2416 -2564 2340 2280 2472 -2624 -2656 -2632 -2388 2632 -2504 2628 -2656 2320 -2400 -2616 2396 -2308 2572 2616 -2324 -2320 -2452 2420 -2372 -2584 -2552 2524 -2416 -2616 -2448 2616 2628 2356 -2288 2364 2284 -2280 2612 2600 -2404 2380 -2420 -2280 -2360 2412 -2444 2364 -2616 -2352 2568 -2432 -2540 -2588 2548 2320 2656 -2584 -2600 2324 2520 -2452 -2596 -2508 -2420 2492 -2380 -2468 -2656 2360 -2328 2280 2468 2556 -2360 2520 -2608 -2624 -2580 -2404 2436 -2440 -2552 -2656 -2520 -2432 2612 2588 -2560 -2620 -2352 -2292 2604 2564 2636 -2656 -2444 -2356 -2452 2300 -2616 -2332 -2596 2320 2616 -2280 -2608 -2500 2608 2452 -2456 -2616 -2600 -2640 2320 -2556 -2432 2280 -2388 -2652 2632 2332 -2420 2396 2328 -2512 -2408 -2320 -2320 -2656 -2548 -2360 -2608 -2548 2536 -2600 -2616 2516 -2300 -2408 -2612 2588 -2572 -2584 -2520 -2572 -2468 2280 -2652 2628 2476 -2300 -2528 -2380 2388 -2588 -2600 -2556 2540 2320 2544 2320 2520 -2524 -2384 -2492 -2344 2408 2568 -2588 -2604 -2384 -2548 2508 2352 2440 -2436 -2556 -2512 2644 -2524 2288 2416 -2624 -2444 -2416 2480 -2556 2468 -2444 -2616 2532 2500 2352 -2484 2604 2440 -2460 -2620 -2588 2436 2304 -2432 -2656 2428 2616 -2384 -2596 -2568 -2324 2320 -2568 -2356 2324 -2288 -2440 2324 2396 -2344 -2484 -2508 -2560 -2528 2524 2468 -2380 2592 -2612 2460 -2324 -2332 2608 -2564 -2448 2464 2416 2400 -2648 2340 -2396 -2408 2584 2596 -2552 2616 -2656 2428 2396 2460 2280 -2568 2280 -2388 2292 -2436 -2616 2328 -2608 2292 2428 -2452 -2496 2400 2280 -2340 -2332 -2328 -2460 2456 -2640 -2472 -2596 2616 -2372 -2616 2600 2492 2656 -2516 2584 2580 2472 -2588 -2492 -2420 -2440 -2528 -2320 -2596 -2324 2336 -2364 -2648 -2608 -2540 -2288 -2504 -2344 2468 -2428 -2436 -2320 -2560 2512 -2484 -2540 2568 -2296 -2408 2388 2384 -2328 -2572 2328 -2616 2324 -2524 -2516 -2524 -2580 2488 -2388 2500 2500 -2616 2600 -2352 -2492 -2324 2404 -2536 -2464 2356 -2280 -2528 -2644 -2440 -2592 -2288 -2592 -2296 -2280 -2616 2452 2280 -2632 2468 2516 -2456 -2284 -2612 -2344 -2624 -2520 -2616 -2620 2508 -2436 2584 -2516 2596 -2320 2528 -2616 -2460 -2364 2344 -2348 2316 -2416 -2540 2520 2556 2508 -2616 -2564 -2364 -2324 -2508 2348 2340 2656 2612 -2372 -2328 2484 -2444 -2372 2388 -2488 -2356 -2344 -2328 2576 2516 -2412 -2476 2320 -2484 2428 -2504 2304 -2648 -2280 -2600 -2596 2616 -2548 -2288 2412 -2576 -2280 -2428 -2524 2592 2608 2512 2280 -2656 -2296 -2496 2424 -2616 -2280 -2300 -2444 -2320 2576 -2456 -2468 -2368 -2400 -2576 -2504 2516 -2384 -2656 -2304 2512 -2608 -2320 -2280 -2320 -2340 -2404 -2548 2576 2544 2364 2592 -2408 -2488 2320 -2368 -2584 2580 2484 2592 -2524 2528 2520 -2488 -2652 2444 -2400 -2600 2304 2532 -2324 -2416 -2488 -2592 2656 -2300 2340 -2440 2592 2584 2424 -2656 2532 2592 -2568 -2616 2568 -2388 -2400 2612 2516 2600 2436 2500 -2524 -2372 -2320 -2476 -2356 -2548 -2656 2344 2588 2604 2640 -2500 -2624 -2320 2580 -2656 2340 2460 -2380 2320 -2296 -2484 -2652 2568 2468 2636 -2368 2280 2576 -2592 -2484 -2472 2496 -2392 2432 2464 2360 -2352 -2612 2388 -2520 -2616 2360 2380 -2468 -2644 -2448 -2556 -2556 2548 2324 -2532 2376 2320 -2508 2508 2452 -2412 2420 -2556 2320 2512 2592 -2656 -2476 2592 -2372 2472 -2588 -2436 2608 2628 -2320 2452 -2608 -2548 2652 -2456 -2456 2460 -2628 2480 -2328 2468 -2552 -2488 -2292 -2392 2428 2432 -2492 -2640 -2596 2384 2456 -2436 -2364 -2556 -2280 -2588 -2580 -2656 -2484 2480 2556 2532 -2640 2464 -2624 -2616 2480 -2536 2364 2496 -2644 -2604 -2612 2560 -2344 -2540 -2444 -2464 -2500 -2320 -2284 -2616 -2544 2596 2380 -2364 2320 2624 2316 -2356 2324 2652 -2656 2464 2568 2480 2288 -2284 -2308 -2616 2332 2468 -2652 -2320 -2464 -2348 -2656 2304 2332 -2568 2592 -2400 -2368 -2648 2360 2280 -2644 -2328 2472 -2580 2372 -2564 2492 2564 2516 2600 2624 -2564 -2380 -2472 2532 -2372 -2616 -2368 -2440 2324 2560 -2632 2428 -2516 2580 -2632 -2588 -2632 2468 -2640 -2516 -2620 2320 -2376 -2600 2592 -2640 -2280 -2652 -2472 -2568 -2332 2368 -2460 2584 -2396 -2348 -2512 2616 -2352 -2508 2540 2284 -2424 -2280 -2464 2508 2508 -2608 2280 -2328 2344 -2364 -2452 -2328 2396 2576 -2656 2592 -2520 2524 -2568 2464 -2404 2512 -2352 -2632 2588 2612 -2320 2500 2648 -2528 2320 2488 2636 -2432 -2592 -2432 -2488 -2492 2468 -2516 2416 2612 -2424 -2604 -2616 2500 -2480 -2576 2388 -2472 -2288 2572 -2348 -2348 2516 -2508 -2640 2508 2576 -2428 2376 -2620 2592 2320 2484 2444 2632 2320 -2652 2452 -2336 -2564 -2628 2568 2404 2656 2596 -2500 -2448 -2468 -2656 -2308 -2532 2572 -2520 2436 -2384 2492 -2360 -2388 -2572 -2320 2560 -2292 -2656 -2284 2308 -2512 2568 2616 2612 2488 2508 2616 -2356 2508 -2356 -2504 -2608 2496 -2384 2356 2280 2568 -2296 -2464 -2388 -2524 2320 -2348 -2656 -2484 2368 2468 -2596 -2568 2524 2600 -2460 -2404 2380 2336 2616 -2540 -2336 -2616 -2508 -2568 2612 -2448 2592 2588 2600 2404 -2528 2320 -2608 -2508 -2616 -2568 -2544 2496 -2616 -2572 2348 -2472 2380 2280 -2592 -2460 -2644 2604 -2396 2312 2472 2420 -2648 -2324 -2588 2528 2284 -2476 -2532 -2368 -2376 -2384 -2376 2556 -2624 -2428 -2452 2428 -2568 -2372 -2612 -2580 -2616 -2400 -2480 -2444 -2400 2516 2424 2336 2528 2332 -2616 -2504 -2532 -2328 2444 -2336 2592 2340 2656 -2388 -2420 2360 2384 2576 2428 2460 2552 -2596 2316 -2380 2328 -2520 2600 2412 2320 -2412 -2656 2440 2600 2324 2280 -2320 -2620 -2396 -2476 2520 2424 -2624 -2508 -2380 2656 2500 2396 2312 -2616 -2332 2500 -2480 -2656 2384 2572 -2500 2428 2280 2584 -2556 2320 2324 2340 2532 2312 2564 2424 -2544 -2656 2544 -2612 -2656 2344 -2560 -2536 -2312 2604 -2508 -2368 -2488 -2472 -2328 2352 -2560 2324 2280 -2280 2300 2456 -2428 -2568 -2604 2320 -2488 2616 2520 -2656 -2564 -2416 -2460 2552 2444 -2560 2648 -2572 2336 -2616 -2504 2396 2400 -2320 -2584 2572 -2388 -2556 -2656 -2528 2640 2468 -2456 -2320 2376 -2364 2524 2448 -2640 -2628 -2492 2604 2536 -2536 -2656 -2616 -2444 -2344 -2468 2468 -2380 -2552 2656 2368 -2356 -2348 -2500 2596 -2572 2616 2488 2604 -2632 -2308 2280 2372 -2480 -2596 2304 2396 2480 -2444 -2492 2280 -2412 2396 2416 -2460 -2280 -2616 2444 -2528 -2532 2404 -2616 -2516 -2304 2280 -2320 -2400 -2556 -2388 -2540 -2380 2320 -2580 -2588 2536 2440 -2520 -2320 2280 -2320 -2656 -2408 -2352 -2484 2524 2344 -2460 -2480 -2328 2572 2396 2488 -2480 2588 -2380 -2468 -2492 -2284 2424 -2280 2372 2340 -2428 -2648 -2616 -2540 -2560 2608 2468 -2608 -2512 -2432 -2584 -2596 2408 -2360 2624 2328 2440 2612 -2416 -2564 2428 -2528 2616 2424 -2548 -2508 2376 -2376 -2636 -2536 -2548 -2636 -2340 -2528 2436 2540 -2432 2544 -2656 -2584 2416 2636 -2620 2320 -2396 -2588 2652 2388 -2420 -2344 -2616 2640 -2360 -2312 2280 2508 -2368 2280 2280 -2476 -2280 -2356 2356 -2512 -2656 -2580 2516 -2364 -2508 2316 2540 -2624 -2408 -2484 -2588 2420 -2584 -2652 -2608 2476 -2636 -2304 -2552 -2592 -2416 -2300 -2528 -2540 -2604 -2528 -2600 -2460 -2528 -2288 -2316 2340 -2428 2476 -2516 2372 -2312 -2616 2284 2596 -2636 -2296 -2640 -2476 -2544 -2284 -2328 -2616 -2656 -2556 -2556 2628 2428 -2640 -2616 -2636 2424 2280 -2620 -2656 -2612 2348 -2644 -2492 2584 2600 2560 -2328 -2640 -2440 -2408 -2656 -2520 -2648 -2460 -2408 2320 2640 2616 -2636 -2320 2596 -2400 2632 -2484 2548 2556 -2532 -2428 -2404 -2488 2552 2472 -2516 -2524 2540 -2316 -2420 -2460 -2416 -2540 -2564 -2624 -2656 -2400 -2364 -2604 2428 -2440 2584 2584 -2612 -2384 2592 2392 2320 -2376 2496 -2284 -2324 2524 -2512 2528 2404 -2604 -2568 -2280 -2528 -2468 2604 2656 2420 2592 -2656 -2320 -2608 2280 2572 2528 -2508 -2516 -2404 2340 2456 2336 -2396 -2424 2356 2604 -2524 2512 -2280 -2564 2404 -2284 -2536 2528 -2444 -2596 2488 -2484 -2400 2540 -2644 -2532 -2644 -2516 -2528 -2580 -2548 2364 -2448 2392 -2616 -2552 2324 2332 -2532 -2608 -2600 -2584 2636 2548 -2608 -2524 2580 2656 2528 2284 -2612 2512 -2368 -2616 -2632 2612 -2524 2360 -2624 -2656 2584 -2284 -2656 2632 2388 -2280 2656 2548 2456 2580 2280 2444 2612 -2488 -2524 2648 2572 2604 -2440 2616 2528 -2376 2284 -2400 -2632 -2620 2372 -2656 -2384 -2548 -2536 -2584 2404 -2628 2324 -2320 2588 2588 -2360 2472 2352 -2280 -2564 -2600 2460 2280 -2472 -2340 -2388 2568 -2588 -2488 2428 2340 2344 2360 2432 -2320 -2572 -2616 -2452 2280 -2284 2476 2412 -2316 2452 2348 -2616 -2316 -2336 2656 -2520 -2648 2508 -2408 2524 -2320 -2492 -2280 -2396 2516 -2560 -2288 -2380 -2364 2516 -2608 2640 2324 2332 2372 -2552 2388 -2600 -2284 2612 -2376 2312 2640 -2324 -2296 -2288 2624 -2312 -2616 2640 2544 -2352 -2392 -2580 2616 -2440 -2544 -2392 -2376 -2584 -2504 -2340 2320 2432 2656 -2512 -2496 -2500 -2468 -2280 -2396 2360 -2344 -2408 -2616 2532 2460 -2444 -2436 2480 2600 -2356 -2368 2468 -2376 2432 -2288 2564 -2332 -2368 2468 -2468 2528 -2320 2312 -2296 -2520 2600 -2356 -2576 2644 -2616 2340 -2512 2352 -2600 -2508 2572 -2508 2520 2324 -2344 -2596 -2484 2500 2636 2528 -2592 2360 2288 2460 2376 -2648 2564 -2432 2324 -2396 -2416 -2408 2388 2404 -2656 2476 -2608 2280 -2652 -2544 -2348 -2516 -2420 -2568 
42.07	d NODES 2030
42.07	d CHECKS 52891207
42.07	   
42.07	   totalWckTime=41.831  totalCpuTime=40.31

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/node12/watcher-201668-1168072445 -o ROOT/results/node12/solver-201668-1168072445 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201668-1168072445/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.79 1.88 1.91 2/93 19600
/proc/meminfo: memFree=1291488/2055920 swapFree=4160348/4192956
[pid=19599] ppid=19597 vsize=18540 CPUtime=0
/proc/19599/stat : 19599 (runsolver) R 19597 19599 19476 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155639609 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19599/statm: 4635 279 244 17 0 2626 0

[startup+0.10357 s]
/proc/loadavg: 1.79 1.88 1.91 2/93 19600
/proc/meminfo: memFree=1291488/2055920 swapFree=4160348/4192956
[pid=19599] ppid=19597 vsize=913236 CPUtime=0.08
/proc/19599/stat : 19599 (java) R 19597 19599 19476 0 -1 0 2921 0 1 0 7 1 0 0 19 0 8 0 155639609 935153664 2667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19599/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236

[startup+0.51163 s]
/proc/loadavg: 1.79 1.88 1.91 2/93 19600
/proc/meminfo: memFree=1291488/2055920 swapFree=4160348/4192956
[pid=19599] ppid=19597 vsize=915328 CPUtime=0.48
/proc/19599/stat : 19599 (java) R 19597 19599 19476 0 -1 0 6797 0 1 0 43 5 0 0 18 0 8 0 155639609 937295872 6536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072937009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19599/statm: 228832 6536 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33278 s]
/proc/loadavg: 1.79 1.88 1.91 4/100 19607
/proc/meminfo: memFree=1222952/2055920 swapFree=4160348/4192956
[pid=19599] ppid=19597 vsize=915648 CPUtime=1.29
/proc/19599/stat : 19599 (java) R 19597 19599 19476 0 -1 0 21467 0 1 0 115 14 0 0 24 0 8 0 155639609 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073657563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19599/statm: 228912 21204 2160 14 0 215382 0
[pid=19599/tid=19601] ppid=19597 vsize=915648 CPUtime=0.08
/proc/19599/task/19601/stat : 19601 (java) S 19597 19599 19476 0 -1 64 4923 0 0 0 6 2 0 0 16 0 8 0 155639613 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19602] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19602/stat : 19602 (java) S 19597 19599 19476 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155639614 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19603] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19603/stat : 19603 (java) S 19597 19599 19476 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155639614 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19604] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19604/stat : 19604 (java) S 19597 19599 19476 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155639617 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19605] ppid=19597 vsize=915648 CPUtime=0.17
/proc/19599/task/19605/stat : 19605 (java) S 19597 19599 19476 0 -1 64 409 0 0 0 16 1 0 0 15 0 8 0 155639617 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19606] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19606/stat : 19606 (java) S 19597 19599 19476 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155639617 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19607] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19607/stat : 19607 (java) S 19597 19599 19476 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155639617 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915648

[startup+2.97207 s]
/proc/loadavg: 1.80 1.88 1.91 3/100 19607
/proc/meminfo: memFree=1214504/2055920 swapFree=4160348/4192956
[pid=19599] ppid=19597 vsize=915648 CPUtime=2.92
/proc/19599/stat : 19599 (java) R 19597 19599 19476 0 -1 0 21557 0 1 0 277 15 0 0 25 0 8 0 155639609 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19599/statm: 228912 21292 2181 14 0 215382 0
[pid=19599/tid=19601] ppid=19597 vsize=915648 CPUtime=0.11
/proc/19599/task/19601/stat : 19601 (java) S 19597 19599 19476 0 -1 64 4923 0 0 0 9 2 0 0 17 0 8 0 155639613 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19602] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19602/stat : 19602 (java) S 19597 19599 19476 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155639614 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19603] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19603/stat : 19603 (java) S 19597 19599 19476 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155639614 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19604] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19604/stat : 19604 (java) S 19597 19599 19476 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155639617 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19605] ppid=19597 vsize=915648 CPUtime=0.21
/proc/19599/task/19605/stat : 19605 (java) S 19597 19599 19476 0 -1 64 435 0 0 0 20 1 0 0 15 0 8 0 155639617 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19606] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19606/stat : 19606 (java) S 19597 19599 19476 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155639617 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19607] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19607/stat : 19607 (java) S 19597 19599 19476 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155639617 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915648

[startup+6.27268 s]
/proc/loadavg: 1.80 1.88 1.91 3/100 19607
/proc/meminfo: memFree=1201384/2055920 swapFree=4160348/4192956
[pid=19599] ppid=19597 vsize=915648 CPUtime=6.18
/proc/19599/stat : 19599 (java) R 19597 19599 19476 0 -1 0 25588 0 1 0 600 18 0 0 25 0 8 0 155639609 937623552 25319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155239777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19599/statm: 228912 25319 2182 14 0 215382 0
[pid=19599/tid=19601] ppid=19597 vsize=915648 CPUtime=0.3
/proc/19599/task/19601/stat : 19601 (java) S 19597 19599 19476 0 -1 64 8936 0 0 0 26 4 0 0 16 0 8 0 155639613 937623552 25319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19602] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19602/stat : 19602 (java) S 19597 19599 19476 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155639614 937623552 25319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19603] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19603/stat : 19603 (java) S 19597 19599 19476 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155639614 937623552 25319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19604] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19604/stat : 19604 (java) S 19597 19599 19476 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155639617 937623552 25319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19605] ppid=19597 vsize=915648 CPUtime=0.24
/proc/19599/task/19605/stat : 19605 (java) S 19597 19599 19476 0 -1 64 448 0 0 0 23 1 0 0 16 0 8 0 155639617 937623552 25319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19606] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19606/stat : 19606 (java) S 19597 19599 19476 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155639617 937623552 25319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19607] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19607/stat : 19607 (java) S 19597 19599 19476 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155639617 937623552 25319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915648

[startup+12.7538 s]
/proc/loadavg: 1.83 1.89 1.91 3/100 19607
/proc/meminfo: memFree=1177064/2055920 swapFree=4160348/4192956
[pid=19599] ppid=19597 vsize=915648 CPUtime=12.61
/proc/19599/stat : 19599 (java) R 19597 19599 19476 0 -1 0 31255 0 1 0 1239 22 0 0 25 0 8 0 155639609 937623552 30980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19599/statm: 228912 30980 2534 14 0 215382 0
[pid=19599/tid=19601] ppid=19597 vsize=915648 CPUtime=0.67
/proc/19599/task/19601/stat : 19601 (java) S 19597 19599 19476 0 -1 64 14126 0 0 0 61 6 0 0 16 0 8 0 155639613 937623552 30980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19602] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19602/stat : 19602 (java) S 19597 19599 19476 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155639614 937623552 30980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19603] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19603/stat : 19603 (java) S 19597 19599 19476 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155639614 937623552 30980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19604] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19604/stat : 19604 (java) S 19597 19599 19476 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155639617 937623552 30980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19605] ppid=19597 vsize=915648 CPUtime=0.35
/proc/19599/task/19605/stat : 19605 (java) S 19597 19599 19476 0 -1 64 508 0 0 0 33 2 0 0 15 0 8 0 155639617 937623552 30980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19606] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19606/stat : 19606 (java) S 19597 19599 19476 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155639617 937623552 30980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19607] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19607/stat : 19607 (java) S 19597 19599 19476 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155639617 937623552 30980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915648

[startup+25.6211 s]
/proc/loadavg: 1.86 1.89 1.91 3/100 19607
/proc/meminfo: memFree=1177192/2055920 swapFree=4160348/4192956
[pid=19599] ppid=19597 vsize=915648 CPUtime=25.36
/proc/19599/stat : 19599 (java) R 19597 19599 19476 0 -1 0 31271 0 1 0 2514 22 0 0 25 0 8 0 155639609 937623552 30992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19599/statm: 228912 30992 2535 14 0 215382 0
[pid=19599/tid=19601] ppid=19597 vsize=915648 CPUtime=0.67
/proc/19599/task/19601/stat : 19601 (java) S 19597 19599 19476 0 -1 64 14126 0 0 0 61 6 0 0 17 0 8 0 155639613 937623552 30992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19602] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19602/stat : 19602 (java) S 19597 19599 19476 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155639614 937623552 30992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19603] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19603/stat : 19603 (java) S 19597 19599 19476 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155639614 937623552 30992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19604] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19604/stat : 19604 (java) S 19597 19599 19476 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155639617 937623552 30992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19605] ppid=19597 vsize=915648 CPUtime=0.36
/proc/19599/task/19605/stat : 19605 (java) S 19597 19599 19476 0 -1 64 520 0 0 0 34 2 0 0 15 0 8 0 155639617 937623552 30992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19606] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19606/stat : 19606 (java) S 19597 19599 19476 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155639617 937623552 30992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19599/tid=19607] ppid=19597 vsize=915648 CPUtime=0
/proc/19599/task/19607/stat : 19607 (java) S 19597 19599 19476 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155639617 937623552 30992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 42.1323
CPU time (s): 41.6947
CPU user time (s): 41.4287
CPU system time (s): 0.265959
CPU usage (%): 98.9613
Max. virtual memory (cumulated for all children) (KiB): 915648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.4287
system time used= 0.265959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36011
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= 2661
involuntary context switches= 3786

runsolver used 0.056991 s user time and 0.139978 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan  6 08:34:06 UTC 2007


IDJOB= 201668
IDBENCH= 3777
FILE ID= node12/201668-1168072445

PBS_JOBID= 3475749

Free space on /tmp= 66312 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5b72c86380aa44432a29d477c7fa6640

RANDOM SEED= 378897277

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.265
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.265
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:       1291904 kB
Buffers:         27440 kB
Cached:         222400 kB
SwapCached:       4684 kB
Active:         481468 kB
Inactive:       200908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1291904 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            5188 kB
Writeback:           0 kB
Mapped:         452236 kB
Slab:            65800 kB
Committed_AS:  4695724 kB
PageTables:       2900 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= 66312 MiB



End job on node12 on Sat Jan  6 08:34:48 UTC 2007