0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/230686-1168317012/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.103 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.55
0.55 constraints being loaded...
0.69 nbConstraints=462 nbRelationTypes=462 nbExtensionStructures=462 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=462 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4626 maxDegree=30
0.69 maxArity=2
0.69 => wckTime=0.368 cpuTime=0.27 mem=15M736
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.573 cpuTime=0.39 mem=15M429
0.95
0.95 preprocessing
0.95 nbConstraintChecks=76036 nbPropagations=1012 nbRevisions=7544 nbUselessRevisions=6258 nbSingletonTests=57
0.95 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.95 => wckTime=0.055 cpuTime=0.05 mem=15M429
0.98
0.98 search
0.98 run=0 nbConstraintChecks=39792 nbPropagations=1515 nbRevisions=13819 nbUselessRevisions=11371 nbAssignments=25
0.98 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.085 cpuTime=0.07 mem=15M429
1.00
1.00 search
1.00 run=1 nbConstraintChecks=96923 nbPropagations=3732 nbRevisions=36423 nbUselessRevisions=29907 nbAssignments=68
1.00 nbFailedAssignments=20 nbBacktracks=31 nbVisitedNodes=104 nbRestartNogoods=1 mapSize=24 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.107 cpuTime=0.08 mem=15M429
1.01
1.02 search
1.02 run=2 nbConstraintChecks=138299 nbPropagations=6475 nbRevisions=64790 nbUselessRevisions=53027
1.02 nbAssignments=104 nbFailedAssignments=29 nbBacktracks=53 nbVisitedNodes=158 nbRestartNogoods=5 mapSize=38
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.117 cpuTime=0.09 mem=15M429
1.03
1.03 search
1.03 run=3 nbConstraintChecks=225141 nbPropagations=10183 nbRevisions=105364 nbUselessRevisions=85694
1.03 nbAssignments=160 nbFailedAssignments=45 nbBacktracks=87 nbVisitedNodes=248 nbRestartNogoods=6 mapSize=62
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.135 cpuTime=0.11 mem=15M429
1.05
1.05 search
1.05 run=4 nbConstraintChecks=311932 nbPropagations=14932 nbRevisions=159425 nbUselessRevisions=129045
1.06 nbAssignments=235 nbFailedAssignments=65 nbBacktracks=138 nbVisitedNodes=362 nbRestartNogoods=8 mapSize=93
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.156 cpuTime=0.13 mem=15M429
1.08
1.08 search
1.08 run=5 nbConstraintChecks=441516 nbPropagations=21139 nbRevisions=232834 nbUselessRevisions=187670
1.08 nbAssignments=349 nbFailedAssignments=98 nbBacktracks=213 nbVisitedNodes=529 nbRestartNogoods=9 mapSize=133
1.08 nbInferences=1 nbTooLargeKeys=0
1.08 => wckTime=0.183 cpuTime=0.15 mem=15M429
1.14
1.14 search
1.14 run=6 nbConstraintChecks=718313 nbPropagations=30460 nbRevisions=347817 nbUselessRevisions=279311
1.14 nbAssignments=525 nbFailedAssignments=154 nbBacktracks=328 nbVisitedNodes=820 nbRestartNogoods=13 mapSize=220
1.14 nbInferences=1 nbTooLargeKeys=0
1.14 => wckTime=0.241 cpuTime=0.2 mem=15M429
1.21
1.21 search
1.21 run=7 nbConstraintChecks=1085300 nbPropagations=44171 nbRevisions=524954 nbUselessRevisions=421014
1.21 nbAssignments=794 nbFailedAssignments=246 nbBacktracks=498 nbVisitedNodes=1263 nbRestartNogoods=18 mapSize=355
1.21 nbInferences=1 nbTooLargeKeys=0
1.21 => wckTime=0.308 cpuTime=0.27 mem=15M429
1.31
1.31 search
1.31 run=8 nbConstraintChecks=1654729 nbPropagations=64440 nbRevisions=785340 nbUselessRevisions=627343
1.31 nbAssignments=1211 nbFailedAssignments=397 nbBacktracks=759 nbVisitedNodes=1947 nbRestartNogoods=20
1.31 mapSize=547 nbInferences=1 nbTooLargeKeys=0
1.31 => wckTime=0.416 cpuTime=0.37 mem=15M429
1.45
1.45 search
1.45 run=9 nbConstraintChecks=2301830 nbPropagations=92656 nbRevisions=1148575 nbUselessRevisions=914339
1.45 nbAssignments=1783 nbFailedAssignments=571 nbBacktracks=1144 nbVisitedNodes=2835 nbRestartNogoods=25
1.45 mapSize=793 nbInferences=1 nbTooLargeKeys=0
1.45 => wckTime=0.556 cpuTime=0.49 mem=15M429
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=15M429)
1.60
1.60 search
1.60 run=10 nbConstraintChecks=3095671 nbPropagations=130402 nbRevisions=1639835 nbUselessRevisions=1303294
1.60 nbAssignments=2425 nbFailedAssignments=760 nbBacktracks=1547 nbVisitedNodes=3860 nbRestartNogoods=33
1.60 => wckTime=0.701 cpuTime=0.62 mem=15M429
1.60
1.60 global
1.60 nbConstraintChecks=3171707 nbPropagations=131414 nbRevisions=1647379 nbUselessRevisions=1309552
1.60 nbRestartNogoods=33 solvingWckTime=0.702 solvingCpuTime=0.62 expiredTime=no totalExploration=no
1.60 nbFoundSolutions=1 globalCpuTime=1.07
1.60 => wckTime=1.279 cpuTime=1.01 mem=15M429
1.60
1.60 s SATISFIABLE
1.60 v 6 1 10 11 8 10 6 18 13 3 15 9 13 3 16 8 15 10 20 19 10 12 7 3 13 7 6 18 8 16 1 16 17 10 2 5 4 20 16 10 3 4 2 20 10 6 12 17 2 17
1.60 d NODES 2425
1.60 d CHECKS 3171707
1.60
1.60 totalWckTime=1.359 totalCpuTime=1.07
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-230686-1168317012 -o ROOT/results/node43/solver-230686-1168317012 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230686-1168317012/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: 1.25 1.38 1.69 4/81 13668
/proc/meminfo: memFree=1445192/2055920 swapFree=4192812/4192956
[pid=13667] ppid=13665 vsize=1784 CPUtime=0
/proc/13667/stat : 13667 (java) D 13665 13667 12902 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 180100348 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/13667/statm: 446 158 123 14 0 91 0
[startup+0.106661 s]
/proc/loadavg: 1.25 1.38 1.69 4/81 13668
/proc/meminfo: memFree=1445192/2055920 swapFree=4192812/4192956
[pid=13667] ppid=13665 vsize=914988 CPUtime=0.08
/proc/13667/stat : 13667 (java) R 13665 13667 12902 0 -1 0 2981 0 1 0 6 2 0 0 17 0 8 0 180100348 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154112574 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13667/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516731 s]
/proc/loadavg: 1.25 1.38 1.69 4/81 13668
/proc/meminfo: memFree=1445192/2055920 swapFree=4192812/4192956
[pid=13667] ppid=13665 vsize=915328 CPUtime=0.48
/proc/13667/stat : 13667 (java) R 13665 13667 12902 0 -1 0 6793 0 1 0 44 4 0 0 18 0 8 0 180100348 937295872 6532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927042 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13667/statm: 228832 6532 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33787 s]
/proc/loadavg: 1.39 1.40 1.69 4/88 13675
/proc/meminfo: memFree=1419600/2055920 swapFree=4192812/4192956
[pid=13667] ppid=13665 vsize=915460 CPUtime=1.3
/proc/13667/stat : 13667 (java) R 13665 13667 12902 0 -1 0 9089 0 1 0 123 7 0 0 24 0 8 0 180100348 937431040 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13667/statm: 228865 8827 2524 14 0 215335 0
[pid=13667/tid=13669] ppid=13665 vsize=915460 CPUtime=0.03
/proc/13667/task/13669/stat : 13669 (java) S 13665 13667 12902 0 -1 64 370 0 0 0 3 0 0 0 16 0 8 0 180100352 937431040 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13667/tid=13670] ppid=13665 vsize=915460 CPUtime=0
/proc/13667/task/13670/stat : 13670 (java) S 13665 13667 12902 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180100352 937431040 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13667/tid=13671] ppid=13665 vsize=915460 CPUtime=0
/proc/13667/task/13671/stat : 13671 (java) S 13665 13667 12902 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180100352 937431040 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13667/tid=13672] ppid=13665 vsize=915460 CPUtime=0
/proc/13667/task/13672/stat : 13672 (java) S 13665 13667 12902 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180100356 937431040 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13667/tid=13673] ppid=13665 vsize=915460 CPUtime=0.22
/proc/13667/task/13673/stat : 13673 (java) S 13665 13667 12902 0 -1 64 382 0 0 0 21 1 0 0 15 0 8 0 180100356 937431040 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13667/tid=13674] ppid=13665 vsize=915460 CPUtime=0
/proc/13667/task/13674/stat : 13674 (java) S 13665 13667 12902 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180100356 937431040 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13667/tid=13675] ppid=13665 vsize=915460 CPUtime=0
/proc/13667/task/13675/stat : 13675 (java) S 13665 13667 12902 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180100356 937431040 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1.6548
CPU time (s): 1.57676
CPU user time (s): 1.49277
CPU system time (s): 0.083987
CPU usage (%): 95.2838
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49277
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9112
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= 1156
involuntary context switches= 1298
runsolver used 0.008998 s user time and 0.009998 s system time
The end
Begin job on node43 on Tue Jan 9 04:30:12 UTC 2007
IDJOB= 230686
IDBENCH= 6427
FILE ID= node43/230686-1168317012
PBS_JOBID= 3502539
Free space on /tmp= 66499 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-67_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230686-1168317012/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-230686-1168317012 -o ROOT/results/node43/solver-230686-1168317012 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/230686-1168317012/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8812ca5a30800f9563985cf1cc67315c
RANDOM SEED= 998656322
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.278
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.278
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: 1445608 kB
Buffers: 68344 kB
Cached: 453964 kB
SwapCached: 0 kB
Active: 256436 kB
Inactive: 297000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1445608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2236 kB
Writeback: 0 kB
Mapped: 48848 kB
Slab: 42040 kB
Committed_AS: 4088064 kB
PageTables: 1844 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= 66499 MiB
End job on node43 on Tue Jan 9 04:30:14 UTC 2007