0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/229406-1168306171/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.40 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.47
0.47 constraints being loaded...
0.58 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1385 maxDegree=19
0.58 maxArity=2
0.58 => wckTime=0.275 cpuTime=0.2 mem=11M893
0.61
0.61 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.471 cpuTime=0.33 mem=14M827
0.82
0.82 preprocessing
0.82 nbConstraintChecks=52204 nbPropagations=786 nbRevisions=5894 nbUselessRevisions=4719 nbSingletonTests=47
0.82 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.82 => wckTime=0.045 cpuTime=0.03 mem=14M827
0.84
0.84 search
0.84 run=0 nbConstraintChecks=31117 nbPropagations=1327 nbRevisions=11330 nbUselessRevisions=8992 nbAssignments=25
0.84 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.066 cpuTime=0.04 mem=14M827
0.86
0.86 search
0.86 run=1 nbConstraintChecks=63588 nbPropagations=3244 nbRevisions=28354 nbUselessRevisions=22498 nbAssignments=58
0.86 nbFailedAssignments=20 nbBacktracks=25 nbVisitedNodes=97 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.084 cpuTime=0.06 mem=14M827
0.87
0.87 search
0.87 run=2 nbConstraintChecks=106663 nbPropagations=5936 nbRevisions=53321 nbUselessRevisions=42164
0.87 nbAssignments=99 nbFailedAssignments=34 nbBacktracks=47 nbVisitedNodes=162 nbRestartNogoods=5 mapSize=37
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.098 cpuTime=0.07 mem=14M827
0.89
0.89 search
0.89 run=3 nbConstraintChecks=178380 nbPropagations=9846 nbRevisions=91238 nbUselessRevisions=71761
0.89 nbAssignments=165 nbFailedAssignments=60 nbBacktracks=83 nbVisitedNodes=274 nbRestartNogoods=8 mapSize=70
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.113 cpuTime=0.08 mem=14M827
0.91
0.91 search
0.91 run=4 nbConstraintChecks=258256 nbPropagations=15321 nbRevisions=145008 nbUselessRevisions=113740
0.91 nbAssignments=255 nbFailedAssignments=93 nbBacktracks=134 nbVisitedNodes=425 nbRestartNogoods=10 mapSize=113
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.133 cpuTime=0.1 mem=14M827
0.94
0.94 search
0.94 run=5 nbConstraintChecks=388503 nbPropagations=23160 nbRevisions=223305 nbUselessRevisions=174555
0.94 nbAssignments=382 nbFailedAssignments=139 nbBacktracks=211 nbVisitedNodes=641 nbRestartNogoods=12 mapSize=177
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.164 cpuTime=0.12 mem=14M827
0.98
0.98 search
0.98 run=6 nbConstraintChecks=594896 nbPropagations=34645 nbRevisions=339519 nbUselessRevisions=264514
0.98 nbAssignments=580 nbFailedAssignments=215 nbBacktracks=327 nbVisitedNodes=978 nbRestartNogoods=16 mapSize=277
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.206 cpuTime=0.16 mem=14M827
1.04
1.04 search
1.04 run=7 nbConstraintChecks=908247 nbPropagations=51742 nbRevisions=514061 nbUselessRevisions=398498
1.04 nbAssignments=894 nbFailedAssignments=354 nbBacktracks=498 nbVisitedNodes=1527 nbRestartNogoods=20 mapSize=421
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.269 cpuTime=0.23 mem=14M827
1.13
1.13 search
1.13 run=8 nbConstraintChecks=1356135 nbPropagations=76704 nbRevisions=772195 nbUselessRevisions=596476
1.13 nbAssignments=1331 nbFailedAssignments=522 nbBacktracks=757 nbVisitedNodes=2264 nbRestartNogoods=25
1.13 mapSize=630 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.36 cpuTime=0.31 mem=14M827
1.28
1.28 search
1.28 run=9 nbConstraintChecks=2143804 nbPropagations=114740 nbRevisions=1173693 nbUselessRevisions=903421
1.28 nbAssignments=2016 nbFailedAssignments=818 nbBacktracks=1143 nbVisitedNodes=3481 nbRestartNogoods=28
1.28 mapSize=965 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.51 cpuTime=0.45 mem=14M827
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=14M827)
1.46
1.46 search
1.46 run=10 nbConstraintChecks=3150314 nbPropagations=170187 nbRevisions=1760892 nbUselessRevisions=1352141
1.46 nbAssignments=2956 nbFailedAssignments=1173 nbBacktracks=1720 nbVisitedNodes=5105 nbRestartNogoods=34
1.46 => wckTime=0.69 cpuTime=0.63 mem=14M827
1.73
1.73 search
1.73 run=11 nbConstraintChecks=4790120 nbPropagations=253685 nbRevisions=2654554 nbUselessRevisions=2035164
1.73 nbAssignments=4436 nbFailedAssignments=1786 nbBacktracks=2584 nbVisitedNodes=7693 nbRestartNogoods=44
1.73 => wckTime=0.959 cpuTime=0.89 mem=14M827
2.10
2.10 search
2.10 run=12 nbConstraintChecks=7003896 nbPropagations=377253 nbRevisions=3973591 nbUselessRevisions=3043140
2.10 nbAssignments=6615 nbFailedAssignments=2663 nbBacktracks=3882 nbVisitedNodes=11472 nbRestartNogoods=50
2.10 => wckTime=1.326 cpuTime=1.26 mem=14M827
2.67
2.67 search
2.67 run=13 nbConstraintChecks=10486878 nbPropagations=561971 nbRevisions=5947753 nbUselessRevisions=4550603
2.67 nbAssignments=9805 nbFailedAssignments=3900 nbBacktracks=5828 nbVisitedNodes=17004 nbRestartNogoods=56
2.67 => wckTime=1.897 cpuTime=1.83 mem=14M827
3.53
3.53 search
3.53 run=14 nbConstraintChecks=15779093 nbPropagations=838134 nbRevisions=8908201 nbUselessRevisions=6808487
3.53 nbAssignments=14652 nbFailedAssignments=5822 nbBacktracks=8750 nbVisitedNodes=25396 nbRestartNogoods=60
3.53 => wckTime=2.754 cpuTime=2.68 mem=14M827
4.89
4.89 search
4.89 run=15 nbConstraintChecks=24368287 nbPropagations=1257983 nbRevisions=13437414 nbUselessRevisions=10262552
4.89 nbAssignments=22127 nbFailedAssignments=8914 nbBacktracks=13129 nbVisitedNodes=38536 nbRestartNogoods=65
4.89 => wckTime=4.113 cpuTime=4.04 mem=14M827
6.81
6.81 search
6.81 run=16 nbConstraintChecks=36275590 nbPropagations=1883285 nbRevisions=20189693 nbUselessRevisions=15412090
6.81 nbAssignments=33178 nbFailedAssignments=13392 nbBacktracks=19699 nbVisitedNodes=57726 nbRestartNogoods=76
6.81 => wckTime=6.041 cpuTime=5.97 mem=14M827
7.65
7.65 search
7.65 run=17 nbConstraintChecks=41479770 nbPropagations=2595026 nbRevisions=27882294 nbUselessRevisions=21274342
7.65 nbAssignments=37795 nbFailedAssignments=15277 nbBacktracks=22391 nbVisitedNodes=65774 nbRestartNogoods=81
7.65 => wckTime=6.874 cpuTime=6.8 mem=14M827
7.65
7.65 global
7.65 nbConstraintChecks=41531974 nbPropagations=2595812 nbRevisions=27888188 nbUselessRevisions=21279061
7.65 nbRestartNogoods=81 solvingWckTime=6.875 solvingCpuTime=6.8 expiredTime=no totalExploration=no
7.65 nbFoundSolutions=1 globalCpuTime=7.18
7.65 => wckTime=7.349 cpuTime=7.13 mem=14M827
7.65
7.65 s SATISFIABLE
7.65 v 0 7 10 0 8 4 4 10 8 9 15 2 15 0 6 3 4 4 8 11 15 0 0 6 10 15 5 13 8 9 10 9 14 0 1 12 2 1 9 5
7.65 d NODES 37795
7.65 d CHECKS 41531974
7.65
7.65 totalWckTime=7.425 totalCpuTime=7.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-229406-1168306171 -o ROOT/results/node5/solver-229406-1168306171 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229406-1168306171/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.93 1.00 1.08 3/78 27674
/proc/meminfo: memFree=1172920/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=1784 CPUtime=0
/proc/27673/stat : 27673 (java) D 27671 27673 26099 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 159231543 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27673/statm: 446 160 125 14 0 91 0
[startup+0.103267 s]
/proc/loadavg: 0.93 1.00 1.08 3/78 27674
/proc/meminfo: memFree=1172920/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=914988 CPUtime=0.08
/proc/27673/stat : 27673 (java) R 27671 27673 26099 0 -1 0 3013 0 1 0 7 1 0 0 16 0 8 0 159231543 936947712 2759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27673/statm: 228747 2759 1434 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511311 s]
/proc/loadavg: 0.93 1.00 1.08 3/78 27674
/proc/meminfo: memFree=1172920/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=915328 CPUtime=0.49
/proc/27673/stat : 27673 (java) R 27671 27673 26099 0 -1 0 6711 0 1 0 45 4 0 0 16 0 8 0 159231543 937295872 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27673/statm: 228832 6450 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3324 s]
/proc/loadavg: 0.93 1.00 1.08 2/85 27681
/proc/meminfo: memFree=1149056/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=915452 CPUtime=1.3
/proc/27673/stat : 27673 (java) R 27671 27673 26099 0 -1 0 8696 0 1 0 124 6 0 0 17 0 8 0 159231543 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27673/statm: 228863 8434 2524 14 0 215333 0
[pid=27673/tid=27675] ppid=27671 vsize=915452 CPUtime=0.03
/proc/27673/task/27675/stat : 27675 (java) S 27671 27673 26099 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 159231547 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27673/tid=27676] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27676/stat : 27676 (java) S 27671 27673 26099 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 159231547 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27677] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27677/stat : 27677 (java) S 27671 27673 26099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159231548 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27678] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27678/stat : 27678 (java) S 27671 27673 26099 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 159231551 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27679] ppid=27671 vsize=915452 CPUtime=0.2
/proc/27673/task/27679/stat : 27679 (java) S 27671 27673 26099 0 -1 64 385 0 0 0 20 0 0 0 16 0 8 0 159231551 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27680] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27680/stat : 27680 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159231551 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27681] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27681/stat : 27681 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159231551 937422848 8434 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) 915452
[startup+2.96958 s]
/proc/loadavg: 0.93 1.00 1.08 2/85 27681
/proc/meminfo: memFree=1148864/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=915452 CPUtime=2.94
/proc/27673/stat : 27673 (java) R 27671 27673 26099 0 -1 0 8713 0 1 0 288 6 0 0 17 0 8 0 159231543 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27673/statm: 228863 8449 2524 14 0 215333 0
[pid=27673/tid=27675] ppid=27671 vsize=915452 CPUtime=0.03
/proc/27673/task/27675/stat : 27675 (java) S 27671 27673 26099 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 159231547 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27676] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27676/stat : 27676 (java) S 27671 27673 26099 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 159231547 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27677] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27677/stat : 27677 (java) S 27671 27673 26099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159231548 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27678] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27678/stat : 27678 (java) S 27671 27673 26099 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 159231551 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27679] ppid=27671 vsize=915452 CPUtime=0.21
/proc/27673/task/27679/stat : 27679 (java) S 27671 27673 26099 0 -1 64 391 0 0 0 21 0 0 0 16 0 8 0 159231551 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27680] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27680/stat : 27680 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159231551 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27681] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27681/stat : 27681 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159231551 937422848 8449 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) 915452
[startup+6.27096 s]
/proc/loadavg: 0.93 1.00 1.08 2/85 27681
/proc/meminfo: memFree=1148736/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=915452 CPUtime=6.24
/proc/27673/stat : 27673 (java) R 27671 27673 26099 0 -1 0 8718 0 1 0 618 6 0 0 23 0 8 0 159231543 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27673/statm: 228863 8454 2524 14 0 215333 0
[pid=27673/tid=27675] ppid=27671 vsize=915452 CPUtime=0.03
/proc/27673/task/27675/stat : 27675 (java) S 27671 27673 26099 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 159231547 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27676] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27676/stat : 27676 (java) S 27671 27673 26099 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 159231547 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27677] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27677/stat : 27677 (java) S 27671 27673 26099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159231548 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27678] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27678/stat : 27678 (java) S 27671 27673 26099 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 159231551 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27679] ppid=27671 vsize=915452 CPUtime=0.21
/proc/27673/task/27679/stat : 27679 (java) S 27671 27673 26099 0 -1 64 391 0 0 0 21 0 0 0 16 0 8 0 159231551 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27680] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27680/stat : 27680 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159231551 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27681] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27681/stat : 27681 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159231551 937422848 8454 18446744073709551615 134512640 134570532 4294956464 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) 915452
Child status: 0
Real time (s): 7.68546
CPU time (s): 7.64484
CPU user time (s): 7.57085
CPU system time (s): 0.073988
CPU usage (%): 99.4714
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.57085
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8815
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= 968
involuntary context switches= 231
runsolver used 0.013997 s user time and 0.020996 s system time
The end
Begin job on node5 on Tue Jan 9 01:29:31 UTC 2007
IDJOB= 229406
IDBENCH= 6302
FILE ID= node5/229406-1168306171
PBS_JOBID= 3502256
Free space on /tmp= 66356 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-57_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229406-1168306171/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-229406-1168306171 -o ROOT/results/node5/solver-229406-1168306171 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229406-1168306171/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4ebeaf1f45841fb7b55f99f32cebce1b
RANDOM SEED= 290190462
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.240
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.240
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: 1173272 kB
Buffers: 79772 kB
Cached: 694476 kB
SwapCached: 0 kB
Active: 338728 kB
Inactive: 478636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1173272 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 62104 kB
Slab: 50764 kB
Committed_AS: 4339036 kB
PageTables: 1800 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= 66356 MiB
End job on node5 on Tue Jan 9 01:29:39 UTC 2007