0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/227824-1168080823/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.40 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.49
0.49 constraints being loaded...
0.66 nbConstraints=753 nbRelationTypes=753 nbExtensionStructures=753 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=753 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11915 maxDegree=39
0.66 maxArity=2
0.66 => wckTime=0.366 cpuTime=0.23 mem=11M844
0.71
0.71 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.556 cpuTime=0.36 mem=14M16
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.012 cpuTime=0.0 mem=14M16
0.91
0.91 search
0.91 run=0 nbConstraintChecks=15476 nbPropagations=396 nbRevisions=4498 nbUselessRevisions=3711 nbAssignments=26
0.91 nbFailedAssignments=6 nbBacktracks=13 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.05 cpuTime=0.03 mem=15M8
0.93
0.93 search
0.93 run=1 nbConstraintChecks=37179 nbPropagations=1244 nbRevisions=15668 nbUselessRevisions=13018 nbAssignments=58
0.93 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=89 nbRestartNogoods=3 mapSize=22 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.077 cpuTime=0.05 mem=15M8
0.95
0.95 search
0.95 run=2 nbConstraintChecks=63820 nbPropagations=2656 nbRevisions=35712 nbUselessRevisions=30081
0.95 nbAssignments=100 nbFailedAssignments=28 nbBacktracks=50 nbVisitedNodes=151 nbRestartNogoods=5 mapSize=38
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.096 cpuTime=0.06 mem=15M8
0.97
0.97 search
0.97 run=3 nbConstraintChecks=100474 nbPropagations=4828 nbRevisions=67646 nbUselessRevisions=57365
0.97 nbAssignments=153 nbFailedAssignments=41 nbBacktracks=83 nbVisitedNodes=236 nbRestartNogoods=8 mapSize=64
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.114 cpuTime=0.08 mem=15M8
0.99
0.99 search
0.99 run=4 nbConstraintChecks=143301 nbPropagations=7865 nbRevisions=114464 nbUselessRevisions=97637
0.99 nbAssignments=228 nbFailedAssignments=59 nbBacktracks=134 nbVisitedNodes=348 nbRestartNogoods=10 mapSize=96
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.133 cpuTime=0.1 mem=15M8
1.03
1.03 search
1.03 run=5 nbConstraintChecks=229530 nbPropagations=12554 nbRevisions=188159 nbUselessRevisions=160626
1.03 nbAssignments=350 nbFailedAssignments=96 nbBacktracks=212 nbVisitedNodes=548 nbRestartNogoods=13 mapSize=162
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.172 cpuTime=0.13 mem=15M8
1.08
1.08 search
1.08 run=6 nbConstraintChecks=354934 nbPropagations=19669 nbRevisions=301137 nbUselessRevisions=256906
1.08 nbAssignments=525 nbFailedAssignments=147 nbBacktracks=328 nbVisitedNodes=836 nbRestartNogoods=16 mapSize=260
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.221 cpuTime=0.18 mem=15M8
1.15
1.15 search
1.15 run=7 nbConstraintChecks=521994 nbPropagations=29991 nbRevisions=468128 nbUselessRevisions=399320
1.16 nbAssignments=783 nbFailedAssignments=225 nbBacktracks=499 nbVisitedNodes=1250 nbRestartNogoods=19 mapSize=399
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.3 cpuTime=0.24 mem=15M8
1.25
1.25 search
1.25 run=8 nbConstraintChecks=789200 nbPropagations=45309 nbRevisions=722537 nbUselessRevisions=616801
1.25 nbAssignments=1157 nbFailedAssignments=334 nbBacktracks=757 nbVisitedNodes=1858 nbRestartNogoods=23
1.26 mapSize=606 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.4 cpuTime=0.34 mem=15M8
1.42
1.42 search
1.42 run=9 nbConstraintChecks=1220800 nbPropagations=68562 nbRevisions=1113883 nbUselessRevisions=950652
1.42 nbAssignments=1724 nbFailedAssignments=509 nbBacktracks=1143 nbVisitedNodes=2801 nbRestartNogoods=27
1.42 mapSize=934 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.562 cpuTime=0.49 mem=15M8
1.46
1.46 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M8)
1.63
1.63 search
1.63 run=10 nbConstraintChecks=1848097 nbPropagations=103149 nbRevisions=1703747 nbUselessRevisions=1453381
1.63 nbAssignments=2567 nbFailedAssignments=769 nbBacktracks=1721 nbVisitedNodes=4195 nbRestartNogoods=32
1.63 => wckTime=0.772 cpuTime=0.68 mem=15M8
1.90
1.90 search
1.90 run=11 nbConstraintChecks=2775658 nbPropagations=154749 nbRevisions=2590737 nbUselessRevisions=2209045
1.90 nbAssignments=3840 nbFailedAssignments=1170 nbBacktracks=2588 nbVisitedNodes=6297 nbRestartNogoods=39
1.90 => wckTime=1.045 cpuTime=0.95 mem=15M8
2.30
2.30 search
2.30 run=12 nbConstraintChecks=4118995 nbPropagations=230913 nbRevisions=3907769 nbUselessRevisions=3332068
2.30 nbAssignments=5711 nbFailedAssignments=1737 nbBacktracks=3889 nbVisitedNodes=9356 nbRestartNogoods=44
2.30 => wckTime=1.444 cpuTime=1.34 mem=15M8
2.91
2.91 search
2.91 run=13 nbConstraintChecks=6188364 nbPropagations=345000 nbRevisions=5884021 nbUselessRevisions=5016069
2.91 nbAssignments=8535 nbFailedAssignments=2606 nbBacktracks=5839 nbVisitedNodes=14014 nbRestartNogoods=49
2.91 => wckTime=2.052 cpuTime=1.95 mem=15M8
3.81
3.81 search
3.81 run=14 nbConstraintChecks=9252121 nbPropagations=515087 nbRevisions=8833705 nbUselessRevisions=7530144
3.81 nbAssignments=12725 nbFailedAssignments=3871 nbBacktracks=8760 nbVisitedNodes=20908 nbRestartNogoods=58
3.81 => wckTime=2.956 cpuTime=2.84 mem=15M8
5.17
5.17 search
5.18 run=15 nbConstraintChecks=13827871 nbPropagations=768960 nbRevisions=13242800 nbUselessRevisions=11287031
5.18 nbAssignments=19033 nbFailedAssignments=5795 nbBacktracks=13138 nbVisitedNodes=31344 nbRestartNogoods=61
5.18 => wckTime=4.32 cpuTime=4.17 mem=15M8
7.24
7.24 search
7.24 run=16 nbConstraintChecks=20826030 nbPropagations=1151011 nbRevisions=19889892 nbUselessRevisions=16951030
7.24 nbAssignments=28630 nbFailedAssignments=8818 nbBacktracks=19708 nbVisitedNodes=47249 nbRestartNogoods=71
7.24 => wckTime=6.385 cpuTime=6.22 mem=15M8
9.07
9.07 search
9.07 run=17 nbConstraintChecks=27067175 nbPropagations=1646148 nbRevisions=28503669 nbUselessRevisions=24288644
9.07 nbAssignments=37003 nbFailedAssignments=11421 nbBacktracks=25479 nbVisitedNodes=61085 nbRestartNogoods=76
9.07 => wckTime=8.213 cpuTime=8.03 mem=15M8
9.07
9.07 global
9.07 nbConstraintChecks=27067175 nbPropagations=1646188 nbRevisions=28503669 nbUselessRevisions=24288644
9.07 nbRestartNogoods=76 solvingWckTime=8.214 solvingCpuTime=8.03 expiredTime=no totalExploration=yes
9.07 nbFoundSolutions=0 globalCpuTime=8.44
9.07 => wckTime=8.772 cpuTime=8.39 mem=15M8
9.07
9.07 s UNSATISFIABLE
9.07 d NODES 37003
9.07 d CHECKS 27067175
9.07
9.07 totalWckTime=8.847 totalCpuTime=8.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-227824-1168080823 -o ROOT/results/node25/solver-227824-1168080823 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227824-1168080823/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.05 0.92 0.97 4/93 31272
/proc/meminfo: memFree=1600704/2055920 swapFree=4192812/4192956
[pid=31271] ppid=31269 vsize=1784 CPUtime=0
/proc/31271/stat : 31271 (java) D 31269 31271 30848 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 156475680 1826816 140 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31271/statm: 446 140 106 14 0 91 0
[startup+0.104172 s]
/proc/loadavg: 1.05 0.92 0.97 4/93 31272
/proc/meminfo: memFree=1600704/2055920 swapFree=4192812/4192956
[pid=31271] ppid=31269 vsize=914988 CPUtime=0.08
/proc/31271/stat : 31271 (java) R 31269 31271 30848 0 -1 0 3010 0 1 0 7 1 0 0 24 0 8 0 156475680 936947712 2756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155583158 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31271/statm: 228747 2756 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512239 s]
/proc/loadavg: 1.05 0.92 0.97 4/93 31272
/proc/meminfo: memFree=1600704/2055920 swapFree=4192812/4192956
[pid=31271] ppid=31269 vsize=915328 CPUtime=0.48
/proc/31271/stat : 31271 (java) R 31269 31271 30848 0 -1 0 6432 0 1 0 45 3 0 0 25 0 8 0 156475680 937295872 6171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073611607 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31271/statm: 228832 6171 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33338 s]
/proc/loadavg: 1.12 0.94 0.98 4/100 31279
/proc/meminfo: memFree=1577096/2055920 swapFree=4192812/4192956
[pid=31271] ppid=31269 vsize=915584 CPUtime=1.29
/proc/31271/stat : 31271 (java) R 31269 31271 30848 0 -1 0 8664 0 1 0 123 6 0 0 25 0 8 0 156475680 937558016 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31271/statm: 228896 8402 2513 14 0 215366 0
[pid=31271/tid=31273] ppid=31269 vsize=915584 CPUtime=0.03
/proc/31271/task/31273/stat : 31273 (java) S 31269 31271 30848 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156475684 937558016 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31274] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475685 937558016 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31275] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475685 937558016 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31276] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30848 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156475688 937558016 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31277] ppid=31269 vsize=915584 CPUtime=0.23
/proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30848 0 -1 64 405 0 0 0 22 1 0 0 15 0 8 0 156475688 937558016 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31278] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30848 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156475688 937558016 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31279] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31279/stat : 31279 (java) S 31269 31271 30848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156475688 937558016 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915584
[startup+2.98165 s]
/proc/loadavg: 1.12 0.94 0.98 3/100 31279
/proc/meminfo: memFree=1576904/2055920 swapFree=4192812/4192956
[pid=31271] ppid=31269 vsize=915584 CPUtime=2.92
/proc/31271/stat : 31271 (java) R 31269 31271 30848 0 -1 0 8699 0 1 0 286 6 0 0 25 0 8 0 156475680 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073924475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31271/statm: 228896 8436 2513 14 0 215366 0
[pid=31271/tid=31273] ppid=31269 vsize=915584 CPUtime=0.03
/proc/31271/task/31273/stat : 31273 (java) S 31269 31271 30848 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156475684 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31274] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475685 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31275] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475685 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31276] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30848 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156475688 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31277] ppid=31269 vsize=915584 CPUtime=0.26
/proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30848 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 156475688 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31278] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30848 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156475688 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31279] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31279/stat : 31279 (java) S 31269 31271 30848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156475688 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915584
[startup+6.26821 s]
/proc/loadavg: 1.19 0.96 0.98 3/100 31279
/proc/meminfo: memFree=1576840/2055920 swapFree=4192812/4192956
[pid=31271] ppid=31269 vsize=915584 CPUtime=6.16
/proc/31271/stat : 31271 (java) R 31269 31271 30848 0 -1 0 8704 0 1 0 610 6 0 0 25 0 8 0 156475680 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923693 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31271/statm: 228896 8440 2513 14 0 215366 0
[pid=31271/tid=31273] ppid=31269 vsize=915584 CPUtime=0.03
/proc/31271/task/31273/stat : 31273 (java) S 31269 31271 30848 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156475684 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31274] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31274/stat : 31274 (java) S 31269 31271 30848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475685 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31275] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31275/stat : 31275 (java) S 31269 31271 30848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475685 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31276] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31276/stat : 31276 (java) S 31269 31271 30848 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156475688 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31277] ppid=31269 vsize=915584 CPUtime=0.26
/proc/31271/task/31277/stat : 31277 (java) S 31269 31271 30848 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 156475688 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31278] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31278/stat : 31278 (java) S 31269 31271 30848 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156475688 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31271/tid=31279] ppid=31269 vsize=915584 CPUtime=0
/proc/31271/task/31279/stat : 31279 (java) S 31269 31271 30848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156475688 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 9.09582
CPU time (s): 8.96264
CPU user time (s): 8.89165
CPU system time (s): 0.070989
CPU usage (%): 98.5357
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.89165
system time used= 0.070989
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= 1483
involuntary context switches= 2070
runsolver used 0.014997 s user time and 0.028995 s system time
The end
Begin job on node25 on Sat Jan 6 10:53:47 UTC 2007
IDJOB= 227824
IDBENCH= 6121
FILE ID= node25/227824-1168080823
PBS_JOBID= 3476102
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-57_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227824-1168080823/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-227824-1168080823 -o ROOT/results/node25/solver-227824-1168080823 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227824-1168080823/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 315b1c9e9b5d13b94e8cd888b1b730c1
RANDOM SEED= 820075649
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.279
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.279
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: 1601376 kB
Buffers: 43988 kB
Cached: 243788 kB
SwapCached: 0 kB
Active: 133888 kB
Inactive: 249280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1601376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1840 kB
Writeback: 0 kB
Mapped: 124412 kB
Slab: 55980 kB
Committed_AS: 3703180 kB
PageTables: 2452 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= 66546 MiB
End job on node25 on Sat Jan 6 10:54:10 UTC 2007