0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/242245-1168378415/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=81 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.41
0.41 constraints being loaded...
0.45 nbConstraints=54 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=52
0.45 nbConflictsStructures=2 nbSharedConflictsStructures=52 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.45 => wckTime=0.136 cpuTime=0.12 mem=6M951
0.48
0.48 solver IterativeSystematicSolver being built...
0.67 => wckTime=0.357 cpuTime=0.27 mem=15M346
0.70
0.70 preprocessing
0.70 nbConstraintChecks=254 nbValidityChecks=911 nbPropagations=339 nbRevisions=475 nbUselessRevisions=369
0.70 nbSingletonTests=156 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.70 => wckTime=0.03 cpuTime=0.02 mem=15M346
0.73
0.73 search
0.73 run=0 nbConstraintChecks=114 nbValidityChecks=479 nbPropagations=445 nbRevisions=688 nbUselessRevisions=501
0.73 nbAssignments=61 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=68 nbRestartNogoods=0 mapSize=3
0.73 nbInferences=0 nbTooLargeKeys=0
0.73 => wckTime=0.062 cpuTime=0.04 mem=15M346
0.75
0.75 search
0.75 run=1 nbConstraintChecks=273 nbValidityChecks=1076 nbPropagations=1023 nbRevisions=1635
0.75 nbUselessRevisions=1153 nbAssignments=130 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=148
0.75 nbRestartNogoods=2 mapSize=12 nbInferences=0 nbTooLargeKeys=0
0.75 => wckTime=0.079 cpuTime=0.05 mem=15M346
0.76
0.76 search
0.76 run=2 nbConstraintChecks=492 nbValidityChecks=1782 nbPropagations=1757 nbRevisions=2895
0.76 nbUselessRevisions=1989 nbAssignments=205 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=237
0.76 nbRestartNogoods=4 mapSize=24 nbInferences=2 nbTooLargeKeys=0
0.76 => wckTime=0.09 cpuTime=0.06 mem=15M346
0.78
0.78 search
0.78 run=3 nbConstraintChecks=780 nbValidityChecks=2721 nbPropagations=2694 nbRevisions=4556
0.78 nbUselessRevisions=3063 nbAssignments=296 nbFailedAssignments=21 nbBacktracks=86 nbVisitedNodes=348
0.78 nbRestartNogoods=5 mapSize=41 nbInferences=10 nbTooLargeKeys=0
0.78 => wckTime=0.109 cpuTime=0.07 mem=15M346
0.79
0.79 search
0.79 run=4 nbConstraintChecks=1098 nbValidityChecks=3743 nbPropagations=3862 nbRevisions=6651
0.79 nbUselessRevisions=4380 nbAssignments=410 nbFailedAssignments=31 nbBacktracks=139 nbVisitedNodes=487
0.79 nbRestartNogoods=8 mapSize=63 nbInferences=16 nbTooLargeKeys=0
0.79 => wckTime=0.124 cpuTime=0.08 mem=15M346
0.81
0.81 search
0.81 run=5 nbConstraintChecks=1597 nbValidityChecks=5245 nbPropagations=5354 nbRevisions=9370
0.81 nbUselessRevisions=6048 nbAssignments=562 nbFailedAssignments=46 nbBacktracks=214 nbVisitedNodes=680
0.81 nbRestartNogoods=10 mapSize=101 nbInferences=28 nbTooLargeKeys=0
0.81 => wckTime=0.144 cpuTime=0.1 mem=15M346
0.83
0.83 search
0.83 run=6 nbConstraintChecks=2422 nbValidityChecks=7752 nbPropagations=7437 nbRevisions=13191
0.83 nbUselessRevisions=8334 nbAssignments=760 nbFailedAssignments=57 nbBacktracks=328 nbVisitedNodes=941
0.83 nbRestartNogoods=13 mapSize=160 nbInferences=70 nbTooLargeKeys=0
0.83 => wckTime=0.164 cpuTime=0.12 mem=15M346
0.85
0.85 search
0.85 run=7 nbConstraintChecks=3525 nbValidityChecks=11108 nbPropagations=10325 nbRevisions=18455
0.85 nbUselessRevisions=11397 nbAssignments=1032 nbFailedAssignments=65 nbBacktracks=499 nbVisitedNodes=1287
0.85 nbRestartNogoods=17 mapSize=231 nbInferences=129 nbTooLargeKeys=0
0.85 => wckTime=0.185 cpuTime=0.14 mem=15M346
0.89
0.89 search
0.89 run=8 nbConstraintChecks=5439 nbValidityChecks=16714 nbPropagations=14511 nbRevisions=26048
0.89 nbUselessRevisions=15693 nbAssignments=1421 nbFailedAssignments=86 nbBacktracks=758 nbVisitedNodes=1815
0.89 nbRestartNogoods=20 mapSize=369 nbInferences=226 nbTooLargeKeys=0
0.89 => wckTime=0.217 cpuTime=0.17 mem=15M346
0.94
0.94 search
0.94 run=9 nbConstraintChecks=9006 nbValidityChecks=26219 nbPropagations=20773 nbRevisions=37580
0.94 nbUselessRevisions=22336 nbAssignments=2082 nbFailedAssignments=95 nbBacktracks=1142 nbVisitedNodes=2726
0.94 nbRestartNogoods=21 mapSize=616 nbInferences=458 nbTooLargeKeys=0
0.94 => wckTime=0.274 cpuTime=0.2 mem=15M346
1.00
1.00 search
1.00 run=10 nbConstraintChecks=15616 nbValidityChecks=45129 nbPropagations=31466 nbRevisions=57004
1.00 nbUselessRevisions=33288 nbAssignments=3103 nbFailedAssignments=98 nbBacktracks=1721 nbVisitedNodes=4168
1.00 nbRestartNogoods=24 mapSize=1033 nbInferences=873 nbTooLargeKeys=0
1.00 => wckTime=0.336 cpuTime=0.26 mem=15M346
1.10
1.10 search
1.10 run=11 nbConstraintChecks=31032 nbValidityChecks=90450 nbPropagations=54004 nbRevisions=95650
1.10 nbUselessRevisions=53032 nbAssignments=4681 nbFailedAssignments=98 nbBacktracks=2586 nbVisitedNodes=6447
1.10 nbRestartNogoods=28 mapSize=1730 nbInferences=1574 nbTooLargeKeys=0
1.10 => wckTime=0.432 cpuTime=0.35 mem=16M322
1.28
1.28 search
1.28 run=12 nbConstraintChecks=63075 nbValidityChecks=184512 nbPropagations=101835 nbRevisions=174569
1.28 nbUselessRevisions=90366 nbAssignments=7290 nbFailedAssignments=98 nbBacktracks=3884 nbVisitedNodes=10356
1.28 nbRestartNogoods=32 mapSize=3024 nbInferences=2874 nbTooLargeKeys=0
1.28 => wckTime=0.609 cpuTime=0.52 mem=16M322
1.52
1.52 search
1.52 run=13 nbConstraintChecks=110999 nbValidityChecks=327932 nbPropagations=187480 nbRevisions=313685
1.52 nbUselessRevisions=153980 nbAssignments=11186 nbFailedAssignments=98 nbBacktracks=5830 nbVisitedNodes=16196
1.52 nbRestartNogoods=38 mapSize=4964 nbInferences=4818 nbTooLargeKeys=0
1.52 => wckTime=0.853 cpuTime=0.77 mem=16M322
1.80
1.80 search
1.80 run=14 nbConstraintChecks=180558 nbValidityChecks=535657 nbPropagations=327872 nbRevisions=540076
1.80 nbUselessRevisions=255819 nbAssignments=16962 nbFailedAssignments=98 nbBacktracks=8750 nbVisitedNodes=24816
1.80 nbRestartNogoods=42 mapSize=7800 nbInferences=7662 nbTooLargeKeys=0
1.80 => wckTime=1.134 cpuTime=1.05 mem=16M322
2.23
2.23 search
2.23 run=15 nbConstraintChecks=288472 nbValidityChecks=856807 nbPropagations=553379 nbRevisions=901951
2.23 nbUselessRevisions=416794 nbAssignments=25728 nbFailedAssignments=98 nbBacktracks=13128 nbVisitedNodes=37958
2.23 nbRestartNogoods=50 mapSize=12170 nbInferences=12038 nbTooLargeKeys=0
2.23 => wckTime=1.562 cpuTime=1.47 mem=17M297
2.88
2.88 search
2.88 run=16 nbConstraintChecks=449827 nbValidityChecks=1339604 nbPropagations=906624 nbRevisions=1467134
2.88 nbUselessRevisions=666488 nbAssignments=38876 nbFailedAssignments=98 nbBacktracks=19696 nbVisitedNodes=57674
2.88 nbRestartNogoods=56 mapSize=18732 nbInferences=18606 nbTooLargeKeys=0
2.88 => wckTime=2.213 cpuTime=2.11 mem=18M272
3.85
3.85 search
3.85 run=17 nbConstraintChecks=687876 nbValidityChecks=2048879 nbPropagations=1451505 nbRevisions=2337309
3.85 nbUselessRevisions=1049258 nbAssignments=58595 nbFailedAssignments=98 nbBacktracks=29548 nbVisitedNodes=87247
3.85 nbRestartNogoods=61 mapSize=28579 nbInferences=28460 nbTooLargeKeys=0
3.85 => wckTime=3.179 cpuTime=3.07 mem=20M222
4.37
4.37 search
4.37 run=18 nbConstraintChecks=816505 nbValidityChecks=2435583 nbPropagations=2099962 nbRevisions=3372326
4.37 nbUselessRevisions=1503952 nbAssignments=69253 nbFailedAssignments=98 nbBacktracks=34881 nbVisitedNodes=103230
4.37 nbRestartNogoods=68 mapSize=33904 nbInferences=33786 nbTooLargeKeys=0
4.37 => wckTime=3.698 cpuTime=3.59 mem=20M222
4.37
4.37 global
4.37 nbConstraintChecks=816759 nbValidityChecks=2436494 nbPropagations=2100301 nbRevisions=3372801
4.37 nbUselessRevisions=1504321 nbRestartNogoods=68 solvingWckTime=3.699 solvingCpuTime=3.59 expiredTime=no
4.37 totalExploration=yes nbFoundSolutions=0 globalCpuTime=3.91
4.37 => wckTime=4.058 cpuTime=3.86 mem=20M222
4.37
4.37 s UNSATISFIABLE
4.37 d NODES 69253
4.37 d CHECKS 816759
4.37
4.37 totalWckTime=4.138 totalCpuTime=3.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-242245-1168378415 -o ROOT/results/node17/solver-242245-1168378415 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242245-1168378415/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.92 1.04 1.27 3/81 5783
/proc/meminfo: memFree=1719032/2055920 swapFree=4192812/4192956
[pid=5782] ppid=5775 vsize=1784 CPUtime=0
/proc/5782/stat : 5782 (java) D 5775 5782 5639 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 186236283 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/5782/statm: 454 145 111 14 0 99 0
[startup+0.106981 s]
/proc/loadavg: 0.92 1.04 1.27 3/81 5783
/proc/meminfo: memFree=1719032/2055920 swapFree=4192812/4192956
[pid=5782] ppid=5775 vsize=914988 CPUtime=0.08
/proc/5782/stat : 5782 (java) R 5775 5782 5639 0 -1 0 3028 0 1 0 7 1 0 0 17 0 8 0 186236283 936947712 2774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5782/statm: 228747 2776 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515017 s]
/proc/loadavg: 0.92 1.04 1.27 3/81 5783
/proc/meminfo: memFree=1719032/2055920 swapFree=4192812/4192956
[pid=5782] ppid=5775 vsize=915460 CPUtime=0.49
/proc/5782/stat : 5782 (java) R 5775 5782 5639 0 -1 0 6600 0 1 0 45 4 0 0 18 0 8 0 186236283 937431040 6338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5782/statm: 228865 6338 2377 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.3361 s]
/proc/loadavg: 0.92 1.04 1.27 3/101 5804
/proc/meminfo: memFree=1686360/2055920 swapFree=4192812/4192956
[pid=5782] ppid=5775 vsize=915460 CPUtime=1.3
/proc/5782/stat : 5782 (java) R 5775 5782 5639 0 -1 0 8909 0 1 0 124 6 0 0 25 0 8 0 186236283 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073693243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5782/statm: 228865 8647 2527 14 0 215335 0
[pid=5782/tid=5784] ppid=5775 vsize=915460 CPUtime=0.02
/proc/5782/task/5784/stat : 5784 (java) S 5775 5782 5639 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 186236287 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5785/stat : 5785 (java) S 5775 5782 5639 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186236287 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5786] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5786/stat : 5786 (java) S 5775 5782 5639 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186236287 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5792] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5792/stat : 5792 (java) S 5775 5782 5639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186236290 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5782/tid=5793] ppid=5775 vsize=915460 CPUtime=0.18
/proc/5782/task/5793/stat : 5793 (java) S 5775 5782 5639 0 -1 64 369 0 0 0 17 1 0 0 15 0 8 0 186236291 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5794] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5794/stat : 5794 (java) S 5775 5782 5639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186236291 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5782/tid=5795] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5795/stat : 5795 (java) S 5775 5782 5639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186236291 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97327 s]
/proc/loadavg: 0.92 1.04 1.27 3/101 5804
/proc/meminfo: memFree=1684760/2055920 swapFree=4192812/4192956
[pid=5782] ppid=5775 vsize=915460 CPUtime=2.94
/proc/5782/stat : 5782 (java) R 5775 5782 5639 0 -1 0 9471 0 1 0 287 7 0 0 25 0 8 0 186236283 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073672881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5782/statm: 228865 9208 2527 14 0 215335 0
[pid=5782/tid=5784] ppid=5775 vsize=915460 CPUtime=0.02
/proc/5782/task/5784/stat : 5784 (java) S 5775 5782 5639 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 186236287 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5785/stat : 5785 (java) S 5775 5782 5639 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186236287 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5786] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5786/stat : 5786 (java) S 5775 5782 5639 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186236287 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5792] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5792/stat : 5792 (java) S 5775 5782 5639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186236290 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5782/tid=5793] ppid=5775 vsize=915460 CPUtime=0.18
/proc/5782/task/5793/stat : 5793 (java) S 5775 5782 5639 0 -1 64 370 0 0 0 17 1 0 0 17 0 8 0 186236291 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5794] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5794/stat : 5794 (java) S 5775 5782 5639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186236291 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5782/tid=5795] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5795/stat : 5795 (java) S 5775 5782 5639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186236291 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 4.41951
CPU time (s): 4.34534
CPU user time (s): 4.26435
CPU system time (s): 0.080987
CPU usage (%): 98.3216
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.26435
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10073
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= 1085
involuntary context switches= 1309
runsolver used 0.008998 s user time and 0.019996 s system time
The end
Begin job on node17 on Tue Jan 9 21:33:35 UTC 2007
IDJOB= 242245
IDBENCH= 7378
FILE ID= node17/242245-1168378415
PBS_JOBID= 3522349
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242245-1168378415/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-242245-1168378415 -o ROOT/results/node17/solver-242245-1168378415 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242245-1168378415/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a0ae8c608b67bcc7ed6701414c2585cf
RANDOM SEED= 299387717
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: 1719112 kB
Buffers: 68428 kB
Cached: 150396 kB
SwapCached: 0 kB
Active: 174688 kB
Inactive: 104448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1719112 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2188 kB
Writeback: 0 kB
Mapped: 77092 kB
Slab: 42648 kB
Committed_AS: 5743220 kB
PageTables: 2156 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= 66559 MiB
End job on node17 on Tue Jan 9 21:33:39 UTC 2007