0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/224375-1168268655/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.43 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.60
0.60 constraints being loaded...
0.70 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.70 => wckTime=0.374 cpuTime=0.31 mem=21M601
0.74
0.74 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.586 cpuTime=0.45 mem=15M362
0.97
0.97 preprocessing
0.97 nbConstraintChecks=188800 nbPropagations=1021 nbRevisions=3559 nbUselessRevisions=2017 nbSingletonTests=54
0.97 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=0 detectedInconsistency=no
0.97 => wckTime=0.057 cpuTime=0.03 mem=15M362
1.00
1.00 search
1.00 run=0 nbConstraintChecks=85850 nbPropagations=1696 nbRevisions=6623 nbUselessRevisions=3656 nbAssignments=22
1.00 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.084 cpuTime=0.05 mem=15M362
1.02
1.02 search
1.02 run=1 nbConstraintChecks=279951 nbPropagations=4749 nbRevisions=19848 nbUselessRevisions=10716
1.02 nbAssignments=62 nbFailedAssignments=33 nbBacktracks=26 nbVisitedNodes=117 nbRestartNogoods=1 mapSize=25
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.11 cpuTime=0.07 mem=15M362
1.05
1.05 search
1.05 run=2 nbConstraintChecks=461718 nbPropagations=9118 nbRevisions=39314 nbUselessRevisions=21091
1.05 nbAssignments=107 nbFailedAssignments=54 nbBacktracks=48 nbVisitedNodes=196 nbRestartNogoods=3 mapSize=43
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.133 cpuTime=0.09 mem=15M362
1.07
1.07 search
1.07 run=3 nbConstraintChecks=682634 nbPropagations=15181 nbRevisions=66558 nbUselessRevisions=35589
1.07 nbAssignments=174 nbFailedAssignments=83 nbBacktracks=81 nbVisitedNodes=302 nbRestartNogoods=7 mapSize=66
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.158 cpuTime=0.11 mem=15M362
1.12
1.12 search
1.12 run=4 nbConstraintChecks=1151233 nbPropagations=24914 nbRevisions=111083 nbUselessRevisions=59338
1.12 nbAssignments=293 nbFailedAssignments=148 nbBacktracks=131 nbVisitedNodes=524 nbRestartNogoods=8 mapSize=111
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.203 cpuTime=0.15 mem=15M362
1.17
1.17 search
1.17 run=5 nbConstraintChecks=1672832 nbPropagations=38725 nbRevisions=174177 nbUselessRevisions=92889
1.17 nbAssignments=439 nbFailedAssignments=210 nbBacktracks=210 nbVisitedNodes=772 nbRestartNogoods=15 mapSize=172
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.257 cpuTime=0.2 mem=15M362
1.30
1.30 search
1.31 run=6 nbConstraintChecks=3254373 nbPropagations=63637 nbRevisions=291353 nbUselessRevisions=155349
1.31 nbAssignments=830 nbFailedAssignments=485 nbBacktracks=323 nbVisitedNodes=1528 nbRestartNogoods=20 mapSize=279
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.393 cpuTime=0.33 mem=15M362
1.46
1.46 search
1.46 run=7 nbConstraintChecks=5033707 nbPropagations=101019 nbRevisions=468961 nbUselessRevisions=250460
1.46 nbAssignments=1234 nbFailedAssignments=717 nbBacktracks=493 nbVisitedNodes=2288 nbRestartNogoods=32
1.46 mapSize=427 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.544 cpuTime=0.48 mem=15M362
1.65
1.65 search
1.65 run=8 nbConstraintChecks=7246576 nbPropagations=154655 nbRevisions=724521 nbUselessRevisions=387766
1.65 nbAssignments=1782 nbFailedAssignments=1000 nbBacktracks=749 nbVisitedNodes=3287 nbRestartNogoods=43
1.65 mapSize=648 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.739 cpuTime=0.66 mem=15M362
2.09
2.09 search
2.09 run=9 nbConstraintChecks=12945858 nbPropagations=246213 nbRevisions=1165562 nbUselessRevisions=625526
2.09 nbAssignments=3119 nbFailedAssignments=1950 nbBacktracks=1134 nbVisitedNodes=5879 nbRestartNogoods=49
2.09 mapSize=1018 nbInferences=0 nbTooLargeKeys=0
2.09 => wckTime=1.18 cpuTime=1.09 mem=16M337
2.11
2.11 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=16M337)
2.53
2.53 search
2.53 run=10 nbConstraintChecks=18745507 nbPropagations=376798 nbRevisions=1795429 nbUselessRevisions=966302
2.53 nbAssignments=4515 nbFailedAssignments=2756 nbBacktracks=1710 nbVisitedNodes=8457 nbRestartNogoods=69
2.53 => wckTime=1.617 cpuTime=1.52 mem=16M337
3.36
3.36 search
3.36 run=11 nbConstraintChecks=29758646 nbPropagations=581724 nbRevisions=2801564 nbUselessRevisions=1508313
3.36 nbAssignments=6951 nbFailedAssignments=4322 nbBacktracks=2577 nbVisitedNodes=13118 nbRestartNogoods=71
3.36 => wckTime=2.448 cpuTime=2.34 mem=16M337
4.20
4.20 search
4.20 run=12 nbConstraintChecks=41067052 nbPropagations=867310 nbRevisions=4189759 nbUselessRevisions=2256227
4.20 nbAssignments=9668 nbFailedAssignments=5735 nbBacktracks=3875 nbVisitedNodes=18088 nbRestartNogoods=76
4.20 => wckTime=3.29 cpuTime=3.17 mem=16M337
5.77
5.77 search
5.77 run=13 nbConstraintChecks=61616939 nbPropagations=1301331 nbRevisions=6304529 nbUselessRevisions=3391702
5.77 nbAssignments=14584 nbFailedAssignments=8702 nbBacktracks=5822 nbVisitedNodes=27283 nbRestartNogoods=77
5.77 => wckTime=4.855 cpuTime=4.72 mem=16M337
8.34
8.34 search
8.34 run=14 nbConstraintChecks=96374718 nbPropagations=1970839 nbRevisions=9595133 nbUselessRevisions=5158332
8.34 nbAssignments=22584 nbFailedAssignments=13780 nbBacktracks=8742 nbVisitedNodes=42528 nbRestartNogoods=89
8.34 => wckTime=7.426 cpuTime=7.27 mem=16M337
8.69
8.70 search
8.70 run=15 nbConstraintChecks=101327136 nbPropagations=2671822 nbRevisions=13039295 nbUselessRevisions=7008135
8.70 nbAssignments=23682 nbFailedAssignments=14367 nbBacktracks=9212 nbVisitedNodes=44531 nbRestartNogoods=97
8.70 => wckTime=7.783 cpuTime=7.62 mem=16M337
8.70
8.70 global
8.70 nbConstraintChecks=101515936 nbPropagations=2672843 nbRevisions=13042854 nbUselessRevisions=7010152
8.70 nbRestartNogoods=97 solvingWckTime=7.784 solvingCpuTime=7.62 expiredTime=no totalExploration=no
8.70 nbFoundSolutions=1 globalCpuTime=8.12
8.70 => wckTime=8.375 cpuTime=8.07 mem=16M337
8.70
8.70 s SATISFIABLE
8.70 v 62 39 7 6 67 10 76 71 4 36 32 10 60 11 17 75 50 36 56 54 76 1 34 76 63 26 75 65 72 46 79 76 55 0 38 8 14 36 0 46
8.70 d NODES 23682
8.70 d CHECKS 101515936
8.70
8.70 totalWckTime=8.455 totalCpuTime=8.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-224375-1168268655 -o ROOT/results/node16/solver-224375-1168268655 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224375-1168268655/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.99 1.97 1.90 4/86 30373
/proc/meminfo: memFree=1662304/2055920 swapFree=4191880/4192956
[pid=30372] ppid=30370 vsize=18540 CPUtime=0
/proc/30372/stat : 30372 (runsolver) R 30370 30372 29495 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 175260323 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30372/statm: 4635 279 244 17 0 2626 0
[startup+0.107719 s]
/proc/loadavg: 1.99 1.97 1.90 4/86 30373
/proc/meminfo: memFree=1662304/2055920 swapFree=4191880/4192956
[pid=30372] ppid=30370 vsize=914988 CPUtime=0.08
/proc/30372/stat : 30372 (java) R 30370 30372 29495 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 175260323 936947712 2698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153557043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30372/statm: 228747 2698 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515643 s]
/proc/loadavg: 1.99 1.97 1.90 4/86 30373
/proc/meminfo: memFree=1662304/2055920 swapFree=4191880/4192956
[pid=30372] ppid=30370 vsize=915328 CPUtime=0.48
/proc/30372/stat : 30372 (java) R 30370 30372 29495 0 -1 0 7276 0 1 0 44 4 0 0 18 0 8 0 175260323 937295872 7015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30372/statm: 228832 7015 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33649 s]
/proc/loadavg: 1.99 1.97 1.90 3/93 30380
/proc/meminfo: memFree=1631016/2055920 swapFree=4191880/4192956
[pid=30372] ppid=30370 vsize=915464 CPUtime=1.29
/proc/30372/stat : 30372 (java) R 30370 30372 29495 0 -1 0 10543 0 1 0 122 7 0 0 24 0 8 0 175260323 937435136 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30372/statm: 228866 10281 2524 14 0 215336 0
[pid=30372/tid=30374] ppid=30370 vsize=915464 CPUtime=0.03
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29495 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 175260327 937435136 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29495 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175260327 937435136 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29495 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175260327 937435136 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29495 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175260331 937435136 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915464 CPUtime=0.19
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29495 0 -1 64 360 0 0 0 18 1 0 0 15 0 8 0 175260331 937435136 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29495 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175260331 937435136 10281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29495 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175260331 937435136 10281 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) 915464
[startup+2.97319 s]
/proc/loadavg: 1.99 1.97 1.90 3/93 30380
/proc/meminfo: memFree=1630824/2055920 swapFree=4191880/4192956
[pid=30372] ppid=30370 vsize=915464 CPUtime=2.91
/proc/30372/stat : 30372 (java) R 30370 30372 29495 0 -1 0 10559 0 1 0 284 7 0 0 25 0 8 0 175260323 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30372/statm: 228866 10296 2524 14 0 215336 0
[pid=30372/tid=30374] ppid=30370 vsize=915464 CPUtime=0.03
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29495 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 175260327 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29495 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175260327 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29495 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175260327 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29495 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175260331 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915464 CPUtime=0.22
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29495 0 -1 64 375 0 0 0 21 1 0 0 16 0 8 0 175260331 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29495 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175260331 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29495 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175260331 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915464
[startup+6.1736 s]
/proc/loadavg: 1.99 1.97 1.90 3/93 30380
/proc/meminfo: memFree=1630824/2055920 swapFree=4191880/4192956
[pid=30372] ppid=30370 vsize=915464 CPUtime=6.08
/proc/30372/stat : 30372 (java) R 30370 30372 29495 0 -1 0 10564 0 1 0 601 7 0 0 25 0 8 0 175260323 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30372/statm: 228866 10298 2524 14 0 215336 0
[pid=30372/tid=30374] ppid=30370 vsize=915464 CPUtime=0.03
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29495 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 175260327 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29495 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175260327 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29495 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175260327 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29495 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175260331 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915464 CPUtime=0.22
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29495 0 -1 64 378 0 0 0 21 1 0 0 16 0 8 0 175260331 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29495 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175260331 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915464 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29495 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175260331 937435136 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 8.73696
CPU time (s): 8.61269
CPU user time (s): 8.5257
CPU system time (s): 0.086986
CPU usage (%): 98.5777
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.5257
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10571
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= 1215
involuntary context switches= 1681
runsolver used 0.014997 s user time and 0.037994 s system time
The end
Begin job on node16 on Mon Jan 8 15:04:15 UTC 2007
IDJOB= 224375
IDBENCH= 5746
FILE ID= node16/224375-1168268655
PBS_JOBID= 3482896
Free space on /tmp= 66517 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224375-1168268655/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-224375-1168268655 -o ROOT/results/node16/solver-224375-1168268655 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224375-1168268655/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 849eb99cd74df5d7b13bdfaa3ecfd99e
RANDOM SEED= 553044816
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.220
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.220
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: 1662784 kB
Buffers: 72076 kB
Cached: 215252 kB
SwapCached: 448 kB
Active: 188896 kB
Inactive: 150840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1662784 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2424 kB
Writeback: 0 kB
Mapped: 73996 kB
Slab: 38200 kB
Committed_AS: 4903628 kB
PageTables: 2324 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= 66517 MiB
End job on node16 on Mon Jan 8 15:04:24 UTC 2007