0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/197144-1168125326/unknown.xml
0.39
0.39 domains being loaded...
0.42
0.42 variables being loaded...
0.47 nbVariables=141 nbDomainTypes=134 minDomainSize=1 maxDomainSize=7
0.47 => wckTime=0.136 cpuTime=0.1 mem=6M886
0.47
0.47 relations being loaded...
0.51
0.51 constraints being loaded...
0.69 nbConstraints=879 nbRelationTypes=236 nbSingletonDomainVariables=1 nbExtensionStructures=861
0.69 nbSharedExtensionStructures=18 nbConflictsStructures=861 nbSharedConflictsStructures=18
0.69 nbSharedBinaryRepresentations=6810 maxDegree=14 maxArity=2
0.69 => wckTime=0.361 cpuTime=0.24 mem=11M763
0.74
0.74 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.58 cpuTime=0.38 mem=15M110
0.98
0.98 preprocessing
0.98 nbConstraintChecks=10865 nbPropagations=1359 nbRevisions=3466 nbUselessRevisions=2102 nbSingletonTests=178
0.98 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=5 detectedInconsistency=no
0.98 => wckTime=0.068 cpuTime=0.04 mem=15M110
1.01
1.01 search
1.01 run=0 nbConstraintChecks=1832 nbPropagations=1555 nbRevisions=4054 nbUselessRevisions=2415 nbAssignments=31
1.01 nbFailedAssignments=5 nbBacktracks=12 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.096 cpuTime=0.06 mem=16M101
1.02
1.02 search
1.02 run=1 nbConstraintChecks=7176 nbPropagations=3535 nbRevisions=10141 nbUselessRevisions=6032 nbAssignments=87
1.02 nbFailedAssignments=11 nbBacktracks=39 nbVisitedNodes=114 nbRestartNogoods=1 mapSize=24 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.106 cpuTime=0.07 mem=16M101
1.03
1.03 search
1.03 run=2 nbConstraintChecks=10356 nbPropagations=5830 nbRevisions=17317 nbUselessRevisions=10267
1.03 nbAssignments=138 nbFailedAssignments=15 nbBacktracks=65 nbVisitedNodes=176 nbRestartNogoods=2 mapSize=34
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.114 cpuTime=0.07 mem=16M101
1.04
1.04 search
1.04 run=3 nbConstraintChecks=18275 nbPropagations=8747 nbRevisions=27545 nbUselessRevisions=16322
1.04 nbAssignments=212 nbFailedAssignments=26 nbBacktracks=99 nbVisitedNodes=273 nbRestartNogoods=3 mapSize=53
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.125 cpuTime=0.08 mem=16M101
1.06
1.06 search
1.06 run=4 nbConstraintChecks=28042 nbPropagations=12496 nbRevisions=41235 nbUselessRevisions=24374
1.06 nbAssignments=337 nbFailedAssignments=38 nbBacktracks=154 nbVisitedNodes=379 nbRestartNogoods=7 mapSize=73
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.144 cpuTime=0.1 mem=16M101
1.07
1.07 search
1.07 run=5 nbConstraintChecks=38239 nbPropagations=17059 nbRevisions=58783 nbUselessRevisions=34668
1.07 nbAssignments=447 nbFailedAssignments=52 nbBacktracks=231 nbVisitedNodes=515 nbRestartNogoods=9 mapSize=96
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.161 cpuTime=0.12 mem=16M101
1.10
1.10 search
1.10 run=6 nbConstraintChecks=55637 nbPropagations=22878 nbRevisions=82918 nbUselessRevisions=48892
1.10 nbAssignments=616 nbFailedAssignments=75 nbBacktracks=358 nbVisitedNodes=729 nbRestartNogoods=12 mapSize=137
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.186 cpuTime=0.14 mem=16M101
1.14
1.14 search
1.14 run=7 nbConstraintChecks=82351 nbPropagations=30560 nbRevisions=117321 nbUselessRevisions=69253
1.14 nbAssignments=863 nbFailedAssignments=111 nbBacktracks=552 nbVisitedNodes=1046 nbRestartNogoods=16 mapSize=200
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.224 cpuTime=0.17 mem=16M101
1.17
1.17 search
1.17 run=8 nbConstraintChecks=109472 nbPropagations=40316 nbRevisions=162468 nbUselessRevisions=96125
1.17 nbAssignments=1174 nbFailedAssignments=152 nbBacktracks=809 nbVisitedNodes=1454 nbRestartNogoods=18
1.17 mapSize=288 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.262 cpuTime=0.21 mem=16M101
1.25
1.25 search
1.25 run=9 nbConstraintChecks=171996 nbPropagations=54142 nbRevisions=230801 nbUselessRevisions=136715
1.25 nbAssignments=1657 nbFailedAssignments=235 nbBacktracks=1195 nbVisitedNodes=2103 nbRestartNogoods=22
1.25 mapSize=446 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.341 cpuTime=0.27 mem=16M101
1.36
1.36 search
1.36 run=10 nbConstraintChecks=273056 nbPropagations=74897 nbRevisions=338949 nbUselessRevisions=201591
1.36 nbAssignments=2378 nbFailedAssignments=356 nbBacktracks=1772 nbVisitedNodes=3061 nbRestartNogoods=25
1.36 mapSize=655 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.453 cpuTime=0.37 mem=16M101
1.49
1.49 search
1.49 run=11 nbConstraintChecks=410028 nbPropagations=104826 nbRevisions=504511 nbUselessRevisions=304260
1.49 nbAssignments=3456 nbFailedAssignments=510 nbBacktracks=2640 nbVisitedNodes=4442 nbRestartNogoods=33
1.49 mapSize=955 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.58 cpuTime=0.48 mem=16M101
1.52
1.52 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=16M101)
1.65
1.65 search
1.65 run=12 nbConstraintChecks=601770 nbPropagations=148738 nbRevisions=752122 nbUselessRevisions=460874
1.65 nbAssignments=5016 nbFailedAssignments=739 nbBacktracks=3937 nbVisitedNodes=6495 nbRestartNogoods=38
1.65 => wckTime=0.738 cpuTime=0.64 mem=16M101
1.85
1.85 search
1.85 run=13 nbConstraintChecks=859354 nbPropagations=211896 nbRevisions=1110872 nbUselessRevisions=691293
1.85 nbAssignments=7398 nbFailedAssignments=1115 nbBacktracks=5888 nbVisitedNodes=9639 nbRestartNogoods=44
1.85 => wckTime=0.939 cpuTime=0.84 mem=16M101
2.17
2.17 search
2.17 run=14 nbConstraintChecks=1289151 nbPropagations=306609 nbRevisions=1651117 nbUselessRevisions=1037737
2.17 nbAssignments=11037 nbFailedAssignments=1771 nbBacktracks=8810 nbVisitedNodes=14653 nbRestartNogoods=52
2.17 => wckTime=1.263 cpuTime=1.16 mem=16M101
2.36
2.36 search
2.36 run=15 nbConstraintChecks=1537262 nbPropagations=418918 nbRevisions=2298991 nbUselessRevisions=1455500
2.36 nbAssignments=12916 nbFailedAssignments=2083 nbBacktracks=10144 nbVisitedNodes=17095 nbRestartNogoods=60
2.36 => wckTime=1.445 cpuTime=1.34 mem=16M101
2.36
2.36 global
2.36 nbConstraintChecks=1548127 nbPropagations=420277 nbRevisions=2302457 nbUselessRevisions=1457602
2.36 nbRestartNogoods=60 solvingWckTime=1.446 solvingCpuTime=1.34 expiredTime=no totalExploration=no
2.36 nbFoundSolutions=1 globalCpuTime=1.78
2.36 => wckTime=2.029 cpuTime=1.72 mem=16M101
2.36
2.36 s SATISFIABLE
2.36 v 13 10 7 8 3 1 4 16 10 15 2 13 14 11 5 4 1 3 6 12 13 4 7 9 15 3 9 17 5 10 7 14 3 7 4 16 13 15 5 6 15 5 17 3 8 11 7 0 7 0 3 5 9 10 4 8 8 17 4 6 9 14 16 0 1 4 8 5 14 9 9 5 17 3 11 12 0 6 4 2 15 0 13 12 3 12 8 0 4 2 3 9 14 11 6 17 13 0 10 12 5 14 6 9 17 8 7 5 13 17 10 13 8 14 1 0 3 16 7 10 15 8 14 3 13 11 0 14 6 9 2 8 17 0 13 12 8 3 4 10 17
2.36 d NODES 12916
2.36 d CHECKS 1548127
2.36
2.36 totalWckTime=2.113 totalCpuTime=1.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-197144-1168125326 -o ROOT/results/node38/solver-197144-1168125326 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197144-1168125326/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.44 1.99 2.09 4/84 30202
/proc/meminfo: memFree=782216/2055920 swapFree=4192812/4192956
[pid=30201] ppid=30199 vsize=18540 CPUtime=0
/proc/30201/stat : 30201 (runsolver) R 30199 30201 29564 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 160932783 18984960 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30201/statm: 4635 280 244 17 0 2626 0
[startup+0.107928 s]
/proc/loadavg: 1.44 1.99 2.09 4/84 30202
/proc/meminfo: memFree=782216/2055920 swapFree=4192812/4192956
[pid=30201] ppid=30199 vsize=913068 CPUtime=0.08
/proc/30201/stat : 30201 (java) R 30199 30201 29564 0 -1 0 2843 0 1 0 7 1 0 0 25 0 8 0 160932783 934981632 2589 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30201/statm: 228267 2589 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.516006 s]
/proc/loadavg: 1.44 1.99 2.09 4/84 30202
/proc/meminfo: memFree=782216/2055920 swapFree=4192812/4192956
[pid=30201] ppid=30199 vsize=915328 CPUtime=0.48
/proc/30201/stat : 30201 (java) R 30199 30201 29564 0 -1 0 6236 0 1 0 43 5 0 0 25 0 8 0 160932783 937295872 5975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30201/statm: 228832 5975 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34017 s]
/proc/loadavg: 1.44 1.99 2.09 3/91 30209
/proc/meminfo: memFree=757520/2055920 swapFree=4192812/4192956
[pid=30201] ppid=30199 vsize=915568 CPUtime=1.29
/proc/30201/stat : 30201 (java) R 30199 30201 29564 0 -1 0 8948 0 1 0 121 8 0 0 25 0 8 0 160932783 937541632 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30201/statm: 228892 8686 2524 14 0 215362 0
[pid=30201/tid=30203] ppid=30199 vsize=915568 CPUtime=0.03
/proc/30201/task/30203/stat : 30203 (java) S 30199 30201 29564 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 160932788 937541632 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30201/tid=30204] ppid=30199 vsize=915568 CPUtime=0
/proc/30201/task/30204/stat : 30204 (java) S 30199 30201 29564 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160932789 937541632 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30201/tid=30205] ppid=30199 vsize=915568 CPUtime=0
/proc/30201/task/30205/stat : 30205 (java) S 30199 30201 29564 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160932789 937541632 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30201/tid=30206] ppid=30199 vsize=915568 CPUtime=0
/proc/30201/task/30206/stat : 30206 (java) S 30199 30201 29564 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 160932793 937541632 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30201/tid=30207] ppid=30199 vsize=915568 CPUtime=0.27
/proc/30201/task/30207/stat : 30207 (java) S 30199 30201 29564 0 -1 64 414 0 0 0 26 1 0 0 16 0 8 0 160932793 937541632 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30201/tid=30208] ppid=30199 vsize=915568 CPUtime=0
/proc/30201/task/30208/stat : 30208 (java) S 30199 30201 29564 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 160932793 937541632 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30201/tid=30209] ppid=30199 vsize=915568 CPUtime=0
/proc/30201/task/30209/stat : 30209 (java) S 30199 30201 29564 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160932793 937541632 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 2.39429
CPU time (s): 2.31765
CPU user time (s): 2.22566
CPU system time (s): 0.091986
CPU usage (%): 96.7991
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.22566
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9112
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= 1419
involuntary context switches= 1643
runsolver used 0.007998 s user time and 0.021996 s system time
The end
Begin job on node38 on Sat Jan 6 23:15:27 UTC 2007
IDJOB= 197144
IDBENCH= 3445
FILE ID= node38/197144-1168125326
PBS_JOBID= 3477462
Free space on /tmp= 66512 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197144-1168125326/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-197144-1168125326 -o ROOT/results/node38/solver-197144-1168125326 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197144-1168125326/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 504d1a580357e5987250a54991ee0044
RANDOM SEED= 118184861
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.267
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.267
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: 782824 kB
Buffers: 43484 kB
Cached: 399672 kB
SwapCached: 0 kB
Active: 863792 kB
Inactive: 336124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 782824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1780 kB
Writeback: 0 kB
Mapped: 777436 kB
Slab: 56976 kB
Committed_AS: 4072804 kB
PageTables: 3356 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= 66512 MiB
End job on node38 on Sat Jan 6 23:15:39 UTC 2007