0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/224432-1168080521/unknown.xml
0.46
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.50 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.50 => wckTime=0.102 cpuTime=0.1 mem=6M951
0.50
0.50 relations being loaded...
0.68
0.68 constraints being loaded...
0.76 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.76 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.76 => wckTime=0.369 cpuTime=0.32 mem=21M596
0.80
0.80 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.554 cpuTime=0.44 mem=15M148
0.95
0.95 preprocessing
0.95 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.95 detectedInconsistency=no
0.95 => wckTime=0.0020 cpuTime=0.0 mem=15M148
1.00
1.00 search
1.01 run=0 nbConstraintChecks=87976 nbPropagations=695 nbRevisions=2785 nbUselessRevisions=1531 nbAssignments=25
1.01 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.052 cpuTime=0.04 mem=15M148
1.04
1.04 search
1.04 run=1 nbConstraintChecks=305172 nbPropagations=2946 nbRevisions=13071 nbUselessRevisions=7171 nbAssignments=86
1.04 nbFailedAssignments=54 nbBacktracks=25 nbVisitedNodes=158 nbRestartNogoods=2 mapSize=22 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.084 cpuTime=0.06 mem=15M148
1.06
1.06 search
1.06 run=2 nbConstraintChecks=535208 nbPropagations=7027 nbRevisions=31595 nbUselessRevisions=17156
1.06 nbAssignments=138 nbFailedAssignments=80 nbBacktracks=47 nbVisitedNodes=253 nbRestartNogoods=7 mapSize=42
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.11 cpuTime=0.08 mem=15M148
1.09
1.09 search
1.09 run=3 nbConstraintChecks=847472 nbPropagations=13492 nbRevisions=60973 nbUselessRevisions=32830
1.09 nbAssignments=213 nbFailedAssignments=119 nbBacktracks=81 nbVisitedNodes=389 nbRestartNogoods=12 mapSize=72
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.14 cpuTime=0.11 mem=15M148
1.14
1.14 search
1.14 run=4 nbConstraintChecks=1459337 nbPropagations=24311 nbRevisions=111865 nbUselessRevisions=60410
1.14 nbAssignments=381 nbFailedAssignments=234 nbBacktracks=132 nbVisitedNodes=710 nbRestartNogoods=16 mapSize=120
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.193 cpuTime=0.16 mem=15M148
1.20
1.20 search
1.20 run=5 nbConstraintChecks=2084493 nbPropagations=40063 nbRevisions=184485 nbUselessRevisions=99551
1.20 nbAssignments=542 nbFailedAssignments=319 nbBacktracks=207 nbVisitedNodes=1003 nbRestartNogoods=19 mapSize=187
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.244 cpuTime=0.21 mem=15M148
1.29
1.29 search
1.29 run=6 nbConstraintChecks=3293297 nbPropagations=64154 nbRevisions=299156 nbUselessRevisions=162070
1.29 nbAssignments=852 nbFailedAssignments=515 nbBacktracks=320 nbVisitedNodes=1592 nbRestartNogoods=25 mapSize=293
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.341 cpuTime=0.31 mem=15M148
1.39
1.39 search
1.39 run=7 nbConstraintChecks=4483773 nbPropagations=97507 nbRevisions=456692 nbUselessRevisions=247796
1.39 nbAssignments=1182 nbFailedAssignments=672 nbBacktracks=491 nbVisitedNodes=2177 nbRestartNogoods=29
1.39 mapSize=434 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.441 cpuTime=0.4 mem=15M148
1.59
1.59 search
1.59 run=8 nbConstraintChecks=6949922 nbPropagations=147778 nbRevisions=693935 nbUselessRevisions=376645
1.59 nbAssignments=1797 nbFailedAssignments=1026 nbBacktracks=749 nbVisitedNodes=3318 nbRestartNogoods=47
1.59 mapSize=666 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.637 cpuTime=0.58 mem=15M148
1.89
1.89 search
1.89 run=9 nbConstraintChecks=11079754 nbPropagations=227642 nbRevisions=1077505 nbUselessRevisions=585189
1.89 nbAssignments=2874 nbFailedAssignments=1712 nbBacktracks=1133 nbVisitedNodes=5361 nbRestartNogoods=50
1.89 mapSize=1012 nbInferences=3 nbTooLargeKeys=0
1.89 => wckTime=0.942 cpuTime=0.88 mem=16M123
1.91
1.91 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=16M123)
2.25
2.25 search
2.25 run=10 nbConstraintChecks=16126403 nbPropagations=344430 nbRevisions=1631410 nbUselessRevisions=885554
2.25 nbAssignments=4137 nbFailedAssignments=2396 nbBacktracks=1709 nbVisitedNodes=7687 nbRestartNogoods=57
2.25 => wckTime=1.302 cpuTime=1.24 mem=16M123
2.80
2.80 search
2.80 run=11 nbConstraintChecks=23998890 nbPropagations=519213 nbRevisions=2457821 nbUselessRevisions=1333188
2.80 nbAssignments=6136 nbFailedAssignments=3526 nbBacktracks=2573 nbVisitedNodes=11382 nbRestartNogoods=63
2.80 => wckTime=1.851 cpuTime=1.78 mem=16M123
3.74
3.74 search
3.74 run=12 nbConstraintChecks=37585860 nbPropagations=785698 nbRevisions=3721725 nbUselessRevisions=2015421
3.74 nbAssignments=9214 nbFailedAssignments=5303 nbBacktracks=3872 nbVisitedNodes=17164 nbRestartNogoods=78
3.74 => wckTime=2.787 cpuTime=2.72 mem=16M123
4.92
4.92 search
4.92 run=13 nbConstraintChecks=54579439 nbPropagations=1169509 nbRevisions=5540559 nbUselessRevisions=2996456
4.92 nbAssignments=13255 nbFailedAssignments=7395 nbBacktracks=5818 nbVisitedNodes=24522 nbRestartNogoods=86
4.92 => wckTime=3.965 cpuTime=3.89 mem=16M123
6.63
6.63 search
6.63 run=14 nbConstraintChecks=79637273 nbPropagations=1725230 nbRevisions=8177459 nbUselessRevisions=4421986
6.63 nbAssignments=19259 nbFailedAssignments=10478 nbBacktracks=8738 nbVisitedNodes=35473 nbRestartNogoods=94
6.63 => wckTime=5.681 cpuTime=5.61 mem=16M123
9.17
9.17 search
9.17 run=15 nbConstraintChecks=116790963 nbPropagations=2533722 nbRevisions=12029258 nbUselessRevisions=6511200
9.17 nbAssignments=28081 nbFailedAssignments=14919 nbBacktracks=13118 nbVisitedNodes=51407 nbRestartNogoods=98
9.17 => wckTime=8.22 cpuTime=8.14 mem=16M123
9.22
9.22 search
9.22 run=16 nbConstraintChecks=117497235 nbPropagations=3346439 nbRevisions=15902382 nbUselessRevisions=8611912
9.22 nbAssignments=28220 nbFailedAssignments=14988 nbBacktracks=13189 nbVisitedNodes=51660 nbRestartNogoods=101
9.22 => wckTime=8.269 cpuTime=8.19 mem=16M123
9.22
9.22 global
9.22 nbConstraintChecks=117497235 nbPropagations=3346479 nbRevisions=15902382 nbUselessRevisions=8611912
9.22 nbRestartNogoods=101 solvingWckTime=8.269 solvingCpuTime=8.19 expiredTime=no totalExploration=yes
9.22 nbFoundSolutions=0 globalCpuTime=8.68
9.22 => wckTime=8.827 cpuTime=8.63 mem=16M123
9.22
9.22 s UNSATISFIABLE
9.22 d NODES 28220
9.22 d CHECKS 117497235
9.22
9.22 totalWckTime=8.907 totalCpuTime=8.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-224432-1168080521 -o ROOT/results/node72/solver-224432-1168080521 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224432-1168080521/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.80 1.96 1.91 3/93 1337
/proc/meminfo: memFree=1182176/2055920 swapFree=4192812/4192956
[pid=1336] ppid=1334 vsize=18540 CPUtime=0
/proc/1336/stat : 1336 (runsolver) R 1334 1336 812 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156461308 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1336/statm: 4635 279 244 17 0 2626 0
[startup+0.102863 s]
/proc/loadavg: 1.80 1.96 1.91 3/93 1337
/proc/meminfo: memFree=1182176/2055920 swapFree=4192812/4192956
[pid=1336] ppid=1334 vsize=914852 CPUtime=0.08
/proc/1336/stat : 1336 (java) R 1334 1336 812 0 -1 0 2927 0 1 0 6 2 0 0 19 0 8 0 156461308 936808448 2673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151971218 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1336/statm: 228713 2673 1399 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852
[startup+0.514899 s]
/proc/loadavg: 1.80 1.96 1.91 3/93 1337
/proc/meminfo: memFree=1182176/2055920 swapFree=4192812/4192956
[pid=1336] ppid=1334 vsize=915328 CPUtime=0.41
/proc/1336/stat : 1336 (java) R 1334 1336 812 0 -1 0 6165 0 1 0 37 4 0 0 18 0 8 0 156461308 937295872 5904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1336/statm: 228832 5904 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.34297 s]
/proc/loadavg: 1.90 1.98 1.92 2/88 1346
/proc/meminfo: memFree=1417928/2055920 swapFree=4192812/4192956
[pid=1336] ppid=1334 vsize=915464 CPUtime=1.24
/proc/1336/stat : 1336 (java) R 1334 1336 812 0 -1 0 10523 0 1 0 117 7 0 0 16 0 8 0 156461308 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1336/statm: 228866 10261 2513 14 0 215336 0
[pid=1336/tid=1338] ppid=1334 vsize=915464 CPUtime=0.03
/proc/1336/task/1338/stat : 1338 (java) S 1334 1336 812 0 -1 64 351 0 0 0 3 0 0 0 17 0 8 0 156461313 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1339] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1339/stat : 1339 (java) S 1334 1336 812 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156461313 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1340] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1340/stat : 1340 (java) S 1334 1336 812 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156461313 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1341] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1341/stat : 1341 (java) S 1334 1336 812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156461317 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1342] ppid=1334 vsize=915464 CPUtime=0.16
/proc/1336/task/1342/stat : 1342 (java) S 1334 1336 812 0 -1 64 361 0 0 0 16 0 0 0 16 0 8 0 156461317 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1343] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1343/stat : 1343 (java) S 1334 1336 812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156461317 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1344] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1344/stat : 1344 (java) S 1334 1336 812 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156461317 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915464
[startup+2.98012 s]
/proc/loadavg: 1.90 1.98 1.92 2/88 1346
/proc/meminfo: memFree=1417864/2055920 swapFree=4192812/4192956
[pid=1336] ppid=1334 vsize=915464 CPUtime=2.87
/proc/1336/stat : 1336 (java) R 1334 1336 812 0 -1 0 10539 0 1 0 280 7 0 0 18 0 8 0 156461308 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1336/statm: 228866 10275 2513 14 0 215336 0
[pid=1336/tid=1338] ppid=1334 vsize=915464 CPUtime=0.03
/proc/1336/task/1338/stat : 1338 (java) S 1334 1336 812 0 -1 64 351 0 0 0 3 0 0 0 16 0 8 0 156461313 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1339] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1339/stat : 1339 (java) S 1334 1336 812 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156461313 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1340] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1340/stat : 1340 (java) S 1334 1336 812 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156461313 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1341] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1341/stat : 1341 (java) S 1334 1336 812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156461317 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1342] ppid=1334 vsize=915464 CPUtime=0.19
/proc/1336/task/1342/stat : 1342 (java) S 1334 1336 812 0 -1 64 375 0 0 0 19 0 0 0 16 0 8 0 156461317 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1343] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1343/stat : 1343 (java) S 1334 1336 812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156461317 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1344] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1344/stat : 1344 (java) S 1334 1336 812 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156461317 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915464
[startup+6.26042 s]
/proc/loadavg: 1.83 1.96 1.91 2/88 1354
/proc/meminfo: memFree=1417608/2055920 swapFree=4192812/4192956
[pid=1336] ppid=1334 vsize=915464 CPUtime=6.15
/proc/1336/stat : 1336 (java) R 1334 1336 812 0 -1 0 10543 0 1 0 608 7 0 0 19 0 8 0 156461308 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758346 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1336/statm: 228866 10276 2513 14 0 215336 0
[pid=1336/tid=1338] ppid=1334 vsize=915464 CPUtime=0.03
/proc/1336/task/1338/stat : 1338 (java) S 1334 1336 812 0 -1 64 351 0 0 0 3 0 0 0 16 0 8 0 156461313 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1339] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1339/stat : 1339 (java) S 1334 1336 812 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156461313 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1340] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1340/stat : 1340 (java) S 1334 1336 812 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156461313 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1341] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1341/stat : 1341 (java) S 1334 1336 812 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156461317 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1342] ppid=1334 vsize=915464 CPUtime=0.19
/proc/1336/task/1342/stat : 1342 (java) S 1334 1336 812 0 -1 64 377 0 0 0 19 0 0 0 16 0 8 0 156461317 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1343] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1343/stat : 1343 (java) S 1334 1336 812 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156461317 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1336/tid=1344] ppid=1334 vsize=915464 CPUtime=0
/proc/1336/task/1344/stat : 1344 (java) S 1334 1336 812 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156461317 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 9.26244
CPU time (s): 9.13661
CPU user time (s): 9.05062
CPU system time (s): 0.085986
CPU usage (%): 98.6415
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.05062
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10550
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= 1033
involuntary context switches= 459
runsolver used 0.010998 s user time and 0.038994 s system time
The end
Begin job on node72 on Sat Jan 6 10:48:42 UTC 2007
IDJOB= 224432
IDBENCH= 5750
FILE ID= node72/224432-1168080521
PBS_JOBID= 3476052
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-59_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224432-1168080521/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-224432-1168080521 -o ROOT/results/node72/solver-224432-1168080521 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224432-1168080521/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a0304a07a0b0e9f8b06498fd3145bec2
RANDOM SEED= 676451689
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.223
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.223
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: 1182464 kB
Buffers: 41816 kB
Cached: 443160 kB
SwapCached: 0 kB
Active: 421808 kB
Inactive: 378440 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1182464 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2552 kB
Writeback: 0 kB
Mapped: 344348 kB
Slab: 57252 kB
Committed_AS: 3422032 kB
PageTables: 2840 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= 66551 MiB
End job on node72 on Sat Jan 6 10:49:00 UTC 2007