0.32
0.32 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/225109-1168270886/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.43 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.62
0.62 constraints being loaded...
0.72 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.72 => wckTime=0.388 cpuTime=0.33 mem=21M606
0.77
0.77 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.615 cpuTime=0.48 mem=15M362
1.00
1.00 preprocessing
1.00 nbConstraintChecks=152153 nbPropagations=983 nbRevisions=3526 nbUselessRevisions=2087 nbSingletonTests=51
1.00 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.00 => wckTime=0.053 cpuTime=0.03 mem=15M362
1.03
1.03 search
1.03 run=0 nbConstraintChecks=97216 nbPropagations=1838 nbRevisions=7045 nbUselessRevisions=4058 nbAssignments=44
1.03 nbFailedAssignments=27 nbBacktracks=11 nbVisitedNodes=79 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.083 cpuTime=0.05 mem=15M362
1.06
1.06 search
1.06 run=1 nbConstraintChecks=331578 nbPropagations=5534 nbRevisions=22223 nbUselessRevisions=12478
1.06 nbAssignments=123 nbFailedAssignments=77 nbBacktracks=26 nbVisitedNodes=213 nbRestartNogoods=3 mapSize=23
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.115 cpuTime=0.08 mem=15M362
1.09
1.09 search
1.09 run=2 nbConstraintChecks=486466 nbPropagations=10637 nbRevisions=43579 nbUselessRevisions=24210
1.09 nbAssignments=184 nbFailedAssignments=109 nbBacktracks=48 nbVisitedNodes=320 nbRestartNogoods=7 mapSize=44
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.138 cpuTime=0.1 mem=15M362
1.14
1.14 search
1.14 run=3 nbConstraintChecks=989554 nbPropagations=19621 nbRevisions=82440 nbUselessRevisions=45149
1.14 nbAssignments=347 nbFailedAssignments=210 nbBacktracks=81 nbVisitedNodes=592 nbRestartNogoods=17 mapSize=76
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.193 cpuTime=0.14 mem=15M362
1.21
1.21 search
1.21 run=4 nbConstraintChecks=1642875 nbPropagations=34315 nbRevisions=146099 nbUselessRevisions=79776
1.21 nbAssignments=625 nbFailedAssignments=399 nbBacktracks=133 nbVisitedNodes=1070 nbRestartNogoods=27 mapSize=126
1.21 nbInferences=2 nbTooLargeKeys=0
1.21 => wckTime=0.259 cpuTime=0.21 mem=15M362
1.30
1.30 search
1.30 run=5 nbConstraintChecks=2606692 nbPropagations=56893 nbRevisions=245558 nbUselessRevisions=133746
1.30 nbAssignments=968 nbFailedAssignments=657 nbBacktracks=209 nbVisitedNodes=1737 nbRestartNogoods=30 mapSize=199
1.30 nbInferences=2 nbTooLargeKeys=0
1.30 => wckTime=0.352 cpuTime=0.29 mem=15M362
1.38
1.38 search
1.38 run=6 nbConstraintChecks=3371513 nbPropagations=86484 nbRevisions=375593 nbUselessRevisions=204242
1.38 nbAssignments=1337 nbFailedAssignments=906 nbBacktracks=324 nbVisitedNodes=2422 nbRestartNogoods=35
1.38 mapSize=297 nbInferences=2 nbTooLargeKeys=0
1.38 => wckTime=0.43 cpuTime=0.37 mem=15M362
1.59
1.59 search
1.59 run=7 nbConstraintChecks=5656437 nbPropagations=133869 nbRevisions=587908 nbUselessRevisions=318593
1.59 nbAssignments=2075 nbFailedAssignments=1461 nbBacktracks=494 nbVisitedNodes=3860 nbRestartNogoods=43
1.59 mapSize=459 nbInferences=2 nbTooLargeKeys=0
1.59 => wckTime=0.645 cpuTime=0.57 mem=15M362
1.75
1.75 search
1.75 run=8 nbConstraintChecks=7355080 nbPropagations=196981 nbRevisions=868044 nbUselessRevisions=469631
1.75 nbAssignments=2803 nbFailedAssignments=1918 nbBacktracks=750 nbVisitedNodes=5198 nbRestartNogoods=56
1.75 mapSize=666 nbInferences=4 nbTooLargeKeys=0
1.75 => wckTime=0.804 cpuTime=0.72 mem=15M362
2.09
2.09 search
2.09 run=9 nbConstraintChecks=11440568 nbPropagations=292709 nbRevisions=1294173 nbUselessRevisions=698137
2.09 nbAssignments=4083 nbFailedAssignments=2803 nbBacktracks=1135 nbVisitedNodes=7665 nbRestartNogoods=65
2.09 mapSize=1012 nbInferences=4 nbTooLargeKeys=0
2.09 => wckTime=1.139 cpuTime=1.05 mem=16M337
2.10
2.10 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=16M337)
2.45
2.45 search
2.45 run=10 nbConstraintChecks=15701315 nbPropagations=425691 nbRevisions=1886310 nbUselessRevisions=1017981
2.45 nbAssignments=5987 nbFailedAssignments=4118 nbBacktracks=1712 nbVisitedNodes=11174 nbRestartNogoods=77
2.45 => wckTime=1.501 cpuTime=1.4 mem=16M337
3.17
3.17 search
3.17 run=11 nbConstraintChecks=24630232 nbPropagations=632939 nbRevisions=2820618 nbUselessRevisions=1519648
3.17 nbAssignments=8886 nbFailedAssignments=6148 nbBacktracks=2576 nbVisitedNodes=16799 nbRestartNogoods=84
3.17 => wckTime=2.225 cpuTime=2.12 mem=16M337
4.07
4.07 search
4.07 run=12 nbConstraintChecks=35578773 nbPropagations=934886 nbRevisions=4184373 nbUselessRevisions=2255867
4.07 nbAssignments=13412 nbFailedAssignments=9343 nbBacktracks=3873 nbVisitedNodes=25290 nbRestartNogoods=106
4.07 => wckTime=3.122 cpuTime=3.01 mem=16M337
5.60
5.60 search
5.60 run=13 nbConstraintChecks=54751410 nbPropagations=1392389 nbRevisions=6261108 nbUselessRevisions=3375438
5.60 nbAssignments=19781 nbFailedAssignments=13756 nbBacktracks=5821 nbVisitedNodes=37456 nbRestartNogoods=114
5.60 => wckTime=4.654 cpuTime=4.54 mem=16M337
8.08
8.08 search
8.08 run=14 nbConstraintChecks=85675059 nbPropagations=2093818 nbRevisions=9480274 nbUselessRevisions=5110778
8.08 nbAssignments=29960 nbFailedAssignments=21013 nbBacktracks=8740 nbVisitedNodes=56999 nbRestartNogoods=120
8.08 => wckTime=7.129 cpuTime=7.0 mem=16M337
8.22
8.22 search
8.22 run=15 nbConstraintChecks=87436729 nbPropagations=2812030 nbRevisions=12772964 nbUselessRevisions=6886708
8.22 nbAssignments=30824 nbFailedAssignments=21504 nbBacktracks=9073 nbVisitedNodes=58532 nbRestartNogoods=121
8.22 => wckTime=7.274 cpuTime=7.14 mem=16M337
8.22
8.22 global
8.22 nbConstraintChecks=87588882 nbPropagations=2813013 nbRevisions=12776490 nbUselessRevisions=6888795
8.22 nbRestartNogoods=121 solvingWckTime=7.276 solvingCpuTime=7.15 expiredTime=no totalExploration=no
8.22 nbFoundSolutions=1 globalCpuTime=7.68
8.22 => wckTime=7.896 cpuTime=7.63 mem=16M337
8.23
8.23 s SATISFIABLE
8.23 v 78 37 51 57 55 37 63 52 71 0 70 27 36 11 70 41 8 25 64 45 23 66 19 9 55 33 62 33 51 55 33 71 32 33 40 27 30 23 5 15
8.23 d NODES 30824
8.23 d CHECKS 87588882
8.23
8.23 totalWckTime=7.978 totalCpuTime=7.68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-225109-1168270886 -o ROOT/results/node62/solver-225109-1168270886 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225109-1168270886/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: 2.66 2.20 2.02 4/81 3570
/proc/meminfo: memFree=1598800/2055920 swapFree=4192812/4192956
[pid=3569] ppid=3567 vsize=18540 CPUtime=0
/proc/3569/stat : 3569 (runsolver) R 3567 3569 3298 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 175486432 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3569/statm: 4635 279 244 17 0 2626 0
[startup+0.108659 s]
/proc/loadavg: 2.66 2.20 2.02 4/81 3570
/proc/meminfo: memFree=1598800/2055920 swapFree=4192812/4192956
[pid=3569] ppid=3567 vsize=913236 CPUtime=0.08
/proc/3569/stat : 3569 (java) R 3567 3569 3298 0 -1 0 2919 0 1 0 7 1 0 0 18 0 8 0 175486432 935153664 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155090176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3569/statm: 228309 2665 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.51874 s]
/proc/loadavg: 2.66 2.20 2.02 4/81 3570
/proc/meminfo: memFree=1598800/2055920 swapFree=4192812/4192956
[pid=3569] ppid=3567 vsize=915328 CPUtime=0.49
/proc/3569/stat : 3569 (java) R 3567 3569 3298 0 -1 0 7166 0 1 0 45 4 0 0 18 0 8 0 175486432 937295872 6905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3569/statm: 228832 6905 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33989 s]
/proc/loadavg: 2.66 2.20 2.02 4/88 3577
/proc/meminfo: memFree=1561880/2055920 swapFree=4192812/4192956
[pid=3569] ppid=3567 vsize=915464 CPUtime=1.3
/proc/3569/stat : 3569 (java) R 3567 3569 3298 0 -1 0 10545 0 1 0 123 7 0 0 25 0 8 0 175486432 937435136 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3569/statm: 228866 10283 2524 14 0 215336 0
[pid=3569/tid=3571] ppid=3567 vsize=915464 CPUtime=0.04
/proc/3569/task/3571/stat : 3571 (java) S 3567 3569 3298 0 -1 64 352 0 0 0 4 0 0 0 16 0 8 0 175486436 937435136 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3572] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3572/stat : 3572 (java) S 3567 3569 3298 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175486437 937435136 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3573] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3573/stat : 3573 (java) S 3567 3569 3298 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175486437 937435136 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3574] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3574/stat : 3574 (java) S 3567 3569 3298 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175486440 937435136 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3575] ppid=3567 vsize=915464 CPUtime=0.18
/proc/3569/task/3575/stat : 3575 (java) S 3567 3569 3298 0 -1 64 363 0 0 0 18 0 0 0 15 0 8 0 175486440 937435136 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3576] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3576/stat : 3576 (java) S 3567 3569 3298 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175486440 937435136 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3577] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3577/stat : 3577 (java) S 3567 3569 3298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175486440 937435136 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97721 s]
/proc/loadavg: 2.68 2.22 2.02 4/88 3577
/proc/meminfo: memFree=1565528/2055920 swapFree=4192812/4192956
[pid=3569] ppid=3567 vsize=915464 CPUtime=2.94
/proc/3569/stat : 3569 (java) R 3567 3569 3298 0 -1 0 10560 0 1 0 286 8 0 0 25 0 8 0 175486432 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3569/statm: 228866 10297 2524 14 0 215336 0
[pid=3569/tid=3571] ppid=3567 vsize=915464 CPUtime=0.04
/proc/3569/task/3571/stat : 3571 (java) S 3567 3569 3298 0 -1 64 352 0 0 0 4 0 0 0 16 0 8 0 175486436 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3572] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3572/stat : 3572 (java) S 3567 3569 3298 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175486437 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3573] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3573/stat : 3573 (java) S 3567 3569 3298 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175486437 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3574] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3574/stat : 3574 (java) S 3567 3569 3298 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175486440 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3575] ppid=3567 vsize=915464 CPUtime=0.22
/proc/3569/task/3575/stat : 3575 (java) S 3567 3569 3298 0 -1 64 377 0 0 0 21 1 0 0 16 0 8 0 175486440 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3576] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3576/stat : 3576 (java) S 3567 3569 3298 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175486440 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3577] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3577/stat : 3577 (java) S 3567 3569 3298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175486440 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27686 s]
/proc/loadavg: 2.68 2.22 2.02 4/88 3577
/proc/meminfo: memFree=1562776/2055920 swapFree=4192812/4192956
[pid=3569] ppid=3567 vsize=915464 CPUtime=6.22
/proc/3569/stat : 3569 (java) R 3567 3569 3298 0 -1 0 10560 0 1 0 614 8 0 0 25 0 8 0 175486432 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730302 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3569/statm: 228866 10297 2524 14 0 215336 0
[pid=3569/tid=3571] ppid=3567 vsize=915464 CPUtime=0.04
/proc/3569/task/3571/stat : 3571 (java) S 3567 3569 3298 0 -1 64 352 0 0 0 4 0 0 0 16 0 8 0 175486436 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3572] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3572/stat : 3572 (java) S 3567 3569 3298 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175486437 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3573] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3573/stat : 3573 (java) S 3567 3569 3298 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175486437 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3574] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3574/stat : 3574 (java) S 3567 3569 3298 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175486440 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3575] ppid=3567 vsize=915464 CPUtime=0.22
/proc/3569/task/3575/stat : 3575 (java) S 3567 3569 3298 0 -1 64 377 0 0 0 21 1 0 0 16 0 8 0 175486440 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3576] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3576/stat : 3576 (java) S 3567 3569 3298 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175486440 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3569/tid=3577] ppid=3567 vsize=915464 CPUtime=0
/proc/3569/task/3577/stat : 3577 (java) S 3567 3569 3298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175486440 937435136 10297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 8.27392
CPU time (s): 8.17876
CPU user time (s): 8.08977
CPU system time (s): 0.088986
CPU usage (%): 98.8499
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.08977
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10570
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= 1195
involuntary context switches= 1427
runsolver used 0.012998 s user time and 0.034994 s system time
The end
Begin job on node62 on Mon Jan 8 15:41:27 UTC 2007
IDJOB= 225109
IDBENCH= 5824
FILE ID= node62/225109-1168270886
PBS_JOBID= 3482960
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225109-1168270886/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-225109-1168270886 -o ROOT/results/node62/solver-225109-1168270886 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225109-1168270886/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 69c65ceb289035dd338a5f17db398263
RANDOM SEED= 163656123
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.259
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.259
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: 1599032 kB
Buffers: 28620 kB
Cached: 142740 kB
SwapCached: 0 kB
Active: 323916 kB
Inactive: 81208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1599032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2400 kB
Writeback: 0 kB
Mapped: 250536 kB
Slab: 36424 kB
Committed_AS: 4133896 kB
PageTables: 2360 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= 66552 MiB
End job on node62 on Mon Jan 8 15:41:35 UTC 2007