0.01/0.08
0.01/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2094955-1247405781.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.38 nbVariables=239 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2 nbTotalValues=477
0.28/0.38 => wckTime=0.139 cpuTime=0.12 mem=8M867
0.28/0.38
0.28/0.38 predicates being loaded...
0.39/0.47
0.39/0.47 constraints being loaded...
0.97/1.06 nbConstraints=523 nbSingletonDomainVariables=1 nbConvertedConstraints=155 nbConvertConstraintsChecks=19462
0.97/1.06 nbExtensionStructures=4 nbSharedExtensionStructures=151 nbConflictsStructures=24 nbSharedConflictsStructures=487
0.97/1.06 nbUnbuiltConflictsStructures=11 nbSharedBinaryRepresentations=12 nbEvaluationManagers=31
0.97/1.06 nbSharedEvaluationManagers=337 minDegree=2 maxDegree=41 minArity=2 avgArity=4.38 maxArity=36 nbGenerators=0
0.97/1.06 nbFusions=0 symmetryWckTime=0.115 symmetryCpuTime=0.07
0.97/1.06 => wckTime=0.816 cpuTime=0.64 mem=34M264
1.07/1.14
1.07/1.14 solver IterativeSystematicSolver being built...
1.17/1.24
1.17/1.25 INFO : Forward propagation technique limited
1.26/1.31 => wckTime=1.07 cpuTime=0.79 mem=25M943
1.26/1.33
1.26/1.33 preprocessing
1.26/1.33 nbConstraintChecks=165 nbValidityChecks=156 nbPropagations=239 nbRevisions=156 nbUselessRevisions=156
1.26/1.33 nbRemovedValues=0 detectedInconsistency=no
1.26/1.33 => wckTime=0.018 cpuTime=0.01 mem=26M889
1.37/1.41
1.37/1.41 search
1.37/1.41 run=0 nbConstraintChecks=2797 nbValidityChecks=4098 minDepth=240 maxDepth=239 nbPropagations=513
1.37/1.41 nbRevisions=2902 nbUselessRevisions=2867 nbAssignments=239 nbFailedAssignments=0 nbBacktracks=0
1.37/1.41 nbVisitedNodes=240 nbRestartNogoods=0 nbFoundSolutions=1 mapSize=0 nbInferences=0 nbTooLargeKeys=0
1.37/1.41 nbSEliminables=0 nbREliminables=113.68 nbIEliminables=27.45 nbDEliminables=0 nbPEliminables=0
1.37/1.41 => wckTime=0.102 cpuTime=0.07 mem=27M867
1.37/1.42
1.37/1.42 global
1.37/1.42 nbConstraintChecks=2962 nbValidityChecks=4254 nbPropagations=752 nbRevisions=3058 nbUselessRevisions=3023
1.37/1.42 nbRestartNogoods=0 solvingWckTime=0.105 solvingCpuTime=0.07 expiredTime=no totalExploration=no
1.37/1.42 nbFoundSolutions=1 firstSolutionCpuTime=0.85 globalCpuTime=0.89
1.37/1.42 => wckTime=1.176 cpuTime=0.86 mem=27M867
1.37/1.42
1.37/1.42 s SATISFIABLE
1.37/1.42 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1
1.37/1.42 d NODES 239
1.37/1.42 d CHECKS 2962
1.37/1.42
1.37/1.42 totalWckTime=1.243 totalCpuTime=0.89
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094955-1247405781/watcher-2094955-1247405781 -o /tmp/evaluation-result-2094955-1247405781/solver-2094955-1247405781 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2094955-1247405781.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): 2000 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
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.94 4/80 32541
/proc/meminfo: memFree=1644576/2055920 swapFree=4192812/4192956
[pid=32541] ppid=32539 vsize=200 CPUtime=0
/proc/32541/stat : 32541 (java) R 32539 32541 29707 0 -1 0 212 0 0 0 0 0 0 0 18 0 1 0 27641565 204800 33 996147200 134512640 134550932 4294955968 18446744073709551615 4309796 0 0 4096 0 0 0 0 17 0 0 0
/proc/32541/statm: 68 35 26 9 0 6 0
[startup+0.025053 s]
/proc/loadavg: 1.92 1.98 1.94 4/80 32541
/proc/meminfo: memFree=1644576/2055920 swapFree=4192812/4192956
[pid=32541] ppid=32539 vsize=861936 CPUtime=0.01
/proc/32541/stat : 32541 (java) S 32539 32541 29707 0 -1 0 1907 0 1 0 0 1 0 0 18 0 5 0 27641565 882622464 1588 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/32541/statm: 215484 1590 704 9 0 210399 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861936
[startup+0.10106 s]
/proc/loadavg: 1.92 1.98 1.94 4/80 32541
/proc/meminfo: memFree=1644576/2055920 swapFree=4192812/4192956
[pid=32541] ppid=32539 vsize=865980 CPUtime=0.09
/proc/32541/stat : 32541 (java) S 32539 32541 29707 0 -1 0 3804 0 1 0 7 2 0 0 18 0 9 0 27641565 886763520 3255 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32541/statm: 216495 3256 1718 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301065 s]
/proc/loadavg: 1.92 1.98 1.94 4/80 32541
/proc/meminfo: memFree=1644576/2055920 swapFree=4192812/4192956
[pid=32541] ppid=32539 vsize=866380 CPUtime=0.28
/proc/32541/stat : 32541 (java) S 32539 32541 29707 0 -1 0 6084 0 1 0 24 4 0 0 18 0 9 0 27641565 887173120 5450 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32541/statm: 216595 5450 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701092 s]
/proc/loadavg: 1.92 1.98 1.94 4/80 32541
/proc/meminfo: memFree=1644576/2055920 swapFree=4192812/4192956
[pid=32541] ppid=32539 vsize=867176 CPUtime=0.69
/proc/32541/stat : 32541 (java) S 32539 32541 29707 0 -1 0 9053 0 1 0 61 8 0 0 18 0 9 0 27641565 887988224 8405 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32541/statm: 216794 8405 2037 9 0 211230 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867176
Solver just ended. Dumping a history of the last processes samples
[startup+1.10713 s]
/proc/loadavg: 1.93 1.98 1.94 4/91 32552
/proc/meminfo: memFree=1604232/2055920 swapFree=4192812/4192956
[pid=32541] ppid=32539 vsize=867620 CPUtime=1.07
/proc/32541/stat : 32541 (java) S 32539 32541 29707 0 -1 0 16499 203 1 0 95 11 1 0 18 0 10 0 27641565 888442880 12399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32541/statm: 216905 12399 2135 9 0 211341 0
[pid=32541/tid=32543] ppid=32539 vsize=867620 CPUtime=0.83
/proc/32541/task/32543/stat : 32543 (java) S 32539 32541 29707 0 -1 64 12426 203 1 0 73 9 1 0 17 0 10 0 27641566 888442880 12399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32544] ppid=32539 vsize=867620 CPUtime=0.05
/proc/32541/task/32544/stat : 32544 (java) R 32539 32541 29707 0 -1 64 2608 203 0 0 4 0 1 0 17 0 10 0 27641568 888442880 12399 996147200 134512640 134550932 4294955968 18446744073709551615 101466245 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32545] ppid=32539 vsize=867620 CPUtime=0.01
/proc/32541/task/32545/stat : 32545 (java) S 32539 32541 29707 0 -1 64 11 203 0 0 0 0 1 0 22 0 10 0 27641568 888442880 12399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32541/tid=32546] ppid=32539 vsize=867620 CPUtime=0.01
/proc/32541/task/32546/stat : 32546 (java) S 32539 32541 29707 0 -1 64 4 203 0 0 0 0 1 0 23 0 10 0 27641568 888442880 12399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32541/tid=32547] ppid=32539 vsize=867620 CPUtime=0.01
/proc/32541/task/32547/stat : 32547 (java) S 32539 32541 29707 0 -1 64 2 203 0 0 0 0 1 0 24 0 10 0 27641570 888442880 12399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32541/tid=32548] ppid=32539 vsize=867620 CPUtime=0.18
/proc/32541/task/32548/stat : 32548 (java) S 32539 32541 29707 0 -1 64 641 203 0 0 17 0 1 0 16 0 10 0 27641570 888442880 12399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32549] ppid=32539 vsize=867620 CPUtime=0.01
/proc/32541/task/32549/stat : 32549 (java) S 32539 32541 29707 0 -1 64 0 203 0 0 0 0 1 0 25 0 10 0 27641570 888442880 12399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32541/tid=32550] ppid=32539 vsize=867620 CPUtime=0.01
/proc/32541/task/32550/stat : 32550 (java) S 32539 32541 29707 0 -1 64 11 203 0 0 0 0 1 0 15 0 10 0 27641570 888442880 12399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 867620
[startup+1.30214 s]
/proc/loadavg: 1.93 1.98 1.94 4/91 32552
/proc/meminfo: memFree=1604232/2055920 swapFree=4192812/4192956
[pid=32541] ppid=32539 vsize=868644 CPUtime=1.26
/proc/32541/stat : 32541 (java) S 32539 32541 29707 0 -1 0 21512 203 1 0 113 12 1 0 18 0 10 0 27641565 889491456 13571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32541/statm: 217161 13571 2658 9 0 211597 0
[pid=32541/tid=32543] ppid=32539 vsize=868644 CPUtime=0.96
/proc/32541/task/32543/stat : 32543 (java) R 32539 32541 29707 0 -1 64 16128 203 1 0 86 9 1 0 17 0 10 0 27641566 889491456 13571 996147200 134512640 134550932 4294955968 18446744073709551615 4125978821 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32544] ppid=32539 vsize=868644 CPUtime=0.06
/proc/32541/task/32544/stat : 32544 (java) S 32539 32541 29707 0 -1 64 3826 203 0 0 5 0 1 0 17 0 10 0 27641568 889491456 13571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32545] ppid=32539 vsize=868644 CPUtime=0.01
/proc/32541/task/32545/stat : 32545 (java) S 32539 32541 29707 0 -1 64 19 203 0 0 0 0 1 0 16 0 10 0 27641568 889491456 13571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32546] ppid=32539 vsize=868644 CPUtime=0.01
/proc/32541/task/32546/stat : 32546 (java) S 32539 32541 29707 0 -1 64 12 203 0 0 0 0 1 0 16 0 10 0 27641568 889491456 13571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32547] ppid=32539 vsize=868644 CPUtime=0.01
/proc/32541/task/32547/stat : 32547 (java) S 32539 32541 29707 0 -1 64 2 203 0 0 0 0 1 0 24 0 10 0 27641570 889491456 13571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32541/tid=32548] ppid=32539 vsize=868644 CPUtime=0.21
/proc/32541/task/32548/stat : 32548 (java) S 32539 32541 29707 0 -1 64 718 203 0 0 20 0 1 0 15 0 10 0 27641570 889491456 13571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32549] ppid=32539 vsize=868644 CPUtime=0.01
/proc/32541/task/32549/stat : 32549 (java) S 32539 32541 29707 0 -1 64 0 203 0 0 0 0 1 0 25 0 10 0 27641570 889491456 13571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32541/tid=32550] ppid=32539 vsize=868644 CPUtime=0.01
/proc/32541/task/32550/stat : 32550 (java) S 32539 32541 29707 0 -1 64 11 203 0 0 0 0 1 0 15 0 10 0 27641570 889491456 13571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 868644
[startup+1.40214 s]
/proc/loadavg: 1.93 1.98 1.94 4/91 32552
/proc/meminfo: memFree=1604232/2055920 swapFree=4192812/4192956
[pid=32541] ppid=32539 vsize=868644 CPUtime=1.37
/proc/32541/stat : 32541 (java) S 32539 32541 29707 0 -1 0 22146 203 1 0 123 13 1 0 18 0 10 0 27641565 889491456 13607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32541/statm: 217161 13607 2658 9 0 211597 0
[pid=32541/tid=32543] ppid=32539 vsize=868644 CPUtime=1.03
/proc/32541/task/32543/stat : 32543 (java) R 32539 32541 29707 0 -1 64 16735 203 1 0 92 10 1 0 17 0 10 0 27641566 889491456 13607 996147200 134512640 134550932 4294955968 18446744073709551615 4127059987 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32544] ppid=32539 vsize=868644 CPUtime=0.06
/proc/32541/task/32544/stat : 32544 (java) S 32539 32541 29707 0 -1 64 3826 203 0 0 5 0 1 0 17 0 10 0 27641568 889491456 13607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32545] ppid=32539 vsize=868644 CPUtime=0.01
/proc/32541/task/32545/stat : 32545 (java) S 32539 32541 29707 0 -1 64 19 203 0 0 0 0 1 0 16 0 10 0 27641568 889491456 13607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32546] ppid=32539 vsize=868644 CPUtime=0.01
/proc/32541/task/32546/stat : 32546 (java) S 32539 32541 29707 0 -1 64 12 203 0 0 0 0 1 0 16 0 10 0 27641568 889491456 13607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32547] ppid=32539 vsize=868644 CPUtime=0.01
/proc/32541/task/32547/stat : 32547 (java) S 32539 32541 29707 0 -1 64 2 203 0 0 0 0 1 0 24 0 10 0 27641570 889491456 13607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32541/tid=32548] ppid=32539 vsize=868644 CPUtime=0.26
/proc/32541/task/32548/stat : 32548 (java) S 32539 32541 29707 0 -1 64 745 203 0 0 24 1 1 0 15 0 10 0 27641570 889491456 13607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32541/tid=32549] ppid=32539 vsize=868644 CPUtime=0.01
/proc/32541/task/32549/stat : 32549 (java) S 32539 32541 29707 0 -1 64 0 203 0 0 0 0 1 0 25 0 10 0 27641570 889491456 13607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32541/tid=32550] ppid=32539 vsize=868644 CPUtime=0.01
/proc/32541/task/32550/stat : 32550 (java) S 32539 32541 29707 0 -1 64 11 203 0 0 0 0 1 0 15 0 10 0 27641570 889491456 13607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 868644
Child status: 0
Real time (s): 1.46267
CPU time (s): 1.42478
CPU user time (s): 1.26881
CPU system time (s): 0.155976
CPU usage (%): 97.4098
Max. virtual memory (cumulated for all children) (KiB): 869092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.26881
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22624
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= 1162
involuntary context switches= 1195
runsolver used 0.005999 second user time and 0.011998 second system time
The end
Begin job on node52 at 2009-07-12 15:36:21
IDJOB=2094955
IDBENCH=54683
IDSOLVER=773
FILE ID=node52/2094955-1247405781
PBS_JOBID= 9510541
Free space on /tmp= 66140 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/circuits/normalized-c8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094955-1247405781/watcher-2094955-1247405781 -o /tmp/evaluation-result-2094955-1247405781/solver-2094955-1247405781 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2094955-1247405781.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b481dfce7d7192b2f4754dc41eb7fdee
RANDOM SEED=920448344
node52.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.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: 1645056 kB
Buffers: 39624 kB
Cached: 145472 kB
SwapCached: 0 kB
Active: 261984 kB
Inactive: 91948 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1645056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2232 kB
Writeback: 0 kB
Mapped: 189288 kB
Slab: 41700 kB
Committed_AS: 1019744 kB
PageTables: 2212 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= 66140 MiB
End job on node52 at 2009-07-12 15:36:23