0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/243382-1168085660/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.108 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.42
0.42 constraints being loaded...
0.52 nbConstraints=316 nbRelationTypes=11 nbExtensionStructures=11 nbSharedExtensionStructures=305
0.52 nbConflictsStructures=11 nbSharedConflictsStructures=305 nbSharedBinaryRepresentations=0 maxDegree=11
0.52 maxArity=3
0.52 => wckTime=0.218 cpuTime=0.15 mem=8M904
0.56
0.56 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.445 cpuTime=0.31 mem=16M551
0.76
0.76 preprocessing
0.76 nbConstraintChecks=0 nbPropagations=200 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.76 detectedInconsistency=no
0.76 => wckTime=0.0080 cpuTime=0.0 mem=16M551
0.80
0.80 search
0.80 run=0 nbConstraintChecks=206 nbValidityChecks=15 nbPropagations=311 nbRevisions=213 nbUselessRevisions=149
0.80 nbAssignments=84 nbFailedAssignments=2 nbBacktracks=13 nbVisitedNodes=89 nbRestartNogoods=0 mapSize=3
0.80 nbInferences=0 nbTooLargeKeys=0
0.80 => wckTime=0.05 cpuTime=0.03 mem=17M576
0.82
0.82 search
0.82 run=1 nbConstraintChecks=407 nbValidityChecks=258 nbPropagations=783 nbRevisions=790 nbUselessRevisions=542
0.82 nbAssignments=168 nbFailedAssignments=7 nbBacktracks=32 nbVisitedNodes=184 nbRestartNogoods=1 mapSize=13
0.82 nbInferences=0 nbTooLargeKeys=0
0.82 => wckTime=0.068 cpuTime=0.04 mem=17M576
0.83
0.83 search
0.83 run=2 nbConstraintChecks=641 nbValidityChecks=531 nbPropagations=1444 nbRevisions=1735 nbUselessRevisions=1141
0.83 nbAssignments=235 nbFailedAssignments=15 nbBacktracks=57 nbVisitedNodes=268 nbRestartNogoods=2 mapSize=28
0.83 nbInferences=0 nbTooLargeKeys=0
0.83 => wckTime=0.08 cpuTime=0.05 mem=17M576
0.85
0.85 search
0.85 run=3 nbConstraintChecks=909 nbValidityChecks=765 nbPropagations=2307 nbRevisions=3085 nbUselessRevisions=1987
0.85 nbAssignments=354 nbFailedAssignments=27 nbBacktracks=92 nbVisitedNodes=409 nbRestartNogoods=4 mapSize=48
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.099 cpuTime=0.07 mem=17M576
0.87
0.87 search
0.87 run=4 nbConstraintChecks=1328 nbValidityChecks=1296 nbPropagations=3444 nbRevisions=5024
0.87 nbUselessRevisions=3158 nbAssignments=447 nbFailedAssignments=56 nbBacktracks=142 nbVisitedNodes=553
0.87 nbRestartNogoods=6 mapSize=89 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.118 cpuTime=0.08 mem=17M576
0.89
0.89 search
0.89 run=5 nbConstraintChecks=1879 nbValidityChecks=2097 nbPropagations=4939 nbRevisions=7837
0.89 nbUselessRevisions=4858 nbAssignments=561 nbFailedAssignments=80 nbBacktracks=220 nbVisitedNodes=717
0.89 nbRestartNogoods=8 mapSize=136 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.138 cpuTime=0.1 mem=17M576
0.91
0.91 search
0.91 run=6 nbConstraintChecks=2353 nbValidityChecks=2731 nbPropagations=6753 nbRevisions=11419
0.91 nbUselessRevisions=7026 nbAssignments=748 nbFailedAssignments=125 nbBacktracks=334 nbVisitedNodes=993
0.91 nbRestartNogoods=11 mapSize=222 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.162 cpuTime=0.11 mem=17M576
0.94
0.94 search
0.94 run=7 nbConstraintChecks=3469 nbValidityChecks=4431 nbPropagations=9309 nbRevisions=16744
0.94 nbUselessRevisions=10202 nbAssignments=984 nbFailedAssignments=178 nbBacktracks=504 nbVisitedNodes=1365
0.94 nbRestartNogoods=13 mapSize=355 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.187 cpuTime=0.14 mem=17M576
0.98
0.98 search
0.98 run=8 nbConstraintChecks=5607 nbValidityChecks=7509 nbPropagations=13292 nbRevisions=25188
0.98 nbUselessRevisions=15050 nbAssignments=1343 nbFailedAssignments=265 nbBacktracks=763 nbVisitedNodes=1926
0.98 nbRestartNogoods=16 mapSize=549 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.225 cpuTime=0.17 mem=17M576
1.04
1.04 search
1.04 run=9 nbConstraintChecks=8489 nbValidityChecks=11828 nbPropagations=19321 nbRevisions=38090
1.04 nbUselessRevisions=22287 nbAssignments=1857 nbFailedAssignments=385 nbBacktracks=1148 nbVisitedNodes=2717
1.04 nbRestartNogoods=24 mapSize=821 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.291 cpuTime=0.22 mem=17M576
1.07
1.07 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=17M576)
1.10
1.10 search
1.10 run=10 nbConstraintChecks=12370 nbValidityChecks=17774 nbPropagations=28065 nbRevisions=57118
1.10 nbUselessRevisions=32916 nbAssignments=2599 nbFailedAssignments=536 nbBacktracks=1724 nbVisitedNodes=3833
1.10 nbRestartNogoods=28
1.10 => wckTime=0.347 cpuTime=0.27 mem=17M576
1.16
1.16 search
1.16 run=11 nbConstraintChecks=17983 nbValidityChecks=26372 nbPropagations=40755 nbRevisions=84739
1.16 nbUselessRevisions=48131 nbAssignments=3738 nbFailedAssignments=795 nbBacktracks=2590 nbVisitedNodes=5552
1.16 nbRestartNogoods=34
1.16 => wckTime=0.412 cpuTime=0.33 mem=17M576
1.25
1.25 search
1.25 run=12 nbConstraintChecks=25811 nbValidityChecks=38651 nbPropagations=58943 nbRevisions=124909
1.25 nbUselessRevisions=70320 nbAssignments=5285 nbFailedAssignments=1146 nbBacktracks=3787 nbVisitedNodes=7908
1.25 nbRestartNogoods=40
1.25 => wckTime=0.498 cpuTime=0.42 mem=17M576
1.25
1.25 global
1.25 nbConstraintChecks=25811 nbValidityChecks=38651 nbPropagations=59143 nbRevisions=124909
1.25 nbUselessRevisions=70320 nbRestartNogoods=40 solvingWckTime=0.499 solvingCpuTime=0.42 expiredTime=no
1.25 totalExploration=yes nbFoundSolutions=0 globalCpuTime=0.79
1.25 => wckTime=0.945 cpuTime=0.74 mem=17M576
1.25
1.25 s UNSATISFIABLE
1.25 d NODES 5285
1.25 d CHECKS 25811
1.25
1.25 totalWckTime=1.02 totalCpuTime=0.79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-243382-1168085660 -o ROOT/results/node9/solver-243382-1168085660 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243382-1168085660/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.02 0.66 1.32 1/82 20431
/proc/meminfo: memFree=1236176/2055920 swapFree=4191880/4192956
[pid=20430] ppid=20428 vsize=1784 CPUtime=0
/proc/20430/stat : 20430 (java) D 20428 20430 20175 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 156962446 1826816 136 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20430/statm: 446 136 102 14 0 91 0
[startup+0.102286 s]
/proc/loadavg: 0.02 0.66 1.32 1/82 20431
/proc/meminfo: memFree=1236176/2055920 swapFree=4191880/4192956
[pid=20430] ppid=20428 vsize=914988 CPUtime=0.08
/proc/20430/stat : 20430 (java) R 20428 20430 20175 0 -1 0 2967 0 1 0 6 2 0 0 16 0 8 0 156962446 936947712 2713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20430/statm: 228747 2713 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510332 s]
/proc/loadavg: 0.02 0.66 1.32 1/82 20431
/proc/meminfo: memFree=1236176/2055920 swapFree=4191880/4192956
[pid=20430] ppid=20428 vsize=915328 CPUtime=0.48
/proc/20430/stat : 20430 (java) R 20428 20430 20175 0 -1 0 6531 0 1 0 44 4 0 0 16 0 8 0 156962446 937295872 6270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073646468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20430/statm: 228832 6270 2146 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 1.29079
CPU time (s): 1.24781
CPU user time (s): 1.17082
CPU system time (s): 0.076988
CPU usage (%): 96.6704
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.17082
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9354
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= 862
involuntary context switches= 83
runsolver used 0.003999 s user time and 0.010998 s system time
The end
Begin job on node9 on Sat Jan 6 12:14:26 UTC 2007
IDJOB= 243382
IDBENCH= 7464
FILE ID= node9/243382-1168085660
PBS_JOBID= 3476323
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/aim-200/aim-200-1-6-unsat-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243382-1168085660/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-243382-1168085660 -o ROOT/results/node9/solver-243382-1168085660 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243382-1168085660/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c99c4298484666f9e4f3525a4ac6f318
RANDOM SEED= 328314594
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.231
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.231
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: 1236856 kB
Buffers: 84196 kB
Cached: 585676 kB
SwapCached: 268 kB
Active: 321004 kB
Inactive: 396428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1236856 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1776 kB
Writeback: 0 kB
Mapped: 59232 kB
Slab: 86688 kB
Committed_AS: 4025540 kB
PageTables: 2136 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= 66542 MiB
End job on node9 on Sat Jan 6 12:14:38 UTC 2007