Trace number 201065

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 250.824 250.973

DiagnosticValue
CHECKS482858316
NODES18161

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-8.xml
MD5SUM3bffaaad69c3a0c8af29ad6ffcc38a0b
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.971
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/201065-1168145016/unknown.xml
0.36	   
0.36	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.65	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182
0.65	       =>  wckTime=0.347  cpuTime=0.26  mem=27M376
0.65	   
0.65	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
154.61	     nbConstraints=17754  nbMergedConstraints=15267  nbConvertedConstraints=17754  nbConvertConstraintsChecks=250922664
154.61	     nbExtensionStructures=9291  nbSharedExtensionStructures=8463  nbConflictsStructures=9291
154.61	     nbSharedConflictsStructures=8463  nbSharedBinaryRepresentations=2841336  maxDegree=15  maxArity=2
154.61	       =>  wckTime=154.306  cpuTime=153.07  mem=107M147
154.98	   
154.98	   solver IterativeSystematicSolver being built... 
155.28	       =>  wckTime=154.983  cpuTime=153.32  mem=120M942
196.54	   
196.54	   INFO : Stopping ESAC
196.55	   
196.55	   preprocessing
196.55	     nbConstraintChecks=142966424  nbPropagations=280632  nbRevisions=953561  nbUselessRevisions=662440
196.55	     nbSingletonTests=4936  nbEffectiveSingletonTests=27  nbESACBranches=38  nbRemovedValues=106789
196.55	     detectedInconsistency=no
196.55	       =>  wckTime=41.244  cpuTime=41.18  mem=120M942
198.56	   
198.56	   search
198.56	     run=0  nbConstraintChecks=4559755  nbPropagations=289583  nbRevisions=983051  nbUselessRevisions=682804
198.56	     nbAssignments=186  nbFailedAssignments=3  nbBacktracks=10  nbVisitedNodes=193  nbRestartNogoods=0  mapSize=0
198.56	     nbInferences=0  nbTooLargeKeys=168
198.56	       =>  wckTime=43.256  cpuTime=43.17  mem=123M959
203.07	   
203.07	   search
203.07	     run=1  nbConstraintChecks=24472828  nbPropagations=619996  nbRevisions=2197602  nbUselessRevisions=1536411
203.07	     nbAssignments=835  nbFailedAssignments=35  nbBacktracks=25  nbVisitedNodes=884  nbRestartNogoods=1  mapSize=0
203.07	     nbInferences=0  nbTooLargeKeys=770
203.07	       =>  wckTime=47.766  cpuTime=47.68  mem=123M959
246.86	   
246.86	   INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=1379, mem=124M693)
247.31	   
247.31	   search
247.31	     run=2  nbConstraintChecks=324523646  nbPropagations=1583149  nbRevisions=5926164  nbUselessRevisions=4237291
247.31	     nbAssignments=15150  nbFailedAssignments=44  nbBacktracks=50  nbVisitedNodes=1535  nbRestartNogoods=29
247.31	       =>  wckTime=92.014  cpuTime=91.89  mem=124M693
250.92	   
250.92	   search
250.92	     run=3  nbConstraintChecks=339891892  nbPropagations=2587505  nbRevisions=9832344  nbUselessRevisions=7073543
250.92	     nbAssignments=18161  nbFailedAssignments=55  nbBacktracks=50  nbVisitedNodes=4557  nbRestartNogoods=31
250.92	       =>  wckTime=95.625  cpuTime=95.49  mem=125M699
250.93	   
250.93	   global
250.93	     nbConstraintChecks=482858316  nbPropagations=2868137  nbRevisions=10785905  nbUselessRevisions=7735983
250.93	     nbRestartNogoods=31  solvingWckTime=95.626  solvingCpuTime=95.49  expiredTime=no  totalExploration=no
250.93	     nbFoundSolutions=1  globalCpuTime=248.87
250.93	       =>  wckTime=250.626  cpuTime=248.82  mem=125M699
250.93	   
250.93	s SATISFIABLE
250.93	v 2472 2544 -2496 -2568 -2600 -2496 2356 2456 2320 2568 -2624 -2576 2432 2472 -2436 -2524 2424 2416 2464 -2364 2600 2280 2320 2580 -2392 2432 2612 2636 -2352 -2600 2600 -2312 2488 -2356 2404 2348 2300 -2372 -2280 2280 -2436 -2352 -2480 2500 -2392 -2360 2536 -2536 2320 2556 2328 -2320 -2352 2320 -2472 -2280 -2280 -2284 2568 -2412 -2300 2476 -2520 -2280 -2528 2280 2352 2444 -2584 2608 2324 2324 2288 -2348 2280 -2432 -2392 -2640 2612 -2324 -2580 -2320 2300 -2472 -2460 2592 2596 -2592 -2364 2300 2532 -2364 -2320 -2332 2600 -2600 2444 -2408 2532 2292 -2600 -2356 -2296 2468 -2292 2312 -2280 2532 -2556 -2456 -2624 -2544 -2344 -2280 -2336 2524 2320 2328 -2636 -2320 2428 -2500 2532 2424 -2640 2312 2640 2368 -2280 -2296 -2596 2520 -2364 -2320 -2516 2516 -2640 2596 -2444 -2432 2588 2356 -2556 -2280 -2640 -2332 -2340 2348 2312 -2328 -2320 -2320 -2340 -2320 -2280 2628 2444 2320 -2324 2284 2280 -2364 2320 2496 -2380 2600 -2468 -2308 -2300 2372 -2280 -2296 2480 -2628 -2320 -2640 2420 -2640 -2584 2544 -2472 -2640 -2312 -2292 2424 2376 2516 2280 -2404 2332 2280 -2620 -2348 2356 -2388 2596 2576 2444 -2424 2488 2640 -2320 -2388 -2600 -2296 2596 2352 2380 -2572 -2384 2596 -2340 -2296 -2332 -2360 -2320 2320 2632 2316 -2580 -2452 -2540 -2600 2348 -2400 -2440 2456 2628 2632 2440 -2316 2284 -2340 -2640 -2284 -2360 2596 2640 2444 -2624 -2320 -2596 2456 -2320 2544 2280 2516 2592 2600 -2280 2572 -2376 -2348 -2600 -2632 -2640 -2624 2600 2380 -2468 2640 -2640 -2592 2576 2640 -2400 2580 -2580 2428 2640 2404 2376 2496 -2544 -2336 -2464 -2304 2352 2616 -2636 -2600 -2400 -2584 2620 -2600 2424 -2348 2432 2600 2640 2588 2500 -2392 2376 2280 -2452 2640 2372 -2320 2640 -2324 -2452 2424 2556 2392 -2600 2328 -2400 -2320 2600 2392 -2424 -2640 2360 -2280 2280 2508 -2304 2484 -2384 2352 2564 -2640 2580 -2320 -2476 2592 -2480 2416 -2600 2296 -2532 -2580 2332 -2424 -2336 2300 -2360 2592 -2624 -2520 2500 -2640 2364 2396 -2332 -2496 -2376 -2280 2568 -2328 2600 -2532 -2408 -2320 2332 2424 -2292 2544 2480 2532 2320 2392 -2416 2344 2592 2344 -2320 2388 -2400 2384 -2320 -2556 2380 -2556 -2336 -2544 -2284 -2320 -2612 -2512 -2468 2524 2344 -2320 2380 2320 -2640 -2496 -2640 -2432 -2320 2468 2596 -2480 -2568 -2328 2288 -2460 2304 -2556 2472 2420 -2320 -2428 -2416 -2288 2620 2460 2424 2512 -2600 -2320 2572 2640 -2320 -2548 -2584 2356 -2508 2288 2280 -2280 -2488 -2596 2600 -2548 2516 -2576 -2620 2600 -2360 -2340 -2416 -2500 -2640 2404 2356 2408 -2640 -2280 -2280 2636 -2356 -2320 2600 -2640 -2600 2456 2588 -2280 2468 -2568 2528 2600 2600 -2380 2500 -2304 2280 -2396 -2564 -2320 -2280 2300 2580 -2440 2328 -2536 -2628 2280 -2524 -2308 -2492 -2364 -2480 2340 2320 2496 -2432 -2592 -2516 2428 2312 2364 -2640 2584 -2544 -2544 -2312 2500 -2352 -2284 2332 -2628 -2640 2460 -2600 2420 -2480 2508 2432 2320 -2280 -2320 -2328 2600 -2568 2300 2524 -2524 -2332 2480 2304 -2328 -2460 -2584 2576 2600 -2600 2408 2296 -2404 2468 -2320 2340 2624 -2564 2548 -2408 2476 -2600 2520 2424 2520 2600 2392 2548 -2420 -2296 -2280 2588 -2504 2320 2416 2504 2280 2320 -2500 -2572 -2300 -2320 2404 2416 2508 -2320 -2640 2596 -2436 -2308 -2600 -2280 -2640 2620 -2320 2384 -2636 -2524 -2560 2552 2592 2528 -2640 2600 -2280 2500 2608 2396 2640 -2440 -2548 -2364 -2396 -2328 2600 -2600 -2396 -2640 2640 2436 2428 2280 -2280 -2396 -2640 -2476 -2616 2640 -2636 -2496 -2640 -2480 2560 2576 -2544 -2568 -2320 2496 2296 -2280 -2432 -2632 -2536 2340 -2344 -2632 2336 2588 -2600 2300 -2556 2640 -2552 2608 -2280 2600 -2320 -2316 2572 2612 -2620 2388 2336 2436 -2600 2352 -2600 2444 2416 2432 -2624 2292 2304 2560 2280 -2348 -2308 -2300 2596 2392 -2396 -2324 -2288 2320 2544 -2596 2580 -2640 2280 -2564 -2284 -2320 -2544 2396 2584 -2280 -2520 -2464 -2424 2488 -2540 2588 -2280 -2604 -2280 2512 -2600 -2416 -2476 2560 -2444 -2296 2516 -2320 -2628 -2320 2460 -2432 2616 2592 2348 -2296 -2548 2600 -2492 -2336 -2432 2356 2348 -2576 -2288 2412 -2640 2564 2544 -2488 -2612 -2524 -2448 -2340 2292 -2340 -2584 2412 -2320 2292 -2600 -2628 2404 -2328 2400 -2464 2576 2532 2560 -2292 -2284 2404 -2424 -2504 -2560 2500 2320 -2412 2528 2560 2552 2428 2324 -2348 2640 2428 -2416 -2600 -2464 -2584 -2600 -2396 -2308 2584 2372 2404 -2456 -2460 -2520 2636 -2320 2500 2600 2384 -2640 2640 2628 2600 2400 2576 -2336 -2292 2320 -2436 2344 2584 -2464 -2488 -2580 2280 -2600 2392 2404 -2384 2280 -2332 2320 -2640 -2320 -2328 -2280 -2540 2400 2300 2532 -2280 2508 -2280 2332 2368 -2540 -2460 2516 2376 2440 -2456 -2520 -2600 -2292 -2400 -2636 2380 -2340 2532 2584 -2596 2412 2376 2396 2544 -2540 -2516 -2452 2624 -2552 2320 2568 -2320 -2320 2512 2396 -2604 -2640 2320 -2544 2356 2308 2640 -2640 2576 2324 2436 2412 -2516 -2576 2564 -2280 2400 -2640 -2424 -2580 -2516 2280 2448 -2472 2396 2600 2324 -2280 -2280 -2472 -2600 -2388 -2280 -2484 -2388 2640 -2308 -2292 2640 -2320 2392 -2344 2404 -2584 2592 -2300 -2332 2628 2532 2640 2448 -2420 -2332 2596 -2308 -2600 2528 -2496 2560 2388 2508 2444 2548 2516 2516 2280 -2312 2384 -2460 -2592 -2560 2320 -2600 2508 -2600 -2600 2464 2552 2500 2640 -2640 -2600 -2576 2352 -2324 -2280 2292 -2600 2504 2356 2536 2336 2356 2280 -2516 -2640 -2424 2320 2352 2460 -2288 2504 2384 2460 2344 -2280 2512 -2552 2600 -2556 2280 2280 2596 2280 -2388 2500 2640 -2640 2532 2548 -2504 2612 -2396 2464 -2600 -2640 -2384 -2396 -2412 2356 -2332 2280 2572 -2496 2536 -2336 2608 -2532 -2640 -2324 -2588 -2320 -2600 2320 -2292 -2600 2384 2328 2532 -2308 -2280 2292 2308 -2320 -2548 -2600 -2296 -2640 -2568 2460 -2564 2492 -2280 2364 -2376 2440 -2380 -2552 2592 -2600 2392 2528 -2312 2320 -2580 -2320 2464 -2352 -2524 -2624 2388 2528 2360 -2348 2536 -2412 2520 2280 2400 -2584 2340 -2320 2320 2572 -2304 -2292 2640 2560 2296 -2320 2568 2372 2640 -2320 2480 -2296 -2424 -2320 2356 2432 -2552 -2536 2544 -2460 -2384 -2320 -2316 -2448 -2356 2564 2636 -2420 2336 -2312 -2640 2332 2284 -2568 -2512 2328 -2320 2496 -2320 -2544 -2344 -2344 2436 2328 2328 2532 2540 -2328 -2464 2280 -2640 -2356 2432 2556 -2436 -2640 2364 2424 -2320 2300 2320 2584 -2600 2368 -2280 2480 2504 2540 -2288 2536 2408 -2300 2280 -2364 -2548 2512 -2408 -2284 -2600 2528 2524 2432 -2352 2372 2612 2500 -2352 2320 -2608 -2640 2620 -2640 -2360 2592 -2320 2360 -2388 -2432 2580 2300 -2320 -2320 -2604 -2492 2424 2580 2412 -2488 -2316 -2412 -2320 2600 2392 2404 2640 2536 2592 -2572 2372 2568 -2284 2284 -2448 2524 -2284 -2500 -2600 2316 -2392 -2464 -2600 2440 2600 -2392 -2428 2380 2536 2320 -2308 2552 -2316 -2364 2476 -2572 -2596 -2520 -2556 -2484 -2600 2352 -2312 2592 -2440 -2280 -2436 -2364 -2484 2344 2472 -2632 -2472 2556 -2600 -2640 2352 2612 2632 -2288 -2356 -2320 -2420 2440 2384 2528 2352 2580 -2400 2616 -2364 -2368 -2288 -2388 -2388 -2332 -2512 -2364 2512 2400 -2336 -2312 2300 2496 2584 2640 2484 2344 2408 2564 2484 -2384 -2316 -2336 -2524 2304 2456 -2560 -2632 2380 -2344 2596 -2280 2352 -2356 -2640 -2628 2628 -2464 -2368 -2540 2528 2280 2492 -2416 -2284 2572 -2340 -2600 2412 -2376 -2528 2596 2480 -2320 2504 -2280 2440 -2320 -2452 -2588 2384 -2600 2500 -2640 2600 2312 -2640 -2640 -2552 2600 -2460 2456 -2576 2444 2588 -2344 -2596 2580 -2320 -2640 2280 -2320 -2636 -2324 2336 -2308 -2320 2308 -2568 2392 -2376 -2564 -2536 2320 -2560 -2640 -2424 -2304 2408 -2332 -2288 2408 2588 -2488 2292 -2500 2616 2600 2536 -2532 -2456 2328 -2572 -2564 -2596 2344 -2640 2472 -2304 -2280 -2352 -2280 2280 2324 -2288 2640 2376 2616 2320 -2528 -2332 -2536 2600 2640 -2592 -2340 -2336 2512 -2600 -2320 -2600 -2280 -2640 2592 2400 2560 -2624 -2560 2600 -2640 -2280 2308 2320 -2280 -2416 2596 -2416 2388 -2280 2388 2472 2592 -2292 -2316 -2596 -2312 2320 -2280 2640 -2320 2600 -2636 -2640 -2640 2596 -2484 2460 2552 -2600 -2308 2600 -2292 -2324 -2368 -2280 -2600 -2588 -2320 2492 2428 -2368 -2388 -2376 -2492 2640 2372 -2280 -2304 2404 -2592 2320 -2424 2368 2600 -2352 -2544 -2432 -2408 2588 2348 -2320 -2456 -2600 -2396 2512 -2504 -2600 -2280 -2572 2432 -2388 2428 -2280 -2420 2292 2512 2576 2320 2552 -2424 2332 -2456 2340 -2488 -2604 2600 -2560 2552 -2292 -2536 -2372 -2336 -2404 2572 2580 2512 -2528 -2392 -2396 -2628 2600 2544 -2352 2516 -2280 -2496 -2488 -2444 -2388 -2352 -2280 -2608 -2516 -2596 2552 2552 2380 -2600 2280 -2328 -2372 2472 -2452 -2592 -2380 2556 2500 -2452 2452 2596 -2528 -2640 -2280 2492 2328 2632 2280 -2312 -2320 2412 -2484 2344 2628 2412 -2316 2528 2420 2636 2552 2600 -2640 2488 -2640 2636 2628 2376 -2316 -2520 2332 2532 -2600 -2320 2552 -2316 2600 2640 -2600 -2612 2512 -2600 -2580 2392 2568 2360 2280 2300 -2536 2308 -2640 2552 -2496 -2324 -2600 2556 2584 2332 -2396 -2636 2344 2328 2596 -2432 -2576 -2404 -2320 -2320 -2320 2640 2464 -2544 -2596 2320 -2640 -2352 2288 2504 -2612 2564 -2580 2640 2380 -2320 2532 2320 2428 -2328 -2424 2456 -2284 -2460 -2348 2592 2636 -2640 2364 -2304 -2572 2472 2496 2320 -2296 2596 -2428 -2564 -2332 -2320 -2348 -2348 2616 2600 2440 2340 -2624 -2520 2280 2392 -2280 2540 -2568 2560 -2416 2600 2580 2512 2536 -2280 2280 -2600 2640 -2316 2504 -2572 -2368 2292 2424 2512 2640 -2320 -2280 -2640 2640 -2508 -2356 2524 -2576 -2556 -2528 2280 -2516 2368 -2568 2284 2640 2640 2500 -2624 -2468 2576 2292 2440 2640 2296 -2304 2428 2572 2596 -2628 2640 2424 -2476 2280 -2560 -2280 -2584 2412 -2388 -2424 2600 2568 -2284 2508 2440 -2636 -2616 -2536 -2336 -2332 2352 -2508 -2336 2640 -2288 -2600 2324 -2384 2344 2600 -2352 2528 2440 -2420 2440 -2588 -2576 2532 2452 2640 2420 -2636 -2600 2320 2328 2640 -2540 -2372 -2508 2348 -2412 2492 -2604 2300 -2640 -2640 2588 -2344 -2400 -2372 -2528 2300 -2424 2456 2312 2312 -2620 2356 -2528 -2384 -2384 -2612 2320 2640 -2632 -2320 2588 -2420 2532 -2424 -2280 2336 2348 2320 -2420 -2600 2468 2332 -2280 2544 -2496 -2372 -2536 -2388 2336 2600 -2364 2584 2440 2600 -2520 -2448 2468 -2592 2600 -2288 2572 2324 -2320 -2600 2600 -2332 -2480 2532 -2280 -2600 2424 2404 2632 -2332 2336 -2416 -2636 2396 2288 2356 -2288 2368 2552 -2488 2384 -2320 -2404 2368 2392 2280 2300 -2380 -2320 2568 -2496 -2284 -2516 2500 -2320 2340 2596 -2600 -2320 -2280 2640 -2336 2524 2556 -2280 -2636 -2280 -2600 -2320 -2460 -2320 -2300 -2556 -2380 2280 -2320 2632 -2280 -2488 -2636 2384 2336 2448 -2600 -2288 2324 -2348 -2320 -2280 -2364 -2364 2616 2532 -2320 -2572 2492 -2576 -2612 -2636 2580 -2584 -2320 -2388 2472 2584 -2332 2472 2448 2356 2424 2640 -2284 -2600 2420 -2316 2512 -2380 2572 -2440 -2484 -2380 2536 2428 -2464 -2500 2544 -2280 2384 2324 2324 -2592 2284 2560 -2520 -2424 2372 2456 2544 -2388 -2296 -2320 -2572 2404 2512 2520 -2296 2280 -2320 2624 -2436 2552 2536 -2320 -2280 2472 -2304 -2320 2332 -2636 -2316 2356 -2348 -2336 2472 2596 2564 2280 -2280 2280 -2292 2360 2532 -2640 2392 2284 -2356 2504 -2508 2624 -2512 2340 -2640 2628 -2492 2640 2640 2600 -2348 -2384 -2308 -2360 2280 2572 2600 2360 2604 2312 -2320 -2280 2324 -2640 2340 2540 2364 -2292 -2640 -2616 2536 2280 2580 2600 -2508 2488 -2320 -2452 2504 -2320 -2320 -2600 -2456 2540 2564 2616 -2612 -2452 -2600 -2524 2420 2588 2572 -2384 2532 -2496 -2316 2348 -2344 2496 -2280 -2336 -2588 2612 -2640 2572 -2296 -2280 -2616 -2504 2444 -2456 -2612 2540 -2640 2500 2640 -2364 -2548 2592 2376 -2408 2356 -2328 -2632 2640 2396 -2332 2588 -2544 2588 -2640 -2596 2508 2432 2536 -2368 -2464 -2280 -2584 2512 -2512 -2528 -2600 -2596 2640 2344 -2540 -2600 -2640 2392 -2460 2608 2396 2332 2548 -2344 2428 2584 -2320 2280 2612 -2320 -2600 2528 -2640 -2380 -2320 -2616 2432 2592 2428 2532 -2588 -2464 2580 -2280 2528 2388 -2384 2436 2640 -2428 2320 -2552 2364 -2600 2368 2540 2392 -2492 2372 2332 -2320 -2380 -2572 2352 2532 2292 2524 -2640 -2568 2640 -2320 2308 2376 -2536 -2280 2564 -2560 -2504 2580 2580 -2332 2320 2416 2280 2280 -2616 -2620 2640 -2600 -2512 2324 -2464 2600 -2600 2584 -2280 2484 2280 -2500 -2560 2392 2584 2396 2372 2424 -2308 -2496 -2640 2484 -2324 2280 2600 2320 -2416 -2500 2504 2368 2600 2600 2344 2416 -2312 -2520 -2628 -2580 2368 2600 2528 2640 2564 -2436 2348 2328 -2280 2428 2588 -2340 2356 -2444 2476 -2600 -2640 2336 -2320 -2280 2616 -2596 2464 2624 2640 2340 -2408 2332 2416 2408 2280 2588 2640 -2640 -2548 2640 -2496 2388 2588 -2280 -2600 -2640 2368 -2364 2344 2280 -2288 -2628 2284 -2332 2604 -2300 2496 -2356 2280 -2608 -2308 2512 -2600 2520 -2320 -2600 2440 2496 2464 -2356 -2328 2356 2464 -2456 2332 2516 2612 -2588 2420 2436 2600 -2304 -2512 2488 -2404 -2340 -2360 -2488 -2320 2472 -2512 2348 -2348 -2600 2332 2540 2340 -2280 -2636 2332 2388 -2420 -2636 2332 2280 -2280 2316 -2640 -2328 -2524 -2284 -2600 -2556 2284 -2300 -2392 -2552 2572 2636 -2404 -2400 -2320 -2440 -2352 2536 2280 -2520 2588 2428 -2468 2468 -2640 2532 2524 2376 2600 -2280 -2320 -2304 -2320 -2364 -2432 -2280 2340 -2280 -2564 2620 2408 2528 -2416 -2568 2468 -2320 2572 -2608 2600 2404 2608 -2280 2404 2396 -2416 -2416 2280 -2556 -2640 -2300 -2424 2632 2368 2392 -2404 -2600 -2628 2352 -2568 2352 2516 -2484 2520 -2384 -2324 2372 2640 2280 -2536 2348 2364 2540 2336 2280 2344 -2324 -2492 2460 -2580 -2564 -2280 -2556 2556 2596 -2588 2348 2320 -2348 -2280 -2552 -2320 2556 -2440 2620 -2464 2572 2544 2408 2408 2292 2280 -2632 -2544 -2640 -2540 2580 -2280 2280 -2348 2364 -2288 2552 -2324 -2400 2632 2580 2284 -2472 2452 -2552 2560 2464 -2428 -2308 2380 2524 2600 2288 -2380 -2420 2352 2432 2372 2600 2340 2620 2396 -2336 -2296 2640 -2640 -2576 2280 2280 -2560 -2640 -2516 2596 2640 2348 2532 -2288 -2464 -2348 -2600 2584 2280 -2428 2604 2516 -2372 -2404 2604 2468 2588 -2320 2480 -2480 -2284 2456 2604 -2484 -2624 2284 -2640 -2584 2440 2520 2584 2352 -2280 -2372 2532 -2372 -2600 2520 -2544 -2460 -2640 -2360 -2340 2404 -2472 2348 2556 2280 -2352 -2336 2284 -2340 -2576 -2376 2436 2460 2440 -2348 -2424 2528 -2340 -2352 -2320 2332 -2404 -2480 2564 2324 2384 -2280 -2600 -2488 -2536 2280 2452 -2332 -2572 -2508 2424 -2344 2280 -2368 2540 -2484 -2280 2280 2392 -2460 -2324 -2504 2596 2560 2628 2584 2600 2348 2640 -2608 2280 2464 -2600 2352 2320 2432 2516 -2320 -2320 2560 -2328 -2600 2476 2472 -2404 2544 -2480 -2344 -2420 -2404 2348 2280 2348 2280 2516 -2572 -2368 -2364 -2368 -2320 -2572 -2520 2480 -2280 -2444 2564 -2400 -2280 -2324 2320 2520 -2600 -2424 -2600 2516 -2332 -2320 -2296 -2456 2280 -2412 -2332 2280 2336 -2640 2340 -2280 -2320 -2280 -2560 2364 2320 -2388 2596 -2640 -2352 -2444 2556 2288 2620 2520 -2324 2464 -2280 -2436 2356 -2336 2528 -2280 2476 -2640 -2572 -2340 2600 -2620 -2624 -2392 -2292 2372 -2412 2308 2396 2304 -2628 2608 2584 -2640 -2640 2540 -2324 2600 -2556 -2632 2328 2288 -2568 2308 -2504 2388 -2292 2480 -2540 -2388 2620 2504 -2280 -2464 -2600 2544 -2404 2500 -2552 2328 2280 -2320 -2320 -2400 -2332 -2284 -2440 -2600 2384 -2308 -2504 2600 -2576 -2384 2360 -2584 2592 2572 -2296 2280 -2340 2600 -2320 -2356 2352 -2504 -2600 -2640 2320 -2540 2312 -2448 -2508 2340 -2600 -2628 2316 -2320 -2280 2280 -2492 2480 -2484 -2576 2456 2424 2600 2332 -2288 2332 2320 -2640 -2280 2292 -2280 -2300 -2476 2400 -2384 2600 2376 -2636 -2640 -2456 -2508 -2332 2492 2496 -2568 -2412 2336 2320 2428 2628 -2320 -2632 2600 -2600 -2596 -2280 2556 2380 2452 2640 2528 2296 2308 2388 2484 -2588 2320 -2572 -2640 2320 2476 -2396 2600 -2352 -2292 -2484 2588 -2640 2464 2516 2640 2280 2600 -2600 -2600 2380 -2324 -2416 2600 -2452 -2288 -2320 2544 2376 -2552 -2348 2328 -2296 -2600 -2324 2504 2412 2372 -2324 -2296 -2456 2556 2396 -2360 -2372 2512 -2572 -2320 -2600 -2572 -2484 -2404 -2356 -2292 2600 2320 2600 -2500 -2320 2520 2320 -2568 2640 -2560 2376 2620 2512 -2280 -2444 -2636 -2600 -2320 -2508 -2476 -2320 -2336 2396 -2320 2640 2324 2548 -2524 -2292 2320 -2512 2324 -2320 -2576 2640 2320 2556 -2280 2392 -2284 2600 2280 2324 2488 2600 2548 2592 2596 -2280 2332 -2552 -2592 2280 -2512 -2388 -2312 -2340 2552 -2304 -2384 2492 2432 -2636 -2392 2520 -2568 -2356 2600 -2444 -2524 2600 2600 2544 -2476 -2600 2492 -2340 2348 2420 2408 2400 2496 2564 -2640 -2568 2572 -2380 -2328 2636 -2320 -2640 -2640 2600 -2640 -2280 -2324 -2600 2380 2444 2584 2456 -2320 -2292 2540 2632 -2420 2640 2320 -2356 -2404 -2328 2580 -2372 2464 -2400 2288 -2292 -2636 -2580 2448 -2640 2592 2332 -2584 -2388 -2572 -2640 -2280 -2640 2640 -2284 -2428 -2592 -2496 -2424 2492 -2464 2576 -2332 -2520 -2504 -2344 2544 2392 -2320 2504 -2320 2492 2640 2372 2568 2324 2600 -2320 -2312 2584 -2428 -2356 -2532 -2352 2460 2560 -2340 2592 -2560 2540 2556 2612 -2336 -2308 2324 2320 2416 2288 -2456 -2600 2292 -2600 2292 -2320 -2320 2436 -2432 2280 2600 -2396 2540 -2600 -2304 -2340 2600 2328 2472 -2460 2444 2316 -2336 -2320 2400 -2320 -2420 -2600 2376 2340 2600 -2380 2280 -2400 2600 2340 2396 2364 2608 2536 2524 -2548 2332 -2320 -2640 -2496 2640 -2412 -2616 2344 -2632 2356 -2348 -2576 -2620 -2372 -2640 -2640 -2344 -2424 2568 -2640 2596 -2320 -2324 -2496 2580 -2496 -2548 
250.93	d NODES 18161
250.93	d CHECKS 482858316
250.93	   
250.93	   totalWckTime=250.705  totalCpuTime=248.87

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/node35/watcher-201065-1168145016 -o ROOT/results/node35/solver-201065-1168145016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201065-1168145016/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.00 1.00 1.00 1/65 2722
/proc/meminfo: memFree=1749504/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=1784 CPUtime=0
/proc/2721/stat : 2721 (java) D 2719 2721 1739 0 -1 0 169 0 0 0 0 0 0 0 20 0 1 0 162895268 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/2721/statm: 446 140 106 14 0 91 0

[startup+0.102147 s]
/proc/loadavg: 1.00 1.00 1.00 1/65 2722
/proc/meminfo: memFree=1749504/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=914988 CPUtime=0.08
/proc/2721/stat : 2721 (java) R 2719 2721 1739 0 -1 0 2999 0 1 0 6 2 0 0 16 0 8 0 162895268 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2721/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510194 s]
/proc/loadavg: 1.00 1.00 1.00 1/65 2722
/proc/meminfo: memFree=1749504/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=915328 CPUtime=0.49
/proc/2721/stat : 2721 (java) S 2719 2721 1739 0 -1 0 7286 0 1 0 44 5 0 0 16 0 8 0 162895268 937295872 7025 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2721/statm: 228832 7025 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33129 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2729
/proc/meminfo: memFree=1675656/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=915648 CPUtime=1.3
/proc/2721/stat : 2721 (java) R 2719 2721 1739 0 -1 0 22846 0 1 0 119 11 0 0 17 0 8 0 162895268 937623552 22583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2721/statm: 228912 22583 2160 14 0 215382 0
[pid=2721/tid=2723] ppid=2719 vsize=915648 CPUtime=0.09
/proc/2721/task/2723/stat : 2723 (java) S 2719 2721 1739 0 -1 64 6304 0 0 0 7 2 0 0 16 0 8 0 162895272 937623552 22583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2724] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 1739 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 22583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 1739 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 22583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2726] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 1739 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162895276 937623552 22583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=915648 CPUtime=0.14
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 1739 0 -1 64 409 0 0 0 14 0 0 0 15 0 8 0 162895276 937623552 22583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2728] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162895276 937623552 22583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162895276 937623552 22583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648

[startup+2.98348 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2729
/proc/meminfo: memFree=1662728/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=915648 CPUtime=2.95
/proc/2721/stat : 2721 (java) R 2719 2721 1739 0 -1 0 24043 0 1 0 283 12 0 0 16 0 8 0 162895268 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831533 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2721/statm: 228912 23777 2181 14 0 215382 0
[pid=2721/tid=2723] ppid=2719 vsize=915648 CPUtime=0.17
/proc/2721/task/2723/stat : 2723 (java) S 2719 2721 1739 0 -1 64 7408 0 0 0 14 3 0 0 17 0 8 0 162895272 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2724] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 1739 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 1739 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2726] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 1739 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162895276 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=915648 CPUtime=0.17
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 1739 0 -1 64 437 0 0 0 17 0 0 0 16 0 8 0 162895276 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2728] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162895276 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162895276 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915648

[startup+6.27387 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2729
/proc/meminfo: memFree=1662408/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=915648 CPUtime=6.24
/proc/2721/stat : 2721 (java) R 2719 2721 1739 0 -1 0 24046 0 1 0 610 14 0 0 21 0 8 0 162895268 937623552 23779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2721/statm: 228912 23779 2181 14 0 215382 0
[pid=2721/tid=2723] ppid=2719 vsize=915648 CPUtime=0.17
/proc/2721/task/2723/stat : 2723 (java) S 2719 2721 1739 0 -1 64 7408 0 0 0 14 3 0 0 17 0 8 0 162895272 937623552 23779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2724] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 1739 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 23779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 1739 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 23779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2726] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 1739 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162895276 937623552 23779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=915648 CPUtime=0.18
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 1739 0 -1 64 439 0 0 0 18 0 0 0 16 0 8 0 162895276 937623552 23779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2728] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162895276 937623552 23779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162895276 937623552 23779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915648

[startup+12.7526 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2729
/proc/meminfo: memFree=1656528/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=915648 CPUtime=12.71
/proc/2721/stat : 2721 (java) R 2719 2721 1739 0 -1 0 25559 0 1 0 1254 17 0 0 18 0 8 0 162895268 937623552 25289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2721/statm: 228912 25289 2181 14 0 215382 0
[pid=2721/tid=2723] ppid=2719 vsize=915648 CPUtime=0.25
/proc/2721/task/2723/stat : 2723 (java) S 2719 2721 1739 0 -1 64 8911 0 0 0 22 3 0 0 16 0 8 0 162895272 937623552 25289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2724] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 1739 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 25289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 1739 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 25289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2726] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 1739 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162895276 937623552 25289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=915648 CPUtime=0.19
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 1739 0 -1 64 446 0 0 0 19 0 0 0 16 0 8 0 162895276 937623552 25289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2728] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162895276 937623552 25289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162895276 937623552 25289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915648

[startup+25.5791 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2729
/proc/meminfo: memFree=1656720/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=915648 CPUtime=25.53
/proc/2721/stat : 2721 (java) R 2719 2721 1739 0 -1 0 25565 0 1 0 2532 21 0 0 25 0 8 0 162895268 937623552 25294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2721/statm: 228912 25294 2181 14 0 215382 0
[pid=2721/tid=2723] ppid=2719 vsize=915648 CPUtime=0.25
/proc/2721/task/2723/stat : 2723 (java) S 2719 2721 1739 0 -1 64 8911 0 0 0 22 3 0 0 16 0 8 0 162895272 937623552 25294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2724] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 1739 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 25294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 1739 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 25294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2726] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 1739 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162895276 937623552 25294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=915648 CPUtime=0.2
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 1739 0 -1 64 451 0 0 0 20 0 0 0 16 0 8 0 162895276 937623552 25294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2728] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162895276 937623552 25294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162895276 937623552 25294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915648

[startup+51.2602 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2729
/proc/meminfo: memFree=1640720/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=915648 CPUtime=51.2
/proc/2721/stat : 2721 (java) R 2719 2721 1739 0 -1 0 29585 0 1 0 5086 34 0 0 25 0 8 0 162895268 937623552 29311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2721/statm: 228912 29311 2182 14 0 215382 0
[pid=2721/tid=2723] ppid=2719 vsize=915648 CPUtime=0.46
/proc/2721/task/2723/stat : 2723 (java) S 2719 2721 1739 0 -1 64 12925 0 0 0 41 5 0 0 16 0 8 0 162895272 937623552 29311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2724] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 1739 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 29311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 1739 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 29311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2726] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 1739 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162895276 937623552 29311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=915648 CPUtime=0.21
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 1739 0 -1 64 454 0 0 0 21 0 0 0 16 0 8 0 162895276 937623552 29311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2728] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162895276 937623552 29311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162895276 937623552 29311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915648

[startup+102.512 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2729
/proc/meminfo: memFree=1624144/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=915648 CPUtime=102.43
/proc/2721/stat : 2721 (java) R 2719 2721 1739 0 -1 0 33737 0 1 0 10181 62 0 0 25 0 8 0 162895268 937623552 33460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831653 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2721/statm: 228912 33460 2182 14 0 215382 0
[pid=2721/tid=2723] ppid=2719 vsize=915648 CPUtime=0.67
/proc/2721/task/2723/stat : 2723 (java) S 2719 2721 1739 0 -1 64 17074 0 0 0 59 8 0 0 16 0 8 0 162895272 937623552 33460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2724] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 1739 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 33460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 1739 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162895272 937623552 33460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2726] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 1739 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162895276 937623552 33460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=915648 CPUtime=0.21
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 1739 0 -1 64 454 0 0 0 21 0 0 0 16 0 8 0 162895276 937623552 33460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2728] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162895276 937623552 33460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=915648 CPUtime=0
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162895276 937623552 33460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915648

[startup+162.604 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2729
/proc/meminfo: memFree=1597392/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=915916 CPUtime=162.5
/proc/2721/stat : 2721 (java) R 2719 2721 1739 0 -1 0 40853 0 1 0 16155 95 0 0 25 0 8 0 162895268 937897984 40534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074244153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2721/statm: 228979 40534 2545 14 0 215449 0
[pid=2721/tid=2723] ppid=2719 vsize=915916 CPUtime=1.3
/proc/2721/task/2723/stat : 2723 (java) S 2719 2721 1739 0 -1 64 23620 0 0 0 120 10 0 0 16 0 8 0 162895272 937897984 40534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2724] ppid=2719 vsize=915916 CPUtime=0
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 1739 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 162895272 937897984 40534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=915916 CPUtime=0
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 1739 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162895272 937897984 40534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2726] ppid=2719 vsize=915916 CPUtime=0
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 1739 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162895276 937897984 40534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=915916 CPUtime=0.34
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 1739 0 -1 64 562 0 0 0 33 1 0 0 15 0 8 0 162895276 937897984 40534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2728] ppid=2719 vsize=915916 CPUtime=0
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162895276 937897984 40534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=915916 CPUtime=0
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162895276 937897984 40534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.5
Current children cumulated vsize (KiB) 915916

[startup+222.697 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2729
/proc/meminfo: memFree=1597264/2055920 swapFree=4191892/4192956
[pid=2721] ppid=2719 vsize=915916 CPUtime=222.56
/proc/2721/stat : 2721 (java) R 2719 2721 1739 0 -1 0 40882 0 1 0 22160 96 0 0 25 0 8 0 162895268 937897984 40551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074198713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2721/statm: 228979 40551 2545 14 0 215449 0
[pid=2721/tid=2723] ppid=2719 vsize=915916 CPUtime=1.3
/proc/2721/task/2723/stat : 2723 (java) S 2719 2721 1739 0 -1 64 23620 0 0 0 120 10 0 0 16 0 8 0 162895272 937897984 40551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2724] ppid=2719 vsize=915916 CPUtime=0
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 1739 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 162895272 937897984 40551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=915916 CPUtime=0
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 1739 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162895272 937897984 40551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2726] ppid=2719 vsize=915916 CPUtime=0
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 1739 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 162895276 937897984 40551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=915916 CPUtime=0.38
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 1739 0 -1 64 582 0 0 0 37 1 0 0 15 0 8 0 162895276 937897984 40551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2721/tid=2728] ppid=2719 vsize=915916 CPUtime=0
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162895276 937897984 40551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=915916 CPUtime=0
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 1739 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162895276 937897984 40551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.56
Current children cumulated vsize (KiB) 915916

Child status: 0
Real time (s): 250.973
CPU time (s): 250.824
CPU user time (s): 249.829
CPU system time (s): 0.994848
CPU usage (%): 99.9407
Max. virtual memory (cumulated for all children) (KiB): 915916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.829
system time used= 0.994848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40902
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= 6679
involuntary context switches= 1744

runsolver used 0.242963 s user time and 0.658899 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sun Jan  7 04:43:36 UTC 2007


IDJOB= 201065
IDBENCH= 3742
FILE ID= node35/201065-1168145016

PBS_JOBID= 3478107

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3bffaaad69c3a0c8af29ad6ffcc38a0b

RANDOM SEED= 269582466

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:       1749984 kB
Buffers:         16596 kB
Cached:         219980 kB
SwapCached:        268 kB
Active:         106068 kB
Inactive:       145340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1749984 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            6260 kB
Writeback:           0 kB
Mapped:          23752 kB
Slab:            40624 kB
Committed_AS:  3363608 kB
PageTables:       1412 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= 66555 MiB



End job on node35 on Sun Jan  7 04:47:47 UTC 2007