0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/228746-1168300463/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.41 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8220 maxDegree=27
0.59 maxArity=2
0.59 => wckTime=0.28 cpuTime=0.2 mem=10M860
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.472 cpuTime=0.33 mem=14M819
0.83
0.83 preprocessing
0.83 nbConstraintChecks=33212 nbPropagations=910 nbRevisions=5488 nbUselessRevisions=4305 nbSingletonTests=52
0.83 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.83 => wckTime=0.048 cpuTime=0.03 mem=14M819
0.85
0.85 search
0.85 run=0 nbConstraintChecks=16455 nbPropagations=1268 nbRevisions=9440 nbUselessRevisions=7585 nbAssignments=23
0.85 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.069 cpuTime=0.05 mem=14M819
0.87
0.87 search
0.87 run=1 nbConstraintChecks=42722 nbPropagations=3058 nbRevisions=25399 nbUselessRevisions=20541 nbAssignments=56
0.87 nbFailedAssignments=16 nbBacktracks=27 nbVisitedNodes=88 nbRestartNogoods=1 mapSize=22 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.086 cpuTime=0.06 mem=14M819
0.89
0.89 search
0.89 run=2 nbConstraintChecks=84419 nbPropagations=5705 nbRevisions=50982 nbUselessRevisions=41302
0.89 nbAssignments=105 nbFailedAssignments=27 nbBacktracks=49 nbVisitedNodes=152 nbRestartNogoods=4 mapSize=42
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.102 cpuTime=0.07 mem=14M819
0.90
0.90 search
0.90 run=3 nbConstraintChecks=131361 nbPropagations=9281 nbRevisions=88882 nbUselessRevisions=72213
0.90 nbAssignments=166 nbFailedAssignments=42 nbBacktracks=86 nbVisitedNodes=252 nbRestartNogoods=6 mapSize=71
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.116 cpuTime=0.08 mem=14M819
0.92
0.92 search
0.92 run=4 nbConstraintChecks=214082 nbPropagations=14397 nbRevisions=148052 nbUselessRevisions=120614
0.92 nbAssignments=261 nbFailedAssignments=77 nbBacktracks=138 nbVisitedNodes=415 nbRestartNogoods=11 mapSize=118
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.139 cpuTime=0.1 mem=14M819
0.96
0.96 search
0.96 run=5 nbConstraintChecks=322221 nbPropagations=21479 nbRevisions=235619 nbUselessRevisions=192288
0.96 nbAssignments=384 nbFailedAssignments=119 nbBacktracks=215 nbVisitedNodes=623 nbRestartNogoods=15 mapSize=181
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.172 cpuTime=0.13 mem=14M819
0.99
0.99 search
0.99 run=6 nbConstraintChecks=477872 nbPropagations=31393 nbRevisions=364211 nbUselessRevisions=297971
0.99 nbAssignments=561 nbFailedAssignments=177 nbBacktracks=328 nbVisitedNodes=922 nbRestartNogoods=19 mapSize=276
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.21 cpuTime=0.17 mem=14M819
1.05
1.05 search
1.05 run=7 nbConstraintChecks=713435 nbPropagations=45622 nbRevisions=556021 nbUselessRevisions=456086
1.05 nbAssignments=843 nbFailedAssignments=279 nbBacktracks=502 nbVisitedNodes=1396 nbRestartNogoods=25 mapSize=419
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.268 cpuTime=0.23 mem=14M819
1.14
1.14 search
1.14 run=8 nbConstraintChecks=1037662 nbPropagations=66008 nbRevisions=835027 nbUselessRevisions=686514
1.14 nbAssignments=1248 nbFailedAssignments=407 nbBacktracks=758 nbVisitedNodes=2050 nbRestartNogoods=29
1.14 mapSize=636 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.353 cpuTime=0.31 mem=14M819
1.27
1.27 search
1.27 run=9 nbConstraintChecks=1568059 nbPropagations=95693 nbRevisions=1253949 nbUselessRevisions=1032897
1.27 nbAssignments=1851 nbFailedAssignments=618 nbBacktracks=1147 nbVisitedNodes=3064 nbRestartNogoods=34
1.27 mapSize=954 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.486 cpuTime=0.43 mem=14M819
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=14M819)
1.46
1.46 search
1.46 run=10 nbConstraintChecks=2410032 nbPropagations=140239 nbRevisions=1893060 nbUselessRevisions=1561019
1.46 nbAssignments=2763 nbFailedAssignments=947 nbBacktracks=1726 nbVisitedNodes=4624 nbRestartNogoods=36
1.46 => wckTime=0.672 cpuTime=0.6 mem=14M819
1.69
1.69 search
1.69 run=11 nbConstraintChecks=3593762 nbPropagations=205712 nbRevisions=2840697 nbUselessRevisions=2344270
1.69 nbAssignments=4088 nbFailedAssignments=1402 nbBacktracks=2593 nbVisitedNodes=6854 nbRestartNogoods=41
1.69 => wckTime=0.909 cpuTime=0.84 mem=14M819
2.03
2.03 search
2.03 run=12 nbConstraintChecks=5234056 nbPropagations=300866 nbRevisions=4235064 nbUselessRevisions=3499360
2.03 nbAssignments=6063 nbFailedAssignments=2074 nbBacktracks=3891 nbVisitedNodes=10181 nbRestartNogoods=44
2.03 => wckTime=1.243 cpuTime=1.17 mem=14M819
2.57
2.57 search
2.57 run=13 nbConstraintChecks=7984756 nbPropagations=444259 nbRevisions=6348891 nbUselessRevisions=5249727
2.57 nbAssignments=9109 nbFailedAssignments=3164 nbBacktracks=5840 nbVisitedNodes=15366 nbRestartNogoods=47
2.57 => wckTime=1.783 cpuTime=1.71 mem=14M819
3.34
3.34 search
3.34 run=14 nbConstraintChecks=11876948 nbPropagations=656906 nbRevisions=9498101 nbUselessRevisions=7858047
3.34 nbAssignments=13584 nbFailedAssignments=4709 nbBacktracks=8763 nbVisitedNodes=22922 nbRestartNogoods=57
3.34 => wckTime=2.556 cpuTime=2.48 mem=14M819
4.51
4.51 search
4.51 run=15 nbConstraintChecks=17852146 nbPropagations=975521 nbRevisions=14215494 nbUselessRevisions=11762284
4.51 nbAssignments=20313 nbFailedAssignments=7055 nbBacktracks=13141 nbVisitedNodes=34327 nbRestartNogoods=63
4.51 => wckTime=3.728 cpuTime=3.65 mem=14M819
6.35
6.35 search
6.35 run=16 nbConstraintChecks=27238215 nbPropagations=1457480 nbRevisions=21393011 nbUselessRevisions=17701140
6.35 nbAssignments=30627 nbFailedAssignments=10794 nbBacktracks=19710 nbVisitedNodes=51864 nbRestartNogoods=73
6.35 => wckTime=5.565 cpuTime=5.49 mem=14M819
8.88
8.88 search
8.88 run=17 nbConstraintChecks=40074579 nbPropagations=2165985 nbRevisions=31954231 nbUselessRevisions=26440933
8.88 nbAssignments=44888 nbFailedAssignments=15767 nbBacktracks=28958 nbVisitedNodes=76047 nbRestartNogoods=87
8.88 => wckTime=8.093 cpuTime=8.01 mem=14M819
8.88
8.88 global
8.88 nbConstraintChecks=40107791 nbPropagations=2166895 nbRevisions=31959719 nbUselessRevisions=26445238
8.88 nbRestartNogoods=87 solvingWckTime=8.094 solvingCpuTime=8.01 expiredTime=no totalExploration=no
8.88 nbFoundSolutions=1 globalCpuTime=8.39
8.88 => wckTime=8.569 cpuTime=8.34 mem=14M819
8.88
8.88 s SATISFIABLE
8.88 v 1 6 10 8 7 2 3 9 10 0 10 9 8 0 0 2 5 1 5 3 2 3 3 3 8 2 2 10 0 5 0 2 7 5 8 6 2 5 2 6
8.88 d NODES 44888
8.88 d CHECKS 40107791
8.88
8.88 totalWckTime=8.644 totalCpuTime=8.4
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-228746-1168300463 -o ROOT/results/node14/solver-228746-1168300463 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228746-1168300463/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.04 2.00 1.75 4/88 6828
/proc/meminfo: memFree=1712648/2055920 swapFree=4163780/4192956
[pid=6827] ppid=6825 vsize=168 CPUtime=0
/proc/6827/stat : 6827 (java) R 6825 6827 6370 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 178441291 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 0 0 0
/proc/6827/statm: 42 23 18 14 0 2 0
[startup+0.108549 s]
/proc/loadavg: 2.04 2.00 1.75 4/88 6828
/proc/meminfo: memFree=1712648/2055920 swapFree=4163780/4192956
[pid=6827] ppid=6825 vsize=913228 CPUtime=0.08
/proc/6827/stat : 6827 (java) R 6825 6827 6370 0 -1 0 2920 0 1 0 6 2 0 0 22 0 8 0 178441291 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6827/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.517585 s]
/proc/loadavg: 2.04 2.00 1.75 4/88 6828
/proc/meminfo: memFree=1712648/2055920 swapFree=4163780/4192956
[pid=6827] ppid=6825 vsize=915328 CPUtime=0.48
/proc/6827/stat : 6827 (java) R 6825 6827 6370 0 -1 0 6521 0 1 0 44 4 0 0 25 0 8 0 178441291 937295872 6260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6827/statm: 228832 6261 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34566 s]
/proc/loadavg: 2.04 2.00 1.75 3/95 6835
/proc/meminfo: memFree=1688912/2055920 swapFree=4163780/4192956
[pid=6827] ppid=6825 vsize=915456 CPUtime=1.3
/proc/6827/stat : 6827 (java) R 6825 6827 6370 0 -1 0 8683 0 1 0 124 6 0 0 25 0 8 0 178441291 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828719 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6827/statm: 228864 8421 2524 14 0 215334 0
[pid=6827/tid=6829] ppid=6825 vsize=915456 CPUtime=0.02
/proc/6827/task/6829/stat : 6829 (java) S 6825 6827 6370 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 178441296 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6830] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6830/stat : 6830 (java) S 6825 6827 6370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178441297 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6831] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6831/stat : 6831 (java) S 6825 6827 6370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178441297 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6832] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6832/stat : 6832 (java) S 6825 6827 6370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178441300 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6833] ppid=6825 vsize=915456 CPUtime=0.19
/proc/6827/task/6833/stat : 6833 (java) S 6825 6827 6370 0 -1 64 388 0 0 0 19 0 0 0 15 0 8 0 178441300 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6834] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6834/stat : 6834 (java) S 6825 6827 6370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 178441300 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6835] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6835/stat : 6835 (java) S 6825 6827 6370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178441300 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.98382 s]
/proc/loadavg: 2.03 2.00 1.75 3/95 6835
/proc/meminfo: memFree=1688592/2055920 swapFree=4163780/4192956
[pid=6827] ppid=6825 vsize=915456 CPUtime=2.94
/proc/6827/stat : 6827 (java) R 6825 6827 6370 0 -1 0 8700 0 1 0 288 6 0 0 25 0 8 0 178441291 937426944 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795018 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6827/statm: 228864 8437 2524 14 0 215334 0
[pid=6827/tid=6829] ppid=6825 vsize=915456 CPUtime=0.02
/proc/6827/task/6829/stat : 6829 (java) S 6825 6827 6370 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 178441296 937426944 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6830] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6830/stat : 6830 (java) S 6825 6827 6370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178441297 937426944 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6831] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6831/stat : 6831 (java) S 6825 6827 6370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178441297 937426944 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6832] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6832/stat : 6832 (java) S 6825 6827 6370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178441300 937426944 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6833] ppid=6825 vsize=915456 CPUtime=0.21
/proc/6827/task/6833/stat : 6833 (java) S 6825 6827 6370 0 -1 64 394 0 0 0 21 0 0 0 16 0 8 0 178441300 937426944 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6834] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6834/stat : 6834 (java) S 6825 6827 6370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 178441300 937426944 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6835] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6835/stat : 6835 (java) S 6825 6827 6370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178441300 937426944 8437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.26313 s]
/proc/loadavg: 2.03 2.00 1.75 3/95 6835
/proc/meminfo: memFree=1688528/2055920 swapFree=4163780/4192956
[pid=6827] ppid=6825 vsize=915456 CPUtime=6.22
/proc/6827/stat : 6827 (java) R 6825 6827 6370 0 -1 0 8705 0 1 0 616 6 0 0 25 0 8 0 178441291 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6827/statm: 228864 8441 2524 14 0 215334 0
[pid=6827/tid=6829] ppid=6825 vsize=915456 CPUtime=0.02
/proc/6827/task/6829/stat : 6829 (java) S 6825 6827 6370 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 178441296 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6830] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6830/stat : 6830 (java) S 6825 6827 6370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178441297 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6831] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6831/stat : 6831 (java) S 6825 6827 6370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178441297 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6832] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6832/stat : 6832 (java) S 6825 6827 6370 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178441300 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6833] ppid=6825 vsize=915456 CPUtime=0.21
/proc/6827/task/6833/stat : 6833 (java) S 6825 6827 6370 0 -1 64 394 0 0 0 21 0 0 0 16 0 8 0 178441300 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6834] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6834/stat : 6834 (java) S 6825 6827 6370 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 178441300 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6827/tid=6835] ppid=6825 vsize=915456 CPUtime=0
/proc/6827/task/6835/stat : 6835 (java) S 6825 6827 6370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178441300 937426944 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 8.94431
CPU time (s): 8.85565
CPU user time (s): 8.78266
CPU system time (s): 0.072988
CPU usage (%): 99.0088
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.78266
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8800
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= 1357
involuntary context switches= 1591
runsolver used 0.014997 s user time and 0.035994 s system time
The end
Begin job on node14 on Mon Jan 8 23:54:24 UTC 2007
IDJOB= 228746
IDBENCH= 6231
FILE ID= node14/228746-1168300463
PBS_JOBID= 3502166
Free space on /tmp= 66344 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-55_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228746-1168300463/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-228746-1168300463 -o ROOT/results/node14/solver-228746-1168300463 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228746-1168300463/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= aa524ac423852c9af307b18396390735
RANDOM SEED= 542442702
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.227
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.227
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: 1713064 kB
Buffers: 39108 kB
Cached: 227204 kB
SwapCached: 4056 kB
Active: 168056 kB
Inactive: 135456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1713064 kB
SwapTotal: 4192956 kB
SwapFree: 4163780 kB
Dirty: 1748 kB
Writeback: 0 kB
Mapped: 47300 kB
Slab: 24172 kB
Committed_AS: 5941784 kB
PageTables: 2204 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= 66344 MiB
End job on node14 on Mon Jan 8 23:54:33 UTC 2007