0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/224883-1168270132/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.40 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.58
0.58 constraints being loaded...
0.67 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.67 => wckTime=0.36 cpuTime=0.31 mem=21M596
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.557 cpuTime=0.43 mem=15M362
0.92
0.92 preprocessing
0.92 nbConstraintChecks=176002 nbPropagations=1078 nbRevisions=3582 nbUselessRevisions=1982 nbSingletonTests=52
0.92 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.051 cpuTime=0.04 mem=15M362
0.95
0.95 search
0.95 run=0 nbConstraintChecks=84447 nbPropagations=1802 nbRevisions=6530 nbUselessRevisions=3519 nbAssignments=25
0.95 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.077 cpuTime=0.06 mem=15M362
0.98
0.98 search
0.98 run=1 nbConstraintChecks=341954 nbPropagations=5728 nbRevisions=22943 nbUselessRevisions=12256
0.98 nbAssignments=105 nbFailedAssignments=69 nbBacktracks=27 nbVisitedNodes=195 nbRestartNogoods=2 mapSize=22
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.11 cpuTime=0.09 mem=15M362
1.02
1.02 search
1.02 run=2 nbConstraintChecks=725772 nbPropagations=12454 nbRevisions=50091 nbUselessRevisions=26803
1.02 nbAssignments=215 nbFailedAssignments=95 nbBacktracks=51 nbVisitedNodes=288 nbRestartNogoods=13 mapSize=42
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.15 cpuTime=0.12 mem=15M362
1.04
1.04 search
1.04 run=3 nbConstraintChecks=911563 nbPropagations=20987 nbRevisions=84820 nbUselessRevisions=45323
1.04 nbAssignments=280 nbFailedAssignments=122 nbBacktracks=84 nbVisitedNodes=395 nbRestartNogoods=14 mapSize=64
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.171 cpuTime=0.14 mem=15M362
1.10
1.10 search
1.10 run=4 nbConstraintChecks=1453997 nbPropagations=33793 nbRevisions=138988 nbUselessRevisions=74059
1.10 nbAssignments=431 nbFailedAssignments=212 nbBacktracks=134 nbVisitedNodes=667 nbRestartNogoods=21 mapSize=111
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.222 cpuTime=0.19 mem=15M362
1.14
1.14 search
1.14 run=5 nbConstraintChecks=2001136 nbPropagations=51703 nbRevisions=214748 nbUselessRevisions=114091
1.14 nbAssignments=597 nbFailedAssignments=291 nbBacktracks=210 nbVisitedNodes=951 nbRestartNogoods=34 mapSize=174
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.273 cpuTime=0.24 mem=15M362
1.24
1.24 search
1.24 run=6 nbConstraintChecks=3055278 nbPropagations=78230 nbRevisions=327761 nbUselessRevisions=173361
1.24 nbAssignments=893 nbFailedAssignments=467 nbBacktracks=323 nbVisitedNodes=1499 nbRestartNogoods=38 mapSize=278
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.369 cpuTime=0.33 mem=15M362
1.33
1.33 search
1.33 run=7 nbConstraintChecks=3945549 nbPropagations=114201 nbRevisions=480420 nbUselessRevisions=253477
1.33 nbAssignments=1223 nbFailedAssignments=626 nbBacktracks=493 nbVisitedNodes=2084 nbRestartNogoods=47
1.33 mapSize=413 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.46 cpuTime=0.42 mem=15M362
1.55
1.55 search
1.55 run=8 nbConstraintChecks=6344148 nbPropagations=170315 nbRevisions=726171 nbUselessRevisions=382759
1.55 nbAssignments=1916 nbFailedAssignments=1060 nbBacktracks=749 nbVisitedNodes=3397 nbRestartNogoods=49
1.55 mapSize=640 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.682 cpuTime=0.62 mem=15M362
1.79
1.79 search
1.79 run=9 nbConstraintChecks=9002363 nbPropagations=253188 nbRevisions=1084742 nbUselessRevisions=570673
1.79 nbAssignments=2768 nbFailedAssignments=1502 nbBacktracks=1133 nbVisitedNodes=4909 nbRestartNogoods=67
1.79 mapSize=970 nbInferences=1 nbTooLargeKeys=0
1.79 => wckTime=0.925 cpuTime=0.86 mem=16M337
1.86
1.86 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=16M337)
2.21
2.21 search
2.21 run=10 nbConstraintChecks=14027379 nbPropagations=378708 nbRevisions=1637105 nbUselessRevisions=860539
2.21 nbAssignments=4193 nbFailedAssignments=2350 nbBacktracks=1709 nbVisitedNodes=7604 nbRestartNogoods=80
2.21 => wckTime=1.34 cpuTime=1.27 mem=16M337
2.66
2.66 search
2.66 run=11 nbConstraintChecks=19664990 nbPropagations=560111 nbRevisions=2427322 nbUselessRevisions=1272953
2.66 nbAssignments=6039 nbFailedAssignments=3327 nbBacktracks=2573 nbVisitedNodes=10933 nbRestartNogoods=86
2.66 => wckTime=1.79 cpuTime=1.72 mem=16M337
3.41
3.41 search
3.41 run=12 nbConstraintChecks=29720403 nbPropagations=832363 nbRevisions=3616940 nbUselessRevisions=1897051
3.41 nbAssignments=9176 nbFailedAssignments=5158 nbBacktracks=3870 nbVisitedNodes=16751 nbRestartNogoods=93
3.41 => wckTime=2.543 cpuTime=2.47 mem=16M337
4.40
4.40 search
4.40 run=13 nbConstraintChecks=42777571 nbPropagations=1224089 nbRevisions=5335823 nbUselessRevisions=2799704
4.40 nbAssignments=13260 nbFailedAssignments=7291 nbBacktracks=5816 nbVisitedNodes=24101 nbRestartNogoods=104
4.40 => wckTime=3.533 cpuTime=3.46 mem=16M337
6.06
6.06 search
6.06 run=14 nbConstraintChecks=65084771 nbPropagations=1811242 nbRevisions=7912992 nbUselessRevisions=4155106
6.06 nbAssignments=20085 nbFailedAssignments=11192 nbBacktracks=8735 nbVisitedNodes=36676 nbRestartNogoods=111
6.06 => wckTime=5.192 cpuTime=5.12 mem=16M337
6.77
6.77 search
6.77 run=15 nbConstraintChecks=74242894 nbPropagations=2485561 nbRevisions=10864705 nbUselessRevisions=5706728
6.77 nbAssignments=22988 nbFailedAssignments=12628 nbBacktracks=10161 nbVisitedNodes=41815 nbRestartNogoods=120
6.77 => wckTime=5.902 cpuTime=5.83 mem=16M337
6.77
6.77 global
6.77 nbConstraintChecks=74418896 nbPropagations=2486639 nbRevisions=10868287 nbUselessRevisions=5708710
6.77 nbRestartNogoods=120 solvingWckTime=5.903 solvingCpuTime=5.83 expiredTime=no totalExploration=no
6.77 nbFoundSolutions=1 globalCpuTime=6.31
6.77 => wckTime=6.465 cpuTime=6.26 mem=16M337
6.77
6.77 s SATISFIABLE
6.77 v 16 76 25 67 52 34 16 48 50 77 26 53 70 37 2 19 10 63 51 11 14 44 58 27 39 4 23 60 10 78 61 65 14 29 50 49 55 55 73 2
6.77 d NODES 22988
6.77 d CHECKS 74418896
6.77
6.77 totalWckTime=6.541 totalCpuTime=6.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-224883-1168270132 -o ROOT/results/node42/solver-224883-1168270132 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224883-1168270132/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.72 1.03 1.42 3/68 25340
/proc/meminfo: memFree=1846856/2055920 swapFree=4191892/4192956
[pid=25339] ppid=25337 vsize=1460 CPUtime=0
/proc/25339/stat : 25339 (java) R 25337 25339 25241 0 -1 0 123 0 0 0 0 0 0 0 20 0 1 0 175412410 1495040 96 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 12851552 0 0 4096 0 0 0 0 17 1 0 0
/proc/25339/statm: 398 100 80 14 0 43 0
[startup+0.105172 s]
/proc/loadavg: 0.72 1.03 1.42 3/68 25340
/proc/meminfo: memFree=1846856/2055920 swapFree=4191892/4192956
[pid=25339] ppid=25337 vsize=914988 CPUtime=0.08
/proc/25339/stat : 25339 (java) R 25337 25339 25241 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 175412410 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25339/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513218 s]
/proc/loadavg: 0.72 1.03 1.42 3/68 25340
/proc/meminfo: memFree=1846856/2055920 swapFree=4191892/4192956
[pid=25339] ppid=25337 vsize=915328 CPUtime=0.48
/proc/25339/stat : 25339 (java) R 25337 25339 25241 0 -1 0 7687 0 1 0 44 4 0 0 17 0 8 0 175412410 937295872 7426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073586277 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25339/statm: 228832 7426 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33531 s]
/proc/loadavg: 0.72 1.03 1.42 3/76 25387
/proc/meminfo: memFree=1814336/2055920 swapFree=4191892/4192956
[pid=25339] ppid=25337 vsize=915464 CPUtime=1.29
/proc/25339/stat : 25339 (java) R 25337 25339 25241 0 -1 0 10550 0 1 0 123 6 0 0 16 0 8 0 175412410 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25339/statm: 228866 10288 2524 14 0 215336 0
[pid=25339/tid=25341] ppid=25337 vsize=915464 CPUtime=0.03
/proc/25339/task/25341/stat : 25341 (java) S 25337 25339 25241 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 175412414 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25339/tid=25342] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25342/stat : 25342 (java) S 25337 25339 25241 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 175412415 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25343] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25343/stat : 25343 (java) S 25337 25339 25241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175412415 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25346] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25346/stat : 25346 (java) S 25337 25339 25241 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175412418 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25347] ppid=25337 vsize=915464 CPUtime=0.15
/proc/25339/task/25347/stat : 25347 (java) S 25337 25339 25241 0 -1 64 364 0 0 0 15 0 0 0 16 0 8 0 175412418 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25348] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25348/stat : 25348 (java) S 25337 25339 25241 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175412418 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25349] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25349/stat : 25349 (java) S 25337 25339 25241 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175412418 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.98549 s]
/proc/loadavg: 0.72 1.03 1.42 2/75 25392
/proc/meminfo: memFree=1814280/2055920 swapFree=4191892/4192956
[pid=25339] ppid=25337 vsize=915464 CPUtime=2.94
/proc/25339/stat : 25339 (java) R 25337 25339 25241 0 -1 0 10564 0 1 0 287 7 0 0 17 0 8 0 175412410 937435136 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25339/statm: 228866 10301 2524 14 0 215336 0
[pid=25339/tid=25341] ppid=25337 vsize=915464 CPUtime=0.03
/proc/25339/task/25341/stat : 25341 (java) S 25337 25339 25241 0 -1 64 353 0 0 0 3 0 0 0 17 0 8 0 175412414 937435136 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25342] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25342/stat : 25342 (java) S 25337 25339 25241 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 175412415 937435136 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25343] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25343/stat : 25343 (java) S 25337 25339 25241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175412415 937435136 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25346] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25346/stat : 25346 (java) S 25337 25339 25241 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175412418 937435136 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25347] ppid=25337 vsize=915464 CPUtime=0.18
/proc/25339/task/25347/stat : 25347 (java) S 25337 25339 25241 0 -1 64 377 0 0 0 18 0 0 0 15 0 8 0 175412418 937435136 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25348] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25348/stat : 25348 (java) S 25337 25339 25241 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175412418 937435136 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25349] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25349/stat : 25349 (java) S 25337 25339 25241 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175412418 937435136 10301 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+6.18584 s]
/proc/loadavg: 0.82 1.05 1.42 3/88 25406
/proc/meminfo: memFree=1798048/2055920 swapFree=4191892/4192956
[pid=25339] ppid=25337 vsize=915464 CPUtime=6.14
/proc/25339/stat : 25339 (java) R 25337 25339 25241 0 -1 0 10567 0 1 0 607 7 0 0 25 0 8 0 175412410 937435136 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25339/statm: 228866 10302 2524 14 0 215336 0
[pid=25339/tid=25341] ppid=25337 vsize=915464 CPUtime=0.03
/proc/25339/task/25341/stat : 25341 (java) S 25337 25339 25241 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 175412414 937435136 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25342] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25342/stat : 25342 (java) S 25337 25339 25241 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 175412415 937435136 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25343] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25343/stat : 25343 (java) S 25337 25339 25241 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175412415 937435136 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25346] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25346/stat : 25346 (java) S 25337 25339 25241 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175412418 937435136 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25347] ppid=25337 vsize=915464 CPUtime=0.18
/proc/25339/task/25347/stat : 25347 (java) S 25337 25339 25241 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175412418 937435136 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25348] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25348/stat : 25348 (java) S 25337 25339 25241 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175412418 937435136 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25339/tid=25349] ppid=25337 vsize=915464 CPUtime=0
/proc/25339/task/25349/stat : 25349 (java) S 25337 25339 25241 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175412418 937435136 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 6.80025
CPU time (s): 6.74597
CPU user time (s): 6.66699
CPU system time (s): 0.078987
CPU usage (%): 99.2018
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.66699
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= 10575
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= 932
involuntary context switches= 332
runsolver used 0.007998 s user time and 0.029995 s system time
The end
Begin job on node42 on Mon Jan 8 15:28:52 UTC 2007
IDJOB= 224883
IDBENCH= 5799
FILE ID= node42/224883-1168270132
PBS_JOBID= 3483176
Free space on /tmp= 66562 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224883-1168270132/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-224883-1168270132 -o ROOT/results/node42/solver-224883-1168270132 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224883-1168270132/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8e7d5b0d8c627c1db33692807581d51d
RANDOM SEED= 627594960
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.229
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.229
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: 1847272 kB
Buffers: 31912 kB
Cached: 103528 kB
SwapCached: 356 kB
Active: 87328 kB
Inactive: 67496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1847272 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2852 kB
Writeback: 0 kB
Mapped: 28256 kB
Slab: 39528 kB
Committed_AS: 3772132 kB
PageTables: 1616 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 node42 on Mon Jan 8 15:28:59 UTC 2007