0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/244742-1168085721/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.095 cpuTime=0.07 mem=6M951
0.41
0.41 relations being loaded...
0.46
0.46 constraints being loaded...
0.62 nbConstraints=849 nbRelationTypes=239 nbExtensionStructures=239 nbSharedExtensionStructures=610
0.62 nbConflictsStructures=239 nbSharedConflictsStructures=610 nbSharedBinaryRepresentations=16 maxDegree=61
0.62 maxArity=11
0.62 => wckTime=0.307 cpuTime=0.2 mem=11M827
0.67
0.67 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.554 cpuTime=0.36 mem=22M106
0.89
0.89 preprocessing
0.89 nbConstraintChecks=14 nbPropagations=100 nbRevisions=8 nbUselessRevisions=6 nbRemovedValues=2
0.89 detectedInconsistency=no
0.89 => wckTime=0.014 cpuTime=0.01 mem=23M81
0.93
0.93 search
0.93 run=0 nbConstraintChecks=608 nbValidityChecks=123 nbPropagations=186 nbRevisions=625 nbUselessRevisions=521
0.94 nbAssignments=45 nbFailedAssignments=2 nbBacktracks=28 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=3
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.062 cpuTime=0.03 mem=23M81
0.97
0.97 search
0.97 run=1 nbConstraintChecks=1717 nbValidityChecks=1079 nbPropagations=546 nbRevisions=2948
0.97 nbUselessRevisions=2527 nbAssignments=99 nbFailedAssignments=4 nbBacktracks=70 nbVisitedNodes=114
0.97 nbRestartNogoods=1 mapSize=12 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.096 cpuTime=0.06 mem=23M81
0.98
0.98 search
0.98 run=2 nbConstraintChecks=2022 nbValidityChecks=1307 nbPropagations=973 nbRevisions=5645
0.98 nbUselessRevisions=4837 nbAssignments=148 nbFailedAssignments=6 nbBacktracks=105 nbVisitedNodes=166
0.98 nbRestartNogoods=2 mapSize=14 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.107 cpuTime=0.07 mem=23M81
1.00
1.00 search
1.00 run=3 nbConstraintChecks=2920 nbValidityChecks=2627 nbPropagations=1564 nbRevisions=10267
1.00 nbUselessRevisions=8854 nbAssignments=193 nbFailedAssignments=9 nbBacktracks=145 nbVisitedNodes=219
1.00 nbRestartNogoods=3 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.128 cpuTime=0.08 mem=23M81
1.02
1.02 search
1.02 run=4 nbConstraintChecks=4075 nbValidityChecks=3569 nbPropagations=2322 nbRevisions=16338
1.02 nbUselessRevisions=14108 nbAssignments=268 nbFailedAssignments=14 nbBacktracks=207 nbVisitedNodes=303
1.02 nbRestartNogoods=4 mapSize=28 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.148 cpuTime=0.1 mem=23M81
1.06
1.06 search
1.06 run=5 nbConstraintChecks=6672 nbValidityChecks=7185 nbPropagations=3504 nbRevisions=27110
1.06 nbUselessRevisions=23532 nbAssignments=399 nbFailedAssignments=26 nbBacktracks=288 nbVisitedNodes=459
1.06 nbRestartNogoods=6 mapSize=48 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.192 cpuTime=0.14 mem=23M81
1.12
1.13 search
1.13 run=6 nbConstraintChecks=10057 nbValidityChecks=11057 nbPropagations=5341 nbRevisions=42987
1.13 nbUselessRevisions=37226 nbAssignments=549 nbFailedAssignments=43 nbBacktracks=401 nbVisitedNodes=647
1.13 nbRestartNogoods=11 mapSize=83 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.253 cpuTime=0.2 mem=23M81
1.18
1.18 search
1.18 run=7 nbConstraintChecks=13851 nbValidityChecks=15668 nbPropagations=7863 nbRevisions=65095
1.18 nbUselessRevisions=56326 nbAssignments=746 nbFailedAssignments=57 nbBacktracks=571 nbVisitedNodes=871
1.18 nbRestartNogoods=14 mapSize=106 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.313 cpuTime=0.26 mem=23M81
1.23
1.23 search
1.24 run=8 nbConstraintChecks=17015 nbValidityChecks=19827 nbPropagations=10953 nbRevisions=92419
1.24 nbUselessRevisions=79878 nbAssignments=884 nbFailedAssignments=74 nbBacktracks=693 nbVisitedNodes=1038
1.24 nbRestartNogoods=18 mapSize=135 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.363 cpuTime=0.3 mem=23M81
1.24
1.24 global
1.24 nbConstraintChecks=17029 nbValidityChecks=19827 nbPropagations=11053 nbRevisions=92427 nbUselessRevisions=79884
1.24 nbRestartNogoods=18 solvingWckTime=0.364 solvingCpuTime=0.3 expiredTime=no totalExploration=yes
1.24 nbFoundSolutions=0 globalCpuTime=0.71
1.24 => wckTime=0.919 cpuTime=0.66 mem=23M81
1.24
1.24 s UNSATISFIABLE
1.24 d NODES 884
1.24 d CHECKS 17029
1.24
1.24 totalWckTime=0.996 totalCpuTime=0.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-244742-1168085721 -o ROOT/results/node24/solver-244742-1168085721 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/244742-1168085721/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.12 0.46 1.16 3/81 19547
/proc/meminfo: memFree=1774208/2055920 swapFree=4192812/4192956
[pid=19546] ppid=19544 vsize=168 CPUtime=0
/proc/19546/stat : 19546 (java) R 19544 19546 19415 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156967919 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 2605860 0 0 4096 0 0 0 0 17 1 0 0
/proc/19546/statm: 42 23 18 14 0 2 0
[startup+0.106324 s]
/proc/loadavg: 0.12 0.46 1.16 3/81 19547
/proc/meminfo: memFree=1774208/2055920 swapFree=4192812/4192956
[pid=19546] ppid=19544 vsize=912760 CPUtime=0.07
/proc/19546/stat : 19546 (java) R 19544 19546 19415 0 -1 0 2779 0 1 0 6 1 0 0 22 0 8 0 156967919 934666240 2525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19546/statm: 228190 2526 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.51436 s]
/proc/loadavg: 0.12 0.46 1.16 3/81 19547
/proc/meminfo: memFree=1774208/2055920 swapFree=4192812/4192956
[pid=19546] ppid=19544 vsize=915328 CPUtime=0.46
/proc/19546/stat : 19546 (java) R 19544 19546 19415 0 -1 0 6306 0 1 0 43 3 0 0 24 0 8 0 156967919 937295872 6045 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073542765 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19546/statm: 228832 6046 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 1.29641
CPU time (s): 1.21081
CPU user time (s): 1.13383
CPU system time (s): 0.076988
CPU usage (%): 93.3978
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.13383
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= 10732
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= 1195
involuntary context switches= 1300
runsolver used 0.007998 s user time and 0.008998 s system time
The end
Begin job on node24 on Sat Jan 6 12:15:24 UTC 2007
IDJOB= 244742
IDBENCH= 8498
FILE ID= node24/244742-1168085721
PBS_JOBID= 3476526
Free space on /tmp= 66464 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhUnsat/jnh18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/244742-1168085721/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-244742-1168085721 -o ROOT/results/node24/solver-244742-1168085721 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/244742-1168085721/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7b74ccf770fdc02382055c899f02697a
RANDOM SEED= 798011842
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: 1774288 kB
Buffers: 28504 kB
Cached: 128100 kB
SwapCached: 0 kB
Active: 124444 kB
Inactive: 89692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1774288 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3512 kB
Writeback: 0 kB
Mapped: 76464 kB
Slab: 52304 kB
Committed_AS: 2978312 kB
PageTables: 2256 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= 66464 MiB
End job on node24 on Sat Jan 6 12:15:34 UTC 2007