0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/227870-1168278939/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.38 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.38
0.38 relations being loaded...
0.47
0.47 constraints being loaded...
0.64 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11890 maxDegree=39
0.64 maxArity=2
0.64 => wckTime=0.356 cpuTime=0.24 mem=11M848
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.549 cpuTime=0.36 mem=15M6
0.89
0.89 preprocessing
0.89 nbConstraintChecks=22587 nbPropagations=892 nbRevisions=5183 nbUselessRevisions=4138 nbSingletonTests=52
0.89 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.052 cpuTime=0.03 mem=15M6
0.91
0.91 search
0.91 run=0 nbConstraintChecks=12049 nbPropagations=1206 nbRevisions=9026 nbUselessRevisions=7404 nbAssignments=24
0.91 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.076 cpuTime=0.05 mem=15M6
0.93
0.93 search
0.93 run=1 nbConstraintChecks=32502 nbPropagations=2888 nbRevisions=24486 nbUselessRevisions=20332 nbAssignments=58
0.93 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=84 nbRestartNogoods=2 mapSize=19 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.095 cpuTime=0.06 mem=15M6
0.95
0.95 search
0.95 run=2 nbConstraintChecks=55391 nbPropagations=5080 nbRevisions=47630 nbUselessRevisions=39816 nbAssignments=97
0.95 nbFailedAssignments=24 nbBacktracks=47 nbVisitedNodes=144 nbRestartNogoods=6 mapSize=36 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.109 cpuTime=0.07 mem=15M6
0.97
0.97 search
0.97 run=3 nbConstraintChecks=88893 nbPropagations=7962 nbRevisions=82137 nbUselessRevisions=69147
0.97 nbAssignments=155 nbFailedAssignments=41 nbBacktracks=82 nbVisitedNodes=234 nbRestartNogoods=8 mapSize=63
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.13 cpuTime=0.08 mem=15M6
0.99
0.99 search
0.99 run=4 nbConstraintChecks=145596 nbPropagations=11975 nbRevisions=134820 nbUselessRevisions=113920
0.99 nbAssignments=236 nbFailedAssignments=63 nbBacktracks=134 nbVisitedNodes=366 nbRestartNogoods=9 mapSize=106
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.152 cpuTime=0.1 mem=15M6
1.02
1.02 search
1.02 run=5 nbConstraintChecks=214539 nbPropagations=17360 nbRevisions=210581 nbUselessRevisions=178561
1.02 nbAssignments=353 nbFailedAssignments=96 nbBacktracks=210 nbVisitedNodes=550 nbRestartNogoods=12 mapSize=165
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.184 cpuTime=0.13 mem=15M6
1.06
1.06 search
1.06 run=6 nbConstraintChecks=320812 nbPropagations=24800 nbRevisions=320964 nbUselessRevisions=272786
1.06 nbAssignments=513 nbFailedAssignments=137 nbBacktracks=325 nbVisitedNodes=810 nbRestartNogoods=16 mapSize=253
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.224 cpuTime=0.17 mem=15M6
1.12
1.12 search
1.12 run=7 nbConstraintChecks=495587 nbPropagations=35599 nbRevisions=488624 nbUselessRevisions=415950
1.12 nbAssignments=757 nbFailedAssignments=205 nbBacktracks=496 nbVisitedNodes=1211 nbRestartNogoods=17 mapSize=389
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.286 cpuTime=0.23 mem=15M6
1.21
1.21 search
1.21 run=8 nbConstraintChecks=730148 nbPropagations=50874 nbRevisions=732128 nbUselessRevisions=624038
1.21 nbAssignments=1118 nbFailedAssignments=302 nbBacktracks=755 nbVisitedNodes=1789 nbRestartNogoods=21
1.21 mapSize=584 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.373 cpuTime=0.32 mem=15M6
1.35
1.35 search
1.35 run=9 nbConstraintChecks=1083213 nbPropagations=72849 nbRevisions=1092076 nbUselessRevisions=931743
1.35 nbAssignments=1661 nbFailedAssignments=454 nbBacktracks=1139 nbVisitedNodes=2666 nbRestartNogoods=26
1.35 mapSize=884 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.512 cpuTime=0.44 mem=15M6
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=15M6)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=1665639 nbPropagations=105783 nbRevisions=1640868 nbUselessRevisions=1401095
1.54 nbAssignments=2498 nbFailedAssignments=707 nbBacktracks=1718 nbVisitedNodes=4046 nbRestartNogoods=29
1.54 => wckTime=0.704 cpuTime=0.62 mem=15M6
1.80
1.80 search
1.80 run=11 nbConstraintChecks=2524845 nbPropagations=154991 nbRevisions=2467682 nbUselessRevisions=2107840
1.80 nbAssignments=3755 nbFailedAssignments=1092 nbBacktracks=2584 nbVisitedNodes=6092 nbRestartNogoods=34
1.80 => wckTime=0.964 cpuTime=0.88 mem=15M6
2.15
2.15 search
2.15 run=12 nbConstraintChecks=3634658 nbPropagations=225700 nbRevisions=3672906 nbUselessRevisions=3141553
2.15 nbAssignments=5591 nbFailedAssignments=1614 nbBacktracks=3883 nbVisitedNodes=9012 nbRestartNogoods=41
2.15 => wckTime=1.31 cpuTime=1.22 mem=15M6
2.70
2.70 search
2.70 run=13 nbConstraintChecks=5517606 nbPropagations=331430 nbRevisions=5496852 nbUselessRevisions=4705845
2.70 nbAssignments=8374 nbFailedAssignments=2442 nbBacktracks=5832 nbVisitedNodes=13582 nbRestartNogoods=50
2.70 => wckTime=1.866 cpuTime=1.77 mem=15M6
3.46
3.46 search
3.46 run=14 nbConstraintChecks=7998210 nbPropagations=485279 nbRevisions=8159804 nbUselessRevisions=6993323
3.46 nbAssignments=12482 nbFailedAssignments=3620 nbBacktracks=8755 nbVisitedNodes=20182 nbRestartNogoods=59
3.46 => wckTime=2.626 cpuTime=2.53 mem=15M6
4.74
4.74 search
4.74 run=15 nbConstraintChecks=12239964 nbPropagations=718479 nbRevisions=12220025 nbUselessRevisions=10480183
4.74 nbAssignments=18727 nbFailedAssignments=5478 nbBacktracks=13137 nbVisitedNodes=30350 nbRestartNogoods=68
4.74 => wckTime=3.899 cpuTime=3.79 mem=15M6
6.53
6.53 search
6.53 run=16 nbConstraintChecks=18244201 nbPropagations=1063775 nbRevisions=18257381 nbUselessRevisions=15666928
6.53 nbAssignments=28001 nbFailedAssignments=8174 nbBacktracks=19709 nbVisitedNodes=45299 nbRestartNogoods=78
6.53 => wckTime=5.698 cpuTime=5.59 mem=15M6
9.20
9.20 search
9.20 run=17 nbConstraintChecks=26999894 nbPropagations=1572949 nbRevisions=27155074 nbUselessRevisions=23303267
9.20 nbAssignments=41041 nbFailedAssignments=12039 nbBacktracks=28844 nbVisitedNodes=66614 nbRestartNogoods=86
9.20 => wckTime=8.367 cpuTime=8.22 mem=15M6
9.20
9.20 global
9.20 nbConstraintChecks=27022481 nbPropagations=1573841 nbRevisions=27160257 nbUselessRevisions=23307405
9.20 nbRestartNogoods=86 solvingWckTime=8.367 solvingCpuTime=8.22 expiredTime=no totalExploration=no
9.21 nbFoundSolutions=1 globalCpuTime=8.62
9.21 => wckTime=8.918 cpuTime=8.58 mem=15M6
9.21
9.21 s SATISFIABLE
9.21 v 2 7 6 2 4 3 3 3 0 4 5 0 4 2 2 3 4 1 4 6 1 6 5 4 1 2 2 7 4 3 6 6 6 5 4 6 4 1 1 4
9.21 d NODES 41041
9.21 d CHECKS 27022481
9.21
9.21 totalWckTime=8.994 totalCpuTime=8.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-227870-1168278939 -o ROOT/results/node21/solver-227870-1168278939 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227870-1168278939/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.61 1.64 1.60 4/88 29260
/proc/meminfo: memFree=1143800/2055920 swapFree=4156316/4192956
[pid=29259] ppid=29257 vsize=1788 CPUtime=0
/proc/29259/stat : 29259 (java) R 29257 29259 28892 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 176288532 1830912 158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/29259/statm: 447 158 123 14 0 92 0
[startup+0.107327 s]
/proc/loadavg: 1.61 1.64 1.60 4/88 29260
/proc/meminfo: memFree=1143800/2055920 swapFree=4156316/4192956
[pid=29259] ppid=29257 vsize=914988 CPUtime=0.09
/proc/29259/stat : 29259 (java) R 29257 29259 28892 0 -1 0 3121 0 1 0 8 1 0 0 22 0 8 0 176288532 936947712 2867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29259/statm: 228747 2867 1469 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518404 s]
/proc/loadavg: 1.61 1.64 1.60 4/88 29260
/proc/meminfo: memFree=1143800/2055920 swapFree=4156316/4192956
[pid=29259] ppid=29257 vsize=915328 CPUtime=0.5
/proc/29259/stat : 29259 (java) R 29257 29259 28892 0 -1 0 6566 0 1 0 46 4 0 0 25 0 8 0 176288532 937295872 6305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29259/statm: 228832 6305 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34156 s]
/proc/loadavg: 1.64 1.64 1.60 3/95 29267
/proc/meminfo: memFree=1119744/2055920 swapFree=4156316/4192956
[pid=29259] ppid=29257 vsize=915584 CPUtime=1.32
/proc/29259/stat : 29259 (java) R 29257 29259 28892 0 -1 0 8776 0 1 0 125 7 0 0 25 0 8 0 176288532 937558016 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29259/statm: 228896 8514 2524 14 0 215366 0
[pid=29259/tid=29261] ppid=29257 vsize=915584 CPUtime=0.03
/proc/29259/task/29261/stat : 29261 (java) S 29257 29259 28892 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176288535 937558016 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29262/stat : 29262 (java) S 29257 29259 28892 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176288536 937558016 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29263/stat : 29263 (java) S 29257 29259 28892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176288536 937558016 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29264/stat : 29264 (java) S 29257 29259 28892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 176288539 937558016 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=915584 CPUtime=0.25
/proc/29259/task/29265/stat : 29265 (java) S 29257 29259 28892 0 -1 64 413 0 0 0 24 1 0 0 16 0 8 0 176288539 937558016 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29266/stat : 29266 (java) S 29257 29259 28892 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176288539 937558016 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29267/stat : 29267 (java) S 29257 29259 28892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176288539 937558016 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915584
[startup+2.97887 s]
/proc/loadavg: 1.64 1.64 1.60 3/95 29267
/proc/meminfo: memFree=1119424/2055920 swapFree=4156316/4192956
[pid=29259] ppid=29257 vsize=915584 CPUtime=2.95
/proc/29259/stat : 29259 (java) R 29257 29259 28892 0 -1 0 8802 0 1 0 288 7 0 0 25 0 8 0 176288532 937558016 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29259/statm: 228896 8539 2524 14 0 215366 0
[pid=29259/tid=29261] ppid=29257 vsize=915584 CPUtime=0.03
/proc/29259/task/29261/stat : 29261 (java) S 29257 29259 28892 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176288535 937558016 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29262/stat : 29262 (java) S 29257 29259 28892 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176288536 937558016 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29263/stat : 29263 (java) S 29257 29259 28892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176288536 937558016 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29264/stat : 29264 (java) S 29257 29259 28892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 176288539 937558016 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=915584 CPUtime=0.27
/proc/29259/task/29265/stat : 29265 (java) S 29257 29259 28892 0 -1 64 420 0 0 0 26 1 0 0 16 0 8 0 176288539 937558016 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29266/stat : 29266 (java) S 29257 29259 28892 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176288539 937558016 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29267/stat : 29267 (java) S 29257 29259 28892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176288539 937558016 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915584
[startup+6.28049 s]
/proc/loadavg: 1.67 1.65 1.60 3/95 29267
/proc/meminfo: memFree=1119424/2055920 swapFree=4156316/4192956
[pid=29259] ppid=29257 vsize=915584 CPUtime=6.24
/proc/29259/stat : 29259 (java) R 29257 29259 28892 0 -1 0 8808 0 1 0 617 7 0 0 25 0 8 0 176288532 937558016 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073904774 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29259/statm: 228896 8544 2524 14 0 215366 0
[pid=29259/tid=29261] ppid=29257 vsize=915584 CPUtime=0.03
/proc/29259/task/29261/stat : 29261 (java) S 29257 29259 28892 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176288535 937558016 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29262] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29262/stat : 29262 (java) S 29257 29259 28892 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176288536 937558016 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29263] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29263/stat : 29263 (java) S 29257 29259 28892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176288536 937558016 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29264] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29264/stat : 29264 (java) S 29257 29259 28892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 176288539 937558016 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29265] ppid=29257 vsize=915584 CPUtime=0.27
/proc/29259/task/29265/stat : 29265 (java) S 29257 29259 28892 0 -1 64 420 0 0 0 26 1 0 0 15 0 8 0 176288539 937558016 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29266] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29266/stat : 29266 (java) S 29257 29259 28892 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176288539 937558016 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29259/tid=29267] ppid=29257 vsize=915584 CPUtime=0
/proc/29259/task/29267/stat : 29267 (java) S 29257 29259 28892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176288539 937558016 8544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 9.23625
CPU time (s): 9.14461
CPU user time (s): 9.06762
CPU system time (s): 0.076988
CPU usage (%): 99.0078
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.06762
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8905
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= 1466
involuntary context switches= 1830
runsolver used 0.011998 s user time and 0.040993 s system time
The end
Begin job on node21 on Mon Jan 8 17:55:40 UTC 2007
IDJOB= 227870
IDBENCH= 6131
FILE ID= node21/227870-1168278939
PBS_JOBID= 3483392
Free space on /tmp= 66562 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227870-1168278939/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-227870-1168278939 -o ROOT/results/node21/solver-227870-1168278939 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227870-1168278939/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ebcb9b8424c15daf390cc93618d11aab
RANDOM SEED= 953132405
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.261
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.261
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: 1144216 kB
Buffers: 17044 kB
Cached: 811476 kB
SwapCached: 2304 kB
Active: 294924 kB
Inactive: 564544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1144216 kB
SwapTotal: 4192956 kB
SwapFree: 4156316 kB
Dirty: 1892 kB
Writeback: 0 kB
Mapped: 41608 kB
Slab: 37072 kB
Committed_AS: 3699352 kB
PageTables: 2176 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= 66562 MiB
End job on node21 on Mon Jan 8 17:55:49 UTC 2007