0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/217522-1168079453/unknown.xml
0.34
0.34 domains being loaded...
0.34
0.34 variables being loaded...
0.38 nbVariables=35 nbDomainTypes=1 minDomainSize=17 maxDomainSize=17
0.38 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.45
0.45 constraints being loaded...
0.55 nbConstraints=262 nbRelationTypes=262 nbExtensionStructures=262 nbSharedExtensionStructures=0
0.55 nbConflictsStructures=262 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2314 maxDegree=22
0.55 maxArity=2
0.55 => wckTime=0.268 cpuTime=0.19 mem=11M827
0.59
0.59 solver IterativeSystematicSolver being built...
0.74 => wckTime=0.451 cpuTime=0.32 mem=13M743
0.74
0.74 preprocessing
0.74 nbConstraintChecks=0 nbPropagations=35 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.74 detectedInconsistency=no
0.74 => wckTime=0.0030 cpuTime=0.0 mem=13M743
0.79
0.79 search
0.79 run=0 nbConstraintChecks=28879 nbPropagations=447 nbRevisions=4468 nbUselessRevisions=3420 nbAssignments=19
0.79 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.79 nbTooLargeKeys=0
0.79 => wckTime=0.047 cpuTime=0.03 mem=14M718
0.80
0.80 search
0.80 run=1 nbConstraintChecks=62762 nbPropagations=1424 nbRevisions=14649 nbUselessRevisions=11296 nbAssignments=50
0.80 nbFailedAssignments=16 nbBacktracks=25 nbVisitedNodes=83 nbRestartNogoods=2 mapSize=21 nbInferences=0
0.80 nbTooLargeKeys=0
0.80 => wckTime=0.063 cpuTime=0.04 mem=14M718
0.82
0.82 search
0.82 run=2 nbConstraintChecks=107750 nbPropagations=3157 nbRevisions=33353 nbUselessRevisions=25926
0.82 nbAssignments=90 nbFailedAssignments=30 nbBacktracks=47 nbVisitedNodes=149 nbRestartNogoods=5 mapSize=37
0.82 nbInferences=0 nbTooLargeKeys=0
0.82 => wckTime=0.085 cpuTime=0.05 mem=14M718
0.84
0.84 search
0.84 run=3 nbConstraintChecks=209077 nbPropagations=6354 nbRevisions=69167 nbUselessRevisions=53722
0.84 nbAssignments=162 nbFailedAssignments=64 nbBacktracks=81 nbVisitedNodes=278 nbRestartNogoods=7 mapSize=69
0.84 nbInferences=0 nbTooLargeKeys=0
0.84 => wckTime=0.104 cpuTime=0.07 mem=14M718
0.87
0.87 search
0.87 run=4 nbConstraintChecks=349800 nbPropagations=11608 nbRevisions=130907 nbUselessRevisions=101862
0.87 nbAssignments=266 nbFailedAssignments=113 nbBacktracks=131 nbVisitedNodes=466 nbRestartNogoods=9 mapSize=113
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.132 cpuTime=0.09 mem=14M718
0.91
0.91 search
0.91 run=5 nbConstraintChecks=541093 nbPropagations=19618 nbRevisions=226675 nbUselessRevisions=176608
0.91 nbAssignments=405 nbFailedAssignments=173 nbBacktracks=206 nbVisitedNodes=717 nbRestartNogoods=14 mapSize=180
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.168 cpuTime=0.13 mem=14M718
0.96
0.96 search
0.96 run=6 nbConstraintChecks=834232 nbPropagations=31747 nbRevisions=373075 nbUselessRevisions=290516
0.96 nbAssignments=626 nbFailedAssignments=276 nbBacktracks=319 nbVisitedNodes=1112 nbRestartNogoods=17 mapSize=284
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.22 cpuTime=0.18 mem=14M718
1.03
1.03 search
1.03 run=7 nbConstraintChecks=1243186 nbPropagations=49781 nbRevisions=592678 nbUselessRevisions=461670
1.03 nbAssignments=945 nbFailedAssignments=421 nbBacktracks=489 nbVisitedNodes=1683 nbRestartNogoods=22 mapSize=435
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.293 cpuTime=0.25 mem=14M718
1.15
1.15 search
1.15 run=8 nbConstraintChecks=1910464 nbPropagations=77031 nbRevisions=927148 nbUselessRevisions=721501
1.15 nbAssignments=1430 nbFailedAssignments=646 nbBacktracks=745 nbVisitedNodes=2558 nbRestartNogoods=30
1.15 mapSize=661 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.407 cpuTime=0.36 mem=14M718
1.31
1.31 search
1.31 run=9 nbConstraintChecks=2834477 nbPropagations=117574 nbRevisions=1428318 nbUselessRevisions=1112123
1.31 nbAssignments=2152 nbFailedAssignments=979 nbBacktracks=1131 nbVisitedNodes=3845 nbRestartNogoods=41
1.31 mapSize=1000 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.57 cpuTime=0.51 mem=14M718
1.32
1.32 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=14M718)
1.52
1.52 search
1.52 run=10 nbConstraintChecks=4218908 nbPropagations=177639 nbRevisions=2169553 nbUselessRevisions=1689752
1.52 nbAssignments=3179 nbFailedAssignments=1424 nbBacktracks=1710 nbVisitedNodes=5665 nbRestartNogoods=47
1.52 => wckTime=0.781 cpuTime=0.71 mem=14M718
1.82
1.82 search
1.82 run=11 nbConstraintChecks=6281792 nbPropagations=267452 nbRevisions=3283800 nbUselessRevisions=2558055
1.82 nbAssignments=4741 nbFailedAssignments=2118 nbBacktracks=2575 nbVisitedNodes=8465 nbRestartNogoods=49
1.82 => wckTime=1.082 cpuTime=1.0 mem=14M718
2.30
2.30 search
2.30 run=12 nbConstraintChecks=9660613 nbPropagations=404235 nbRevisions=4986856 nbUselessRevisions=3884369
2.30 nbAssignments=7146 nbFailedAssignments=3221 nbBacktracks=3874 nbVisitedNodes=12811 nbRestartNogoods=55
2.30 => wckTime=1.558 cpuTime=1.48 mem=14M718
2.97
2.97 search
2.97 run=13 nbConstraintChecks=14449162 nbPropagations=607741 nbRevisions=7525608 nbUselessRevisions=5860883
2.97 nbAssignments=10649 nbFailedAssignments=4774 nbBacktracks=5820 nbVisitedNodes=19050 nbRestartNogoods=63
2.97 => wckTime=2.232 cpuTime=2.15 mem=14M718
3.28
3.28 search
3.28 run=14 nbConstraintChecks=16629386 nbPropagations=841652 nbRevisions=10447052 nbUselessRevisions=8135684
3.28 nbAssignments=12231 nbFailedAssignments=5468 nbBacktracks=6673 nbVisitedNodes=21851 nbRestartNogoods=72
3.28 => wckTime=2.541 cpuTime=2.46 mem=14M718
3.28
3.28 global
3.28 nbConstraintChecks=16629386 nbPropagations=841687 nbRevisions=10447052 nbUselessRevisions=8135684
3.28 nbRestartNogoods=72 solvingWckTime=2.543 solvingCpuTime=2.46 expiredTime=no totalExploration=no
3.28 nbFoundSolutions=1 globalCpuTime=2.83
3.28 => wckTime=2.996 cpuTime=2.78 mem=14M718
3.28
3.28 s SATISFIABLE
3.28 v 14 5 3 15 15 16 13 10 3 14 9 0 7 16 12 14 7 1 8 8 7 15 7 4 6 6 10 2 11 0 7 5 11 8 8
3.28 d NODES 12231
3.28 d CHECKS 16629386
3.28
3.28 totalWckTime=3.071 totalCpuTime=2.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-217522-1168079453 -o ROOT/results/node17/solver-217522-1168079453 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217522-1168079453/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.81 1.87 1.90 4/93 13587
/proc/meminfo: memFree=1486992/2055920 swapFree=4192812/4192956
[pid=13586] ppid=13584 vsize=1784 CPUtime=0
/proc/13586/stat : 13586 (java) D 13584 13586 13519 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 156340078 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/13586/statm: 2400 163 128 14 0 91 0
[startup+0.10815 s]
/proc/loadavg: 1.81 1.87 1.90 4/93 13587
/proc/meminfo: memFree=1486992/2055920 swapFree=4192812/4192956
[pid=13586] ppid=13584 vsize=914988 CPUtime=0.09
/proc/13586/stat : 13586 (java) R 13584 13586 13519 0 -1 0 3155 0 1 0 8 1 0 0 22 0 8 0 156340078 936947712 2901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152160960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13586/statm: 228747 2902 1488 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516193 s]
/proc/loadavg: 1.81 1.87 1.90 4/93 13587
/proc/meminfo: memFree=1486992/2055920 swapFree=4192812/4192956
[pid=13586] ppid=13584 vsize=915328 CPUtime=0.5
/proc/13586/stat : 13586 (java) R 13584 13586 13519 0 -1 0 6957 0 1 0 46 4 0 0 25 0 8 0 156340078 937295872 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073663364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13586/statm: 228832 6697 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33828 s]
/proc/loadavg: 1.81 1.87 1.90 3/100 13594
/proc/meminfo: memFree=1463704/2055920 swapFree=4192812/4192956
[pid=13586] ppid=13584 vsize=915452 CPUtime=1.31
/proc/13586/stat : 13586 (java) R 13584 13586 13519 0 -1 0 8593 0 1 0 126 5 0 0 25 0 8 0 156340078 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13586/statm: 228863 8331 2513 14 0 215333 0
[pid=13586/tid=13588] ppid=13584 vsize=915452 CPUtime=0.02
/proc/13586/task/13588/stat : 13588 (java) S 13584 13586 13519 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 156340081 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13589] ppid=13584 vsize=915452 CPUtime=0
/proc/13586/task/13589/stat : 13589 (java) S 13584 13586 13519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156340082 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13590] ppid=13584 vsize=915452 CPUtime=0
/proc/13586/task/13590/stat : 13590 (java) S 13584 13586 13519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156340082 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13591] ppid=13584 vsize=915452 CPUtime=0
/proc/13586/task/13591/stat : 13591 (java) S 13584 13586 13519 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156340085 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13592] ppid=13584 vsize=915452 CPUtime=0.21
/proc/13586/task/13592/stat : 13592 (java) S 13584 13586 13519 0 -1 64 384 0 0 0 20 1 0 0 15 0 8 0 156340085 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13593] ppid=13584 vsize=915452 CPUtime=0
/proc/13586/task/13593/stat : 13593 (java) S 13584 13586 13519 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156340085 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13594] ppid=13584 vsize=915452 CPUtime=0
/proc/13586/task/13594/stat : 13594 (java) S 13584 13586 13519 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156340085 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.98745 s]
/proc/loadavg: 1.81 1.87 1.90 3/100 13594
/proc/meminfo: memFree=1463448/2055920 swapFree=4192812/4192956
[pid=13586] ppid=13584 vsize=915452 CPUtime=2.97
/proc/13586/stat : 13586 (java) R 13584 13586 13519 0 -1 0 8611 0 1 0 291 6 0 0 25 0 8 0 156340078 937422848 8347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13586/statm: 228863 8347 2513 14 0 215333 0
[pid=13586/tid=13588] ppid=13584 vsize=915452 CPUtime=0.02
/proc/13586/task/13588/stat : 13588 (java) S 13584 13586 13519 0 -1 64 244 0 0 0 2 0 0 0 17 0 8 0 156340081 937422848 8347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13589] ppid=13584 vsize=915452 CPUtime=0
/proc/13586/task/13589/stat : 13589 (java) S 13584 13586 13519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156340082 937422848 8347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13590] ppid=13584 vsize=915452 CPUtime=0
/proc/13586/task/13590/stat : 13590 (java) S 13584 13586 13519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156340082 937422848 8347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13591] ppid=13584 vsize=915452 CPUtime=0
/proc/13586/task/13591/stat : 13591 (java) S 13584 13586 13519 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156340085 937422848 8347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13592] ppid=13584 vsize=915452 CPUtime=0.22
/proc/13586/task/13592/stat : 13592 (java) S 13584 13586 13519 0 -1 64 390 0 0 0 21 1 0 0 15 0 8 0 156340085 937422848 8347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13593] ppid=13584 vsize=915452 CPUtime=0
/proc/13586/task/13593/stat : 13593 (java) S 13584 13586 13519 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156340085 937422848 8347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13586/tid=13594] ppid=13584 vsize=915452 CPUtime=0
/proc/13586/task/13594/stat : 13594 (java) S 13584 13586 13519 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156340085 937422848 8347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 3.30306
CPU time (s): 3.2795
CPU user time (s): 3.21251
CPU system time (s): 0.066989
CPU usage (%): 99.2868
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.21251
system time used= 0.066989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8703
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= 1156
involuntary context switches= 1382
runsolver used 0.006998 s user time and 0.018997 s system time
The end
Begin job on node17 on Sat Jan 6 10:30:53 UTC 2007
IDJOB= 217522
IDBENCH= 5143
FILE ID= node17/217522-1168079453
PBS_JOBID= 3475839
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb35-17/frb35-17-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217522-1168079453/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-217522-1168079453 -o ROOT/results/node17/solver-217522-1168079453 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217522-1168079453/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a9ff6edfdfa21e9f46706fb046d1e438
RANDOM SEED= 158269901
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.236
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.236
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: 1487472 kB
Buffers: 46828 kB
Cached: 244212 kB
SwapCached: 0 kB
Active: 270716 kB
Inactive: 208236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1487472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2064 kB
Writeback: 0 kB
Mapped: 216976 kB
Slab: 73972 kB
Committed_AS: 4588776 kB
PageTables: 2544 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= 66314 MiB
End job on node17 on Sat Jan 6 10:30:56 UTC 2007