0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/229265-1168080955/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.43 => wckTime=0.119 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.50
0.50 constraints being loaded...
0.60 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1337 maxDegree=21
0.60 maxArity=2
0.60 => wckTime=0.295 cpuTime=0.2 mem=11M893
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.483 cpuTime=0.32 mem=13M737
0.79
0.79 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0030 cpuTime=0.01 mem=13M737
0.84
0.84 search
0.84 run=0 nbConstraintChecks=27061 nbPropagations=496 nbRevisions=4614 nbUselessRevisions=3460 nbAssignments=21
0.84 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.048 cpuTime=0.03 mem=14M712
0.86
0.86 search
0.86 run=1 nbConstraintChecks=58814 nbPropagations=1578 nbRevisions=14917 nbUselessRevisions=11326 nbAssignments=49
0.86 nbFailedAssignments=15 nbBacktracks=27 nbVisitedNodes=80 nbRestartNogoods=1 mapSize=21 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.065 cpuTime=0.04 mem=14M712
0.88
0.88 search
0.88 run=2 nbConstraintChecks=117646 nbPropagations=3606 nbRevisions=35143 nbUselessRevisions=26617
0.88 nbAssignments=95 nbFailedAssignments=35 nbBacktracks=50 nbVisitedNodes=160 nbRestartNogoods=4 mapSize=43
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.087 cpuTime=0.06 mem=14M712
0.89
0.89 search
0.89 run=3 nbConstraintChecks=192316 nbPropagations=6884 nbRevisions=68461 nbUselessRevisions=51818
0.89 nbAssignments=156 nbFailedAssignments=57 nbBacktracks=83 nbVisitedNodes=263 nbRestartNogoods=6 mapSize=68
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.103 cpuTime=0.07 mem=14M712
0.92
0.92 search
0.92 run=4 nbConstraintChecks=312791 nbPropagations=12238 nbRevisions=124351 nbUselessRevisions=94088
0.92 nbAssignments=259 nbFailedAssignments=105 nbBacktracks=133 nbVisitedNodes=449 nbRestartNogoods=9 mapSize=116
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.129 cpuTime=0.1 mem=14M712
0.96
0.96 search
0.96 run=5 nbConstraintChecks=490185 nbPropagations=20426 nbRevisions=210737 nbUselessRevisions=159552
0.96 nbAssignments=403 nbFailedAssignments=169 nbBacktracks=208 nbVisitedNodes=705 nbRestartNogoods=16 mapSize=188
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.165 cpuTime=0.13 mem=14M712
1.00
1.00 search
1.00 run=6 nbConstraintChecks=686811 nbPropagations=32002 nbRevisions=333279 nbUselessRevisions=252334
1.00 nbAssignments=589 nbFailedAssignments=239 nbBacktracks=321 nbVisitedNodes=1021 nbRestartNogoods=20 mapSize=274
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.206 cpuTime=0.18 mem=14M712
1.06
1.06 search
1.06 run=7 nbConstraintChecks=1024273 nbPropagations=49283 nbRevisions=516950 nbUselessRevisions=391946
1.06 nbAssignments=881 nbFailedAssignments=352 nbBacktracks=493 nbVisitedNodes=1532 nbRestartNogoods=24 mapSize=424
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.27 cpuTime=0.24 mem=14M712
1.16
1.16 search
1.16 run=8 nbConstraintChecks=1555250 nbPropagations=75110 nbRevisions=792456 nbUselessRevisions=600739
1.16 nbAssignments=1320 nbFailedAssignments=528 nbBacktracks=751 nbVisitedNodes=2296 nbRestartNogoods=31
1.16 mapSize=640 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.371 cpuTime=0.34 mem=14M712
1.31
1.31 search
1.31 run=9 nbConstraintChecks=2297798 nbPropagations=113953 nbRevisions=1206010 nbUselessRevisions=914712
1.31 nbAssignments=1968 nbFailedAssignments=788 nbBacktracks=1135 nbVisitedNodes=3434 nbRestartNogoods=38
1.31 mapSize=977 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.518 cpuTime=0.47 mem=14M712
1.34
1.34 INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=14M712)
1.52
1.52 search
1.52 run=10 nbConstraintChecks=3514831 nbPropagations=172795 nbRevisions=1837584 nbUselessRevisions=1393444
1.52 nbAssignments=2948 nbFailedAssignments=1186 nbBacktracks=1713 nbVisitedNodes=5160 nbRestartNogoods=47
1.52 => wckTime=0.725 cpuTime=0.67 mem=14M712
1.81
1.81 search
1.81 run=11 nbConstraintChecks=5319946 nbPropagations=262078 nbRevisions=2804210 nbUselessRevisions=2128051
1.81 nbAssignments=4473 nbFailedAssignments=1840 nbBacktracks=2579 nbVisitedNodes=7888 nbRestartNogoods=51
1.81 => wckTime=1.015 cpuTime=0.96 mem=14M712
2.25
2.25 search
2.25 run=12 nbConstraintChecks=8183298 nbPropagations=397239 nbRevisions=4274917 nbUselessRevisions=3243520
2.25 nbAssignments=6761 nbFailedAssignments=2825 nbBacktracks=3877 nbVisitedNodes=11961 nbRestartNogoods=60
2.25 => wckTime=1.458 cpuTime=1.4 mem=14M712
2.87
2.87 search
2.87 run=13 nbConstraintChecks=12040024 nbPropagations=597709 nbRevisions=6459887 nbUselessRevisions=4903670
2.87 nbAssignments=10157 nbFailedAssignments=4270 nbBacktracks=5824 nbVisitedNodes=17926 nbRestartNogoods=74
2.87 => wckTime=2.075 cpuTime=2.01 mem=14M712
3.83
3.83 search
3.83 run=14 nbConstraintChecks=18134276 nbPropagations=900546 nbRevisions=9776766 nbUselessRevisions=7428588
3.83 nbAssignments=15286 nbFailedAssignments=6474 nbBacktracks=8743 nbVisitedNodes=27020 nbRestartNogoods=83
3.83 => wckTime=3.041 cpuTime=2.98 mem=14M712
5.20
5.20 search
5.20 run=15 nbConstraintChecks=26783096 nbPropagations=1349112 nbRevisions=14690621 nbUselessRevisions=11172737
5.20 nbAssignments=22811 nbFailedAssignments=9616 nbBacktracks=13123 nbVisitedNodes=40202 nbRestartNogoods=96
5.20 => wckTime=4.413 cpuTime=4.35 mem=14M712
6.92
6.92 search
6.92 run=16 nbConstraintChecks=37628363 nbPropagations=1980039 nbRevisions=21592549 nbUselessRevisions=16433745
6.92 nbAssignments=32082 nbFailedAssignments=13513 nbBacktracks=18498 nbVisitedNodes=56475 nbRestartNogoods=104
6.92 => wckTime=6.128 cpuTime=6.06 mem=14M712
6.92
6.92 global
6.92 nbConstraintChecks=37628363 nbPropagations=1980079 nbRevisions=21592549 nbUselessRevisions=16433745
6.92 nbRestartNogoods=104 solvingWckTime=6.13 solvingCpuTime=6.06 expiredTime=no totalExploration=yes
6.92 nbFoundSolutions=0 globalCpuTime=6.43
6.92 => wckTime=6.615 cpuTime=6.38 mem=14M712
6.92
6.92 s UNSATISFIABLE
6.92 d NODES 32082
6.92 d CHECKS 37628363
6.92
6.92 totalWckTime=6.689 totalCpuTime=6.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-229265-1168080955 -o ROOT/results/node17/solver-229265-1168080955 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229265-1168080955/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.16 0.73 1.31 2/81 15190
/proc/meminfo: memFree=1611224/2055920 swapFree=4192812/4192956
[pid=15189] ppid=15187 vsize=292 CPUtime=0
/proc/15189/stat : 15189 (java) R 15187 15189 14775 0 -1 0 52 0 0 0 0 0 0 0 19 0 1 0 156491689 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 1 0 0
/proc/15189/statm: 73 37 29 14 0 5 0
[startup+0.102785 s]
/proc/loadavg: 0.16 0.73 1.31 2/81 15190
/proc/meminfo: memFree=1611224/2055920 swapFree=4192812/4192956
[pid=15189] ppid=15187 vsize=914988 CPUtime=0.08
/proc/15189/stat : 15189 (java) R 15187 15189 14775 0 -1 0 2977 0 1 0 7 1 0 0 17 0 8 0 156491689 936947712 2723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15189/statm: 228747 2724 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510824 s]
/proc/loadavg: 0.16 0.73 1.31 2/81 15190
/proc/meminfo: memFree=1611224/2055920 swapFree=4192812/4192956
[pid=15189] ppid=15187 vsize=915328 CPUtime=0.45
/proc/15189/stat : 15189 (java) S 15187 15189 14775 0 -1 0 6654 0 1 0 42 3 0 0 16 0 8 0 156491689 937295872 6393 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15189/statm: 228832 6393 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33291 s]
/proc/loadavg: 0.16 0.73 1.31 2/88 15197
/proc/meminfo: memFree=1587872/2055920 swapFree=4192812/4192956
[pid=15189] ppid=15187 vsize=915452 CPUtime=1.28
/proc/15189/stat : 15189 (java) R 15187 15189 14775 0 -1 0 8591 0 1 0 123 5 0 0 16 0 8 0 156491689 937422848 8329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15189/statm: 228863 8329 2513 14 0 215333 0
[pid=15189/tid=15191] ppid=15187 vsize=915452 CPUtime=0.02
/proc/15189/task/15191/stat : 15191 (java) S 15187 15189 14775 0 -1 64 243 0 0 0 2 0 0 0 16 0 8 0 156491693 937422848 8329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15189/tid=15192] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15192/stat : 15192 (java) S 15187 15189 14775 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156491694 937422848 8329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15193] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15193/stat : 15193 (java) S 15187 15189 14775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156491694 937422848 8329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15194] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15194/stat : 15194 (java) S 15187 15189 14775 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156491697 937422848 8329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15195] ppid=15187 vsize=915452 CPUtime=0.2
/proc/15189/task/15195/stat : 15195 (java) S 15187 15189 14775 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 156491697 937422848 8329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15196] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15196/stat : 15196 (java) S 15187 15189 14775 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156491697 937422848 8329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15197] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15197/stat : 15197 (java) S 15187 15189 14775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491697 937422848 8329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452
[startup+2.98208 s]
/proc/loadavg: 0.23 0.73 1.31 2/88 15197
/proc/meminfo: memFree=1587680/2055920 swapFree=4192812/4192956
[pid=15189] ppid=15187 vsize=915452 CPUtime=2.93
/proc/15189/stat : 15189 (java) R 15187 15189 14775 0 -1 0 8610 0 1 0 288 5 0 0 18 0 8 0 156491689 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15189/statm: 228863 8345 2513 14 0 215333 0
[pid=15189/tid=15191] ppid=15187 vsize=915452 CPUtime=0.02
/proc/15189/task/15191/stat : 15191 (java) S 15187 15189 14775 0 -1 64 243 0 0 0 2 0 0 0 17 0 8 0 156491693 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15189/tid=15192] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15192/stat : 15192 (java) S 15187 15189 14775 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156491694 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15193] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15193/stat : 15193 (java) S 15187 15189 14775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156491694 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15194] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15194/stat : 15194 (java) S 15187 15189 14775 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156491697 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15195] ppid=15187 vsize=915452 CPUtime=0.21
/proc/15189/task/15195/stat : 15195 (java) S 15187 15189 14775 0 -1 64 388 0 0 0 20 1 0 0 15 0 8 0 156491697 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15189/tid=15196] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15196/stat : 15196 (java) S 15187 15189 14775 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156491697 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15197] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15197/stat : 15197 (java) S 15187 15189 14775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491697 937422848 8345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.25842 s]
/proc/loadavg: 0.23 0.73 1.31 2/88 15197
/proc/meminfo: memFree=1587616/2055920 swapFree=4192812/4192956
[pid=15189] ppid=15187 vsize=915452 CPUtime=6.2
/proc/15189/stat : 15189 (java) R 15187 15189 14775 0 -1 0 8615 0 1 0 615 5 0 0 25 0 8 0 156491689 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15189/statm: 228863 8350 2513 14 0 215333 0
[pid=15189/tid=15191] ppid=15187 vsize=915452 CPUtime=0.02
/proc/15189/task/15191/stat : 15191 (java) S 15187 15189 14775 0 -1 64 243 0 0 0 2 0 0 0 16 0 8 0 156491693 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15189/tid=15192] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15192/stat : 15192 (java) S 15187 15189 14775 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156491694 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15193] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15193/stat : 15193 (java) S 15187 15189 14775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156491694 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15194] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15194/stat : 15194 (java) S 15187 15189 14775 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156491697 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15195] ppid=15187 vsize=915452 CPUtime=0.21
/proc/15189/task/15195/stat : 15195 (java) S 15187 15189 14775 0 -1 64 388 0 0 0 20 1 0 0 15 0 8 0 156491697 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15189/tid=15196] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15196/stat : 15196 (java) S 15187 15189 14775 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156491697 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15189/tid=15197] ppid=15187 vsize=915452 CPUtime=0
/proc/15189/task/15197/stat : 15197 (java) S 15187 15189 14775 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491697 937422848 8350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 6.96268
CPU time (s): 6.89095
CPU user time (s): 6.82696
CPU system time (s): 0.06399
CPU usage (%): 98.9698
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.82696
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8705
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= 950
involuntary context switches= 202
runsolver used 0.008998 s user time and 0.023996 s system time
The end
Begin job on node17 on Sat Jan 6 10:56:00 UTC 2007
IDJOB= 229265
IDBENCH= 6290
FILE ID= node17/229265-1168080955
PBS_JOBID= 3475871
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-61_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229265-1168080955/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-229265-1168080955 -o ROOT/results/node17/solver-229265-1168080955 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229265-1168080955/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f67e489be70d189637387992088e731a
RANDOM SEED= 414239823
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: 1610032 kB
Buffers: 47448 kB
Cached: 251412 kB
SwapCached: 0 kB
Active: 146264 kB
Inactive: 210888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1610032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 77300 kB
Slab: 73896 kB
Committed_AS: 3827288 kB
PageTables: 2076 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= 66320 MiB
End job on node17 on Sat Jan 6 10:56:29 UTC 2007