0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/205280-1168167409/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.42 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.49
0.49 constraints being loaded...
0.58 nbConstraints=222 nbRelationTypes=222 nbExtensionStructures=222 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=222 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2706 maxDegree=21
0.58 maxArity=2
0.58 => wckTime=0.255 cpuTime=0.19 mem=10M852
0.62
0.62 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.448 cpuTime=0.33 mem=14M680
0.82
0.82 preprocessing
0.82 nbConstraintChecks=30500 nbPropagations=586 nbRevisions=3969 nbUselessRevisions=3098 nbSingletonTests=37
0.82 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.82 => wckTime=0.04 cpuTime=0.02 mem=14M680
0.84
0.84 search
0.84 run=0 nbConstraintChecks=21089 nbPropagations=970 nbRevisions=8004 nbUselessRevisions=6205 nbAssignments=21
0.84 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.059 cpuTime=0.04 mem=14M680
0.85
0.85 search
0.85 run=1 nbConstraintChecks=54056 nbPropagations=2527 nbRevisions=22623 nbUselessRevisions=17637 nbAssignments=56
0.85 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=100 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.075 cpuTime=0.05 mem=14M680
0.87
0.87 search
0.87 run=2 nbConstraintChecks=98229 nbPropagations=4876 nbRevisions=45403 nbUselessRevisions=35519
0.87 nbAssignments=109 nbFailedAssignments=38 nbBacktracks=50 nbVisitedNodes=171 nbRestartNogoods=6 mapSize=43
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.093 cpuTime=0.06 mem=14M680
0.89
0.89 search
0.89 run=3 nbConstraintChecks=174194 nbPropagations=8595 nbRevisions=82410 nbUselessRevisions=64560
0.89 nbAssignments=188 nbFailedAssignments=62 nbBacktracks=85 nbVisitedNodes=280 nbRestartNogoods=11 mapSize=75
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.11 cpuTime=0.08 mem=14M680
0.91
0.91 search
0.91 run=4 nbConstraintChecks=251609 nbPropagations=13685 nbRevisions=135140 nbUselessRevisions=106083
0.91 nbAssignments=278 nbFailedAssignments=97 nbBacktracks=135 nbVisitedNodes=436 nbRestartNogoods=12 mapSize=119
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.129 cpuTime=0.09 mem=14M680
0.94
0.94 search
0.94 run=5 nbConstraintChecks=399834 nbPropagations=21291 nbRevisions=218553 nbUselessRevisions=171888
0.94 nbAssignments=430 nbFailedAssignments=169 nbBacktracks=213 nbVisitedNodes=714 nbRestartNogoods=17 mapSize=190
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.165 cpuTime=0.12 mem=14M680
0.98
0.98 search
0.98 run=6 nbConstraintChecks=583831 nbPropagations=32178 nbRevisions=339443 nbUselessRevisions=267009
0.98 nbAssignments=630 nbFailedAssignments=252 nbBacktracks=326 nbVisitedNodes=1067 nbRestartNogoods=19 mapSize=290
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.204 cpuTime=0.16 mem=14M680
1.04
1.04 search
1.04 run=7 nbConstraintChecks=861892 nbPropagations=47960 nbRevisions=519175 nbUselessRevisions=408730
1.04 nbAssignments=935 nbFailedAssignments=383 nbBacktracks=496 nbVisitedNodes=1604 nbRestartNogoods=24 mapSize=433
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.264 cpuTime=0.22 mem=14M680
1.14
1.14 search
1.14 run=8 nbConstraintChecks=1308973 nbPropagations=71378 nbRevisions=787536 nbUselessRevisions=618984
1.14 nbAssignments=1413 nbFailedAssignments=600 nbBacktracks=752 nbVisitedNodes=2456 nbRestartNogoods=29
1.14 mapSize=657 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.358 cpuTime=0.31 mem=14M680
1.27
1.27 search
1.27 run=9 nbConstraintChecks=1938252 nbPropagations=105761 nbRevisions=1187150 nbUselessRevisions=932623
1.27 nbAssignments=2093 nbFailedAssignments=894 nbBacktracks=1136 nbVisitedNodes=3670 nbRestartNogoods=33
1.27 mapSize=992 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.492 cpuTime=0.43 mem=14M680
1.28
1.28 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=14M680)
1.46
1.46 search
1.46 run=10 nbConstraintChecks=2948948 nbPropagations=157808 nbRevisions=1800025 nbUselessRevisions=1414580
1.46 nbAssignments=3143 nbFailedAssignments=1365 nbBacktracks=1713 nbVisitedNodes=5547 nbRestartNogoods=37
1.46 => wckTime=0.682 cpuTime=0.61 mem=14M680
1.73
1.73 search
1.73 run=11 nbConstraintChecks=4520479 nbPropagations=236327 nbRevisions=2727471 nbUselessRevisions=2143400
1.73 nbAssignments=4687 nbFailedAssignments=2041 nbBacktracks=2577 nbVisitedNodes=8335 nbRestartNogoods=44
1.73 => wckTime=0.95 cpuTime=0.87 mem=14M680
2.11
2.11 search
2.11 run=12 nbConstraintChecks=6824126 nbPropagations=353659 nbRevisions=4111809 nbUselessRevisions=3229521
2.11 nbAssignments=6968 nbFailedAssignments=3020 nbBacktracks=3874 nbVisitedNodes=12408 nbRestartNogoods=52
2.11 => wckTime=1.334 cpuTime=1.26 mem=14M680
2.71
2.71 search
2.71 run=13 nbConstraintChecks=10457464 nbPropagations=530402 nbRevisions=6214071 nbUselessRevisions=4879112
2.71 nbAssignments=10497 nbFailedAssignments=4599 nbBacktracks=5820 nbVisitedNodes=18775 nbRestartNogoods=61
2.71 => wckTime=1.932 cpuTime=1.85 mem=14M680
3.35
3.35 search
3.35 run=14 nbConstraintChecks=14334486 nbPropagations=770058 nbRevisions=9084000 nbUselessRevisions=7130743
3.35 nbAssignments=14210 nbFailedAssignments=6246 nbBacktracks=7887 nbVisitedNodes=25456 nbRestartNogoods=61
3.35 => wckTime=2.569 cpuTime=2.49 mem=14M680
3.35
3.35 global
3.35 nbConstraintChecks=14364986 nbPropagations=770644 nbRevisions=9087969 nbUselessRevisions=7133841
3.35 nbRestartNogoods=61 solvingWckTime=2.57 solvingCpuTime=2.49 expiredTime=no totalExploration=yes
3.35 nbFoundSolutions=0 globalCpuTime=2.86
3.35 => wckTime=3.021 cpuTime=2.82 mem=14M680
3.35
3.35 s UNSATISFIABLE
3.35 d NODES 14210
3.35 d CHECKS 14364986
3.35
3.35 totalWckTime=3.098 totalCpuTime=2.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-205280-1168167409 -o ROOT/results/node30/solver-205280-1168167409 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205280-1168167409/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.20 1.06 1.48 7/85 30351
/proc/meminfo: memFree=1652968/2055920 swapFree=4191880/4192956
[pid=30350] ppid=30346 vsize=18540 CPUtime=0
/proc/30350/stat : 30350 (runsolver) R 30346 30350 29992 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 165135339 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/30350/statm: 18 2 0 0 0 1 0
[startup+0.104448 s]
/proc/loadavg: 0.20 1.06 1.48 7/85 30351
/proc/meminfo: memFree=1652968/2055920 swapFree=4191880/4192956
[pid=30350] ppid=30346 vsize=908840 CPUtime=0.06
/proc/30350/stat : 30350 (java) R 30346 30350 29992 0 -1 0 2528 0 1 0 5 1 0 0 23 0 6 0 165135339 930652160 2275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155094912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30350/statm: 227210 2275 1240 14 0 214793 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 908840
[startup+0.516474 s]
/proc/loadavg: 0.20 1.06 1.48 7/85 30351
/proc/meminfo: memFree=1652968/2055920 swapFree=4191880/4192956
[pid=30350] ppid=30346 vsize=915328 CPUtime=0.46
/proc/30350/stat : 30350 (java) S 30346 30350 29992 0 -1 0 6512 0 1 0 43 3 0 0 16 0 8 0 165135339 937295872 6251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30350/statm: 228832 6251 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.34252 s]
/proc/loadavg: 0.20 1.06 1.48 2/88 30358
/proc/meminfo: memFree=1629712/2055920 swapFree=4191880/4192956
[pid=30350] ppid=30346 vsize=915452 CPUtime=1.28
/proc/30350/stat : 30350 (java) R 30346 30350 29992 0 -1 0 8635 0 1 0 123 5 0 0 16 0 8 0 165135339 937422848 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30350/statm: 228863 8373 2524 14 0 215333 0
[pid=30350/tid=30352] ppid=30346 vsize=915452 CPUtime=0.02
/proc/30350/task/30352/stat : 30352 (java) S 30346 30350 29992 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 165135346 937422848 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30353] ppid=30346 vsize=915452 CPUtime=0
/proc/30350/task/30353/stat : 30353 (java) S 30346 30350 29992 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 165135346 937422848 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30354] ppid=30346 vsize=915452 CPUtime=0
/proc/30350/task/30354/stat : 30354 (java) S 30346 30350 29992 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165135346 937422848 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30355] ppid=30346 vsize=915452 CPUtime=0
/proc/30350/task/30355/stat : 30355 (java) S 30346 30350 29992 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165135349 937422848 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30356] ppid=30346 vsize=915452 CPUtime=0.19
/proc/30350/task/30356/stat : 30356 (java) S 30346 30350 29992 0 -1 64 385 0 0 0 18 1 0 0 16 0 8 0 165135349 937422848 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30357] ppid=30346 vsize=915452 CPUtime=0
/proc/30350/task/30357/stat : 30357 (java) S 30346 30350 29992 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165135349 937422848 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30358] ppid=30346 vsize=915452 CPUtime=0
/proc/30350/task/30358/stat : 30358 (java) S 30346 30350 29992 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165135349 937422848 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452
[startup+2.97863 s]
/proc/loadavg: 0.20 1.06 1.48 2/88 30358
/proc/meminfo: memFree=1629584/2055920 swapFree=4191880/4192956
[pid=30350] ppid=30346 vsize=915452 CPUtime=2.91
/proc/30350/stat : 30350 (java) R 30346 30350 29992 0 -1 0 8652 0 1 0 286 5 0 0 17 0 8 0 165135339 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30350/statm: 228863 8388 2524 14 0 215333 0
[pid=30350/tid=30352] ppid=30346 vsize=915452 CPUtime=0.02
/proc/30350/task/30352/stat : 30352 (java) S 30346 30350 29992 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 165135346 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30353] ppid=30346 vsize=915452 CPUtime=0
/proc/30350/task/30353/stat : 30353 (java) S 30346 30350 29992 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 165135346 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30354] ppid=30346 vsize=915452 CPUtime=0
/proc/30350/task/30354/stat : 30354 (java) S 30346 30350 29992 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165135346 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30355] ppid=30346 vsize=915452 CPUtime=0
/proc/30350/task/30355/stat : 30355 (java) S 30346 30350 29992 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165135349 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30356] ppid=30346 vsize=915452 CPUtime=0.2
/proc/30350/task/30356/stat : 30356 (java) S 30346 30350 29992 0 -1 64 390 0 0 0 19 1 0 0 15 0 8 0 165135349 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30357] ppid=30346 vsize=915452 CPUtime=0
/proc/30350/task/30357/stat : 30357 (java) S 30346 30350 29992 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 165135349 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30350/tid=30358] ppid=30346 vsize=915452 CPUtime=0
/proc/30350/task/30358/stat : 30358 (java) S 30346 30350 29992 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165135349 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 3.39901
CPU time (s): 3.3085
CPU user time (s): 3.24451
CPU system time (s): 0.06399
CPU usage (%): 97.337
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.24451
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8745
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= 917
involuntary context switches= 199
runsolver used 0.007998 s user time and 0.018997 s system time
The end
Begin job on node30 on Sun Jan 7 10:56:50 UTC 2007
IDJOB= 205280
IDBENCH= 4116
FILE ID= node30/205280-1168167409
PBS_JOBID= 3478742
Free space on /tmp= 66488 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205280-1168167409/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-205280-1168167409 -o ROOT/results/node30/solver-205280-1168167409 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205280-1168167409/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 77173b47c9212ff34407465289e255fd
RANDOM SEED= 806148980
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.234
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.234
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: 1653984 kB
Buffers: 40876 kB
Cached: 235344 kB
SwapCached: 268 kB
Active: 223364 kB
Inactive: 109868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1653984 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2944 kB
Writeback: 0 kB
Mapped: 74744 kB
Slab: 53796 kB
Committed_AS: 3471844 kB
PageTables: 2080 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= 66488 MiB
End job on node30 on Sun Jan 7 10:57:01 UTC 2007