0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/243473-1168085667/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.105 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.41
0.41 constraints being loaded...
0.52 nbConstraints=316 nbRelationTypes=13 nbExtensionStructures=13 nbSharedExtensionStructures=303
0.52 nbConflictsStructures=13 nbSharedConflictsStructures=303 nbSharedBinaryRepresentations=1 maxDegree=8 maxArity=3
0.52 => wckTime=0.218 cpuTime=0.16 mem=8M902
0.56
0.56 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.447 cpuTime=0.3 mem=16M545
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.01 mem=16M545
0.80
0.80 search
0.80 run=0 nbConstraintChecks=234 nbValidityChecks=67 nbPropagations=317 nbRevisions=266 nbUselessRevisions=190
0.80 nbAssignments=88 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=100 nbRestartNogoods=0 mapSize=10
0.80 nbInferences=0 nbTooLargeKeys=0
0.80 => wckTime=0.049 cpuTime=0.03 mem=17M569
0.83
0.83 search
0.83 run=1 nbConstraintChecks=633 nbValidityChecks=344 nbPropagations=852 nbRevisions=1132 nbUselessRevisions=782
0.83 nbAssignments=200 nbFailedAssignments=12 nbBacktracks=27 nbVisitedNodes=226 nbRestartNogoods=1 mapSize=20
0.83 nbInferences=0 nbTooLargeKeys=0
0.83 => wckTime=0.074 cpuTime=0.05 mem=17M569
0.86
0.86 search
0.86 run=2 nbConstraintChecks=1264 nbValidityChecks=1053 nbPropagations=1804 nbRevisions=3013
0.86 nbUselessRevisions=1988 nbAssignments=301 nbFailedAssignments=25 nbBacktracks=52 nbVisitedNodes=354
0.86 nbRestartNogoods=5 mapSize=39 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.102 cpuTime=0.07 mem=17M569
0.87
0.87 search
0.87 run=3 nbConstraintChecks=1638 nbValidityChecks=1564 nbPropagations=3028 nbRevisions=5557
0.87 nbUselessRevisions=3602 nbAssignments=382 nbFailedAssignments=37 nbBacktracks=87 nbVisitedNodes=457
0.87 nbRestartNogoods=7 mapSize=57 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.118 cpuTime=0.08 mem=17M569
0.89
0.89 search
0.89 run=4 nbConstraintChecks=2172 nbValidityChecks=2338 nbPropagations=4616 nbRevisions=8962
0.89 nbUselessRevisions=5706 nbAssignments=459 nbFailedAssignments=56 nbBacktracks=140 nbVisitedNodes=573
0.89 nbRestartNogoods=11 mapSize=93 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.132 cpuTime=0.09 mem=17M569
0.90
0.90 search
0.90 run=5 nbConstraintChecks=2607 nbValidityChecks=2974 nbPropagations=6522 nbRevisions=13019
0.90 nbUselessRevisions=8151 nbAssignments=559 nbFailedAssignments=78 nbBacktracks=215 nbVisitedNodes=715
0.90 nbRestartNogoods=14 mapSize=132 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.145 cpuTime=0.1 mem=17M569
0.93
0.93 search
0.93 run=6 nbConstraintChecks=3770 nbValidityChecks=4499 nbPropagations=9252 nbRevisions=19095
0.93 nbUselessRevisions=11807 nbAssignments=809 nbFailedAssignments=114 nbBacktracks=329 nbVisitedNodes=1040
0.93 nbRestartNogoods=17 mapSize=197 nbInferences=1 nbTooLargeKeys=0
0.93 => wckTime=0.177 cpuTime=0.13 mem=17M569
0.97
0.97 search
0.97 run=7 nbConstraintChecks=5369 nbValidityChecks=6961 nbPropagations=13110 nbRevisions=27987
0.97 nbUselessRevisions=17139 nbAssignments=1128 nbFailedAssignments=177 nbBacktracks=500 nbVisitedNodes=1489
0.97 nbRestartNogoods=26 mapSize=311 nbInferences=2 nbTooLargeKeys=0
0.97 => wckTime=0.215 cpuTime=0.17 mem=17M569
1.03
1.03 search
1.03 run=8 nbConstraintChecks=6871 nbValidityChecks=9340 nbPropagations=18033 nbRevisions=39683
1.03 nbUselessRevisions=24210 nbAssignments=1512 nbFailedAssignments=246 nbBacktracks=758 nbVisitedNodes=2010
1.03 nbRestartNogoods=36 mapSize=442 nbInferences=2 nbTooLargeKeys=0
1.03 => wckTime=0.272 cpuTime=0.21 mem=17M569
1.08
1.08 search
1.08 run=9 nbConstraintChecks=8678 nbValidityChecks=11998 nbPropagations=24138 nbRevisions=54416
1.08 nbUselessRevisions=33135 nbAssignments=1922 nbFailedAssignments=292 nbBacktracks=922 nbVisitedNodes=2511
1.08 nbRestartNogoods=42 mapSize=525 nbInferences=2 nbTooLargeKeys=0
1.08 => wckTime=0.324 cpuTime=0.25 mem=17M569
1.08
1.08 global
1.08 nbConstraintChecks=8678 nbValidityChecks=11998 nbPropagations=24338 nbRevisions=54416 nbUselessRevisions=33135
1.08 nbRestartNogoods=42 solvingWckTime=0.327 solvingCpuTime=0.25 expiredTime=no totalExploration=no
1.08 nbFoundSolutions=1 globalCpuTime=0.6
1.08 => wckTime=0.775 cpuTime=0.55 mem=17M569
1.08
1.08 s SATISFIABLE
1.08 v 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1
1.08 d NODES 1922
1.08 d CHECKS 8678
1.08
1.08 totalWckTime=0.852 totalCpuTime=0.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-243473-1168085667 -o ROOT/results/node25/solver-243473-1168085667 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243473-1168085667/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.00 0.48 1.20 3/78 32690
/proc/meminfo: memFree=1648248/2055920 swapFree=4192812/4192956
[pid=32689] ppid=32687 vsize=1784 CPUtime=0
/proc/32689/stat : 32689 (java) D 32687 32689 32449 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156960237 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/32689/statm: 446 136 102 14 0 91 0
[startup+0.106708 s]
/proc/loadavg: 0.00 0.48 1.20 3/78 32690
/proc/meminfo: memFree=1648248/2055920 swapFree=4192812/4192956
[pid=32689] ppid=32687 vsize=914988 CPUtime=0.08
/proc/32689/stat : 32689 (java) R 32687 32689 32449 0 -1 0 3016 0 1 0 7 1 0 0 16 0 8 0 156960237 936947712 2762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32689/statm: 228747 2762 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514776 s]
/proc/loadavg: 0.00 0.48 1.20 3/78 32690
/proc/meminfo: memFree=1648248/2055920 swapFree=4192812/4192956
[pid=32689] ppid=32687 vsize=915328 CPUtime=0.48
/proc/32689/stat : 32689 (java) R 32687 32689 32449 0 -1 0 6565 0 1 0 45 3 0 0 16 0 8 0 156960237 937295872 6304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32689/statm: 228832 6304 2155 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.12806
CPU time (s): 1.06184
CPU user time (s): 0.996848
CPU system time (s): 0.06499
CPU usage (%): 94.1294
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.996848
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9343
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= 848
involuntary context switches= 187
runsolver used 0.005999 s user time and 0.009998 s system time
The end
Begin job on node25 on Sat Jan 6 12:14:33 UTC 2007
IDJOB= 243473
IDBENCH= 7471
FILE ID= node25/243473-1168085667
PBS_JOBID= 3476322
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/aim-200/aim-200-1-6-sat-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243473-1168085667/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-243473-1168085667 -o ROOT/results/node25/solver-243473-1168085667 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/243473-1168085667/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 753d9ed934a0f66769c2aa58d48b8360
RANDOM SEED= 496953795
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.279
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.279
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: 1648800 kB
Buffers: 45084 kB
Cached: 247996 kB
SwapCached: 0 kB
Active: 82348 kB
Inactive: 254288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1648800 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1736 kB
Writeback: 0 kB
Mapped: 62508 kB
Slab: 55848 kB
Committed_AS: 2913184 kB
PageTables: 1936 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= 66550 MiB
End job on node25 on Sat Jan 6 12:14:45 UTC 2007