0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/226957-1168080747/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.40 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.51
0.51 constraints being loaded...
0.59 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.59 => wckTime=0.291 cpuTime=0.23 mem=15M764
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.479 cpuTime=0.36 mem=13M789
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0020 cpuTime=0.0 mem=13M789
0.83
0.83 search
0.83 run=0 nbConstraintChecks=43701 nbPropagations=578 nbRevisions=2997 nbUselessRevisions=1854 nbAssignments=23
0.83 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.83 nbTooLargeKeys=0
0.84 => wckTime=0.05 cpuTime=0.03 mem=14M764
0.85
0.85 search
0.85 run=1 nbConstraintChecks=89308 nbPropagations=1948 nbRevisions=10196 nbUselessRevisions=6291 nbAssignments=56
0.85 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=91 nbRestartNogoods=3 mapSize=18 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.068 cpuTime=0.04 mem=14M764
0.88
0.88 search
0.88 run=2 nbConstraintChecks=209155 nbPropagations=4812 nbRevisions=26187 nbUselessRevisions=16022
0.88 nbAssignments=111 nbFailedAssignments=50 nbBacktracks=48 nbVisitedNodes=193 nbRestartNogoods=6 mapSize=39
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.092 cpuTime=0.06 mem=14M764
0.90
0.90 search
0.90 run=3 nbConstraintChecks=345427 nbPropagations=9588 nbRevisions=53709 nbUselessRevisions=32766
0.90 nbAssignments=185 nbFailedAssignments=89 nbBacktracks=81 nbVisitedNodes=329 nbRestartNogoods=8 mapSize=69
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.114 cpuTime=0.08 mem=14M764
0.93
0.93 search
0.93 run=4 nbConstraintChecks=527612 nbPropagations=17042 nbRevisions=96739 nbUselessRevisions=58953
0.93 nbAssignments=293 nbFailedAssignments=140 nbBacktracks=133 nbVisitedNodes=516 nbRestartNogoods=9 mapSize=112
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.142 cpuTime=0.1 mem=14M764
0.97
0.97 search
0.97 run=5 nbConstraintChecks=848384 nbPropagations=28409 nbRevisions=163666 nbUselessRevisions=99692
0.97 nbAssignments=458 nbFailedAssignments=226 nbBacktracks=208 nbVisitedNodes=819 nbRestartNogoods=16 mapSize=178
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.181 cpuTime=0.14 mem=14M764
1.01
1.01 search
1.02 run=6 nbConstraintChecks=1222529 nbPropagations=45103 nbRevisions=261261 nbUselessRevisions=158782
1.02 nbAssignments=670 nbFailedAssignments=322 nbBacktracks=321 nbVisitedNodes=1198 nbRestartNogoods=19 mapSize=267
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.231 cpuTime=0.19 mem=14M764
1.11
1.11 search
1.11 run=7 nbConstraintChecks=1988911 nbPropagations=71785 nbRevisions=421791 nbUselessRevisions=256613
1.11 nbAssignments=1068 nbFailedAssignments=545 nbBacktracks=492 nbVisitedNodes=1942 nbRestartNogoods=26
1.11 mapSize=428 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.327 cpuTime=0.28 mem=14M764
1.24
1.24 search
1.24 run=8 nbConstraintChecks=2894948 nbPropagations=110912 nbRevisions=654611 nbUselessRevisions=398195
1.24 nbAssignments=1554 nbFailedAssignments=770 nbBacktracks=751 nbVisitedNodes=2812 nbRestartNogoods=31
1.24 mapSize=644 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.457 cpuTime=0.39 mem=14M764
1.45
1.45 search
1.45 run=9 nbConstraintChecks=4770426 nbPropagations=173937 nbRevisions=1031937 nbUselessRevisions=627083
1.45 nbAssignments=2480 nbFailedAssignments=1306 nbBacktracks=1135 nbVisitedNodes=4552 nbRestartNogoods=40
1.45 mapSize=1000 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.664 cpuTime=0.59 mem=14M764
1.46
1.46 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=14M764)
1.69
1.69 search
1.69 run=10 nbConstraintChecks=6977799 nbPropagations=266683 nbRevisions=1587502 nbUselessRevisions=965701
1.69 nbAssignments=3729 nbFailedAssignments=1975 nbBacktracks=1714 nbVisitedNodes=6844 nbRestartNogoods=49
1.69 => wckTime=0.903 cpuTime=0.82 mem=14M764
2.02
2.02 search
2.02 run=11 nbConstraintChecks=10168138 nbPropagations=402959 nbRevisions=2402225 nbUselessRevisions=1462380
2.02 nbAssignments=5450 nbFailedAssignments=2826 nbBacktracks=2580 nbVisitedNodes=9935 nbRestartNogoods=55
2.02 => wckTime=1.234 cpuTime=1.15 mem=14M764
2.56
2.56 search
2.56 run=12 nbConstraintChecks=15459753 nbPropagations=609841 nbRevisions=3642929 nbUselessRevisions=2222668
2.56 nbAssignments=8301 nbFailedAssignments=4375 nbBacktracks=3877 nbVisitedNodes=15182 nbRestartNogoods=61
2.56 => wckTime=1.778 cpuTime=1.69 mem=14M764
3.31
3.31 search
3.31 run=13 nbConstraintChecks=22841510 nbPropagations=914852 nbRevisions=5469024 nbUselessRevisions=3342975
3.31 nbAssignments=12201 nbFailedAssignments=6326 nbBacktracks=5824 nbVisitedNodes=22263 nbRestartNogoods=74
3.31 => wckTime=2.529 cpuTime=2.44 mem=14M764
4.40
4.40 search
4.40 run=14 nbConstraintChecks=33655132 nbPropagations=1365413 nbRevisions=8163201 nbUselessRevisions=4998928
4.40 nbAssignments=18077 nbFailedAssignments=9278 nbBacktracks=8747 nbVisitedNodes=32939 nbRestartNogoods=81
4.40 => wckTime=3.616 cpuTime=3.52 mem=14M764
6.15
6.15 search
6.15 run=15 nbConstraintChecks=51041912 nbPropagations=2045957 nbRevisions=12220529 nbUselessRevisions=7487374
6.15 nbAssignments=27243 nbFailedAssignments=14063 nbBacktracks=13125 nbVisitedNodes=49628 nbRestartNogoods=82
6.15 => wckTime=5.362 cpuTime=5.27 mem=14M764
7.34
7.34 search
7.34 run=16 nbConstraintChecks=62924169 nbPropagations=2881799 nbRevisions=17200671 nbUselessRevisions=10536682
7.34 nbAssignments=33312 nbFailedAssignments=17334 nbBacktracks=15924 nbVisitedNodes=60799 nbRestartNogoods=84
7.34 => wckTime=6.559 cpuTime=6.46 mem=14M764
7.34
7.34 global
7.34 nbConstraintChecks=62924169 nbPropagations=2881839 nbRevisions=17200671 nbUselessRevisions=10536682
7.34 nbRestartNogoods=84 solvingWckTime=6.559 solvingCpuTime=6.46 expiredTime=no totalExploration=yes
7.34 nbFoundSolutions=0 globalCpuTime=6.87
7.34 => wckTime=7.043 cpuTime=6.82 mem=14M764
7.35
7.35 s UNSATISFIABLE
7.35 d NODES 33312
7.35 d CHECKS 62924169
7.35
7.35 totalWckTime=7.119 totalCpuTime=6.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-226957-1168080747 -o ROOT/results/node19/solver-226957-1168080747 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226957-1168080747/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.15 0.96 1.53 3/86 24262
/proc/meminfo: memFree=1249312/2055920 swapFree=4171232/4192956
[pid=24261] ppid=24259 vsize=172 CPUtime=0
/proc/24261/stat : 24261 (java) R 24259 24261 23717 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156470429 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7483691 0 0 4096 0 0 0 0 17 0 0 0
/proc/24261/statm: 43 24 18 14 0 3 0
[startup+0.108073 s]
/proc/loadavg: 0.15 0.96 1.53 3/86 24262
/proc/meminfo: memFree=1249312/2055920 swapFree=4171232/4192956
[pid=24261] ppid=24259 vsize=916012 CPUtime=0.08
/proc/24261/stat : 24261 (java) R 24259 24261 23717 0 -1 0 3062 0 1 0 7 1 0 0 23 0 8 0 156470429 937996288 2808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24261/statm: 229003 2808 1450 14 0 215498 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 916012
[startup+0.516149 s]
/proc/loadavg: 0.15 0.96 1.53 3/86 24262
/proc/meminfo: memFree=1249312/2055920 swapFree=4171232/4192956
[pid=24261] ppid=24259 vsize=916352 CPUtime=0.48
/proc/24261/stat : 24261 (java) R 24259 24261 23717 0 -1 0 7723 0 1 0 44 4 0 0 25 0 8 0 156470429 938344448 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073567918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24261/statm: 229088 7464 2137 14 0 215558 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916352
[startup+1.3373 s]
/proc/loadavg: 0.15 0.96 1.53 4/100 24276
/proc/meminfo: memFree=1198448/2055920 swapFree=4171232/4192956
[pid=24261] ppid=24259 vsize=916488 CPUtime=1.3
/proc/24261/stat : 24261 (java) R 24259 24261 23717 0 -1 0 9084 0 1 0 124 6 0 0 25 0 8 0 156470429 938483712 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24261/statm: 229122 8822 2513 14 0 215592 0
[pid=24261/tid=24263] ppid=24259 vsize=916488 CPUtime=0.03
/proc/24261/task/24263/stat : 24263 (java) S 24259 24261 23717 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156470433 938483712 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24265] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24265/stat : 24265 (java) S 24259 24261 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156470434 938483712 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24266] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24266/stat : 24266 (java) S 24259 24261 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156470434 938483712 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24269] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24269/stat : 24269 (java) S 24259 24261 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156470437 938483712 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24270] ppid=24259 vsize=916488 CPUtime=0.19
/proc/24261/task/24270/stat : 24270 (java) S 24259 24261 23717 0 -1 64 370 0 0 0 18 1 0 0 16 0 8 0 156470437 938483712 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24271] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24271/stat : 24271 (java) S 24259 24261 23717 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156470437 938483712 8822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24272] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24272/stat : 24272 (java) S 24259 24261 23717 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156470437 938483712 8822 18446744073709551615 134512640 134570532 4294956464 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) 916488
[startup+2.97461 s]
/proc/loadavg: 0.30 0.98 1.53 4/100 24276
/proc/meminfo: memFree=1198320/2055920 swapFree=4171232/4192956
[pid=24261] ppid=24259 vsize=916488 CPUtime=2.92
/proc/24261/stat : 24261 (java) R 24259 24261 23717 0 -1 0 9090 0 1 0 286 6 0 0 25 0 8 0 156470429 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747625 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24261/statm: 229122 8827 2513 14 0 215592 0
[pid=24261/tid=24263] ppid=24259 vsize=916488 CPUtime=0.03
/proc/24261/task/24263/stat : 24263 (java) S 24259 24261 23717 0 -1 64 254 0 0 0 3 0 0 0 17 0 8 0 156470433 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24265] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24265/stat : 24265 (java) S 24259 24261 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156470434 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24266] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24266/stat : 24266 (java) S 24259 24261 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156470434 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24269] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24269/stat : 24269 (java) S 24259 24261 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156470437 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24270] ppid=24259 vsize=916488 CPUtime=0.2
/proc/24261/task/24270/stat : 24270 (java) S 24259 24261 23717 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 156470437 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24271] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24271/stat : 24271 (java) S 24259 24261 23717 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156470437 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24272] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24272/stat : 24272 (java) S 24259 24261 23717 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156470437 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 916488
[startup+6.27223 s]
/proc/loadavg: 0.30 0.98 1.53 2/88 24276
/proc/meminfo: memFree=1224336/2055920 swapFree=4171232/4192956
[pid=24261] ppid=24259 vsize=916488 CPUtime=6.22
/proc/24261/stat : 24261 (java) R 24259 24261 23717 0 -1 0 9091 0 1 0 616 6 0 0 25 0 8 0 156470429 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24261/statm: 229122 8827 2513 14 0 215592 0
[pid=24261/tid=24263] ppid=24259 vsize=916488 CPUtime=0.03
/proc/24261/task/24263/stat : 24263 (java) S 24259 24261 23717 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156470433 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24265] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24265/stat : 24265 (java) S 24259 24261 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156470434 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24266] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24266/stat : 24266 (java) S 24259 24261 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156470434 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24269] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24269/stat : 24269 (java) S 24259 24261 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156470437 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24270] ppid=24259 vsize=916488 CPUtime=0.2
/proc/24261/task/24270/stat : 24270 (java) S 24259 24261 23717 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 156470437 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24271] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24271/stat : 24271 (java) S 24259 24261 23717 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156470437 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24261/tid=24272] ppid=24259 vsize=916488 CPUtime=0
/proc/24261/task/24272/stat : 24272 (java) S 24259 24261 23717 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156470437 938483712 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 916488
Child status: 0
Real time (s): 7.37027
CPU time (s): 7.31089
CPU user time (s): 7.2389
CPU system time (s): 0.071989
CPU usage (%): 99.1943
Max. virtual memory (cumulated for all children) (KiB): 916488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.2389
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9099
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= 1217
involuntary context switches= 1621
runsolver used 0.009998 s user time and 0.028995 s system time
The end
Begin job on node19 on Sat Jan 6 10:52:32 UTC 2007
IDJOB= 226957
IDBENCH= 6031
FILE ID= node19/226957-1168080747
PBS_JOBID= 3475867
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226957-1168080747/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-226957-1168080747 -o ROOT/results/node19/solver-226957-1168080747 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226957-1168080747/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f896bbcb142225f58ee5784bf80bf256
RANDOM SEED= 666722535
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.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: 1250664 kB
Buffers: 70452 kB
Cached: 599036 kB
SwapCached: 10036 kB
Active: 292104 kB
Inactive: 412776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1250664 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 4264 kB
Writeback: 0 kB
Mapped: 44668 kB
Slab: 85328 kB
Committed_AS: 3601444 kB
PageTables: 2208 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= 66310 MiB
End job on node19 on Sat Jan 6 10:52:47 UTC 2007