0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/238452-1168355343/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=64 nbDomainTypes=4 minDomainSize=1 maxDomainSize=16
0.42 => wckTime=0.104 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.43
0.43 constraints being loaded...
0.55 nbConstraints=431 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.55 nbExtensionStructures=9 nbSharedExtensionStructures=422 nbConflictsStructures=9 nbSharedConflictsStructures=422
0.55 nbSharedBinaryRepresentations=120 maxDegree=32 maxArity=2
0.55 => wckTime=0.236 cpuTime=0.16 mem=8M902
0.58
0.58 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.442 cpuTime=0.3 mem=14M619
0.80
0.80 preprocessing
0.80 nbConstraintChecks=30428 nbPropagations=342 nbRevisions=3235 nbUselessRevisions=2913 nbSingletonTests=72
0.80 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=290 detectedInconsistency=no
0.80 => wckTime=0.038 cpuTime=0.02 mem=14M619
0.82
0.82 search
0.82 run=0 nbConstraintChecks=23175 nbPropagations=528 nbRevisions=5568 nbUselessRevisions=5039 nbAssignments=24
0.82 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.06 cpuTime=0.03 mem=14M619
0.83
0.83 search
0.83 run=1 nbConstraintChecks=53414 nbPropagations=1306 nbRevisions=14176 nbUselessRevisions=12823 nbAssignments=57
0.83 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=98 nbRestartNogoods=4 mapSize=27 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.077 cpuTime=0.04 mem=14M619
0.85
0.85 search
0.85 run=2 nbConstraintChecks=95636 nbPropagations=2437 nbRevisions=27026 nbUselessRevisions=24431
0.85 nbAssignments=102 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=176 nbRestartNogoods=5 mapSize=49
0.85 nbInferences=1 nbTooLargeKeys=0
0.85 => wckTime=0.088 cpuTime=0.05 mem=14M619
0.86
0.86 search
0.86 run=3 nbConstraintChecks=152045 nbPropagations=4038 nbRevisions=45570 nbUselessRevisions=41176
0.86 nbAssignments=163 nbFailedAssignments=59 nbBacktracks=82 nbVisitedNodes=284 nbRestartNogoods=9 mapSize=82
0.86 nbInferences=2 nbTooLargeKeys=0
0.86 => wckTime=0.103 cpuTime=0.07 mem=14M619
0.88
0.88 search
0.88 run=4 nbConstraintChecks=234517 nbPropagations=6336 nbRevisions=72406 nbUselessRevisions=65389
0.88 nbAssignments=253 nbFailedAssignments=94 nbBacktracks=132 nbVisitedNodes=445 nbRestartNogoods=11 mapSize=132
0.88 nbInferences=3 nbTooLargeKeys=0
0.88 => wckTime=0.117 cpuTime=0.08 mem=14M619
0.90
0.90 search
0.90 run=5 nbConstraintChecks=364373 nbPropagations=9687 nbRevisions=112306 nbUselessRevisions=101452
0.90 nbAssignments=392 nbFailedAssignments=146 nbBacktracks=208 nbVisitedNodes=693 nbRestartNogoods=14 mapSize=208
0.90 nbInferences=9 nbTooLargeKeys=0
0.90 => wckTime=0.144 cpuTime=0.1 mem=14M619
0.93
0.93 search
0.93 run=6 nbConstraintChecks=553932 nbPropagations=14613 nbRevisions=171531 nbUselessRevisions=155017
0.93 nbAssignments=594 nbFailedAssignments=221 nbBacktracks=321 nbVisitedNodes=1054 nbRestartNogoods=17 mapSize=321
0.93 nbInferences=18 nbTooLargeKeys=0
0.93 => wckTime=0.173 cpuTime=0.13 mem=14M619
0.97
0.97 search
0.97 run=7 nbConstraintChecks=841339 nbPropagations=21963 nbRevisions=260111 nbUselessRevisions=235114
0.97 nbAssignments=899 nbFailedAssignments=336 nbBacktracks=491 nbVisitedNodes=1604 nbRestartNogoods=24 mapSize=491
0.97 nbInferences=33 nbTooLargeKeys=0
0.97 => wckTime=0.216 cpuTime=0.17 mem=14M619
1.04
1.04 search
1.04 run=8 nbConstraintChecks=1269724 nbPropagations=32900 nbRevisions=392436 nbUselessRevisions=354786
1.04 nbAssignments=1356 nbFailedAssignments=510 nbBacktracks=749 nbVisitedNodes=2431 nbRestartNogoods=29
1.04 mapSize=749 nbInferences=55 nbTooLargeKeys=0
1.04 => wckTime=0.281 cpuTime=0.23 mem=14M619
1.15
1.15 search
1.15 run=9 nbConstraintChecks=1948508 nbPropagations=49530 nbRevisions=595013 nbUselessRevisions=538285
1.15 nbAssignments=2073 nbFailedAssignments=755 nbBacktracks=1133 nbVisitedNodes=3720 nbRestartNogoods=34
1.15 mapSize=1133 nbInferences=139 nbTooLargeKeys=0
1.15 => wckTime=0.393 cpuTime=0.31 mem=14M619
1.29
1.29 search
1.29 run=10 nbConstraintChecks=2964365 nbPropagations=74559 nbRevisions=902721 nbUselessRevisions=817479
1.29 nbAssignments=3157 nbFailedAssignments=1133 nbBacktracks=1709 nbVisitedNodes=5664 nbRestartNogoods=39
1.29 mapSize=1707 nbInferences=265 nbTooLargeKeys=0
1.29 => wckTime=0.528 cpuTime=0.43 mem=15M594
1.47
1.47 search
1.47 run=11 nbConstraintChecks=4555347 nbPropagations=112462 nbRevisions=1374283 nbUselessRevisions=1246090
1.47 nbAssignments=4848 nbFailedAssignments=1713 nbBacktracks=2573 nbVisitedNodes=8666 nbRestartNogoods=45
1.47 mapSize=2570 nbInferences=509 nbTooLargeKeys=0
1.47 => wckTime=0.711 cpuTime=0.61 mem=15M594
1.52
1.52 search
1.52 run=12 nbConstraintChecks=5008589 nbPropagations=154039 nbRevisions=1892602 nbUselessRevisions=1717277
1.52 nbAssignments=5336 nbFailedAssignments=1892 nbBacktracks=2825 nbVisitedNodes=9533 nbRestartNogoods=53
1.52 mapSize=2820 nbInferences=567 nbTooLargeKeys=0
1.52 => wckTime=0.764 cpuTime=0.67 mem=15M594
1.52
1.52 global
1.52 nbConstraintChecks=5039017 nbPropagations=154381 nbRevisions=1895837 nbUselessRevisions=1720190
1.52 nbRestartNogoods=53 solvingWckTime=0.765 solvingCpuTime=0.67 expiredTime=no totalExploration=yes
1.52 nbFoundSolutions=0 globalCpuTime=1.04
1.52 => wckTime=1.211 cpuTime=0.98 mem=15M594
1.53
1.53 s UNSATISFIABLE
1.53 d NODES 5336
1.53 d CHECKS 5039017
1.53
1.53 totalWckTime=1.292 totalCpuTime=1.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-238452-1168355343 -o ROOT/results/node2/solver-238452-1168355343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238452-1168355343/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.14 1.68 1.87 4/93 23162
/proc/meminfo: memFree=1211216/2055920 swapFree=4180528/4192956
[pid=23161] ppid=23159 vsize=47976 CPUtime=0
/proc/23161/stat : 23161 (java) D 23159 23161 22401 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 183930358 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/23161/statm: 11994 972 769 14 0 1707 0
[startup+0.102919 s]
/proc/loadavg: 1.14 1.68 1.87 4/93 23162
/proc/meminfo: memFree=1211216/2055920 swapFree=4180528/4192956
[pid=23161] ppid=23159 vsize=914988 CPUtime=0.08
/proc/23161/stat : 23161 (java) D 23159 23161 22401 0 -1 0 2987 0 1 0 6 2 0 0 17 0 8 0 183930358 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23161/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510948 s]
/proc/loadavg: 1.14 1.68 1.87 4/93 23162
/proc/meminfo: memFree=1211216/2055920 swapFree=4180528/4192956
[pid=23161] ppid=23159 vsize=915328 CPUtime=0.49
/proc/23161/stat : 23161 (java) R 23159 23161 22401 0 -1 0 6405 0 1 0 45 4 0 0 18 0 8 0 183930358 937295872 6144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072940952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23161/statm: 228832 6144 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3341 s]
/proc/loadavg: 1.14 1.68 1.87 3/100 23169
/proc/meminfo: memFree=1187608/2055920 swapFree=4180528/4192956
[pid=23161] ppid=23159 vsize=915440 CPUtime=1.3
/proc/23161/stat : 23161 (java) R 23159 23161 22401 0 -1 0 8708 0 1 0 123 7 0 0 24 0 8 0 183930358 937410560 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23161/statm: 228860 8446 2524 14 0 215330 0
[pid=23161/tid=23163] ppid=23159 vsize=915440 CPUtime=0.02
/proc/23161/task/23163/stat : 23163 (java) S 23159 23161 22401 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 183930362 937410560 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23161/tid=23164] ppid=23159 vsize=915440 CPUtime=0
/proc/23161/task/23164/stat : 23164 (java) S 23159 23161 22401 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 183930363 937410560 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23161/tid=23165] ppid=23159 vsize=915440 CPUtime=0
/proc/23161/task/23165/stat : 23165 (java) S 23159 23161 22401 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183930363 937410560 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23161/tid=23166] ppid=23159 vsize=915440 CPUtime=0
/proc/23161/task/23166/stat : 23166 (java) S 23159 23161 22401 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183930366 937410560 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23161/tid=23167] ppid=23159 vsize=915440 CPUtime=0.22
/proc/23161/task/23167/stat : 23167 (java) S 23159 23161 22401 0 -1 64 384 0 0 0 21 1 0 0 15 0 8 0 183930366 937410560 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23161/tid=23168] ppid=23159 vsize=915440 CPUtime=0
/proc/23161/task/23168/stat : 23168 (java) S 23159 23161 22401 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183930366 937410560 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23161/tid=23169] ppid=23159 vsize=915440 CPUtime=0
/proc/23161/task/23169/stat : 23169 (java) S 23159 23161 22401 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183930366 937410560 8446 18446744073709551615 134512640 134570532 4294956464 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) 915440
Child status: 0
Real time (s): 1.55784
CPU time (s): 1.50777
CPU user time (s): 1.42778
CPU system time (s): 0.079987
CPU usage (%): 96.7857
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.42778
system time used= 0.079987
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= 1089
involuntary context switches= 1307
runsolver used 0.004999 s user time and 0.015997 s system time
The end
Begin job on node2 on Tue Jan 9 15:09:05 UTC 2007
IDJOB= 238452
IDBENCH= 7003
FILE ID= node2/238452-1168355343
PBS_JOBID= 3503704
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-4/BlackHole-4-4-e-0_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238452-1168355343/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-238452-1168355343 -o ROOT/results/node2/solver-238452-1168355343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238452-1168355343/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e8260dccac0daac18019f8de3a6a2a87
RANDOM SEED= 932244129
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.259
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 : 5931.00
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.259
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: 1211696 kB
Buffers: 21772 kB
Cached: 115688 kB
SwapCached: 376 kB
Active: 716520 kB
Inactive: 74876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1211696 kB
SwapTotal: 4192956 kB
SwapFree: 4180528 kB
Dirty: 1820 kB
Writeback: 0 kB
Mapped: 675164 kB
Slab: 36080 kB
Committed_AS: 5786448 kB
PageTables: 3608 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= 66532 MiB
End job on node2 on Tue Jan 9 15:09:10 UTC 2007