0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=mac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/223707-1168080456/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.47 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.47
0.47 relations being loaded...
0.57
0.57 constraints being loaded...
0.67 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=14 maxArity=2
0.67 => wckTime=0.303 cpuTime=0.22 mem=13M794
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.498 cpuTime=0.35 mem=13M749
0.88
0.88 preprocessing
0.88 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.88 detectedInconsistency=no
0.88 => wckTime=0.0030 cpuTime=0.0 mem=13M749
0.93
0.93 search
0.93 run=0 nbConstraintChecks=32276 nbPropagations=580 nbRevisions=3802 nbUselessRevisions=2747 nbAssignments=25
0.93 nbFailedAssignments=7 nbBacktracks=14 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=14 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.052 cpuTime=0.03 mem=14M724
0.94
0.94 search
0.94 run=1 nbConstraintChecks=68711 nbPropagations=1764 nbRevisions=11996 nbUselessRevisions=8577 nbAssignments=51
0.94 nbFailedAssignments=14 nbBacktracks=29 nbVisitedNodes=85 nbRestartNogoods=1 mapSize=26 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.07 cpuTime=0.04 mem=14M724
0.96
0.96 search
0.96 run=2 nbConstraintChecks=119743 nbPropagations=3740 nbRevisions=26209 nbUselessRevisions=18708
0.96 nbAssignments=96 nbFailedAssignments=31 nbBacktracks=52 nbVisitedNodes=160 nbRestartNogoods=3 mapSize=47
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.088 cpuTime=0.05 mem=14M724
0.98
0.98 search
0.98 run=3 nbConstraintChecks=228441 nbPropagations=7243 nbRevisions=52524 nbUselessRevisions=37127
0.98 nbAssignments=159 nbFailedAssignments=58 nbBacktracks=85 nbVisitedNodes=274 nbRestartNogoods=4 mapSize=79
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.109 cpuTime=0.07 mem=14M724
1.01
1.01 search
1.01 run=4 nbConstraintChecks=367084 nbPropagations=12861 nbRevisions=95343 nbUselessRevisions=66920
1.01 nbAssignments=252 nbFailedAssignments=95 nbBacktracks=137 nbVisitedNodes=435 nbRestartNogoods=6 mapSize=122
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.134 cpuTime=0.09 mem=14M724
1.05
1.05 search
1.05 run=5 nbConstraintChecks=581991 nbPropagations=21877 nbRevisions=164589 nbUselessRevisions=115047
1.05 nbAssignments=401 nbFailedAssignments=164 nbBacktracks=213 nbVisitedNodes=705 nbRestartNogoods=13 mapSize=187
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.173 cpuTime=0.13 mem=14M724
1.11
1.11 search
1.11 run=6 nbConstraintChecks=944786 nbPropagations=36399 nbRevisions=277447 nbUselessRevisions=192772
1.11 nbAssignments=661 nbFailedAssignments=305 nbBacktracks=326 nbVisitedNodes=1181 nbRestartNogoods=16 mapSize=289
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.234 cpuTime=0.2 mem=14M724
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1444775 nbPropagations=58588 nbRevisions=451631 nbUselessRevisions=313046
1.19 nbAssignments=1000 nbFailedAssignments=467 nbBacktracks=497 nbVisitedNodes=1798 nbRestartNogoods=27
1.19 mapSize=449 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.313 cpuTime=0.28 mem=14M724
1.31
1.31 search
1.31 run=8 nbConstraintChecks=2145899 nbPropagations=91827 nbRevisions=712024 nbUselessRevisions=492664
1.31 nbAssignments=1532 nbFailedAssignments=738 nbBacktracks=754 nbVisitedNodes=2759 nbRestartNogoods=30
1.31 mapSize=682 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.434 cpuTime=0.39 mem=14M724
1.46
1.46 search
1.46 run=9 nbConstraintChecks=3140701 nbPropagations=140584 nbRevisions=1094071 nbUselessRevisions=756421
1.46 nbAssignments=2229 nbFailedAssignments=1047 nbBacktracks=1138 nbVisitedNodes=4014 nbRestartNogoods=33
1.46 mapSize=1019 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.582 cpuTime=0.52 mem=14M724
1.46
1.46 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=14M724)
1.65
1.65 search
1.65 run=10 nbConstraintChecks=4484351 nbPropagations=212159 nbRevisions=1649442 nbUselessRevisions=1138587
1.65 nbAssignments=3253 nbFailedAssignments=1489 nbBacktracks=1716 nbVisitedNodes=5803 nbRestartNogoods=41
1.65 => wckTime=0.78 cpuTime=0.71 mem=14M724
1.88
1.88 search
1.88 run=11 nbConstraintChecks=6202499 nbPropagations=310109 nbRevisions=2406773 nbUselessRevisions=1658577
1.88 nbAssignments=4478 nbFailedAssignments=1996 nbBacktracks=2394 nbVisitedNodes=7936 nbRestartNogoods=45
1.88 => wckTime=1.006 cpuTime=0.94 mem=14M724
1.88
1.88 global
1.88 nbConstraintChecks=6202499 nbPropagations=310149 nbRevisions=2406773 nbUselessRevisions=1658577
1.88 nbRestartNogoods=45 solvingWckTime=1.007 solvingCpuTime=0.94 expiredTime=no totalExploration=no
1.88 nbFoundSolutions=1 globalCpuTime=1.34
1.88 => wckTime=1.509 cpuTime=1.29 mem=14M724
1.88
1.88 s SATISFIABLE
1.88 v 11 9 4 20 18 1 11 19 22 20 12 4 11 12 22 1 18 20 14 11 20 5 5 9 9 24 5 18 23 4 8 19 18 2 1 12 3 12 12 15
1.88 d NODES 4478
1.88 d CHECKS 6202499
1.88
1.88 totalWckTime=1.589 totalCpuTime=1.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-223707-1168080456 -o ROOT/results/node56/solver-223707-1168080456 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223707-1168080456/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.38 0.91 0.96 6/73 7735
/proc/meminfo: memFree=1647016/2055920 swapFree=4184772/4192956
[pid=7734] ppid=7729 vsize=1496 CPUtime=0
/proc/7734/stat : 7734 (java) R 7729 7734 7486 0 -1 0 64 0 0 0 0 0 0 0 19 0 1 0 156443880 1531904 47 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10010564 0 0 4096 0 0 0 0 17 0 0 0
/proc/7734/statm: 375 58 46 14 0 8 0
[startup+0.108647 s]
/proc/loadavg: 0.38 0.91 0.96 6/73 7735
/proc/meminfo: memFree=1647016/2055920 swapFree=4184772/4192956
[pid=7734] ppid=7729 vsize=911488 CPUtime=0.06
/proc/7734/stat : 7734 (java) D 7729 7734 7486 0 -1 0 2637 0 1 0 5 1 0 0 25 0 8 0 156443880 933363712 2384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7734/statm: 227872 2384 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.518957 s]
/proc/loadavg: 0.38 0.91 0.96 6/73 7735
/proc/meminfo: memFree=1647016/2055920 swapFree=4184772/4192956
[pid=7734] ppid=7729 vsize=915328 CPUtime=0.43
/proc/7734/stat : 7734 (java) R 7729 7734 7486 0 -1 0 6409 0 1 0 39 4 0 0 18 0 8 0 156443880 937295872 6148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7734/statm: 228832 6149 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.35077 s]
/proc/loadavg: 0.51 0.93 0.97 4/87 7749
/proc/meminfo: memFree=1599608/2055920 swapFree=4184772/4192956
[pid=7734] ppid=7729 vsize=915452 CPUtime=1.27
/proc/7734/stat : 7734 (java) R 7729 7734 7486 0 -1 0 8639 0 1 0 120 7 0 0 23 0 8 0 156443880 937422848 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7734/statm: 228863 8377 2513 14 0 215333 0
[pid=7734/tid=7736] ppid=7729 vsize=915452 CPUtime=0.02
/proc/7734/task/7736/stat : 7736 (java) S 7729 7734 7486 0 -1 64 245 0 0 0 2 0 0 0 17 0 8 0 156443883 937422848 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7734/tid=7738] ppid=7729 vsize=915452 CPUtime=0
/proc/7734/task/7738/stat : 7738 (java) S 7729 7734 7486 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156443884 937422848 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7734/tid=7739] ppid=7729 vsize=915452 CPUtime=0
/proc/7734/task/7739/stat : 7739 (java) S 7729 7734 7486 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156443884 937422848 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7734/tid=7742] ppid=7729 vsize=915452 CPUtime=0
/proc/7734/task/7742/stat : 7742 (java) S 7729 7734 7486 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156443887 937422848 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7734/tid=7743] ppid=7729 vsize=915452 CPUtime=0.2
/proc/7734/task/7743/stat : 7743 (java) S 7729 7734 7486 0 -1 64 381 0 0 0 19 1 0 0 16 0 8 0 156443887 937422848 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7734/tid=7744] ppid=7729 vsize=915452 CPUtime=0
/proc/7734/task/7744/stat : 7744 (java) S 7729 7734 7486 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156443887 937422848 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7734/tid=7745] ppid=7729 vsize=915452 CPUtime=0
/proc/7734/task/7745/stat : 7745 (java) S 7729 7734 7486 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156443887 937422848 8377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 1.91089
CPU time (s): 1.81372
CPU user time (s): 1.73673
CPU system time (s): 0.076988
CPU usage (%): 94.9149
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.73673
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8713
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= 1094
involuntary context switches= 1238
runsolver used 0.004999 s user time and 0.012998 s system time
The end
Begin job on node56 on Sat Jan 6 10:47:37 UTC 2007
IDJOB= 223707
IDBENCH= 5666
FILE ID= node56/223707-1168080456
PBS_JOBID= 3476162
Free space on /tmp= 66519 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223707-1168080456/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-223707-1168080456 -o ROOT/results/node56/solver-223707-1168080456 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223707-1168080456/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6ca1659c5ffdd7473dbd923d9873ead7
RANDOM SEED= 455793915
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: 1647976 kB
Buffers: 30064 kB
Cached: 296588 kB
SwapCached: 2060 kB
Active: 64576 kB
Inactive: 276304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647976 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 4188 kB
Writeback: 0 kB
Mapped: 21148 kB
Slab: 52612 kB
Committed_AS: 2743888 kB
PageTables: 1720 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= 66519 MiB
End job on node56 on Sat Jan 6 10:47:40 UTC 2007