0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/242141-1168376454/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.43
0.43 constraints being loaded...
0.60 nbConstraints=799 nbRelationTypes=218 nbExtensionStructures=218 nbSharedExtensionStructures=581
0.60 nbConflictsStructures=218 nbSharedConflictsStructures=581 nbSharedBinaryRepresentations=16 maxDegree=55
0.60 maxArity=10
0.60 => wckTime=0.301 cpuTime=0.21 mem=10M852
0.64
0.64 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.556 cpuTime=0.4 mem=22M131
0.94
0.94 preprocessing
0.94 nbConstraintChecks=2148 nbValidityChecks=1682 nbPropagations=463 nbRevisions=3839 nbUselessRevisions=3567
0.94 nbSingletonTests=124 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=11 detectedInconsistency=no
0.94 => wckTime=0.09 cpuTime=0.05 mem=22M131
0.98
0.98 search
0.98 run=0 nbConstraintChecks=1081 nbValidityChecks=1167 nbPropagations=654 nbRevisions=5503
0.98 nbUselessRevisions=4974 nbAssignments=45 nbFailedAssignments=8 nbBacktracks=18 nbVisitedNodes=57
0.98 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.13 cpuTime=0.08 mem=23M139
1.00
1.00 search
1.00 run=1 nbConstraintChecks=1901 nbValidityChecks=2225 nbPropagations=1480 nbRevisions=12345
1.00 nbUselessRevisions=11095 nbAssignments=102 nbFailedAssignments=11 nbBacktracks=39 nbVisitedNodes=116
1.00 nbRestartNogoods=2 mapSize=12 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.149 cpuTime=0.09 mem=23M139
1.01
1.01 search
1.01 run=2 nbConstraintChecks=2282 nbValidityChecks=2784 nbPropagations=2403 nbRevisions=19900
1.01 nbUselessRevisions=17836 nbAssignments=146 nbFailedAssignments=12 nbBacktracks=64 nbVisitedNodes=159
1.01 nbRestartNogoods=5 mapSize=13 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.159 cpuTime=0.1 mem=23M139
1.03
1.03 search
1.03 run=3 nbConstraintChecks=4081 nbValidityChecks=5422 nbPropagations=3573 nbRevisions=30829
1.03 nbUselessRevisions=27669 nbAssignments=236 nbFailedAssignments=20 nbBacktracks=130 nbVisitedNodes=264
1.03 nbRestartNogoods=6 mapSize=27 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.183 cpuTime=0.12 mem=23M139
1.07
1.07 search
1.07 run=4 nbConstraintChecks=6498 nbValidityChecks=7558 nbPropagations=4943 nbRevisions=44316
1.07 nbUselessRevisions=39855 nbAssignments=379 nbFailedAssignments=27 nbBacktracks=166 nbVisitedNodes=423
1.07 nbRestartNogoods=7 mapSize=40 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.217 cpuTime=0.15 mem=23M139
1.07
1.07 global
1.07 nbConstraintChecks=8646 nbValidityChecks=9240 nbPropagations=5406 nbRevisions=48155 nbUselessRevisions=43422
1.07 nbRestartNogoods=7 solvingWckTime=0.22 solvingCpuTime=0.15 expiredTime=no totalExploration=no
1.07 nbFoundSolutions=1 globalCpuTime=0.59
1.07 => wckTime=0.777 cpuTime=0.55 mem=23M139
1.07
1.07 s SATISFIABLE
1.07 v 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0
1.07 d NODES 379
1.07 d CHECKS 8646
1.07
1.07 totalWckTime=0.852 totalCpuTime=0.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-242141-1168376454 -o ROOT/results/node15/solver-242141-1168376454 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242141-1168376454/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.49 0.75 0.56 4/81 32577
/proc/meminfo: memFree=1745672/2055920 swapFree=4174172/4192956
[pid=32576] ppid=32574 vsize=172 CPUtime=0
/proc/32576/stat : 32576 (java) R 32574 32576 32181 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 186040390 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512868 0 0 4096 0 0 0 0 17 1 0 0
/proc/32576/statm: 43 24 18 14 0 3 0
[startup+0.103328 s]
/proc/loadavg: 0.49 0.75 0.56 4/81 32577
/proc/meminfo: memFree=1745672/2055920 swapFree=4174172/4192956
[pid=32576] ppid=32574 vsize=914988 CPUtime=0.09
/proc/32576/stat : 32576 (java) R 32574 32576 32181 0 -1 0 3066 0 1 0 8 1 0 0 21 0 8 0 186040390 936947712 2812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153568688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32576/statm: 228747 2812 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511395 s]
/proc/loadavg: 0.49 0.75 0.56 4/81 32577
/proc/meminfo: memFree=1745672/2055920 swapFree=4174172/4192956
[pid=32576] ppid=32574 vsize=915328 CPUtime=0.49
/proc/32576/stat : 32576 (java) R 32574 32576 32181 0 -1 0 6564 0 1 0 45 4 0 0 16 0 8 0 186040390 937295872 6303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32576/statm: 228832 6303 2141 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 1.12284
CPU time (s): 1.07284
CPU user time (s): 0.994848
CPU system time (s): 0.077988
CPU usage (%): 95.5467
Max. virtual memory (cumulated for all children) (KiB): 915552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.994848
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10699
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= 784
involuntary context switches= 77
runsolver used 0.002999 s user time and 0.005999 s system time
The end
Begin job on node15 on Tue Jan 9 21:00:55 UTC 2007
IDJOB= 242141
IDBENCH= 7370
FILE ID= node15/242141-1168376454
PBS_JOBID= 3522331
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhSat/jnh210_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242141-1168376454/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-242141-1168376454 -o ROOT/results/node15/solver-242141-1168376454 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242141-1168376454/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 70c7e1f647e05771a966f5e8ff1e0478
RANDOM SEED= 51044060
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.276
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.276
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: 1746088 kB
Buffers: 63792 kB
Cached: 154140 kB
SwapCached: 6400 kB
Active: 168356 kB
Inactive: 85288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1746088 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2376 kB
Writeback: 0 kB
Mapped: 45132 kB
Slab: 41228 kB
Committed_AS: 6017628 kB
PageTables: 2220 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= 66562 MiB
End job on node15 on Tue Jan 9 21:00:57 UTC 2007