0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/240011-1168085175/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.48 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15
0.48 => wckTime=0.134 cpuTime=0.1 mem=7M894
0.48
0.48 relations being loaded...
0.48
0.48 constraints being loaded...
0.75 nbConstraints=2520 nbRelationTypes=17 nbSingletonDomainVariables=105 nbExtensionStructures=31
0.75 nbSharedExtensionStructures=2489 nbConflictsStructures=31 nbSharedConflictsStructures=2489
0.75 nbSharedBinaryRepresentations=493 maxDegree=28 maxArity=2
0.75 => wckTime=0.411 cpuTime=0.28 mem=15M712
0.81
0.81 solver IterativeSystematicSolver being built...
0.99 => wckTime=0.643 cpuTime=0.42 mem=15M889
1.02
1.02 preprocessing
1.02 nbConstraintChecks=15624 nbPropagations=225 nbRevisions=1680 nbUselessRevisions=384 nbRemovedValues=1296
1.02 detectedInconsistency=no
1.02 => wckTime=0.031 cpuTime=0.02 mem=15M889
1.08
1.08 search
1.08 run=0 nbConstraintChecks=3689 nbPropagations=579 nbRevisions=2957 nbUselessRevisions=1110 nbAssignments=160
1.08 nbFailedAssignments=6 nbBacktracks=15 nbVisitedNodes=173 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.08 nbTooLargeKeys=0
1.08 => wckTime=0.083 cpuTime=0.06 mem=16M867
1.10
1.10 search
1.10 run=1 nbConstraintChecks=7093 nbPropagations=1518 nbRevisions=7120 nbUselessRevisions=2964 nbAssignments=321
1.10 nbFailedAssignments=11 nbBacktracks=32 nbVisitedNodes=343 nbRestartNogoods=3 mapSize=16 nbInferences=0
1.10 nbTooLargeKeys=0
1.10 => wckTime=0.105 cpuTime=0.08 mem=16M867
1.12
1.12 search
1.12 run=2 nbConstraintChecks=11212 nbPropagations=2863 nbRevisions=12807 nbUselessRevisions=5753 nbAssignments=498
1.12 nbFailedAssignments=16 nbBacktracks=70 nbVisitedNodes=530 nbRestartNogoods=5 mapSize=25 nbInferences=0
1.12 nbTooLargeKeys=0
1.12 => wckTime=0.129 cpuTime=0.1 mem=16M867
1.15
1.15 search
1.15 run=3 nbConstraintChecks=16178 nbPropagations=4660 nbRevisions=20428 nbUselessRevisions=9759 nbAssignments=682
1.15 nbFailedAssignments=22 nbBacktracks=114 nbVisitedNodes=726 nbRestartNogoods=6 mapSize=36 nbInferences=0
1.15 nbTooLargeKeys=0
1.15 => wckTime=0.16 cpuTime=0.12 mem=16M867
1.17
1.17 search
1.17 run=4 nbConstraintChecks=22399 nbPropagations=7020 nbRevisions=30311 nbUselessRevisions=15107
1.17 nbAssignments=882 nbFailedAssignments=32 nbBacktracks=170 nbVisitedNodes=946 nbRestartNogoods=7 mapSize=55
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.181 cpuTime=0.14 mem=16M867
1.21
1.21 search
1.21 run=5 nbConstraintChecks=33492 nbPropagations=10267 nbRevisions=44411 nbUselessRevisions=22981
1.21 nbAssignments=1122 nbFailedAssignments=51 nbBacktracks=252 nbVisitedNodes=1228 nbRestartNogoods=8 mapSize=92
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.217 cpuTime=0.17 mem=16M867
1.24
1.24 search
1.24 run=6 nbConstraintChecks=45538 nbPropagations=14541 nbRevisions=63094 nbUselessRevisions=33552
1.24 nbAssignments=1391 nbFailedAssignments=76 nbBacktracks=370 nbVisitedNodes=1550 nbRestartNogoods=13 mapSize=144
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.252 cpuTime=0.2 mem=16M867
1.29
1.29 search
1.29 run=7 nbConstraintChecks=68276 nbPropagations=20443 nbRevisions=90762 nbUselessRevisions=49760
1.29 nbAssignments=1731 nbFailedAssignments=109 nbBacktracks=545 nbVisitedNodes=1958 nbRestartNogoods=14
1.29 mapSize=210 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.303 cpuTime=0.23 mem=16M867
1.34
1.34 search
1.34 run=8 nbConstraintChecks=99966 nbPropagations=28682 nbRevisions=131525 nbUselessRevisions=74423
1.34 nbAssignments=2194 nbFailedAssignments=173 nbBacktracks=804 nbVisitedNodes=2535 nbRestartNogoods=16
1.34 mapSize=312 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.351 cpuTime=0.28 mem=16M867
1.41
1.41 search
1.41 run=9 nbConstraintChecks=148479 nbPropagations=40519 nbRevisions=191662 nbUselessRevisions=111037
1.41 nbAssignments=2828 nbFailedAssignments=280 nbBacktracks=1195 nbVisitedNodes=3377 nbRestartNogoods=21
1.41 mapSize=501 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.422 cpuTime=0.35 mem=16M867
1.50
1.50 search
1.50 run=10 nbConstraintChecks=197660 nbPropagations=54817 nbRevisions=279981 nbUselessRevisions=170840
1.50 nbAssignments=3496 nbFailedAssignments=337 nbBacktracks=1791 nbVisitedNodes=4168 nbRestartNogoods=26
1.50 mapSize=621 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.513 cpuTime=0.43 mem=17M842
1.65
1.65 search
1.65 run=11 nbConstraintChecks=327975 nbPropagations=74963 nbRevisions=451275 nbUselessRevisions=301853
1.65 nbAssignments=4523 nbFailedAssignments=455 nbBacktracks=2655 nbVisitedNodes=5434 nbRestartNogoods=27
1.65 mapSize=853 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.663 cpuTime=0.58 mem=17M842
1.75
1.75 search
1.75 run=12 nbConstraintChecks=404889 nbPropagations=98490 nbRevisions=670965 nbUselessRevisions=474807
1.75 nbAssignments=5210 nbFailedAssignments=517 nbBacktracks=3055 nbVisitedNodes=6231 nbRestartNogoods=31
1.75 mapSize=956 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.759 cpuTime=0.67 mem=17M842
1.75
1.75 global
1.75 nbConstraintChecks=420513 nbPropagations=98715 nbRevisions=672645 nbUselessRevisions=475191 nbRestartNogoods=31
1.75 solvingWckTime=0.761 solvingCpuTime=0.67 expiredTime=no totalExploration=no nbFoundSolutions=1
1.75 globalCpuTime=1.14
1.75 => wckTime=1.408 cpuTime=1.09 mem=17M842
1.75
1.75 s SATISFIABLE
1.75 v 9 12 14 8 2 11 13 10 7 0 3 1 5 6 4 12 8 13 4 1 2 9 0 3 5 14 10 6 11 7 13 10 1 6 0 12 3 5 8 14 9 4 7 2 11 11 13 6 1 5 8 12 4 9 3 7 0 2 14 10 10 14 8 12 3 4 11 9 5 13 2 7 0 1 6 5 11 0 2 10 6 4 7 13 8 1 12 3 9 14 3 2 9 7 4 1 14 13 10 6 11 5 8 12 0 1 6 11 0 7 13 2 12 4 10 5 8 14 3 9 6 0 5 9 12 14 1 3 11 7 8 2 10 4 13 4 3 2 5 6 7 10 11 14 1 12 9 13 0 8 2 9 4 3 8 5 7 14 0 11 6 13 12 10 1 8 4 10 14 9 3 0 1 12 2 13 6 11 7 5 0 5 7 10 14 9 8 6 2 12 4 11 1 13 3 7 1 3 11 13 0 5 2 6 9 10 14 4 8 12 14 7 12 13 11 10 6 8 1 4 0 3 9 5 2
1.75 d NODES 5210
1.75 d CHECKS 420513
1.75
1.75 totalWckTime=1.489 totalCpuTime=1.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-240011-1168085175 -o ROOT/results/node62/solver-240011-1168085175 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240011-1168085175/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.58 1.91 1.89 5/80 6264
/proc/meminfo: memFree=1056024/2055920 swapFree=4192812/4192956
[pid=6263] ppid=6261 vsize=9748 CPUtime=0
/proc/6263/stat : 6263 (java) D 6261 6263 5508 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 156915680 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8106788 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/6263/statm: 2437 412 333 14 0 1140 0
[startup+0.102619 s]
/proc/loadavg: 1.58 1.91 1.89 5/80 6264
/proc/meminfo: memFree=1056024/2055920 swapFree=4192812/4192956
[pid=6263] ppid=6261 vsize=907808 CPUtime=0.06
/proc/6263/stat : 6263 (java) R 6261 6263 5508 0 -1 0 2502 0 1 0 5 1 0 0 17 0 4 0 156915680 929595392 2249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154193360 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/6263/statm: 226952 2249 1230 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.510699 s]
/proc/loadavg: 1.58 1.91 1.89 5/80 6264
/proc/meminfo: memFree=1056024/2055920 swapFree=4192812/4192956
[pid=6263] ppid=6261 vsize=915328 CPUtime=0.45
/proc/6263/stat : 6263 (java) R 6261 6263 5508 0 -1 0 6300 0 1 0 42 3 0 0 18 0 8 0 156915680 937295872 6039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6263/statm: 228832 6039 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33986 s]
/proc/loadavg: 1.58 1.91 1.89 3/87 6271
/proc/meminfo: memFree=1029920/2055920 swapFree=4192812/4192956
[pid=6263] ppid=6261 vsize=915580 CPUtime=1.27
/proc/6263/stat : 6263 (java) R 6261 6263 5508 0 -1 0 9245 0 1 0 121 6 0 0 23 0 8 0 156915680 937553920 8983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6263/statm: 228895 8983 2513 14 0 215365 0
[pid=6263/tid=6265] ppid=6261 vsize=915580 CPUtime=0.04
/proc/6263/task/6265/stat : 6265 (java) S 6261 6263 5508 0 -1 64 477 0 0 0 4 0 0 0 16 0 8 0 156915685 937553920 8983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6263/tid=6266] ppid=6261 vsize=915580 CPUtime=0
/proc/6263/task/6266/stat : 6266 (java) S 6261 6263 5508 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156915685 937553920 8983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6263/tid=6267] ppid=6261 vsize=915580 CPUtime=0
/proc/6263/task/6267/stat : 6267 (java) S 6261 6263 5508 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156915685 937553920 8983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6263/tid=6268] ppid=6261 vsize=915580 CPUtime=0
/proc/6263/task/6268/stat : 6268 (java) S 6261 6263 5508 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156915691 937553920 8983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6263/tid=6269] ppid=6261 vsize=915580 CPUtime=0.29
/proc/6263/task/6269/stat : 6269 (java) S 6261 6263 5508 0 -1 64 419 0 0 0 28 1 0 0 15 0 8 0 156915691 937553920 8983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6263/tid=6270] ppid=6261 vsize=915580 CPUtime=0
/proc/6263/task/6270/stat : 6270 (java) S 6261 6263 5508 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156915691 937553920 8983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6263/tid=6271] ppid=6261 vsize=915580 CPUtime=0
/proc/6263/task/6271/stat : 6271 (java) S 6261 6263 5508 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156915691 937553920 8983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 1.78661
CPU time (s): 1.70874
CPU user time (s): 1.63575
CPU system time (s): 0.072988
CPU usage (%): 95.6413
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.63575
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9466
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= 1312
involuntary context switches= 1505
runsolver used 0.004999 s user time and 0.011998 s system time
The end
Begin job on node62 on Sat Jan 6 12:06:19 UTC 2007
IDJOB= 240011
IDBENCH= 7097
FILE ID= node62/240011-1168085175
PBS_JOBID= 3476224
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-15/qcp-15-120-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240011-1168085175/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-240011-1168085175 -o ROOT/results/node62/solver-240011-1168085175 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240011-1168085175/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d3df06e25014e5ca721bd24b7eb5bf96
RANDOM SEED= 324508973
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.259
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.259
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: 1056504 kB
Buffers: 60408 kB
Cached: 784152 kB
SwapCached: 0 kB
Active: 192200 kB
Inactive: 728244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1056504 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1988 kB
Writeback: 0 kB
Mapped: 96080 kB
Slab: 64036 kB
Committed_AS: 3766492 kB
PageTables: 2024 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 node62 on Sat Jan 6 12:06:23 UTC 2007