Trace number 200823

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 331.113 333.939

DiagnosticValue
CHECKS597402510
NODES9585

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-10.xml
MD5SUM7da57cc6785d866f073effab049038df
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 benchmark331.113
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
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=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/200823-1168072212/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.69	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362
0.69	       =>  wckTime=0.381  cpuTime=0.29  mem=35M193
0.69	   
0.69	   predicates being loaded...
0.70	   
0.70	   constraints being loaded...
4.69	   
4.69	   INFO : Stopping converting binary constraints (cpu=4.04, mem = 61M635)
9.40	     nbConstraints=21610  nbMergedConstraints=19157  nbConvertedConstraints=48  nbConvertConstraintsChecks=4235618
9.40	     nbExtensionStructures=47  nbSharedExtensionStructures=1  nbConflictsStructures=47  nbSharedConflictsStructures=1
9.40	     nbSharedBinaryRepresentations=15471  nbEvaluationManagers=14177  nbSharedEvaluationManagers=7385  maxDegree=27
9.40	     maxArity=2
9.40	       =>  wckTime=9.086  cpuTime=8.11  mem=100M244
9.69	   
9.69	   solver IterativeSystematicSolver being built... 
10.41	       =>  wckTime=10.102  cpuTime=8.57  mem=145M723
83.85	   
83.85	   preprocessing
83.85	     nbConstraintChecks=155089045  nbValidityChecks=2233279  nbPropagations=2696  nbRevisions=51165
83.85	     nbUselessRevisions=48850  nbRemovedValues=147567  detectedInconsistency=no
83.85	       =>  wckTime=73.411  cpuTime=72.78  mem=145M723
126.52	   
126.52	   search
126.52	     run=0  nbConstraintChecks=75858600  nbValidityChecks=38802896  nbPropagations=16473  nbRevisions=265659
126.52	     nbUselessRevisions=247387  nbAssignments=444  nbFailedAssignments=17  nbBacktracks=18  nbVisitedNodes=465
126.52	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=427
126.52	       =>  wckTime=116.082  cpuTime=115.08  mem=148M766
151.74	   
151.74	   search
151.74	     run=1  nbConstraintChecks=120676881  nbValidityChecks=93040395  nbPropagations=55673  nbRevisions=884318
151.74	     nbUselessRevisions=818980  nbAssignments=1231  nbFailedAssignments=79  nbBacktracks=36  nbVisitedNodes=1319
151.74	     nbRestartNogoods=14  mapSize=0  nbInferences=0  nbTooLargeKeys=1152
151.74	       =>  wckTime=141.303  cpuTime=140.08  mem=148M766
167.02	   
167.02	   INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=1875, mem=148M766)
167.48	   
167.48	   search
167.48	     run=2  nbConstraintChecks=149191032  nbValidityChecks=145894267  nbPropagations=116543  nbRevisions=1835345
167.48	     nbUselessRevisions=1698194  nbAssignments=1981  nbFailedAssignments=100  nbBacktracks=58  nbVisitedNodes=2096
167.48	     nbRestartNogoods=50
167.48	       =>  wckTime=157.039  cpuTime=155.67  mem=148M766
183.06	   
183.06	   search
183.06	     run=3  nbConstraintChecks=177942063  nbValidityChecks=199316286  nbPropagations=200030  nbRevisions=3133311
183.06	     nbUselessRevisions=2898328  nbAssignments=2759  nbFailedAssignments=134  nbBacktracks=94  nbVisitedNodes=2921
183.06	     nbRestartNogoods=52
183.06	       =>  wckTime=172.625  cpuTime=171.1  mem=148M766
199.06	   
199.06	   search
199.06	     run=4  nbConstraintChecks=207204806  nbValidityChecks=253937513  nbPropagations=307928  nbRevisions=4815268
199.06	     nbUselessRevisions=4452005  nbAssignments=3562  nbFailedAssignments=180  nbBacktracks=144  nbVisitedNodes=3787
199.06	     nbRestartNogoods=54
199.06	       =>  wckTime=188.616  cpuTime=186.97  mem=148M766
216.03	   
216.03	   search
216.03	     run=5  nbConstraintChecks=237872314  nbValidityChecks=310301422  nbPropagations=442588  nbRevisions=6924429
216.03	     nbUselessRevisions=6397314  nbAssignments=4412  nbFailedAssignments=246  nbBacktracks=223  nbVisitedNodes=4733
216.03	     nbRestartNogoods=64
216.03	       =>  wckTime=205.597  cpuTime=203.82  mem=148M766
241.79	   
241.79	   search
241.79	     run=6  nbConstraintChecks=282769405  nbValidityChecks=381840123  nbPropagations=612710  nbRevisions=9654769
241.79	     nbUselessRevisions=8904593  nbAssignments=5318  nbFailedAssignments=340  nbBacktracks=341  nbVisitedNodes=5812
241.79	     nbRestartNogoods=85
241.79	       =>  wckTime=231.349  cpuTime=229.34  mem=148M766
290.49	   
290.49	   search
290.49	     run=7  nbConstraintChecks=363565050  nbValidityChecks=468461541  nbPropagations=842545  nbRevisions=13580672
290.49	     nbUselessRevisions=12465823  nbAssignments=6923  nbFailedAssignments=891  nbBacktracks=513  nbVisitedNodes=8055
290.49	     nbRestartNogoods=115
290.49	       =>  wckTime=280.056  cpuTime=277.64  mem=148M766
333.88	   
333.88	   search
333.88	     run=8  nbConstraintChecks=442313465  nbValidityChecks=534915715  nbPropagations=1109672  nbRevisions=18021577
333.88	     nbUselessRevisions=16496316  nbAssignments=9585  nbFailedAssignments=1022  nbBacktracks=544  nbVisitedNodes=10876
333.88	     nbRestartNogoods=177
333.88	       =>  wckTime=323.447  cpuTime=320.65  mem=148M766
333.89	   
333.89	   global
333.89	     nbConstraintChecks=597402510  nbValidityChecks=537148994  nbPropagations=1112368  nbRevisions=18072742
333.89	     nbUselessRevisions=16545166  nbRestartNogoods=177  solvingWckTime=323.448  solvingCpuTime=320.66  expiredTime=no
333.89	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=329.3
333.89	       =>  wckTime=333.572  cpuTime=329.25  mem=148M766
333.89	   
333.89	s SATISFIABLE
333.89	v 2072 2060 -2704 -2740 -2612 2132 -2160 -2028 -2716 -2044 -2712 -2136 2508 -2112 2460 -2492 -2636 -2436 2076 2124 -2268 2740 -2460 -2320 -2356 2020 -2636 -2468 -2440 -2100 -2500 2628 -2176 2288 -2684 2732 -2332 -2128 -2644 -2352 -2648 2080 -2424 2264 -2660 -2700 -2700 2020 -2388 -2084 2092 -2468 -2692 2740 2156 2020 -2740 -2528 -2520 -2324 2208 -2504 -2528 2380 2176 2700 2720 2672 2124 2516 -2720 2536 2192 -2452 2404 -2636 2176 -2192 2204 2536 2060 2588 -2628 2404 2448 -2540 -2060 2020 -2700 2512 -2088 2548 2672 2560 -2620 -2112 2344 -2060 -2160 -2604 -2352 -2388 -2216 -2112 2152 -2240 -2596 2468 2620 2124 2116 -2572 -2072 2256 -2300 2452 2284 -2340 -2684 -2064 2628 -2528 2476 2552 -2320 -2508 2428 -2636 -2148 2544 -2116 2620 2020 -2740 -2672 2024 2616 -2700 -2484 -2156 2652 -2700 2508 2500 2092 -2676 -2700 -2252 -2552 -2736 -2080 -2588 2396 2580 2516 -2256 -2060 2452 -2396 2436 -2256 -2660 -2600 2708 -2724 -2236 -2352 2316 -2612 2308 -2276 -2348 -2032 2528 2140 -2564 -2264 -2428 2476 -2188 2740 -2396 -2504 -2700 -2448 -2504 -2200 -2456 2360 -2288 2280 2064 2576 2024 -2640 -2596 -2440 2268 2036 -2308 -2740 -2684 -2740 -2740 -2152 -2116 -2576 -2676 2096 -2136 2440 2184 2020 2096 -2492 -2608 -2560 -2300 2412 2372 2368 -2644 -2536 2588 -2020 2336 -2180 -2672 -2156 2444 -2488 -2440 -2460 -2380 -2636 -2060 -2064 -2092 -2740 -2572 -2296 -2724 -2408 2552 -2072 2704 -2472 2364 -2700 -2588 2488 2404 -2444 -2496 -2388 -2564 -2020 -2164 -2568 2584 -2320 -2208 2428 -2408 -2072 -2664 -2556 2528 -2244 2432 -2460 -2064 2544 -2652 -2388 -2164 2264 2060 -2716 -2512 -2156 -2228 -2212 -2576 2360 -2648 -2740 -2736 2332 2476 -2036 -2684 -2512 2500 2456 -2492 -2200 -2452 2068 -2388 -2640 2020 2624 -2348 -2088 -2372 -2728 2296 2640 2272 2132 -2644 -2040 2716 -2700 -2528 2424 -2240 2292 2384 -2632 -2596 -2132 -2028 -2340 -2144 -2196 2548 -2728 2692 2368 -2544 2096 -2740 -2052 -2712 -2700 2292 -2664 -2540 2692 2588 -2576 2652 -2260 -2176 -2604 -2060 -2500 -2388 -2392 -2660 2664 2252 -2480 -2740 -2256 -2596 2596 -2080 -2676 2288 2048 -2740 2060 -2632 2528 -2160 -2136 2700 -2076 2536 -2636 -2700 -2740 -2604 2020 2488 2020 -2176 -2036 -2476 -2184 -2260 2560 2308 -2064 -2060 -2020 2280 2624 -2592 2628 -2436 2716 -2688 2460 -2700 -2296 -2332 -2652 2564 2264 -2740 2088 -2476 -2260 2652 -2324 -2680 2020 2256 2584 -2548 2180 -2316 -2592 2436 -2256 2332 -2708 2460 -2292 2612 2124 -2460 -2640 2576 -2320 -2068 -2488 -2304 2284 -2600 -2388 -2020 -2672 -2740 2708 2692 -2148 2552 2684 2388 -2676 -2060 2740 -2368 -2076 2600 -2156 -2712 -2468 2720 2204 2508 -2312 2556 -2500 -2132 2208 -2680 -2152 -2192 -2032 2540 -2412 -2060 -2740 -2200 -2368 -2548 -2628 2280 -2424 2448 2020 2244 -2448 2468 -2668 -2584 2020 -2740 -2060 -2120 2584 2472 2704 -2368 -2440 -2236 -2688 2060 2220 -2128 2020 -2240 2664 -2208 2236 -2556 2224 -2176 -2296 -2516 2124 -2396 2348 -2672 2388 2268 -2588 -2020 2088 2024 -2676 -2512 2256 2728 -2112 2408 2272 -2692 -2432 -2700 2064 2116 -2528 -2700 -2316 2020 2708 -2404 -2116 -2220 -2344 -2536 2668 2136 2072 -2592 -2620 -2704 2320 2496 -2724 2120 -2200 -2668 -2064 -2492 2436 2044 -2376 2304 -2480 2204 2624 -2552 -2492 2156 2380 -2636 2724 2184 -2060 -2316 2096 2284 2348 -2656 2308 -2304 2180 -2560 -2740 -2036 2384 -2248 -2048 -2420 2436 2448 2604 -2328 -2140 -2296 -2740 2068 -2348 -2172 -2700 -2236 2376 -2060 2500 -2672 2496 -2332 -2672 -2196 2256 2200 -2228 -2232 -2652 2520 -2148 -2476 -2688 -2100 -2356 2228 -2060 2500 -2188 -2060 -2520 2060 2504 -2208 2456 -2704 -2684 -2272 -2692 -2264 -2312 -2420 -2740 -2280 2036 2660 -2268 -2480 2560 -2060 -2652 2676 -2476 -2516 -2172 2348 -2540 2452 -2080 -2540 -2500 -2648 -2296 2732 2668 -2256 -2444 -2676 -2300 2304 -2060 -2208 -2620 -2608 -2492 -2072 -2664 -2180 2244 -2232 -2504 -2348 -2700 -2256 -2392 -2700 -2348 -2672 -2124 2556 -2548 -2088 -2220 -2472 2420 2308 -2740 2248 -2236 2188 -2216 -2524 -2740 -2740 -2316 2652 2080 -2736 2140 2036 2676 2488 2712 2456 -2060 -2096 2020 -2564 -2208 -2624 -2636 2020 2220 -2660 -2168 2328 -2276 2416 2464 -2672 2296 -2156 -2696 2372 -2700 -2060 2628 -2700 -2484 -2116 2284 -2524 -2528 -2652 -2248 -2584 -2656 -2636 2368 -2428 -2728 -2556 2700 -2656 -2100 -2084 -2060 -2180 -2204 2564 2316 2624 2024 -2636 2440 -2084 2020 -2092 2408 2428 2136 -2560 -2120 -2084 -2116 -2232 -2116 -2508 2020 -2648 -2740 -2740 -2060 -2080 -2308 -2316 -2356 -2348 -2468 2616 -2192 -2632 2300 -2620 2032 -2592 -2120 2080 2164 -2164 2476 2680 -2660 2688 2496 -2528 -2584 -2332 2648 2740 -2488 2740 -2288 -2372 -2268 2120 -2072 -2548 -2404 2336 2028 2196 2104 -2188 -2512 2216 2112 -2052 -2284 -2740 2268 -2044 -2664 -2584 -2676 -2100 2384 2184 -2220 -2624 2052 -2404 2468 -2516 -2684 2244 -2264 -2064 2452 2396 -2240 -2420 -2716 -2536 -2320 -2700 2676 -2336 2340 -2448 2216 2220 2072 -2692 -2100 2652 2576 2148 -2348 -2632 -2508 2172 2416 -2700 -2036 2492 2252 -2556 -2180 -2372 -2408 -2092 2400 2664 2404 2400 -2240 2108 -2172 -2060 2060 -2400 -2660 -2740 -2020 2444 -2448 -2184 -2688 -2612 -2196 2196 -2408 2064 2328 -2036 2140 -2216 2588 2180 -2280 2140 -2236 -2036 2520 -2716 2300 -2484 -2588 -2120 2096 -2276 2332 2488 -2544 2612 2440 -2700 -2104 -2368 -2060 2408 -2228 2616 -2588 2664 2320 -2644 -2508 -2340 -2708 -2060 2596 -2260 2508 -2192 2284 2120 -2136 -2216 2096 -2432 -2076 -2684 -2272 2220 2080 -2716 -2712 2404 -2600 -2032 2652 2540 -2648 -2740 -2364 -2684 -2048 2020 2224 -2104 2696 -2116 -2396 -2704 -2072 -2344 2060 2440 -2412 -2652 -2332 2604 -2264 -2700 -2548 2620 -2740 -2104 -2548 -2372 -2220 -2264 -2668 -2392 -2060 2196 -2096 -2028 -2532 -2668 2672 -2312 -2064 -2660 -2604 -2740 -2580 2384 2724 -2528 -2216 -2372 -2732 -2692 2180 -2700 -2436 2624 -2740 -2320 2244 -2196 -2620 -2624 2232 -2212 -2580 -2204 -2076 2688 -2384 -2544 2604 -2536 -2256 2572 -2552 2084 -2392 -2368 2628 -2648 -2148 2020 -2684 -2072 -2440 -2408 -2304 -2440 -2160 -2284 -2020 2248 2692 2140 -2068 -2448 -2724 2524 -2092 -2180 2620 -2456 -2544 -2700 2632 -2656 2048 2556 -2640 -2700 -2368 2688 2568 -2660 -2696 -2076 2716 2632 -2140 -2244 2020 2088 2692 2344 -2120 -2212 -2236 -2344 -2536 -2152 2560 -2668 2156 -2540 2036 2144 2260 -2676 -2020 -2340 2596 -2740 -2632 2376 2208 2248 2616 -2376 2020 -2336 2280 -2520 -2408 2184 -2296 -2284 -2120 -2200 -2372 -2184 -2552 2572 -2060 2336 -2740 -2384 2696 2172 2560 2684 -2656 -2064 2664 2688 2388 2384 -2624 -2560 -2240 -2360 -2700 -2740 -2612 -2272 -2492 -2060 -2032 2020 2420 2396 -2488 -2392 -2472 2124 -2200 2104 2020 -2660 -2740 -2192 2380 2288 -2316 2620 -2220 -2408 2696 -2560 2512 -2092 -2684 -2616 -2436 2372 2084 -2700 -2516 2260 2020 -2680 2460 -2412 2660 2332 -2376 -2096 -2600 2692 2740 -2740 -2700 -2656 2600 -2568 -2740 -2636 -2396 -2664 2672 2548 -2708 2088 2516 -2476 2584 2480 -2688 -2020 -2208 -2584 -2736 -2624 -2724 -2348 2684 -2124 2716 -2160 -2060 -2104 2280 -2080 -2224 -2400 2180 -2280 -2140 -2696 -2700 -2740 -2740 -2592 -2724 2060 2704 -2124 -2696 -2632 -2392 2388 2160 2680 -2616 -2144 -2124 2356 2672 2632 -2220 2488 -2320 -2348 2620 2064 -2728 -2308 2464 -2316 -2112 2500 2060 -2432 2020 2700 -2700 2500 -2060 -2200 2564 -2300 -2640 -2624 2020 2632 -2224 -2616 -2308 2136 -2228 -2464 2248 2444 -2356 -2320 -2664 2480 -2288 -2060 2136 -2248 2240 -2672 -2700 -2324 -2328 -2116 -2668 2208 2100 -2700 -2584 2172 -2460 2084 -2628 -2740 -2476 -2444 2092 -2728 -2612 -2076 -2316 2348 2512 -2248 -2700 -2700 -2668 -2536 -2224 -2460 -2044 2116 -2740 -2268 -2296 -2168 -2580 -2472 2080 2592 2148 -2288 -2644 2472 -2200 2628 -2508 2020 -2592 -2400 -2464 2640 2428 -2260 2080 2060 -2268 -2320 -2584 -2284 -2240 2020 2624 2428 2228 -2020 -2336 -2560 -2412 -2540 -2564 2056 -2660 2020 2724 2352 -2684 -2520 -2608 2316 2272 2020 -2444 -2620 -2024 -2700 2560 -2156 -2488 -2256 -2536 2072 2332 -2740 -2324 -2472 2576 -2072 -2700 -2200 -2580 2572 2308 -2392 -2300 -2060 2380 -2404 2628 -2516 2336 2216 -2064 2512 2464 -2400 -2024 -2020 -2060 2452 2020 2088 -2284 -2704 -2296 2256 2260 -2120 -2352 -2088 -2560 -2052 2452 -2740 -2736 2472 2556 2328 -2724 2532 -2376 2020 -2292 2668 2324 2488 -2144 2180 -2384 2064 2508 2500 -2116 -2328 -2352 -2400 2696 -2040 2068 2272 2564 -2468 2380 -2536 -2288 -2628 -2144 2676 -2472 -2168 -2088 -2740 -2608 -2256 -2664 2544 2612 2684 2440 -2084 -2500 -2380 -2144 -2124 -2696 2388 -2532 -2680 -2568 -2660 2644 -2544 2708 -2476 -2740 2200 -2460 -2228 -2580 2192 2544 -2632 2296 -2728 -2600 -2076 2588 2400 -2736 -2312 -2728 -2060 2108 -2628 2480 2268 2700 2248 2152 2472 2576 2336 -2360 -2244 -2280 2336 2432 -2352 2296 2368 -2484 -2660 -2612 -2356 -2356 -2672 -2400 2660 -2180 -2408 -2604 -2496 2388 2732 2592 -2684 2148 -2164 -2144 -2588 2556 2596 -2740 -2724 -2700 2680 -2600 2552 2584 -2340 -2428 -2080 -2620 -2724 -2536 -2264 -2704 -2700 -2708 -2440 -2324 -2212 -2492 -2452 2020 -2096 -2676 -2324 -2352 2076 -2384 -2648 2248 -2596 2080 -2656 -2740 2496 -2700 2020 -2360 -2548 2356 2544 -2176 -2740 -2336 2200 -2676 2320 2720 -2500 2356 2040 2700 -2376 -2668 -2424 2224 2060 2660 2348 -2732 2552 -2036 -2336 -2576 2504 -2444 -2552 -2372 2672 2468 -2396 2672 -2236 -2528 -2544 2020 -2740 -2716 2184 -2348 2360 2396 -2688 -2152 -2552 2664 -2152 -2324 -2420 -2684 2060 2616 2076 2468 -2584 2432 -2116 -2444 -2412 2612 -2332 -2268 -2636 2712 -2688 -2428 -2060 -2416 2060 2020 -2644 2572 2400 -2276 2280 -2080 -2684 2264 -2488 2564 -2080 -2672 -2596 -2336 -2384 -2740 -2180 -2084 2160 -2476 2280 -2200 -2340 2736 -2084 -2308 -2292 -2676 -2064 -2700 -2704 -2644 2448 -2356 -2616 2200 2284 -2700 -2404 -2296 -2728 -2088 2524 2232 -2100 -2060 -2636 -2496 -2516 -2428 2216 -2076 -2312 2540 -2524 2364 2660 -2344 2096 -2740 -2516 2692 -2700 -2300 -2304 -2492 -2340 -2236 -2712 2532 -2124 -2096 -2104 -2352 2700 -2628 -2488 -2244 -2040 -2580 -2148 2636 -2696 2196 -2708 -2340 -2096 -2136 2032 -2684 2300 -2740 -2248 -2740 2216 -2468 2324 2700 2024 2208 2564 2724 -2196 2144 -2740 -2700 -2552 -2224 -2740 2684 -2248 -2352 2184 -2032 -2668 -2060 -2208 2484 -2484 -2392 2324 2060 -2112 2500 -2500 -2440 -2644 -2428 2048 -2740 -2060 -2548 -2664 2044 -2696 -2256 2060 2364 -2168 2480 2636 -2392 -2700 2204 -2020 -2740 2084 -2136 2592 2064 2516 -2704 -2368 2656 -2700 -2136 -2140 2240 2224 -2368 -2372 -2360 -2632 -2112 -2224 -2060 -2144 2696 -2620 2152 -2596 -2404 -2268 -2408 -2700 2732 2476 -2056 2328 2616 -2724 -2232 2020 -2652 -2144 -2668 2668 2328 -2700 -2480 2664 2056 -2084 2020 2636 -2504 2356 2472 -2700 -2060 -2060 -2380 -2188 -2604 -2352 2380 -2628 -2352 2548 2020 2692 -2740 2296 -2572 2116 2736 -2060 -2688 -2596 -2700 2508 2664 -2104 2576 -2376 -2420 -2424 -2496 2732 -2600 -2688 -2556 2204 2512 -2516 2108 -2516 2740 -2340 2240 -2680 2700 2172 -2380 -2560 -2532 -2616 -2656 -2672 -2580 2020 -2468 -2568 2160 -2524 2300 2160 -2524 2624 -2572 -2604 -2700 -2688 -2700 -2684 2632 -2652 -2072 2432 -2076 2100 -2220 -2588 2472 2332 -2332 -2260 -2440 -2616 -2044 -2200 2576 2480 -2124 -2560 -2440 -2140 -2392 2580 -2188 -2700 -2516 2572 -2360 -2700 2140 -2660 -2084 -2060 2192 -2732 2700 2592 2280 -2700 -2632 -2740 -2700 -2044 2424 2696 2096 2020 -2700 2060 -2708 -2492 2128 -2668 -2132 2452 2320 2536 -2180 -2496 -2636 -2664 -2424 -2708 -2696 2036 -2360 2076 -2128 2376 -2680 -2484 -2700 2212 2060 -2676 -2272 2624 -2304 -2648 -2700 -2656 -2480 -2692 -2188 2460 -2228 -2632 2060 -2328 -2268 2616 -2288 2720 2236 2040 -2380 -2544 2484 2160 -2388 -2060 -2104 -2256 -2348 2048 -2360 -2416 -2556 -2656 -2180 2536 -2076 2640 -2564 -2276 -2668 -2484 -2396 2700 2292 -2516 -2084 -2064 2400 2244 -2620 2700 -2700 -2104 2064 -2740 2524 -2068 -2672 2152 2152 -2612 -2196 -2432 -2144 -2156 -2664 -2216 -2024 -2524 2256 2712 -2700 -2524 -2188 2020 -2100 -2168 -2684 -2192 2140 2676 2312 -2568 -2540 -2740 2472 -2028 2548 -2424 -2184 -2276 2616 -2196 -2324 2144 -2252 -2436 -2740 2076 -2488 -2740 2524 2216 -2192 -2724 2400 -2680 -2680 2512 -2600 -2076 -2084 2636 -2508 -2120 -2724 -2120 -2024 -2172 -2156 2020 -2076 -2380 2592 2428 -2600 2084 -2484 -2320 -2604 2596 2740 2208 2444 -2296 -2452 -2128 -2736 2452 2476 2164 -2136 2284 -2244 2452 -2576 -2468 2676 2640 -2216 2140 -2024 2072 -2204 -2200 -2620 -2632 2184 2040 -2392 -2700 2220 -2712 -2356 2656 2412 2700 -2724 2524 -2568 -2468 -2144 -2448 -2428 -2576 2196 2168 -2604 -2060 -2636 2216 2348 2240 2152 2428 -2488 -2524 -2380 -2244 2416 2696 2656 -2600 -2580 2020 -2236 -2240 2356 -2424 -2192 2448 -2052 -2032 -2180 -2672 -2644 -2468 -2740 2684 -2644 2524 -2556 -2156 -2032 -2608 -2092 2224 -2608 -2672 -2160 -2444 -2732 -2064 -2376 2084 2232 -2564 -2344 2172 -2356 -2060 -2568 -2344 2104 -2612 2672 -2684 -2740 -2556 -2388 -2104 -2460 -2384 2044 2596 -2312 2060 -2600 -2300 -2572 -2136 -2528 -2660 -2700 -2476 2448 2200 2556 -2632 2488 -2580 -2612 -2512 -2128 -2652 2664 2080 -2612 -2360 -2656 -2368 -2632 2508 -2640 -2120 -2240 2020 -2656 2160 2576 2200 -2328 -2444 -2528 -2044 -2740 -2132 -2240 -2640 2304 2292 2520 -2700 -2600 -2648 -2724 -2364 -2416 -2192 2464 -2068 2148 -2600 -2060 2532 2020 -2644 -2160 -2220 2244 -2076 2420 2516 -2136 2616 -2664 2152 -2700 2420 -2512 -2688 -2492 2528 2584 2616 2340 2024 -2660 -2336 -2168 -2596 2324 2420 -2072 -2548 2060 -2664 2692 2724 -2684 -2684 -2648 -2356 2108 2240 -2068 -2024 2288 2188 2020 2660 -2700 2140 -2356 -2696 -2196 -2412 -2060 -2120 -2364 -2644 2280 -2060 2584 -2104 2084 -2700 -2676 -2304 2520 -2540 2612 2348 2020 -2388 2080 2280 -2020 2132 -2352 -2340 2276 -2092 2668 -2388 -2060 2376 -2700 -2436 2620 -2472 -2520 -2692 -2420 -2688 -2700 -2144 -2676 2260 2100 -2400 2252 -2712 2480 -2552 -2020 2500 -2252 2624 2388 2576 -2700 2648 -2288 -2364 -2120 -2308 -2052 -2460 -2180 -2700 2304 -2128 2292 -2428 -2148 2684 -2336 -2420 2188 2652 -2428 -2400 -2240 -2360 -2740 -2372 -2492 -2132 -2344 2512 2344 -2740 -2416 2248 2572 -2100 -2076 -2676 2600 2544 2228 -2600 -2212 -2336 2172 -2644 -2212 2508 -2120 -2624 -2032 -2040 -2300 -2340 2640 -2512 2412 -2644 -2640 2244 -2124 -2296 2620 -2600 -2640 2444 -2408 2020 2256 2024 2188 -2676 2636 -2452 -2440 -2492 -2696 2160 2532 2024 -2640 -2700 -2212 2160 2716 -2532 2072 2508 -2600 -2132 2140 -2612 -2396 -2032 -2692 -2468 2656 2380 -2348 -2060 
333.89	d NODES 9585
333.89	d CHECKS 597402510
333.89	   
333.89	   totalWckTime=333.651  totalCpuTime=329.3

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/node39/watcher-200823-1168072212 -o ROOT/results/node39/solver-200823-1168072212 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200823-1168072212/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.63 0.90 1.17 4/80 18254
/proc/meminfo: memFree=1746304/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=18540 CPUtime=0
/proc/18253/stat : 18253 (runsolver) R 18251 18253 17801 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155620872 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/18253/statm: 4635 279 244 17 0 2626 0

[startup+0.10701 s]
/proc/loadavg: 0.63 0.90 1.17 4/80 18254
/proc/meminfo: memFree=1746304/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=914988 CPUtime=0.09
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 2995 0 1 0 8 1 0 0 20 0 8 0 155620872 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18253/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515044 s]
/proc/loadavg: 0.63 0.90 1.17 4/80 18254
/proc/meminfo: memFree=1746304/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915328 CPUtime=0.48
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 7717 0 1 0 44 4 0 0 22 0 8 0 155620872 937295872 7456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943247 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18253/statm: 228832 7456 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33612 s]
/proc/loadavg: 0.74 0.92 1.17 3/87 18261
/proc/meminfo: memFree=1599048/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915648 CPUtime=1.29
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 24468 0 1 0 117 12 0 0 25 0 8 0 155620872 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073537376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18253/statm: 228912 24205 2160 14 0 215382 0
[pid=18253/tid=18255] ppid=18251 vsize=915648 CPUtime=0.09
/proc/18253/task/18255/stat : 18255 (java) S 18251 18253 17801 0 -1 64 7924 0 0 0 7 2 0 0 16 0 8 0 155620876 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18256] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18256/stat : 18256 (java) S 18251 18253 17801 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155620877 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18257] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18257/stat : 18257 (java) S 18251 18253 17801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155620877 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18258] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18258/stat : 18258 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620880 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18259] ppid=18251 vsize=915648 CPUtime=0.14
/proc/18253/task/18259/stat : 18259 (java) S 18251 18253 17801 0 -1 64 410 0 0 0 14 0 0 0 15 0 8 0 155620880 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18260] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18260/stat : 18260 (java) S 18251 18253 17801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620880 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18261] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18261/stat : 18261 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620880 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915648

[startup+2.97426 s]
/proc/loadavg: 0.74 0.92 1.17 3/87 18261
/proc/meminfo: memFree=1577288/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915648 CPUtime=2.92
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 26187 0 1 0 278 14 0 0 25 0 8 0 155620872 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073340496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18253/statm: 228912 25921 2180 14 0 215382 0
[pid=18253/tid=18255] ppid=18251 vsize=915648 CPUtime=0.2
/proc/18253/task/18255/stat : 18255 (java) S 18251 18253 17801 0 -1 64 9567 0 0 0 17 3 0 0 16 0 8 0 155620876 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18256] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18256/stat : 18256 (java) S 18251 18253 17801 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155620877 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18257] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18257/stat : 18257 (java) S 18251 18253 17801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155620877 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18258] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18258/stat : 18258 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620880 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18259] ppid=18251 vsize=915648 CPUtime=0.16
/proc/18253/task/18259/stat : 18259 (java) S 18251 18253 17801 0 -1 64 422 0 0 0 16 0 0 0 15 0 8 0 155620880 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18260] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18260/stat : 18260 (java) S 18251 18253 17801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620880 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18261] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18261/stat : 18261 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620880 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915648

[startup+6.17756 s]
/proc/loadavg: 0.74 0.92 1.17 3/87 18261
/proc/meminfo: memFree=1554312/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915648 CPUtime=6.1
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 29467 0 1 0 595 15 0 0 25 0 8 0 155620872 937623552 29197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154545185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18253/statm: 228912 29197 2181 14 0 215382 0
[pid=18253/tid=18255] ppid=18251 vsize=915648 CPUtime=0.37
/proc/18253/task/18255/stat : 18255 (java) S 18251 18253 17801 0 -1 64 12815 0 0 0 33 4 0 0 16 0 8 0 155620876 937623552 29197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18256] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18256/stat : 18256 (java) S 18251 18253 17801 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155620877 937623552 29197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18257] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18257/stat : 18257 (java) S 18251 18253 17801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155620877 937623552 29197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18258] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18258/stat : 18258 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620880 937623552 29197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18259] ppid=18251 vsize=915648 CPUtime=0.2
/proc/18253/task/18259/stat : 18259 (java) S 18251 18253 17801 0 -1 64 449 0 0 0 20 0 0 0 15 0 8 0 155620880 937623552 29197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18260] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18260/stat : 18260 (java) S 18251 18253 17801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620880 937623552 29197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18261] ppid=18251 vsize=915648 CPUtime=0
/proc/18253/task/18261/stat : 18261 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620880 937623552 29197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915648

[startup+12.6441 s]
/proc/loadavg: 0.93 0.96 1.18 2/75 18272
/proc/meminfo: memFree=1589248/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915908 CPUtime=12.51
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 49401 0 1 0 1227 24 0 0 17 0 8 0 155620872 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18253/statm: 228977 49082 2533 14 0 215447 0
[pid=18253/tid=18255] ppid=18251 vsize=915908 CPUtime=1.16
/proc/18253/task/18255/stat : 18255 (java) S 18251 18253 17801 0 -1 64 32195 0 0 0 105 11 0 0 16 0 8 0 155620876 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18256] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18256/stat : 18256 (java) S 18251 18253 17801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620877 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18257] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18257/stat : 18257 (java) S 18251 18253 17801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620877 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18258] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18258/stat : 18258 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18259] ppid=18251 vsize=915908 CPUtime=0.33
/proc/18253/task/18259/stat : 18259 (java) S 18251 18253 17801 0 -1 64 560 0 0 0 32 1 0 0 15 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18260] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18260/stat : 18260 (java) S 18251 18253 17801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18261] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18261/stat : 18261 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915908

[startup+25.5003 s]
/proc/loadavg: 1.02 0.97 1.19 4/87 18317
/proc/meminfo: memFree=1454688/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915908 CPUtime=25.26
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 49401 0 1 0 2501 25 0 0 25 0 8 0 155620872 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835209 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18253/statm: 228977 49082 2533 14 0 215447 0
[pid=18253/tid=18255] ppid=18251 vsize=915908 CPUtime=1.16
/proc/18253/task/18255/stat : 18255 (java) S 18251 18253 17801 0 -1 64 32195 0 0 0 105 11 0 0 16 0 8 0 155620876 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18256] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18256/stat : 18256 (java) S 18251 18253 17801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620877 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18257] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18257/stat : 18257 (java) S 18251 18253 17801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620877 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18258] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18258/stat : 18258 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18259] ppid=18251 vsize=915908 CPUtime=0.33
/proc/18253/task/18259/stat : 18259 (java) S 18251 18253 17801 0 -1 64 560 0 0 0 32 1 0 0 15 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18260] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18260/stat : 18260 (java) S 18251 18253 17801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18261] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18261/stat : 18261 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915908

[startup+51.1997 s]
/proc/loadavg: 1.41 1.07 1.21 3/87 18317
/proc/meminfo: memFree=1387040/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915908 CPUtime=50.72
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 49402 0 1 0 5047 25 0 0 25 0 8 0 155620872 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830902 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18253/statm: 228977 49082 2533 14 0 215447 0
[pid=18253/tid=18255] ppid=18251 vsize=915908 CPUtime=1.16
/proc/18253/task/18255/stat : 18255 (java) S 18251 18253 17801 0 -1 64 32195 0 0 0 105 11 0 0 16 0 8 0 155620876 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18256] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18256/stat : 18256 (java) S 18251 18253 17801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620877 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18257] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18257/stat : 18257 (java) S 18251 18253 17801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620877 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18258] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18258/stat : 18258 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18259] ppid=18251 vsize=915908 CPUtime=0.33
/proc/18253/task/18259/stat : 18259 (java) S 18251 18253 17801 0 -1 64 561 0 0 0 32 1 0 0 16 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18260] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18260/stat : 18260 (java) S 18251 18253 17801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18261] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18261/stat : 18261 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620880 937889792 49082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915908

[startup+102.488 s]
/proc/loadavg: 1.74 1.21 1.25 3/87 18317
/proc/meminfo: memFree=1387040/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915908 CPUtime=101.61
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 49422 0 1 0 10135 26 0 0 25 0 8 0 155620872 937889792 49095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18253/statm: 228977 49095 2535 14 0 215447 0
[pid=18253/tid=18255] ppid=18251 vsize=915908 CPUtime=1.16
/proc/18253/task/18255/stat : 18255 (java) S 18251 18253 17801 0 -1 64 32196 0 0 0 105 11 0 0 16 0 8 0 155620876 937889792 49095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18256] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18256/stat : 18256 (java) S 18251 18253 17801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620877 937889792 49095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18257] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18257/stat : 18257 (java) S 18251 18253 17801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620877 937889792 49095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18258] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18258/stat : 18258 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620880 937889792 49095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18259] ppid=18251 vsize=915908 CPUtime=0.35
/proc/18253/task/18259/stat : 18259 (java) S 18251 18253 17801 0 -1 64 574 0 0 0 34 1 0 0 15 0 8 0 155620880 937889792 49095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18260] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18260/stat : 18260 (java) S 18251 18253 17801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620880 937889792 49095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18261] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18261/stat : 18261 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620880 937889792 49095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 915908

[startup+162.55 s]
/proc/loadavg: 1.90 1.35 1.29 3/87 18317
/proc/meminfo: memFree=1386976/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915908 CPUtime=161.19
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 49451 0 1 0 16092 27 0 0 25 0 8 0 155620872 937889792 49113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074194543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18253/statm: 228977 49113 2537 14 0 215447 0
[pid=18253/tid=18255] ppid=18251 vsize=915908 CPUtime=1.16
/proc/18253/task/18255/stat : 18255 (java) S 18251 18253 17801 0 -1 64 32196 0 0 0 105 11 0 0 16 0 8 0 155620876 937889792 49113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18256] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18256/stat : 18256 (java) S 18251 18253 17801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620877 937889792 49113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18257] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18257/stat : 18257 (java) S 18251 18253 17801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620877 937889792 49113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18258] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18258/stat : 18258 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620880 937889792 49113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18259] ppid=18251 vsize=915908 CPUtime=0.38
/proc/18253/task/18259/stat : 18259 (java) S 18251 18253 17801 0 -1 64 593 0 0 0 36 2 0 0 16 0 8 0 155620880 937889792 49113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18260] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18260/stat : 18260 (java) S 18251 18253 17801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620880 937889792 49113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18261] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18261/stat : 18261 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620880 937889792 49113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 915908

[startup+222.621 s]
/proc/loadavg: 1.96 1.47 1.33 3/87 18317
/proc/meminfo: memFree=1386912/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915908 CPUtime=220.73
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 49456 0 1 0 22046 27 0 0 25 0 8 0 155620872 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830902 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18253/statm: 228977 49116 2537 14 0 215447 0
[pid=18253/tid=18255] ppid=18251 vsize=915908 CPUtime=1.16
/proc/18253/task/18255/stat : 18255 (java) S 18251 18253 17801 0 -1 64 32196 0 0 0 105 11 0 0 16 0 8 0 155620876 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18256] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18256/stat : 18256 (java) S 18251 18253 17801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620877 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18257] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18257/stat : 18257 (java) S 18251 18253 17801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620877 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18258] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18258/stat : 18258 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620880 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18259] ppid=18251 vsize=915908 CPUtime=0.39
/proc/18253/task/18259/stat : 18259 (java) S 18251 18253 17801 0 -1 64 596 0 0 0 37 2 0 0 16 0 8 0 155620880 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18260] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18260/stat : 18260 (java) S 18251 18253 17801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620880 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18261] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18261/stat : 18261 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620880 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.73
Current children cumulated vsize (KiB) 915908

[startup+282.7 s]
/proc/loadavg: 1.98 1.56 1.37 3/87 18317
/proc/meminfo: memFree=1386848/2055920 swapFree=4192812/4192956
[pid=18253] ppid=18251 vsize=915908 CPUtime=280.31
/proc/18253/stat : 18253 (java) R 18251 18253 17801 0 -1 0 49456 0 1 0 28004 27 0 0 25 0 8 0 155620872 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830917 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18253/statm: 228977 49116 2537 14 0 215447 0
[pid=18253/tid=18255] ppid=18251 vsize=915908 CPUtime=1.16
/proc/18253/task/18255/stat : 18255 (java) S 18251 18253 17801 0 -1 64 32196 0 0 0 105 11 0 0 16 0 8 0 155620876 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18256] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18256/stat : 18256 (java) S 18251 18253 17801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620877 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18257] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18257/stat : 18257 (java) S 18251 18253 17801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155620877 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18258] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18258/stat : 18258 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620880 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18259] ppid=18251 vsize=915908 CPUtime=0.39
/proc/18253/task/18259/stat : 18259 (java) S 18251 18253 17801 0 -1 64 596 0 0 0 37 2 0 0 16 0 8 0 155620880 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18253/tid=18260] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18260/stat : 18260 (java) S 18251 18253 17801 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155620880 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18253/tid=18261] ppid=18251 vsize=915908 CPUtime=0
/proc/18253/task/18261/stat : 18261 (java) S 18251 18253 17801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155620880 937889792 49116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.31
Current children cumulated vsize (KiB) 915908

Child status: 0
Real time (s): 333.939
CPU time (s): 331.113
CPU user time (s): 330.808
CPU system time (s): 0.304953
CPU usage (%): 99.1536
Max. virtual memory (cumulated for all children) (KiB): 915908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330.808
system time used= 0.304953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49470
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= 8666
involuntary context switches= 9920

runsolver used 0.365944 s user time and 0.893864 s system time

The end

Launcher Data (download as text)

Begin job on node39 on Sat Jan  6 08:30:13 UTC 2007


IDJOB= 200823
IDBENCH= 3729
FILE ID= node39/200823-1168072212

PBS_JOBID= 3475969

Free space on /tmp= 66519 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7da57cc6785d866f073effab049038df

RANDOM SEED= 937897009

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.236
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.236
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:       1753184 kB
Buffers:         23860 kB
Cached:         171504 kB
SwapCached:          0 kB
Active:          83008 kB
Inactive:       147952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1753184 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           14952 kB
Writeback:           0 kB
Mapped:          54892 kB
Slab:            57160 kB
Committed_AS:  3722500 kB
PageTables:       1848 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= 66519 MiB



End job on node39 on Sat Jan  6 08:35:47 UTC 2007