0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/242258-1168379098/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=84 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.39
0.39 constraints being loaded...
0.43 nbConstraints=56 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=54
0.43 nbConflictsStructures=2 nbSharedConflictsStructures=54 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.43 => wckTime=0.131 cpuTime=0.11 mem=6M951
0.46
0.46 solver IterativeSystematicSolver being built...
0.64 => wckTime=0.344 cpuTime=0.26 mem=15M578
0.67
0.67 preprocessing
0.67 nbConstraintChecks=263 nbValidityChecks=945 nbPropagations=352 nbRevisions=493 nbUselessRevisions=383
0.67 nbSingletonTests=162 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.67 => wckTime=0.031 cpuTime=0.02 mem=15M578
0.70
0.70 search
0.70 run=0 nbConstraintChecks=116 nbValidityChecks=492 nbPropagations=461 nbRevisions=712 nbUselessRevisions=519
0.70 nbAssignments=63 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=70 nbRestartNogoods=0 mapSize=3
0.70 nbInferences=0 nbTooLargeKeys=0
0.70 => wckTime=0.061 cpuTime=0.03 mem=15M578
0.72
0.72 search
0.72 run=1 nbConstraintChecks=277 nbValidityChecks=1102 nbPropagations=1058 nbRevisions=1689
0.72 nbUselessRevisions=1193 nbAssignments=134 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=152
0.72 nbRestartNogoods=2 mapSize=12 nbInferences=0 nbTooLargeKeys=0
0.72 => wckTime=0.078 cpuTime=0.04 mem=15M578
0.73
0.73 search
0.73 run=2 nbConstraintChecks=498 nbValidityChecks=1821 nbPropagations=1814 nbRevisions=2985
0.73 nbUselessRevisions=2055 nbAssignments=211 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=243
0.73 nbRestartNogoods=4 mapSize=24 nbInferences=2 nbTooLargeKeys=0
0.73 => wckTime=0.089 cpuTime=0.05 mem=15M578
0.75
0.75 search
0.75 run=3 nbConstraintChecks=788 nbValidityChecks=2773 nbPropagations=2776 nbRevisions=4688
0.75 nbUselessRevisions=3159 nbAssignments=304 nbFailedAssignments=21 nbBacktracks=86 nbVisitedNodes=356
0.75 nbRestartNogoods=5 mapSize=41 nbInferences=10 nbTooLargeKeys=0
0.75 => wckTime=0.107 cpuTime=0.06 mem=15M578
0.77
0.77 search
0.77 run=4 nbConstraintChecks=1108 nbValidityChecks=3808 nbPropagations=3972 nbRevisions=6831
0.77 nbUselessRevisions=4510 nbAssignments=420 nbFailedAssignments=31 nbBacktracks=139 nbVisitedNodes=497
0.77 nbRestartNogoods=8 mapSize=63 nbInferences=16 nbTooLargeKeys=0
0.77 => wckTime=0.123 cpuTime=0.07 mem=15M578
0.78
0.78 search
0.78 run=5 nbConstraintChecks=1609 nbValidityChecks=5323 nbPropagations=5495 nbRevisions=9604
0.78 nbUselessRevisions=6216 nbAssignments=574 nbFailedAssignments=46 nbBacktracks=214 nbVisitedNodes=692
0.78 nbRestartNogoods=10 mapSize=101 nbInferences=28 nbTooLargeKeys=0
0.78 => wckTime=0.141 cpuTime=0.08 mem=15M578
0.80
0.80 search
0.80 run=6 nbConstraintChecks=2300 nbValidityChecks=7381 nbPropagations=7478 nbRevisions=13257
0.80 nbUselessRevisions=8427 nbAssignments=779 nbFailedAssignments=63 nbBacktracks=328 nbVisitedNodes=961
0.80 nbRestartNogoods=13 mapSize=161 nbInferences=58 nbTooLargeKeys=0
0.80 => wckTime=0.157 cpuTime=0.1 mem=15M578
0.82
0.82 search
0.82 run=7 nbConstraintChecks=4701 nbValidityChecks=14099 nbPropagations=11057 nbRevisions=19738
0.82 nbUselessRevisions=12056 nbAssignments=1104 nbFailedAssignments=91 nbBacktracks=505 nbVisitedNodes=1421
0.82 nbRestartNogoods=17 mapSize=288 nbInferences=137 nbTooLargeKeys=0
0.82 => wckTime=0.181 cpuTime=0.12 mem=15M578
0.88
0.88 search
0.88 run=8 nbConstraintChecks=9510 nbValidityChecks=28056 nbPropagations=18074 nbRevisions=32025
0.88 nbUselessRevisions=18509 nbAssignments=1625 nbFailedAssignments=99 nbBacktracks=761 nbVisitedNodes=2174
0.88 nbRestartNogoods=21 mapSize=515 nbInferences=353 nbTooLargeKeys=0
0.88 => wckTime=0.233 cpuTime=0.15 mem=15M578
0.93
0.93 search
0.93 run=9 nbConstraintChecks=16680 nbValidityChecks=48886 nbPropagations=30222 nbRevisions=52968
0.93 nbUselessRevisions=29190 nbAssignments=2387 nbFailedAssignments=99 nbBacktracks=1145 nbVisitedNodes=3274
0.93 nbRestartNogoods=26 mapSize=849 nbInferences=691 nbTooLargeKeys=0
0.93 => wckTime=0.284 cpuTime=0.19 mem=15M578
0.99
0.99 search
0.99 run=10 nbConstraintChecks=27155 nbValidityChecks=78396 nbPropagations=49861 nbRevisions=86483
0.99 nbUselessRevisions=45933 nbAssignments=3489 nbFailedAssignments=108 nbBacktracks=1721 nbVisitedNodes=4870
0.99 nbRestartNogoods=30 mapSize=1340 nbInferences=1168 nbTooLargeKeys=0
0.99 => wckTime=0.344 cpuTime=0.24 mem=15M578
1.04
1.04 search
1.04 run=11 nbConstraintChecks=34600 nbValidityChecks=98813 nbPropagations=74204 nbRevisions=128643
1.04 nbUselessRevisions=67523 nbAssignments=4862 nbFailedAssignments=140 nbBacktracks=2588 nbVisitedNodes=6743
1.04 nbRestartNogoods=33 mapSize=1838 nbInferences=1607 nbTooLargeKeys=0
1.04 => wckTime=0.401 cpuTime=0.3 mem=15M578
1.09
1.09 search
1.09 run=12 nbConstraintChecks=40698 nbValidityChecks=115447 nbPropagations=102137 nbRevisions=177871
1.09 nbUselessRevisions=93524 nbAssignments=6142 nbFailedAssignments=158 nbBacktracks=3386 nbVisitedNodes=8522
1.09 nbRestartNogoods=35 mapSize=2336 nbInferences=2072 nbTooLargeKeys=0
1.09 => wckTime=0.451 cpuTime=0.34 mem=15M578
1.10
1.10 global
1.10 nbConstraintChecks=40961 nbValidityChecks=116392 nbPropagations=102489 nbRevisions=178364
1.10 nbUselessRevisions=93907 nbRestartNogoods=35 solvingWckTime=0.452 solvingCpuTime=0.34 expiredTime=no
1.10 totalExploration=yes nbFoundSolutions=0 globalCpuTime=0.65
1.10 => wckTime=0.799 cpuTime=0.6 mem=15M578
1.10
1.10 s UNSATISFIABLE
1.10 d NODES 6142
1.10 d CHECKS 40961
1.10
1.10 totalWckTime=0.876 totalCpuTime=0.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-242258-1168379098 -o ROOT/results/node5/solver-242258-1168379098 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242258-1168379098/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.92 0.98 1.17 5/88 13841
/proc/meminfo: memFree=1721864/2055920 swapFree=4192812/4192956
[pid=13840] ppid=13837 vsize=168 CPUtime=0
/proc/13840/stat : 13840 (java) R 13837 13840 13689 0 -1 0 34 0 0 0 0 0 0 0 19 0 1 0 166524245 172032 18 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7894113 0 0 4096 0 0 0 0 17 0 0 0
/proc/13840/statm: 42 23 18 14 0 2 0
[startup+0.108082 s]
/proc/loadavg: 0.92 0.98 1.17 5/88 13841
/proc/meminfo: memFree=1721864/2055920 swapFree=4192812/4192956
[pid=13840] ppid=13837 vsize=914988 CPUtime=0.08
/proc/13840/stat : 13840 (java) R 13837 13840 13689 0 -1 0 3071 0 1 0 7 1 0 0 23 0 8 0 166524245 936947712 2817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13840/statm: 228747 2818 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517127 s]
/proc/loadavg: 0.92 0.98 1.17 5/88 13841
/proc/meminfo: memFree=1721864/2055920 swapFree=4192812/4192956
[pid=13840] ppid=13837 vsize=915460 CPUtime=0.49
/proc/13840/stat : 13840 (java) R 13837 13840 13689 0 -1 0 6700 0 1 0 45 4 0 0 25 0 8 0 166524245 937431040 6438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13840/statm: 228865 6438 2468 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1.12467
CPU time (s): 1.08383
CPU user time (s): 1.00785
CPU system time (s): 0.075988
CPU usage (%): 96.3692
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.00785
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8971
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= 1013
involuntary context switches= 1225
runsolver used 0.002999 s user time and 0.013997 s system time
The end
Begin job on node5 on Tue Jan 9 21:44:58 UTC 2007
IDJOB= 242258
IDBENCH= 7379
FILE ID= node5/242258-1168379098
PBS_JOBID= 3522353
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242258-1168379098/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-242258-1168379098 -o ROOT/results/node5/solver-242258-1168379098 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242258-1168379098/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 89a7bdc0688dd60fc398280167384593
RANDOM SEED= 331626472
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.240
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.240
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: 1722928 kB
Buffers: 46348 kB
Cached: 184104 kB
SwapCached: 0 kB
Active: 166116 kB
Inactive: 113260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1722928 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2172 kB
Writeback: 0 kB
Mapped: 72100 kB
Slab: 38504 kB
Committed_AS: 4987084 kB
PageTables: 2196 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= 66557 MiB
End job on node5 on Tue Jan 9 21:44:59 UTC 2007