0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/207946-1168183891/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.41 => wckTime=0.107 cpuTime=0.09 mem=7M931
0.41
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.61 nbConstraints=350 nbRelationTypes=28 nbSingletonDomainVariables=2 nbExtensionStructures=29
0.61 nbSharedExtensionStructures=321 nbConflictsStructures=29 nbSharedConflictsStructures=321
0.61 nbSharedBinaryRepresentations=25499 maxDegree=25 maxArity=3
0.61 => wckTime=0.309 cpuTime=0.23 mem=14M357
0.65
0.65 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.518 cpuTime=0.37 mem=18M713
2.28
2.28 preprocessing
2.28 nbConstraintChecks=2774035 nbValidityChecks=2650425 nbPropagations=34992 nbRevisions=83924
2.28 nbUselessRevisions=41795 nbSingletonTests=929 nbEffectiveSingletonTests=26 nbESACBranches=135
2.28 nbRemovedValues=27301 detectedInconsistency=no
2.28 => wckTime=1.457 cpuTime=1.4 mem=18M713
2.33
2.33 search
2.33 run=0 nbConstraintChecks=60274 nbValidityChecks=55490 nbPropagations=36263 nbRevisions=87571
2.33 nbUselessRevisions=43894 nbAssignments=23 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=37
2.33 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=1.51 cpuTime=1.45 mem=18M713
2.38
2.38 search
2.38 run=1 nbConstraintChecks=129303 nbValidityChecks=125555 nbPropagations=74265 nbRevisions=179545
2.38 nbUselessRevisions=90131 nbAssignments=55 nbFailedAssignments=13 nbBacktracks=28 nbVisitedNodes=79
2.38 nbRestartNogoods=3 mapSize=16 nbInferences=0 nbTooLargeKeys=0
2.38 => wckTime=1.557 cpuTime=1.49 mem=18M713
2.45
2.45 search
2.45 run=2 nbConstraintChecks=242311 nbValidityChecks=232395 nbPropagations=115227 nbRevisions=280153
2.45 nbUselessRevisions=141158 nbAssignments=110 nbFailedAssignments=36 nbBacktracks=51 nbVisitedNodes=168
2.45 nbRestartNogoods=5 mapSize=32 nbInferences=0 nbTooLargeKeys=0
2.45 => wckTime=1.624 cpuTime=1.56 mem=19M688
2.54
2.54 search
2.54 run=3 nbConstraintChecks=396265 nbValidityChecks=391223 nbPropagations=160179 nbRevisions=390721
2.54 nbUselessRevisions=197337 nbAssignments=186 nbFailedAssignments=58 nbBacktracks=86 nbVisitedNodes=269
2.54 nbRestartNogoods=11 mapSize=51 nbInferences=0 nbTooLargeKeys=0
2.54 => wckTime=1.716 cpuTime=1.65 mem=19M688
2.63
2.63 search
2.63 run=4 nbConstraintChecks=530121 nbValidityChecks=528679 nbPropagations=210153 nbRevisions=515236
2.63 nbUselessRevisions=261230 nbAssignments=280 nbFailedAssignments=84 nbBacktracks=137 nbVisitedNodes=406
2.63 nbRestartNogoods=14 mapSize=79 nbInferences=0 nbTooLargeKeys=0
2.63 => wckTime=1.807 cpuTime=1.74 mem=19M688
2.79
2.79 search
2.79 run=5 nbConstraintChecks=787173 nbValidityChecks=800573 nbPropagations=267831 nbRevisions=659276
2.79 nbUselessRevisions=335387 nbAssignments=427 nbFailedAssignments=120 nbBacktracks=214 nbVisitedNodes=584
2.79 nbRestartNogoods=19 mapSize=119 nbInferences=0 nbTooLargeKeys=0
2.79 => wckTime=1.969 cpuTime=1.9 mem=19M688
3.06
3.06 search
3.06 run=6 nbConstraintChecks=1241824 nbValidityChecks=1224870 nbPropagations=338013 nbRevisions=838554
3.06 nbUselessRevisions=428869 nbAssignments=641 nbFailedAssignments=207 nbBacktracks=330 nbVisitedNodes=927
3.06 nbRestartNogoods=21 mapSize=185 nbInferences=0 nbTooLargeKeys=0
3.06 => wckTime=2.24 cpuTime=2.16 mem=20M664
3.50
3.50 search
3.50 run=7 nbConstraintChecks=1969941 nbValidityChecks=1963754 nbPropagations=428940 nbRevisions=1073693
3.50 nbUselessRevisions=552270 nbAssignments=996 nbFailedAssignments=348 nbBacktracks=509 nbVisitedNodes=1458
3.50 nbRestartNogoods=28 mapSize=284 nbInferences=0 nbTooLargeKeys=0
3.50 => wckTime=2.682 cpuTime=2.6 mem=20M664
3.87
3.87 search
3.87 run=8 nbConstraintChecks=2567090 nbValidityChecks=2573767 nbPropagations=539405 nbRevisions=1361251
3.87 nbUselessRevisions=704119 nbAssignments=1405 nbFailedAssignments=464 nbBacktracks=766 nbVisitedNodes=2036
3.87 nbRestartNogoods=32 mapSize=408 nbInferences=0 nbTooLargeKeys=0
3.87 => wckTime=3.05 cpuTime=2.96 mem=21M639
4.42
4.42 search
4.42 run=9 nbConstraintChecks=3414846 nbValidityChecks=3455118 nbPropagations=678832 nbRevisions=1723519
4.42 nbUselessRevisions=894556 nbAssignments=2013 nbFailedAssignments=641 nbBacktracks=1155 nbVisitedNodes=2936
4.42 nbRestartNogoods=44 mapSize=608 nbInferences=0 nbTooLargeKeys=0
4.42 => wckTime=3.6 cpuTime=3.5 mem=23M589
5.41
5.41 search
5.41 run=10 nbConstraintChecks=5039900 nbValidityChecks=5073547 nbPropagations=871639 nbRevisions=2228528
5.41 nbUselessRevisions=1160888 nbAssignments=2955 nbFailedAssignments=978 nbBacktracks=1732 nbVisitedNodes=4441
5.41 nbRestartNogoods=55 mapSize=940 nbInferences=0 nbTooLargeKeys=0
5.41 => wckTime=4.586 cpuTime=4.48 mem=25M539
5.61
5.61 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=25M539)
6.57
6.57 search
6.57 run=11 nbConstraintChecks=7134119 nbValidityChecks=7173038 nbPropagations=1138459 nbRevisions=2937751
6.57 nbUselessRevisions=1538964 nbAssignments=4218 nbFailedAssignments=1372 nbBacktracks=2596 nbVisitedNodes=6508
6.57 nbRestartNogoods=58
6.57 => wckTime=5.748 cpuTime=5.63 mem=25M539
8.59
8.59 search
8.59 run=12 nbConstraintChecks=10546343 nbValidityChecks=10731025 nbPropagations=1530993 nbRevisions=3988576
8.59 nbUselessRevisions=2101507 nbAssignments=6284 nbFailedAssignments=2125 nbBacktracks=3894 nbVisitedNodes=9998
8.59 nbRestartNogoods=64
8.59 => wckTime=7.763 cpuTime=7.64 mem=25M539
8.78
8.78 search
8.78 run=13 nbConstraintChecks=10854705 nbValidityChecks=11074111 nbPropagations=1934819 nbRevisions=5069320
8.78 nbUselessRevisions=2680254 nbAssignments=6579 nbFailedAssignments=2186 nbBacktracks=4037 nbVisitedNodes=10401
8.78 nbRestartNogoods=72
8.78 => wckTime=7.957 cpuTime=7.83 mem=25M539
8.78
8.78 global
8.78 nbConstraintChecks=13628740 nbValidityChecks=13724536 nbPropagations=1969811 nbRevisions=5153244
8.78 nbUselessRevisions=2722049 nbRestartNogoods=72 solvingWckTime=7.958 solvingCpuTime=7.84 expiredTime=no
8.78 totalExploration=no nbFoundSolutions=1 globalCpuTime=8.27
8.78 => wckTime=8.482 cpuTime=8.22 mem=25M539
8.78
8.78 s SATISFIABLE
8.78 v 25 18 11 12 4 1 6 2 9 4 23 3 1 7 16 19 20 1 22 1 7 0 24 14 5 12 12 8 18 2 13 0 15 7 2 10 14 9 10 4 8 2 17 2 21 8 19 2 3 0 30 31 33 37 40 47 66 67 68 68 82 94 102 104 104 111 121 130 134 136 138 146 148 148 148 0
8.78 d NODES 6579
8.78 d CHECKS 13628740
8.78
8.78 totalWckTime=8.557 totalCpuTime=8.27
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-207946-1168183891 -o ROOT/results/node55/solver-207946-1168183891 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207946-1168183891/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.01 1.01 1.00 2/65 13987
/proc/meminfo: memFree=1555560/2055920 swapFree=4192812/4192956
[pid=13986] ppid=13984 vsize=168 CPUtime=0
/proc/13986/stat : 13986 (java) R 13984 13986 13052 0 -1 0 39 0 0 0 0 0 0 0 21 0 1 0 166787408 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6849316 0 0 4096 0 0 0 0 17 1 0 0
/proc/13986/statm: 54 30 25 14 0 2 0
[startup+0.105742 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 13987
/proc/meminfo: memFree=1555560/2055920 swapFree=4192812/4192956
[pid=13986] ppid=13984 vsize=914988 CPUtime=0.08
/proc/13986/stat : 13986 (java) R 13984 13986 13052 0 -1 0 3029 0 1 0 7 1 0 0 22 0 8 0 166787408 936947712 2775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13986/statm: 228747 2776 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513786 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 13987
/proc/meminfo: memFree=1555560/2055920 swapFree=4192812/4192956
[pid=13986] ppid=13984 vsize=915328 CPUtime=0.5
/proc/13986/stat : 13986 (java) S 13984 13986 13052 0 -1 0 7034 0 1 0 46 4 0 0 16 0 8 0 166787408 937295872 6773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13986/statm: 228832 6773 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33586 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 13994
/proc/meminfo: memFree=1528368/2055920 swapFree=4192812/4192956
[pid=13986] ppid=13984 vsize=915460 CPUtime=1.3
/proc/13986/stat : 13986 (java) R 13984 13986 13052 0 -1 0 9535 0 1 0 124 6 0 0 16 0 8 0 166787408 937431040 9273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863503 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13986/statm: 228865 9273 2527 14 0 215335 0
[pid=13986/tid=13988] ppid=13984 vsize=915460 CPUtime=0.03
/proc/13986/task/13988/stat : 13988 (java) S 13984 13986 13052 0 -1 64 717 0 0 0 3 0 0 0 16 0 8 0 166787412 937431040 9273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13986/tid=13989] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13989/stat : 13989 (java) S 13984 13986 13052 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 166787412 937431040 9273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13990] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13990/stat : 13990 (java) S 13984 13986 13052 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166787412 937431040 9273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13991] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13991/stat : 13991 (java) S 13984 13986 13052 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166787415 937431040 9273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13992] ppid=13984 vsize=915460 CPUtime=0.18
/proc/13986/task/13992/stat : 13992 (java) S 13984 13986 13052 0 -1 64 381 0 0 0 17 1 0 0 15 0 8 0 166787415 937431040 9273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13993] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13993/stat : 13993 (java) S 13984 13986 13052 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166787416 937431040 9273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13994] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13994/stat : 13994 (java) S 13984 13986 13052 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166787416 937431040 9273 18446744073709551615 134512640 134570532 4294956480 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.98802 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 13994
/proc/meminfo: memFree=1528304/2055920 swapFree=4192812/4192956
[pid=13986] ppid=13984 vsize=915460 CPUtime=2.96
/proc/13986/stat : 13986 (java) R 13984 13986 13052 0 -1 0 9955 0 1 0 289 7 0 0 16 0 8 0 166787408 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825061 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13986/statm: 228865 9691 2527 14 0 215335 0
[pid=13986/tid=13988] ppid=13984 vsize=915460 CPUtime=0.03
/proc/13986/task/13988/stat : 13988 (java) S 13984 13986 13052 0 -1 64 717 0 0 0 3 0 0 0 17 0 8 0 166787412 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13986/tid=13989] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13989/stat : 13989 (java) S 13984 13986 13052 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 166787412 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13990] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13990/stat : 13990 (java) S 13984 13986 13052 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166787412 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13991] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13991/stat : 13991 (java) S 13984 13986 13052 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166787415 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13992] ppid=13984 vsize=915460 CPUtime=0.21
/proc/13986/task/13992/stat : 13992 (java) S 13984 13986 13052 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 166787415 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13993] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13993/stat : 13993 (java) S 13984 13986 13052 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166787416 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13994] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13994/stat : 13994 (java) S 13984 13986 13052 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166787416 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.27033 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 13994
/proc/meminfo: memFree=1521008/2055920 swapFree=4192812/4192956
[pid=13986] ppid=13984 vsize=915460 CPUtime=6.23
/proc/13986/stat : 13986 (java) R 13984 13986 13052 0 -1 0 11326 0 1 0 615 8 0 0 17 0 8 0 166787408 937431040 11060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823251 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13986/statm: 228865 11060 2527 14 0 215335 0
[pid=13986/tid=13988] ppid=13984 vsize=915460 CPUtime=0.03
/proc/13986/task/13988/stat : 13988 (java) S 13984 13986 13052 0 -1 64 717 0 0 0 3 0 0 0 16 0 8 0 166787412 937431040 11060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13986/tid=13989] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13989/stat : 13989 (java) S 13984 13986 13052 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 166787412 937431040 11060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13990] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13990/stat : 13990 (java) S 13984 13986 13052 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166787412 937431040 11060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13991] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13991/stat : 13991 (java) S 13984 13986 13052 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166787415 937431040 11060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13992] ppid=13984 vsize=915460 CPUtime=0.24
/proc/13986/task/13992/stat : 13992 (java) S 13984 13986 13052 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 166787415 937431040 11060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13993] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13993/stat : 13993 (java) S 13984 13986 13052 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166787416 937431040 11060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13986/tid=13994] ppid=13984 vsize=915460 CPUtime=0
/proc/13986/task/13994/stat : 13994 (java) S 13984 13986 13052 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166787416 937431040 11060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 8.83136
CPU time (s): 8.76367
CPU user time (s): 8.67168
CPU system time (s): 0.091986
CPU usage (%): 99.2335
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.67168
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11426
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= 1166
involuntary context switches= 355
runsolver used 0.012998 s user time and 0.027995 s system time
The end
Begin job on node55 on Sun Jan 7 15:31:31 UTC 2007
IDJOB= 207946
IDBENCH= 4346
FILE ID= node55/207946-1168183891
PBS_JOBID= 3479122
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207946-1168183891/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-207946-1168183891 -o ROOT/results/node55/solver-207946-1168183891 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207946-1168183891/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= becd11c6854c882d506c44f3436c1dde
RANDOM SEED= 705399424
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.218
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 : 5931.00
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.218
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: 1556040 kB
Buffers: 32900 kB
Cached: 396112 kB
SwapCached: 0 kB
Active: 114948 kB
Inactive: 329652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1556040 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1776 kB
Writeback: 0 kB
Mapped: 25800 kB
Slab: 41328 kB
Committed_AS: 3458364 kB
PageTables: 1380 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= 66557 MiB
End job on node55 on Sun Jan 7 15:31:41 UTC 2007