0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/223847-1168266717/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.45 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.45
0.45 relations being loaded...
0.54
0.54 constraints being loaded...
0.64 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=13 maxArity=2
0.64 => wckTime=0.287 cpuTime=0.22 mem=13M827
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.478 cpuTime=0.34 mem=14M839
0.88
0.88 preprocessing
0.88 nbConstraintChecks=65268 nbPropagations=759 nbRevisions=4700 nbUselessRevisions=3661 nbSingletonTests=48
0.88 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.044 cpuTime=0.03 mem=14M839
0.90
0.90 search
0.90 run=0 nbConstraintChecks=38591 nbPropagations=1330 nbRevisions=8747 nbUselessRevisions=6508 nbAssignments=24
0.90 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.065 cpuTime=0.04 mem=14M839
0.92
0.92 search
0.92 run=1 nbConstraintChecks=105845 nbPropagations=3625 nbRevisions=25351 nbUselessRevisions=18382
0.92 nbAssignments=65 nbFailedAssignments=28 nbBacktracks=26 nbVisitedNodes=112 nbRestartNogoods=3 mapSize=25
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.085 cpuTime=0.06 mem=14M839
0.94
0.94 search
0.94 run=2 nbConstraintChecks=192688 nbPropagations=7221 nbRevisions=52623 nbUselessRevisions=37672
0.94 nbAssignments=125 nbFailedAssignments=59 nbBacktracks=50 nbVisitedNodes=222 nbRestartNogoods=8 mapSize=48
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.105 cpuTime=0.07 mem=14M839
0.95
0.96 search
0.96 run=3 nbConstraintChecks=274360 nbPropagations=12207 nbRevisions=90059 nbUselessRevisions=63934
0.96 nbAssignments=191 nbFailedAssignments=88 nbBacktracks=85 nbVisitedNodes=335 nbRestartNogoods=10 mapSize=81
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.121 cpuTime=0.09 mem=14M839
0.97
0.97 search
0.98 run=4 nbConstraintChecks=365070 nbPropagations=18818 nbRevisions=139862 nbUselessRevisions=98725
0.98 nbAssignments=266 nbFailedAssignments=110 nbBacktracks=135 nbVisitedNodes=461 nbRestartNogoods=11 mapSize=120
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.14 cpuTime=0.1 mem=14M839
1.01
1.01 search
1.01 run=5 nbConstraintChecks=569074 nbPropagations=28882 nbRevisions=218561 nbUselessRevisions=154087
1.01 nbAssignments=440 nbFailedAssignments=203 nbBacktracks=212 nbVisitedNodes=779 nbRestartNogoods=14 mapSize=187
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.175 cpuTime=0.14 mem=14M839
1.05
1.05 search
1.05 run=6 nbConstraintChecks=851057 nbPropagations=43620 nbRevisions=334138 nbUselessRevisions=234679
1.05 nbAssignments=648 nbFailedAssignments=292 nbBacktracks=327 nbVisitedNodes=1144 nbRestartNogoods=19 mapSize=280
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.22 cpuTime=0.18 mem=14M839
1.11
1.11 search
1.11 run=7 nbConstraintChecks=1253498 nbPropagations=64888 nbRevisions=500158 nbUselessRevisions=350226
1.11 nbAssignments=957 nbFailedAssignments=426 nbBacktracks=497 nbVisitedNodes=1682 nbRestartNogoods=23 mapSize=418
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.28 cpuTime=0.24 mem=14M839
1.24
1.24 search
1.24 run=8 nbConstraintChecks=2022783 nbPropagations=98208 nbRevisions=764081 nbUselessRevisions=532987
1.24 nbAssignments=1500 nbFailedAssignments=696 nbBacktracks=754 nbVisitedNodes=2667 nbRestartNogoods=29
1.24 mapSize=654 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.402 cpuTime=0.35 mem=14M839
1.38
1.38 search
1.38 run=9 nbConstraintChecks=3003672 nbPropagations=148043 nbRevisions=1157787 nbUselessRevisions=804724
1.38 nbAssignments=2228 nbFailedAssignments=1034 nbBacktracks=1139 nbVisitedNodes=3963 nbRestartNogoods=42
1.38 mapSize=989 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.546 cpuTime=0.48 mem=14M839
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=14M839)
1.60
1.60 search
1.60 run=10 nbConstraintChecks=4733539 nbPropagations=224516 nbRevisions=1770848 nbUselessRevisions=1229355
1.60 nbAssignments=3398 nbFailedAssignments=1623 nbBacktracks=1715 nbVisitedNodes=6112 nbRestartNogoods=47
1.60 => wckTime=0.769 cpuTime=0.7 mem=14M839
1.88
1.88 search
1.88 run=11 nbConstraintChecks=6947757 nbPropagations=338358 nbRevisions=2672507 nbUselessRevisions=1851042
1.88 nbAssignments=4999 nbFailedAssignments=2348 nbBacktracks=2580 nbVisitedNodes=8963 nbRestartNogoods=61
1.88 => wckTime=1.051 cpuTime=0.98 mem=14M839
2.37
2.37 search
2.37 run=12 nbConstraintChecks=10788335 nbPropagations=509953 nbRevisions=4044349 nbUselessRevisions=2795684
2.37 nbAssignments=7624 nbFailedAssignments=3671 nbBacktracks=3880 nbVisitedNodes=13759 nbRestartNogoods=65
2.37 => wckTime=1.533 cpuTime=1.43 mem=14M839
2.94
2.94 search
2.94 run=13 nbConstraintChecks=15309067 nbPropagations=758510 nbRevisions=6011607 nbUselessRevisions=4147773
2.94 nbAssignments=11030 nbFailedAssignments=5125 nbBacktracks=5826 nbVisitedNodes=19741 nbRestartNogoods=76
2.94 => wckTime=2.109 cpuTime=2.01 mem=15M815
3.93
3.93 search
3.93 run=14 nbConstraintChecks=23319730 nbPropagations=1137136 nbRevisions=9027785 nbUselessRevisions=6227145
3.93 nbAssignments=16727 nbFailedAssignments=7886 nbBacktracks=8746 nbVisitedNodes=30102 nbRestartNogoods=86
3.93 => wckTime=3.097 cpuTime=3.0 mem=15M815
5.36
5.36 search
5.36 run=15 nbConstraintChecks=35039301 nbPropagations=1703875 nbRevisions=13546133 nbUselessRevisions=9344489
5.36 nbAssignments=25124 nbFailedAssignments=11890 nbBacktracks=13125 nbVisitedNodes=45302 nbRestartNogoods=98
5.36 => wckTime=4.529 cpuTime=4.44 mem=15M815
7.40
7.40 search
7.40 run=16 nbConstraintChecks=51377400 nbPropagations=2539847 nbRevisions=20188402 nbUselessRevisions=13921508
7.40 nbAssignments=37036 nbFailedAssignments=17217 nbBacktracks=19695 nbVisitedNodes=66459 nbRestartNogoods=108
7.40 => wckTime=6.562 cpuTime=6.47 mem=15M815
7.52
7.52 search
7.52 run=17 nbConstraintChecks=52414482 nbPropagations=3392277 nbRevisions=26960950 nbUselessRevisions=18588404
7.52 nbAssignments=37857 nbFailedAssignments=17608 nbBacktracks=20085 nbVisitedNodes=67903 nbRestartNogoods=116
7.52 => wckTime=6.69 cpuTime=6.6 mem=15M815
7.53
7.53 global
7.53 nbConstraintChecks=52479750 nbPropagations=3393036 nbRevisions=26965650 nbUselessRevisions=18592065
7.53 nbRestartNogoods=116 solvingWckTime=6.692 solvingCpuTime=6.6 expiredTime=no totalExploration=no
7.53 nbFoundSolutions=1 globalCpuTime=6.99
7.53 => wckTime=7.173 cpuTime=6.94 mem=15M815
7.53
7.53 s SATISFIABLE
7.53 v 3 0 21 14 8 10 19 15 24 21 4 10 19 15 16 6 23 5 3 19 21 18 16 13 11 9 6 8 16 10 17 14 11 21 3 1 7 7 22 16
7.53 d NODES 37857
7.53 d CHECKS 52479750
7.53
7.53 totalWckTime=7.249 totalCpuTime=6.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-223847-1168266717 -o ROOT/results/node16/solver-223847-1168266717 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223847-1168266717/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.86 1.65 1.51 4/88 28995
/proc/meminfo: memFree=1670848/2055920 swapFree=4191880/4192956
[pid=28994] ppid=28992 vsize=1784 CPUtime=0
/proc/28994/stat : 28994 (java) R 28992 28994 28927 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 175066590 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7205668 0 0 4096 0 0 0 0 17 0 0 0
/proc/28994/statm: 446 163 128 14 0 91 0
[startup+0.108121 s]
/proc/loadavg: 1.86 1.65 1.51 4/88 28995
/proc/meminfo: memFree=1670848/2055920 swapFree=4191880/4192956
[pid=28994] ppid=28992 vsize=907676 CPUtime=0.03
/proc/28994/stat : 28994 (java) R 28992 28994 28927 0 -1 0 2258 0 1 0 3 0 0 0 20 0 4 0 175066590 929460224 2005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155166642 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/28994/statm: 226919 2005 1135 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.516046 s]
/proc/loadavg: 1.86 1.65 1.51 4/88 28995
/proc/meminfo: memFree=1670848/2055920 swapFree=4191880/4192956
[pid=28994] ppid=28992 vsize=915328 CPUtime=0.43
/proc/28994/stat : 28994 (java) R 28992 28994 28927 0 -1 0 6756 0 1 0 40 3 0 0 25 0 8 0 175066590 937295872 6495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28994/statm: 228832 6496 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.3389 s]
/proc/loadavg: 1.86 1.65 1.51 3/95 29002
/proc/meminfo: memFree=1647048/2055920 swapFree=4191880/4192956
[pid=28994] ppid=28992 vsize=915452 CPUtime=1.26
/proc/28994/stat : 28994 (java) R 28992 28994 28927 0 -1 0 8707 0 1 0 120 6 0 0 25 0 8 0 175066590 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28994/statm: 228863 8445 2524 14 0 215333 0
[pid=28994/tid=28996] ppid=28992 vsize=915452 CPUtime=0.03
/proc/28994/task/28996/stat : 28996 (java) S 28992 28994 28927 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175066600 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=28997] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/28997/stat : 28997 (java) S 28992 28994 28927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175066600 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=28998] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/28998/stat : 28998 (java) S 28992 28994 28927 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175066601 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=28999] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/28999/stat : 28999 (java) S 28992 28994 28927 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175066604 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=29000] ppid=28992 vsize=915452 CPUtime=0.19
/proc/28994/task/29000/stat : 29000 (java) S 28992 28994 28927 0 -1 64 384 0 0 0 18 1 0 0 16 0 8 0 175066604 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=29001] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/29001/stat : 29001 (java) S 28992 28994 28927 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175066604 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=29002] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/29002/stat : 29002 (java) S 28992 28994 28927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175066604 937422848 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915452
[startup+2.9916 s]
/proc/loadavg: 1.86 1.65 1.51 3/95 29002
/proc/meminfo: memFree=1646792/2055920 swapFree=4191880/4192956
[pid=28994] ppid=28992 vsize=915452 CPUtime=2.88
/proc/28994/stat : 28994 (java) R 28992 28994 28927 0 -1 0 8736 0 1 0 282 6 0 0 25 0 8 0 175066590 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791052 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28994/statm: 228863 8473 2524 14 0 215333 0
[pid=28994/tid=28996] ppid=28992 vsize=915452 CPUtime=0.03
/proc/28994/task/28996/stat : 28996 (java) S 28992 28994 28927 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175066600 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=28997] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/28997/stat : 28997 (java) S 28992 28994 28927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175066600 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=28998] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/28998/stat : 28998 (java) S 28992 28994 28927 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175066601 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=28999] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/28999/stat : 28999 (java) S 28992 28994 28927 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175066604 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=29000] ppid=28992 vsize=915452 CPUtime=0.2
/proc/28994/task/29000/stat : 29000 (java) S 28992 28994 28927 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 175066604 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=29001] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/29001/stat : 29001 (java) S 28992 28994 28927 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175066604 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=29002] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/29002/stat : 29002 (java) S 28992 28994 28927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175066604 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915452
[startup+6.27099 s]
/proc/loadavg: 1.88 1.65 1.52 3/95 29002
/proc/meminfo: memFree=1646728/2055920 swapFree=4191880/4192956
[pid=28994] ppid=28992 vsize=915452 CPUtime=6.16
/proc/28994/stat : 28994 (java) R 28992 28994 28927 0 -1 0 8742 0 1 0 610 6 0 0 25 0 8 0 175066590 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28994/statm: 228863 8478 2524 14 0 215333 0
[pid=28994/tid=28996] ppid=28992 vsize=915452 CPUtime=0.03
/proc/28994/task/28996/stat : 28996 (java) S 28992 28994 28927 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175066600 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=28997] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/28997/stat : 28997 (java) S 28992 28994 28927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175066600 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=28998] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/28998/stat : 28998 (java) S 28992 28994 28927 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175066601 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=28999] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/28999/stat : 28999 (java) S 28992 28994 28927 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175066604 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=29000] ppid=28992 vsize=915452 CPUtime=0.2
/proc/28994/task/29000/stat : 29000 (java) S 28992 28994 28927 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 175066604 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=29001] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/29001/stat : 29001 (java) S 28992 28994 28927 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175066604 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28994/tid=29002] ppid=28992 vsize=915452 CPUtime=0
/proc/28994/task/29002/stat : 29002 (java) S 28992 28994 28927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175066604 937422848 8478 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) 915452
Child status: 0
Real time (s): 7.58091
CPU time (s): 7.43887
CPU user time (s): 7.36788
CPU system time (s): 0.070989
CPU usage (%): 98.1263
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.36788
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= 8837
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= 1241
involuntary context switches= 1659
runsolver used 0.011998 s user time and 0.029995 s system time
The end
Begin job on node16 on Mon Jan 8 14:31:57 UTC 2007
IDJOB= 223847
IDBENCH= 5684
FILE ID= node16/223847-1168266717
PBS_JOBID= 3482871
Free space on /tmp= 66520 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223847-1168266717/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-223847-1168266717 -o ROOT/results/node16/solver-223847-1168266717 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223847-1168266717/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7a55936100ebdcbb083614419859e5ef
RANDOM SEED= 68971181
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.220
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.220
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: 1671328 kB
Buffers: 71380 kB
Cached: 208876 kB
SwapCached: 448 kB
Active: 183056 kB
Inactive: 148380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1671328 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3524 kB
Writeback: 0 kB
Mapped: 71008 kB
Slab: 37944 kB
Committed_AS: 4884224 kB
PageTables: 2384 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= 66520 MiB
End job on node16 on Mon Jan 8 14:32:05 UTC 2007