Trace number 201684

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 ACSAT 49.3535 49.6024

DiagnosticValue
CHECKS64808209
NODES3289

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-8.xml
MD5SUM6d1268141c16c5921f55653855a956f2
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 benchmark31.8102
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.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/201684-1168072450/unknown.xml
0.35	   
0.35	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.60	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.60	       =>  wckTime=0.302  cpuTime=0.2  mem=20M547
0.60	   
0.60	   predicates being loaded...
0.60	   
0.60	   constraints being loaded...
4.56	   
4.56	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 46M702)
7.67	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=224  nbConvertConstraintsChecks=5073850
7.67	     nbExtensionStructures=208  nbSharedExtensionStructures=16  nbConflictsStructures=208
7.67	     nbSharedConflictsStructures=16  nbSharedBinaryRepresentations=37533  nbEvaluationManagers=9488
7.67	     nbSharedEvaluationManagers=3957  maxDegree=17  maxArity=2
7.67	       =>  wckTime=7.369  cpuTime=6.67  mem=58M591
7.86	   
7.86	   solver IterativeSystematicSolver being built... 
8.30	       =>  wckTime=8.003  cpuTime=7.01  mem=93M985
23.94	   
23.94	   preprocessing
23.94	     nbConstraintChecks=30245285  nbValidityChecks=1313044  nbPropagations=2472  nbRevisions=38114
23.94	     nbUselessRevisions=35062  nbRemovedValues=98909  detectedInconsistency=no
23.94	       =>  wckTime=15.621  cpuTime=15.54  mem=93M985
35.62	   
35.62	   search
35.62	     run=0  nbConstraintChecks=17056487  nbValidityChecks=15421448  nbPropagations=23358  nbRevisions=277159
35.62	     nbUselessRevisions=250700  nbAssignments=707  nbFailedAssignments=31  nbBacktracks=10  nbVisitedNodes=745
35.62	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
35.62	       =>  wckTime=27.302  cpuTime=27.09  mem=90M501
39.76	   
39.76	   search
39.76	     run=1  nbConstraintChecks=22050561  nbValidityChecks=29768016  nbPropagations=64369  nbRevisions=761013
39.76	     nbUselessRevisions=689268  nbAssignments=1253  nbFailedAssignments=42  nbBacktracks=25  nbVisitedNodes=1309
39.76	     nbRestartNogoods=27  mapSize=15  nbInferences=0  nbTooLargeKeys=0
39.76	       =>  wckTime=31.451  cpuTime=31.22  mem=110M951
49.55	   
49.55	   search
49.55	     run=2  nbConstraintChecks=34562924  nbValidityChecks=46549910  nbPropagations=133051  nbRevisions=1524893
49.55	     nbUselessRevisions=1379793  nbAssignments=3289  nbFailedAssignments=62  nbBacktracks=41  nbVisitedNodes=3368
49.55	     nbRestartNogoods=31  mapSize=18  nbInferences=0  nbTooLargeKeys=0
49.55	       =>  wckTime=41.242  cpuTime=40.88  mem=129M775
49.56	   
49.56	   global
49.56	     nbConstraintChecks=64808209  nbValidityChecks=47862954  nbPropagations=135523  nbRevisions=1563007
49.56	     nbUselessRevisions=1414855  nbRestartNogoods=31  solvingWckTime=41.243  solvingCpuTime=40.89  expiredTime=no
49.56	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=47.95
49.56	       =>  wckTime=49.259  cpuTime=47.91  mem=129M775
49.56	   
49.56	s SATISFIABLE
49.56	v -2616 -2568 -2504 -2576 -2616 -2476 2516 -2284 -2592 -2336 -2280 2320 -2556 -2656 -2300 2280 -2404 -2332 2384 -2280 -2464 2396 -2360 2444 -2356 -2636 -2368 -2552 -2656 -2468 -2320 -2644 -2500 2492 -2656 2512 -2300 2436 2564 -2304 -2368 -2320 -2452 -2324 2452 2592 -2656 -2428 -2656 2316 -2396 -2560 -2560 -2656 2584 -2560 -2504 -2320 -2532 2564 2520 -2468 -2320 -2380 -2280 2532 2320 2636 2592 -2356 2508 -2656 -2544 -2656 2384 2512 2344 -2620 2388 2320 -2604 -2340 -2544 -2460 -2628 -2372 -2480 2592 2548 2280 2392 -2360 2576 -2396 2452 2472 -2484 -2508 2424 -2564 2312 -2656 -2476 2400 2296 2600 -2644 -2404 2356 2480 -2456 2292 2320 -2364 -2648 2420 -2568 -2628 -2484 -2536 2556 -2536 2616 -2548 2412 -2584 -2508 2436 -2656 -2292 -2448 2324 2648 -2572 2304 2384 2296 2280 2616 -2448 2400 -2280 -2640 -2280 -2472 2640 2636 -2580 -2616 2560 -2476 -2412 2400 -2292 -2536 -2512 2280 -2440 -2324 -2280 -2352 -2340 -2512 2580 -2496 2408 2328 2508 -2372 -2536 -2500 -2352 -2412 -2344 2596 -2280 -2416 2632 2320 2280 2504 -2348 2380 -2464 -2604 2372 2412 2536 -2596 -2536 2280 -2336 -2320 -2320 -2320 -2560 -2352 2344 2596 2656 2352 2532 2496 -2616 2428 -2540 -2636 2344 2372 2416 -2588 -2448 2316 -2392 2584 2336 2472 2640 2440 -2372 -2400 2572 2320 -2400 -2444 -2472 -2600 2500 2324 -2588 -2284 -2524 -2300 2576 -2640 -2372 2596 -2616 -2616 2560 2648 2296 -2404 -2292 -2356 2492 -2420 -2364 -2352 2616 -2600 -2492 2596 -2324 -2616 2300 -2500 2496 -2324 -2316 2620 -2488 -2408 2352 2540 2296 -2532 -2280 -2600 2616 -2352 -2580 2476 -2508 -2528 -2604 -2412 -2376 2344 -2320 2384 2452 -2532 2380 2616 -2440 -2452 2320 2536 2316 2472 2612 -2456 2412 2520 2424 -2500 2596 -2352 -2656 2384 -2304 -2532 -2616 2540 2536 -2596 -2396 2308 2296 2280 2580 2336 -2604 -2436 -2508 -2604 -2320 -2408 -2324 2592 2376 2596 2656 -2376 -2536 -2452 2280 2428 2524 -2288 -2512 2600 -2600 -2572 -2336 -2408 -2380 -2336 2584 -2496 2280 2544 2648 2392 -2592 -2516 2352 -2344 -2492 -2424 2532 -2580 2492 2464 2464 -2280 2364 -2340 -2320 2544 -2300 2608 -2320 -2304 2616 -2320 -2616 2624 2340 -2292 2656 -2380 -2332 2540 -2524 -2452 -2336 -2428 2540 2656 -2392 -2280 -2352 -2456 -2588 -2512 -2512 2472 2608 2404 2460 -2536 -2416 -2364 2512 2320 -2392 2528 2568 2460 2424 2500 -2556 2376 -2460 2320 2436 2388 -2280 2476 2496 2376 2604 -2580 2572 -2408 2648 -2540 2568 2316 -2432 2400 -2404 2628 2552 -2512 -2368 2492 -2628 -2416 2528 -2360 2400 2464 2640 2644 -2624 -2296 -2340 -2476 2460 -2616 -2416 -2344 -2500 -2404 -2328 -2560 2448 -2284 2284 -2436 -2388 -2284 -2632 -2536 -2392 -2380 -2616 -2528 -2612 2620 2340 -2304 2460 -2500 2336 2656 -2620 -2420 -2428 -2480 2512 -2420 -2408 2280 -2332 2604 2384 2444 -2428 2548 -2588 -2460 -2344 2656 -2540 -2560 -2356 2492 -2300 -2596 2376 -2280 2380 2340 -2576 2540 2416 -2412 2280 2420 2588 -2320 -2532 -2564 2644 -2604 -2416 2416 2536 2528 -2540 -2524 2376 -2656 2588 -2512 -2628 -2340 -2296 2536 2612 2560 -2312 2368 -2300 -2468 2340 -2584 2320 -2616 -2292 2648 2404 2568 -2564 -2628 -2440 -2340 -2632 -2636 2608 -2284 2524 2424 2280 -2544 -2592 -2656 2384 -2364 -2372 -2380 2500 -2380 -2328 -2320 2644 -2608 -2404 -2632 -2404 2308 2608 2616 -2484 -2312 2412 -2616 2580 2468 2584 -2520 2580 -2488 2308 2616 2648 2464 -2340 2492 -2376 -2296 -2588 -2616 -2564 2632 -2588 -2580 -2372 2488 -2512 -2404 2400 2316 -2464 -2532 -2576 -2492 -2320 -2492 2368 -2320 2404 -2424 2532 -2456 2644 -2424 -2344 -2452 -2600 -2432 2360 -2588 2444 -2552 -2484 -2616 -2624 2428 -2380 -2540 2560 -2548 2344 2504 2552 -2388 -2356 -2376 -2616 2452 -2656 2296 2512 -2476 -2296 -2320 -2544 -2328 -2656 2328 2444 2500 2344 -2304 -2320 -2472 -2368 -2480 2532 -2540 2280 -2600 2396 2472 -2328 2556 2644 -2556 -2484 2368 -2396 2388 2604 2344 -2656 -2376 -2600 2484 2592 -2648 2656 2472 2384 2424 -2280 2616 -2348 -2320 2296 -2380 -2620 2464 2388 -2356 2528 -2360 -2656 -2412 2280 -2288 -2412 -2328 2320 -2616 -2608 2432 2596 -2616 -2364 2560 2584 -2508 -2632 2540 -2524 2588 2440 -2600 -2280 -2412 2412 -2516 -2372 2616 2340 2364 2388 -2656 2600 -2540 2288 -2600 -2320 2452 -2400 -2404 2304 2280 2464 2524 -2580 2624 -2328 -2444 -2364 -2436 2308 -2568 2488 -2516 -2460 -2580 -2492 -2496 -2552 -2496 -2376 2592 -2620 2632 2572 -2352 -2476 -2316 -2320 2608 -2472 -2616 2360 -2528 2608 2452 -2628 -2504 -2596 -2324 -2280 2616 -2352 2324 -2644 -2432 -2532 -2424 -2320 -2528 -2320 2616 -2616 2612 2648 2324 -2488 -2580 -2540 2572 2324 2572 -2612 -2320 -2380 2384 -2336 2396 2492 -2588 -2516 -2644 -2520 -2592 2616 -2356 2308 2492 -2356 2320 -2488 2608 -2416 2320 -2412 -2404 -2396 2312 -2440 2428 -2336 2320 2608 -2456 -2448 -2528 -2320 2376 2424 2320 -2332 2588 2320 2524 2600 2632 -2408 -2280 -2436 2452 -2412 2336 -2516 2556 -2652 -2540 -2332 -2564 -2280 -2348 2336 2580 -2468 -2328 2280 -2320 -2532 -2492 -2476 -2340 -2632 -2564 -2500 2488 -2324 -2656 -2304 -2656 -2484 -2348 2360 -2320 -2340 -2384 -2516 2480 -2500 -2344 -2616 -2380 -2540 2320 -2372 2572 2524 2504 2576 2460 2504 -2496 -2488 -2656 2448 2364 2568 -2280 2496 -2388 2396 -2636 -2564 -2656 -2336 -2280 2292 2584 -2640 -2476 -2656 -2516 2432 -2472 2616 2560 2320 -2472 -2656 2556 2616 2452 -2452 -2524 -2516 -2616 -2404 2360 -2568 -2592 -2324 2572 2528 -2656 -2628 -2484 -2336 -2564 2644 2484 -2476 -2408 -2356 -2536 -2368 2596 2608 2512 -2532 -2424 2324 2568 -2552 -2444 -2560 -2496 -2384 2448 2492 2452 -2328 -2616 -2468 2320 -2608 -2332 -2404 2456 -2656 -2488 2496 -2476 2548 -2300 -2552 2360 -2344 2520 2620 2492 -2392 2368 -2560 2280 2544 2600 2612 2452 2616 -2396 2320 -2580 2492 -2600 2644 -2360 2624 -2520 2560 -2616 -2460 2504 2524 -2628 -2528 -2392 2480 -2500 -2464 -2372 2336 2328 2376 -2540 2616 2572 2656 -2556 -2416 -2348 -2520 -2280 -2608 2620 -2656 -2432 -2536 2616 -2540 -2640 -2456 2620 -2352 -2484 2644 -2280 2280 2652 2576 -2616 -2624 2352 -2532 -2440 -2484 -2452 -2608 -2380 -2616 2560 -2540 -2524 2376 -2336 2648 -2388 2384 2304 2536 2592 2452 2560 -2412 -2528 -2348 2560 -2632 2284 -2472 -2656 -2320 2524 2428 -2648 2280 2296 -2472 2600 2396 -2328 2616 2388 -2320 -2612 -2280 -2416 2588 -2280 2488 2336 -2560 2528 -2656 2624 -2432 -2368 2412 2296 -2368 -2440 -2328 -2376 2280 2580 -2652 2460 -2484 -2616 2392 -2592 -2656 2532 2616 2536 -2600 -2344 -2420 -2588 2604 -2656 -2436 2488 2416 2292 -2288 -2544 2412 2576 -2444 -2340 -2492 2644 -2288 -2452 2532 -2288 -2616 -2316 2448 -2492 2536 -2584 -2336 -2288 2280 -2384 2340 -2348 -2448 -2572 2476 -2656 -2540 -2520 2528 2436 -2388 2512 2464 -2632 -2604 -2528 -2308 2544 2616 2444 2364 2492 2632 2400 -2584 -2356 -2488 2460 -2536 -2460 2420 -2612 -2656 -2520 -2600 2544 2472 2588 2332 -2472 2324 -2640 2356 2280 2464 -2460 -2608 -2524 -2616 2584 -2440 -2608 2636 -2408 -2564 -2344 2620 2280 2592 -2368 2332 -2612 -2588 -2428 2404 2604 2596 -2516 -2524 -2464 2468 -2300 -2428 2436 -2540 -2604 2376 2584 2320 -2400 -2612 2336 2656 -2328 2480 -2296 2388 -2460 2540 2516 -2612 2432 2476 -2644 -2428 2600 -2368 -2496 2624 -2520 -2344 2332 -2392 2544 -2404 -2440 2360 -2524 2280 -2408 -2592 2472 2348 -2616 2628 -2608 2416 -2600 2320 -2428 2300 2400 2492 2604 -2380 2536 -2444 2480 2636 -2488 2584 -2420 -2612 2488 2512 -2364 2596 -2552 -2616 -2556 -2568 2656 -2656 -2552 2388 2472 -2440 2280 -2656 -2416 2580 -2588 2332 2316 -2504 2280 2584 -2300 2528 -2408 2376 -2428 -2500 2340 -2364 -2296 -2296 -2636 2600 -2508 2488 -2292 -2656 2336 -2564 -2616 -2500 2280 -2500 -2544 -2356 2532 2484 2488 2520 -2356 -2344 -2520 -2512 -2436 -2656 -2368 -2612 -2548 2544 -2328 2320 2432 2424 2556 2356 2468 -2636 2596 2344 -2360 2288 2472 -2616 2404 2320 -2316 -2636 2452 2572 -2316 2328 -2320 2580 -2344 -2624 2496 -2444 -2576 2500 2320 2600 -2508 2340 2328 2652 -2360 -2456 2432 2588 -2284 -2604 -2464 2312 -2284 -2600 2480 -2372 -2416 2296 2572 2280 -2548 -2588 -2536 -2616 -2560 -2636 2504 2404 2572 2524 -2312 2652 -2472 -2372 -2504 -2488 -2328 2296 -2560 -2320 -2288 -2284 2404 2480 2396 -2524 -2648 2468 -2448 -2516 2488 2608 2588 2320 2512 -2596 -2464 2600 -2656 -2616 -2496 2652 -2512 -2364 -2380 2352 -2584 -2648 2324 2572 -2280 -2440 2548 2436 -2428 -2336 2356 -2348 -2504 2424 -2640 2536 -2472 2592 2512 2512 -2656 -2344 2392 -2616 2320 -2556 2508 -2560 -2616 -2392 -2380 -2384 -2472 2604 2496 -2320 -2456 -2612 -2588 2320 2372 -2356 2308 -2592 -2656 -2468 -2452 -2580 2340 2332 2396 -2288 2416 2428 -2320 2552 2444 -2568 -2624 2352 -2608 2524 2392 2368 -2652 -2372 -2500 -2372 -2584 -2384 -2400 2572 -2612 2496 -2448 2460 -2296 -2656 -2324 -2656 -2452 -2356 -2500 -2460 2320 2320 -2416 -2368 2584 2344 -2320 -2340 2580 2424 2468 -2480 2356 2304 -2332 2336 -2336 -2336 2612 2608 2492 -2656 2592 -2412 -2580 2520 2420 -2604 -2560 -2392 -2384 2624 -2320 -2432 -2612 -2464 -2596 2376 2656 2604 2284 2552 -2512 -2436 2364 -2636 2496 -2592 -2640 2300 -2528 2404 2516 -2432 2588 -2612 -2600 -2384 2636 2636 2612 -2364 -2628 2656 2424 2388 -2304 2616 2644 -2360 -2280 -2344 -2548 -2320 2280 -2652 2340 -2612 -2576 2356 -2524 -2384 2560 2472 2316 -2508 2320 -2484 2408 -2360 -2468 -2596 2452 -2628 2652 -2556 2644 2472 2280 2504 -2592 -2380 2300 -2596 -2656 2568 -2504 -2656 -2420 -2616 -2288 -2320 2356 2384 2280 2436 -2376 -2300 2604 2476 2576 2568 -2312 -2656 -2500 -2472 -2460 -2432 -2624 -2656 2432 -2504 -2588 2408 2632 -2656 2636 2412 -2280 -2656 -2616 -2632 -2412 -2632 2424 -2628 -2600 -2464 -2340 -2652 -2416 -2384 2652 -2348 -2620 -2424 -2352 2320 -2576 -2656 -2656 -2320 2608 -2368 -2516 -2616 -2572 2472 -2604 -2420 -2320 -2404 -2624 -2580 -2616 -2604 -2616 2536 -2528 -2452 2388 2512 2616 -2588 2624 -2444 -2352 2540 -2496 2300 -2496 2600 2608 -2300 -2596 2288 -2412 2428 -2604 -2324 -2332 2564 2452 2504 -2392 2656 2532 2628 2520 2420 -2652 2460 2384 2576 2648 -2348 2616 -2612 -2604 -2488 2516 -2440 -2488 -2380 -2492 -2348 -2304 2488 -2364 2548 2328 -2520 -2284 -2480 -2444 -2336 -2616 -2564 2448 -2432 2524 -2484 -2400 2524 -2576 -2512 2656 2540 -2632 2560 -2632 2360 2280 -2440 -2616 -2560 -2280 -2336 -2456 -2616 2592 2368 -2576 -2580 -2432 -2556 -2548 2592 2580 -2320 2564 2472 -2420 -2636 -2624 -2600 -2500 -2280 -2576 -2616 2608 -2280 -2616 -2616 -2344 -2296 -2656 2364 -2340 2608 -2304 2372 -2600 -2480 2544 -2516 2616 -2612 -2320 -2616 -2332 -2436 -2616 -2576 -2604 -2580 -2324 -2656 2444 -2320 -2548 -2580 2420 -2652 2320 -2320 2656 -2628 2436 -2616 -2348 -2280 2500 -2568 2468 2280 2452 -2328 -2396 -2592 -2444 2488 -2536 2444 -2344 -2432 2432 -2280 -2572 -2656 2500 -2296 2396 -2488 2396 -2328 -2356 -2340 2488 -2340 -2484 2476 -2408 2576 2360 -2368 2572 -2508 -2584 -2320 -2420 -2584 2596 -2280 -2416 -2320 2520 -2616 2596 2280 -2320 2356 2516 -2396 2472 2340 2496 -2528 -2424 -2484 -2280 -2524 2328 -2592 -2308 -2656 -2564 -2640 -2316 -2336 2644 -2648 -2412 -2612 -2392 -2376 2628 2328 -2320 2368 -2472 -2448 -2540 -2456 2432 -2476 -2280 -2476 2308 2332 2484 2608 -2464 -2492 -2404 2384 -2504 2648 -2280 -2312 2584 -2376 -2280 -2388 2556 -2332 -2320 2448 2560 -2536 -2472 2288 -2300 -2540 2604 -2304 -2472 -2652 -2596 2336 -2496 -2328 -2616 2516 2564 -2496 2424 -2312 -2340 -2616 2392 2656 2564 -2616 -2568 -2360 -2284 2488 -2420 -2640 -2564 2604 -2320 -2388 -2396 2288 2424 -2424 -2656 2500 -2624 2376 -2608 2588 2288 -2532 -2360 2584 
49.56	d NODES 3289
49.56	d CHECKS 64808209
49.56	   
49.56	   totalWckTime=49.335  totalCpuTime=47.95

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/node34/watcher-201684-1168072450 -o ROOT/results/node34/solver-201684-1168072450 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201684-1168072450/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.96 1.00 1.00 4/71 9010
/proc/meminfo: memFree=1505760/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=1784 CPUtime=0
/proc/9009/stat : 9009 (java) D 9004 9009 8900 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 155638780 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/9009/statm: 446 158 123 14 0 91 0

[startup+0.108912 s]
/proc/loadavg: 0.96 1.00 1.00 4/71 9010
/proc/meminfo: memFree=1505760/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=915848 CPUtime=0.08
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 3050 0 1 0 7 1 0 0 23 0 8 0 155638780 937828352 2796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 228962 2796 1449 14 0 215457 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915848

[startup+0.516946 s]
/proc/loadavg: 0.96 1.00 1.00 4/71 9010
/proc/meminfo: memFree=1505760/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916076 CPUtime=0.5
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 7497 0 1 0 44 6 0 0 25 0 8 0 155638780 938061824 7236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229019 7238 2138 14 0 215489 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 916076

[startup+1.33801 s]
/proc/loadavg: 0.96 1.00 1.00 3/87 9051
/proc/meminfo: memFree=1368864/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916228 CPUtime=1.31
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 21478 0 1 0 117 14 0 0 25 0 8 0 155638780 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073546048 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229057 21215 2160 14 0 215527 0
[pid=9009/tid=9020] ppid=9004 vsize=916228 CPUtime=0.08
/proc/9009/task/9020/stat : 9020 (java) S 9004 9009 8900 0 -1 64 4923 0 0 0 6 2 0 0 16 0 8 0 155638784 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9024] ppid=9004 vsize=916228 CPUtime=0
/proc/9009/task/9024/stat : 9024 (java) S 9004 9009 8900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155638785 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9025] ppid=9004 vsize=916228 CPUtime=0
/proc/9009/task/9025/stat : 9025 (java) S 9004 9009 8900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155638785 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9038] ppid=9004 vsize=916228 CPUtime=0
/proc/9009/task/9038/stat : 9038 (java) S 9004 9009 8900 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155638788 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9039] ppid=9004 vsize=916228 CPUtime=0.16
/proc/9009/task/9039/stat : 9039 (java) S 9004 9009 8900 0 -1 64 415 0 0 0 15 1 0 0 16 0 8 0 155638788 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9040] ppid=9004 vsize=916228 CPUtime=0
/proc/9009/task/9040/stat : 9040 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155638788 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9041] ppid=9004 vsize=916228 CPUtime=0
/proc/9009/task/9041/stat : 9041 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155638788 938217472 21215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916228

[startup+2.97614 s]
/proc/loadavg: 1.04 1.01 1.00 3/87 9051
/proc/meminfo: memFree=1351968/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916348 CPUtime=2.95
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 21567 0 1 0 280 15 0 0 25 0 8 0 155638780 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229087 21302 2181 14 0 215557 0
[pid=9009/tid=9020] ppid=9004 vsize=916348 CPUtime=0.11
/proc/9009/task/9020/stat : 9020 (java) S 9004 9009 8900 0 -1 64 4923 0 0 0 9 2 0 0 16 0 8 0 155638784 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9024] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9024/stat : 9024 (java) S 9004 9009 8900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9025] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9025/stat : 9025 (java) S 9004 9009 8900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9038] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9038/stat : 9038 (java) S 9004 9009 8900 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155638788 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9039] ppid=9004 vsize=916348 CPUtime=0.19
/proc/9009/task/9039/stat : 9039 (java) S 9004 9009 8900 0 -1 64 440 0 0 0 18 1 0 0 15 0 8 0 155638788 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9040] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9040/stat : 9040 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155638788 938340352 21302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9041] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9041/stat : 9041 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155638788 938340352 21302 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) 916348

[startup+6.17641 s]
/proc/loadavg: 1.04 1.01 1.00 3/87 9051
/proc/meminfo: memFree=1325544/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916348 CPUtime=6.12
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 25679 0 1 0 595 17 0 0 25 0 8 0 155638780 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153893841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229087 25410 2182 14 0 215557 0
[pid=9009/tid=9020] ppid=9004 vsize=916348 CPUtime=0.3
/proc/9009/task/9020/stat : 9020 (java) S 9004 9009 8900 0 -1 64 9018 0 0 0 27 3 0 0 16 0 8 0 155638784 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9024] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9024/stat : 9024 (java) S 9004 9009 8900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9025] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9025/stat : 9025 (java) S 9004 9009 8900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9038] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9038/stat : 9038 (java) S 9004 9009 8900 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155638788 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9039] ppid=9004 vsize=916348 CPUtime=0.22
/proc/9009/task/9039/stat : 9039 (java) S 9004 9009 8900 0 -1 64 453 0 0 0 21 1 0 0 15 0 8 0 155638788 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9040] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9040/stat : 9040 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155638788 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9041] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9041/stat : 9041 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155638788 938340352 25410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 916348

[startup+12.6577 s]
/proc/loadavg: 1.26 1.06 1.02 3/87 9051
/proc/meminfo: memFree=1276080/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916348 CPUtime=12.56
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 31410 0 1 0 1237 19 0 0 25 0 8 0 155638780 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074136371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229087 31135 2533 14 0 215557 0
[pid=9009/tid=9020] ppid=9004 vsize=916348 CPUtime=0.66
/proc/9009/task/9020/stat : 9020 (java) S 9004 9009 8900 0 -1 64 14272 0 0 0 62 4 0 0 16 0 8 0 155638784 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9024] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9024/stat : 9024 (java) S 9004 9009 8900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9025] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9025/stat : 9025 (java) S 9004 9009 8900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155638785 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9038] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9038/stat : 9038 (java) S 9004 9009 8900 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155638788 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9039] ppid=9004 vsize=916348 CPUtime=0.31
/proc/9009/task/9039/stat : 9039 (java) S 9004 9009 8900 0 -1 64 513 0 0 0 30 1 0 0 15 0 8 0 155638788 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9040] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9040/stat : 9040 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155638788 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9041] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9041/stat : 9041 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155638788 938340352 31135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 916348

[startup+25.5228 s]
/proc/loadavg: 1.38 1.09 1.03 3/87 9051
/proc/meminfo: memFree=1276208/2055920 swapFree=4192812/4192956
[pid=9009] ppid=9004 vsize=916348 CPUtime=25.38
/proc/9009/stat : 9009 (java) R 9004 9009 8900 0 -1 0 31427 0 1 0 2519 19 0 0 25 0 8 0 155638780 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074137159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9009/statm: 229087 31147 2534 14 0 215557 0
[pid=9009/tid=9020] ppid=9004 vsize=916348 CPUtime=0.66
/proc/9009/task/9020/stat : 9020 (java) S 9004 9009 8900 0 -1 64 14272 0 0 0 62 4 0 0 17 0 8 0 155638784 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9024] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9024/stat : 9024 (java) S 9004 9009 8900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155638785 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9025] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9025/stat : 9025 (java) S 9004 9009 8900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155638785 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9038] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9038/stat : 9038 (java) S 9004 9009 8900 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155638788 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9039] ppid=9004 vsize=916348 CPUtime=0.33
/proc/9009/task/9039/stat : 9039 (java) S 9004 9009 8900 0 -1 64 525 0 0 0 32 1 0 0 15 0 8 0 155638788 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9040] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9040/stat : 9040 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155638788 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9009/tid=9041] ppid=9004 vsize=916348 CPUtime=0
/proc/9009/task/9041/stat : 9041 (java) S 9004 9009 8900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155638788 938340352 31147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 916348

Child status: 0
Real time (s): 49.6024
CPU time (s): 49.3535
CPU user time (s): 49.0825
CPU system time (s): 0.270958
CPU usage (%): 99.4982
Max. virtual memory (cumulated for all children) (KiB): 916348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.0825
system time used= 0.270958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41766
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= 2839
involuntary context switches= 3468

runsolver used 0.049992 s user time and 0.145977 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Jan  6 08:34:10 UTC 2007


IDJOB= 201684
IDBENCH= 3778
FILE ID= node34/201684-1168072450

PBS_JOBID= 3475978

Free space on /tmp= 66529 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6d1268141c16c5921f55653855a956f2

RANDOM SEED= 716594504

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.227
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.227
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:       1508368 kB
Buffers:         30868 kB
Cached:         420720 kB
SwapCached:          0 kB
Active:          70980 kB
Inactive:       400680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1508368 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9056 kB
Writeback:           0 kB
Mapped:          30292 kB
Slab:            61656 kB
Committed_AS:  2371188 kB
PageTables:       1628 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= 66527 MiB



End job on node34 on Sat Jan  6 08:35:01 UTC 2007