0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/281297-1169311099/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.101 cpuTime=0.08 mem=6M910
0.42
0.42 relations being loaded...
0.50
0.50 constraints being loaded...
0.60 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5550 maxDegree=24
0.60 maxArity=2
0.60 => wckTime=0.277 cpuTime=0.19 mem=9M835
0.64
0.64 solver LocalSearchSolver being built...
0.68 => wckTime=0.363 cpuTime=0.23 mem=5M671
0.69
0.69 s SATISFIABLE
0.69 o 253
0.69 c 47
0.69 o 257
0.69 c 43
0.69 o 262
0.69 c 38
0.69 o 266
0.69 c 34
0.69 o 270
0.69 c 30
0.69 o 273
0.69 c 27
0.69 o 276
0.69 c 24
0.69 o 280
0.69 c 20
0.69 o 282
0.69 c 18
0.69 o 285
0.70 c 15
0.70 o 286
0.70 c 14
0.70 o 288
0.70 c 12
0.70 o 290
0.70 c 10
0.70 o 291
0.70 c 9
0.71 o 293
0.71 c 7
0.71 o 294
0.71 c 6
0.72 o 295
0.72 c 5
0.75 o 296
0.75 c 4
0.75 o 297
0.75 c 3
0.88 o 298
0.88 c 2
1.22 o 299
1.22 c 1
1.22
1.22 search
1.22 run=0 nbConstraintChecks=2913468 nbAssignments=2632
1.22 => wckTime=0.539 cpuTime=0.51 mem=5M671
1.22
1.22 global
1.22 nbConstraintChecks=2913468 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.22 solvingWckTime=0.537 solvingCpuTime=0.51 expiredTime=no totalExploration=no nbFoundSolutions=0
1.22 globalCpuTime=0.79
1.22 => wckTime=0.902 cpuTime=0.75 mem=5M671
1.22
1.22 solver IterativeSystematicSolver being built...
1.36 => wckTime=1.038 cpuTime=0.86 mem=16M587
1.37
1.37 preprocessing
1.37 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.37 detectedInconsistency=no
1.37 => wckTime=0.0060 cpuTime=0.0 mem=16M587
1.44
1.44 search
1.44 run=0 nbConstraintChecks=138204 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49
1.44 nbFailedAssignments=35 nbBacktracks=10 nbVisitedNodes=95 nbRestartNogoods=0
1.44 => wckTime=0.081 cpuTime=0.06 mem=16M587
1.50
1.50 search
1.50 run=1 nbConstraintChecks=258179 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95
1.50 nbFailedAssignments=63 nbBacktracks=25 nbVisitedNodes=184 nbRestartNogoods=2
1.50 => wckTime=0.14 cpuTime=0.1 mem=16M587
1.58
1.58 search
1.58 run=2 nbConstraintChecks=548888 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=196
1.58 nbFailedAssignments=139 nbBacktracks=47 nbVisitedNodes=383 nbRestartNogoods=8
1.58 => wckTime=0.216 cpuTime=0.17 mem=16M587
1.66
1.66 search
1.66 run=3 nbConstraintChecks=870984 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=308
1.66 nbFailedAssignments=215 nbBacktracks=80 nbVisitedNodes=604 nbRestartNogoods=15
1.66 => wckTime=0.297 cpuTime=0.26 mem=16M587
1.77
1.77 search
1.77 run=4 nbConstraintChecks=1330373 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=473
1.77 nbFailedAssignments=327 nbBacktracks=130 nbVisitedNodes=931 nbRestartNogoods=18
1.77 => wckTime=0.413 cpuTime=0.37 mem=16M587
1.99
1.99 search
1.99 run=5 nbConstraintChecks=2207396 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=775
1.99 nbFailedAssignments=552 nbBacktracks=205 nbVisitedNodes=1533 nbRestartNogoods=30
1.99 => wckTime=0.633 cpuTime=0.58 mem=16M587
2.26
2.26 search
2.26 run=6 nbConstraintChecks=3225199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1147
2.26 nbFailedAssignments=807 nbBacktracks=318 nbVisitedNodes=2273 nbRestartNogoods=34
2.26 => wckTime=0.902 cpuTime=0.84 mem=16M587
2.69
2.69 search
2.69 run=7 nbConstraintChecks=4852763 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1717
2.69 nbFailedAssignments=1203 nbBacktracks=488 nbVisitedNodes=3408 nbRestartNogoods=53
2.69 => wckTime=1.331 cpuTime=1.25 mem=16M587
3.27
3.27 search
3.27 run=8 nbConstraintChecks=7090244 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2534
3.27 nbFailedAssignments=1760 nbBacktracks=744 nbVisitedNodes=5031 nbRestartNogoods=66
3.27 => wckTime=1.911 cpuTime=1.83 mem=16M587
4.05
4.05 search
4.05 run=9 nbConstraintChecks=10014561 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3605
4.05 nbFailedAssignments=2443 nbBacktracks=1128 nbVisitedNodes=7126 nbRestartNogoods=70
4.05 => wckTime=2.686 cpuTime=2.59 mem=16M587
5.04
5.04 search
5.04 run=10 nbConstraintChecks=13684476 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5023
5.04 nbFailedAssignments=3280 nbBacktracks=1704 nbVisitedNodes=9788 nbRestartNogoods=75
5.04 => wckTime=3.676 cpuTime=3.57 mem=16M587
6.21
6.21 search
6.21 run=11 nbConstraintChecks=17890682 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6751
6.21 nbFailedAssignments=4140 nbBacktracks=2568 nbVisitedNodes=12807 nbRestartNogoods=80
6.21 => wckTime=4.853 cpuTime=4.74 mem=16M587
7.88
7.88 search
7.88 run=12 nbConstraintChecks=23849026 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9244
7.88 nbFailedAssignments=5332 nbBacktracks=3865 nbVisitedNodes=17011 nbRestartNogoods=91
7.88 => wckTime=6.515 cpuTime=6.39 mem=16M587
10.21
10.21 search
10.21 run=13 nbConstraintChecks=32110056 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12806
10.21 nbFailedAssignments=6943 nbBacktracks=5811 nbVisitedNodes=22824 nbRestartNogoods=97
10.21 => wckTime=8.849 cpuTime=8.69 mem=16M587
10.30
10.30 search
10.30 run=14 nbConstraintChecks=32418806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12940
10.30 nbFailedAssignments=7000 nbBacktracks=5889 nbVisitedNodes=23041 nbRestartNogoods=107
10.30 => wckTime=8.938 cpuTime=8.78 mem=16M587
10.30
10.30 global
10.30 nbConstraintChecks=32418806 nbRestartNogoods=107 solvingWckTime=8.94 solvingCpuTime=8.78 expiredTime=no
10.30 totalExploration=yes nbFoundSolutions=0 globalCpuTime=9.69
10.30 => wckTime=9.978 cpuTime=9.64 mem=16M587
10.30
10.30 s OPTIMUM FOUND
10.30 v 3 4 7 4 4 2 9 8 1 3 7 7 6 0 2 2 3 9 6 2 7 4 8 5 4
10.30
10.30 totalWckTime=10.057 totalCpuTime=9.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-281297-1169311099 -o ROOT/results/node19/solver-281297-1169311099 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281297-1169311099/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.86 1.95 1.98 4/87 26997
/proc/meminfo: memFree=1105096/2055920 swapFree=4171264/4192956
[pid=26996] ppid=26994 vsize=18540 CPUtime=0
/proc/26996/stat : 26996 (runsolver) R 26994 26996 25852 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279504592 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26996/statm: 4635 279 244 17 0 2626 0
[startup+0.103119 s]
/proc/loadavg: 1.86 1.95 1.98 4/87 26997
/proc/meminfo: memFree=1105096/2055920 swapFree=4171264/4192956
[pid=26996] ppid=26994 vsize=914988 CPUtime=0.08
/proc/26996/stat : 26996 (java) R 26994 26996 25852 0 -1 0 2951 0 1 0 7 1 0 0 17 0 8 0 279504592 936947712 2697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26996/statm: 228747 2697 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511193 s]
/proc/loadavg: 1.86 1.95 1.98 4/87 26997
/proc/meminfo: memFree=1105096/2055920 swapFree=4171264/4192956
[pid=26996] ppid=26994 vsize=915332 CPUtime=0.47
/proc/26996/stat : 26996 (java) R 26994 26996 25852 0 -1 0 6316 0 1 0 45 2 0 0 18 0 8 0 279504592 937299968 6055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26996/statm: 228833 6055 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33235 s]
/proc/loadavg: 1.86 1.95 1.98 3/94 27004
/proc/meminfo: memFree=1086096/2055920 swapFree=4171264/4192956
[pid=26996] ppid=26994 vsize=915464 CPUtime=1.29
/proc/26996/stat : 26996 (java) R 26994 26996 25852 0 -1 0 8229 0 1 0 116 13 0 0 25 0 8 0 279504592 937435136 7967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897349 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26996/statm: 228866 7967 2507 14 0 215336 0
[pid=26996/tid=26998] ppid=26994 vsize=915464 CPUtime=0.03
/proc/26996/task/26998/stat : 26998 (java) S 26994 26996 25852 0 -1 64 198 0 0 0 3 0 0 0 16 0 8 0 279504596 937435136 7967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=26999] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/26999/stat : 26999 (java) S 26994 26996 25852 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279504597 937435136 7967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27000] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27000/stat : 27000 (java) S 26994 26996 25852 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279504597 937435136 7967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27001] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27001/stat : 27001 (java) S 26994 26996 25852 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279504600 937435136 7967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27002] ppid=26994 vsize=915464 CPUtime=0.17
/proc/26996/task/27002/stat : 27002 (java) S 26994 26996 25852 0 -1 64 356 0 0 0 17 0 0 0 16 0 8 0 279504600 937435136 7967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27003] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27003/stat : 27003 (java) S 26994 26996 25852 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279504600 937435136 7967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27004] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27004/stat : 27004 (java) S 26994 26996 25852 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279504600 937435136 7967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.97966 s]
/proc/loadavg: 1.86 1.95 1.98 3/94 27004
/proc/meminfo: memFree=1079760/2055920 swapFree=4171264/4192956
[pid=26996] ppid=26994 vsize=915464 CPUtime=2.92
/proc/26996/stat : 26996 (java) R 26994 26996 25852 0 -1 0 9059 0 1 0 278 14 0 0 25 0 8 0 279504592 937435136 8795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26996/statm: 228866 8795 2527 14 0 215336 0
[pid=26996/tid=26998] ppid=26994 vsize=915464 CPUtime=0.03
/proc/26996/task/26998/stat : 26998 (java) S 26994 26996 25852 0 -1 64 199 0 0 0 3 0 0 0 17 0 8 0 279504596 937435136 8795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=26999] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/26999/stat : 26999 (java) S 26994 26996 25852 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279504597 937435136 8795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27000] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27000/stat : 27000 (java) S 26994 26996 25852 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279504597 937435136 8795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27001] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27001/stat : 27001 (java) S 26994 26996 25852 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279504600 937435136 8795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27002] ppid=26994 vsize=915464 CPUtime=0.23
/proc/26996/task/27002/stat : 27002 (java) S 26994 26996 25852 0 -1 64 397 0 0 0 23 0 0 0 15 0 8 0 279504600 937435136 8795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27003] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27003/stat : 27003 (java) S 26994 26996 25852 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279504600 937435136 8795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27004] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27004/stat : 27004 (java) S 26994 26996 25852 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279504600 937435136 8795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.26828 s]
/proc/loadavg: 1.88 1.95 1.98 3/94 27004
/proc/meminfo: memFree=1079632/2055920 swapFree=4171264/4192956
[pid=26996] ppid=26994 vsize=915464 CPUtime=6.18
/proc/26996/stat : 26996 (java) R 26994 26996 25852 0 -1 0 9071 0 1 0 604 14 0 0 25 0 8 0 279504592 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887165 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26996/statm: 228866 8806 2527 14 0 215336 0
[pid=26996/tid=26998] ppid=26994 vsize=915464 CPUtime=0.03
/proc/26996/task/26998/stat : 26998 (java) S 26994 26996 25852 0 -1 64 199 0 0 0 3 0 0 0 16 0 8 0 279504596 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=26999] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/26999/stat : 26999 (java) S 26994 26996 25852 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279504597 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27000] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27000/stat : 27000 (java) S 26994 26996 25852 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279504597 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27001] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27001/stat : 27001 (java) S 26994 26996 25852 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279504600 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27002] ppid=26994 vsize=915464 CPUtime=0.24
/proc/26996/task/27002/stat : 27002 (java) S 26994 26996 25852 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 279504600 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27003] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27003/stat : 27003 (java) S 26994 26996 25852 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279504600 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26996/tid=27004] ppid=26994 vsize=915464 CPUtime=0
/proc/26996/task/27004/stat : 27004 (java) S 26994 26996 25852 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279504600 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 10.3557
CPU time (s): 10.2004
CPU user time (s): 10.0435
CPU system time (s): 0.156976
CPU usage (%): 98.5009
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0435
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9172
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= 1351
involuntary context switches= 1971
runsolver used 0.018997 s user time and 0.040993 s system time
The end
Begin job on node19 on Sat Jan 20 16:38:20 UTC 2007
IDJOB= 281297
IDBENCH= 12136
IDSOLVER= 69
FILE ID= node19/281297-1169311099
PBS_JOBID= 3609958
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeLoose/vcsp-25-10-100-18-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281297-1169311099/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-281297-1169311099 -o ROOT/results/node19/solver-281297-1169311099 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281297-1169311099/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 49c849f2a6eac84bc37c2b97758d2cdd
RANDOM SEED= 68168345
TIME LIMIT= 2400 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.260
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.260
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: 1105576 kB
Buffers: 64892 kB
Cached: 710100 kB
SwapCached: 11088 kB
Active: 407604 kB
Inactive: 461180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1105576 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 1780 kB
Writeback: 0 kB
Mapped: 103860 kB
Slab: 65972 kB
Committed_AS: 8246440 kB
PageTables: 2496 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= 66561 MiB
End job on node19 on Sat Jan 20 16:38:30 UTC 2007