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/226675-1168080723/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.41 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.52
0.52 constraints being loaded...
0.59 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=2
0.59 => wckTime=0.281 cpuTime=0.22 mem=15M796
0.63
0.63 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.46 cpuTime=0.34 mem=13M789
0.77
0.77 preprocessing
0.77 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77 detectedInconsistency=no
0.77 => wckTime=0.0020 cpuTime=0.0 mem=13M789
0.82
0.82 search
0.82 run=0 nbConstraintChecks=42935 nbPropagations=563 nbRevisions=3262 nbUselessRevisions=2115 nbAssignments=24
0.82 nbFailedAssignments=10 nbBacktracks=12 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.047 cpuTime=0.03 mem=14M764
0.84
0.84 search
0.84 run=1 nbConstraintChecks=116224 nbPropagations=2047 nbRevisions=12206 nbUselessRevisions=7887 nbAssignments=66
0.84 nbFailedAssignments=32 nbBacktracks=27 nbVisitedNodes=116 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.067 cpuTime=0.06 mem=14M764
0.85
0.85 search
0.85 run=2 nbConstraintChecks=170325 nbPropagations=4335 nbRevisions=25742 nbUselessRevisions=16476
0.85 nbAssignments=103 nbFailedAssignments=44 nbBacktracks=50 nbVisitedNodes=175 nbRestartNogoods=7 mapSize=39
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.082 cpuTime=0.07 mem=14M764
0.87
0.87 search
0.87 run=3 nbConstraintChecks=277846 nbPropagations=8137 nbRevisions=47989 nbUselessRevisions=30391
0.87 nbAssignments=166 nbFailedAssignments=71 nbBacktracks=83 nbVisitedNodes=284 nbRestartNogoods=11 mapSize=64
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.1 cpuTime=0.08 mem=14M764
0.90
0.90 search
0.90 run=4 nbConstraintChecks=520648 nbPropagations=15159 nbRevisions=89212 nbUselessRevisions=55827
0.90 nbAssignments=290 nbFailedAssignments=139 nbBacktracks=133 nbVisitedNodes=511 nbRestartNogoods=15 mapSize=112
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.131 cpuTime=0.11 mem=14M764
0.95
0.95 search
0.95 run=5 nbConstraintChecks=857137 nbPropagations=26555 nbRevisions=157059 nbUselessRevisions=97714
0.95 nbAssignments=451 nbFailedAssignments=220 nbBacktracks=208 nbVisitedNodes=811 nbRestartNogoods=21 mapSize=184
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.174 cpuTime=0.15 mem=14M764
1.01
1.01 search
1.01 run=6 nbConstraintChecks=1341908 nbPropagations=44711 nbRevisions=265540 nbUselessRevisions=164493
1.01 nbAssignments=712 nbFailedAssignments=363 nbBacktracks=321 nbVisitedNodes=1295 nbRestartNogoods=31 mapSize=291
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.236 cpuTime=0.21 mem=14M764
1.08
1.08 search
1.08 run=7 nbConstraintChecks=1914369 nbPropagations=70769 nbRevisions=420268 nbUselessRevisions=258969
1.08 nbAssignments=1017 nbFailedAssignments=495 nbBacktracks=492 nbVisitedNodes=1828 nbRestartNogoods=41
1.08 mapSize=423 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.308 cpuTime=0.28 mem=14M764
1.23
1.23 search
1.23 run=8 nbConstraintChecks=3111231 nbPropagations=112307 nbRevisions=671143 nbUselessRevisions=413342
1.23 nbAssignments=1660 nbFailedAssignments=877 nbBacktracks=748 nbVisitedNodes=3028 nbRestartNogoods=45
1.23 mapSize=658 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.462 cpuTime=0.42 mem=14M764
1.37
1.37 search
1.37 run=9 nbConstraintChecks=4252660 nbPropagations=169956 nbRevisions=1015569 nbUselessRevisions=624317
1.37 nbAssignments=2312 nbFailedAssignments=1141 nbBacktracks=1132 nbVisitedNodes=4156 nbRestartNogoods=54
1.37 mapSize=967 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.596 cpuTime=0.54 mem=14M764
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=14M764)
1.58
1.58 search
1.58 run=10 nbConstraintChecks=6203860 nbPropagations=255306 nbRevisions=1523447 nbUselessRevisions=935332
1.58 nbAssignments=3446 nbFailedAssignments=1694 nbBacktracks=1708 nbVisitedNodes=6193 nbRestartNogoods=59
1.58 => wckTime=0.813 cpuTime=0.75 mem=14M764
1.93
1.93 search
1.93 run=11 nbConstraintChecks=9548884 nbPropagations=386217 nbRevisions=2311290 nbUselessRevisions=1419362
1.93 nbAssignments=5378 nbFailedAssignments=2758 nbBacktracks=2572 nbVisitedNodes=9754 nbRestartNogoods=61
1.93 => wckTime=1.158 cpuTime=1.1 mem=14M764
2.39
2.39 search
2.39 run=12 nbConstraintChecks=13977811 nbPropagations=578514 nbRevisions=3466378 nbUselessRevisions=2129934
2.39 nbAssignments=7896 nbFailedAssignments=3975 nbBacktracks=3870 nbVisitedNodes=14267 nbRestartNogoods=71
2.39 => wckTime=1.616 cpuTime=1.55 mem=14M764
3.10
3.10 search
3.10 run=13 nbConstraintChecks=20960637 nbPropagations=863486 nbRevisions=5178822 nbUselessRevisions=3182861
3.10 nbAssignments=11762 nbFailedAssignments=5889 nbBacktracks=5816 nbVisitedNodes=21227 nbRestartNogoods=81
3.10 => wckTime=2.327 cpuTime=2.26 mem=14M764
3.53
3.53 search
3.53 run=14 nbConstraintChecks=25054561 nbPropagations=1206372 nbRevisions=7234386 nbUselessRevisions=4445123
3.53 nbAssignments=14157 nbFailedAssignments=7066 nbBacktracks=6994 nbVisitedNodes=25509 nbRestartNogoods=87
3.53 => wckTime=2.758 cpuTime=2.69 mem=14M764
3.53
3.53 global
3.53 nbConstraintChecks=25054561 nbPropagations=1206412 nbRevisions=7234386 nbUselessRevisions=4445123
3.53 nbRestartNogoods=87 solvingWckTime=2.758 solvingCpuTime=2.69 expiredTime=no totalExploration=no
3.53 nbFoundSolutions=1 globalCpuTime=3.08
3.53 => wckTime=3.222 cpuTime=3.03 mem=14M764
3.53
3.53 s SATISFIABLE
3.53 v 28 27 28 22 34 1 13 25 22 12 33 25 19 8 19 37 25 4 29 10 33 30 18 24 20 1 34 27 16 30 13 26 15 6 38 17 12 3 11 35
3.53 d NODES 14157
3.53 d CHECKS 25054561
3.53
3.53 totalWckTime=3.296 totalCpuTime=3.08
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-226675-1168080723 -o ROOT/results/node75/solver-226675-1168080723 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226675-1168080723/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.86 1.02 2/69 23672
/proc/meminfo: memFree=1717496/2055920 swapFree=4184496/4192956
[pid=23671] ppid=23666 vsize=168 CPUtime=0
/proc/23671/stat : 23671 (java) R 23666 23671 23566 0 -1 0 210 0 0 0 0 0 0 0 20 0 1 0 156472815 172032 17 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6670028 0 0 4096 0 0 0 0 17 0 0 0
/proc/23671/statm: 43 24 18 14 0 3 0
[startup+0.102675 s]
/proc/loadavg: 0.47 0.86 1.02 2/69 23672
/proc/meminfo: memFree=1717496/2055920 swapFree=4184496/4192956
[pid=23671] ppid=23666 vsize=914988 CPUtime=0.08
/proc/23671/stat : 23671 (java) D 23666 23671 23566 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 156472815 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510731 s]
/proc/loadavg: 0.47 0.86 1.02 2/69 23672
/proc/meminfo: memFree=1717496/2055920 swapFree=4184496/4192956
[pid=23671] ppid=23666 vsize=916340 CPUtime=0.48
/proc/23671/stat : 23671 (java) R 23666 23671 23566 0 -1 0 7591 0 1 0 42 6 0 0 16 0 8 0 156472815 938332160 7330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 229085 7330 2137 14 0 215555 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916340
[startup+1.33182 s]
/proc/loadavg: 0.47 0.86 1.02 2/75 23705
/proc/meminfo: memFree=1689856/2055920 swapFree=4184496/4192956
[pid=23671] ppid=23666 vsize=916340 CPUtime=1.29
/proc/23671/stat : 23671 (java) R 23666 23671 23566 0 -1 0 9103 0 1 0 122 7 0 0 17 0 8 0 156472815 938332160 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 229085 8841 2513 14 0 215555 0
[pid=23671/tid=23673] ppid=23666 vsize=916340 CPUtime=0.03
/proc/23671/task/23673/stat : 23673 (java) S 23666 23671 23566 0 -1 64 255 0 0 0 3 0 0 0 16 0 8 0 156472819 938332160 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23671/tid=23674] ppid=23666 vsize=916340 CPUtime=0
/proc/23671/task/23674/stat : 23674 (java) S 23666 23671 23566 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156472819 938332160 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23671/tid=23675] ppid=23666 vsize=916340 CPUtime=0
/proc/23671/task/23675/stat : 23675 (java) S 23666 23671 23566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156472819 938332160 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23671/tid=23676] ppid=23666 vsize=916340 CPUtime=0
/proc/23671/task/23676/stat : 23676 (java) S 23666 23671 23566 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156472822 938332160 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23671/tid=23677] ppid=23666 vsize=916340 CPUtime=0.17
/proc/23671/task/23677/stat : 23677 (java) S 23666 23671 23566 0 -1 64 375 0 0 0 16 1 0 0 16 0 8 0 156472822 938332160 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23671/tid=23678] ppid=23666 vsize=916340 CPUtime=0
/proc/23671/task/23678/stat : 23678 (java) S 23666 23671 23566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156472822 938332160 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23671/tid=23679] ppid=23666 vsize=916340 CPUtime=0
/proc/23671/task/23679/stat : 23679 (java) S 23666 23671 23566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156472822 938332160 8841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916340
[startup+2.96901 s]
/proc/loadavg: 0.47 0.86 1.02 2/75 23705
/proc/meminfo: memFree=1689728/2055920 swapFree=4184496/4192956
[pid=23671] ppid=23666 vsize=916340 CPUtime=2.92
/proc/23671/stat : 23671 (java) R 23666 23671 23566 0 -1 0 9109 0 1 0 285 7 0 0 18 0 8 0 156472815 938332160 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23671/statm: 229085 8846 2513 14 0 215555 0
[pid=23671/tid=23673] ppid=23666 vsize=916340 CPUtime=0.03
/proc/23671/task/23673/stat : 23673 (java) S 23666 23671 23566 0 -1 64 255 0 0 0 3 0 0 0 16 0 8 0 156472819 938332160 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23671/tid=23674] ppid=23666 vsize=916340 CPUtime=0
/proc/23671/task/23674/stat : 23674 (java) S 23666 23671 23566 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156472819 938332160 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23671/tid=23675] ppid=23666 vsize=916340 CPUtime=0
/proc/23671/task/23675/stat : 23675 (java) S 23666 23671 23566 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156472819 938332160 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23671/tid=23676] ppid=23666 vsize=916340 CPUtime=0
/proc/23671/task/23676/stat : 23676 (java) S 23666 23671 23566 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156472822 938332160 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23671/tid=23677] ppid=23666 vsize=916340 CPUtime=0.18
/proc/23671/task/23677/stat : 23677 (java) S 23666 23671 23566 0 -1 64 380 0 0 0 17 1 0 0 15 0 8 0 156472822 938332160 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23671/tid=23678] ppid=23666 vsize=916340 CPUtime=0
/proc/23671/task/23678/stat : 23678 (java) S 23666 23671 23566 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156472822 938332160 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23671/tid=23679] ppid=23666 vsize=916340 CPUtime=0
/proc/23671/task/23679/stat : 23679 (java) S 23666 23671 23566 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156472822 938332160 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 916340
Child status: 0
Real time (s): 3.56761
CPU time (s): 3.50747
CPU user time (s): 3.42348
CPU system time (s): 0.083987
CPU usage (%): 98.3141
Max. virtual memory (cumulated for all children) (KiB): 916340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.42348
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= 9117
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= 859
involuntary context switches= 236
runsolver used 0.006998 s user time and 0.016997 s system time
The end
Begin job on node75 on Sat Jan 6 10:52:06 UTC 2007
IDJOB= 226675
IDBENCH= 6001
FILE ID= node75/226675-1168080723
PBS_JOBID= 3476172
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226675-1168080723/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-226675-1168080723 -o ROOT/results/node75/solver-226675-1168080723 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226675-1168080723/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= aafb4838910bb5095e774bab781af3e9
RANDOM SEED= 614550585
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1718496 kB
Buffers: 5816 kB
Cached: 267388 kB
SwapCached: 2468 kB
Active: 90596 kB
Inactive: 196756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1718496 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 2388 kB
Writeback: 0 kB
Mapped: 20228 kB
Slab: 35780 kB
Committed_AS: 3106788 kB
PageTables: 1636 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= 66546 MiB
End job on node75 on Sat Jan 6 10:52:24 UTC 2007