0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.27 name=esac.xml
0.27/0.30
0.27/0.30 instance
0.27/0.30 name=HOME/instance-1099603-1215285775.xml
0.27/0.34
0.27/0.34 domains being loaded...
0.27/0.35
0.27/0.35 variables being loaded...
0.27/0.38 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15 nbTotalValues=450
0.27/0.38 => wckTime=0.11 cpuTime=0.11 mem=7M919
0.27/0.38
0.27/0.38 relations being loaded...
0.38/0.45
0.38/0.45 constraints being loaded...
0.58/0.64 nbConstraints=222 nbRelationTypes=222 nbExtensionStructures=222 nbSharedExtensionStructures=0
0.58/0.64 nbConflictsStructures=222 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2748 minDegree=9
0.58/0.64 maxDegree=21 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.05 symmetryCpuTime=0.03
0.58/0.64 => wckTime=0.372 cpuTime=0.26 mem=15M771
0.58/0.70
0.67/0.70 solver IterativeSystematicSolver being built...
0.77/0.85 => wckTime=0.58 cpuTime=0.38 mem=20M282
0.77/0.90
0.77/0.90 preprocessing
0.77/0.90 nbConstraintChecks=31413 nbPropagations=587 nbRevisions=4093 nbUselessRevisions=3240 nbSingletonTests=38
0.77/0.90 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.77/0.90 => wckTime=0.045 cpuTime=0.03 mem=20M282
0.97/1.01
0.97/1.01 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=21M290)
3.15/3.23
3.15/3.23 search
3.15/3.23 run=13 nbConstraintChecks=10651173 minDepth=0 maxDepth=30 nbPropagations=602913 nbRevisions=7177129
3.15/3.23 nbUselessRevisions=5631959 nbAssignments=10203 nbFailedAssignments=4646 nbBacktracks=5477 nbVisitedNodes=18455
3.15/3.23 nbRestartNogoods=73 nbFoundSolutions=1 nbSEliminables=5.32 nbREliminables=1.07 nbIEliminables=0.41
3.15/3.23 nbDEliminables=0 nbPEliminables=0
3.15/3.23 => wckTime=2.38 cpuTime=2.27 mem=21M290
3.15/3.23
3.15/3.23 global
3.15/3.23 nbConstraintChecks=10682586 nbPropagations=603500 nbRevisions=7181222 nbUselessRevisions=5635199
3.15/3.23 nbRestartNogoods=73 solvingWckTime=2.383 solvingCpuTime=2.27 expiredTime=no totalExploration=no
3.15/3.23 nbFoundSolutions=1 firstSolutionCpuTime=2.65 globalCpuTime=2.68
3.15/3.23 => wckTime=2.966 cpuTime=2.65 mem=21M290
3.15/3.23
3.15/3.23 s SATISFIABLE
3.15/3.23 v 12 11 9 5 3 11 4 9 1 0 1 9 9 0 9 10 12 14 4 7 2 1 9 8 11 4 10 10 8 5
3.15/3.23 d NODES 10203
3.15/3.23 d CHECKS 10682586
3.15/3.24
3.15/3.24 totalWckTime=3.036 totalCpuTime=2.69
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1099603-1215285775/watcher-1099603-1215285775 -o /tmp/evaluation-result-1099603-1215285775/solver-1099603-1215285775 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1099603-1215285775.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.96 2.60 2.35 3/84 2509
/proc/meminfo: memFree=1595784/2055924 swapFree=4180432/4192956
[pid=2509] ppid=2507 vsize=10616 CPUtime=0
/proc/2509/stat : 2509 (java) S 2507 2509 30588 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 2007552763 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2509/statm: 2654 472 209 9 0 1184 0
[pid=2509/tid=2510] ppid=2507 vsize=10616 CPUtime=0
/proc/2509/task/2510/stat : 2510 (java) R 2507 2509 30588 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 2007552765 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 3035096 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.089607 s]
/proc/loadavg: 2.96 2.60 2.35 3/84 2509
/proc/meminfo: memFree=1595784/2055924 swapFree=4180432/4192956
[pid=2509] ppid=2507 vsize=865856 CPUtime=0.07
/proc/2509/stat : 2509 (java) S 2507 2509 30588 0 -1 0 3520 0 1 0 5 2 0 0 18 0 9 0 2007552763 886636544 3010 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2509/statm: 216464 3010 1625 9 0 211026 0
[pid=2509/tid=2510] ppid=2507 vsize=865856 CPUtime=0.05
/proc/2509/task/2510/stat : 2510 (java) R 2507 2509 30588 0 -1 64 2610 0 1 0 4 1 0 0 20 0 9 0 2007552765 886636544 3010 996147200 134512640 134550740 4294955968 18446744073709551615 4159510177 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856
[startup+0.102612 s]
/proc/loadavg: 2.96 2.60 2.35 3/84 2509
/proc/meminfo: memFree=1595784/2055924 swapFree=4180432/4192956
[pid=2509] ppid=2507 vsize=865884 CPUtime=0.08
/proc/2509/stat : 2509 (java) S 2507 2509 30588 0 -1 0 3675 0 1 0 6 2 0 0 18 0 9 0 2007552763 886665216 3150 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2509/statm: 216471 3150 1681 9 0 211026 0
[pid=2509/tid=2510] ppid=2507 vsize=865884 CPUtime=0.06
/proc/2509/task/2510/stat : 2510 (java) R 2507 2509 30588 0 -1 64 2764 0 1 0 5 1 0 0 20 0 9 0 2007552765 886665216 3150 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301652 s]
/proc/loadavg: 2.96 2.60 2.35 3/84 2509
/proc/meminfo: memFree=1595784/2055924 swapFree=4180432/4192956
[pid=2509] ppid=2507 vsize=866284 CPUtime=0.27
/proc/2509/stat : 2509 (java) S 2507 2509 30588 0 -1 0 5670 0 1 0 24 3 0 0 18 0 9 0 2007552763 887074816 5076 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2509/statm: 216571 5076 1924 9 0 211099 0
[pid=2509/tid=2510] ppid=2507 vsize=866284 CPUtime=0.23
/proc/2509/task/2510/stat : 2510 (java) R 2507 2509 30588 0 -1 64 4697 0 1 0 20 3 0 0 21 0 9 0 2007552765 887074816 5076 996147200 134512640 134550740 4294955968 18446744073709551615 104280928 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866284
[startup+0.702724 s]
/proc/loadavg: 2.96 2.60 2.35 3/84 2509
/proc/meminfo: memFree=1595784/2055924 swapFree=4180432/4192956
[pid=2509] ppid=2507 vsize=867624 CPUtime=0.67
/proc/2509/stat : 2509 (java) S 2507 2509 30588 0 -1 0 12149 158 1 0 61 6 0 0 18 0 10 0 2007552763 888446976 8777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2509/statm: 216906 8777 2604 9 0 211434 0
[pid=2509/tid=2510] ppid=2507 vsize=867624 CPUtime=0.45
/proc/2509/task/2510/stat : 2510 (java) R 2507 2509 30588 0 -1 64 7938 158 1 0 41 4 0 0 19 0 10 0 2007552765 888446976 8777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867624
[startup+1.50288 s]
/proc/loadavg: 2.96 2.60 2.35 3/93 2522
/proc/meminfo: memFree=1564288/2055924 swapFree=4180432/4192956
[pid=2509] ppid=2507 vsize=867836 CPUtime=1.46
/proc/2509/stat : 2509 (java) S 2507 2509 30588 0 -1 0 15980 281 1 0 137 9 0 0 18 0 9 0 2007552763 888664064 10458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2509/statm: 216959 10458 2631 9 0 211465 0
[pid=2509/tid=2510] ppid=2507 vsize=867836 CPUtime=1.13
/proc/2509/task/2510/stat : 2510 (java) R 2507 2509 30588 0 -1 64 11594 281 1 0 107 6 0 0 25 0 9 0 2007552765 888664064 10458 996147200 134512640 134550740 4294955968 18446744073709551615 4126838773 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2512] ppid=2507 vsize=867836 CPUtime=0.04
/proc/2509/task/2512/stat : 2512 (java) S 2507 2509 30588 0 -1 64 2865 281 0 0 4 0 0 0 16 0 9 0 2007552766 888664064 10458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2513] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2513/stat : 2513 (java) S 2507 2509 30588 0 -1 64 16 281 0 0 0 0 0 0 16 0 9 0 2007552767 888664064 10458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2514] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2514/stat : 2514 (java) S 2507 2509 30588 0 -1 64 9 281 0 0 0 0 0 0 15 0 9 0 2007552767 888664064 10458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2515] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2515/stat : 2515 (java) S 2507 2509 30588 0 -1 64 1 281 0 0 0 0 0 0 18 0 9 0 2007552769 888664064 10458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2516] ppid=2507 vsize=867836 CPUtime=0.24
/proc/2509/task/2516/stat : 2516 (java) S 2507 2509 30588 0 -1 64 677 281 0 0 24 0 0 0 15 0 9 0 2007552769 888664064 10458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2517] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2517/stat : 2517 (java) S 2507 2509 30588 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 2007552769 888664064 10458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2518] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2518/stat : 2518 (java) S 2507 2509 30588 0 -1 64 3 281 0 0 0 0 0 0 15 0 9 0 2007552769 888664064 10458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867836
[startup+3.10119 s]
/proc/loadavg: 2.96 2.60 2.35 3/93 2522
/proc/meminfo: memFree=1563968/2055924 swapFree=4180432/4192956
[pid=2509] ppid=2507 vsize=867836 CPUtime=3.05
/proc/2509/stat : 2509 (java) S 2507 2509 30588 0 -1 0 15990 281 1 0 296 9 0 0 18 0 9 0 2007552763 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2509/statm: 216959 10466 2631 9 0 211465 0
[pid=2509/tid=2510] ppid=2507 vsize=867836 CPUtime=2.71
/proc/2509/task/2510/stat : 2510 (java) R 2507 2509 30588 0 -1 64 11598 281 1 0 265 6 0 0 25 0 9 0 2007552765 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4126845730 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2512] ppid=2507 vsize=867836 CPUtime=0.04
/proc/2509/task/2512/stat : 2512 (java) S 2507 2509 30588 0 -1 64 2865 281 0 0 4 0 0 0 16 0 9 0 2007552766 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2513] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2513/stat : 2513 (java) S 2507 2509 30588 0 -1 64 16 281 0 0 0 0 0 0 16 0 9 0 2007552767 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2514] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2514/stat : 2514 (java) S 2507 2509 30588 0 -1 64 9 281 0 0 0 0 0 0 15 0 9 0 2007552767 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2515] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2515/stat : 2515 (java) S 2507 2509 30588 0 -1 64 1 281 0 0 0 0 0 0 18 0 9 0 2007552769 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2516] ppid=2507 vsize=867836 CPUtime=0.25
/proc/2509/task/2516/stat : 2516 (java) S 2507 2509 30588 0 -1 64 683 281 0 0 25 0 0 0 16 0 9 0 2007552769 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2517] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2517/stat : 2517 (java) S 2507 2509 30588 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 2007552769 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2518] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2518/stat : 2518 (java) S 2507 2509 30588 0 -1 64 3 281 0 0 0 0 0 0 15 0 9 0 2007552769 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867836
Solver just ended. Dumping a history of the last processes samples
[startup+3.20221 s]
/proc/loadavg: 2.96 2.60 2.35 3/93 2522
/proc/meminfo: memFree=1563968/2055924 swapFree=4180432/4192956
[pid=2509] ppid=2507 vsize=867836 CPUtime=3.15
/proc/2509/stat : 2509 (java) S 2507 2509 30588 0 -1 0 15990 281 1 0 306 9 0 0 18 0 9 0 2007552763 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2509/statm: 216959 10466 2631 9 0 211465 0
[pid=2509/tid=2510] ppid=2507 vsize=867836 CPUtime=2.82
/proc/2509/task/2510/stat : 2510 (java) R 2507 2509 30588 0 -1 64 11598 281 1 0 276 6 0 0 25 0 9 0 2007552765 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4126832973 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2512] ppid=2507 vsize=867836 CPUtime=0.04
/proc/2509/task/2512/stat : 2512 (java) S 2507 2509 30588 0 -1 64 2865 281 0 0 4 0 0 0 16 0 9 0 2007552766 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2513] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2513/stat : 2513 (java) S 2507 2509 30588 0 -1 64 16 281 0 0 0 0 0 0 16 0 9 0 2007552767 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2514] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2514/stat : 2514 (java) S 2507 2509 30588 0 -1 64 9 281 0 0 0 0 0 0 15 0 9 0 2007552767 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2515] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2515/stat : 2515 (java) S 2507 2509 30588 0 -1 64 1 281 0 0 0 0 0 0 18 0 9 0 2007552769 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2516] ppid=2507 vsize=867836 CPUtime=0.25
/proc/2509/task/2516/stat : 2516 (java) S 2507 2509 30588 0 -1 64 683 281 0 0 25 0 0 0 16 0 9 0 2007552769 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2517] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2517/stat : 2517 (java) S 2507 2509 30588 0 -1 64 1 281 0 0 0 0 0 0 19 0 9 0 2007552769 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2509/tid=2518] ppid=2507 vsize=867836 CPUtime=0
/proc/2509/task/2518/stat : 2518 (java) S 2507 2509 30588 0 -1 64 3 281 0 0 0 0 0 0 15 0 9 0 2007552769 888664064 10466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 867836
Child status: 0
Real time (s): 3.29123
CPU time (s): 3.20251
CPU user time (s): 3.10053
CPU system time (s): 0.101984
CPU usage (%): 97.3044
Max. virtual memory (cumulated for all children) (KiB): 867836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.10053
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16401
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= 1338
involuntary context switches= 1509
runsolver used 0.006998 second user time and 0.023996 second system time
The end
Begin job on node6 at 2008-07-05 21:22:55
IDJOB=1099603
IDBENCH=59747
IDSOLVER=364
FILE ID=node6/1099603-1215285775
PBS_JOBID= 7882221
Free space on /tmp= 66492 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-2-30-15-fcd/normalized-rand-2-30-15-306-230-fcd-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1099603-1215285775/watcher-1099603-1215285775 -o /tmp/evaluation-result-1099603-1215285775/solver-1099603-1215285775 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1099603-1215285775.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 6b36a5769dabab67c09f820b688479b7
RANDOM SEED=153917915
node6.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.265
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.265
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: 2055924 kB
MemFree: 1596264 kB
Buffers: 53648 kB
Cached: 189376 kB
SwapCached: 6536 kB
Active: 311684 kB
Inactive: 95956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1596264 kB
SwapTotal: 4192956 kB
SwapFree: 4180432 kB
Dirty: 3172 kB
Writeback: 0 kB
Mapped: 176032 kB
Slab: 36844 kB
Committed_AS: 4097628 kB
PageTables: 2204 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= 66488 MiB
End job on node6 at 2008-07-05 21:22:58