0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/213442-1168225778/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.46 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.46 => wckTime=0.135 cpuTime=0.12 mem=7M50
0.46
0.46 predicates being loaded...
0.47
0.47 constraints being loaded...
0.70 nbConstraints=520 nbConvertedConstraints=204 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.70 nbSharedExtensionStructures=202 nbConflictsStructures=3 nbSharedConflictsStructures=517
0.70 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=315 maxDegree=6 maxArity=3
0.70 => wckTime=0.375 cpuTime=0.27 mem=10M951
0.75
0.75 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.63 cpuTime=0.45 mem=17M674
1.05
1.05 preprocessing
1.05 nbConstraintChecks=1465 nbValidityChecks=183 nbPropagations=1336 nbRevisions=1218 nbUselessRevisions=769
1.05 nbSingletonTests=512 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=0 detectedInconsistency=no
1.05 => wckTime=0.092 cpuTime=0.07 mem=17M674
1.09
1.09 search
1.09 run=0 nbConstraintChecks=217 nbValidityChecks=75 nbPropagations=1458 nbRevisions=1412 nbUselessRevisions=859
1.09 nbAssignments=43 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=6
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.13 cpuTime=0.09 mem=18M715
1.11
1.11 search
1.11 run=1 nbConstraintChecks=476 nbValidityChecks=176 nbPropagations=3071 nbRevisions=3061 nbUselessRevisions=1818
1.11 nbAssignments=98 nbFailedAssignments=10 nbBacktracks=30 nbVisitedNodes=117 nbRestartNogoods=1 mapSize=16
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.146 cpuTime=0.1 mem=18M715
1.15
1.15 search
1.15 run=2 nbConstraintChecks=1142 nbValidityChecks=426 nbPropagations=5041 nbRevisions=5298
1.15 nbUselessRevisions=3060 nbAssignments=265 nbFailedAssignments=21 nbBacktracks=53 nbVisitedNodes=305
1.15 nbRestartNogoods=2 mapSize=32 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.19 cpuTime=0.13 mem=18M715
1.18
1.18 search
1.18 run=3 nbConstraintChecks=2101 nbValidityChecks=942 nbPropagations=7630 nbRevisions=8488
1.18 nbUselessRevisions=4791 nbAssignments=497 nbFailedAssignments=30 nbBacktracks=90 nbVisitedNodes=427
1.18 nbRestartNogoods=7 mapSize=48 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.219 cpuTime=0.16 mem=18M715
1.21
1.21 search
1.21 run=4 nbConstraintChecks=3268 nbValidityChecks=1606 nbPropagations=10890 nbRevisions=12857
1.21 nbUselessRevisions=7055 nbAssignments=671 nbFailedAssignments=49 nbBacktracks=142 nbVisitedNodes=631
1.21 nbRestartNogoods=9 mapSize=73 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.255 cpuTime=0.19 mem=18M715
1.27
1.27 search
1.27 run=5 nbConstraintChecks=4768 nbValidityChecks=2375 nbPropagations=15053 nbRevisions=18661
1.27 nbUselessRevisions=10044 nbAssignments=1067 nbFailedAssignments=70 nbBacktracks=225 nbVisitedNodes=902
1.27 nbRestartNogoods=13 mapSize=102 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.312 cpuTime=0.24 mem=18M715
1.31
1.31 search
1.31 run=6 nbConstraintChecks=6368 nbValidityChecks=3231 nbPropagations=20175 nbRevisions=26063
1.31 nbUselessRevisions=13804 nbAssignments=1374 nbFailedAssignments=101 nbBacktracks=343 nbVisitedNodes=1148
1.31 nbRestartNogoods=17 mapSize=140 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.351 cpuTime=0.27 mem=18M715
1.36
1.36 search
1.36 run=7 nbConstraintChecks=10601 nbValidityChecks=6026 nbPropagations=27725 nbRevisions=37858
1.36 nbUselessRevisions=19510 nbAssignments=1620 nbFailedAssignments=168 nbBacktracks=514 nbVisitedNodes=1527
1.36 nbRestartNogoods=18 mapSize=268 nbInferences=1 nbTooLargeKeys=0
1.36 => wckTime=0.396 cpuTime=0.31 mem=18M715
1.44
1.44 search
1.44 run=8 nbConstraintChecks=14559 nbValidityChecks=8377 nbPropagations=37492 nbRevisions=53466
1.44 nbUselessRevisions=26873 nbAssignments=2064 nbFailedAssignments=251 nbBacktracks=771 nbVisitedNodes=2143
1.44 nbRestartNogoods=20 mapSize=433 nbInferences=5 nbTooLargeKeys=0
1.44 => wckTime=0.478 cpuTime=0.38 mem=18M715
1.55
1.55 search
1.55 run=9 nbConstraintChecks=23291 nbValidityChecks=13972 nbPropagations=52219 nbRevisions=78642
1.55 nbUselessRevisions=38779 nbAssignments=2653 nbFailedAssignments=387 nbBacktracks=1156 nbVisitedNodes=2980
1.55 nbRestartNogoods=23 mapSize=663 nbInferences=9 nbTooLargeKeys=0
1.55 => wckTime=0.593 cpuTime=0.49 mem=18M715
1.68
1.68 search
1.68 run=10 nbConstraintChecks=35217 nbValidityChecks=20838 nbPropagations=73744 nbRevisions=115368
1.68 nbUselessRevisions=55420 nbAssignments=3443 nbFailedAssignments=568 nbBacktracks=1732 nbVisitedNodes=4134
1.68 nbRestartNogoods=29 mapSize=1009 nbInferences=11 nbTooLargeKeys=0
1.68 => wckTime=0.717 cpuTime=0.61 mem=18M715
1.85
1.85 search
1.85 run=11 nbConstraintChecks=53336 nbValidityChecks=33603 nbPropagations=105844 nbRevisions=171375
1.85 nbUselessRevisions=80796 nbAssignments=4647 nbFailedAssignments=853 nbBacktracks=2605 nbVisitedNodes=5883
1.85 nbRestartNogoods=37 mapSize=1574 nbInferences=11 nbTooLargeKeys=0
1.85 => wckTime=0.894 cpuTime=0.78 mem=18M715
2.04
2.04 INFO : Stopping hyperNogood (mapSize=2217, nbTooLargekeys=0, mem=19M690)
2.09
2.09 search
2.09 run=12 nbConstraintChecks=83054 nbValidityChecks=51016 nbPropagations=155026 nbRevisions=256137
2.09 nbUselessRevisions=117771 nbAssignments=6448 nbFailedAssignments=1325 nbBacktracks=3903 nbVisitedNodes=8601
2.09 nbRestartNogoods=41
2.09 => wckTime=1.135 cpuTime=1.02 mem=19M690
2.37
2.37 search
2.37 run=13 nbConstraintChecks=115231 nbValidityChecks=71767 nbPropagations=222845 nbRevisions=373034
2.37 nbUselessRevisions=168365 nbAssignments=8988 nbFailedAssignments=1892 nbBacktracks=5852 nbVisitedNodes=12329
2.37 nbRestartNogoods=53
2.37 => wckTime=1.408 cpuTime=1.28 mem=19M690
2.75
2.75 search
2.75 run=14 nbConstraintChecks=159458 nbValidityChecks=99299 nbPropagations=316709 nbRevisions=533952
2.75 nbUselessRevisions=237004 nbAssignments=12824 nbFailedAssignments=2744 nbBacktracks=8774 nbVisitedNodes=17812
2.75 nbRestartNogoods=59
2.75 => wckTime=1.789 cpuTime=1.66 mem=19M690
3.32
3.32 search
3.32 run=15 nbConstraintChecks=254419 nbValidityChecks=165675 nbPropagations=467238 nbRevisions=802970
3.32 nbUselessRevisions=356612 nbAssignments=18307 nbFailedAssignments=3790 nbBacktracks=13157 nbVisitedNodes=25337
3.32 nbRestartNogoods=63
3.32 => wckTime=2.358 cpuTime=2.23 mem=19M690
4.32
4.32 search
4.32 run=16 nbConstraintChecks=480570 nbValidityChecks=320753 nbPropagations=756886 nbRevisions=1321709
4.32 nbUselessRevisions=586448 nbAssignments=26670 nbFailedAssignments=5522 nbBacktracks=19725 nbVisitedNodes=37179
4.32 nbRestartNogoods=71
4.32 => wckTime=3.365 cpuTime=3.23 mem=19M690
4.81
4.81 search
4.81 run=17 nbConstraintChecks=553373 nbValidityChecks=369436 nbPropagations=1089955 nbRevisions=1922556
4.81 nbUselessRevisions=854874 nbAssignments=31364 nbFailedAssignments=6443 nbBacktracks=23098 nbVisitedNodes=43749
4.81 nbRestartNogoods=79
4.81 => wckTime=3.849 cpuTime=3.7 mem=19M690
4.81
4.81 global
4.81 nbConstraintChecks=554838 nbValidityChecks=369619 nbPropagations=1091291 nbRevisions=1923774
4.81 nbUselessRevisions=855643 nbRestartNogoods=79 solvingWckTime=3.85 solvingCpuTime=3.7 expiredTime=no
4.81 totalExploration=no nbFoundSolutions=1 globalCpuTime=4.2
4.81 => wckTime=4.481 cpuTime=4.15 mem=19M690
4.81
4.81 s SATISFIABLE
4.81 v 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1
4.81 d NODES 31364
4.81 d CHECKS 554838
4.81
4.81 totalWckTime=4.565 totalCpuTime=4.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-213442-1168225778 -o ROOT/results/node26/solver-213442-1168225778 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213442-1168225778/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.04 1.15 1.45 4/86 14638
/proc/meminfo: memFree=1750040/2055920 swapFree=4192812/4192956
[pid=14637] ppid=14635 vsize=18540 CPUtime=0
/proc/14637/stat : 14637 (runsolver) R 14635 14637 14570 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 170973072 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14637/statm: 4635 279 244 17 0 2626 0
[startup+0.108113 s]
/proc/loadavg: 1.04 1.15 1.45 4/86 14638
/proc/meminfo: memFree=1750040/2055920 swapFree=4192812/4192956
[pid=14637] ppid=14635 vsize=914852 CPUtime=0.08
/proc/14637/stat : 14637 (java) R 14635 14637 14570 0 -1 0 2940 0 1 0 6 2 0 0 17 0 8 0 170973072 936808448 2686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14637/statm: 228713 2686 1412 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852
[startup+0.516148 s]
/proc/loadavg: 1.04 1.15 1.45 4/86 14638
/proc/meminfo: memFree=1750040/2055920 swapFree=4192812/4192956
[pid=14637] ppid=14635 vsize=915328 CPUtime=0.48
/proc/14637/stat : 14637 (java) R 14635 14637 14570 0 -1 0 6348 0 1 0 44 4 0 0 18 0 8 0 170973072 937295872 6087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14637/statm: 228832 6087 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33723 s]
/proc/loadavg: 1.04 1.15 1.45 3/93 14645
/proc/meminfo: memFree=1722976/2055920 swapFree=4192812/4192956
[pid=14637] ppid=14635 vsize=915556 CPUtime=1.29
/proc/14637/stat : 14637 (java) R 14635 14637 14570 0 -1 0 9574 0 1 0 120 9 0 0 24 0 8 0 170973072 937529344 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14637/statm: 228889 9312 2543 14 0 215359 0
[pid=14637/tid=14639] ppid=14635 vsize=915556 CPUtime=0.03
/proc/14637/task/14639/stat : 14639 (java) S 14635 14637 14570 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 170973076 937529344 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14640] ppid=14635 vsize=915556 CPUtime=0
/proc/14637/task/14640/stat : 14640 (java) S 14635 14637 14570 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170973077 937529344 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14641] ppid=14635 vsize=915556 CPUtime=0
/proc/14637/task/14641/stat : 14641 (java) S 14635 14637 14570 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170973077 937529344 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14642] ppid=14635 vsize=915556 CPUtime=0
/proc/14637/task/14642/stat : 14642 (java) S 14635 14637 14570 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170973080 937529344 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14643] ppid=14635 vsize=915556 CPUtime=0.25
/proc/14637/task/14643/stat : 14643 (java) R 14635 14637 14570 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 170973080 937529344 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020548 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14644] ppid=14635 vsize=915556 CPUtime=0
/proc/14637/task/14644/stat : 14644 (java) S 14635 14637 14570 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170973080 937529344 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14645] ppid=14635 vsize=915556 CPUtime=0
/proc/14637/task/14645/stat : 14645 (java) S 14635 14637 14570 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170973080 937529344 9312 18446744073709551615 134512640 134570532 4294956480 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) 915556
[startup+2.97437 s]
/proc/loadavg: 1.04 1.15 1.45 3/93 14645
/proc/meminfo: memFree=1721952/2055920 swapFree=4192812/4192956
[pid=14637] ppid=14635 vsize=915556 CPUtime=2.92
/proc/14637/stat : 14637 (java) R 14635 14637 14570 0 -1 0 9763 0 1 0 283 9 0 0 25 0 8 0 170973072 937529344 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073904588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14637/statm: 228889 9499 2543 14 0 215359 0
[pid=14637/tid=14639] ppid=14635 vsize=915556 CPUtime=0.03
/proc/14637/task/14639/stat : 14639 (java) S 14635 14637 14570 0 -1 64 221 0 0 0 3 0 0 0 17 0 8 0 170973076 937529344 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14640] ppid=14635 vsize=915556 CPUtime=0
/proc/14637/task/14640/stat : 14640 (java) S 14635 14637 14570 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170973077 937529344 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14641] ppid=14635 vsize=915556 CPUtime=0
/proc/14637/task/14641/stat : 14641 (java) S 14635 14637 14570 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170973077 937529344 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14642] ppid=14635 vsize=915556 CPUtime=0
/proc/14637/task/14642/stat : 14642 (java) S 14635 14637 14570 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170973080 937529344 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14643] ppid=14635 vsize=915556 CPUtime=0.29
/proc/14637/task/14643/stat : 14643 (java) S 14635 14637 14570 0 -1 64 420 0 0 0 28 1 0 0 15 0 8 0 170973080 937529344 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14644] ppid=14635 vsize=915556 CPUtime=0
/proc/14637/task/14644/stat : 14644 (java) S 14635 14637 14570 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170973080 937529344 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14637/tid=14645] ppid=14635 vsize=915556 CPUtime=0
/proc/14637/task/14645/stat : 14645 (java) S 14635 14637 14570 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170973080 937529344 9499 18446744073709551615 134512640 134570532 4294956480 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) 915556
Child status: 0
Real time (s): 4.84133
CPU time (s): 4.75328
CPU user time (s): 4.64929
CPU system time (s): 0.103984
CPU usage (%): 98.1812
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.64929
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9863
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= 1425
involuntary context switches= 1722
runsolver used 0.008998 s user time and 0.025996 s system time
The end
Begin job on node26 on Mon Jan 8 03:09:42 UTC 2007
IDJOB= 213442
IDBENCH= 4848
FILE ID= node26/213442-1168225778
PBS_JOBID= 3481073
Free space on /tmp= 66537 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-1-6-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213442-1168225778/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-213442-1168225778 -o ROOT/results/node26/solver-213442-1168225778 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213442-1168225778/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 53aed87aeb9458fa17e7eb4bb86e0c8a
RANDOM SEED= 40060667
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: 1750520 kB
Buffers: 47056 kB
Cached: 129812 kB
SwapCached: 0 kB
Active: 158896 kB
Inactive: 89456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1750520 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1984 kB
Writeback: 0 kB
Mapped: 93844 kB
Slab: 41744 kB
Committed_AS: 3370848 kB
PageTables: 2240 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= 66537 MiB
End job on node26 on Mon Jan 8 03:09:56 UTC 2007