0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/224573-1168080537/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.59
0.59 constraints being loaded...
0.68 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.68 => wckTime=0.372 cpuTime=0.32 mem=21M596
0.72
0.72 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.571 cpuTime=0.44 mem=15M148
0.89
0.89 preprocessing
0.89 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.89 detectedInconsistency=no
0.89 => wckTime=0.0020 cpuTime=0.0 mem=15M148
0.94
0.94 search
0.94 run=0 nbConstraintChecks=79159 nbPropagations=654 nbRevisions=2524 nbUselessRevisions=1361 nbAssignments=20
0.94 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.056 cpuTime=0.04 mem=15M148
0.97
0.97 search
0.97 run=1 nbConstraintChecks=221077 nbPropagations=2255 nbRevisions=9370 nbUselessRevisions=5080 nbAssignments=65
0.97 nbFailedAssignments=34 nbBacktracks=25 nbVisitedNodes=116 nbRestartNogoods=2 mapSize=17 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.084 cpuTime=0.06 mem=15M148
0.99
0.99 search
0.99 run=2 nbConstraintChecks=401434 nbPropagations=5137 nbRevisions=21917 nbUselessRevisions=11886
0.99 nbAssignments=110 nbFailedAssignments=54 nbBacktracks=47 nbVisitedNodes=196 nbRestartNogoods=6 mapSize=37
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.108 cpuTime=0.08 mem=15M148
1.02
1.02 search
1.02 run=3 nbConstraintChecks=713977 nbPropagations=10119 nbRevisions=43647 nbUselessRevisions=23538
1.02 nbAssignments=188 nbFailedAssignments=95 nbBacktracks=82 nbVisitedNodes=342 nbRestartNogoods=9 mapSize=68
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.139 cpuTime=0.11 mem=15M148
1.06
1.06 search
1.06 run=4 nbConstraintChecks=1151057 nbPropagations=18262 nbRevisions=79642 nbUselessRevisions=42741
1.06 nbAssignments=303 nbFailedAssignments=155 nbBacktracks=133 nbVisitedNodes=548 nbRestartNogoods=16 mapSize=104
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.18 cpuTime=0.15 mem=15M148
1.14
1.14 search
1.14 run=5 nbConstraintChecks=2029837 nbPropagations=31631 nbRevisions=141080 nbUselessRevisions=75422
1.14 nbAssignments=493 nbFailedAssignments=266 nbBacktracks=210 nbVisitedNodes=907 nbRestartNogoods=23 mapSize=177
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.255 cpuTime=0.22 mem=15M148
1.22
1.22 search
1.22 run=6 nbConstraintChecks=2944671 nbPropagations=50835 nbRevisions=229503 nbUselessRevisions=122543
1.22 nbAssignments=726 nbFailedAssignments=381 nbBacktracks=324 nbVisitedNodes=1318 nbRestartNogoods=33 mapSize=258
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.335 cpuTime=0.29 mem=15M148
1.37
1.37 search
1.37 run=7 nbConstraintChecks=4691317 nbPropagations=81890 nbRevisions=374327 nbUselessRevisions=200145
1.37 nbAssignments=1145 nbFailedAssignments=628 nbBacktracks=495 nbVisitedNodes=2104 nbRestartNogoods=45
1.37 mapSize=414 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.483 cpuTime=0.44 mem=15M148
1.56
1.56 search
1.56 run=8 nbConstraintChecks=6883339 nbPropagations=127122 nbRevisions=585515 nbUselessRevisions=313216
1.56 nbAssignments=1698 nbFailedAssignments=922 nbBacktracks=752 nbVisitedNodes=3105 nbRestartNogoods=55
1.56 mapSize=627 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.672 cpuTime=0.61 mem=15M148
1.81
1.81 search
1.81 run=9 nbConstraintChecks=10145499 nbPropagations=192982 nbRevisions=894397 nbUselessRevisions=478192
1.81 nbAssignments=2506 nbFailedAssignments=1343 nbBacktracks=1136 nbVisitedNodes=4553 nbRestartNogoods=62
1.81 mapSize=922 nbInferences=0 nbTooLargeKeys=0
1.81 => wckTime=0.926 cpuTime=0.86 mem=16M123
1.89
1.89 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=16M123)
2.17
2.17 search
2.17 run=10 nbConstraintChecks=14822142 nbPropagations=289225 nbRevisions=1343725 nbUselessRevisions=719165
2.17 nbAssignments=3720 nbFailedAssignments=1976 nbBacktracks=1713 nbVisitedNodes=6732 nbRestartNogoods=70
2.17 => wckTime=1.283 cpuTime=1.21 mem=16M123
2.69
2.69 search
2.69 run=11 nbConstraintChecks=21871950 nbPropagations=429678 nbRevisions=1999214 nbUselessRevisions=1070659
2.69 nbAssignments=5509 nbFailedAssignments=2896 nbBacktracks=2578 nbVisitedNodes=9901 nbRestartNogoods=80
2.69 => wckTime=1.802 cpuTime=1.72 mem=16M123
2.78
2.78 search
2.78 run=12 nbConstraintChecks=23109824 nbPropagations=577592 nbRevisions=2689925 nbUselessRevisions=1441076
2.78 nbAssignments=5806 nbFailedAssignments=3056 nbBacktracks=2716 nbVisitedNodes=10430 nbRestartNogoods=88
2.78 => wckTime=1.893 cpuTime=1.81 mem=16M123
2.78
2.78 global
2.78 nbConstraintChecks=23109824 nbPropagations=577632 nbRevisions=2689925 nbUselessRevisions=1441076
2.78 nbRestartNogoods=88 solvingWckTime=1.894 solvingCpuTime=1.81 expiredTime=no totalExploration=yes
2.78 nbFoundSolutions=0 globalCpuTime=2.31
2.78 => wckTime=2.47 cpuTime=2.25 mem=16M123
2.78
2.78 s UNSATISFIABLE
2.78 d NODES 5806
2.78 d CHECKS 23109824
2.78
2.78 totalWckTime=2.55 totalCpuTime=2.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-224573-1168080537 -o ROOT/results/node56/solver-224573-1168080537 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224573-1168080537/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.47 0.82 0.92 4/80 8078
/proc/meminfo: memFree=1611576/2055920 swapFree=4184772/4192956
[pid=8077] ppid=8075 vsize=168 CPUtime=0
/proc/8077/stat : 8077 (java) R 8075 8077 7486 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 156452724 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 1 0 0
/proc/8077/statm: 42 23 18 14 0 2 0
[startup+0.106549 s]
/proc/loadavg: 0.47 0.82 0.92 4/80 8078
/proc/meminfo: memFree=1611576/2055920 swapFree=4184772/4192956
[pid=8077] ppid=8075 vsize=914988 CPUtime=0.08
/proc/8077/stat : 8077 (java) R 8075 8077 7486 0 -1 0 3029 0 1 0 7 1 0 0 20 0 8 0 156452724 936947712 2775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8077/statm: 228747 2776 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514586 s]
/proc/loadavg: 0.47 0.82 0.92 4/80 8078
/proc/meminfo: memFree=1611576/2055920 swapFree=4184772/4192956
[pid=8077] ppid=8075 vsize=915328 CPUtime=0.49
/proc/8077/stat : 8077 (java) R 8075 8077 7486 0 -1 0 7531 0 1 0 45 4 0 0 18 0 8 0 156452724 937295872 7270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8077/statm: 228832 7274 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33567 s]
/proc/loadavg: 0.47 0.82 0.92 3/87 8085
/proc/meminfo: memFree=1580352/2055920 swapFree=4184772/4192956
[pid=8077] ppid=8075 vsize=915464 CPUtime=1.32
/proc/8077/stat : 8077 (java) R 8075 8077 7486 0 -1 0 10528 0 1 0 125 7 0 0 25 0 8 0 156452724 937435136 10266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8077/statm: 228866 10266 2513 14 0 215336 0
[pid=8077/tid=8079] ppid=8075 vsize=915464 CPUtime=0.03
/proc/8077/task/8079/stat : 8079 (java) S 8075 8077 7486 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156452728 937435136 10266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8077/tid=8080] ppid=8075 vsize=915464 CPUtime=0
/proc/8077/task/8080/stat : 8080 (java) S 8075 8077 7486 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452729 937435136 10266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8077/tid=8081] ppid=8075 vsize=915464 CPUtime=0
/proc/8077/task/8081/stat : 8081 (java) S 8075 8077 7486 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452729 937435136 10266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8077/tid=8082] ppid=8075 vsize=915464 CPUtime=0
/proc/8077/task/8082/stat : 8082 (java) S 8075 8077 7486 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156452732 937435136 10266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8077/tid=8083] ppid=8075 vsize=915464 CPUtime=0.17
/proc/8077/task/8083/stat : 8083 (java) S 8075 8077 7486 0 -1 64 360 0 0 0 16 1 0 0 15 0 8 0 156452732 937435136 10266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8077/tid=8084] ppid=8075 vsize=915464 CPUtime=0
/proc/8077/task/8084/stat : 8084 (java) S 8075 8077 7486 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 156452732 937435136 10266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8077/tid=8085] ppid=8075 vsize=915464 CPUtime=0
/proc/8077/task/8085/stat : 8085 (java) S 8075 8077 7486 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452732 937435136 10266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 2.8443
CPU time (s): 2.77958
CPU user time (s): 2.69959
CPU system time (s): 0.079987
CPU usage (%): 97.7244
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.69959
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= 10552
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= 1066
involuntary context switches= 1311
runsolver used 0.003999 s user time and 0.013997 s system time
The end
Begin job on node56 on Sat Jan 6 10:49:00 UTC 2007
IDJOB= 224573
IDBENCH= 5768
FILE ID= node56/224573-1168080537
PBS_JOBID= 3476162
Free space on /tmp= 66518 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224573-1168080537/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-224573-1168080537 -o ROOT/results/node56/solver-224573-1168080537 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224573-1168080537/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3f166abd9c5ab3f07fb1a58b80c8c711
RANDOM SEED= 632964018
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.232
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.232
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: 1636248 kB
Buffers: 30184 kB
Cached: 300412 kB
SwapCached: 2060 kB
Active: 73768 kB
Inactive: 278668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636248 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 4948 kB
Writeback: 0 kB
Mapped: 36284 kB
Slab: 52580 kB
Committed_AS: 3578700 kB
PageTables: 1916 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= 66518 MiB
End job on node56 on Sat Jan 6 10:49:15 UTC 2007