0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/223281-1168265510/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.40 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.46
0.46 constraints being loaded...
0.56 nbConstraints=223 nbRelationTypes=223 nbExtensionStructures=223 nbSharedExtensionStructures=0
0.56 nbConflictsStructures=223 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2785 maxDegree=18
0.56 maxArity=2
0.56 => wckTime=0.256 cpuTime=0.18 mem=10M852
0.60
0.60 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.451 cpuTime=0.32 mem=14M680
0.80
0.80 preprocessing
0.80 nbConstraintChecks=31797 nbPropagations=573 nbRevisions=3849 nbUselessRevisions=3035 nbSingletonTests=36
0.80 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.80 => wckTime=0.04 cpuTime=0.02 mem=14M680
0.82
0.82 search
0.82 run=0 nbConstraintChecks=34538 nbPropagations=1122 nbRevisions=9871 nbUselessRevisions=7569 nbAssignments=29
0.82 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.062 cpuTime=0.04 mem=14M680
0.84
0.84 search
0.84 run=1 nbConstraintChecks=74831 nbPropagations=2878 nbRevisions=26931 nbUselessRevisions=20685 nbAssignments=66
0.84 nbFailedAssignments=33 nbBacktracks=25 nbVisitedNodes=116 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.081 cpuTime=0.05 mem=14M680
0.85
0.85 search
0.85 run=2 nbConstraintChecks=124300 nbPropagations=5483 nbRevisions=53698 nbUselessRevisions=41442
0.85 nbAssignments=115 nbFailedAssignments=55 nbBacktracks=47 nbVisitedNodes=203 nbRestartNogoods=6 mapSize=44
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.097 cpuTime=0.06 mem=14M680
0.87
0.87 search
0.87 run=3 nbConstraintChecks=177365 nbPropagations=9125 nbRevisions=92383 nbUselessRevisions=71626
0.87 nbAssignments=183 nbFailedAssignments=87 nbBacktracks=80 nbVisitedNodes=326 nbRestartNogoods=9 mapSize=75
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.11 cpuTime=0.08 mem=14M680
0.89
0.89 search
0.89 run=4 nbConstraintChecks=246132 nbPropagations=14078 nbRevisions=145986 nbUselessRevisions=113622
0.89 nbAssignments=275 nbFailedAssignments=119 nbBacktracks=133 nbVisitedNodes=479 nbRestartNogoods=10 mapSize=115
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.128 cpuTime=0.09 mem=14M680
0.92
0.92 search
0.92 run=5 nbConstraintChecks=370453 nbPropagations=21225 nbRevisions=224577 nbUselessRevisions=175151
0.92 nbAssignments=411 nbFailedAssignments=176 nbBacktracks=209 nbVisitedNodes=714 nbRestartNogoods=15 mapSize=180
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.159 cpuTime=0.12 mem=14M680
0.95
0.95 search
0.95 run=6 nbConstraintChecks=536661 nbPropagations=31529 nbRevisions=340262 nbUselessRevisions=266226
0.95 nbAssignments=610 nbFailedAssignments=257 nbBacktracks=322 nbVisitedNodes=1062 nbRestartNogoods=18 mapSize=276
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.197 cpuTime=0.16 mem=14M680
1.01
1.01 search
1.01 run=7 nbConstraintChecks=828183 nbPropagations=46758 nbRevisions=515189 nbUselessRevisions=403813
1.01 nbAssignments=913 nbFailedAssignments=385 nbBacktracks=492 nbVisitedNodes=1604 nbRestartNogoods=27 mapSize=426
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.256 cpuTime=0.22 mem=14M680
1.09
1.09 search
1.09 run=8 nbConstraintChecks=1185914 nbPropagations=68583 nbRevisions=767412 nbUselessRevisions=602625
1.09 nbAssignments=1343 nbFailedAssignments=552 nbBacktracks=749 nbVisitedNodes=2350 nbRestartNogoods=32
1.09 mapSize=639 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.336 cpuTime=0.29 mem=14M680
1.23
1.23 search
1.23 run=9 nbConstraintChecks=1836090 nbPropagations=101771 nbRevisions=1158096 nbUselessRevisions=911451
1.23 nbAssignments=2018 nbFailedAssignments=839 nbBacktracks=1133 nbVisitedNodes=3556 nbRestartNogoods=36
1.23 mapSize=971 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.473 cpuTime=0.41 mem=14M680
1.25
1.25 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=14M680)
1.39
1.39 search
1.39 run=10 nbConstraintChecks=2730386 nbPropagations=150370 nbRevisions=1729132 nbUselessRevisions=1361402
1.39 nbAssignments=2979 nbFailedAssignments=1219 nbBacktracks=1709 nbVisitedNodes=5223 nbRestartNogoods=45
1.39 => wckTime=0.637 cpuTime=0.56 mem=14M680
1.63
1.63 search
1.63 run=11 nbConstraintChecks=4073412 nbPropagations=222506 nbRevisions=2582249 nbUselessRevisions=2034795
1.63 nbAssignments=4452 nbFailedAssignments=1820 nbBacktracks=2578 nbVisitedNodes=7813 nbRestartNogoods=55
1.63 => wckTime=0.869 cpuTime=0.79 mem=14M680
1.69
1.69 search
1.69 run=12 nbConstraintChecks=4409768 nbPropagations=300699 nbRevisions=3505977 nbUselessRevisions=2763923
1.69 nbAssignments=4865 nbFailedAssignments=1974 nbBacktracks=2807 nbVisitedNodes=8500 nbRestartNogoods=65
1.69 => wckTime=0.93 cpuTime=0.85 mem=14M680
1.69
1.69 global
1.69 nbConstraintChecks=4441565 nbPropagations=301272 nbRevisions=3509826 nbUselessRevisions=2766958
1.69 nbRestartNogoods=65 solvingWckTime=0.931 solvingCpuTime=0.85 expiredTime=no totalExploration=no
1.69 nbFoundSolutions=1 globalCpuTime=1.23
1.69 => wckTime=1.385 cpuTime=1.17 mem=14M680
1.69
1.69 s SATISFIABLE
1.69 v 9 3 10 13 6 13 5 3 12 7 2 3 3 7 13 1 4 12 6 5 6 5 5 1 8 4 8 5 2 5
1.69 d NODES 4865
1.69 d CHECKS 4441565
1.69
1.69 totalWckTime=1.461 totalCpuTime=1.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-223281-1168265510 -o ROOT/results/node7/solver-223281-1168265510 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223281-1168265510/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: 0.09 0.12 0.53 2/81 28282
/proc/meminfo: memFree=1771968/2055920 swapFree=4192812/4192956
[pid=28281] ppid=28279 vsize=1784 CPUtime=0
/proc/28281/stat : 28281 (java) D 28279 28281 28093 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 174947535 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/28281/statm: 446 158 123 14 0 91 0
[startup+0.10524 s]
/proc/loadavg: 0.09 0.12 0.53 2/81 28282
/proc/meminfo: memFree=1771968/2055920 swapFree=4192812/4192956
[pid=28281] ppid=28279 vsize=914988 CPUtime=0.08
/proc/28281/stat : 28281 (java) R 28279 28281 28093 0 -1 0 2999 0 1 0 7 1 0 0 21 0 8 0 174947535 936947712 2745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28281/statm: 228747 2745 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513289 s]
/proc/loadavg: 0.09 0.12 0.53 2/81 28282
/proc/meminfo: memFree=1771968/2055920 swapFree=4192812/4192956
[pid=28281] ppid=28279 vsize=915328 CPUtime=0.48
/proc/28281/stat : 28281 (java) R 28279 28281 28093 0 -1 0 6648 0 1 0 45 3 0 0 16 0 8 0 174947535 937295872 6387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152150325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28281/statm: 228832 6387 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33437 s]
/proc/loadavg: 0.09 0.12 0.53 2/88 28289
/proc/meminfo: memFree=1748488/2055920 swapFree=4192812/4192956
[pid=28281] ppid=28279 vsize=915452 CPUtime=1.3
/proc/28281/stat : 28281 (java) R 28279 28281 28093 0 -1 0 8637 0 1 0 125 5 0 0 16 0 8 0 174947535 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785178 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28281/statm: 228863 8375 2524 14 0 215333 0
[pid=28281/tid=28283] ppid=28279 vsize=915452 CPUtime=0.02
/proc/28281/task/28283/stat : 28283 (java) S 28279 28281 28093 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 174947539 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28281/tid=28284] ppid=28279 vsize=915452 CPUtime=0
/proc/28281/task/28284/stat : 28284 (java) S 28279 28281 28093 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 174947540 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28281/tid=28285] ppid=28279 vsize=915452 CPUtime=0
/proc/28281/task/28285/stat : 28285 (java) S 28279 28281 28093 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174947540 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28281/tid=28286] ppid=28279 vsize=915452 CPUtime=0
/proc/28281/task/28286/stat : 28286 (java) S 28279 28281 28093 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174947543 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28281/tid=28287] ppid=28279 vsize=915452 CPUtime=0.2
/proc/28281/task/28287/stat : 28287 (java) S 28279 28281 28093 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 174947543 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28281/tid=28288] ppid=28279 vsize=915452 CPUtime=0
/proc/28281/task/28288/stat : 28288 (java) S 28279 28281 28093 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174947543 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28281/tid=28289] ppid=28279 vsize=915452 CPUtime=0
/proc/28281/task/28289/stat : 28289 (java) S 28279 28281 28093 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174947543 937422848 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 1.75323
CPU time (s): 1.67774
CPU user time (s): 1.61275
CPU system time (s): 0.06499
CPU usage (%): 95.6946
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.61275
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8736
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= 860
involuntary context switches= 129
runsolver used 0.001999 s user time and 0.014997 s system time
The end
Begin job on node7 on Mon Jan 8 14:11:55 UTC 2007
IDJOB= 223281
IDBENCH= 5620
FILE ID= node7/223281-1168265510
PBS_JOBID= 3482548
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15-fcd/rand-2-30-15-306-230-fcd-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223281-1168265510/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-223281-1168265510 -o ROOT/results/node7/solver-223281-1168265510 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223281-1168265510/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 39e1075ffc569ebffaaba1828eb71f9f
RANDOM SEED= 431952965
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.220
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.220
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: 1772640 kB
Buffers: 55844 kB
Cached: 115584 kB
SwapCached: 0 kB
Active: 147220 kB
Inactive: 84184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1772640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 78952 kB
Slab: 36912 kB
Committed_AS: 5257292 kB
PageTables: 2192 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= 66561 MiB
End job on node7 on Mon Jan 8 14:12:08 UTC 2007