0.49
0.49 Abscon 109 (November, 2006)
0.49
0.49 configuration
0.49 name=esac.xml
0.59
0.59 instance
0.59 name=/tmp/evaluation/238319-1168354871/unknown.xml
0.62
0.62 domains being loaded...
0.63
0.63 variables being loaded...
0.67 nbVariables=64 nbDomainTypes=4 minDomainSize=1 maxDomainSize=16
0.67 => wckTime=0.159 cpuTime=0.08 mem=6M951
0.67
0.67 relations being loaded...
0.68
0.68 constraints being loaded...
0.80 nbConstraints=431 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.80 nbExtensionStructures=9 nbSharedExtensionStructures=422 nbConflictsStructures=9 nbSharedConflictsStructures=422
0.80 nbSharedBinaryRepresentations=120 maxDegree=32 maxArity=2
0.80 => wckTime=0.291 cpuTime=0.17 mem=8M902
0.83
0.83 solver IterativeSystematicSolver being built...
1.00 => wckTime=0.496 cpuTime=0.3 mem=14M619
1.05
1.05 preprocessing
1.05 nbConstraintChecks=30218 nbPropagations=340 nbRevisions=3205 nbUselessRevisions=2883 nbSingletonTests=72
1.05 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=290 detectedInconsistency=no
1.05 => wckTime=0.039 cpuTime=0.02 mem=14M619
1.07
1.07 search
1.07 run=0 nbConstraintChecks=23175 nbPropagations=526 nbRevisions=5538 nbUselessRevisions=5009 nbAssignments=24
1.07 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.07 nbTooLargeKeys=0
1.07 => wckTime=0.06 cpuTime=0.04 mem=14M619
1.08
1.09 search
1.09 run=1 nbConstraintChecks=53414 nbPropagations=1302 nbRevisions=14116 nbUselessRevisions=12763 nbAssignments=57
1.09 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=98 nbRestartNogoods=4 mapSize=27 nbInferences=0
1.09 nbTooLargeKeys=0
1.09 => wckTime=0.077 cpuTime=0.04 mem=14M619
1.10
1.10 search
1.10 run=2 nbConstraintChecks=95636 nbPropagations=2431 nbRevisions=26936 nbUselessRevisions=24341
1.10 nbAssignments=102 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=176 nbRestartNogoods=5 mapSize=49
1.10 nbInferences=1 nbTooLargeKeys=0
1.10 => wckTime=0.089 cpuTime=0.05 mem=14M619
1.11
1.11 search
1.11 run=3 nbConstraintChecks=152045 nbPropagations=4030 nbRevisions=45450 nbUselessRevisions=41056
1.11 nbAssignments=163 nbFailedAssignments=59 nbBacktracks=82 nbVisitedNodes=284 nbRestartNogoods=9 mapSize=82
1.11 nbInferences=2 nbTooLargeKeys=0
1.11 => wckTime=0.103 cpuTime=0.07 mem=14M619
1.13
1.13 search
1.13 run=4 nbConstraintChecks=234517 nbPropagations=6326 nbRevisions=72256 nbUselessRevisions=65239
1.13 nbAssignments=253 nbFailedAssignments=94 nbBacktracks=132 nbVisitedNodes=445 nbRestartNogoods=11 mapSize=132
1.13 nbInferences=3 nbTooLargeKeys=0
1.13 => wckTime=0.117 cpuTime=0.08 mem=14M619
1.15
1.15 search
1.15 run=5 nbConstraintChecks=364373 nbPropagations=9675 nbRevisions=112126 nbUselessRevisions=101272
1.15 nbAssignments=392 nbFailedAssignments=146 nbBacktracks=208 nbVisitedNodes=693 nbRestartNogoods=14 mapSize=208
1.15 nbInferences=9 nbTooLargeKeys=0
1.15 => wckTime=0.145 cpuTime=0.1 mem=14M619
1.18
1.18 search
1.18 run=6 nbConstraintChecks=553932 nbPropagations=14599 nbRevisions=171321 nbUselessRevisions=154807
1.18 nbAssignments=594 nbFailedAssignments=221 nbBacktracks=321 nbVisitedNodes=1054 nbRestartNogoods=17 mapSize=321
1.18 nbInferences=18 nbTooLargeKeys=0
1.18 => wckTime=0.174 cpuTime=0.13 mem=14M619
1.22
1.22 search
1.22 run=7 nbConstraintChecks=841339 nbPropagations=21947 nbRevisions=259871 nbUselessRevisions=234874
1.22 nbAssignments=899 nbFailedAssignments=336 nbBacktracks=491 nbVisitedNodes=1604 nbRestartNogoods=24 mapSize=491
1.22 nbInferences=33 nbTooLargeKeys=0
1.22 => wckTime=0.217 cpuTime=0.17 mem=14M619
1.29
1.29 search
1.29 run=8 nbConstraintChecks=1269724 nbPropagations=32882 nbRevisions=392166 nbUselessRevisions=354516
1.29 nbAssignments=1356 nbFailedAssignments=510 nbBacktracks=749 nbVisitedNodes=2431 nbRestartNogoods=29
1.29 mapSize=749 nbInferences=55 nbTooLargeKeys=0
1.29 => wckTime=0.282 cpuTime=0.23 mem=14M619
1.39
1.39 search
1.39 run=9 nbConstraintChecks=1948508 nbPropagations=49510 nbRevisions=594713 nbUselessRevisions=537985
1.39 nbAssignments=2073 nbFailedAssignments=755 nbBacktracks=1133 nbVisitedNodes=3720 nbRestartNogoods=34
1.39 mapSize=1133 nbInferences=139 nbTooLargeKeys=0
1.39 => wckTime=0.384 cpuTime=0.31 mem=14M619
1.53
1.53 search
1.53 run=10 nbConstraintChecks=2964365 nbPropagations=74537 nbRevisions=902391 nbUselessRevisions=817149
1.53 nbAssignments=3157 nbFailedAssignments=1133 nbBacktracks=1709 nbVisitedNodes=5664 nbRestartNogoods=39
1.53 mapSize=1707 nbInferences=265 nbTooLargeKeys=0
1.53 => wckTime=0.518 cpuTime=0.43 mem=15M594
1.71
1.71 search
1.71 run=11 nbConstraintChecks=4555347 nbPropagations=112438 nbRevisions=1373923 nbUselessRevisions=1245730
1.71 nbAssignments=4848 nbFailedAssignments=1713 nbBacktracks=2573 nbVisitedNodes=8666 nbRestartNogoods=45
1.71 mapSize=2570 nbInferences=509 nbTooLargeKeys=0
1.71 => wckTime=0.701 cpuTime=0.61 mem=15M594
1.76
1.76 search
1.76 run=12 nbConstraintChecks=5008589 nbPropagations=154013 nbRevisions=1892212 nbUselessRevisions=1716887
1.76 nbAssignments=5336 nbFailedAssignments=1892 nbBacktracks=2825 nbVisitedNodes=9533 nbRestartNogoods=53
1.76 mapSize=2820 nbInferences=567 nbTooLargeKeys=0
1.76 => wckTime=0.754 cpuTime=0.66 mem=15M594
1.76
1.76 global
1.76 nbConstraintChecks=5038807 nbPropagations=154353 nbRevisions=1895417 nbUselessRevisions=1719770
1.76 nbRestartNogoods=53 solvingWckTime=0.755 solvingCpuTime=0.66 expiredTime=no totalExploration=yes
1.76 nbFoundSolutions=0 globalCpuTime=1.03
1.76 => wckTime=1.256 cpuTime=0.97 mem=15M594
1.77
1.77 s UNSATISFIABLE
1.77 d NODES 5336
1.77 d CHECKS 5038807
1.77
1.77 totalWckTime=1.351 totalCpuTime=1.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-238319-1168354871 -o ROOT/results/node33/solver-238319-1168354871 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238319-1168354871/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.67 0.93 0.97 3/80 4490
/proc/meminfo: memFree=1857960/2055920 swapFree=4192224/4192956
[pid=4489] ppid=4483 vsize=1784 CPUtime=0
/proc/4489/stat : 4489 (java) D 4483 4489 3845 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 183881191 1826816 136 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4489/statm: 446 136 102 14 0 91 0
[startup+0.103946 s]
/proc/loadavg: 0.67 0.93 0.97 3/80 4490
/proc/meminfo: memFree=1857960/2055920 swapFree=4192224/4192956
[pid=4489] ppid=4483 vsize=907676 CPUtime=0.04
/proc/4489/stat : 4489 (java) R 4483 4489 3845 0 -1 0 2335 0 1 0 3 1 0 0 16 0 4 0 183881191 929460224 2082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770466 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/4489/statm: 226919 2082 1167 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.512028 s]
/proc/loadavg: 0.67 0.93 0.97 3/80 4490
/proc/meminfo: memFree=1857960/2055920 swapFree=4192224/4192956
[pid=4489] ppid=4483 vsize=915148 CPUtime=0.3
/proc/4489/stat : 4489 (java) R 4483 4489 3845 0 -1 0 5110 0 9 0 27 3 0 0 18 0 8 0 183881191 937111552 4864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4489/statm: 228788 4864 1975 14 0 215276 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 915148
[startup+1.3392 s]
/proc/loadavg: 0.67 0.93 0.97 5/94 4505
/proc/meminfo: memFree=1823800/2055920 swapFree=4192224/4192956
[pid=4489] ppid=4483 vsize=915440 CPUtime=1.06
/proc/4489/stat : 4489 (java) R 4483 4489 3845 0 -1 0 8625 0 12 0 101 5 0 0 22 0 8 0 183881191 937410560 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4489/statm: 228860 8374 2524 14 0 215330 0
[pid=4489/tid=4493] ppid=4483 vsize=915440 CPUtime=0.02
/proc/4489/task/4493/stat : 4493 (java) S 4483 4489 3845 0 -1 64 180 0 0 0 2 0 0 0 17 0 8 0 183881198 937410560 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4489/tid=4496] ppid=4483 vsize=915440 CPUtime=0
/proc/4489/task/4496/stat : 4496 (java) S 4483 4489 3845 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183881198 937410560 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4489/tid=4497] ppid=4483 vsize=915440 CPUtime=0
/proc/4489/task/4497/stat : 4497 (java) S 4483 4489 3845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183881198 937410560 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4489/tid=4502] ppid=4483 vsize=915440 CPUtime=0
/proc/4489/task/4502/stat : 4502 (java) S 4483 4489 3845 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183881203 937410560 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4489/tid=4503] ppid=4483 vsize=915440 CPUtime=0.2
/proc/4489/task/4503/stat : 4503 (java) S 4483 4489 3845 0 -1 64 376 0 0 0 20 0 0 0 16 0 8 0 183881203 937410560 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4489/tid=4504] ppid=4483 vsize=915440 CPUtime=0
/proc/4489/task/4504/stat : 4504 (java) S 4483 4489 3845 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183881203 937410560 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4489/tid=4505] ppid=4483 vsize=915440 CPUtime=0
/proc/4489/task/4505/stat : 4505 (java) S 4483 4489 3845 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183881203 937410560 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 915440
Child status: 0
Real time (s): 1.8045
CPU time (s): 1.51077
CPU user time (s): 1.44178
CPU system time (s): 0.068989
CPU usage (%): 83.7222
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.44178
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8841
page faults= 12
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1149
involuntary context switches= 1295
runsolver used 0.007998 s user time and 0.015997 s system time
The end
Begin job on node33 on Tue Jan 9 15:01:13 UTC 2007
IDJOB= 238319
IDBENCH= 6996
FILE ID= node33/238319-1168354871
PBS_JOBID= 3503894
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-4/BlackHole-4-4-e-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238319-1168354871/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-238319-1168354871 -o ROOT/results/node33/solver-238319-1168354871 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238319-1168354871/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f007fbf890e041d0b9b8791c8c515477
RANDOM SEED= 134335678
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.281
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.281
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: 1859312 kB
Buffers: 30212 kB
Cached: 94188 kB
SwapCached: 448 kB
Active: 79640 kB
Inactive: 65620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1859312 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 2524 kB
Writeback: 0 kB
Mapped: 30840 kB
Slab: 36624 kB
Committed_AS: 3544652 kB
PageTables: 1884 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= 66563 MiB
End job on node33 on Tue Jan 9 15:01:15 UTC 2007