0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/218052-1168250530/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.67
0.67 constraints being loaded...
0.82 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.82 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=18 maxArity=3
0.82 => wckTime=0.505 cpuTime=0.45 mem=42M247
0.90
0.90 solver IterativeSystematicSolver being built...
1.06 => wckTime=0.743 cpuTime=0.59 mem=21M39
1.13
1.13 preprocessing
1.13 nbConstraintChecks=19030 nbValidityChecks=33618 nbPropagations=201 nbRevisions=1732 nbUselessRevisions=1479
1.13 nbSingletonTests=27 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.13 => wckTime=0.072 cpuTime=0.05 mem=21M39
1.18
1.18 search
1.18 run=0 nbConstraintChecks=20558 nbValidityChecks=40086 nbPropagations=508 nbRevisions=4942
1.18 nbUselessRevisions=3970 nbAssignments=30 nbFailedAssignments=16 nbBacktracks=11 nbVisitedNodes=53
1.18 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.121 cpuTime=0.08 mem=22M10
1.24
1.24 search
1.24 run=1 nbConstraintChecks=59471 nbValidityChecks=118774 nbPropagations=1563 nbRevisions=15569
1.24 nbUselessRevisions=12350 nbAssignments=75 nbFailedAssignments=41 nbBacktracks=26 nbVisitedNodes=134
1.24 nbRestartNogoods=1 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.178 cpuTime=0.14 mem=22M10
1.31
1.31 search
1.31 run=2 nbConstraintChecks=101441 nbValidityChecks=201927 nbPropagations=3283 nbRevisions=33072
1.31 nbUselessRevisions=26039 nbAssignments=133 nbFailedAssignments=72 nbBacktracks=48 nbVisitedNodes=240
1.31 nbRestartNogoods=5 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.246 cpuTime=0.2 mem=22M10
1.42
1.42 search
1.42 run=3 nbConstraintChecks=186807 nbValidityChecks=367638 nbPropagations=6166 nbRevisions=63091
1.42 nbUselessRevisions=49331 nbAssignments=225 nbFailedAssignments=126 nbBacktracks=81 nbVisitedNodes=411
1.42 nbRestartNogoods=9 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.356 cpuTime=0.3 mem=22M10
1.59
1.59 search
1.59 run=4 nbConstraintChecks=320060 nbValidityChecks=650645 nbPropagations=11081 nbRevisions=114395
1.59 nbUselessRevisions=88949 nbAssignments=412 nbFailedAssignments=228 nbBacktracks=132 nbVisitedNodes=707
1.59 nbRestartNogoods=14 mapSize=123 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.525 cpuTime=0.46 mem=22M10
1.77
1.77 search
1.77 run=5 nbConstraintChecks=469322 nbValidityChecks=937060 nbPropagations=18111 nbRevisions=188873
1.77 nbUselessRevisions=146446 nbAssignments=593 nbFailedAssignments=330 nbBacktracks=207 nbVisitedNodes=1043
1.77 nbRestartNogoods=17 mapSize=193 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.704 cpuTime=0.64 mem=22M10
2.09
2.09 search
2.09 run=6 nbConstraintChecks=743696 nbValidityChecks=1506377 nbPropagations=29721 nbRevisions=309781
2.09 nbUselessRevisions=239282 nbAssignments=935 nbFailedAssignments=549 nbBacktracks=320 nbVisitedNodes=1691
2.09 nbRestartNogoods=29 mapSize=305 nbInferences=0 nbTooLargeKeys=0
2.09 => wckTime=1.024 cpuTime=0.95 mem=22M10
2.62
2.62 search
2.62 run=7 nbConstraintChecks=1200654 nbValidityChecks=2408564 nbPropagations=47501 nbRevisions=499269
2.62 nbUselessRevisions=385239 nbAssignments=1435 nbFailedAssignments=875 nbBacktracks=490 nbVisitedNodes=2652
2.62 nbRestartNogoods=33 mapSize=471 nbInferences=0 nbTooLargeKeys=0
2.62 => wckTime=1.562 cpuTime=1.48 mem=22M10
3.11
3.11 search
3.11 run=8 nbConstraintChecks=1606574 nbValidityChecks=3212456 nbPropagations=71463 nbRevisions=753891
3.11 nbUselessRevisions=581674 nbAssignments=1993 nbFailedAssignments=1165 nbBacktracks=746 nbVisitedNodes=3646
3.11 nbRestartNogoods=43 mapSize=686 nbInferences=0 nbTooLargeKeys=0
3.11 => wckTime=2.049 cpuTime=1.95 mem=22M10
4.05
4.05 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=22M10)
4.13
4.13 search
4.13 run=9 nbConstraintChecks=2510103 nbValidityChecks=5006569 nbPropagations=108520 nbRevisions=1147773
4.13 nbUselessRevisions=885013 nbAssignments=3101 nbFailedAssignments=1877 nbBacktracks=1130 nbVisitedNodes=5744
4.13 nbRestartNogoods=54
4.13 => wckTime=3.066 cpuTime=2.96 mem=22M10
5.82
5.82 search
5.82 run=10 nbConstraintChecks=4046394 nbValidityChecks=8063344 nbPropagations=163886 nbRevisions=1764212
5.82 nbUselessRevisions=1362787 nbAssignments=4688 nbFailedAssignments=2883 nbBacktracks=1706 nbVisitedNodes=8750
5.82 nbRestartNogoods=68
5.82 => wckTime=4.76 cpuTime=4.64 mem=22M10
7.65
7.65 search
7.65 run=11 nbConstraintChecks=5704758 nbValidityChecks=11399259 nbPropagations=244425 nbRevisions=2650395
7.65 nbUselessRevisions=2049175 nbAssignments=6876 nbFailedAssignments=4202 nbBacktracks=2571 nbVisitedNodes=12871
7.65 nbRestartNogoods=74
7.65 => wckTime=6.59 cpuTime=6.47 mem=22M10
10.10
10.10 search
10.10 run=12 nbConstraintChecks=7974165 nbValidityChecks=15831302 nbPropagations=357357 nbRevisions=3885789
10.10 nbUselessRevisions=3007059 nbAssignments=9669 nbFailedAssignments=5677 nbBacktracks=3870 nbVisitedNodes=17935
10.10 nbRestartNogoods=89
10.10 => wckTime=9.036 cpuTime=8.91 mem=22M10
11.75
11.75 search
11.75 run=13 nbConstraintChecks=9486254 nbValidityChecks=18820732 nbPropagations=491137 nbRevisions=5346126
11.75 nbUselessRevisions=4137639 nbAssignments=11305 nbFailedAssignments=6700 nbBacktracks=4463 nbVisitedNodes=21060
11.75 nbRestartNogoods=97
11.75 => wckTime=10.693 cpuTime=10.57 mem=22M10
11.76
11.76 global
11.76 nbConstraintChecks=9505284 nbValidityChecks=18854350 nbPropagations=491338 nbRevisions=5347858
11.76 nbUselessRevisions=4139118 nbRestartNogoods=97 solvingWckTime=10.694 solvingCpuTime=10.57 expiredTime=no
11.76 totalExploration=no nbFoundSolutions=1 globalCpuTime=11.21
11.76 => wckTime=11.44 cpuTime=11.16 mem=22M10
11.76
11.76 s SATISFIABLE
11.76 v 8 1 12 5 3 16 4 4 0 0 4 7 19 11 15 0 14 17 15 18
11.76 d NODES 11305
11.76 d CHECKS 9505284
11.76
11.76 totalWckTime=11.524 totalCpuTime=11.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-218052-1168250530 -o ROOT/results/node14/solver-218052-1168250530 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218052-1168250530/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: 2.00 2.01 2.00 4/101 20393
/proc/meminfo: memFree=1467848/2055920 swapFree=4182236/4192956
[pid=20392] ppid=20390 vsize=11868 CPUtime=0
/proc/20392/stat : 20392 (java) D 20390 20392 20325 0 -1 0 765 0 1 0 0 0 0 0 16 0 1 0 173447987 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20392/statm: 2967 515 425 14 0 1602 0
[startup+0.104153 s]
/proc/loadavg: 2.00 2.01 2.00 4/101 20393
/proc/meminfo: memFree=1467848/2055920 swapFree=4182236/4192956
[pid=20392] ppid=20390 vsize=914988 CPUtime=0.09
/proc/20392/stat : 20392 (java) R 20390 20392 20325 0 -1 0 2995 0 1 0 8 1 0 0 17 0 8 0 173447987 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513196 s]
/proc/loadavg: 2.00 2.01 2.00 4/101 20393
/proc/meminfo: memFree=1467848/2055920 swapFree=4182236/4192956
[pid=20392] ppid=20390 vsize=915328 CPUtime=0.49
/proc/20392/stat : 20392 (java) R 20390 20392 20325 0 -1 0 7659 0 1 0 46 3 0 0 18 0 8 0 173447987 937295872 7398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20392/statm: 228832 7398 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34227 s]
/proc/loadavg: 2.00 2.01 2.00 3/108 20406
/proc/meminfo: memFree=1410192/2055920 swapFree=4182236/4192956
[pid=20392] ppid=20390 vsize=915460 CPUtime=1.31
/proc/20392/stat : 20392 (java) R 20390 20392 20325 0 -1 0 17087 0 1 0 122 9 0 0 24 0 8 0 173447987 937431040 16825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20392/statm: 228865 16825 2527 14 0 215335 0
[pid=20392/tid=20394] ppid=20390 vsize=915460 CPUtime=0.05
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 20325 0 -1 64 1790 0 0 0 5 0 0 0 17 0 8 0 173447990 937431040 16825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20395] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 20325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173447991 937431040 16825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20396] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 20325 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173447991 937431040 16825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20397] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 20325 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173447994 937431040 16825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=915460 CPUtime=0.17
/proc/20392/task/20398/stat : 20398 (java) R 20390 20392 20325 0 -1 64 358 0 0 0 16 1 0 0 15 0 8 0 173447994 937431040 16825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153063302 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20399] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 20325 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173447994 937431040 16825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 20325 0 -1 64 1 0 0 0 0 0 0 0 16 0 8 0 173447994 937431040 16825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98643 s]
/proc/loadavg: 2.00 2.01 2.00 4/108 20406
/proc/meminfo: memFree=1402640/2055920 swapFree=4182236/4192956
[pid=20392] ppid=20390 vsize=915460 CPUtime=2.96
/proc/20392/stat : 20392 (java) R 20390 20392 20325 0 -1 0 17105 0 1 0 286 10 0 0 25 0 8 0 173447987 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20392/statm: 228865 16841 2527 14 0 215335 0
[pid=20392/tid=20394] ppid=20390 vsize=915460 CPUtime=0.05
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 20325 0 -1 64 1790 0 0 0 5 0 0 0 17 0 8 0 173447990 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20395] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 20325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173447991 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20396] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 20325 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173447991 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20397] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 20325 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173447994 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=915460 CPUtime=0.21
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 20325 0 -1 64 375 0 0 0 20 1 0 0 16 0 8 0 173447994 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20399] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 20325 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173447994 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 20325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173447994 937431040 16841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.26874 s]
/proc/loadavg: 2.00 2.01 2.00 3/108 20408
/proc/meminfo: memFree=1387152/2055920 swapFree=4182236/4192956
[pid=20392] ppid=20390 vsize=915460 CPUtime=6.24
/proc/20392/stat : 20392 (java) R 20390 20392 20325 0 -1 0 17117 0 1 0 613 11 0 0 25 0 8 0 173447987 937431040 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073729987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20392/statm: 228865 16851 2527 14 0 215335 0
[pid=20392/tid=20394] ppid=20390 vsize=915460 CPUtime=0.05
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 20325 0 -1 64 1790 0 0 0 5 0 0 0 16 0 8 0 173447990 937431040 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20395] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 20325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173447991 937431040 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20396] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 20325 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173447991 937431040 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20397] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 20325 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173447994 937431040 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=915460 CPUtime=0.23
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 20325 0 -1 64 386 0 0 0 21 2 0 0 16 0 8 0 173447994 937431040 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20392/tid=20399] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 20325 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173447994 937431040 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=915460 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 20325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173447994 937431040 16851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 11.7814
CPU time (s): 11.7452
CPU user time (s): 11.6082
CPU system time (s): 0.136979
CPU usage (%): 99.6926
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6082
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17126
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= 1311
involuntary context switches= 1535
runsolver used 0.021996 s user time and 0.046992 s system time
The end
Begin job on node14 on Mon Jan 8 10:02:11 UTC 2007
IDJOB= 218052
IDBENCH= 5193
FILE ID= node14/218052-1168250530
PBS_JOBID= 3481669
Free space on /tmp= 66339 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218052-1168250530/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-218052-1168250530 -o ROOT/results/node14/solver-218052-1168250530 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218052-1168250530/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b4a375544d06b9f6e3dcb50ecb8a1900
RANDOM SEED= 271742505
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.227
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.227
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: 1468264 kB
Buffers: 46720 kB
Cached: 92988 kB
SwapCached: 4180 kB
Active: 464440 kB
Inactive: 71528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1468264 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 3068 kB
Writeback: 0 kB
Mapped: 414556 kB
Slab: 35376 kB
Committed_AS: 6349556 kB
PageTables: 3188 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= 66339 MiB
End job on node14 on Mon Jan 8 10:02:22 UTC 2007