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/238338-1168354903/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=64 nbDomainTypes=4 minDomainSize=1 maxDomainSize=16
0.40 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.41
0.41 constraints being loaded...
0.52 nbConstraints=431 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.52 nbExtensionStructures=9 nbSharedExtensionStructures=422 nbConflictsStructures=9 nbSharedConflictsStructures=422
0.52 nbSharedBinaryRepresentations=120 maxDegree=32 maxArity=2
0.52 => wckTime=0.223 cpuTime=0.16 mem=8M902
0.56
0.56 solver IterativeSystematicSolver being built...
0.72 => wckTime=0.419 cpuTime=0.3 mem=14M619
0.76
0.76 preprocessing
0.76 nbConstraintChecks=30533 nbPropagations=343 nbRevisions=3250 nbUselessRevisions=2928 nbSingletonTests=72
0.76 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=290 detectedInconsistency=no
0.76 => wckTime=0.037 cpuTime=0.02 mem=14M619
0.78
0.78 search
0.78 run=0 nbConstraintChecks=23175 nbPropagations=529 nbRevisions=5583 nbUselessRevisions=5054 nbAssignments=24
0.78 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.78 nbTooLargeKeys=0
0.78 => wckTime=0.057 cpuTime=0.04 mem=14M619
0.79
0.79 search
0.79 run=1 nbConstraintChecks=53414 nbPropagations=1308 nbRevisions=14206 nbUselessRevisions=12853 nbAssignments=57
0.79 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=98 nbRestartNogoods=4 mapSize=27 nbInferences=0
0.79 nbTooLargeKeys=0
0.79 => wckTime=0.073 cpuTime=0.05 mem=14M619
0.80
0.80 search
0.81 run=2 nbConstraintChecks=95636 nbPropagations=2440 nbRevisions=27071 nbUselessRevisions=24476
0.81 nbAssignments=102 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=176 nbRestartNogoods=5 mapSize=49
0.81 nbInferences=1 nbTooLargeKeys=0
0.81 => wckTime=0.084 cpuTime=0.05 mem=14M619
0.82
0.82 search
0.82 run=3 nbConstraintChecks=152045 nbPropagations=4042 nbRevisions=45630 nbUselessRevisions=41236
0.82 nbAssignments=163 nbFailedAssignments=59 nbBacktracks=82 nbVisitedNodes=284 nbRestartNogoods=9 mapSize=82
0.82 nbInferences=2 nbTooLargeKeys=0
0.82 => wckTime=0.098 cpuTime=0.06 mem=14M619
0.83
0.83 search
0.83 run=4 nbConstraintChecks=234517 nbPropagations=6341 nbRevisions=72481 nbUselessRevisions=65464
0.83 nbAssignments=253 nbFailedAssignments=94 nbBacktracks=132 nbVisitedNodes=445 nbRestartNogoods=11 mapSize=132
0.83 nbInferences=3 nbTooLargeKeys=0
0.83 => wckTime=0.111 cpuTime=0.08 mem=14M619
0.86
0.86 search
0.86 run=5 nbConstraintChecks=364373 nbPropagations=9693 nbRevisions=112396 nbUselessRevisions=101542
0.86 nbAssignments=392 nbFailedAssignments=146 nbBacktracks=208 nbVisitedNodes=693 nbRestartNogoods=14 mapSize=208
0.86 nbInferences=9 nbTooLargeKeys=0
0.86 => wckTime=0.137 cpuTime=0.1 mem=14M619
0.88
0.88 search
0.88 run=6 nbConstraintChecks=553932 nbPropagations=14620 nbRevisions=171636 nbUselessRevisions=155122
0.89 nbAssignments=594 nbFailedAssignments=221 nbBacktracks=321 nbVisitedNodes=1054 nbRestartNogoods=17 mapSize=321
0.89 nbInferences=18 nbTooLargeKeys=0
0.89 => wckTime=0.164 cpuTime=0.12 mem=14M619
0.93
0.93 search
0.93 run=7 nbConstraintChecks=841339 nbPropagations=21971 nbRevisions=260231 nbUselessRevisions=235234
0.93 nbAssignments=899 nbFailedAssignments=336 nbBacktracks=491 nbVisitedNodes=1604 nbRestartNogoods=24 mapSize=491
0.93 nbInferences=33 nbTooLargeKeys=0
0.93 => wckTime=0.205 cpuTime=0.16 mem=14M619
0.99
0.99 search
0.99 run=8 nbConstraintChecks=1269724 nbPropagations=32909 nbRevisions=392571 nbUselessRevisions=354921
0.99 nbAssignments=1356 nbFailedAssignments=510 nbBacktracks=749 nbVisitedNodes=2431 nbRestartNogoods=29
0.99 mapSize=749 nbInferences=55 nbTooLargeKeys=0
0.99 => wckTime=0.265 cpuTime=0.22 mem=14M619
1.08
1.08 search
1.08 run=9 nbConstraintChecks=1948508 nbPropagations=49540 nbRevisions=595163 nbUselessRevisions=538435
1.08 nbAssignments=2073 nbFailedAssignments=755 nbBacktracks=1133 nbVisitedNodes=3720 nbRestartNogoods=34
1.08 mapSize=1133 nbInferences=139 nbTooLargeKeys=0
1.08 => wckTime=0.361 cpuTime=0.3 mem=14M619
1.21
1.21 search
1.21 run=10 nbConstraintChecks=2964365 nbPropagations=74570 nbRevisions=902886 nbUselessRevisions=817644
1.21 nbAssignments=3157 nbFailedAssignments=1133 nbBacktracks=1709 nbVisitedNodes=5664 nbRestartNogoods=39
1.21 mapSize=1707 nbInferences=265 nbTooLargeKeys=0
1.21 => wckTime=0.487 cpuTime=0.41 mem=15M594
1.40
1.40 search
1.40 run=11 nbConstraintChecks=4555347 nbPropagations=112474 nbRevisions=1374463 nbUselessRevisions=1246270
1.40 nbAssignments=4848 nbFailedAssignments=1713 nbBacktracks=2573 nbVisitedNodes=8666 nbRestartNogoods=45
1.40 mapSize=2570 nbInferences=509 nbTooLargeKeys=0
1.40 => wckTime=0.683 cpuTime=0.58 mem=15M594
1.45
1.45 search
1.45 run=12 nbConstraintChecks=5008589 nbPropagations=154052 nbRevisions=1892797 nbUselessRevisions=1717472
1.45 nbAssignments=5336 nbFailedAssignments=1892 nbBacktracks=2825 nbVisitedNodes=9533 nbRestartNogoods=53
1.45 mapSize=2820 nbInferences=567 nbTooLargeKeys=0
1.45 => wckTime=0.733 cpuTime=0.63 mem=15M594
1.46
1.46 global
1.46 nbConstraintChecks=5039122 nbPropagations=154395 nbRevisions=1896047 nbUselessRevisions=1720400
1.46 nbRestartNogoods=53 solvingWckTime=0.734 solvingCpuTime=0.63 expiredTime=no totalExploration=yes
1.46 nbFoundSolutions=0 globalCpuTime=0.97
1.46 => wckTime=1.157 cpuTime=0.93 mem=15M594
1.46
1.46 s UNSATISFIABLE
1.46 d NODES 5336
1.46 d CHECKS 5039122
1.46
1.46 totalWckTime=1.233 totalCpuTime=0.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-238338-1168354903 -o ROOT/results/node19/solver-238338-1168354903 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238338-1168354903/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.85 1.97 1.99 4/99 25090
/proc/meminfo: memFree=1197912/2055920 swapFree=4171244/4192956
[pid=25089] ppid=25087 vsize=47416 CPUtime=0
/proc/25089/stat : 25089 (java) R 25087 25089 23968 0 -1 0 944 0 1 0 0 0 0 0 17 0 1 0 183885052 48553984 693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7951324 0 4 0 7368 0 0 0 17 0 0 0
/proc/25089/statm: 11854 697 567 14 0 1707 0
[startup+0.102703 s]
/proc/loadavg: 1.85 1.97 1.99 4/99 25090
/proc/meminfo: memFree=1197912/2055920 swapFree=4171244/4192956
[pid=25089] ppid=25087 vsize=914988 CPUtime=0.08
/proc/25089/stat : 25089 (java) R 25087 25089 23968 0 -1 0 2999 0 1 0 7 1 0 0 21 0 8 0 183885052 936947712 2745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25089/statm: 228747 2745 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510777 s]
/proc/loadavg: 1.85 1.97 1.99 4/99 25090
/proc/meminfo: memFree=1197912/2055920 swapFree=4171244/4192956
[pid=25089] ppid=25087 vsize=915328 CPUtime=0.49
/proc/25089/stat : 25089 (java) R 25087 25089 23968 0 -1 0 6625 0 1 0 45 4 0 0 24 0 8 0 183885052 937295872 6364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073550989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25089/statm: 228832 6364 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33393 s]
/proc/loadavg: 1.85 1.97 1.99 3/106 25097
/proc/meminfo: memFree=1174176/2055920 swapFree=4171244/4192956
[pid=25089] ppid=25087 vsize=915440 CPUtime=1.29
/proc/25089/stat : 25089 (java) R 25087 25089 23968 0 -1 0 8727 0 1 0 123 6 0 0 25 0 8 0 183885052 937410560 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25089/statm: 228860 8465 2524 14 0 215330 0
[pid=25089/tid=25091] ppid=25087 vsize=915440 CPUtime=0.02
/proc/25089/task/25091/stat : 25091 (java) S 25087 25089 23968 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 183885056 937410560 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25089/tid=25092] ppid=25087 vsize=915440 CPUtime=0
/proc/25089/task/25092/stat : 25092 (java) S 25087 25089 23968 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183885057 937410560 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25089/tid=25093] ppid=25087 vsize=915440 CPUtime=0
/proc/25089/task/25093/stat : 25093 (java) S 25087 25089 23968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183885057 937410560 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25089/tid=25094] ppid=25087 vsize=915440 CPUtime=0
/proc/25089/task/25094/stat : 25094 (java) S 25087 25089 23968 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 183885060 937410560 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25089/tid=25095] ppid=25087 vsize=915440 CPUtime=0.21
/proc/25089/task/25095/stat : 25095 (java) S 25087 25089 23968 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 183885060 937410560 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25089/tid=25096] ppid=25087 vsize=915440 CPUtime=0
/proc/25089/task/25096/stat : 25096 (java) S 25087 25089 23968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 183885060 937410560 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25089/tid=25097] ppid=25087 vsize=915440 CPUtime=0
/proc/25089/task/25097/stat : 25097 (java) S 25087 25089 23968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183885060 937410560 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915440
Child status: 0
Real time (s): 1.49006
CPU time (s): 1.42978
CPU user time (s): 1.35379
CPU system time (s): 0.075988
CPU usage (%): 95.9549
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.35379
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= 8852
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= 1141
involuntary context switches= 1314
runsolver used 0.001999 s user time and 0.010998 s system time
The end
Begin job on node19 on Tue Jan 9 15:01:44 UTC 2007
IDJOB= 238338
IDBENCH= 6997
FILE ID= node19/238338-1168354903
PBS_JOBID= 3503702
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-4/BlackHole-4-4-e-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238338-1168354903/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-238338-1168354903 -o ROOT/results/node19/solver-238338-1168354903 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238338-1168354903/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1d4e042594ae0061070f62f273326e16
RANDOM SEED= 234092863
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.260
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.260
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: 1198392 kB
Buffers: 21228 kB
Cached: 128584 kB
SwapCached: 10396 kB
Active: 744424 kB
Inactive: 55432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1198392 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 669444 kB
Slab: 40628 kB
Committed_AS: 5861716 kB
PageTables: 3856 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= 66551 MiB
End job on node19 on Tue Jan 9 15:01:46 UTC 2007