0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/242219-1168377770/unknown.xml
0.46
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=63 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.49 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.49
0.49 relations being loaded...
0.49
0.49 constraints being loaded...
0.53 nbConstraints=42 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=40
0.53 nbConflictsStructures=2 nbSharedConflictsStructures=40 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.53 => wckTime=0.13 cpuTime=0.11 mem=6M951
0.56
0.56 solver IterativeSystematicSolver being built...
0.74 => wckTime=0.347 cpuTime=0.25 mem=15M284
0.77
0.77 preprocessing
0.77 nbConstraintChecks=200 nbValidityChecks=707 nbPropagations=261 nbRevisions=367 nbUselessRevisions=285
0.77 nbSingletonTests=120 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.77 => wckTime=0.026 cpuTime=0.02 mem=15M284
0.80
0.80 search
0.80 run=0 nbConstraintChecks=102 nbValidityChecks=401 nbPropagations=349 nbRevisions=544 nbUselessRevisions=393
0.80 nbAssignments=49 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=56 nbRestartNogoods=0 mapSize=3
0.80 nbInferences=0 nbTooLargeKeys=0
0.80 => wckTime=0.057 cpuTime=0.04 mem=15M284
0.81
0.81 search
0.81 run=1 nbConstraintChecks=249 nbValidityChecks=920 nbPropagations=813 nbRevisions=1311 nbUselessRevisions=913
0.81 nbAssignments=106 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=124 nbRestartNogoods=2 mapSize=12
0.81 nbInferences=0 nbTooLargeKeys=0
0.81 => wckTime=0.068 cpuTime=0.05 mem=15M284
0.83
0.83 search
0.83 run=2 nbConstraintChecks=456 nbValidityChecks=1548 nbPropagations=1415 nbRevisions=2355
0.83 nbUselessRevisions=1593 nbAssignments=169 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=201
0.83 nbRestartNogoods=4 mapSize=24 nbInferences=2 nbTooLargeKeys=0
0.83 => wckTime=0.084 cpuTime=0.06 mem=15M284
0.84
0.84 search
0.84 run=3 nbConstraintChecks=732 nbValidityChecks=2409 nbPropagations=2202 nbRevisions=3764
0.84 nbUselessRevisions=2487 nbAssignments=248 nbFailedAssignments=21 nbBacktracks=86 nbVisitedNodes=300
0.84 nbRestartNogoods=5 mapSize=41 nbInferences=10 nbTooLargeKeys=0
0.84 => wckTime=0.098 cpuTime=0.07 mem=15M284
0.86
0.86 search
0.86 run=4 nbConstraintChecks=1046 nbValidityChecks=3364 nbPropagations=3204 nbRevisions=5583
0.86 nbUselessRevisions=3609 nbAssignments=347 nbFailedAssignments=32 nbBacktracks=136 nbVisitedNodes=426
0.86 nbRestartNogoods=8 mapSize=66 nbInferences=16 nbTooLargeKeys=0
0.86 => wckTime=0.111 cpuTime=0.08 mem=15M284
0.87
0.87 search
0.87 run=5 nbConstraintChecks=1442 nbValidityChecks=4587 nbPropagations=4488 nbRevisions=7916
0.87 nbUselessRevisions=5020 nbAssignments=479 nbFailedAssignments=38 nbBacktracks=216 nbVisitedNodes=589
0.87 nbRestartNogoods=10 mapSize=94 nbInferences=35 nbTooLargeKeys=0
0.87 => wckTime=0.13 cpuTime=0.09 mem=15M284
0.89
0.89 search
0.89 run=6 nbConstraintChecks=2304 nbValidityChecks=7231 nbPropagations=6435 nbRevisions=11357
0.89 nbUselessRevisions=6971 nbAssignments=661 nbFailedAssignments=44 nbBacktracks=330 nbVisitedNodes=821
0.89 nbRestartNogoods=13 mapSize=142 nbInferences=74 nbTooLargeKeys=0
0.89 => wckTime=0.15 cpuTime=0.11 mem=15M284
0.91
0.91 search
0.91 run=7 nbConstraintChecks=3838 nbValidityChecks=11557 nbPropagations=9344 nbRevisions=16603
0.91 nbUselessRevisions=9984 nbAssignments=956 nbFailedAssignments=47 nbBacktracks=500 nbVisitedNodes=1220
0.91 nbRestartNogoods=15 mapSize=244 nbInferences=174 nbTooLargeKeys=0
0.91 => wckTime=0.17 cpuTime=0.12 mem=15M284
0.94
0.94 search
0.94 run=8 nbConstraintChecks=5766 nbValidityChecks=17299 nbPropagations=13536 nbRevisions=24226
0.94 nbUselessRevisions=14414 nbAssignments=1376 nbFailedAssignments=48 nbBacktracks=756 nbVisitedNodes=1785
0.94 nbRestartNogoods=17 mapSize=386 nbInferences=318 nbTooLargeKeys=0
0.94 => wckTime=0.195 cpuTime=0.15 mem=15M284
0.99
0.99 search
0.99 run=9 nbConstraintChecks=8708 nbValidityChecks=26019 nbPropagations=19663 nbRevisions=35461
0.99 nbUselessRevisions=21025 nbAssignments=2011 nbFailedAssignments=48 nbBacktracks=1144 nbVisitedNodes=2648
0.99 nbRestartNogoods=20 mapSize=608 nbInferences=546 nbTooLargeKeys=0
0.99 => wckTime=0.247 cpuTime=0.18 mem=15M284
1.03
1.03 search
1.03 run=10 nbConstraintChecks=13458 nbValidityChecks=39570 nbPropagations=28747 nbRevisions=52232
1.03 nbUselessRevisions=30964 nbAssignments=2968 nbFailedAssignments=48 nbBacktracks=1720 nbVisitedNodes=3967
1.03 nbRestartNogoods=26 mapSize=965 nbInferences=908 nbTooLargeKeys=0
1.03 => wckTime=0.289 cpuTime=0.21 mem=15M284
1.08
1.08 search
1.08 run=11 nbConstraintChecks=21066 nbValidityChecks=60783 nbPropagations=42410 nbRevisions=77544
1.08 nbUselessRevisions=46074 nbAssignments=4448 nbFailedAssignments=48 nbBacktracks=2585 nbVisitedNodes=6045
1.08 nbRestartNogoods=31 mapSize=1557 nbInferences=1506 nbTooLargeKeys=0
1.08 => wckTime=0.34 cpuTime=0.26 mem=15M284
1.16
1.16 search
1.16 run=12 nbConstraintChecks=31904 nbValidityChecks=90980 nbPropagations=62625 nbRevisions=115039
1.16 nbUselessRevisions=68489 nbAssignments=6606 nbFailedAssignments=55 nbBacktracks=3884 nbVisitedNodes=9042
1.16 nbRestartNogoods=37 mapSize=2391 nbInferences=2332 nbTooLargeKeys=0
1.16 => wckTime=0.414 cpuTime=0.33 mem=16M259
1.26
1.26 search
1.26 run=13 nbConstraintChecks=49457 nbValidityChecks=139898 nbPropagations=94378 nbRevisions=172452
1.26 nbUselessRevisions=101578 nbAssignments=9719 nbFailedAssignments=65 nbBacktracks=5832 nbVisitedNodes=13308
1.26 nbRestartNogoods=42 mapSize=3540 nbInferences=3467 nbTooLargeKeys=0
1.26 => wckTime=0.519 cpuTime=0.44 mem=16M259
1.44
1.44 search
1.44 run=14 nbConstraintChecks=81606 nbValidityChecks=231850 nbPropagations=148153 nbRevisions=267643
1.44 nbUselessRevisions=154505 nbAssignments=14693 nbFailedAssignments=66 nbBacktracks=8751 nbVisitedNodes=20318
1.44 nbRestartNogoods=46 mapSize=5568 nbInferences=5501 nbTooLargeKeys=0
1.44 => wckTime=0.7 cpuTime=0.62 mem=16M259
1.71
1.71 search
1.71 run=15 nbConstraintChecks=129804 nbValidityChecks=369159 nbPropagations=234962 nbRevisions=419442
1.71 nbUselessRevisions=237094 nbAssignments=22126 nbFailedAssignments=66 nbBacktracks=13131 nbVisitedNodes=30786
1.71 nbRestartNogoods=54 mapSize=8597 nbInferences=8536 nbTooLargeKeys=0
1.71 => wckTime=0.966 cpuTime=0.88 mem=17M234
2.11
2.11 search
2.11 run=16 nbConstraintChecks=202962 nbValidityChecks=578403 nbPropagations=371478 nbRevisions=656769
2.11 nbUselessRevisions=364819 nbAssignments=33362 nbFailedAssignments=66 nbBacktracks=19699 nbVisitedNodes=46667
2.11 nbRestartNogoods=60 mapSize=13236 nbInferences=13181 nbTooLargeKeys=0
2.11 => wckTime=1.367 cpuTime=1.28 mem=18M340
2.73
2.73 search
2.73 run=17 nbConstraintChecks=315428 nbValidityChecks=900883 nbPropagations=584406 nbRevisions=1025733
2.73 nbUselessRevisions=562174 nbAssignments=50430 nbFailedAssignments=66 nbBacktracks=29553 nbVisitedNodes=70929
2.73 nbRestartNogoods=66 mapSize=20424 nbInferences=20375 nbTooLargeKeys=0
2.73 => wckTime=1.983 cpuTime=1.89 mem=19M316
3.63
3.63 search
3.63 run=18 nbConstraintChecks=480382 nbValidityChecks=1371345 nbPropagations=909817 nbRevisions=1587799
3.63 nbUselessRevisions=861046 nbAssignments=75667 nbFailedAssignments=66 nbBacktracks=44331 nbVisitedNodes=106605
3.63 nbRestartNogoods=72 mapSize=30857 nbInferences=30814 nbTooLargeKeys=0
3.63 => wckTime=2.889 cpuTime=2.79 mem=21M266
5.00
5.00 search
5.00 run=19 nbConstraintChecks=733343 nbValidityChecks=2094841 nbPropagations=1407046 nbRevisions=2445844
5.00 nbUselessRevisions=1316465 nbAssignments=114040 nbFailedAssignments=66 nbBacktracks=66500 nbVisitedNodes=161164
5.00 nbRestartNogoods=77 mapSize=47036 nbInferences=47000 nbTooLargeKeys=0
5.01 => wckTime=4.261 cpuTime=4.16 mem=24M192
5.67
5.67 search
5.67 run=20 nbConstraintChecks=854078 nbValidityChecks=2437665 nbPropagations=1985291 nbRevisions=3444443
5.67 nbUselessRevisions=1847120 nbAssignments=132363 nbFailedAssignments=66 nbBacktracks=76978 nbVisitedNodes=187332
5.67 nbRestartNogoods=84 mapSize=54881 nbInferences=54846 nbTooLargeKeys=0
5.67 => wckTime=4.926 cpuTime=4.82 mem=25M691
5.67
5.67 global
5.67 nbConstraintChecks=854278 nbValidityChecks=2438372 nbPropagations=1985552 nbRevisions=3444810
5.67 nbUselessRevisions=1847405 nbRestartNogoods=84 solvingWckTime=4.927 solvingCpuTime=4.82 expiredTime=no
5.67 totalExploration=yes nbFoundSolutions=0 globalCpuTime=5.12
5.67 => wckTime=5.275 cpuTime=5.07 mem=25M691
5.67
5.67 s UNSATISFIABLE
5.67 d NODES 132363
5.67 d CHECKS 854278
5.67
5.67 totalWckTime=5.355 totalCpuTime=5.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-242219-1168377770 -o ROOT/results/node4/solver-242219-1168377770 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242219-1168377770/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.85 1.94 1.72 4/87 27671
/proc/meminfo: memFree=1775400/2055920 swapFree=4182144/4192956
[pid=27670] ppid=27668 vsize=1784 CPUtime=0
/proc/27670/stat : 27670 (java) D 27668 27670 27037 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 186172553 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/27670/statm: 446 160 125 14 0 91 0
[startup+0.104419 s]
/proc/loadavg: 1.85 1.94 1.72 4/87 27671
/proc/meminfo: memFree=1775400/2055920 swapFree=4182144/4192956
[pid=27670] ppid=27668 vsize=47416 CPUtime=0
/proc/27670/stat : 27670 (java) R 27668 27670 27037 0 -1 0 845 0 1 0 0 0 0 0 17 0 1 0 186172553 48553984 594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151973145 0 4 0 7368 0 0 0 17 1 0 0
/proc/27670/statm: 11854 594 488 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416
[startup+0.512458 s]
/proc/loadavg: 1.85 1.94 1.72 4/87 27671
/proc/meminfo: memFree=1775400/2055920 swapFree=4182144/4192956
[pid=27670] ppid=27668 vsize=915328 CPUtime=0.41
/proc/27670/stat : 27670 (java) S 27668 27670 27037 0 -1 0 6141 0 1 0 38 3 0 0 18 0 8 0 186172553 937295872 5880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27670/statm: 228832 5880 2141 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33553 s]
/proc/loadavg: 1.85 1.94 1.72 4/94 27678
/proc/meminfo: memFree=1750960/2055920 swapFree=4182144/4192956
[pid=27670] ppid=27668 vsize=915460 CPUtime=1.22
/proc/27670/stat : 27670 (java) R 27668 27670 27037 0 -1 0 8933 0 1 0 117 5 0 0 20 0 8 0 186172553 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073703114 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27670/statm: 228865 8671 2527 14 0 215335 0
[pid=27670/tid=27672] ppid=27668 vsize=915460 CPUtime=0.02
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 27037 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 186172566 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915460 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 27037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186172566 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915460 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 27037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186172566 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915460 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 27037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186172570 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915460 CPUtime=0.18
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 27037 0 -1 64 367 0 0 0 17 1 0 0 18 0 8 0 186172570 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915460 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 27037 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186172570 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915460 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 27037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186172570 937431040 8671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915460
[startup+2.98869 s]
/proc/loadavg: 1.85 1.94 1.72 3/94 27678
/proc/meminfo: memFree=1748528/2055920 swapFree=4182144/4192956
[pid=27670] ppid=27668 vsize=915460 CPUtime=2.87
/proc/27670/stat : 27670 (java) R 27668 27670 27037 0 -1 0 9774 0 1 0 281 6 0 0 25 0 8 0 186172553 937431040 9511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27670/statm: 228865 9511 2527 14 0 215335 0
[pid=27670/tid=27672] ppid=27668 vsize=915460 CPUtime=0.02
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 27037 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 186172566 937431040 9511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915460 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 27037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186172566 937431040 9511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915460 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 27037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186172566 937431040 9511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915460 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 27037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186172570 937431040 9511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915460 CPUtime=0.18
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 27037 0 -1 64 369 0 0 0 17 1 0 0 16 0 8 0 186172570 937431040 9511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915460 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 27037 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186172570 937431040 9511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915460 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 27037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186172570 937431040 9511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 5.73559
CPU time (s): 5.55915
CPU user time (s): 5.48017
CPU system time (s): 0.078987
CPU usage (%): 96.9238
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.48017
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11329
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= 815
involuntary context switches= 1263
runsolver used 0.014997 s user time and 0.020996 s system time
The end
Begin job on node4 on Tue Jan 9 21:22:50 UTC 2007
IDJOB= 242219
IDBENCH= 7376
FILE ID= node4/242219-1168377770
PBS_JOBID= 3522297
Free space on /tmp= 66530 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242219-1168377770/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-242219-1168377770 -o ROOT/results/node4/solver-242219-1168377770 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242219-1168377770/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 544497aacdd28d2550ae740990e5522b
RANDOM SEED= 656225981
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.223
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.223
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: 1775816 kB
Buffers: 52304 kB
Cached: 127620 kB
SwapCached: 2520 kB
Active: 161564 kB
Inactive: 63172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1775816 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 3060 kB
Writeback: 0 kB
Mapped: 55500 kB
Slab: 40060 kB
Committed_AS: 5846856 kB
PageTables: 2368 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= 66530 MiB
End job on node4 on Tue Jan 9 21:22:56 UTC 2007