Trace number 200971

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 194.096 195.066

DiagnosticValue
CHECKS101917738
NODES3005

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-9.xml
MD5SUMc3a713f4f6011a69f875f3666a2ad293
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 benchmark21.9067
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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=esac.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/200971-1168144573/unknown.xml
0.43	   
0.43	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.74	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182
0.74	       =>  wckTime=0.38  cpuTime=0.29  mem=27M376
0.74	   
0.74	   predicates being loaded...
0.75	   
0.75	   constraints being loaded...
153.40	     nbConstraints=17754  nbMergedConstraints=15267  nbConvertedConstraints=17754  nbConvertConstraintsChecks=238750826
153.40	     nbExtensionStructures=8908  nbSharedExtensionStructures=8846  nbConflictsStructures=8908
153.40	     nbSharedConflictsStructures=8846  nbSharedBinaryRepresentations=2699423  maxDegree=15  maxArity=2
153.40	       =>  wckTime=153.04  cpuTime=150.91  mem=95M240
153.85	   
153.85	   solver IterativeSystematicSolver being built... 
154.19	       =>  wckTime=153.831  cpuTime=151.18  mem=119M715
187.11	   
187.11	   preprocessing
187.11	     nbConstraintChecks=87952273  nbPropagations=187072  nbRevisions=645084  nbUselessRevisions=449931
187.11	     nbSingletonTests=3968  nbEffectiveSingletonTests=35  nbESACBranches=15  nbRemovedValues=66567
187.11	     detectedInconsistency=no
187.11	       =>  wckTime=32.894  cpuTime=32.69  mem=119M715
195.01	   
195.01	   search
195.01	     run=0  nbConstraintChecks=13965465  nbPropagations=225317  nbRevisions=776351  nbUselessRevisions=544203
195.01	     nbAssignments=3005  nbFailedAssignments=5  nbBacktracks=0  nbVisitedNodes=3011  nbRestartNogoods=0  mapSize=0
195.01	     nbInferences=0  nbTooLargeKeys=838
195.01	       =>  wckTime=40.804  cpuTime=40.48  mem=152M299
195.02	   
195.02	   global
195.02	     nbConstraintChecks=101917738  nbPropagations=412389  nbRevisions=1421435  nbUselessRevisions=994134
195.02	     nbRestartNogoods=0  solvingWckTime=40.805  solvingCpuTime=40.48  expiredTime=no  totalExploration=no
195.02	     nbFoundSolutions=1  globalCpuTime=191.73
195.02	       =>  wckTime=194.657  cpuTime=191.68  mem=152M299
195.02	   
195.02	s SATISFIABLE
195.02	v 2532 2468 2468 2392 -2572 -2496 2280 2604 -2356 -2544 -2508 2620 2640 2524 -2600 2424 -2552 -2388 -2392 2280 2512 2348 2316 -2640 -2392 2452 -2612 -2280 -2528 2640 -2296 -2320 2540 -2320 -2520 -2424 2416 -2396 -2320 -2280 -2564 2600 -2480 2524 2280 -2320 -2624 -2444 -2600 2600 2388 -2280 2280 -2280 -2352 2280 -2348 -2356 -2608 -2472 2332 -2604 -2472 -2440 2412 -2620 -2420 2584 2496 2544 -2320 -2280 2564 2332 2432 -2592 -2280 -2284 2600 -2288 -2488 -2320 -2360 -2320 -2416 2600 -2320 2640 -2320 -2300 2324 2320 -2304 -2280 2284 -2600 -2640 -2380 2632 -2296 2324 -2508 -2344 2444 2336 2320 -2600 2592 -2624 2548 -2536 -2280 -2320 -2312 -2320 2388 -2420 2596 -2556 -2452 2408 -2332 2612 -2592 2640 -2640 2600 -2360 2344 2440 2320 -2504 -2388 2608 2412 -2428 -2436 -2640 2500 2344 -2472 2380 -2600 -2296 2612 -2640 -2320 2340 2460 -2348 2296 -2332 -2356 -2308 -2448 2600 -2504 2320 -2640 2356 2320 -2408 -2600 -2484 2280 2488 -2280 -2292 2596 2400 -2568 -2280 2440 2580 2368 2612 2404 2632 2520 2604 -2484 2608 -2640 2328 -2384 2376 -2604 -2336 2280 2316 2592 -2588 2348 2400 -2320 2468 -2600 -2544 2400 2496 2532 -2320 -2388 -2512 2640 -2600 2452 -2384 -2440 -2280 -2600 -2360 2328 -2368 -2312 -2316 2324 2532 2640 2548 -2552 2540 2596 2284 2384 -2320 -2368 -2568 -2600 2520 -2312 2332 -2320 -2600 2348 -2380 2548 2640 2640 -2572 -2296 -2596 -2480 -2320 2576 2280 2480 2340 -2348 -2640 2600 2296 -2640 -2332 2280 2600 2360 2368 2380 2628 2320 -2372 2432 -2640 2556 -2280 2596 2552 2508 -2640 2476 2376 2472 -2464 2320 2372 -2492 2280 2600 -2464 -2620 2300 2460 2476 -2280 2344 2436 -2280 -2584 -2320 2640 2592 -2296 2428 -2292 -2280 -2628 2484 -2320 2392 -2292 2516 -2440 2508 -2632 2280 -2284 -2480 -2320 2600 -2640 -2424 -2640 2360 -2612 2292 2468 -2328 2544 2520 2280 -2596 2560 -2584 -2320 2596 -2600 -2600 2492 -2640 -2536 -2640 -2412 2328 -2532 -2448 2416 -2416 -2512 2556 2500 2516 -2280 2280 -2480 2348 -2496 2328 2336 2604 2356 -2556 2400 2400 -2352 -2320 -2516 2280 2508 2528 -2632 2412 -2364 2368 2284 2420 -2288 -2340 -2536 2600 -2332 2308 -2596 2320 -2600 -2320 -2472 2388 -2452 -2468 2320 -2376 -2392 2372 2320 -2344 -2320 -2640 2636 -2640 2320 2348 -2600 -2588 2616 2580 -2280 -2344 -2404 2328 -2556 -2584 2364 -2320 -2444 -2336 2332 -2640 -2632 2280 -2568 2308 -2340 2508 2504 -2444 2416 -2416 -2280 2336 2324 2280 -2320 2640 -2508 -2600 -2544 2548 2404 -2424 2600 2628 2376 -2356 -2288 -2436 -2328 2288 -2280 -2344 -2280 -2336 2480 -2356 2300 -2600 2584 -2492 2584 -2640 -2332 2396 -2588 2600 2328 2484 2396 2456 -2404 2408 -2416 -2556 -2596 2292 -2312 2352 -2576 2328 2444 -2604 2280 2500 -2344 -2500 -2364 -2512 -2556 -2632 2600 -2280 2520 2520 -2320 2312 2324 -2560 -2400 2380 2632 -2280 -2548 2296 -2320 -2328 2564 -2640 2620 2600 2356 2620 2600 2448 -2640 -2280 -2280 -2604 -2640 -2640 2300 2640 2416 -2292 2524 2376 -2328 -2392 2640 2600 2640 -2444 2400 -2468 -2280 2320 2456 2288 -2600 2584 -2280 -2324 -2488 -2536 2640 2484 2420 2600 2524 -2588 -2404 -2280 2388 2640 2592 -2416 2476 -2512 -2492 2300 2444 2576 2576 -2600 2600 2640 2640 -2320 2636 -2424 2444 -2292 2320 -2280 2404 2600 -2376 2324 -2640 2476 -2584 -2600 -2480 2600 2548 2472 -2280 2584 -2640 -2412 2432 -2640 2540 -2280 -2360 -2324 -2552 -2640 -2640 2608 2560 -2612 2576 2380 -2280 2640 2548 -2640 -2640 -2432 2508 2584 -2320 -2452 2552 2552 -2364 2452 2284 2640 2404 -2348 -2460 -2608 -2600 2340 2472 -2288 2368 -2556 2396 2440 -2496 -2420 -2496 2584 -2340 2600 -2324 2368 -2508 2468 -2492 -2300 -2296 2592 -2304 -2324 2280 2504 -2288 2464 -2572 -2356 -2280 -2640 -2316 2320 -2340 2280 2608 2280 -2640 -2348 2356 2280 2544 -2472 -2592 -2640 -2432 2588 -2280 -2320 2540 -2388 2616 -2356 -2592 2376 -2348 -2372 2600 2632 -2280 2600 -2324 2544 2432 -2376 2484 2596 -2428 2324 2560 -2292 -2280 2588 2404 -2640 -2480 2328 -2280 -2348 2572 2636 -2364 -2336 -2336 2280 2632 -2280 -2636 -2436 -2280 2600 2620 -2280 -2560 -2600 -2280 -2616 -2280 -2352 -2628 2400 2304 2632 -2600 2484 2408 -2440 -2448 2632 2600 -2496 -2640 -2280 -2328 -2328 2408 -2416 -2600 2440 2280 2408 -2536 2524 -2600 -2416 2356 -2292 2600 -2280 -2468 2280 -2600 2640 -2576 2576 -2600 -2540 -2532 2600 2352 2544 -2540 -2600 -2280 -2380 -2588 2432 2484 -2472 -2444 -2640 -2280 2456 -2320 2284 2388 -2380 2372 -2548 -2596 2592 -2612 2296 -2600 -2460 -2584 -2300 2628 -2380 -2540 -2300 2364 2356 -2320 -2472 -2640 2316 -2640 -2324 2280 2640 2336 2348 -2640 -2508 -2436 2380 2384 2540 -2600 -2320 -2280 -2360 -2592 -2368 -2320 2484 2580 -2584 2412 -2336 2572 2564 2436 -2528 -2432 2572 -2600 2640 -2640 2304 2336 2564 2448 -2552 2616 -2320 -2500 -2288 -2288 2320 2640 -2600 -2352 2528 2320 2640 2588 -2508 -2280 -2588 -2460 -2448 -2544 -2640 -2336 2456 2496 2328 2600 -2516 -2304 2556 -2532 2564 2464 -2344 -2464 -2280 2612 2472 -2280 2280 -2320 2376 -2340 -2452 2404 2480 -2292 -2320 2392 2564 -2308 2600 2312 -2284 -2640 -2320 -2320 -2412 -2468 -2536 -2596 2420 2572 2640 2456 -2640 -2292 2312 -2324 -2280 -2600 2572 -2320 2320 -2496 2600 2524 -2464 2516 2404 -2368 -2320 2596 -2308 2640 -2320 -2280 -2308 -2452 -2620 2320 2536 -2600 2344 2420 -2516 2296 -2480 2280 -2404 2552 -2640 -2616 -2424 2444 -2464 -2360 -2532 -2520 2460 -2568 2280 -2640 2496 2444 2556 2472 -2640 2632 2600 -2460 -2332 2580 2344 2596 2500 2640 2336 -2320 2444 2280 2332 -2600 2548 -2320 2620 2292 -2352 -2564 2456 -2320 2320 -2320 -2468 2372 2612 -2544 2384 2384 2592 -2588 -2280 2304 -2600 2304 -2592 2540 -2360 -2324 -2420 -2372 2460 2476 -2280 2628 2332 -2288 -2400 2472 2388 -2280 -2420 2544 -2352 -2320 -2600 2316 2540 2312 2640 2588 -2424 -2556 2360 2344 2480 -2408 2320 -2328 2328 -2624 2388 -2280 2400 2592 2332 -2324 2580 2492 2332 2368 -2344 2600 2568 -2560 2432 -2332 -2572 -2340 2428 -2444 2580 -2568 -2292 -2464 -2504 -2288 -2348 -2292 -2344 -2600 2280 2432 2496 -2492 2560 2320 2296 -2508 -2480 2600 -2320 2368 -2332 -2640 -2616 -2608 2388 2288 2280 -2528 2496 -2280 -2612 2280 -2640 2328 2600 -2588 -2304 -2584 -2316 2640 -2320 2428 -2320 -2592 -2600 2320 2320 -2640 -2320 2508 2564 2640 2416 -2376 -2320 -2336 -2456 2496 -2388 -2640 -2564 2620 -2624 2488 -2352 2356 2636 2476 -2352 -2420 2568 2580 2284 -2516 2280 2432 -2320 2372 -2440 -2312 -2576 -2320 -2320 -2324 2528 -2292 2428 -2384 -2552 -2640 2468 2468 2420 2588 -2412 -2640 2564 2584 2640 -2548 -2316 2560 -2600 -2280 -2480 2532 -2320 -2468 -2600 -2340 2448 -2472 -2480 -2600 -2604 2488 2428 -2444 2328 -2320 -2324 -2600 -2316 2300 2372 -2520 -2640 -2564 2552 -2640 -2504 2360 2540 2636 -2520 2592 2396 -2280 -2376 2288 2540 -2556 -2280 2600 -2340 -2424 2580 -2624 2640 2288 -2640 -2280 2364 2492 2428 2584 2312 -2568 -2344 -2600 -2348 -2284 -2320 2404 2400 2320 -2556 2580 -2640 2280 -2348 2292 2352 2520 -2504 2628 2464 -2640 -2332 2536 -2432 2412 -2320 -2304 -2640 2280 -2448 -2640 -2580 2404 -2364 -2624 -2320 2564 -2400 -2512 -2596 2512 -2568 -2420 2504 2520 2320 -2592 2580 -2280 -2600 2468 2600 2492 -2428 -2320 2324 2380 -2320 -2580 -2320 2512 -2280 -2512 2484 -2572 -2520 2512 -2336 2600 2640 2360 -2640 -2608 2600 2556 2456 2552 2612 2320 -2324 2332 -2640 -2320 -2640 -2320 2332 -2584 -2320 -2320 2292 -2320 2592 2392 2404 2360 -2428 2612 2288 2580 -2544 -2464 -2280 2280 2280 2280 -2380 -2280 -2544 -2320 -2512 2628 -2640 -2408 2532 -2600 2284 2432 2516 -2400 -2336 -2572 2500 -2296 -2360 -2352 -2356 -2280 -2288 2412 2328 2416 2600 2580 -2600 -2464 2548 2600 2472 -2496 2600 2308 2500 -2596 -2320 -2640 -2500 2544 2600 -2456 -2572 -2444 -2640 2600 -2640 -2320 2336 -2320 -2344 2336 2632 2376 2548 -2328 -2600 -2524 2516 -2424 2536 2540 -2320 2320 -2280 -2508 2572 2600 -2284 2560 2520 -2472 -2556 2580 2428 -2568 -2296 -2540 2504 -2320 -2320 -2412 -2600 2632 2384 2576 -2404 -2280 -2280 -2388 2488 2640 -2300 -2280 -2328 2320 -2640 2484 2528 2360 2568 2484 2324 2524 -2280 -2532 2336 2320 2516 2592 -2320 2460 -2416 2636 -2284 2516 -2280 2392 2352 2356 2592 2288 2536 2280 -2336 2596 2548 2636 -2412 -2340 -2332 2636 2284 -2640 2568 -2408 2508 -2372 -2312 -2368 -2572 -2516 2544 2468 -2320 -2636 2592 2396 2616 -2336 -2512 -2280 2536 -2424 -2312 -2320 2332 -2284 -2304 2480 -2520 2584 2428 2352 -2328 2372 -2328 -2368 -2552 -2440 -2620 2392 2584 2536 2492 2440 -2520 -2640 -2640 2280 -2632 2280 2600 2320 -2320 -2332 2408 2384 2364 2356 2384 -2296 -2384 -2640 2560 -2492 -2600 -2600 -2440 2428 -2632 2564 2416 2356 2444 -2320 -2508 -2600 -2320 -2472 -2304 -2320 2508 -2280 2548 2624 2608 -2324 2460 2528 2316 -2600 -2640 -2416 2328 2412 2536 -2624 -2640 -2572 -2568 2364 -2504 -2340 -2600 -2544 2336 2584 -2392 2640 -2540 2280 -2640 -2440 -2320 2592 2632 2628 -2344 2600 2280 -2480 2360 2572 -2564 -2428 2640 2620 -2320 -2332 -2320 -2292 -2320 -2308 2456 2292 2328 -2596 2444 -2592 2284 2516 -2320 2412 -2404 2568 2428 -2380 2388 -2428 2428 -2396 -2296 2300 2520 -2640 2600 -2444 -2376 -2560 -2532 2376 2640 -2380 -2552 -2512 -2556 2400 2496 2532 2340 2348 2600 -2600 2396 2620 -2328 2504 2604 -2332 2376 2600 -2396 -2640 -2440 -2280 2384 -2640 -2632 -2600 2628 -2400 -2600 -2580 2320 -2552 2372 2344 2280 2280 -2564 2504 2432 2472 -2640 2320 -2400 2324 2580 -2284 -2432 2612 2556 -2632 2568 2384 2600 -2416 2528 -2344 -2564 -2280 -2480 2640 -2640 2620 -2320 2580 -2340 2348 -2592 -2640 -2520 -2356 2320 2552 -2400 2280 -2296 -2536 2304 2504 2284 2600 2500 -2548 2600 2344 -2384 2528 -2428 2432 -2540 2588 -2640 2544 -2600 2280 2384 -2604 -2528 -2368 2320 -2432 -2400 2392 2476 -2344 -2524 -2636 2600 -2320 -2360 2344 -2400 2280 -2280 2396 2312 -2332 2544 2508 2632 -2348 -2464 -2580 2612 2640 -2600 -2600 2632 -2568 -2616 -2340 -2280 2320 -2640 -2320 2436 -2640 -2468 -2316 -2320 2632 2544 -2596 2640 2392 2540 2580 2600 -2472 -2600 2320 -2612 -2548 2368 -2640 2640 -2320 -2572 2392 2460 -2440 2520 2368 2500 2640 -2336 2280 -2284 2456 -2284 -2572 -2284 -2436 -2624 -2320 2348 2596 2368 -2320 2560 -2400 -2320 2320 2588 2376 2504 -2640 2328 -2632 -2296 2500 2608 -2436 -2536 2528 -2344 -2312 -2596 -2600 2368 -2304 2640 2352 2636 2456 2280 -2508 2320 -2640 2392 2400 -2336 -2280 2396 -2640 -2296 -2308 -2640 -2412 -2600 -2360 2280 2400 -2600 -2320 2316 -2280 2320 -2280 -2468 2600 -2496 2592 -2392 -2320 -2596 2532 2388 -2508 2600 -2504 -2600 -2320 -2388 2304 -2616 -2292 2436 2592 -2376 -2568 2440 2600 2544 2404 -2600 2608 -2300 2468 2380 -2624 -2300 2320 -2436 -2640 -2320 -2616 -2320 2624 2600 -2396 -2492 2340 -2600 2568 2376 2280 2432 2580 -2556 -2296 -2324 -2600 2416 2596 2600 -2392 2284 -2408 2600 -2616 -2584 2576 2392 -2292 2552 -2324 2368 2340 -2556 -2280 2420 -2408 -2372 2412 -2456 2612 -2360 2356 -2380 -2356 -2344 2508 2600 2336 2284 -2316 2564 -2456 2360 2468 2340 2448 -2600 2356 -2640 2512 2600 2328 2408 -2324 -2320 -2404 2540 2280 -2400 -2624 2444 2376 -2328 -2320 -2640 -2572 -2336 -2292 -2640 -2640 -2580 2576 2336 2596 -2548 -2396 2440 -2372 -2428 -2640 2280 2328 -2624 -2440 2544 2384 2360 2628 2420 2472 2556 2328 2584 2620 2344 2504 2528 2320 -2328 -2288 -2560 -2280 2300 -2524 2640 -2348 -2588 -2408 -2640 -2568 2592 -2448 -2532 2564 2572 2524 -2600 -2464 -2320 2428 2552 -2600 2372 -2280 2312 2460 -2640 2548 -2300 -2592 -2600 2620 -2600 -2512 2640 -2600 -2388 -2292 2320 2300 -2604 2320 2492 2472 -2636 2632 2640 2584 2544 -2548 2280 2320 2508 -2612 -2280 2304 2640 -2336 -2340 -2488 2332 2500 2452 -2600 2508 2504 -2640 2280 -2320 -2408 -2572 -2540 -2280 2476 2316 -2504 2640 2348 2520 -2600 2360 2312 2508 -2640 -2316 -2512 2344 2484 -2288 -2340 -2320 -2444 2388 2316 -2332 -2392 -2600 -2600 -2624 2396 2504 -2320 2592 2588 -2280 -2300 2336 -2416 -2284 2584 2396 2500 -2544 2600 -2404 2304 2520 2412 -2636 2600 2536 -2596 -2612 2452 -2292 -2448 2596 2280 2400 2292 -2332 2384 2580 -2616 2352 2340 2356 2296 2636 2324 2404 -2640 2600 2624 2280 -2600 2320 -2640 2296 2332 -2516 -2624 2612 -2320 2452 -2600 -2520 -2600 2636 2476 -2600 -2568 2552 -2640 2320 -2288 -2452 -2288 -2440 2640 -2332 -2300 2320 -2564 -2528 2624 -2568 2320 2284 2640 2584 -2388 -2576 2640 -2480 -2632 2296 2456 -2412 2344 -2432 2560 -2280 -2320 2288 -2572 2600 2604 -2280 2628 -2320 2388 -2280 2324 2572 -2280 -2532 2296 2336 2524 -2348 2312 2336 -2320 -2380 -2400 -2636 2380 2600 2640 2640 -2600 2508 -2588 2600 -2320 -2408 -2480 -2444 -2384 2320 -2452 2524 2620 -2348 -2600 -2600 -2496 -2640 2400 2292 2488 -2640 2356 2492 2504 2332 -2280 -2600 -2600 2592 -2592 -2628 -2600 2324 -2440 -2312 -2364 2344 -2280 -2356 -2320 -2600 -2320 2576 -2284 2344 -2512 2556 -2332 -2600 2464 2632 -2500 2280 2640 -2400 -2344 -2352 -2348 -2320 -2564 2492 -2400 -2592 -2456 2552 2536 2504 2280 2600 2280 -2280 2568 -2588 -2288 2592 -2360 2376 -2340 2596 2636 -2320 2580 -2564 2504 2320 2528 2640 2564 -2588 -2640 -2304 2280 -2324 -2304 -2328 -2640 -2412 2512 2600 -2428 -2560 -2640 -2320 2432 -2368 -2604 -2600 -2320 2572 2352 2640 2464 2600 -2380 -2380 -2544 -2620 -2640 -2536 -2384 -2376 -2632 -2420 -2320 -2280 -2376 -2592 2544 2528 2516 2592 -2600 2560 2324 -2620 -2384 2320 2512 2320 2456 2308 2440 -2320 2452 -2440 2584 2540 2496 2556 2332 -2348 2484 2456 2472 -2572 2548 -2412 2404 2360 2360 -2352 2564 2396 -2400 2552 -2612 2392 -2360 2316 2580 2464 -2524 -2596 -2280 -2608 -2432 2532 2316 -2396 2580 -2500 2592 -2320 -2520 2304 -2600 2280 2508 -2340 2640 -2436 -2376 2344 2280 -2404 2444 2496 -2320 2640 2480 2536 -2284 -2472 -2284 -2640 -2432 -2348 -2280 -2572 -2640 -2284 -2352 2468 -2396 2564 2320 2480 -2456 -2600 -2600 -2548 -2572 2484 2352 2548 -2612 -2640 -2568 2640 -2600 -2280 -2368 -2640 -2396 -2504 2480 2448 -2364 -2600 -2320 -2352 2388 2584 2364 2520 2280 -2336 2292 -2320 -2308 2288 2328 -2600 -2488 2552 -2640 -2320 2440 -2400 -2352 -2300 2592 -2320 2344 -2512 2280 -2324 -2348 2572 -2544 2608 2400 -2492 -2336 2464 -2508 2388 -2532 2280 -2340 -2600 -2472 2344 -2280 -2640 -2432 -2320 2432 -2640 2640 2580 2524 2628 -2280 -2600 -2304 2280 2344 -2600 2292 2280 2400 -2640 -2324 -2596 2532 2320 -2320 2556 -2280 2428 -2600 -2484 -2340 -2532 -2388 2636 2320 2332 -2280 -2600 -2600 2344 -2328 -2320 -2332 -2584 -2576 2360 -2348 2424 2596 2360 -2280 -2324 2552 2532 -2548 -2432 2480 -2472 -2356 2280 -2352 -2280 -2568 -2280 -2640 2328 -2340 -2600 -2416 -2280 2284 2328 -2560 2332 -2296 -2332 2640 -2600 -2280 -2352 -2468 2324 2312 -2436 2280 -2528 -2452 -2600 -2496 2352 -2608 2280 2600 -2600 2572 -2320 -2280 -2536 2584 -2600 -2600 -2424 2472 2296 -2640 2300 2564 -2344 -2484 -2640 2596 2468 -2324 2328 -2280 2596 2304 2292 -2344 2308 -2400 -2304 -2296 2540 -2584 -2368 -2596 2576 2280 -2388 -2640 2568 -2612 -2332 2300 2292 2428 -2320 -2320 2352 -2348 2328 -2320 -2336 2520 2288 2580 -2384 2528 -2600 2440 2596 2320 2576 2392 2280 2280 2520 -2632 -2520 2600 -2428 -2432 -2320 2280 -2484 2296 -2632 -2588 2320 2520 -2592 2380 2280 -2328 2280 -2480 -2640 2572 -2576 2596 2504 -2600 2324 -2284 -2324 2320 -2608 -2564 -2436 -2400 -2416 -2464 2640 2444 2640 2280 -2372 -2576 2508 -2600 -2336 2552 2488 -2504 2360 2352 -2320 2640 2592 -2368 -2456 2320 -2584 -2596 -2280 2512 2376 -2512 -2584 -2540 2280 2320 -2396 2460 2604 2400 2536 -2572 -2388 -2280 -2420 -2592 2320 2288 -2544 2628 -2532 2320 -2556 -2472 2380 2580 2352 -2556 -2572 -2308 -2640 2568 -2440 -2280 -2372 -2500 2392 2520 -2296 2332 -2332 2588 -2336 2576 2384 2372 -2284 2528 2488 2512 -2388 2360 -2284 2536 -2540 -2308 -2600 -2524 -2312 -2332 -2280 2420 -2640 2332 -2324 2500 -2460 2496 2280 2560 2280 2572 -2600 2636 2564 2416 -2596 -2416 -2600 -2320 -2356 -2480 -2532 -2444 2348 -2320 2600 -2340 2548 -2372 -2488 2280 2444 2320 2304 -2520 2320 -2640 2536 -2280 -2408 -2584 2600 -2340 -2640 -2588 -2624 -2600 -2640 -2624 2320 2320 2520 2604 2280 2640 -2636 2320 -2292 2636 2284 2576 -2604 2624 -2472 -2392 2580 -2516 -2452 -2576 -2364 2516 -2552 -2640 2456 -2632 -2640 -2320 -2600 2336 -2584 -2516 2552 2600 -2488 -2312 2384 2588 -2600 -2324 -2548 -2308 -2600 2420 -2320 -2600 -2320 -2360 2588 -2532 2412 2612 -2396 -2304 2280 2292 2640 -2432 -2320 2396 2352 -2404 -2396 2504 -2424 2476 -2320 2328 2332 2548 -2576 -2600 2280 -2620 -2448 2548 2332 2492 -2492 -2600 2288 -2640 -2280 -2428 2568 -2640 2464 2640 2332 -2448 -2356 -2572 -2528 -2320 2576 2284 -2604 2636 -2344 2532 2496 2444 -2568 2332 -2640 2280 -2312 2612 2596 -2308 2500 -2320 -2364 -2280 -2416 2324 -2596 2528 2496 2592 -2336 -2320 -2316 -2280 -2416 2344 -2520 -2280 2640 -2452 2340 -2320 -2600 -2424 2452 -2280 2512 -2352 2640 -2512 -2572 -2304 2512 2604 2280 2352 -2560 2360 -2372 2308 -2400 -2320 2340 -2280 2480 -2340 -2600 -2600 2280 2340 2572 2280 2280 2288 -2352 2600 2424 -2640 2600 -2320 2548 -2580 2320 2380 -2320 2372 2380 -2320 -2628 2640 2488 2320 -2600 2640 -2532 2292 -2600 2480 -2592 -2320 2336 2536 -2640 2588 2436 
195.02	d NODES 3005
195.02	d CHECKS 101917738
195.02	   
195.02	   totalWckTime=194.745  totalCpuTime=191.74

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/node30/watcher-200971-1168144573 -o ROOT/results/node30/solver-200971-1168144573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200971-1168144573/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.07 1.77 4/94 23177
/proc/meminfo: memFree=1210192/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=18540 CPUtime=0
/proc/23176/stat : 23176 (runsolver) R 23174 23176 22662 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 162851402 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23176/statm: 4635 279 244 17 0 2626 0

[startup+0.10409 s]
/proc/loadavg: 1.96 2.07 1.77 4/94 23177
/proc/meminfo: memFree=1210192/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=907808 CPUtime=0.06
/proc/23176/stat : 23176 (java) R 23174 23176 22662 0 -1 0 2499 0 1 0 5 1 0 0 17 0 4 0 162851402 929595392 2246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/23176/statm: 226952 2246 1230 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.512114 s]
/proc/loadavg: 1.96 2.07 1.77 4/94 23177
/proc/meminfo: memFree=1210192/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=915328 CPUtime=0.47
/proc/23176/stat : 23176 (java) R 23174 23176 22662 0 -1 0 6241 0 1 0 42 5 0 0 18 0 8 0 162851402 937295872 5980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072898123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23176/statm: 228832 5980 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33517 s]
/proc/loadavg: 1.96 2.07 1.77 3/101 23184
/proc/meminfo: memFree=1136152/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=915648 CPUtime=1.29
/proc/23176/stat : 23176 (java) R 23174 23176 22662 0 -1 0 20800 0 1 0 115 14 0 0 24 0 8 0 162851402 937623552 20538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073601910 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23176/statm: 228912 20538 2160 14 0 215382 0
[pid=23176/tid=23178] ppid=23174 vsize=915648 CPUtime=0.05
/proc/23176/task/23178/stat : 23178 (java) S 23174 23176 22662 0 -1 64 4256 0 0 0 4 1 0 0 17 0 8 0 162851408 937623552 20538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23179] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23179/stat : 23179 (java) S 23174 23176 22662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 20538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23180] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23180/stat : 23180 (java) S 23174 23176 22662 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 20538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23181] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23181/stat : 23181 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162851413 937623552 20538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23182] ppid=23174 vsize=915648 CPUtime=0.16
/proc/23176/task/23182/stat : 23182 (java) S 23174 23176 22662 0 -1 64 409 0 0 0 15 1 0 0 16 0 8 0 162851413 937623552 20538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23183] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23183/stat : 23183 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162851413 937623552 20538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23184] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23184/stat : 23184 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162851413 937623552 20538 18446744073709551615 134512640 134570532 4294956480 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.98826 s]
/proc/loadavg: 1.96 2.07 1.77 3/101 23184
/proc/meminfo: memFree=1123032/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=915648 CPUtime=2.93
/proc/23176/stat : 23176 (java) R 23174 23176 22662 0 -1 0 24029 0 1 0 277 16 0 0 25 0 8 0 162851402 937623552 23764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23176/statm: 228912 23764 2180 14 0 215382 0
[pid=23176/tid=23178] ppid=23174 vsize=915648 CPUtime=0.2
/proc/23176/task/23178/stat : 23178 (java) S 23174 23176 22662 0 -1 64 7406 0 0 0 17 3 0 0 16 0 8 0 162851408 937623552 23764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23179] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23179/stat : 23179 (java) S 23174 23176 22662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 23764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23180] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23180/stat : 23180 (java) S 23174 23176 22662 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 23764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23181] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23181/stat : 23181 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162851413 937623552 23764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23182] ppid=23174 vsize=915648 CPUtime=0.18
/proc/23176/task/23182/stat : 23182 (java) S 23174 23176 22662 0 -1 64 424 0 0 0 17 1 0 0 16 0 8 0 162851413 937623552 23764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23183] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23183/stat : 23183 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162851413 937623552 23764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23184] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23184/stat : 23184 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162851413 937623552 23764 18446744073709551615 134512640 134570532 4294956480 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.27447 s]
/proc/loadavg: 1.96 2.07 1.77 3/101 23184
/proc/meminfo: memFree=1121056/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=915648 CPUtime=6.2
/proc/23176/stat : 23176 (java) R 23174 23176 22662 0 -1 0 24047 0 1 0 603 17 0 0 25 0 8 0 162851402 937623552 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23176/statm: 228912 23780 2181 14 0 215382 0
[pid=23176/tid=23178] ppid=23174 vsize=915648 CPUtime=0.2
/proc/23176/task/23178/stat : 23178 (java) S 23174 23176 22662 0 -1 64 7406 0 0 0 17 3 0 0 17 0 8 0 162851408 937623552 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23179] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23179/stat : 23179 (java) S 23174 23176 22662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23180] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23180/stat : 23180 (java) S 23174 23176 22662 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23181] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23181/stat : 23181 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162851413 937623552 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23182] ppid=23174 vsize=915648 CPUtime=0.2
/proc/23176/task/23182/stat : 23182 (java) S 23174 23176 22662 0 -1 64 439 0 0 0 19 1 0 0 16 0 8 0 162851413 937623552 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23183] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23183/stat : 23183 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162851413 937623552 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23184] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23184/stat : 23184 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162851413 937623552 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915648

[startup+12.7699 s]
/proc/loadavg: 1.96 2.07 1.77 4/101 23184
/proc/meminfo: memFree=1114016/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=915648 CPUtime=12.66
/proc/23176/stat : 23176 (java) R 23174 23176 22662 0 -1 0 25497 0 1 0 1246 20 0 0 25 0 8 0 162851402 937623552 25227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23176/statm: 228912 25227 2181 14 0 215382 0
[pid=23176/tid=23178] ppid=23174 vsize=915648 CPUtime=0.32
/proc/23176/task/23178/stat : 23178 (java) S 23174 23176 22662 0 -1 64 8846 0 0 0 28 4 0 0 17 0 8 0 162851408 937623552 25227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23179] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23179/stat : 23179 (java) S 23174 23176 22662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 25227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23180] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23180/stat : 23180 (java) S 23174 23176 22662 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 25227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23181] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23181/stat : 23181 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162851413 937623552 25227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23182] ppid=23174 vsize=915648 CPUtime=0.21
/proc/23176/task/23182/stat : 23182 (java) S 23174 23176 22662 0 -1 64 447 0 0 0 20 1 0 0 16 0 8 0 162851413 937623552 25227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23183] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23183/stat : 23183 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162851413 937623552 25227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23184] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23184/stat : 23184 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162851413 937623552 25227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915648

[startup+25.6177 s]
/proc/loadavg: 1.97 2.07 1.78 3/101 23184
/proc/meminfo: memFree=1104288/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=915648 CPUtime=25.45
/proc/23176/stat : 23176 (java) R 23174 23176 22662 0 -1 0 25503 0 1 0 2520 25 0 0 25 0 8 0 162851402 937623552 25232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831557 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23176/statm: 228912 25232 2181 14 0 215382 0
[pid=23176/tid=23178] ppid=23174 vsize=915648 CPUtime=0.32
/proc/23176/task/23178/stat : 23178 (java) S 23174 23176 22662 0 -1 64 8846 0 0 0 28 4 0 0 16 0 8 0 162851408 937623552 25232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23179] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23179/stat : 23179 (java) S 23174 23176 22662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 25232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23180] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23180/stat : 23180 (java) S 23174 23176 22662 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 25232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23181] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23181/stat : 23181 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162851413 937623552 25232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23182] ppid=23174 vsize=915648 CPUtime=0.23
/proc/23176/task/23182/stat : 23182 (java) S 23174 23176 22662 0 -1 64 452 0 0 0 22 1 0 0 16 0 8 0 162851413 937623552 25232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23183] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23183/stat : 23183 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162851413 937623552 25232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23184] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23184/stat : 23184 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162851413 937623552 25232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915648

[startup+51.2473 s]
/proc/loadavg: 2.11 2.09 1.79 3/101 23184
/proc/meminfo: memFree=1073440/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=915648 CPUtime=50.95
/proc/23176/stat : 23176 (java) R 23174 23176 22662 0 -1 0 29566 0 1 0 5058 37 0 0 25 0 8 0 162851402 937623552 29292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23176/statm: 228912 29292 2181 14 0 215382 0
[pid=23176/tid=23178] ppid=23174 vsize=915648 CPUtime=0.59
/proc/23176/task/23178/stat : 23178 (java) S 23174 23176 22662 0 -1 64 12903 0 0 0 53 6 0 0 16 0 8 0 162851408 937623552 29292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23179] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23179/stat : 23179 (java) S 23174 23176 22662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 29292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23180] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23180/stat : 23180 (java) S 23174 23176 22662 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 29292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23181] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23181/stat : 23181 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162851413 937623552 29292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23182] ppid=23174 vsize=915648 CPUtime=0.23
/proc/23176/task/23182/stat : 23182 (java) S 23174 23176 22662 0 -1 64 455 0 0 0 22 1 0 0 16 0 8 0 162851413 937623552 29292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23183] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23183/stat : 23183 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162851413 937623552 29292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23184] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23184/stat : 23184 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162851413 937623552 29292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915648

[startup+102.498 s]
/proc/loadavg: 2.05 2.08 1.80 3/101 23184
/proc/meminfo: memFree=1024928/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=915648 CPUtime=101.97
/proc/23176/stat : 23176 (java) R 23174 23176 22662 0 -1 0 33739 0 1 0 10132 65 0 0 25 0 8 0 162851402 937623552 33462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23176/statm: 228912 33462 2181 14 0 215382 0
[pid=23176/tid=23178] ppid=23174 vsize=915648 CPUtime=0.86
/proc/23176/task/23178/stat : 23178 (java) S 23174 23176 22662 0 -1 64 17073 0 0 0 77 9 0 0 16 0 8 0 162851408 937623552 33462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23179] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23179/stat : 23179 (java) S 23174 23176 22662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 33462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23180] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23180/stat : 23180 (java) S 23174 23176 22662 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162851409 937623552 33462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23181] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23181/stat : 23181 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162851413 937623552 33462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23182] ppid=23174 vsize=915648 CPUtime=0.24
/proc/23176/task/23182/stat : 23182 (java) S 23174 23176 22662 0 -1 64 455 0 0 0 23 1 0 0 16 0 8 0 162851413 937623552 33462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23183] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23183/stat : 23183 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162851413 937623552 33462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23184] ppid=23174 vsize=915648 CPUtime=0
/proc/23176/task/23184/stat : 23184 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162851413 937623552 33462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915648

[startup+162.522 s]
/proc/loadavg: 2.02 2.06 1.81 3/101 23184
/proc/meminfo: memFree=964512/2055920 swapFree=4191880/4192956
[pid=23176] ppid=23174 vsize=915920 CPUtime=161.71
/proc/23176/stat : 23176 (java) R 23174 23176 22662 0 -1 0 40674 0 1 0 16069 102 0 0 25 0 8 0 162851402 937902080 40353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074229696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23176/statm: 228980 40353 2545 14 0 215450 0
[pid=23176/tid=23178] ppid=23174 vsize=915920 CPUtime=1.62
/proc/23176/task/23178/stat : 23178 (java) S 23174 23176 22662 0 -1 64 23437 0 0 0 150 12 0 0 16 0 8 0 162851408 937902080 40353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23179] ppid=23174 vsize=915920 CPUtime=0
/proc/23176/task/23179/stat : 23179 (java) S 23174 23176 22662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162851409 937902080 40353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23180] ppid=23174 vsize=915920 CPUtime=0
/proc/23176/task/23180/stat : 23180 (java) S 23174 23176 22662 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162851409 937902080 40353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23181] ppid=23174 vsize=915920 CPUtime=0
/proc/23176/task/23181/stat : 23181 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162851413 937902080 40353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23182] ppid=23174 vsize=915920 CPUtime=0.37
/proc/23176/task/23182/stat : 23182 (java) S 23174 23176 22662 0 -1 64 565 0 0 0 35 2 0 0 15 0 8 0 162851413 937902080 40353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23183] ppid=23174 vsize=915920 CPUtime=0
/proc/23176/task/23183/stat : 23183 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162851413 937902080 40353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23176/tid=23184] ppid=23174 vsize=915920 CPUtime=0
/proc/23176/task/23184/stat : 23184 (java) S 23174 23176 22662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162851413 937902080 40353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.71
Current children cumulated vsize (KiB) 915920

Child status: 0
Real time (s): 195.066
CPU time (s): 194.096
CPU user time (s): 193.007
CPU system time (s): 1.08983
CPU usage (%): 99.503
Max. virtual memory (cumulated for all children) (KiB): 915920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.007
system time used= 1.08983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44952
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= 5831
involuntary context switches= 13864

runsolver used 0.205968 s user time and 0.674897 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sun Jan  7 04:36:15 UTC 2007


IDJOB= 200971
IDBENCH= 3737
FILE ID= node30/200971-1168144573

PBS_JOBID= 3478126

Free space on /tmp= 66476 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c3a713f4f6011a69f875f3666a2ad293

RANDOM SEED= 205974281

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.234
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.234
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:       1210672 kB
Buffers:         23380 kB
Cached:         187016 kB
SwapCached:        268 kB
Active:         697464 kB
Inactive:        77788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1210672 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            6308 kB
Writeback:           0 kB
Mapped:         591348 kB
Slab:            53772 kB
Committed_AS:  4126284 kB
PageTables:       3320 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= 66476 MiB



End job on node30 on Sun Jan  7 04:39:30 UTC 2007