0.37
0.37 Abscon 109 (November, 2006)
0.37
0.38 configuration
0.38 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/197582-1168071080/unknown.xml
0.44
0.44 domains being loaded...
0.46
0.46 variables being loaded...
0.51 nbVariables=141 nbDomainTypes=134 minDomainSize=2 maxDomainSize=6
0.51 => wckTime=0.131 cpuTime=0.09 mem=6M886
0.51
0.51 relations being loaded...
0.54
0.54 constraints being loaded...
0.73 nbConstraints=883 nbRelationTypes=209 nbExtensionStructures=862 nbSharedExtensionStructures=21
0.73 nbConflictsStructures=862 nbSharedConflictsStructures=21 nbSharedBinaryRepresentations=6478 maxDegree=14
0.73 maxArity=2
0.73 => wckTime=0.354 cpuTime=0.23 mem=11M762
0.77
0.77 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.555 cpuTime=0.35 mem=15M152
0.95
0.95 preprocessing
0.95 nbConstraintChecks=0 nbPropagations=141 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.95 detectedInconsistency=no
0.95 => wckTime=0.015 cpuTime=0.01 mem=15M152
0.99
0.99 search
0.99 run=0 nbConstraintChecks=1818 nbPropagations=378 nbRevisions=622 nbUselessRevisions=371 nbAssignments=45
0.99 nbFailedAssignments=1 nbBacktracks=14 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=1 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.053 cpuTime=0.02 mem=15M152
1.00
1.00 search
1.00 run=1 nbConstraintChecks=4548 nbPropagations=1060 nbRevisions=2184 nbUselessRevisions=1275 nbAssignments=99
1.00 nbFailedAssignments=5 nbBacktracks=30 nbVisitedNodes=111 nbRestartNogoods=1 mapSize=7 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.067 cpuTime=0.03 mem=15M152
1.02
1.02 search
1.02 run=2 nbConstraintChecks=7635 nbPropagations=2087 nbRevisions=4863 nbUselessRevisions=2840 nbAssignments=168
1.02 nbFailedAssignments=12 nbBacktracks=54 nbVisitedNodes=193 nbRestartNogoods=4 mapSize=16 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.081 cpuTime=0.05 mem=15M152
1.03
1.03 search
1.03 run=3 nbConstraintChecks=10994 nbPropagations=3463 nbRevisions=8684 nbUselessRevisions=5000 nbAssignments=227
1.03 nbFailedAssignments=22 nbBacktracks=92 nbVisitedNodes=270 nbRestartNogoods=8 mapSize=33 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.096 cpuTime=0.06 mem=15M152
1.04
1.04 search
1.04 run=4 nbConstraintChecks=16935 nbPropagations=5408 nbRevisions=14669 nbUselessRevisions=8372 nbAssignments=314
1.04 nbFailedAssignments=40 nbBacktracks=142 nbVisitedNodes=394 nbRestartNogoods=9 mapSize=65 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.11 cpuTime=0.07 mem=15M152
1.06
1.06 search
1.06 run=5 nbConstraintChecks=27871 nbPropagations=8153 nbRevisions=24712 nbUselessRevisions=14091
1.06 nbAssignments=420 nbFailedAssignments=59 nbBacktracks=219 nbVisitedNodes=546 nbRestartNogoods=11 mapSize=107
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.128 cpuTime=0.08 mem=15M152
1.10
1.10 search
1.10 run=6 nbConstraintChecks=55063 nbPropagations=12594 nbRevisions=45602 nbUselessRevisions=26509
1.10 nbAssignments=588 nbFailedAssignments=92 nbBacktracks=333 nbVisitedNodes=770 nbRestartNogoods=12 mapSize=158
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.162 cpuTime=0.11 mem=15M152
1.13
1.13 search
1.13 run=7 nbConstraintChecks=80364 nbPropagations=19050 nbRevisions=76032 nbUselessRevisions=44317
1.13 nbAssignments=842 nbFailedAssignments=147 nbBacktracks=512 nbVisitedNodes=1147 nbRestartNogoods=17 mapSize=263
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.196 cpuTime=0.14 mem=15M152
1.17
1.17 search
1.17 run=8 nbConstraintChecks=110422 nbPropagations=27829 nbRevisions=119101 nbUselessRevisions=70306
1.17 nbAssignments=1173 nbFailedAssignments=176 nbBacktracks=793 nbVisitedNodes=1556 nbRestartNogoods=21
1.17 mapSize=337 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.239 cpuTime=0.18 mem=15M152
1.25
1.25 search
1.25 run=9 nbConstraintChecks=163063 nbPropagations=40500 nbRevisions=184345 nbUselessRevisions=110609
1.25 nbAssignments=1640 nbFailedAssignments=238 nbBacktracks=1179 nbVisitedNodes=2151 nbRestartNogoods=24
1.25 mapSize=457 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.314 cpuTime=0.24 mem=16M127
1.36
1.36 search
1.36 run=10 nbConstraintChecks=264056 nbPropagations=60247 nbRevisions=291697 nbUselessRevisions=177816
1.36 nbAssignments=2362 nbFailedAssignments=366 nbBacktracks=1760 nbVisitedNodes=3151 nbRestartNogoods=29
1.36 mapSize=713 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.421 cpuTime=0.33 mem=16M127
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=16M127)
1.49
1.49 search
1.49 run=11 nbConstraintChecks=421970 nbPropagations=91173 nbRevisions=467238 nbUselessRevisions=289982
1.49 nbAssignments=3456 nbFailedAssignments=576 nbBacktracks=2626 nbVisitedNodes=4706 nbRestartNogoods=32
1.49 => wckTime=0.553 cpuTime=0.46 mem=16M127
1.65
1.65 search
1.65 run=12 nbConstraintChecks=641420 nbPropagations=137885 nbRevisions=738557 nbUselessRevisions=465413
1.66 nbAssignments=5097 nbFailedAssignments=897 nbBacktracks=3923 nbVisitedNodes=7028 nbRestartNogoods=38
1.66 => wckTime=0.72 cpuTime=0.63 mem=16M127
1.92
1.92 search
1.92 run=13 nbConstraintChecks=1017856 nbPropagations=210741 nbRevisions=1177136 nbUselessRevisions=754283
1.92 nbAssignments=7521 nbFailedAssignments=1348 nbBacktracks=5879 nbVisitedNodes=10428 nbRestartNogoods=47
1.92 => wckTime=0.988 cpuTime=0.89 mem=16M127
2.31
2.31 search
2.31 run=14 nbConstraintChecks=1566474 nbPropagations=321620 nbRevisions=1851503 nbUselessRevisions=1197887
2.31 nbAssignments=11167 nbFailedAssignments=2056 nbBacktracks=8805 nbVisitedNodes=15669 nbRestartNogoods=53
2.31 => wckTime=1.374 cpuTime=1.28 mem=16M127
2.55
2.55 search
2.55 run=15 nbConstraintChecks=1890735 nbPropagations=455361 nbRevisions=2662609 nbUselessRevisions=1732069
2.55 nbAssignments=13579 nbFailedAssignments=2469 nbBacktracks=10663 nbVisitedNodes=19054 nbRestartNogoods=60
2.55 => wckTime=1.613 cpuTime=1.52 mem=16M127
2.55
2.55 global
2.55 nbConstraintChecks=1890735 nbPropagations=455502 nbRevisions=2662609 nbUselessRevisions=1732069
2.55 nbRestartNogoods=60 solvingWckTime=1.614 solvingCpuTime=1.52 expiredTime=no totalExploration=no
2.55 nbFoundSolutions=1 globalCpuTime=1.92
2.55 => wckTime=2.172 cpuTime=1.87 mem=16M127
2.55
2.55 s SATISFIABLE
2.55 v 0 10 8 9 2 5 6 12 0 1 8 14 5 3 10 7 8 6 9 13 14 15 3 0 6 15 16 14 1 9 4 1 12 13 2 17 16 15 17 2 3 0 6 8 14 12 8 10 14 7 3 9 16 9 11 12 6 4 5 8 7 15 1 9 7 16 11 4 2 13 17 14 4 15 0 7 11 14 2 17 1 4 9 10 6 15 14 16 1 17 2 13 9 2 15 10 8 14 13 12 0 15 4 3 5 1 14 6 13 2 12 14 13 7 16 10 1 4 13 9 14 0 2 12 3 14 13 12 10 9 8 7 16 17 12 8 4 3 13 2 0
2.55 d NODES 13579
2.55 d CHECKS 1890735
2.55
2.55 totalWckTime=2.25 totalCpuTime=1.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-197582-1168071080 -o ROOT/results/node6/solver-197582-1168071080 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197582-1168071080/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.42 1.80 1.87 4/93 6854
/proc/meminfo: memFree=1303344/2055924 swapFree=4165672/4192956
[pid=6853] ppid=6851 vsize=1784 CPUtime=0
/proc/6853/stat : 6853 (java) R 6851 6853 6730 0 -1 0 353 0 0 0 0 0 0 0 18 0 1 0 155503610 1826816 146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3009248 0 0 4096 0 0 0 0 17 0 0 0
/proc/6853/statm: 447 159 123 14 0 92 0
[startup+0.108602 s]
/proc/loadavg: 1.42 1.80 1.87 4/93 6854
/proc/meminfo: memFree=1303344/2055924 swapFree=4165672/4192956
[pid=6853] ppid=6851 vsize=906128 CPUtime=0.01
/proc/6853/stat : 6853 (java) R 6851 6853 6730 0 -1 0 1941 0 1 0 1 0 0 0 18 0 1 0 155503610 927875072 1690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 7368 0 0 0 17 0 0 0
/proc/6853/statm: 226532 1690 979 14 0 214115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 906128
[startup+0.51665 s]
/proc/loadavg: 1.42 1.80 1.87 4/93 6854
/proc/meminfo: memFree=1303344/2055924 swapFree=4165672/4192956
[pid=6853] ppid=6851 vsize=915328 CPUtime=0.42
/proc/6853/stat : 6853 (java) R 6851 6853 6730 0 -1 0 6175 0 1 0 39 3 0 0 25 0 8 0 155503610 937295872 5914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072919648 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6853/statm: 228832 5914 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.33975 s]
/proc/loadavg: 1.42 1.80 1.87 3/100 6861
/proc/meminfo: memFree=1279096/2055924 swapFree=4165672/4192956
[pid=6853] ppid=6851 vsize=915568 CPUtime=1.24
/proc/6853/stat : 6853 (java) R 6851 6853 6730 0 -1 0 8835 0 1 0 118 6 0 0 25 0 8 0 155503610 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073897751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6853/statm: 228892 8573 2513 14 0 215362 0
[pid=6853/tid=6855] ppid=6851 vsize=915568 CPUtime=0.03
/proc/6853/task/6855/stat : 6855 (java) S 6851 6853 6730 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 155503621 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6853/tid=6856] ppid=6851 vsize=915568 CPUtime=0
/proc/6853/task/6856/stat : 6856 (java) S 6851 6853 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155503622 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6853/tid=6857] ppid=6851 vsize=915568 CPUtime=0
/proc/6853/task/6857/stat : 6857 (java) S 6851 6853 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155503622 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6853/tid=6858] ppid=6851 vsize=915568 CPUtime=0
/proc/6853/task/6858/stat : 6858 (java) S 6851 6853 6730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155503625 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6853/tid=6859] ppid=6851 vsize=915568 CPUtime=0.27
/proc/6853/task/6859/stat : 6859 (java) S 6851 6853 6730 0 -1 64 409 0 0 0 26 1 0 0 16 0 8 0 155503625 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6853/tid=6860] ppid=6851 vsize=915568 CPUtime=0
/proc/6853/task/6860/stat : 6860 (java) S 6851 6853 6730 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155503625 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6853/tid=6861] ppid=6851 vsize=915568 CPUtime=0
/proc/6853/task/6861/stat : 6861 (java) S 6851 6853 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155503625 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 2.60772
CPU time (s): 2.47262
CPU user time (s): 2.39764
CPU system time (s): 0.074988
CPU usage (%): 94.8195
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.39764
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8975
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= 1345
involuntary context switches= 1620
runsolver used 0.007998 s user time and 0.015997 s system time
The end
Begin job on node6 on Sat Jan 6 08:11:20 UTC 2007
IDJOB= 197582
IDBENCH= 3485
FILE ID= node6/197582-1168071080
PBS_JOBID= 3475726
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197582-1168071080/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-197582-1168071080 -o ROOT/results/node6/solver-197582-1168071080 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197582-1168071080/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 112401c964e7443ffd996370ab657dfe
RANDOM SEED= 326699518
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.240
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.240
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: 2055924 kB
MemFree: 1303824 kB
Buffers: 82208 kB
Cached: 508668 kB
SwapCached: 3036 kB
Active: 375888 kB
Inactive: 280260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1303824 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1900 kB
Writeback: 0 kB
Mapped: 84424 kB
Slab: 80608 kB
Committed_AS: 4951880 kB
PageTables: 2468 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= 66529 MiB
End job on node6 on Sat Jan 6 08:11:24 UTC 2007