Trace number 201564

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 157.595 157.695

DiagnosticValue
CHECKS174094620
NODES11984

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-10.xml
MD5SUM63ed4f91155f2b79f30edca48a7e3b10
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 benchmark13.4989
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/201564-1168148509/unknown.xml
0.36	   
0.36	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.61	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.61	       =>  wckTime=0.311  cpuTime=0.22  mem=20M547
0.61	   
0.61	   predicates being loaded...
0.61	   
0.61	   constraints being loaded...
128.69	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=13669  nbConvertConstraintsChecks=206865844
128.69	     nbExtensionStructures=8936  nbSharedExtensionStructures=4733  nbConflictsStructures=8936
128.69	     nbSharedConflictsStructures=4733  nbSharedBinaryRepresentations=2374418  maxDegree=17  maxArity=2
128.69	       =>  wckTime=128.391  cpuTime=127.16  mem=81M421
129.03	   
129.03	   solver IterativeSystematicSolver being built... 
129.30	       =>  wckTime=129.001  cpuTime=127.38  mem=107M439
135.90	   
135.90	   preprocessing
135.90	     nbConstraintChecks=34717478  nbPropagations=73406  nbRevisions=239755  nbUselessRevisions=165415
135.90	     nbSingletonTests=2049  nbEffectiveSingletonTests=0  nbESACBranches=9  nbRemovedValues=39962
135.90	     detectedInconsistency=no
135.90	       =>  wckTime=6.585  cpuTime=6.53  mem=107M439
138.41	   
138.41	   search
138.41	     run=0  nbConstraintChecks=7648443  nbPropagations=89801  nbRevisions=302699  nbUselessRevisions=209017
138.41	     nbAssignments=600  nbFailedAssignments=23  nbBacktracks=10  nbVisitedNodes=628  nbRestartNogoods=0  mapSize=5
138.41	     nbInferences=0  nbTooLargeKeys=0
138.41	       =>  wckTime=9.101  cpuTime=8.99  mem=108M483
145.79	   
145.79	   search
145.79	     run=1  nbConstraintChecks=63106241  nbPropagations=297975  nbRevisions=1008932  nbUselessRevisions=699065
145.79	     nbAssignments=5077  nbFailedAssignments=49  nbBacktracks=29  nbVisitedNodes=1300  nbRestartNogoods=10  mapSize=12
145.79	     nbInferences=0  nbTooLargeKeys=0
145.79	       =>  wckTime=16.483  cpuTime=16.34  mem=129M899
150.09	   
150.09	   search
150.09	     run=2  nbConstraintChecks=92376076  nbPropagations=569567  nbRevisions=1946561  nbUselessRevisions=1353185
150.09	     nbAssignments=7520  nbFailedAssignments=114  nbBacktracks=51  nbVisitedNodes=1847  nbRestartNogoods=15  mapSize=30
150.09	     nbInferences=0  nbTooLargeKeys=0
150.09	       =>  wckTime=20.78  cpuTime=20.62  mem=144M301
155.02	   
155.02	   search
155.02	     run=3  nbConstraintChecks=129818883  nbPropagations=911514  nbRevisions=3169652  nbUselessRevisions=2196831
155.02	     nbAssignments=9966  nbFailedAssignments=356  nbBacktracks=85  nbVisitedNodes=2765  nbRestartNogoods=25  mapSize=62
155.02	     nbInferences=0  nbTooLargeKeys=0
155.02	       =>  wckTime=25.709  cpuTime=25.49  mem=132M115
157.65	   
157.65	   search
157.65	     run=4  nbConstraintChecks=139377142  nbPropagations=1278631  nbRevisions=4480954  nbUselessRevisions=3103539
157.65	     nbAssignments=11984  nbFailedAssignments=374  nbBacktracks=85  nbVisitedNodes=4801  nbRestartNogoods=26  mapSize=62
157.65	     nbInferences=0  nbTooLargeKeys=0
157.65	       =>  wckTime=28.338  cpuTime=28.11  mem=174M982
157.65	   
157.65	   global
157.65	     nbConstraintChecks=174094620  nbPropagations=1352037  nbRevisions=4720709  nbUselessRevisions=3268954
157.65	     nbRestartNogoods=26  solvingWckTime=28.341  solvingCpuTime=28.11  expiredTime=no  totalExploration=no
157.65	     nbFoundSolutions=1  globalCpuTime=155.56
157.65	       =>  wckTime=157.353  cpuTime=155.51  mem=174M982
157.65	   
157.65	s SATISFIABLE
157.65	v -2656 2652 -2528 2580 2380 2528 -2320 -2360 2656 -2320 -2312 2380 2632 -2492 2616 -2484 2348 2400 2536 -2312 -2320 -2348 -2304 2384 2336 2636 -2328 -2580 -2656 -2532 -2372 -2372 -2516 -2388 2616 2424 2656 2408 2468 2280 2396 -2320 -2428 -2432 -2420 2624 -2616 -2656 -2656 2320 -2280 -2560 -2624 -2320 2584 -2560 2612 2656 -2548 2420 -2592 2624 2496 2448 -2328 -2576 2352 -2544 2656 2640 -2552 2552 -2480 2284 -2300 2584 -2324 -2620 2532 -2320 2400 2524 -2572 2440 2592 -2320 2404 -2592 -2320 -2656 2352 -2392 2536 -2320 -2396 -2440 2656 2568 -2656 -2616 -2288 -2628 -2420 -2620 -2288 2640 -2612 -2448 -2604 2408 2468 2656 2372 2308 -2624 2616 -2500 -2376 -2576 2432 -2280 2600 2588 -2616 -2384 -2600 -2296 2464 2616 -2440 -2520 -2320 2656 -2624 -2408 -2284 -2656 -2500 2528 2568 -2444 2360 -2604 -2376 -2460 2300 2280 -2612 -2332 -2584 -2280 -2412 -2344 -2296 2588 2500 2464 2420 2616 -2324 2340 2616 2436 -2648 -2508 2348 2612 2528 -2372 -2548 -2556 2616 -2376 -2284 2280 2436 -2400 2616 2312 -2656 -2504 -2468 2656 2320 2620 2368 2356 -2328 2596 -2596 -2280 2280 -2284 -2432 -2616 2656 2328 -2304 2616 -2504 2284 2652 2564 -2560 -2288 2588 -2636 2532 -2332 -2636 -2656 -2320 -2316 -2344 2596 -2384 -2560 -2656 -2444 2336 2540 -2596 -2352 -2332 -2320 2624 -2340 -2464 -2400 -2280 2472 2600 2444 2600 2640 -2304 2568 2596 -2656 2596 -2656 -2296 2284 2360 -2324 -2616 -2400 -2320 -2280 2616 -2624 2468 2568 2388 2612 -2564 2488 -2560 -2360 2600 2596 2480 -2388 2600 2540 2280 -2624 2392 -2584 -2280 2404 -2480 2620 2536 2540 -2616 -2604 -2364 2588 2512 2616 2464 2280 -2340 2280 -2348 -2396 2328 -2576 -2288 -2580 -2560 -2424 -2428 2580 2436 -2468 -2640 -2284 -2656 2320 -2472 -2604 2648 -2504 -2636 2592 -2460 2320 -2280 2412 -2632 2396 2604 -2464 2288 -2616 2280 -2320 -2320 2528 2412 2296 2580 -2320 2496 2624 -2320 2416 -2656 2352 2564 2584 -2580 2524 -2348 -2364 2320 -2320 -2504 -2432 2332 -2640 2636 -2564 2596 -2564 -2340 -2352 -2492 2320 -2320 -2280 -2656 -2532 -2368 2472 -2352 -2340 -2476 -2576 -2340 -2576 2308 2284 2628 -2452 -2496 -2572 -2328 -2284 2616 -2368 -2544 -2492 2488 -2412 -2448 2472 -2568 -2544 2536 -2400 -2576 -2392 -2632 -2480 -2468 2368 2520 2616 2420 -2472 2420 2488 2540 -2444 2300 -2564 2572 2436 2328 -2616 -2528 -2408 -2352 2432 2460 -2536 -2324 2500 -2560 2432 2656 -2580 2512 2372 -2576 -2576 -2552 2576 -2604 -2304 -2412 2600 -2656 2612 2400 2632 -2580 -2424 -2452 -2392 -2348 2528 2424 -2396 2568 -2360 2656 2440 2596 -2656 2536 -2576 2612 2416 2356 2616 2556 -2332 -2284 -2440 2288 -2656 -2580 -2584 2444 2376 2616 2524 2632 2656 -2616 -2364 -2300 -2384 2280 -2616 -2628 2340 -2328 -2336 -2328 2280 -2504 -2336 -2336 -2572 2280 2368 2584 -2656 2620 2604 -2320 2320 2464 -2596 -2332 2564 2508 -2596 -2596 2336 2424 2380 -2592 -2280 2404 -2520 2348 2368 -2592 -2388 -2472 -2656 -2616 2460 -2512 2472 -2616 -2644 -2652 -2496 2656 2636 -2616 2560 2448 -2460 -2280 2476 -2320 2540 2492 -2348 -2324 2432 2400 -2616 -2320 2620 -2320 2612 2348 -2584 -2516 -2616 2364 -2336 -2656 -2644 -2640 -2320 -2656 -2568 2280 2416 2280 -2656 2368 2400 -2336 -2340 2396 2388 -2404 2308 -2656 -2612 2412 -2488 2420 2280 -2616 -2648 2652 -2656 -2280 2504 2636 2400 -2616 2476 -2460 2528 -2324 -2616 -2320 -2476 -2292 2520 -2392 -2340 -2588 -2656 2348 2656 -2384 2500 2652 -2604 -2456 2324 -2324 2528 2556 -2596 2628 -2584 -2496 2500 -2336 2376 -2424 2412 -2556 -2496 2656 2280 2368 2628 2600 -2484 2344 -2628 -2612 -2616 2636 2616 2536 -2572 -2656 -2444 -2584 -2588 2428 -2280 2556 2280 -2488 -2356 -2616 -2344 -2656 2304 -2412 -2572 2284 -2280 2312 -2424 -2616 -2280 2324 2336 -2540 2360 2296 -2472 -2288 2480 -2508 2592 2420 2636 2616 2632 -2304 -2580 -2320 -2564 -2460 -2280 -2328 -2616 -2280 -2336 -2548 -2460 -2600 2616 -2548 -2560 -2656 -2564 -2372 2408 -2320 2616 -2280 -2616 -2308 -2404 -2608 -2352 2524 2388 2488 2580 -2656 -2400 2616 -2280 2372 2292 2284 2616 2308 2420 2632 2616 -2360 2596 2588 2492 2364 -2520 -2376 2616 -2396 2604 2412 2656 -2464 -2612 2344 2452 2516 2372 -2396 -2612 -2616 -2508 2348 -2384 -2656 2352 -2468 2432 -2392 2340 -2320 2508 -2568 2584 -2296 -2420 2360 2392 -2488 -2572 2324 -2624 2344 -2528 2480 -2560 -2580 2500 -2324 2616 -2608 2636 -2584 -2320 -2496 2396 2616 -2616 2452 2588 -2320 2516 -2656 -2320 -2432 -2392 -2596 -2432 2280 2616 2352 2324 -2644 2336 2592 -2320 -2584 -2612 -2320 -2432 2632 -2472 2624 -2320 2576 -2608 -2492 2652 2288 2556 -2636 -2296 -2320 2348 -2284 2416 2320 2580 -2488 2440 2488 -2404 -2556 -2356 -2320 -2576 2280 2460 -2516 2280 -2432 -2288 -2632 -2460 -2412 2320 -2440 2488 -2344 -2648 -2652 2340 -2392 -2320 -2320 2404 -2520 2444 -2324 -2656 2372 2544 2612 2616 2376 2608 -2428 -2616 2376 -2320 -2524 2280 2608 2548 2344 -2616 2456 -2320 -2344 2320 -2600 -2320 -2348 -2384 -2600 -2452 2440 -2380 -2632 -2552 -2312 2280 -2292 2656 2416 2460 -2408 2364 2328 -2280 -2388 -2392 -2432 -2604 -2424 2344 2616 2340 2528 -2616 -2560 -2608 -2624 -2504 -2624 -2524 2568 2556 -2476 2320 2424 2384 2600 -2616 2508 2316 -2472 2480 2640 -2656 2280 -2324 2504 -2592 2640 -2432 -2280 -2456 -2596 -2636 2280 -2576 -2440 2528 2564 2604 -2280 2452 -2400 -2588 -2540 2608 -2392 -2408 -2568 -2616 -2296 -2588 -2544 -2324 -2540 2416 -2616 -2656 -2560 -2340 -2500 -2428 -2296 -2508 2320 2544 2328 -2432 2612 -2408 -2280 -2656 2588 -2596 2656 -2392 2492 2536 2504 2424 -2392 2416 -2648 -2300 -2616 2280 -2360 2440 -2652 -2360 -2300 -2536 -2656 -2280 2604 -2404 -2512 -2508 -2632 -2460 -2392 -2388 2540 2336 -2572 2564 -2288 -2520 2532 -2388 2440 -2616 -2436 2464 2536 -2308 -2424 -2448 -2564 -2576 2284 2612 -2476 -2628 -2528 2380 2468 -2600 -2480 -2644 2316 2440 -2360 2584 -2548 -2596 2384 -2552 -2452 2380 2520 2280 -2280 -2612 -2656 2284 -2320 -2636 2500 -2600 2380 2648 -2532 2536 -2320 2500 -2412 2516 -2588 -2648 -2628 -2356 -2528 2384 -2280 2508 -2596 -2476 -2320 -2560 2476 2380 -2472 2364 2616 -2448 -2500 2304 -2320 -2656 2396 -2320 -2280 -2284 -2280 -2540 2556 2284 2636 -2456 2320 2628 -2320 -2616 -2300 2284 -2564 2628 -2296 2356 -2656 2428 2376 2540 -2288 2456 2488 -2328 2584 2328 2552 -2580 2616 2656 2404 2364 -2428 -2288 -2412 2644 2324 -2280 -2320 -2588 -2608 -2408 2640 2284 2636 -2640 2572 -2616 2656 2520 -2636 -2320 2652 2584 -2604 2604 -2420 2460 -2616 -2644 2516 -2544 2360 -2472 2392 -2404 2520 -2332 2340 -2460 -2584 2344 2344 -2336 2404 -2312 2524 2624 -2328 -2320 2456 -2312 -2464 -2320 2536 -2592 -2656 2656 -2504 -2512 2380 -2400 2420 -2516 2572 2528 2576 2500 -2320 -2408 -2640 2324 -2372 -2280 -2456 -2356 -2592 2356 -2504 -2492 -2392 2492 2324 -2484 -2420 -2592 2616 2488 2364 2472 2292 2528 2280 -2536 -2404 2412 -2328 2408 -2636 -2616 2540 -2456 -2320 2612 2640 2328 -2604 -2352 2320 -2348 -2616 -2464 -2332 -2536 2608 -2484 2412 2292 -2592 -2460 -2408 -2560 2568 -2444 -2440 2656 -2540 -2608 -2356 2644 2416 -2380 -2612 -2320 -2592 2556 -2632 -2320 2280 -2560 -2604 2628 2560 2524 2472 2580 -2280 2616 -2280 2340 2628 -2432 2400 -2376 -2320 -2528 -2332 2404 2508 -2520 2328 -2368 2596 2416 2448 2656 2632 2624 -2364 -2600 2284 2356 2380 2280 -2560 2640 2612 2600 -2380 2616 2504 -2456 2528 2644 2616 2500 -2596 -2320 -2596 2556 2516 -2556 -2612 -2492 2636 -2572 2456 2556 -2296 2280 -2636 -2328 2612 2648 2328 2320 2532 -2280 2588 -2656 2608 2608 2284 -2320 -2452 2348 -2408 2304 2280 -2572 2624 -2608 2432 -2332 2604 -2336 -2612 -2324 2460 2428 -2460 2636 -2320 2516 2588 -2492 2280 2372 2324 2520 -2468 -2360 -2648 -2336 -2648 2644 2624 2436 2332 2568 2388 2588 2536 2328 -2636 2612 -2340 -2372 2284 2436 2644 -2400 2356 -2384 -2656 2440 2612 2344 -2380 -2320 2628 2280 2532 -2280 -2364 2596 -2632 2384 2636 2280 2300 -2300 2328 -2372 -2288 -2476 2640 2336 -2640 -2300 2324 2328 -2384 -2420 2336 -2324 -2320 2572 2416 2608 2416 -2596 -2596 -2560 -2600 -2532 2644 2512 -2512 2280 -2280 -2376 -2320 2440 2496 -2308 -2532 -2516 2408 -2364 -2280 2432 2392 2456 2616 2616 -2512 -2416 2616 -2488 -2604 -2564 2452 -2556 2600 2592 -2556 -2320 2524 2548 -2284 -2492 -2316 -2320 -2280 2592 -2320 2528 -2556 -2292 2484 2544 -2416 2428 2548 -2288 -2356 2492 -2516 2624 2588 -2508 2612 -2520 -2576 2656 -2280 2324 -2616 -2540 -2524 2604 2588 2532 2384 -2332 -2432 2596 2560 2536 2332 2468 2604 -2472 2320 2328 -2280 2292 2496 -2656 -2328 -2424 2404 2548 -2612 2400 2464 -2400 -2280 2368 -2616 2452 -2368 -2604 2312 -2616 -2388 2396 -2288 2572 -2328 2452 -2360 2368 2376 2280 2568 2584 -2536 2404 -2656 -2408 -2648 -2284 2656 -2388 2280 -2484 -2592 2340 -2320 -2320 2312 2496 -2400 2340 2536 2616 -2324 2480 2388 -2304 -2324 -2304 2324 2432 2300 -2648 -2656 2548 -2372 -2656 2384 -2616 -2320 -2380 2656 2560 2640 -2360 2632 2340 -2324 -2632 -2652 -2428 -2424 2656 2600 -2332 2600 2596 2424 2308 2592 2616 -2596 2572 -2332 2464 -2356 -2540 2376 2640 2324 2600 2280 -2636 -2656 -2616 2348 2568 -2608 2280 2320 -2344 2616 2588 -2340 -2320 2432 2496 2328 -2352 -2656 2444 2472 -2588 2376 2536 -2320 2596 2544 2372 -2440 -2324 2584 -2324 -2288 -2608 2596 -2320 2600 -2520 2556 2648 -2376 2280 2280 2568 -2380 -2428 2520 2324 2412 -2440 2588 -2616 -2592 2332 -2448 -2328 -2332 2368 2576 -2372 -2420 2356 2424 -2596 -2596 2364 -2320 -2452 -2508 -2296 -2424 2544 -2568 2504 -2288 2596 2340 2572 -2656 2608 2356 2656 -2520 2616 2320 -2320 -2652 2412 -2656 -2640 -2280 -2360 2656 -2368 -2368 -2432 2332 2656 2340 -2352 2288 -2616 2572 -2608 2280 2636 -2388 -2320 -2608 -2544 -2452 2472 2408 2388 -2284 -2552 2508 -2540 2564 -2616 -2548 2472 -2616 2468 2540 -2628 -2616 -2656 -2372 -2312 2652 -2480 -2496 -2556 2600 2592 -2396 -2320 2652 -2288 -2576 -2280 2292 2400 -2644 -2468 -2352 -2352 2516 2560 -2424 -2576 -2448 2580 -2420 -2388 2368 -2504 2616 -2420 2532 -2572 2340 2564 -2460 2464 2440 2588 2280 -2628 -2444 2456 2604 -2280 -2616 -2324 2552 -2420 -2324 2532 2548 -2540 2416 -2588 2480 2300 2616 2436 2540 2588 2572 -2556 2600 -2584 -2280 2300 -2500 2616 -2360 -2308 2412 -2576 -2652 2612 -2284 2580 -2592 -2604 2468 2336 2516 -2564 -2348 2600 2476 -2300 -2320 2632 2576 2452 -2316 2628 -2616 2572 -2448 -2452 -2616 -2392 -2324 -2556 2280 2488 -2584 2360 2592 -2656 2524 2544 2516 -2596 2556 -2388 -2596 2604 -2432 -2656 2656 2600 2652 -2324 2608 2604 2348 2512 -2580 2280 -2600 2352 -2320 2536 -2636 -2320 2500 -2328 2348 2632 2596 2320 2320 -2480 2404 -2364 2516 -2656 -2484 -2552 2472 2376 2384 2488 -2656 2592 2616 2544 2508 2284 2620 2380 2320 -2344 2404 -2580 -2364 -2600 2584 -2328 -2380 2388 -2280 2496 2640 2464 -2424 -2372 -2492 2584 2300 2384 -2280 -2580 -2280 -2604 2420 2288 2340 2580 -2320 2520 2320 -2280 2532 -2320 -2448 2624 2640 2352 2620 2288 -2412 2584 -2424 2644 -2572 -2600 -2644 -2368 -2568 -2336 2360 -2656 2320 -2344 2420 -2380 2620 -2592 -2656 2592 2504 2280 -2448 -2656 -2280 -2368 -2544 2452 2280 -2424 -2440 2536 -2348 2284 2312 2612 -2384 -2400 -2280 2336 2616 -2328 -2300 2528 -2540 2464 2320 -2288 2500 2628 -2320 -2536 -2644 -2616 2320 2508 -2280 -2364 -2480 -2512 -2432 -2320 -2324 -2356 -2544 2444 2656 2600 2644 -2604 2424 2392 -2512 -2340 -2424 2628 2412 2540 -2320 -2464 2396 2372 -2632 2556 -2544 2596 2576 -2584 2616 -2396 -2452 -2424 -2636 
157.65	d NODES 11984
157.65	d CHECKS 174094620
157.65	   
157.65	   totalWckTime=157.43  totalCpuTime=155.56

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/node44/watcher-201564-1168148509 -o ROOT/results/node44/solver-201564-1168148509 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201564-1168148509/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 3/65 1107
/proc/meminfo: memFree=1722624/2055920 swapFree=4191892/4192956
[pid=1106] ppid=1104 vsize=172 CPUtime=0
/proc/1106/stat : 1106 (java) R 1104 1106 32139 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 163249935 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11280683 0 0 4096 0 0 0 0 17 0 0 0
/proc/1106/statm: 43 24 18 14 0 3 0

[startup+0.105129 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1107
/proc/meminfo: memFree=1722624/2055920 swapFree=4191892/4192956
[pid=1106] ppid=1104 vsize=914988 CPUtime=0.09
/proc/1106/stat : 1106 (java) R 1104 1106 32139 0 -1 0 3064 0 1 0 8 1 0 0 22 0 8 0 163249935 936947712 2810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155587922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1106/statm: 228747 2810 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51317 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1107
/proc/meminfo: memFree=1722624/2055920 swapFree=4191892/4192956
[pid=1106] ppid=1104 vsize=915328 CPUtime=0.5
/proc/1106/stat : 1106 (java) S 1104 1106 32139 0 -1 0 7248 0 1 0 46 4 0 0 16 0 8 0 163249935 937295872 6987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1106/statm: 228832 6987 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33525 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1114
/proc/meminfo: memFree=1654280/2055920 swapFree=4191892/4192956
[pid=1106] ppid=1104 vsize=915648 CPUtime=1.32
/proc/1106/stat : 1106 (java) R 1104 1106 32139 0 -1 0 21467 0 1 0 121 11 0 0 16 0 8 0 163249935 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073533791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1106/statm: 228912 21204 2160 14 0 215382 0
[pid=1106/tid=1108] ppid=1104 vsize=915648 CPUtime=0.07
/proc/1106/task/1108/stat : 1108 (java) S 1104 1106 32139 0 -1 64 4924 0 0 0 6 1 0 0 17 0 8 0 163249938 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1109] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1109/stat : 1109 (java) S 1104 1106 32139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1110] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1110/stat : 1110 (java) S 1104 1106 32139 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1111] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1111/stat : 1111 (java) S 1104 1106 32139 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163249942 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1112] ppid=1104 vsize=915648 CPUtime=0.14
/proc/1106/task/1112/stat : 1112 (java) S 1104 1106 32139 0 -1 64 409 0 0 0 14 0 0 0 15 0 8 0 163249942 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1113] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1113/stat : 1113 (java) S 1104 1106 32139 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163249942 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1114] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1114/stat : 1114 (java) S 1104 1106 32139 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 163249942 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915648

[startup+2.98842 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1114
/proc/meminfo: memFree=1645832/2055920 swapFree=4191892/4192956
[pid=1106] ppid=1104 vsize=915648 CPUtime=2.97
/proc/1106/stat : 1106 (java) R 1104 1106 32139 0 -1 0 21557 0 1 0 285 12 0 0 17 0 8 0 163249935 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1106/statm: 228912 21292 2181 14 0 215382 0
[pid=1106/tid=1108] ppid=1104 vsize=915648 CPUtime=0.1
/proc/1106/task/1108/stat : 1108 (java) S 1104 1106 32139 0 -1 64 4924 0 0 0 9 1 0 0 16 0 8 0 163249938 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1109] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1109/stat : 1109 (java) S 1104 1106 32139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1110] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1110/stat : 1110 (java) S 1104 1106 32139 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1111] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1111/stat : 1111 (java) S 1104 1106 32139 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163249942 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1112] ppid=1104 vsize=915648 CPUtime=0.19
/proc/1106/task/1112/stat : 1112 (java) S 1104 1106 32139 0 -1 64 435 0 0 0 18 1 0 0 16 0 8 0 163249942 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1113] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1113/stat : 1113 (java) S 1104 1106 32139 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163249942 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1114] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1114/stat : 1114 (java) R 1104 1106 32139 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 163249942 937623552 21292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915648

[startup+6.26875 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1114
/proc/meminfo: memFree=1645576/2055920 swapFree=4191892/4192956
[pid=1106] ppid=1104 vsize=915648 CPUtime=6.25
/proc/1106/stat : 1106 (java) R 1104 1106 32139 0 -1 0 21561 0 1 0 612 13 0 0 18 0 8 0 163249935 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1106/statm: 228912 21295 2181 14 0 215382 0
[pid=1106/tid=1108] ppid=1104 vsize=915648 CPUtime=0.1
/proc/1106/task/1108/stat : 1108 (java) S 1104 1106 32139 0 -1 64 4924 0 0 0 9 1 0 0 16 0 8 0 163249938 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1109] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1109/stat : 1109 (java) S 1104 1106 32139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1110] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1110/stat : 1110 (java) S 1104 1106 32139 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1111] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1111/stat : 1111 (java) S 1104 1106 32139 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163249942 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1112] ppid=1104 vsize=915648 CPUtime=0.19
/proc/1106/task/1112/stat : 1112 (java) S 1104 1106 32139 0 -1 64 438 0 0 0 18 1 0 0 15 0 8 0 163249942 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1113] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1113/stat : 1113 (java) S 1104 1106 32139 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163249942 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1114] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1114/stat : 1114 (java) S 1104 1106 32139 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 163249942 937623552 21295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915648

[startup+12.7504 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1114
/proc/meminfo: memFree=1635608/2055920 swapFree=4191892/4192956
[pid=1106] ppid=1104 vsize=915648 CPUtime=12.73
/proc/1106/stat : 1106 (java) R 1104 1106 32139 0 -1 0 24120 0 1 0 1258 15 0 0 17 0 8 0 163249935 937623552 23851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831606 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1106/statm: 228912 23851 2181 14 0 215382 0
[pid=1106/tid=1108] ppid=1104 vsize=915648 CPUtime=0.2
/proc/1106/task/1108/stat : 1108 (java) S 1104 1106 32139 0 -1 64 7474 0 0 0 18 2 0 0 16 0 8 0 163249938 937623552 23851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1109] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1109/stat : 1109 (java) S 1104 1106 32139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 23851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1110] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1110/stat : 1110 (java) S 1104 1106 32139 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 23851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1111] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1111/stat : 1111 (java) S 1104 1106 32139 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163249942 937623552 23851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1112] ppid=1104 vsize=915648 CPUtime=0.2
/proc/1106/task/1112/stat : 1112 (java) S 1104 1106 32139 0 -1 64 444 0 0 0 19 1 0 0 16 0 8 0 163249942 937623552 23851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1113] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1113/stat : 1113 (java) S 1104 1106 32139 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163249942 937623552 23851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1114] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1114/stat : 1114 (java) S 1104 1106 32139 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 163249942 937623552 23851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915648

[startup+25.5737 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1114
/proc/meminfo: memFree=1635608/2055920 swapFree=4191892/4192956
[pid=1106] ppid=1104 vsize=915648 CPUtime=25.56
/proc/1106/stat : 1106 (java) R 1104 1106 32139 0 -1 0 24131 0 1 0 2536 20 0 0 18 0 8 0 163249935 937623552 23860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1106/statm: 228912 23860 2181 14 0 215382 0
[pid=1106/tid=1108] ppid=1104 vsize=915648 CPUtime=0.2
/proc/1106/task/1108/stat : 1108 (java) S 1104 1106 32139 0 -1 64 7474 0 0 0 18 2 0 0 16 0 8 0 163249938 937623552 23860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1109] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1109/stat : 1109 (java) S 1104 1106 32139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 23860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1110] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1110/stat : 1110 (java) S 1104 1106 32139 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 23860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1111] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1111/stat : 1111 (java) S 1104 1106 32139 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163249942 937623552 23860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1112] ppid=1104 vsize=915648 CPUtime=0.21
/proc/1106/task/1112/stat : 1112 (java) S 1104 1106 32139 0 -1 64 453 0 0 0 20 1 0 0 15 0 8 0 163249942 937623552 23860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1113] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1113/stat : 1113 (java) S 1104 1106 32139 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163249942 937623552 23860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1114] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1114/stat : 1114 (java) S 1104 1106 32139 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 163249942 937623552 23860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915648

[startup+51.2564 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1114
/proc/meminfo: memFree=1618648/2055920 swapFree=4191892/4192956
[pid=1106] ppid=1104 vsize=915648 CPUtime=51.23
/proc/1106/stat : 1106 (java) R 1104 1106 32139 0 -1 0 28398 0 1 0 5091 32 0 0 25 0 8 0 163249935 937623552 28125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1106/statm: 228912 28125 2181 14 0 215382 0
[pid=1106/tid=1108] ppid=1104 vsize=915648 CPUtime=0.47
/proc/1106/task/1108/stat : 1108 (java) S 1104 1106 32139 0 -1 64 11739 0 0 0 43 4 0 0 16 0 8 0 163249938 937623552 28125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1109] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1109/stat : 1109 (java) S 1104 1106 32139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 28125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1110] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1110/stat : 1110 (java) S 1104 1106 32139 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 28125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1111] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1111/stat : 1111 (java) S 1104 1106 32139 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163249942 937623552 28125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1112] ppid=1104 vsize=915648 CPUtime=0.21
/proc/1106/task/1112/stat : 1112 (java) S 1104 1106 32139 0 -1 64 453 0 0 0 20 1 0 0 16 0 8 0 163249942 937623552 28125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1113] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1113/stat : 1113 (java) S 1104 1106 32139 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163249942 937623552 28125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1114] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1114/stat : 1114 (java) S 1104 1106 32139 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 163249942 937623552 28125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915648

[startup+102.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1114
/proc/meminfo: memFree=1592024/2055920 swapFree=4191892/4192956
[pid=1106] ppid=1104 vsize=915648 CPUtime=102.46
/proc/1106/stat : 1106 (java) R 1104 1106 32139 0 -1 0 35053 0 1 0 10188 58 0 0 18 0 8 0 163249935 937623552 34776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1106/statm: 228912 34776 2181 14 0 215382 0
[pid=1106/tid=1108] ppid=1104 vsize=915652 CPUtime=0.84
/proc/1106/task/1108/stat : 1108 (java) S 1104 1106 32139 0 -1 64 18390 0 0 0 78 6 0 0 16 0 8 0 163249938 937627648 34776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1109] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1109/stat : 1109 (java) S 1104 1106 32139 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 34776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1110] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1110/stat : 1110 (java) S 1104 1106 32139 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163249939 937623552 34776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1111] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1111/stat : 1111 (java) S 1104 1106 32139 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163249942 937623552 34776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1112] ppid=1104 vsize=915648 CPUtime=0.21
/proc/1106/task/1112/stat : 1112 (java) S 1104 1106 32139 0 -1 64 453 0 0 0 20 1 0 0 16 0 8 0 163249942 937623552 34776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1113] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1113/stat : 1113 (java) S 1104 1106 32139 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 163249942 937623552 34776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1106/tid=1114] ppid=1104 vsize=915648 CPUtime=0
/proc/1106/task/1114/stat : 1114 (java) S 1104 1106 32139 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 163249942 937623552 34776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 157.695
CPU time (s): 157.595
CPU user time (s): 156.779
CPU system time (s): 0.815875
CPU usage (%): 99.9365
Max. virtual memory (cumulated for all children) (KiB): 915652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.779
system time used= 0.815875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50008
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= 4591
involuntary context switches= 2599

runsolver used 0.171973 s user time and 0.396939 s system time

The end

Launcher Data (download as text)

Begin job on node44 on Sun Jan  7 05:41:49 UTC 2007


IDJOB= 201564
IDBENCH= 3771
FILE ID= node44/201564-1168148509

PBS_JOBID= 3478087

Free space on /tmp= 66541 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  63ed4f91155f2b79f30edca48a7e3b10

RANDOM SEED= 516190992

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.213
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.213
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:       1723104 kB
Buffers:         23824 kB
Cached:         229964 kB
SwapCached:        396 kB
Active:         118324 kB
Inactive:       150832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723104 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            5176 kB
Writeback:           0 kB
Mapped:          24188 kB
Slab:            49688 kB
Committed_AS:  3208864 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66541 MiB



End job on node44 on Sun Jan  7 05:44:28 UTC 2007