0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/242180-1168377477/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=78 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.39
0.39 constraints being loaded...
0.43 nbConstraints=52 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=50
0.43 nbConflictsStructures=2 nbSharedConflictsStructures=50 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.43 => wckTime=0.13 cpuTime=0.12 mem=6M951
0.46
0.46 solver IterativeSystematicSolver being built...
0.63 => wckTime=0.334 cpuTime=0.25 mem=15M361
0.66
0.66 preprocessing
0.66 nbConstraintChecks=245 nbValidityChecks=877 nbPropagations=326 nbRevisions=457 nbUselessRevisions=355
0.66 nbSingletonTests=150 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.66 => wckTime=0.028 cpuTime=0.02 mem=15M361
0.69
0.69 search
0.69 run=0 nbConstraintChecks=112 nbValidityChecks=466 nbPropagations=429 nbRevisions=664 nbUselessRevisions=483
0.69 nbAssignments=59 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=66 nbRestartNogoods=0 mapSize=3
0.69 nbInferences=0 nbTooLargeKeys=0
0.69 => wckTime=0.056 cpuTime=0.04 mem=15M361
0.71
0.71 search
0.71 run=1 nbConstraintChecks=269 nbValidityChecks=1050 nbPropagations=988 nbRevisions=1581 nbUselessRevisions=1113
0.71 nbAssignments=126 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=144 nbRestartNogoods=2 mapSize=12
0.71 nbInferences=0 nbTooLargeKeys=0
0.71 => wckTime=0.071 cpuTime=0.05 mem=15M361
0.72
0.72 search
0.72 run=2 nbConstraintChecks=486 nbValidityChecks=1743 nbPropagations=1700 nbRevisions=2805
0.72 nbUselessRevisions=1923 nbAssignments=199 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=231
0.72 nbRestartNogoods=4 mapSize=24 nbInferences=2 nbTooLargeKeys=0
0.72 => wckTime=0.082 cpuTime=0.05 mem=15M361
0.73
0.73 search
0.73 run=3 nbConstraintChecks=772 nbValidityChecks=2669 nbPropagations=2612 nbRevisions=4424
0.73 nbUselessRevisions=2967 nbAssignments=288 nbFailedAssignments=21 nbBacktracks=86 nbVisitedNodes=340
0.73 nbRestartNogoods=5 mapSize=41 nbInferences=10 nbTooLargeKeys=0
0.73 => wckTime=0.099 cpuTime=0.06 mem=15M361
0.75
0.75 search
0.75 run=4 nbConstraintChecks=1088 nbValidityChecks=3678 nbPropagations=3752 nbRevisions=6471
0.75 nbUselessRevisions=4250 nbAssignments=400 nbFailedAssignments=31 nbBacktracks=139 nbVisitedNodes=477
0.75 nbRestartNogoods=8 mapSize=63 nbInferences=16 nbTooLargeKeys=0
0.75 => wckTime=0.112 cpuTime=0.07 mem=15M361
0.76
0.76 search
0.76 run=5 nbConstraintChecks=1585 nbValidityChecks=5167 nbPropagations=5213 nbRevisions=9136
0.76 nbUselessRevisions=5880 nbAssignments=550 nbFailedAssignments=46 nbBacktracks=214 nbVisitedNodes=668
0.76 nbRestartNogoods=10 mapSize=101 nbInferences=28 nbTooLargeKeys=0
0.76 => wckTime=0.129 cpuTime=0.08 mem=15M361
0.78
0.78 search
0.78 run=6 nbConstraintChecks=2330 nbValidityChecks=7473 nbPropagations=7196 nbRevisions=12786
0.78 nbUselessRevisions=8073 nbAssignments=733 nbFailedAssignments=53 nbBacktracks=328 nbVisitedNodes=904
0.78 nbRestartNogoods=13 mapSize=152 nbInferences=68 nbTooLargeKeys=0
0.78 => wckTime=0.146 cpuTime=0.1 mem=15M361
0.80
0.80 search
0.80 run=7 nbConstraintChecks=4520 nbValidityChecks=13810 nbPropagations=10676 nbRevisions=19056
0.80 nbUselessRevisions=11649 nbAssignments=1048 nbFailedAssignments=56 nbBacktracks=498 nbVisitedNodes=1338
0.80 nbRestartNogoods=15 mapSize=268 nbInferences=184 nbTooLargeKeys=0
0.80 => wckTime=0.168 cpuTime=0.12 mem=15M361
0.84
0.84 search
0.84 run=8 nbConstraintChecks=7053 nbValidityChecks=21262 nbPropagations=15833 nbRevisions=28385
0.84 nbUselessRevisions=16960 nbAssignments=1491 nbFailedAssignments=58 nbBacktracks=758 nbVisitedNodes=1941
0.84 nbRestartNogoods=18 mapSize=425 nbInferences=342 nbTooLargeKeys=0
0.84 => wckTime=0.205 cpuTime=0.15 mem=15M361
0.89
0.89 search
0.89 run=9 nbConstraintChecks=10932 nbValidityChecks=32798 nbPropagations=23709 nbRevisions=42439
0.89 nbUselessRevisions=24739 nbAssignments=2121 nbFailedAssignments=59 nbBacktracks=1143 nbVisitedNodes=2789
0.89 nbRestartNogoods=21 mapSize=639 nbInferences=558 nbTooLargeKeys=0
0.89 => wckTime=0.252 cpuTime=0.18 mem=15M361
0.93
0.93 search
0.93 run=10 nbConstraintChecks=15759 nbValidityChecks=47184 nbPropagations=35006 nbRevisions=62816
0.93 nbUselessRevisions=35872 nbAssignments=2980 nbFailedAssignments=105 nbBacktracks=1721 nbVisitedNodes=3959
0.93 nbRestartNogoods=25 mapSize=946 nbInferences=777 nbTooLargeKeys=0
0.93 => wckTime=0.293 cpuTime=0.21 mem=15M361
0.97
0.97 search
0.97 run=11 nbConstraintChecks=20052 nbValidityChecks=59471 nbPropagations=49386 nbRevisions=88360
0.97 nbUselessRevisions=49493 nbAssignments=4079 nbFailedAssignments=108 nbBacktracks=2591 nbVisitedNodes=5255
0.97 nbRestartNogoods=29 mapSize=1137 nbInferences=969 nbTooLargeKeys=0
0.97 => wckTime=0.331 cpuTime=0.25 mem=16M336
1.02
1.02 search
1.02 run=12 nbConstraintChecks=26502 nbValidityChecks=77673 nbPropagations=68410 nbRevisions=121734
1.02 nbUselessRevisions=66932 nbAssignments=5715 nbFailedAssignments=108 nbBacktracks=3890 nbVisitedNodes=7194
1.02 nbRestartNogoods=35 mapSize=1434 nbInferences=1272 nbTooLargeKeys=0
1.02 => wckTime=0.389 cpuTime=0.31 mem=16M336
1.12
1.12 search
1.12 run=13 nbConstraintChecks=39847 nbValidityChecks=114757 nbPropagations=96894 nbRevisions=171025
1.12 nbUselessRevisions=92089 nbAssignments=8335 nbFailedAssignments=137 nbBacktracks=5837 nbVisitedNodes=10490
1.12 nbRestartNogoods=41 mapSize=2106 nbInferences=1892 nbTooLargeKeys=0
1.12 => wckTime=0.487 cpuTime=0.4 mem=16M336
1.15
1.15 search
1.15 run=14 nbConstraintChecks=42882 nbValidityChecks=123115 nbPropagations=127228 nbRevisions=223859
1.15 nbUselessRevisions=119329 nbAssignments=8919 nbFailedAssignments=157 nbBacktracks=6208 nbVisitedNodes=11307
1.15 nbRestartNogoods=44 mapSize=2338 nbInferences=2086 nbTooLargeKeys=0
1.15 => wckTime=0.512 cpuTime=0.42 mem=16M336
1.15
1.15 global
1.15 nbConstraintChecks=43127 nbValidityChecks=123992 nbPropagations=127554 nbRevisions=224316
1.15 nbUselessRevisions=119684 nbRestartNogoods=44 solvingWckTime=0.513 solvingCpuTime=0.43 expiredTime=no
1.15 totalExploration=yes nbFoundSolutions=0 globalCpuTime=0.73
1.15 => wckTime=0.849 cpuTime=0.68 mem=16M336
1.15
1.15 s UNSATISFIABLE
1.15 d NODES 8919
1.15 d CHECKS 43127
1.15
1.15 totalWckTime=0.924 totalCpuTime=0.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-242180-1168377477 -o ROOT/results/node3/solver-242180-1168377477 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242180-1168377477/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 0.91 3/78 23931
/proc/meminfo: memFree=1735584/2055920 swapFree=4192812/4192956
[pid=23930] ppid=23928 vsize=172 CPUtime=0
/proc/23930/stat : 23930 (java) R 23928 23930 22951 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 186143356 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10924836 0 0 4096 0 0 0 0 17 1 0 0
/proc/23930/statm: 43 24 18 14 0 3 0
[startup+0.103133 s]
/proc/loadavg: 0.92 0.98 0.91 3/78 23931
/proc/meminfo: memFree=1735584/2055920 swapFree=4192812/4192956
[pid=23930] ppid=23928 vsize=914988 CPUtime=0.08
/proc/23930/stat : 23930 (java) R 23928 23930 22951 0 -1 0 3010 0 1 0 7 1 0 0 21 0 8 0 186143356 936947712 2756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819582 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23930/statm: 228747 2756 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511201 s]
/proc/loadavg: 0.92 0.98 0.91 3/78 23931
/proc/meminfo: memFree=1735584/2055920 swapFree=4192812/4192956
[pid=23930] ppid=23928 vsize=915460 CPUtime=0.49
/proc/23930/stat : 23930 (java) R 23928 23930 22951 0 -1 0 6693 0 1 0 45 4 0 0 16 0 8 0 186143356 937431040 6431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153795348 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23930/statm: 228865 6431 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.17837
CPU time (s): 1.16482
CPU user time (s): 1.08683
CPU system time (s): 0.077988
CPU usage (%): 98.8505
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.08683
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= 9010
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= 742
involuntary context switches= 185
runsolver used 0.004999 s user time and 0.009998 s system time
The end
Begin job on node3 on Tue Jan 9 21:17:57 UTC 2007
IDJOB= 242180
IDBENCH= 7373
FILE ID= node3/242180-1168377477
PBS_JOBID= 3522285
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-26_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242180-1168377477/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-242180-1168377477 -o ROOT/results/node3/solver-242180-1168377477 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242180-1168377477/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 495e2d0207b21eb983d289b2f97f90ce
RANDOM SEED= 647911096
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: 1735936 kB
Buffers: 49112 kB
Cached: 166448 kB
SwapCached: 0 kB
Active: 168428 kB
Inactive: 98704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1735936 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1828 kB
Writeback: 0 kB
Mapped: 70528 kB
Slab: 38440 kB
Committed_AS: 5494396 kB
PageTables: 1700 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= 66560 MiB
End job on node3 on Tue Jan 9 21:17:59 UTC 2007