Trace number 201143

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 160.255 161.146

DiagnosticValue
CHECKS62064830
NODES3001

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-10.xml
MD5SUM9430cfe064b05903764bbb9dbe5b06c6
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 benchmark19.3331
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/201143-1168145607/unknown.xml
0.40	   
0.40	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.71	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182
0.71	       =>  wckTime=0.382  cpuTime=0.27  mem=27M376
0.71	   
0.71	   predicates being loaded...
0.71	   
0.71	   constraints being loaded...
138.86	     nbConstraints=17754  nbMergedConstraints=15267  nbConvertedConstraints=17754  nbConvertConstraintsChecks=219816520
138.86	     nbExtensionStructures=8295  nbSharedExtensionStructures=9459  nbConflictsStructures=8295
138.86	     nbSharedConflictsStructures=9459  nbSharedBinaryRepresentations=2483107  maxDegree=15  maxArity=2
138.86	       =>  wckTime=138.534  cpuTime=136.65  mem=119M845
139.23	   
139.24	   solver IterativeSystematicSolver being built... 
139.57	       =>  wckTime=139.24  cpuTime=136.91  mem=117M123
154.22	   
154.22	   preprocessing
154.22	     nbConstraintChecks=49942079  nbPropagations=111961  nbRevisions=298939  nbUselessRevisions=189913
154.22	     nbSingletonTests=3266  nbEffectiveSingletonTests=0  nbESACBranches=9  nbRemovedValues=36691
154.22	     detectedInconsistency=no
154.22	       =>  wckTime=14.629  cpuTime=14.52  mem=117M123
160.95	   
160.95	   search
160.95	     run=0  nbConstraintChecks=12122751  nbPropagations=145901  nbRevisions=389024  nbUselessRevisions=247996
160.96	     nbAssignments=3001  nbFailedAssignments=1  nbBacktracks=0  nbVisitedNodes=3003  nbRestartNogoods=0  mapSize=0
160.96	     nbInferences=0  nbTooLargeKeys=772
160.96	       =>  wckTime=21.369  cpuTime=21.15  mem=152M47
160.96	   
160.96	   global
160.96	     nbConstraintChecks=62064830  nbPropagations=257862  nbRevisions=687963  nbUselessRevisions=437909
160.96	     nbRestartNogoods=0  solvingWckTime=21.37  solvingCpuTime=21.15  expiredTime=no  totalExploration=no
160.96	     nbFoundSolutions=1  globalCpuTime=158.14
160.96	       =>  wckTime=160.63  cpuTime=158.08  mem=152M47
160.96	   
160.96	s SATISFIABLE
160.96	v -2556 2572 2512 2320 2580 -2612 -2520 -2640 2332 -2516 -2640 2448 2372 -2416 -2320 -2424 2428 -2280 2548 -2332 2512 2520 -2384 -2640 -2392 2376 2612 -2640 -2352 -2632 -2304 -2320 2568 -2392 2428 -2360 -2320 -2364 -2452 -2392 -2640 -2388 2584 2496 2296 -2388 -2488 2280 2600 -2532 -2396 2312 -2280 -2520 2560 -2308 -2296 2428 2420 2348 2280 -2600 -2544 -2640 2540 -2640 2504 -2640 2620 -2580 -2340 -2412 2280 -2636 2592 2640 -2340 -2280 2344 2348 -2572 -2320 2640 -2340 -2452 -2640 2532 -2600 2340 2392 2448 2324 -2280 -2320 -2352 -2564 2596 -2600 -2432 -2280 2320 2600 -2300 -2528 -2284 2320 -2280 2528 -2640 2572 2580 2524 -2548 2348 2520 -2640 2284 -2320 -2640 -2320 2608 -2640 2432 -2608 -2600 -2640 2516 -2580 2348 -2320 -2408 -2408 -2332 -2640 2584 2584 -2548 -2640 2360 -2376 -2364 -2284 2400 2544 -2292 -2640 -2624 -2372 2316 -2424 -2296 -2280 2320 2440 -2320 -2600 2580 -2476 2564 2376 2580 2360 -2600 -2592 -2584 2640 2468 -2552 -2640 2640 -2600 2296 2548 -2320 -2324 -2600 -2636 -2320 -2572 2612 2280 2580 -2600 2392 2596 -2592 -2548 -2328 -2640 2300 -2592 -2632 2320 -2376 -2380 2528 -2636 2640 2292 -2480 -2640 -2344 -2428 2288 -2296 2504 2564 -2392 -2640 2296 2596 2304 2404 -2320 2372 -2292 2332 2600 2280 -2592 -2280 2540 -2540 -2640 2508 -2356 2508 2400 -2640 -2624 2408 -2284 -2320 2596 -2332 -2432 2564 2584 2488 2616 -2284 2604 -2460 -2320 2460 2516 2524 -2472 -2600 2512 2420 -2640 -2332 2324 -2640 -2600 -2536 2600 2548 -2504 2640 2284 -2432 2640 -2640 -2356 -2600 -2332 -2488 2324 2280 -2376 2380 -2292 2336 2600 -2468 -2352 -2600 -2280 2640 2288 2540 -2600 2424 2428 -2408 -2292 -2320 2324 2336 -2556 2364 -2492 -2640 2436 -2320 2280 2588 -2640 -2280 2516 -2340 2636 -2600 -2280 -2284 2280 -2324 2600 -2428 2292 -2372 -2376 -2512 2388 2512 -2280 2572 -2416 2488 -2568 2528 -2564 -2408 -2468 -2520 -2456 -2560 -2348 2320 2560 2476 -2472 -2532 2284 2352 -2332 2564 -2384 -2420 2376 2280 -2344 -2516 2396 2496 2584 2344 2540 2344 -2600 -2600 2620 -2388 2552 -2436 -2592 -2532 2532 -2572 2480 -2320 -2624 -2332 2524 2320 2392 2364 -2544 -2320 -2336 -2596 2308 -2600 2336 -2396 -2364 -2600 -2280 2296 2340 2332 -2280 2352 -2512 -2364 -2640 -2584 -2640 2316 2324 2440 -2320 2520 -2624 -2320 -2280 -2636 -2340 2552 -2600 2568 -2320 -2636 -2632 2580 2640 -2292 2280 2576 -2604 2308 2320 2280 -2320 2500 -2280 2328 2380 2324 2280 -2324 2636 -2592 2584 -2584 2596 -2320 -2384 2588 2592 2420 2424 -2600 2640 -2584 2640 -2600 2448 -2308 -2280 2528 -2312 -2540 2568 2368 -2600 -2600 2640 -2600 2632 2600 2600 2328 2544 -2348 2492 -2388 2580 -2320 2480 -2600 -2320 2452 2524 -2560 2596 -2632 -2552 -2280 -2636 -2576 2436 -2280 2576 -2600 -2280 -2600 -2380 -2480 2324 -2384 2320 -2412 2532 -2360 -2544 -2364 -2280 -2552 2372 -2472 -2392 2524 2600 -2548 2332 2640 2464 2600 -2284 -2280 -2280 -2280 -2320 2280 2408 2320 2304 -2440 2292 2600 2320 -2320 -2428 -2576 -2600 -2624 -2280 -2472 2588 2284 2448 2492 2332 2640 -2584 -2320 2352 2540 2580 -2280 -2600 -2420 -2632 -2392 -2516 -2456 -2560 -2284 2348 -2416 -2376 -2380 -2448 2352 2356 2596 -2280 -2372 -2600 2636 2280 -2296 2420 2556 -2320 2440 2308 2320 2360 -2320 2600 -2384 2292 -2544 2320 -2560 2640 2544 -2540 2496 2360 -2492 2600 -2548 2348 2356 -2504 -2584 -2344 2576 -2320 2444 2476 -2280 2284 2320 2324 2324 -2448 -2632 2532 -2640 -2636 2596 2400 2604 2528 -2388 -2444 2552 2320 2508 2500 2340 2568 2488 2512 -2420 -2572 2528 -2280 2324 -2640 2364 -2600 -2284 2620 -2640 2640 -2592 2556 -2320 2600 -2280 2400 -2320 -2280 2420 2568 -2280 2480 -2488 2300 2352 -2612 -2296 2516 -2624 -2340 -2364 -2600 -2372 -2320 -2356 -2320 2592 2324 -2344 -2324 -2320 2516 -2600 2504 2572 -2280 -2320 2336 2332 -2320 -2508 -2360 2500 -2320 2592 2540 2384 2280 2636 2500 2328 2476 -2320 2364 -2600 2356 2480 2584 -2388 -2600 2560 -2640 2548 2596 2384 -2456 -2536 -2600 -2280 2580 2572 2560 2408 -2336 2340 2428 2324 2296 -2280 -2304 -2380 2640 -2384 -2392 2320 -2604 -2392 -2332 -2280 2640 -2564 2460 -2388 -2364 -2320 -2444 -2440 -2368 2448 -2568 2528 2572 -2640 2288 2440 2292 2352 2580 -2368 -2376 2352 -2496 2440 2380 -2484 2444 2460 2320 2388 2640 2452 2416 -2600 -2280 -2580 -2524 -2600 2524 -2468 -2448 2408 -2544 2500 -2600 -2572 -2616 2600 -2364 2528 2368 -2460 -2640 -2384 2312 -2420 -2600 -2612 -2332 2580 -2600 -2640 -2572 -2572 -2336 -2624 2464 -2600 -2284 -2636 -2280 -2364 -2376 2588 2408 2352 -2428 2284 -2280 -2280 2380 -2488 -2640 2400 2512 2588 2388 -2500 2388 2596 -2552 -2640 -2280 -2344 -2280 2280 2512 -2308 2400 2500 -2624 2416 -2320 2284 2640 2640 -2600 -2388 -2624 -2612 2324 2580 -2388 -2320 2456 2532 2548 -2620 2640 -2580 -2440 2340 2320 2512 -2608 -2460 2500 2604 2360 -2360 2516 -2640 2632 2580 -2328 2524 2320 2324 2440 -2464 -2480 2288 2528 -2280 2600 -2496 -2636 2400 -2600 -2464 -2424 2572 2372 -2288 2320 2452 -2300 2320 -2364 2548 2512 2336 -2392 -2640 2640 2640 2320 -2352 2340 -2600 -2320 -2340 -2320 -2516 -2620 -2640 2432 2596 2516 -2624 2576 -2320 -2316 2280 -2440 -2600 -2624 -2320 2280 2636 2640 2488 2332 -2340 2444 -2640 -2392 -2600 -2320 2424 -2576 -2280 -2352 -2404 -2576 -2372 2548 -2336 2280 -2460 -2320 2280 -2604 -2636 -2280 2280 2460 -2592 -2376 2596 -2392 2412 2428 -2324 -2600 -2640 -2280 -2640 2488 -2636 2344 -2492 -2528 -2568 2600 -2472 2328 2488 2632 2280 2620 2628 2384 -2424 2320 -2280 -2544 -2320 2536 2600 2420 2376 2280 -2532 2520 -2384 2588 2320 2572 -2636 2336 -2320 -2468 -2320 -2596 -2592 2280 2548 -2292 -2640 2480 -2320 -2476 2300 -2320 -2300 2596 2476 2636 -2352 2332 -2476 2344 2472 -2600 2428 -2460 -2532 2540 -2320 -2600 2284 2536 -2376 2600 2604 -2576 -2408 2404 2320 2588 2496 -2576 2336 2436 2584 2564 -2280 -2600 -2472 -2340 -2300 -2280 2444 -2320 -2620 -2320 2624 2584 -2472 -2504 2288 -2624 -2320 -2400 2548 2600 -2532 2368 2312 2364 -2280 -2348 2416 2320 2344 -2448 -2388 -2280 2604 -2320 2328 -2292 2452 -2284 -2420 -2452 2532 -2320 2596 2280 2280 2476 2356 2416 -2320 -2524 -2320 2584 -2640 2280 -2440 -2428 -2640 -2592 2472 -2420 2328 2312 -2332 -2320 2404 -2600 2320 -2596 -2436 -2484 2544 -2636 2640 2592 2392 -2592 -2280 2596 2588 -2472 -2292 -2600 -2584 2592 -2600 -2352 -2616 2392 -2600 2492 -2488 -2640 -2600 -2636 -2640 -2376 2484 -2320 -2280 -2468 -2600 -2336 -2600 -2600 -2320 2580 -2320 2400 -2424 -2556 -2636 2544 2444 2640 -2524 -2336 -2640 2356 2524 -2640 2600 2448 2492 -2600 -2300 -2592 -2544 -2344 -2348 -2576 -2288 2640 -2408 -2640 -2600 -2608 2392 2336 2484 -2320 -2600 -2600 2596 -2352 2640 -2544 2360 -2492 -2640 -2540 -2564 -2536 2296 -2388 -2600 -2448 -2488 -2360 2416 2400 2380 -2528 -2600 -2288 -2600 -2336 -2640 2348 -2632 -2640 -2636 -2600 -2552 -2344 2484 2352 2280 2500 -2320 2636 2492 2432 -2312 2456 -2596 -2348 2320 2380 2640 2572 2408 2524 -2280 2280 2548 -2332 2396 -2620 2380 -2296 -2592 2372 -2540 -2288 -2340 2580 2588 -2544 2604 -2568 2528 -2428 2584 2324 -2352 -2616 -2332 -2640 2404 -2496 -2640 2564 2496 2540 -2612 2512 2280 2520 2292 -2600 -2428 2320 -2352 2596 -2380 2344 2424 -2448 2564 -2280 2516 -2500 -2572 2280 2388 -2344 2640 -2600 2280 -2640 2616 -2624 2336 2572 -2600 2616 -2280 2640 2592 -2280 -2368 -2640 2280 2424 2280 -2300 -2320 -2596 -2320 -2284 2320 2588 2296 -2600 2640 2296 -2632 -2408 2336 -2280 2280 2304 -2348 2388 2280 -2384 -2280 2320 2400 -2556 2492 2548 -2604 2368 -2596 -2280 2640 -2560 -2600 -2640 -2600 -2280 -2356 -2424 -2280 -2400 2512 2640 -2400 2600 -2600 -2448 2552 -2412 2588 2472 -2516 -2640 2620 2568 -2600 -2320 2476 -2500 -2612 -2516 -2292 2596 2288 -2640 2600 -2640 -2640 -2320 -2348 -2348 -2600 -2632 -2368 -2448 2320 -2312 2504 2640 2564 2404 -2576 -2320 2324 2304 -2388 -2552 2600 2472 2424 2304 2584 -2636 2372 -2640 -2620 -2280 -2592 -2512 2292 -2640 -2640 -2640 2500 2540 -2564 2488 -2372 -2280 -2564 2360 -2600 2348 -2304 2312 2456 2524 -2596 2456 -2432 2324 -2280 2604 2320 -2280 -2612 2416 2320 2420 -2280 2468 2600 -2444 -2576 -2280 -2532 -2380 2280 2320 -2408 -2332 2352 2552 -2380 -2296 -2400 -2396 -2600 -2352 -2432 -2456 2564 -2340 2464 -2532 -2280 -2552 -2376 -2288 -2400 2508 -2640 2640 2492 2312 -2340 2540 -2600 -2600 -2324 -2500 2584 2536 -2532 2364 -2600 -2320 -2324 -2280 2536 2568 -2324 2332 2404 -2600 -2432 -2280 2536 2600 2404 -2528 -2600 -2624 -2564 2520 2576 -2628 2524 -2280 -2320 -2568 2344 -2600 2320 -2448 -2392 2408 2324 2428 2296 2320 2344 -2492 -2536 2636 -2572 -2488 -2640 -2552 2532 2620 2592 2396 2336 2452 2384 -2640 -2600 -2600 2524 -2280 2360 2544 2280 2572 2600 2624 2596 2460 -2600 -2292 2376 -2600 2444 2356 2380 2628 -2564 2640 2640 -2632 -2564 2628 2324 2452 2404 -2324 2600 -2332 2532 -2600 -2328 2416 -2608 -2600 2388 -2592 -2600 2352 2600 -2280 -2408 2436 2604 -2592 2452 2640 -2620 -2320 -2280 -2348 2508 2412 -2384 2480 -2320 -2640 2384 2432 2592 2280 2320 -2296 -2596 -2564 -2600 -2404 -2344 2316 -2428 2620 2508 -2284 2316 -2280 -2568 2640 2504 -2312 2612 2636 -2336 2640 -2324 2516 -2528 2560 2520 -2560 -2460 2572 2280 2284 2308 -2588 2552 -2600 -2640 2280 -2332 2468 2440 2456 2640 -2288 2380 -2284 -2640 -2440 -2572 -2376 2336 -2600 -2320 -2288 -2472 -2504 -2320 2616 2280 2568 2352 2616 -2416 -2576 2344 2572 2312 2396 -2336 -2376 2564 2556 2572 -2640 -2316 2636 2336 -2348 -2500 -2572 -2320 -2320 -2640 2540 2280 -2328 -2544 2328 -2356 -2640 -2640 -2328 2324 -2284 2584 -2516 2636 -2284 -2624 2280 -2352 -2640 2548 -2420 -2640 2576 -2352 2596 -2440 -2280 2440 2476 2600 -2640 2584 -2600 2320 -2352 -2640 -2612 -2456 2428 -2600 2616 2400 2572 -2280 2544 -2500 2556 2336 2316 2304 2512 -2280 2280 2384 2452 -2640 2564 2504 2560 2424 -2460 -2360 2320 -2600 2636 2472 2440 -2600 -2604 2324 -2328 2384 -2320 2352 2388 -2600 -2296 -2360 2312 2376 -2640 -2640 -2440 -2640 2356 -2512 -2420 -2576 -2400 -2628 -2280 2600 -2568 2596 2280 -2280 2572 -2564 2460 2632 2572 -2432 2460 2524 -2324 -2600 -2320 -2388 2556 -2376 -2640 -2292 2516 -2320 -2436 2300 -2320 2384 -2440 -2528 -2320 2280 2312 -2632 2556 -2640 2292 2296 -2320 2360 -2492 -2508 -2600 2580 -2320 -2320 2592 2364 -2324 2312 -2616 -2316 -2608 -2536 -2640 -2488 2556 -2640 2280 -2416 2504 -2348 -2460 -2640 -2280 -2552 2600 -2280 2564 2600 -2380 -2280 2596 -2320 2304 -2384 -2320 -2364 -2364 -2600 2428 -2280 -2636 2288 -2352 -2480 2288 -2592 2640 -2472 2556 -2340 -2388 -2336 2280 -2388 2416 2624 2280 -2600 -2600 -2604 2600 -2524 2640 2492 -2280 2632 -2280 -2600 -2280 -2336 -2592 -2480 -2480 -2600 2360 2428 -2332 -2468 2560 -2640 -2320 -2388 -2424 2564 -2420 2536 2472 -2592 -2364 2564 -2404 -2624 2320 -2356 2292 -2360 2536 -2484 -2560 2576 -2552 2280 2552 -2388 -2532 -2308 -2564 -2412 -2424 -2324 -2372 2416 2624 -2320 -2280 -2332 2600 -2400 2280 2496 2624 2412 -2320 -2296 2424 -2460 2320 -2292 -2320 2600 -2432 -2284 -2592 -2404 -2600 2300 2288 2600 2424 2628 2448 -2320 -2320 -2624 -2320 2296 -2284 2320 -2540 2300 -2600 -2280 -2640 2328 2408 2576 -2336 2600 -2504 2280 -2552 -2600 -2484 -2472 2388 -2324 2432 -2480 2512 -2384 2296 -2288 -2432 2316 2564 -2552 2624 2400 2356 -2324 -2380 -2408 -2300 -2352 -2464 -2352 -2348 2564 -2460 2564 -2612 -2324 2636 2600 2552 -2480 2600 2320 2512 -2596 -2588 -2576 -2320 -2472 2588 -2572 -2372 -2368 2328 2564 -2612 -2640 2476 2612 2320 -2532 -2640 -2636 2400 -2600 2320 -2336 -2476 -2348 2600 2328 2596 2568 2360 -2320 -2608 2388 -2524 -2344 2384 2332 -2512 2600 -2280 2344 -2640 -2280 -2608 2572 -2600 2404 2636 2596 -2380 2424 -2628 -2428 -2320 2280 2456 -2640 -2352 2572 2336 -2456 2596 2336 2452 2280 -2332 -2328 -2384 -2352 -2368 -2548 -2320 -2584 2280 2576 2340 2360 -2356 2576 -2320 -2348 -2600 2560 -2336 -2600 2532 -2584 2520 -2600 -2320 -2412 2408 2352 -2332 -2632 2612 2468 2568 -2628 -2592 -2280 -2500 2280 2640 -2616 2500 2520 -2640 -2612 -2324 2312 -2596 -2640 -2576 -2384 -2280 2280 2508 -2280 2416 2584 2400 2640 2320 -2476 2536 -2640 2620 2280 2628 -2572 2624 2532 2640 -2640 2380 2408 2476 -2404 -2312 -2464 -2460 2376 2540 2456 -2600 -2380 2328 -2436 -2320 -2396 2472 -2284 2308 2392 -2296 2328 -2600 2508 -2600 -2280 -2572 2592 2320 -2568 -2476 2360 -2320 2588 2580 2584 -2324 2440 -2464 -2320 -2600 -2540 2588 -2320 2288 2600 -2440 -2632 -2404 2640 -2348 2384 2308 2296 -2280 2600 2600 2600 -2428 -2632 -2300 -2368 2304 2560 2280 -2320 -2360 2416 2476 -2320 -2324 -2324 2452 -2356 -2320 -2640 2572 2300 -2496 2604 -2320 -2572 2484 2332 2616 -2600 -2340 2588 -2280 2360 2284 -2488 -2640 2332 -2388 2484 -2512 -2280 2320 -2368 -2372 -2336 2292 -2636 -2332 -2280 -2444 -2636 2508 -2280 -2324 2560 -2320 2308 2632 -2320 2324 -2544 -2568 2324 -2416 2524 2548 2536 2280 -2440 -2372 -2548 2280 -2328 -2324 2340 2640 -2428 -2624 2484 -2592 -2320 2592 -2424 2384 2312 2412 -2320 2332 -2544 -2640 -2640 -2280 2500 -2524 -2640 -2432 -2608 -2600 -2540 -2312 -2640 2384 2580 2356 2460 -2288 -2412 2456 2320 2468 -2280 -2640 -2320 2592 -2524 -2456 -2560 2360 -2292 2372 -2396 -2308 -2320 -2560 2356 2596 -2632 2600 -2280 -2600 -2588 -2324 -2640 -2536 2616 2444 -2612 -2304 2428 -2336 -2320 -2320 2640 2620 2612 2320 -2280 -2588 -2432 -2280 -2616 2416 -2412 2320 -2628 -2280 -2496 -2448 2516 2564 2592 -2460 2480 -2340 -2428 -2280 2472 2484 -2640 -2532 2584 2596 -2280 -2280 -2400 -2288 -2572 -2468 2416 -2524 -2552 2420 -2320 2324 2600 2368 -2384 2280 2280 2640 -2608 2360 2368 -2600 -2580 -2356 -2592 2360 -2488 2320 -2600 -2432 2628 2388 2640 -2324 2404 2320 2280 -2412 2504 2496 -2600 2640 -2320 2624 -2280 2540 -2436 -2600 -2356 -2400 -2420 -2280 -2640 -2304 -2324 2580 2596 2512 2600 2488 2500 -2600 -2320 -2556 -2584 2384 2524 2564 -2584 -2496 2492 2600 -2600 -2280 -2368 -2640 -2344 2448 2588 2612 -2404 -2380 -2388 -2492 2392 -2328 2640 2564 2624 2352 -2280 -2372 2340 -2280 -2336 -2384 2540 2616 -2640 2340 2488 -2600 -2352 2280 2324 2292 -2636 2508 2512 2600 2552 2532 -2320 2640 -2568 -2520 -2320 2284 2388 2312 2416 2280 -2348 -2320 -2568 -2320 -2284 2388 -2452 2348 -2500 -2596 2280 2572 2344 2640 2364 2284 -2280 -2448 2636 2600 2600 -2600 -2280 -2640 -2292 2640 2324 -2324 2596 2280 -2336 2372 2512 -2544 -2336 2536 -2428 -2600 2320 -2348 -2340 2596 -2320 2312 2332 -2320 -2280 2296 -2320 -2612 2320 2284 -2524 -2348 -2360 -2280 2552 -2584 2428 -2508 -2344 -2280 -2640 2580 -2328 2640 -2600 2324 2584 2492 -2348 -2500 -2344 -2320 -2280 2640 -2500 2320 -2288 2468 -2412 -2320 -2280 -2524 2544 2408 -2564 -2572 2288 2640 2520 -2320 -2444 -2396 -2608 -2600 2536 2384 2472 2280 -2624 2376 -2624 -2332 -2600 2280 -2348 -2456 -2280 -2296 -2536 -2460 2328 -2584 -2536 -2492 2280 2396 -2572 -2640 2296 2420 -2328 2280 -2604 2280 -2360 2460 2528 -2284 2580 2640 -2300 2424 2584 2388 -2636 -2340 -2612 -2620 -2572 -2320 -2320 -2332 -2312 -2388 -2316 -2320 2564 2340 -2576 2600 -2640 2288 -2320 2344 2600 -2584 2356 -2296 2348 2280 -2528 2476 -2640 -2612 -2600 2280 2620 2536 2312 -2612 -2544 -2388 2580 2480 2384 -2488 -2284 -2364 -2444 -2616 -2576 -2588 2624 -2500 -2600 -2640 -2280 2344 2320 -2600 2512 -2468 2328 2460 -2456 -2640 2640 2280 2280 -2632 2540 2556 -2568 -2600 -2556 2584 -2492 2600 2292 2584 2480 2540 -2600 -2476 -2344 -2572 -2600 -2280 2544 -2384 2388 2624 -2400 2380 2324 -2368 2400 2576 2320 2532 -2436 -2376 -2280 2292 -2528 -2336 2512 -2492 2556 -2620 2320 -2508 -2640 2280 -2364 -2404 2544 2496 -2292 2564 2560 2500 -2284 -2320 2564 2332 -2472 -2280 -2380 -2336 2456 2640 -2640 2284 2584 2452 2532 2420 -2432 -2576 -2324 2292 -2504 2372 2480 -2552 -2572 2564 -2320 -2384 -2320 -2424 -2348 -2320 -2500 2500 -2540 2400 2536 2400 -2320 -2320 2640 2544 -2452 2596 2584 -2320 -2320 2636 2284 -2312 2528 -2436 2380 -2496 -2600 -2348 2320 2324 2348 -2604 2304 2320 2576 -2384 -2348 2528 -2280 -2324 -2320 -2504 -2316 2640 -2640 2584 2336 2636 2320 -2280 -2328 -2504 2532 -2280 -2600 2320 -2336 -2320 -2584 2600 -2320 -2600 -2288 2596 -2392 -2424 2368 2388 -2580 -2416 2440 2292 2408 -2320 -2440 -2340 -2476 -2600 2320 -2504 2496 2604 -2480 2540 2364 2500 -2328 -2576 -2320 2280 -2320 2436 2376 -2320 -2320 2612 -2380 -2280 -2340 -2404 2576 -2332 2280 2352 -2600 2556 -2388 2320 2280 -2368 -2320 -2280 -2524 -2324 2476 -2364 2316 2332 -2552 2540 2596 2320 2640 2284 -2572 2280 2612 2400 -2512 -2356 -2640 2340 -2468 2612 -2576 -2416 2640 2348 -2320 2488 2284 -2428 -2320 2632 -2340 -2472 -2600 -2320 2560 2584 2632 2568 2280 -2456 -2284 -2316 2584 -2432 2308 -2332 -2300 -2416 2536 2352 -2516 2400 2280 -2584 2588 -2552 -2320 2416 2284 -2440 -2336 2504 2388 -2408 2420 -2436 2596 -2600 -2496 -2376 2280 -2552 2368 -2628 2600 -2376 -2472 -2328 2596 2356 -2312 2468 2336 -2328 -2592 2364 -2320 2320 -2284 2288 -2588 2580 -2600 -2280 -2320 -2332 2640 2452 2332 2280 2616 2424 -2528 2600 -2336 2420 2380 -2376 2392 2340 2300 -2512 -2412 2632 -2640 2580 -2284 -2584 2624 2508 -2308 2508 -2592 2580 -2280 -2332 2536 -2640 -2532 -2320 
160.96	d NODES 3001
160.96	d CHECKS 62064830
160.96	   
160.96	   totalWckTime=160.713  totalCpuTime=158.14

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/node3/watcher-201143-1168145607 -o ROOT/results/node3/solver-201143-1168145607 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201143-1168145607/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.96 2.04 2.01 4/86 20967
/proc/meminfo: memFree=1772496/2055920 swapFree=4192812/4192956
[pid=20966] ppid=20964 vsize=18540 CPUtime=0
/proc/20966/stat : 20966 (runsolver) R 20964 20966 19069 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 162956358 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20966/statm: 4635 279 244 17 0 2626 0

[startup+0.104171 s]
/proc/loadavg: 1.96 2.04 2.01 4/86 20967
/proc/meminfo: memFree=1772496/2055920 swapFree=4192812/4192956
[pid=20966] ppid=20964 vsize=913068 CPUtime=0.08
/proc/20966/stat : 20966 (java) S 20964 20966 19069 0 -1 0 2845 0 1 0 7 1 0 0 17 0 8 0 162956358 934981632 2591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20966/statm: 228267 2591 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.512237 s]
/proc/loadavg: 1.96 2.04 2.01 4/86 20967
/proc/meminfo: memFree=1772496/2055920 swapFree=4192812/4192956
[pid=20966] ppid=20964 vsize=915328 CPUtime=0.47
/proc/20966/stat : 20966 (java) R 20964 20966 19069 0 -1 0 6575 0 1 0 42 5 0 0 18 0 8 0 162956358 937295872 6314 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20966/statm: 228832 6314 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33537 s]
/proc/loadavg: 1.96 2.04 2.01 3/93 20974
/proc/meminfo: memFree=1698456/2055920 swapFree=4192812/4192956
[pid=20966] ppid=20964 vsize=915648 CPUtime=1.28
/proc/20966/stat : 20966 (java) R 20964 20966 19069 0 -1 0 22782 0 1 0 115 13 0 0 24 0 8 0 162956358 937623552 22519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20966/statm: 228912 22519 2160 14 0 215382 0
[pid=20966/tid=20968] ppid=20964 vsize=915648 CPUtime=0.1
/proc/20966/task/20968/stat : 20968 (java) R 20964 20966 19069 0 -1 64 6238 0 0 0 8 2 0 0 16 0 8 0 162956362 937623552 22519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20969] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20969/stat : 20969 (java) S 20964 20966 19069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 22519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20970] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20970/stat : 20970 (java) S 20964 20966 19069 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 22519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20971] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20971/stat : 20971 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162956366 937623552 22519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20972] ppid=20964 vsize=915648 CPUtime=0.15
/proc/20966/task/20972/stat : 20972 (java) S 20964 20966 19069 0 -1 64 409 0 0 0 15 0 0 0 15 0 8 0 162956366 937623552 22519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20973] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20973/stat : 20973 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162956366 937623552 22519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20974] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20974/stat : 20974 (java) S 20964 20966 19069 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162956366 937623552 22519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915648

[startup+2.97863 s]
/proc/loadavg: 1.96 2.04 2.01 3/93 20974
/proc/meminfo: memFree=1685592/2055920 swapFree=4192812/4192956
[pid=20966] ppid=20964 vsize=915648 CPUtime=2.91
/proc/20966/stat : 20966 (java) R 20964 20966 19069 0 -1 0 24029 0 1 0 277 14 0 0 25 0 8 0 162956358 937623552 23763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20966/statm: 228912 23763 2180 14 0 215382 0
[pid=20966/tid=20968] ppid=20964 vsize=915648 CPUtime=0.17
/proc/20966/task/20968/stat : 20968 (java) S 20964 20966 19069 0 -1 64 7406 0 0 0 15 2 0 0 17 0 8 0 162956362 937623552 23763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20969] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20969/stat : 20969 (java) S 20964 20966 19069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 23763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20970] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20970/stat : 20970 (java) S 20964 20966 19069 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 23763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20971] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20971/stat : 20971 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162956366 937623552 23763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20972] ppid=20964 vsize=915648 CPUtime=0.19
/proc/20966/task/20972/stat : 20972 (java) S 20964 20966 19069 0 -1 64 424 0 0 0 18 1 0 0 15 0 8 0 162956366 937623552 23763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20973] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20973/stat : 20973 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162956366 937623552 23763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20974] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20974/stat : 20974 (java) S 20964 20966 19069 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162956366 937623552 23763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915648

[startup+6.26917 s]
/proc/loadavg: 1.96 2.04 2.01 4/93 20974
/proc/meminfo: memFree=1685272/2055920 swapFree=4192812/4192956
[pid=20966] ppid=20964 vsize=915648 CPUtime=6.17
/proc/20966/stat : 20966 (java) R 20964 20966 19069 0 -1 0 24046 0 1 0 602 15 0 0 25 0 8 0 162956358 937623552 23779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20966/statm: 228912 23779 2181 14 0 215382 0
[pid=20966/tid=20968] ppid=20964 vsize=915648 CPUtime=0.17
/proc/20966/task/20968/stat : 20968 (java) S 20964 20966 19069 0 -1 64 7406 0 0 0 15 2 0 0 17 0 8 0 162956362 937623552 23779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20969] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20969/stat : 20969 (java) S 20964 20966 19069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 23779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20970] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20970/stat : 20970 (java) S 20964 20966 19069 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 23779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20971] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20971/stat : 20971 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162956366 937623552 23779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20972] ppid=20964 vsize=915648 CPUtime=0.21
/proc/20966/task/20972/stat : 20972 (java) S 20964 20966 19069 0 -1 64 439 0 0 0 20 1 0 0 16 0 8 0 162956366 937623552 23779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20973] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20973/stat : 20973 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162956366 937623552 23779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20974] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20974/stat : 20974 (java) S 20964 20966 19069 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162956366 937623552 23779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915648

[startup+12.7532 s]
/proc/loadavg: 1.96 2.04 2.01 3/93 20974
/proc/meminfo: memFree=1679704/2055920 swapFree=4192812/4192956
[pid=20966] ppid=20964 vsize=915648 CPUtime=12.61
/proc/20966/stat : 20966 (java) R 20964 20966 19069 0 -1 0 25493 0 1 0 1244 17 0 0 25 0 8 0 162956358 937623552 25223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20966/statm: 228912 25223 2181 14 0 215382 0
[pid=20966/tid=20968] ppid=20964 vsize=915648 CPUtime=0.26
/proc/20966/task/20968/stat : 20968 (java) S 20964 20966 19069 0 -1 64 8843 0 0 0 24 2 0 0 16 0 8 0 162956362 937623552 25223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20969] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20969/stat : 20969 (java) S 20964 20966 19069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 25223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20970] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20970/stat : 20970 (java) S 20964 20966 19069 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 25223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20971] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20971/stat : 20971 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162956366 937623552 25223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20972] ppid=20964 vsize=915648 CPUtime=0.22
/proc/20966/task/20972/stat : 20972 (java) S 20964 20966 19069 0 -1 64 446 0 0 0 21 1 0 0 16 0 8 0 162956366 937623552 25223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20973] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20973/stat : 20973 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162956366 937623552 25223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20974] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20974/stat : 20974 (java) S 20964 20966 19069 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162956366 937623552 25223 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.6043 s]
/proc/loadavg: 1.97 2.03 2.01 3/93 20974
/proc/meminfo: memFree=1679832/2055920 swapFree=4192812/4192956
[pid=20966] ppid=20964 vsize=915648 CPUtime=25.41
/proc/20966/stat : 20966 (java) R 20964 20966 19069 0 -1 0 25501 0 1 0 2518 23 0 0 25 0 8 0 162956358 937623552 25229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20966/statm: 228912 25229 2181 14 0 215382 0
[pid=20966/tid=20968] ppid=20964 vsize=915648 CPUtime=0.26
/proc/20966/task/20968/stat : 20968 (java) S 20964 20966 19069 0 -1 64 8843 0 0 0 24 2 0 0 17 0 8 0 162956362 937623552 25229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20969] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20969/stat : 20969 (java) S 20964 20966 19069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 25229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20970] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20970/stat : 20970 (java) S 20964 20966 19069 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 25229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20971] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20971/stat : 20971 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162956366 937623552 25229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20972] ppid=20964 vsize=915648 CPUtime=0.23
/proc/20966/task/20972/stat : 20972 (java) S 20964 20966 19069 0 -1 64 452 0 0 0 22 1 0 0 16 0 8 0 162956366 937623552 25229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20973] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20973/stat : 20973 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162956366 937623552 25229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20974] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20974/stat : 20974 (java) S 20964 20966 19069 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162956366 937623552 25229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915648

[startup+51.2235 s]
/proc/loadavg: 1.98 2.03 2.00 3/93 20974
/proc/meminfo: memFree=1663512/2055920 swapFree=4192812/4192956
[pid=20966] ppid=20964 vsize=915648 CPUtime=50.9
/proc/20966/stat : 20966 (java) R 20964 20966 19069 0 -1 0 29584 0 1 0 5053 37 0 0 25 0 8 0 162956358 937623552 29310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20966/statm: 228912 29310 2181 14 0 215382 0
[pid=20966/tid=20968] ppid=20964 vsize=915648 CPUtime=0.5
/proc/20966/task/20968/stat : 20968 (java) S 20964 20966 19069 0 -1 64 12922 0 0 0 46 4 0 0 16 0 8 0 162956362 937623552 29310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20969] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20969/stat : 20969 (java) S 20964 20966 19069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 29310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20970] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20970/stat : 20970 (java) S 20964 20966 19069 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 29310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20971] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20971/stat : 20971 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162956366 937623552 29310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20972] ppid=20964 vsize=915648 CPUtime=0.24
/proc/20966/task/20972/stat : 20972 (java) S 20964 20966 19069 0 -1 64 454 0 0 0 23 1 0 0 16 0 8 0 162956366 937623552 29310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20973] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20973/stat : 20973 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162956366 937623552 29310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20974] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20974/stat : 20974 (java) S 20964 20966 19069 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162956366 937623552 29310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915648

[startup+102.455 s]
/proc/loadavg: 1.99 2.02 2.00 3/93 20974
/proc/meminfo: memFree=1646808/2055920 swapFree=4192812/4192956
[pid=20966] ppid=20964 vsize=915648 CPUtime=101.88
/proc/20966/stat : 20966 (java) R 20964 20966 19069 0 -1 0 33748 0 1 0 10119 69 0 0 25 0 8 0 162956358 937623552 33471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20966/statm: 228912 33471 2182 14 0 215382 0
[pid=20966/tid=20968] ppid=20964 vsize=915648 CPUtime=0.73
/proc/20966/task/20968/stat : 20968 (java) S 20964 20966 19069 0 -1 64 17083 0 0 0 67 6 0 0 16 0 8 0 162956362 937623552 33471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20969] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20969/stat : 20969 (java) S 20964 20966 19069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 33471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20970] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20970/stat : 20970 (java) S 20964 20966 19069 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162956363 937623552 33471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20971] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20971/stat : 20971 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162956366 937623552 33471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20972] ppid=20964 vsize=915648 CPUtime=0.24
/proc/20966/task/20972/stat : 20972 (java) S 20964 20966 19069 0 -1 64 454 0 0 0 23 1 0 0 16 0 8 0 162956366 937623552 33471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20973] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20973/stat : 20973 (java) S 20964 20966 19069 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162956366 937623552 33471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20966/tid=20974] ppid=20964 vsize=915648 CPUtime=0
/proc/20966/task/20974/stat : 20974 (java) S 20964 20966 19069 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162956366 937623552 33471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 161.146
CPU time (s): 160.255
CPU user time (s): 159.152
CPU system time (s): 1.10283
CPU usage (%): 99.4471
Max. virtual memory (cumulated for all children) (KiB): 915916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.152
system time used= 1.10283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55635
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= 5193
involuntary context switches= 10021

runsolver used 0.218966 s user time and 0.501923 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Sun Jan  7 04:53:27 UTC 2007


IDJOB= 201143
IDBENCH= 3746
FILE ID= node3/201143-1168145607

PBS_JOBID= 3477832

Free space on /tmp= 66541 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9430cfe064b05903764bbb9dbe5b06c6

RANDOM SEED= 263316536

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.279
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.279
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:       1772912 kB
Buffers:         10376 kB
Cached:          91080 kB
SwapCached:          0 kB
Active:         179764 kB
Inactive:        42216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1772912 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6304 kB
Writeback:           0 kB
Mapped:         142920 kB
Slab:            45916 kB
Committed_AS:  4252612 kB
PageTables:       2296 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= 66541 MiB



End job on node3 on Sun Jan  7 04:56:09 UTC 2007