0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/229312-1168080959/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1324 maxDegree=18
0.57 maxArity=2
0.57 => wckTime=0.27 cpuTime=0.2 mem=11M827
0.61
0.61 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.456 cpuTime=0.32 mem=13M736
0.76
0.76 preprocessing
0.76 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.76 detectedInconsistency=no
0.76 => wckTime=0.0030 cpuTime=0.01 mem=13M736
0.80
0.80 search
0.80 run=0 nbConstraintChecks=28632 nbPropagations=528 nbRevisions=4661 nbUselessRevisions=3637 nbAssignments=24
0.80 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.80 nbTooLargeKeys=0
0.81 => wckTime=0.049 cpuTime=0.03 mem=14M711
0.82
0.82 search
0.82 run=1 nbConstraintChecks=62764 nbPropagations=1658 nbRevisions=15203 nbUselessRevisions=11802 nbAssignments=55
0.82 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=91 nbRestartNogoods=3 mapSize=24 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.067 cpuTime=0.04 mem=14M711
0.84
0.84 search
0.84 run=2 nbConstraintChecks=121678 nbPropagations=3751 nbRevisions=36401 nbUselessRevisions=28261
0.84 nbAssignments=108 nbFailedAssignments=43 nbBacktracks=48 nbVisitedNodes=183 nbRestartNogoods=6 mapSize=46
0.84 nbInferences=0 nbTooLargeKeys=0
0.84 => wckTime=0.089 cpuTime=0.06 mem=14M711
0.86
0.86 search
0.86 run=3 nbConstraintChecks=195879 nbPropagations=7123 nbRevisions=71172 nbUselessRevisions=55055
0.86 nbAssignments=177 nbFailedAssignments=73 nbBacktracks=83 nbVisitedNodes=302 nbRestartNogoods=8 mapSize=74
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.107 cpuTime=0.08 mem=14M711
0.89
0.89 search
0.89 run=4 nbConstraintChecks=299058 nbPropagations=12297 nbRevisions=125744 nbUselessRevisions=97078
0.89 nbAssignments=273 nbFailedAssignments=114 nbBacktracks=134 nbVisitedNodes=472 nbRestartNogoods=11 mapSize=119
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.132 cpuTime=0.1 mem=14M711
0.92
0.92 search
0.92 run=5 nbConstraintChecks=437136 nbPropagations=19901 nbRevisions=205923 nbUselessRevisions=158930
0.92 nbAssignments=406 nbFailedAssignments=167 nbBacktracks=209 nbVisitedNodes=695 nbRestartNogoods=13 mapSize=179
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.164 cpuTime=0.13 mem=14M711
0.96
0.96 search
0.96 run=6 nbConstraintChecks=617261 nbPropagations=30533 nbRevisions=318035 nbUselessRevisions=245242
0.96 nbAssignments=588 nbFailedAssignments=226 nbBacktracks=322 nbVisitedNodes=989 nbRestartNogoods=16 mapSize=258
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.204 cpuTime=0.17 mem=14M711
1.03
1.03 search
1.03 run=7 nbConstraintChecks=966412 nbPropagations=46965 nbRevisions=494557 nbUselessRevisions=380988
1.03 nbAssignments=896 nbFailedAssignments=356 nbBacktracks=493 nbVisitedNodes=1523 nbRestartNogoods=23 mapSize=401
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.276 cpuTime=0.24 mem=14M711
1.13
1.13 search
1.13 run=8 nbConstraintChecks=1470812 nbPropagations=72240 nbRevisions=766760 nbUselessRevisions=590251
1.13 nbAssignments=1342 nbFailedAssignments=539 nbBacktracks=749 nbVisitedNodes=2305 nbRestartNogoods=31
1.13 mapSize=620 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.378 cpuTime=0.35 mem=14M711
1.29
1.29 search
1.29 run=9 nbConstraintChecks=2285608 nbPropagations=110818 nbRevisions=1188164 nbUselessRevisions=913409
1.29 nbAssignments=2053 nbFailedAssignments=861 nbBacktracks=1134 nbVisitedNodes=3575 nbRestartNogoods=38
1.29 mapSize=964 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.533 cpuTime=0.49 mem=14M711
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=14M711)
1.49
1.49 search
1.49 run=10 nbConstraintChecks=3493751 nbPropagations=169854 nbRevisions=1836864 nbUselessRevisions=1411738
1.49 nbAssignments=3069 nbFailedAssignments=1295 nbBacktracks=1712 nbVisitedNodes=5381 nbRestartNogoods=43
1.49 => wckTime=0.736 cpuTime=0.68 mem=14M711
1.74
1.74 search
1.74 run=11 nbConstraintChecks=5145218 nbPropagations=256892 nbRevisions=2793119 nbUselessRevisions=2145497
1.74 nbAssignments=4539 nbFailedAssignments=1894 nbBacktracks=2579 nbVisitedNodes=7962 nbRestartNogoods=48
1.74 => wckTime=0.99 cpuTime=0.93 mem=14M711
2.12
2.12 search
2.12 run=12 nbConstraintChecks=7683530 nbPropagations=386061 nbRevisions=4214587 nbUselessRevisions=3234693
2.12 nbAssignments=6768 nbFailedAssignments=2819 nbBacktracks=3877 nbVisitedNodes=11875 nbRestartNogoods=53
2.12 => wckTime=1.368 cpuTime=1.31 mem=14M711
2.70
2.70 search
2.70 run=13 nbConstraintChecks=11349157 nbPropagations=577009 nbRevisions=6308568 nbUselessRevisions=4837948
2.70 nbAssignments=10031 nbFailedAssignments=4133 nbBacktracks=5823 nbVisitedNodes=17571 nbRestartNogoods=60
2.70 => wckTime=1.944 cpuTime=1.88 mem=14M711
3.59
3.59 search
3.59 run=14 nbConstraintChecks=16990418 nbPropagations=862569 nbRevisions=9441750 nbUselessRevisions=7237283
3.59 nbAssignments=15012 nbFailedAssignments=6190 nbBacktracks=8742 nbVisitedNodes=26365 nbRestartNogoods=69
3.59 => wckTime=2.837 cpuTime=2.77 mem=14M711
5.00
5.00 search
5.00 run=15 nbConstraintChecks=26060611 nbPropagations=1295051 nbRevisions=14196904 nbUselessRevisions=10873987
5.00 nbAssignments=22480 nbFailedAssignments=9274 nbBacktracks=13120 nbVisitedNodes=39528 nbRestartNogoods=79
5.00 => wckTime=4.243 cpuTime=4.18 mem=14M711
7.05
7.05 search
7.05 run=16 nbConstraintChecks=39087423 nbPropagations=1941958 nbRevisions=21311256 nbUselessRevisions=16311111
7.05 nbAssignments=33710 nbFailedAssignments=13934 nbBacktracks=19688 nbVisitedNodes=59289 nbRestartNogoods=90
7.05 => wckTime=6.292 cpuTime=6.23 mem=14M711
10.21
10.21 search
10.21 run=17 nbConstraintChecks=59375641 nbPropagations=2917954 nbRevisions=32091604 nbUselessRevisions=24554265
10.21 nbAssignments=50837 nbFailedAssignments=21204 nbBacktracks=29540 nbVisitedNodes=89548 nbRestartNogoods=92
10.21 => wckTime=9.452 cpuTime=9.39 mem=14M711
11.46
11.46 search
11.46 run=18 nbConstraintChecks=67455990 nbPropagations=4022704 nbRevisions=44321373 nbUselessRevisions=33906367
11.46 nbAssignments=57496 nbFailedAssignments=24049 nbBacktracks=33355 nbVisitedNodes=101286 nbRestartNogoods=103
11.46 => wckTime=10.703 cpuTime=10.64 mem=14M711
11.46
11.46 global
11.46 nbConstraintChecks=67455990 nbPropagations=4022744 nbRevisions=44321373 nbUselessRevisions=33906367
11.46 nbRestartNogoods=103 solvingWckTime=10.703 solvingCpuTime=10.64 expiredTime=no totalExploration=yes
11.46 nbFoundSolutions=0 globalCpuTime=11.01
11.46 => wckTime=11.162 cpuTime=10.96 mem=14M711
11.46
11.46 s UNSATISFIABLE
11.46 d NODES 57496
11.46 d CHECKS 67455990
11.46
11.46 totalWckTime=11.237 totalCpuTime=11.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-229312-1168080959 -o ROOT/results/node72/solver-229312-1168080959 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229312-1168080959/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: 0.03 0.54 1.23 2/81 2053
/proc/meminfo: memFree=1446464/2055920 swapFree=4192812/4192956
[pid=2052] ppid=2050 vsize=1784 CPUtime=0
/proc/2052/stat : 2052 (java) R 2050 2052 1655 0 -1 0 153 0 0 0 0 0 0 0 19 0 1 0 156505722 1826816 124 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134533553 0 0 4096 0 0 0 0 17 1 0 0
/proc/2052/statm: 446 133 99 14 0 91 0
[startup+0.102139 s]
/proc/loadavg: 0.03 0.54 1.23 2/81 2053
/proc/meminfo: memFree=1446464/2055920 swapFree=4192812/4192956
[pid=2052] ppid=2050 vsize=914988 CPUtime=0.08
/proc/2052/stat : 2052 (java) R 2050 2052 1655 0 -1 0 3025 0 1 0 7 1 0 0 16 0 8 0 156505722 936947712 2771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2052/statm: 228747 2774 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510175 s]
/proc/loadavg: 0.03 0.54 1.23 2/81 2053
/proc/meminfo: memFree=1446464/2055920 swapFree=4192812/4192956
[pid=2052] ppid=2050 vsize=915328 CPUtime=0.49
/proc/2052/stat : 2052 (java) S 2050 2052 1655 0 -1 0 6819 0 1 0 45 4 0 0 16 0 8 0 156505722 937295872 6558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2052/statm: 228832 6558 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33225 s]
/proc/loadavg: 0.03 0.54 1.23 2/88 2060
/proc/meminfo: memFree=1423048/2055920 swapFree=4192812/4192956
[pid=2052] ppid=2050 vsize=915452 CPUtime=1.32
/proc/2052/stat : 2052 (java) R 2050 2052 1655 0 -1 0 8590 0 1 0 127 5 0 0 16 0 8 0 156505722 937422848 8328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2052/statm: 228863 8328 2513 14 0 215333 0
[pid=2052/tid=2054] ppid=2050 vsize=915452 CPUtime=0.02
/proc/2052/task/2054/stat : 2054 (java) S 2050 2052 1655 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156505726 937422848 8328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2052/tid=2055] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2055/stat : 2055 (java) S 2050 2052 1655 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156505726 937422848 8328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2056] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2056/stat : 2056 (java) S 2050 2052 1655 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156505726 937422848 8328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2057] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2057/stat : 2057 (java) S 2050 2052 1655 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156505729 937422848 8328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2058] ppid=2050 vsize=915452 CPUtime=0.21
/proc/2052/task/2058/stat : 2058 (java) S 2050 2052 1655 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 156505729 937422848 8328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2052/tid=2059] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2059/stat : 2059 (java) S 2050 2052 1655 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156505729 937422848 8328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2060] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2060/stat : 2060 (java) S 2050 2052 1655 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156505729 937422848 8328 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) 915452
[startup+2.98439 s]
/proc/loadavg: 0.11 0.55 1.23 2/88 2060
/proc/meminfo: memFree=1422856/2055920 swapFree=4192812/4192956
[pid=2052] ppid=2050 vsize=915452 CPUtime=2.97
/proc/2052/stat : 2052 (java) R 2050 2052 1655 0 -1 0 8607 0 1 0 292 5 0 0 18 0 8 0 156505722 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791146 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2052/statm: 228863 8343 2513 14 0 215333 0
[pid=2052/tid=2054] ppid=2050 vsize=915452 CPUtime=0.02
/proc/2052/task/2054/stat : 2054 (java) S 2050 2052 1655 0 -1 64 242 0 0 0 2 0 0 0 17 0 8 0 156505726 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2052/tid=2055] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2055/stat : 2055 (java) S 2050 2052 1655 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156505726 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2056] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2056/stat : 2056 (java) S 2050 2052 1655 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156505726 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2057] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2057/stat : 2057 (java) S 2050 2052 1655 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156505729 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2058] ppid=2050 vsize=915452 CPUtime=0.22
/proc/2052/task/2058/stat : 2058 (java) S 2050 2052 1655 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 156505729 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2052/tid=2059] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2059/stat : 2059 (java) S 2050 2052 1655 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156505729 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2060] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2060/stat : 2060 (java) S 2050 2052 1655 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156505729 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915452
[startup+6.26769 s]
/proc/loadavg: 0.11 0.55 1.23 2/88 2060
/proc/meminfo: memFree=1422792/2055920 swapFree=4192812/4192956
[pid=2052] ppid=2050 vsize=915452 CPUtime=6.25
/proc/2052/stat : 2052 (java) R 2050 2052 1655 0 -1 0 8611 0 1 0 620 5 0 0 25 0 8 0 156505722 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791860 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2052/statm: 228863 8347 2513 14 0 215333 0
[pid=2052/tid=2054] ppid=2050 vsize=915452 CPUtime=0.02
/proc/2052/task/2054/stat : 2054 (java) S 2050 2052 1655 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156505726 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2052/tid=2055] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2055/stat : 2055 (java) S 2050 2052 1655 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156505726 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2056] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2056/stat : 2056 (java) S 2050 2052 1655 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156505726 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2057] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2057/stat : 2057 (java) S 2050 2052 1655 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156505729 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2058] ppid=2050 vsize=915452 CPUtime=0.22
/proc/2052/task/2058/stat : 2058 (java) S 2050 2052 1655 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 156505729 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2052/tid=2059] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2059/stat : 2059 (java) S 2050 2052 1655 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156505729 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2052/tid=2060] ppid=2050 vsize=915452 CPUtime=0
/proc/2052/task/2060/stat : 2060 (java) S 2050 2052 1655 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156505729 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 11.4789
CPU time (s): 11.4633
CPU user time (s): 11.4023
CPU system time (s): 0.06099
CPU usage (%): 99.8634
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.4023
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8706
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= 998
involuntary context switches= 381
runsolver used 0.011998 s user time and 0.039993 s system time
The end
Begin job on node72 on Sat Jan 6 10:56:03 UTC 2007
IDJOB= 229312
IDBENCH= 6292
FILE ID= node72/229312-1168080959
PBS_JOBID= 3476176
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229312-1168080959/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-229312-1168080959 -o ROOT/results/node72/solver-229312-1168080959 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229312-1168080959/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4435b4c97eb385afb53b1b633cff6f92
RANDOM SEED= 406927138
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.223
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.223
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: 1447008 kB
Buffers: 42172 kB
Cached: 446476 kB
SwapCached: 0 kB
Active: 152756 kB
Inactive: 384124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1447008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1972 kB
Writeback: 0 kB
Mapped: 67168 kB
Slab: 57208 kB
Committed_AS: 2625276 kB
PageTables: 2112 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= 66550 MiB
End job on node72 on Sat Jan 6 10:56:32 UTC 2007