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/197049-1168125193/unknown.xml
0.37
0.37 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=141 nbDomainTypes=139 minDomainSize=1 maxDomainSize=6
0.44 => wckTime=0.128 cpuTime=0.11 mem=6M886
0.44
0.44 relations being loaded...
0.47
0.47 constraints being loaded...
0.65 nbConstraints=848 nbRelationTypes=209 nbSingletonDomainVariables=1 nbExtensionStructures=848
0.65 nbSharedExtensionStructures=0 nbConflictsStructures=848 nbSharedConflictsStructures=0
0.65 nbSharedBinaryRepresentations=6191 maxDegree=14 maxArity=2
0.65 => wckTime=0.339 cpuTime=0.24 mem=11M762
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.54 cpuTime=0.36 mem=15M83
0.91
0.91 preprocessing
0.91 nbConstraintChecks=10597 nbPropagations=1347 nbRevisions=3635 nbUselessRevisions=2287 nbSingletonTests=172
0.91 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=3 detectedInconsistency=no
0.91 => wckTime=0.062 cpuTime=0.04 mem=15M83
0.94
0.94 search
0.94 run=0 nbConstraintChecks=3243 nbPropagations=1645 nbRevisions=4826 nbUselessRevisions=2956 nbAssignments=50
0.94 nbFailedAssignments=5 nbBacktracks=15 nbVisitedNodes=63 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.091 cpuTime=0.06 mem=16M75
0.95
0.95 search
0.95 run=1 nbConstraintChecks=7484 nbPropagations=3656 nbRevisions=11335 nbUselessRevisions=6952 nbAssignments=97
0.95 nbFailedAssignments=9 nbBacktracks=34 nbVisitedNodes=119 nbRestartNogoods=3 mapSize=16 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.1 cpuTime=0.06 mem=16M75
0.96
0.96 search
0.96 run=2 nbConstraintChecks=11001 nbPropagations=5986 nbRevisions=19220 nbUselessRevisions=11779
0.96 nbAssignments=144 nbFailedAssignments=12 nbBacktracks=57 nbVisitedNodes=174 nbRestartNogoods=5 mapSize=23
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.108 cpuTime=0.07 mem=16M75
0.97
0.97 search
0.97 run=3 nbConstraintChecks=17005 nbPropagations=8813 nbRevisions=29536 nbUselessRevisions=18116
0.97 nbAssignments=215 nbFailedAssignments=23 nbBacktracks=96 nbVisitedNodes=265 nbRestartNogoods=6 mapSize=40
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.118 cpuTime=0.08 mem=16M75
0.99
0.99 search
0.99 run=4 nbConstraintChecks=25273 nbPropagations=12292 nbRevisions=43022 nbUselessRevisions=26310
0.99 nbAssignments=304 nbFailedAssignments=36 nbBacktracks=146 nbVisitedNodes=380 nbRestartNogoods=9 mapSize=66
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.133 cpuTime=0.09 mem=16M75
1.01
1.01 search
1.01 run=5 nbConstraintChecks=36842 nbPropagations=16809 nbRevisions=61355 nbUselessRevisions=37653
1.01 nbAssignments=478 nbFailedAssignments=54 nbBacktracks=230 nbVisitedNodes=560 nbRestartNogoods=12 mapSize=93
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.154 cpuTime=0.11 mem=16M75
1.03
1.03 search
1.03 run=6 nbConstraintChecks=54236 nbPropagations=22707 nbRevisions=86630 nbUselessRevisions=53253
1.03 nbAssignments=670 nbFailedAssignments=78 nbBacktracks=363 nbVisitedNodes=780 nbRestartNogoods=16 mapSize=141
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.176 cpuTime=0.13 mem=16M75
1.06
1.06 search
1.06 run=7 nbConstraintChecks=74598 nbPropagations=30216 nbRevisions=120055 nbUselessRevisions=73861
1.06 nbAssignments=902 nbFailedAssignments=111 nbBacktracks=544 nbVisitedNodes=1086 nbRestartNogoods=17 mapSize=209
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.203 cpuTime=0.15 mem=16M75
1.10
1.10 search
1.10 run=8 nbConstraintChecks=115822 nbPropagations=40588 nbRevisions=170061 nbUselessRevisions=104709
1.10 nbAssignments=1233 nbFailedAssignments=168 nbBacktracks=811 nbVisitedNodes=1534 nbRestartNogoods=20
1.10 mapSize=319 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.246 cpuTime=0.19 mem=16M75
1.17
1.18 search
1.18 run=9 nbConstraintChecks=176458 nbPropagations=55432 nbRevisions=247048 nbUselessRevisions=153479
1.18 nbAssignments=1734 nbFailedAssignments=255 nbBacktracks=1195 nbVisitedNodes=2195 nbRestartNogoods=22
1.18 mapSize=468 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.322 cpuTime=0.27 mem=16M75
1.27
1.27 search
1.27 run=10 nbConstraintChecks=263256 nbPropagations=77117 nbRevisions=361448 nbUselessRevisions=226454
1.27 nbAssignments=2460 nbFailedAssignments=368 nbBacktracks=1773 nbVisitedNodes=3164 nbRestartNogoods=28
1.27 mapSize=723 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.416 cpuTime=0.34 mem=16M75
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=16M75)
1.39
1.39 search
1.39 run=11 nbConstraintChecks=411159 nbPropagations=109175 nbRevisions=539900 nbUselessRevisions=341537
1.39 nbAssignments=3495 nbFailedAssignments=520 nbBacktracks=2641 nbVisitedNodes=4526 nbRestartNogoods=31
1.39 => wckTime=0.541 cpuTime=0.47 mem=16M75
1.55
1.55 search
1.55 run=12 nbConstraintChecks=641919 nbPropagations=158083 nbRevisions=815770 nbUselessRevisions=519669
1.55 nbAssignments=5156 nbFailedAssignments=856 nbBacktracks=3940 nbVisitedNodes=6837 nbRestartNogoods=36
1.55 => wckTime=0.701 cpuTime=0.63 mem=16M75
1.79
1.79 search
1.79 run=13 nbConstraintChecks=999178 nbPropagations=232635 nbRevisions=1252046 nbUselessRevisions=806386
1.79 nbAssignments=7605 nbFailedAssignments=1325 nbBacktracks=5899 nbVisitedNodes=10195 nbRestartNogoods=39
1.79 => wckTime=0.942 cpuTime=0.86 mem=16M75
2.15
2.15 search
2.15 run=14 nbConstraintChecks=1519973 nbPropagations=343881 nbRevisions=1903365 nbUselessRevisions=1229090
2.15 nbAssignments=11305 nbFailedAssignments=2084 nbBacktracks=8824 nbVisitedNodes=15384 nbRestartNogoods=44
2.15 => wckTime=1.296 cpuTime=1.22 mem=16M75
2.69
2.69 search
2.69 run=15 nbConstraintChecks=2337057 nbPropagations=512030 nbRevisions=2904039 nbUselessRevisions=1880868
2.69 nbAssignments=16687 nbFailedAssignments=3067 nbBacktracks=13207 nbVisitedNodes=22861 nbRestartNogoods=48
2.69 => wckTime=1.837 cpuTime=1.75 mem=16M75
2.82
2.82 search
2.82 run=16 nbConstraintChecks=2522955 nbPropagations=693689 nbRevisions=3985072 nbUselessRevisions=2585936
2.82 nbAssignments=18183 nbFailedAssignments=3292 nbBacktracks=14337 nbVisitedNodes=24856 nbRestartNogoods=51
2.82 => wckTime=1.971 cpuTime=1.89 mem=16M75
2.82
2.82 global
2.82 nbConstraintChecks=2533552 nbPropagations=695036 nbRevisions=3988707 nbUselessRevisions=2588223
2.82 nbRestartNogoods=51 solvingWckTime=1.973 solvingCpuTime=1.89 expiredTime=no totalExploration=no
2.82 nbFoundSolutions=1 globalCpuTime=2.3
2.82 => wckTime=2.515 cpuTime=2.25 mem=16M75
2.83
2.83 s SATISFIABLE
2.83 v 1 3 15 12 11 17 14 0 4 7 11 16 8 2 0 6 17 15 7 11 2 3 9 14 10 17 8 16 14 7 15 13 13 3 14 11 9 2 12 16 11 3 2 5 0 8 14 16 11 3 16 9 10 15 2 17 13 7 11 16 12 9 3 6 7 1 13 10 17 12 15 4 15 8 2 13 10 1 9 5 15 11 4 14 7 1 13 2 9 14 6 2 1 0 13 11 9 8 11 4 7 16 5 8 14 7 9 17 4 5 0 5 13 8 2 15 4 10 5 3 10 6 13 15 8 17 2 1 16 5 10 4 6 16 12 6 11 8 5 10 14
2.83 d NODES 18183
2.83 d CHECKS 2533552
2.83
2.83 totalWckTime=2.592 totalCpuTime=2.3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-197049-1168125193 -o ROOT/results/node4/solver-197049-1168125193 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197049-1168125193/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.42 1.68 1.83 4/88 27626
/proc/meminfo: memFree=1780112/2055920 swapFree=4182144/4192956
[pid=27625] ppid=27623 vsize=172 CPUtime=0
/proc/27625/stat : 27625 (java) R 27623 27625 27558 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 160915727 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 0 0 0
/proc/27625/statm: 43 24 18 14 0 3 0
[startup+0.107592 s]
/proc/loadavg: 1.42 1.68 1.83 4/88 27626
/proc/meminfo: memFree=1780112/2055920 swapFree=4182144/4192956
[pid=27625] ppid=27623 vsize=913228 CPUtime=0.07
/proc/27625/stat : 27625 (java) S 27623 27625 27558 0 -1 0 2903 0 1 0 6 1 0 0 22 0 8 0 160915727 935145472 2649 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27625/statm: 228307 2650 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.515629 s]
/proc/loadavg: 1.42 1.68 1.83 4/88 27626
/proc/meminfo: memFree=1780112/2055920 swapFree=4182144/4192956
[pid=27625] ppid=27623 vsize=915328 CPUtime=0.47
/proc/27625/stat : 27625 (java) R 27623 27625 27558 0 -1 0 6367 0 1 0 44 3 0 0 25 0 8 0 160915727 937295872 6106 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27625/statm: 228832 6106 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33671 s]
/proc/loadavg: 1.42 1.68 1.83 3/95 27633
/proc/meminfo: memFree=1755416/2055920 swapFree=4182144/4192956
[pid=27625] ppid=27623 vsize=915568 CPUtime=1.29
/proc/27625/stat : 27625 (java) R 27623 27625 27558 0 -1 0 8968 0 1 0 123 6 0 0 25 0 8 0 160915727 937541632 8706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871436 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27625/statm: 228892 8706 2524 14 0 215362 0
[pid=27625/tid=27627] ppid=27623 vsize=915568 CPUtime=0.03
/proc/27625/task/27627/stat : 27627 (java) S 27623 27625 27558 0 -1 64 325 0 0 0 3 0 0 0 16 0 8 0 160915732 937541632 8706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27625/tid=27628] ppid=27623 vsize=915568 CPUtime=0
/proc/27625/task/27628/stat : 27628 (java) S 27623 27625 27558 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160915732 937541632 8706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27625/tid=27629] ppid=27623 vsize=915568 CPUtime=0
/proc/27625/task/27629/stat : 27629 (java) S 27623 27625 27558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160915732 937541632 8706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27625/tid=27630] ppid=27623 vsize=915568 CPUtime=0
/proc/27625/task/27630/stat : 27630 (java) S 27623 27625 27558 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160915736 937541632 8706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27625/tid=27631] ppid=27623 vsize=915568 CPUtime=0.25
/proc/27625/task/27631/stat : 27631 (java) S 27623 27625 27558 0 -1 64 414 0 0 0 24 1 0 0 15 0 8 0 160915736 937541632 8706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27625/tid=27632] ppid=27623 vsize=915568 CPUtime=0
/proc/27625/task/27632/stat : 27632 (java) S 27623 27625 27558 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160915736 937541632 8706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27625/tid=27633] ppid=27623 vsize=915568 CPUtime=0
/proc/27625/task/27633/stat : 27633 (java) S 27623 27625 27558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160915736 937541632 8706 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) 915568
Child status: 0
Real time (s): 2.8598
CPU time (s): 2.80157
CPU user time (s): 2.72159
CPU system time (s): 0.079987
CPU usage (%): 97.9639
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.72159
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9095
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= 1425
involuntary context switches= 1620
runsolver used 0.009998 s user time and 0.015997 s system time
The end
Begin job on node4 on Sat Jan 6 23:13:17 UTC 2007
IDJOB= 197049
IDBENCH= 3435
FILE ID= node4/197049-1168125193
PBS_JOBID= 3477565
Free space on /tmp= 66305 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-69_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197049-1168125193/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-197049-1168125193 -o ROOT/results/node4/solver-197049-1168125193 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197049-1168125193/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2b7370fa48096843ca4d6bc5594f9dd8
RANDOM SEED= 620086868
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: 1780592 kB
Buffers: 32572 kB
Cached: 113136 kB
SwapCached: 2464 kB
Active: 138060 kB
Inactive: 83116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1780592 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1948 kB
Writeback: 0 kB
Mapped: 86268 kB
Slab: 38712 kB
Committed_AS: 4088732 kB
PageTables: 2444 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= 66305 MiB
End job on node4 on Sat Jan 6 23:13:30 UTC 2007