Trace number 201667

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 237.492 237.712

DiagnosticValue
CHECKS625073557
NODES22585

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-9.xml
MD5SUM5b72c86380aa44432a29d477c7fa6640
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1339
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/201667-1168149008/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.62	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.62	       =>  wckTime=0.31  cpuTime=0.23  mem=20M547
0.62	   
0.62	   predicates being loaded...
0.63	   
0.63	   constraints being loaded...
136.54	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=13669  nbConvertConstraintsChecks=220801156
136.54	     nbExtensionStructures=9396  nbSharedExtensionStructures=4273  nbConflictsStructures=9396
136.54	     nbSharedConflictsStructures=4273  nbSharedBinaryRepresentations=2525739  maxDegree=17  maxArity=2
136.54	       =>  wckTime=136.229  cpuTime=134.97  mem=95M965
136.89	   
136.89	   solver IterativeSystematicSolver being built... 
137.17	       =>  wckTime=136.853  cpuTime=135.21  mem=109M149
179.27	   
179.27	   INFO : Stopping ESAC
179.27	   
179.27	   preprocessing
179.27	     nbConstraintChecks=201871543  nbPropagations=389258  nbRevisions=1478903  nbUselessRevisions=1062688
179.27	     nbSingletonTests=7873  nbEffectiveSingletonTests=17  nbESACBranches=84  nbRemovedValues=64510
179.27	     detectedInconsistency=no
179.27	       =>  wckTime=42.091  cpuTime=42.0  mem=109M149
180.45	   
180.45	   search
180.45	     run=0  nbConstraintChecks=2968200  nbPropagations=393653  nbRevisions=1500082  nbUselessRevisions=1076081
180.45	     nbAssignments=84  nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=106  nbRestartNogoods=0  mapSize=10
180.45	     nbInferences=0  nbTooLargeKeys=0
180.45	       =>  wckTime=43.271  cpuTime=43.17  mem=112M607
181.01	   
181.01	   search
181.01	     run=1  nbConstraintChecks=6693197  nbPropagations=792487  nbRevisions=3027446  nbUselessRevisions=2169064
181.01	     nbAssignments=183  nbFailedAssignments=39  nbBacktracks=25  nbVisitedNodes=238  nbRestartNogoods=2  mapSize=24
181.01	     nbInferences=0  nbTooLargeKeys=0
181.01	       =>  wckTime=43.83  cpuTime=43.72  mem=115M285
184.16	   
184.16	   search
184.16	     run=2  nbConstraintChecks=24267669  nbPropagations=1228286  nbRevisions=4724244  nbUselessRevisions=3389038
184.16	     nbAssignments=1130  nbFailedAssignments=65  nbBacktracks=50  nbVisitedNodes=970  nbRestartNogoods=9  mapSize=42
184.16	     nbInferences=0  nbTooLargeKeys=0
184.16	       =>  wckTime=46.985  cpuTime=46.83  mem=114M904
201.27	   
201.27	   search
201.27	     run=3  nbConstraintChecks=154159500  nbPropagations=1936053  nbRevisions=7599475  nbUselessRevisions=5495292
201.27	     nbAssignments=8233  nbFailedAssignments=100  nbBacktracks=84  nbVisitedNodes=1607  nbRestartNogoods=25  mapSize=58
201.27	     nbInferences=0  nbTooLargeKeys=0
201.27	       =>  wckTime=64.096  cpuTime=63.9  mem=135M641
210.31	   
210.31	   search
210.31	     run=4  nbConstraintChecks=224930072  nbPropagations=2784146  nbRevisions=11039562  nbUselessRevisions=8014672
210.31	     nbAssignments=11300  nbFailedAssignments=139  nbBacktracks=137  nbVisitedNodes=2042  nbRestartNogoods=38
210.31	     mapSize=80  nbInferences=0  nbTooLargeKeys=0
210.31	       =>  wckTime=73.13  cpuTime=72.92  mem=149M751
212.71	   
212.71	   search
212.71	     run=5  nbConstraintChecks=239012271  nbPropagations=3657893  nbRevisions=14613080  nbUselessRevisions=10630190
212.71	     nbAssignments=11776  nbFailedAssignments=231  nbBacktracks=213  nbVisitedNodes=2629  nbRestartNogoods=45
212.71	     mapSize=123  nbInferences=0  nbTooLargeKeys=0
212.71	       =>  wckTime=75.536  cpuTime=75.27  mem=139M767
215.18	   
215.18	   search
215.18	     run=6  nbConstraintChecks=252407770  nbPropagations=4557688  nbRevisions=18341114  nbUselessRevisions=13355984
215.18	     nbAssignments=12649  nbFailedAssignments=548  nbBacktracks=328  nbVisitedNodes=3872  nbRestartNogoods=47
215.18	     mapSize=210  nbInferences=0  nbTooLargeKeys=0
215.18	       =>  wckTime=77.999  cpuTime=77.74  mem=160M526
237.65	   
237.65	   search
237.65	     run=7  nbConstraintChecks=423202014  nbPropagations=5798110  nbRevisions=23506315  nbUselessRevisions=17136234
237.65	     nbAssignments=22585  nbFailedAssignments=970  nbBacktracks=396  nbVisitedNodes=6824  nbRestartNogoods=72
237.65	     mapSize=277  nbInferences=0  nbTooLargeKeys=0
237.65	       =>  wckTime=100.467  cpuTime=100.15  mem=175M604
237.65	   
237.65	   global
237.65	     nbConstraintChecks=625073557  nbPropagations=6187368  nbRevisions=24985218  nbUselessRevisions=18198922
237.65	     nbRestartNogoods=72  solvingWckTime=100.469  solvingCpuTime=100.15  expiredTime=no  totalExploration=no
237.65	     nbFoundSolutions=1  globalCpuTime=235.42
237.65	       =>  wckTime=237.334  cpuTime=235.37  mem=175M604
237.65	   
237.65	s SATISFIABLE
237.65	v -2552 -2516 2572 -2616 2360 -2460 2656 2488 -2656 2384 -2320 2356 2636 -2656 2580 -2616 -2280 -2296 -2284 -2308 2444 -2324 2340 -2492 2400 -2596 2328 -2536 2656 2452 2332 -2444 2516 -2424 2584 2568 2408 2380 2484 -2412 -2340 -2320 -2384 2280 2424 2524 2512 2528 2460 -2412 2348 2560 -2616 -2656 -2640 -2612 -2556 2328 -2548 -2568 2576 -2368 -2320 -2332 -2372 2568 2348 -2656 -2624 -2280 -2536 -2488 -2404 2432 -2320 2580 -2412 2616 2600 2396 2648 2340 -2368 2432 -2616 -2348 -2484 2400 2328 -2624 -2352 -2376 2576 -2292 -2396 -2280 -2656 -2540 -2420 2608 -2328 2612 -2488 2496 2336 2600 -2656 -2420 -2364 2568 -2420 -2280 -2320 -2320 2628 2616 -2576 2516 2484 2460 2616 -2468 2572 2600 2408 2616 -2424 2468 2616 -2292 -2480 -2364 -2648 -2624 -2344 -2364 -2284 2344 -2616 -2292 -2320 2320 -2476 -2280 -2520 2656 -2280 2544 -2616 2588 2440 -2428 -2388 -2292 -2636 -2560 2320 2288 -2304 -2616 -2320 2648 -2476 2552 -2464 -2448 -2332 2576 2372 2496 -2588 -2284 -2384 -2384 2460 2396 -2280 2596 -2376 2616 2444 -2300 -2328 2612 2576 -2428 2400 -2532 -2636 -2468 -2328 2284 2364 -2380 2304 2644 -2368 2448 -2616 2556 2372 2648 -2512 2616 -2616 2608 -2636 2444 2380 2548 2640 -2436 -2300 -2360 -2608 -2460 -2496 -2608 2444 -2344 2364 -2556 2656 -2360 -2480 -2620 2616 2508 -2448 2288 -2324 2616 -2284 2648 -2568 -2332 -2636 2640 -2656 2588 -2656 2356 2412 2336 -2328 2528 2392 -2352 -2388 -2600 -2640 -2492 -2592 -2280 2648 2300 -2468 -2468 2352 -2320 -2580 2440 -2416 -2452 2572 2280 2612 -2616 2640 2616 -2320 2572 2588 -2560 2536 -2532 2340 -2368 -2324 -2320 2460 -2476 2280 -2380 2612 -2320 -2412 2384 2536 2280 -2468 2508 -2396 -2412 2540 2304 -2480 -2572 2388 -2616 -2320 -2440 2592 2616 -2396 -2636 -2552 -2432 -2328 2308 2472 -2596 -2420 -2632 2368 2656 2616 2280 -2372 -2320 -2556 2328 2656 -2616 2348 -2536 -2492 -2320 2448 2648 -2400 -2564 -2656 2584 2568 -2320 2412 -2360 -2344 2588 2316 -2492 -2656 -2656 2504 2604 2604 2512 -2280 2492 -2428 2576 2616 2640 2532 -2504 -2280 2388 -2408 -2436 2556 -2348 -2600 -2344 2656 2652 -2460 -2628 -2656 2380 -2284 -2584 -2468 -2328 2496 2600 2424 -2296 -2468 -2548 2540 2460 -2292 -2420 -2344 -2656 2320 2552 2604 2604 -2472 2472 2356 -2448 2448 2520 2308 -2280 2536 2572 2428 -2320 2424 -2552 -2396 2432 -2416 -2448 -2348 -2336 2536 2608 2368 -2616 2568 2320 2372 2588 2604 2576 2292 2412 2388 -2364 2616 -2636 2488 -2496 -2636 2580 -2376 2540 2340 -2376 -2608 2492 -2280 2552 2332 -2540 2508 -2548 2600 -2332 -2324 2536 -2332 2312 -2656 2520 2320 -2280 -2396 2416 -2344 -2584 -2644 -2392 -2400 2592 -2528 2648 2476 2448 -2372 2308 2484 -2308 -2616 -2536 2348 -2376 -2420 -2644 2412 2324 2388 2332 -2616 2348 2632 2408 2604 -2540 2564 2492 -2616 2464 -2508 -2356 -2552 2320 -2596 2588 2360 2656 -2340 2560 2552 2408 -2348 -2316 2488 -2596 -2320 2368 2616 2640 -2608 -2296 2408 -2656 -2600 2496 -2536 -2344 -2480 2616 -2640 -2472 2340 -2304 2540 2548 2624 -2656 2456 2320 2428 -2400 2616 -2288 2472 -2280 2632 -2280 -2584 -2500 2600 -2388 2360 2620 -2616 2636 -2420 2576 -2568 2420 2440 -2600 2656 2280 2364 -2320 -2364 2468 -2416 -2320 2356 2656 -2532 -2320 -2516 2384 2424 -2608 2516 -2640 -2324 -2424 -2580 2620 2396 2612 -2536 2552 -2536 2280 2656 -2552 2344 2308 -2528 -2320 -2360 -2588 2456 2568 -2548 2320 -2532 2288 -2496 -2520 -2348 -2428 -2320 2596 2556 -2616 2532 2368 -2584 -2484 2364 2420 -2388 2536 -2488 2572 -2280 2304 2600 2600 -2356 2428 2636 2600 -2584 2592 2616 2636 2640 2656 -2460 2600 2596 2332 2652 2564 -2484 -2280 2280 2616 -2396 2656 2292 -2592 -2556 -2324 2324 2616 2388 2320 -2332 -2372 2588 -2368 2280 -2348 2508 -2344 2480 -2532 2548 2320 2628 2628 -2508 -2316 2452 2640 -2556 -2432 2372 -2288 -2488 2600 2348 -2472 2408 -2600 2536 -2584 2644 -2656 -2452 -2428 -2544 -2280 -2588 2316 -2584 -2280 -2320 -2512 2636 2360 -2284 2576 -2456 -2444 2376 -2288 -2280 2420 2284 2296 2484 2320 2564 2568 2616 -2356 -2656 2536 2492 2640 -2532 2584 2644 -2636 -2632 2280 2464 -2460 2516 2292 2616 -2320 -2404 2340 -2608 -2620 -2440 -2312 -2320 -2616 2336 2336 -2412 2360 -2656 2604 2524 -2588 2548 2328 -2392 -2404 2412 -2320 -2572 2396 2596 -2524 -2588 2440 -2508 -2560 -2504 -2384 -2588 -2628 2612 2572 2328 -2492 -2320 -2656 -2616 2452 2432 -2404 2516 -2656 -2616 -2600 -2596 2632 2284 2280 2616 -2320 2320 -2608 2356 2596 2332 2616 -2612 -2296 2624 2588 2468 2600 2656 2620 -2652 -2528 2656 2308 -2596 -2516 -2320 -2360 2344 2424 -2616 -2320 -2516 2500 -2608 -2536 -2600 -2568 -2280 -2280 2516 -2284 -2280 2480 2652 -2384 2332 -2368 -2392 -2380 -2348 -2440 2472 -2332 2320 2592 -2404 -2420 -2444 -2280 -2444 -2488 -2656 -2324 -2560 2452 -2444 -2616 2616 2524 -2280 2404 -2600 2340 2292 -2516 -2432 2612 2540 -2292 2656 -2280 -2384 2280 2512 -2320 -2320 -2320 2372 -2616 2464 -2400 -2384 -2360 -2320 2472 2404 -2356 2632 -2280 -2572 2592 -2320 -2320 -2320 -2340 2356 -2420 2400 -2424 2324 2616 -2344 2508 -2340 -2308 -2608 -2636 -2520 -2604 2524 2544 2428 -2476 -2652 -2388 -2380 -2596 -2656 2460 -2352 2432 2484 2596 2644 -2280 -2324 2288 2588 -2640 2452 2640 -2532 -2404 -2624 -2656 2580 2332 -2448 2652 2564 -2656 -2468 2484 -2320 -2492 -2320 2428 -2380 -2568 2580 2336 -2588 -2584 2528 -2556 -2624 -2324 2540 -2572 -2484 2500 -2416 -2384 2280 2400 -2632 -2592 2468 -2616 2408 2380 2656 2544 -2552 -2456 2500 -2404 -2456 2516 -2368 -2360 -2616 2284 -2616 2628 -2320 -2404 -2412 2608 -2476 2364 -2464 2656 2352 2604 2348 2480 -2588 2584 -2464 2280 2376 -2460 2292 2572 2516 -2616 -2480 2656 -2364 2492 2516 -2436 2612 2600 2336 2484 2608 -2592 -2656 -2424 2540 2460 -2628 -2440 -2472 -2548 -2420 -2480 2380 -2320 2536 2320 2540 2612 2576 -2344 2592 2368 -2344 2520 -2280 -2592 -2652 -2656 2552 -2516 -2576 2512 -2656 2328 2612 -2616 2496 2560 2392 2500 -2612 2552 2632 2576 -2388 2540 2428 -2440 -2396 -2616 2280 -2600 -2592 -2556 -2524 2336 2360 2640 2432 2328 2284 2600 2656 -2440 2524 2656 2356 -2320 -2580 2588 2324 -2636 -2656 -2380 -2332 2404 -2656 2284 2320 -2556 2356 2360 -2320 2544 2340 2332 -2656 -2352 2448 -2512 -2368 -2544 2392 2568 -2524 2616 -2652 2432 2340 -2384 2432 -2332 -2360 2344 -2344 -2300 2496 -2604 -2528 2656 2616 -2364 2496 2616 -2556 -2656 2648 2636 -2372 2364 -2544 2568 2636 -2472 2620 2384 -2284 2616 -2404 -2444 2584 2372 -2324 2464 -2596 -2388 -2624 2584 -2356 -2304 -2344 2476 2376 -2552 2588 -2296 -2372 2408 -2320 -2616 -2320 -2580 -2608 -2656 2632 -2468 2528 -2532 -2468 -2384 -2572 2596 2624 2560 -2580 2356 -2456 2608 -2536 -2324 -2536 2592 2596 -2568 -2340 -2524 2512 2500 -2396 -2384 -2608 -2400 2500 2648 -2612 2292 -2624 -2280 -2608 2392 -2592 -2340 -2292 -2544 -2472 -2656 -2616 2576 2480 2416 2556 2632 2348 2604 -2316 -2656 -2280 2596 -2284 2332 -2412 -2588 -2320 2396 -2556 2596 -2460 -2408 -2528 2536 -2284 -2436 -2588 -2528 2512 -2380 2572 2320 2328 -2612 2348 -2548 -2656 -2536 -2324 -2444 -2460 2612 -2604 2616 -2544 -2460 -2536 -2384 -2604 -2280 -2288 2656 2492 -2320 -2280 -2340 -2584 -2364 2280 -2296 -2524 -2320 2368 -2652 2560 2280 -2624 -2636 2624 -2484 2572 -2656 2380 2448 2376 -2656 2640 -2324 -2508 -2344 2476 -2592 -2516 2592 2604 2584 -2480 -2584 -2392 2336 2564 2612 2376 -2536 2532 -2652 2528 2488 2612 2380 -2280 -2600 -2476 2632 2620 -2388 -2324 2532 -2372 -2616 2608 2608 -2332 -2380 2444 2472 2376 2460 2320 -2344 -2556 2628 -2324 2460 2320 -2616 -2396 2460 2472 -2616 -2412 -2480 2568 -2308 -2464 -2292 2560 2564 2340 -2616 2520 -2528 2332 2532 -2368 2644 2396 2600 2300 2360 -2488 2384 2644 2332 2616 -2592 2596 2280 -2320 -2384 -2436 2596 2396 2320 2312 2656 -2416 2608 -2364 2280 -2320 2648 -2364 -2624 2556 2388 2596 2508 -2356 2616 2484 2308 2348 -2656 -2320 -2516 -2476 2656 -2296 2640 -2492 2428 -2348 2452 2404 2300 2340 -2320 2572 2404 2580 2556 -2448 -2612 2560 2612 2408 2360 2328 2280 2288 -2588 -2316 2384 2444 -2496 2352 2396 -2576 -2320 -2280 -2280 2464 2452 -2376 2656 -2616 -2496 -2476 2616 2480 2612 -2572 -2432 2540 2592 -2284 -2548 -2320 -2612 2320 -2284 2492 -2500 -2372 2380 2592 -2612 2408 2424 -2616 2488 2584 2416 -2320 2320 -2328 -2392 2492 -2556 2600 2576 2488 -2608 -2536 2416 -2612 2400 -2512 2604 2384 2604 2436 -2396 2568 -2536 -2368 -2288 -2580 2600 -2560 -2656 2504 2604 2640 2280 -2444 2372 2288 2632 -2644 -2656 2500 -2420 2280 -2328 -2436 2348 2360 -2432 -2280 -2616 -2436 -2552 2612 -2392 -2616 -2528 2428 -2388 -2588 2380 2488 -2336 2416 2308 -2364 -2580 2572 -2496 2452 -2384 -2336 -2280 -2284 -2640 -2452 2364 -2484 2652 -2324 -2332 -2384 2324 2596 2448 -2280 -2288 2644 -2404 -2528 -2280 2404 2424 -2332 -2280 -2280 -2320 -2652 -2616 2436 -2656 2636 -2436 2492 -2388 -2432 -2600 2480 2492 -2388 2632 -2308 2332 2636 -2500 -2544 -2420 2628 2612 2396 2536 -2596 -2464 -2320 -2608 2640 -2604 2576 2348 -2484 -2460 -2496 -2320 -2528 -2324 2552 2292 -2636 -2656 -2300 2320 2628 2592 -2404 -2392 -2408 -2572 -2612 2360 -2320 2320 2520 -2392 2416 2340 -2280 -2280 2564 2656 -2524 2440 2596 2564 -2316 -2488 -2280 2596 2392 -2352 -2500 2596 2632 2568 -2656 -2616 -2552 2448 -2336 -2644 -2584 -2380 -2300 2524 2656 -2580 -2440 -2652 2368 -2528 2324 2340 -2320 -2412 -2424 -2424 -2484 2300 -2320 2408 2616 -2596 -2280 -2616 -2436 -2512 -2548 -2496 2628 -2656 -2524 2504 2556 -2616 2600 2656 2596 2452 2380 -2656 -2616 2640 -2376 -2648 2400 -2600 -2616 -2536 -2320 -2624 -2436 -2368 2428 -2328 -2532 2452 -2336 2280 2496 -2608 -2656 -2280 -2636 -2488 -2392 -2572 -2612 2552 -2548 -2428 2360 -2576 -2628 2580 2656 2564 -2568 2524 2616 -2504 -2280 2576 2592 2640 -2656 2280 2308 -2592 -2452 2328 -2488 2608 -2536 -2280 -2320 2372 -2484 2388 2600 -2280 2332 2592 -2424 -2656 -2348 2528 2568 -2280 2516 2432 2616 2656 2372 2572 2492 2292 2624 2628 -2500 2492 -2564 -2364 -2428 2440 -2560 -2288 2284 2516 -2372 2612 2360 -2416 2324 -2460 2432 -2284 -2572 2552 -2520 2488 2592 2484 -2400 -2580 2580 2508 2612 -2504 2584 2560 2564 -2356 -2320 -2324 2604 2428 -2280 2444 -2520 -2648 2640 2432 2512 2544 2516 -2584 2384 -2548 2572 -2320 2600 2516 -2324 2500 2528 -2632 2536 2280 2596 -2500 -2576 -2280 2616 -2592 2328 2400 2652 2616 -2372 2640 -2532 2408 2616 -2448 2560 -2656 2520 2652 2372 2656 2324 -2392 2280 2616 -2636 -2612 2284 -2556 -2320 -2280 -2584 2576 2400 2548 -2280 -2320 2588 -2596 -2400 2532 2340 2304 -2612 -2616 -2444 2284 -2504 -2300 -2380 -2624 -2512 -2488 -2520 2424 -2320 -2320 2568 2344 2596 -2640 2500 2280 -2368 -2484 -2356 2320 2352 2324 2532 -2280 -2280 2556 -2304 -2584 2320 -2412 -2452 -2280 -2524 -2280 2408 2584 2616 -2348 2356 2340 -2500 -2280 2656 -2316 2328 2396 2548 -2324 2600 -2312 -2560 2520 2388 -2560 2656 -2320 2284 -2624 -2300 -2656 -2484 2280 -2404 2356 -2600 2652 -2340 2568 -2360 -2320 -2600 2332 -2300 2320 -2524 -2492 -2556 -2600 -2468 2428 2320 -2420 -2332 2308 -2368 -2532 -2360 -2592 -2452 2488 2516 -2280 -2320 -2296 -2616 -2416 2452 -2280 -2616 -2320 -2392 -2656 -2576 2544 -2528 -2320 -2420 2520 2652 2404 2456 -2644 -2616 2320 -2456 2280 -2568 -2440 2508 -2540 -2496 -2332 -2320 2516 -2396 2528 2640 -2656 2560 -2412 -2320 -2656 -2340 2572 2280 -2484 2432 2344 -2424 -2280 -2452 2324 2616 2436 -2624 -2292 -2588 2560 2352 -2452 -2316 -2584 
237.65	d NODES 22585
237.65	d CHECKS 625073557
237.65	   
237.65	   totalWckTime=237.412  totalCpuTime=235.42

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/node50/watcher-201667-1168149008 -o ROOT/results/node50/solver-201667-1168149008 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201667-1168149008/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: 0.92 1.13 1.52 1/65 30297
/proc/meminfo: memFree=1494440/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=1500 CPUtime=0
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 78 0 0 0 0 0 0 0 20 0 1 0 163299463 1536000 61 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7882545 0 0 4096 0 0 0 0 17 1 0 0
/proc/30296/statm: 375 69 55 14 0 8 0

[startup+0.102276 s]
/proc/loadavg: 0.92 1.13 1.52 1/65 30297
/proc/meminfo: memFree=1494440/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=913228 CPUtime=0.07
/proc/30296/stat : 30296 (java) D 30294 30296 29308 0 -1 0 2919 0 1 0 6 1 0 0 16 0 8 0 163299463 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228

[startup+0.510336 s]
/proc/loadavg: 0.92 1.13 1.52 1/65 30297
/proc/meminfo: memFree=1494440/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915328 CPUtime=0.48
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 7139 0 1 0 44 4 0 0 16 0 8 0 163299463 937295872 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228832 6879 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33248 s]
/proc/loadavg: 0.92 1.13 1.52 2/72 30304
/proc/meminfo: memFree=1426224/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=1.3
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 21467 0 1 0 119 11 0 0 17 0 8 0 163299463 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 21204 2160 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.08
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 4923 0 0 0 7 1 0 0 16 0 8 0 163299467 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.15
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 409 0 0 0 15 0 0 0 15 0 8 0 163299470 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648

[startup+2.97075 s]
/proc/loadavg: 0.92 1.13 1.52 2/72 30304
/proc/meminfo: memFree=1417584/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=2.95
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 21557 0 1 0 283 12 0 0 17 0 8 0 163299463 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 21292 2181 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.1
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 4923 0 0 0 9 1 0 0 16 0 8 0 163299467 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.19
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 435 0 0 0 19 0 0 0 16 0 8 0 163299470 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915648

[startup+6.2663 s]
/proc/loadavg: 0.93 1.13 1.52 2/72 30304
/proc/meminfo: memFree=1417584/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=6.25
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 21561 0 1 0 612 13 0 0 18 0 8 0 163299463 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 21295 2181 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.1
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 4923 0 0 0 9 1 0 0 16 0 8 0 163299467 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.19
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 438 0 0 0 19 0 0 0 15 0 8 0 163299470 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915648

[startup+12.7344 s]
/proc/loadavg: 0.93 1.13 1.52 2/72 30304
/proc/meminfo: memFree=1407352/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=12.71
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 24181 0 1 0 1254 17 0 0 17 0 8 0 163299463 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 23912 2181 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.21
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 7534 0 0 0 18 3 0 0 16 0 8 0 163299467 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.2
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 444 0 0 0 20 0 0 0 16 0 8 0 163299470 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 23912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915648

[startup+25.5805 s]
/proc/loadavg: 0.95 1.12 1.51 2/72 30304
/proc/meminfo: memFree=1407352/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=25.54
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 24192 0 1 0 2534 20 0 0 17 0 8 0 163299463 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839229 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 23921 2181 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.21
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 7534 0 0 0 18 3 0 0 16 0 8 0 163299467 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.21
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 453 0 0 0 21 0 0 0 16 0 8 0 163299470 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 23921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915648

[startup+51.2609 s]
/proc/loadavg: 0.96 1.11 1.49 2/72 30304
/proc/meminfo: memFree=1390456/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=51.21
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 28436 0 1 0 5090 31 0 0 25 0 8 0 163299463 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 28163 2181 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.48
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 11776 0 0 0 44 4 0 0 16 0 8 0 163299467 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.21
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 453 0 0 0 21 0 0 0 16 0 8 0 163299470 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 28163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915648

[startup+102.512 s]
/proc/loadavg: 0.98 1.09 1.46 2/72 30304
/proc/meminfo: memFree=1369656/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=102.44
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 33642 0 1 0 10187 57 0 0 25 0 8 0 163299463 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30296/statm: 228912 33366 2182 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=0.77
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 16979 0 0 0 71 6 0 0 16 0 8 0 163299467 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.21
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 453 0 0 0 21 0 0 0 16 0 8 0 163299470 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 33366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915648

[startup+162.522 s]
/proc/loadavg: 0.99 1.07 1.43 2/72 30304
/proc/meminfo: memFree=1345912/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=162.4
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 39938 0 1 0 16162 78 0 0 25 0 8 0 163299463 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30296/statm: 228912 39650 2545 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=1.34
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 22766 0 0 0 126 8 0 0 16 0 8 0 163299467 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.32
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 518 0 0 0 31 1 0 0 15 0 8 0 163299470 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 39650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.4
Current children cumulated vsize (KiB) 915648

[startup+222.549 s]
/proc/loadavg: 0.99 1.06 1.40 2/72 30304
/proc/meminfo: memFree=1305016/2055920 swapFree=4191892/4192956
[pid=30296] ppid=30294 vsize=915648 CPUtime=222.36
/proc/30296/stat : 30296 (java) R 30294 30296 29308 0 -1 0 50161 0 1 0 22152 84 0 0 25 0 8 0 163299463 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074148528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30296/statm: 228912 49864 2547 14 0 215382 0
[pid=30296/tid=30298] ppid=30294 vsize=915648 CPUtime=1.41
/proc/30296/task/30298/stat : 30298 (java) S 30294 30296 29308 0 -1 64 32958 0 0 0 129 12 0 0 16 0 8 0 163299467 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30299] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30299/stat : 30299 (java) S 30294 30296 29308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30300] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30300/stat : 30300 (java) S 30294 30296 29308 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163299467 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30301] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30301/stat : 30301 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163299470 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30302] ppid=30294 vsize=915648 CPUtime=0.36
/proc/30296/task/30302/stat : 30302 (java) S 30294 30296 29308 0 -1 64 538 0 0 0 35 1 0 0 16 0 8 0 163299470 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30303] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30303/stat : 30303 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 163299471 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30296/tid=30304] ppid=30294 vsize=915648 CPUtime=0
/proc/30296/task/30304/stat : 30304 (java) S 30294 30296 29308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163299471 937623552 49864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.36
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 237.712
CPU time (s): 237.492
CPU user time (s): 236.596
CPU system time (s): 0.895863
CPU usage (%): 99.9073
Max. virtual memory (cumulated for all children) (KiB): 915652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 236.596
system time used= 0.895863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54557
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= 6209
involuntary context switches= 3876

runsolver used 0.220966 s user time and 0.628904 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sun Jan  7 05:50:09 UTC 2007


IDJOB= 201667
IDBENCH= 3777
FILE ID= node50/201667-1168149008

PBS_JOBID= 3478376

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5b72c86380aa44432a29d477c7fa6640

RANDOM SEED= 360874104

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.263
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	: 5931.00
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.263
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:       1494920 kB
Buffers:         40672 kB
Cached:         448872 kB
SwapCached:        396 kB
Active:         233244 kB
Inactive:       271184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1494920 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            5280 kB
Writeback:           0 kB
Mapped:          23712 kB
Slab:            42492 kB
Committed_AS:  3698528 kB
PageTables:       1460 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= 66558 MiB



End job on node50 on Sun Jan  7 05:54:07 UTC 2007