0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/240467-1168085220/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.46 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15
0.46 => wckTime=0.133 cpuTime=0.11 mem=7M894
0.46
0.46 relations being loaded...
0.46
0.46 constraints being loaded...
0.73 nbConstraints=2324 nbRelationTypes=17 nbSingletonDomainVariables=119 nbExtensionStructures=31
0.73 nbSharedExtensionStructures=2293 nbConflictsStructures=31 nbSharedConflictsStructures=2293
0.73 nbSharedBinaryRepresentations=493 maxDegree=28 maxArity=2
0.73 => wckTime=0.409 cpuTime=0.28 mem=14M818
0.79
0.79 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.63 cpuTime=0.42 mem=15M786
0.99
0.99 preprocessing
0.99 nbConstraintChecks=14689 nbPropagations=225 nbRevisions=1680 nbUselessRevisions=486 nbRemovedValues=1194
0.99 detectedInconsistency=no
0.99 => wckTime=0.032 cpuTime=0.02 mem=15M786
1.04
1.04 search
1.04 run=0 nbConstraintChecks=1363 nbPropagations=384 nbRevisions=2130 nbUselessRevisions=731 nbAssignments=147
1.04 nbFailedAssignments=3 nbBacktracks=13 nbVisitedNodes=154 nbRestartNogoods=0 mapSize=5 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.079 cpuTime=0.05 mem=16M761
1.06
1.06 search
1.06 run=1 nbConstraintChecks=3338 nbPropagations=957 nbRevisions=4904 nbUselessRevisions=1793 nbAssignments=299
1.06 nbFailedAssignments=10 nbBacktracks=32 nbVisitedNodes=318 nbRestartNogoods=1 mapSize=15 nbInferences=0
1.06 nbTooLargeKeys=0
1.06 => wckTime=0.099 cpuTime=0.07 mem=16M761
1.08
1.08 search
1.08 run=2 nbConstraintChecks=7314 nbPropagations=1905 nbRevisions=9061 nbUselessRevisions=3602 nbAssignments=484
1.08 nbFailedAssignments=20 nbBacktracks=54 nbVisitedNodes=523 nbRestartNogoods=3 mapSize=29 nbInferences=0
1.08 nbTooLargeKeys=0
1.08 => wckTime=0.124 cpuTime=0.09 mem=16M761
1.11
1.11 search
1.11 run=3 nbConstraintChecks=13078 nbPropagations=3302 nbRevisions=15452 nbUselessRevisions=6735 nbAssignments=672
1.11 nbFailedAssignments=33 nbBacktracks=90 nbVisitedNodes=732 nbRestartNogoods=8 mapSize=48 nbInferences=0
1.11 nbTooLargeKeys=0
1.11 => wckTime=0.15 cpuTime=0.11 mem=16M761
1.14
1.14 search
1.14 run=4 nbConstraintChecks=18028 nbPropagations=5144 nbRevisions=23810 nbUselessRevisions=11039
1.14 nbAssignments=877 nbFailedAssignments=40 nbBacktracks=150 nbVisitedNodes=956 nbRestartNogoods=10 mapSize=65
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.179 cpuTime=0.13 mem=16M761
1.17
1.17 search
1.17 run=5 nbConstraintChecks=22871 nbPropagations=7485 nbRevisions=33963 nbUselessRevisions=16350
1.17 nbAssignments=1106 nbFailedAssignments=52 nbBacktracks=226 nbVisitedNodes=1209 nbRestartNogoods=12 mapSize=86
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.208 cpuTime=0.16 mem=16M761
1.20
1.20 search
1.20 run=6 nbConstraintChecks=34728 nbPropagations=10863 nbRevisions=49016 nbUselessRevisions=24686
1.20 nbAssignments=1387 nbFailedAssignments=78 nbBacktracks=343 nbVisitedNodes=1540 nbRestartNogoods=15 mapSize=132
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.243 cpuTime=0.18 mem=16M761
1.26
1.26 search
1.26 run=7 nbConstraintChecks=65344 nbPropagations=15657 nbRevisions=84409 nbUselessRevisions=50669
1.26 nbAssignments=1626 nbFailedAssignments=110 nbBacktracks=513 nbVisitedNodes=1849 nbRestartNogoods=19
1.26 mapSize=194 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.298 cpuTime=0.22 mem=16M761
1.31
1.31 search
1.31 run=8 nbConstraintChecks=98050 nbPropagations=21989 nbRevisions=141404 nbUselessRevisions=95385
1.31 nbAssignments=1973 nbFailedAssignments=141 nbBacktracks=798 nbVisitedNodes=2260 nbRestartNogoods=26
1.31 mapSize=255 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.352 cpuTime=0.27 mem=16M761
1.38
1.38 search
1.38 run=9 nbConstraintChecks=143963 nbPropagations=30329 nbRevisions=228219 nbUselessRevisions=166194
1.38 nbAssignments=2523 nbFailedAssignments=180 nbBacktracks=1084 nbVisitedNodes=2881 nbRestartNogoods=29
1.38 mapSize=315 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.421 cpuTime=0.34 mem=16M761
1.38
1.38 global
1.38 nbConstraintChecks=158652 nbPropagations=30554 nbRevisions=229899 nbUselessRevisions=166680 nbRestartNogoods=29
1.38 solvingWckTime=0.423 solvingCpuTime=0.34 expiredTime=no totalExploration=no nbFoundSolutions=1
1.38 globalCpuTime=0.81
1.38 => wckTime=1.057 cpuTime=0.76 mem=16M761
1.38
1.38 s SATISFIABLE
1.38 v 5 10 12 2 1 9 7 13 6 11 8 14 4 3 0 11 3 5 4 6 8 12 9 0 7 1 13 10 14 2 7 1 4 6 3 13 9 11 2 14 10 12 0 8 5 8 11 13 14 9 4 3 7 10 1 0 2 12 5 6 3 7 10 11 4 5 8 2 14 6 12 9 1 0 13 12 0 9 5 8 1 4 6 13 3 14 10 11 2 7 6 13 14 10 2 7 0 3 1 12 11 5 8 4 9 13 2 3 0 7 10 1 14 12 4 6 11 5 9 8 0 4 6 9 14 2 11 12 5 8 13 1 3 7 10 9 6 11 8 10 14 13 0 3 2 5 4 7 1 12 1 5 2 3 0 6 14 4 9 10 7 8 13 12 11 14 12 8 13 11 0 6 1 7 5 9 3 2 10 4 10 8 0 1 12 11 2 5 4 9 3 7 6 13 14 2 9 1 7 13 12 5 10 8 0 4 6 14 11 3 4 14 7 12 5 3 10 8 11 13 2 0 9 6 1
1.38 d NODES 2523
1.38 d CHECKS 158652
1.38
1.38 totalWckTime=1.139 totalCpuTime=0.81
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-240467-1168085220 -o ROOT/results/node59/solver-240467-1168085220 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240467-1168085220/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.16 1.69 1.81 3/80 26159
/proc/meminfo: memFree=879368/2055920 swapFree=4192812/4192956
[pid=26158] ppid=26156 vsize=18540 CPUtime=0
/proc/26158/stat : 26158 (runsolver) R 26156 26158 25979 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156921249 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26158/statm: 4635 279 244 17 0 2626 0
[startup+0.102382 s]
/proc/loadavg: 1.16 1.69 1.81 3/80 26159
/proc/meminfo: memFree=879368/2055920 swapFree=4192812/4192956
[pid=26158] ppid=26156 vsize=913228 CPUtime=0.08
/proc/26158/stat : 26158 (java) R 26156 26158 25979 0 -1 0 2920 0 1 0 7 1 0 0 19 0 8 0 156921249 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 9727104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26158/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.511427 s]
/proc/loadavg: 1.16 1.69 1.81 3/80 26159
/proc/meminfo: memFree=879368/2055920 swapFree=4192812/4192956
[pid=26158] ppid=26156 vsize=915328 CPUtime=0.49
/proc/26158/stat : 26158 (java) R 26156 26158 25979 0 -1 0 6325 0 1 0 44 5 0 0 18 0 8 0 156921249 937295872 6064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26158/statm: 228832 6064 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34052 s]
/proc/loadavg: 1.16 1.69 1.81 3/87 26166
/proc/meminfo: memFree=853776/2055920 swapFree=4192812/4192956
[pid=26158] ppid=26156 vsize=915580 CPUtime=1.3
/proc/26158/stat : 26158 (java) R 26156 26158 25979 0 -1 0 9141 0 1 0 123 7 0 0 24 0 8 0 156921249 937553920 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26158/statm: 228895 8879 2513 14 0 215365 0
[pid=26158/tid=26160] ppid=26156 vsize=915580 CPUtime=0.04
/proc/26158/task/26160/stat : 26160 (java) S 26156 26158 25979 0 -1 64 451 0 0 0 4 0 0 0 16 0 8 0 156921253 937553920 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26158/tid=26161] ppid=26156 vsize=915580 CPUtime=0
/proc/26158/task/26161/stat : 26161 (java) S 26156 26158 25979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156921254 937553920 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26158/tid=26162] ppid=26156 vsize=915580 CPUtime=0
/proc/26158/task/26162/stat : 26162 (java) S 26156 26158 25979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156921254 937553920 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26158/tid=26163] ppid=26156 vsize=915580 CPUtime=0
/proc/26158/task/26163/stat : 26163 (java) S 26156 26158 25979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156921257 937553920 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26158/tid=26164] ppid=26156 vsize=915580 CPUtime=0.28
/proc/26158/task/26164/stat : 26164 (java) S 26156 26158 25979 0 -1 64 419 0 0 0 27 1 0 0 15 0 8 0 156921257 937553920 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26158/tid=26165] ppid=26156 vsize=915580 CPUtime=0
/proc/26158/task/26165/stat : 26165 (java) S 26156 26158 25979 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156921257 937553920 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26158/tid=26166] ppid=26156 vsize=915580 CPUtime=0
/proc/26158/task/26166/stat : 26166 (java) S 26156 26158 25979 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156921257 937553920 8879 18446744073709551615 134512640 134570532 4294956480 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) 915580
Child status: 0
Real time (s): 1.40329
CPU time (s): 1.36679
CPU user time (s): 1.28081
CPU system time (s): 0.085986
CPU usage (%): 97.3991
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2808
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9249
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= 1235
involuntary context switches= 1394
runsolver used 0.005999 s user time and 0.008998 s system time
The end
Begin job on node59 on Sat Jan 6 12:07:08 UTC 2007
IDJOB= 240467
IDBENCH= 7129
FILE ID= node59/240467-1168085220
PBS_JOBID= 3476298
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-15/qwh-15-106-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240467-1168085220/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-240467-1168085220 -o ROOT/results/node59/solver-240467-1168085220 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240467-1168085220/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7c455d018dd8ef0ac09be5f9fe56310c
RANDOM SEED= 922765301
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.239
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.239
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: 879912 kB
Buffers: 46296 kB
Cached: 424332 kB
SwapCached: 0 kB
Active: 685876 kB
Inactive: 413944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 879912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1964 kB
Writeback: 0 kB
Mapped: 649472 kB
Slab: 60164 kB
Committed_AS: 3739520 kB
PageTables: 3092 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= 66548 MiB
End job on node59 on Sat Jan 6 12:07:22 UTC 2007