0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/226824-1168276646/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.55
0.55 constraints being loaded...
0.63 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.63 => wckTime=0.309 cpuTime=0.26 mem=15M764
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.515 cpuTime=0.39 mem=14M928
0.89
0.89 preprocessing
0.89 nbConstraintChecks=88156 nbPropagations=881 nbRevisions=3999 nbUselessRevisions=2632 nbSingletonTests=49
0.89 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.049 cpuTime=0.03 mem=14M928
0.91
0.91 search
0.91 run=0 nbConstraintChecks=27321 nbPropagations=1248 nbRevisions=5865 nbUselessRevisions=3806 nbAssignments=20
0.91 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=32 nbRestartNogoods=0 mapSize=4 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.068 cpuTime=0.04 mem=14M928
0.93
0.93 search
0.93 run=1 nbConstraintChecks=98679 nbPropagations=3582 nbRevisions=17957 nbUselessRevisions=11495 nbAssignments=67
0.93 nbFailedAssignments=32 nbBacktracks=27 nbVisitedNodes=117 nbRestartNogoods=2 mapSize=21 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.09 cpuTime=0.06 mem=14M928
0.96
0.96 search
0.96 run=2 nbConstraintChecks=264947 nbPropagations=7814 nbRevisions=40833 nbUselessRevisions=26014
0.96 nbAssignments=161 nbFailedAssignments=78 nbBacktracks=49 nbVisitedNodes=253 nbRestartNogoods=7 mapSize=43
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.121 cpuTime=0.08 mem=14M928
0.98
0.98 search
0.98 run=3 nbConstraintChecks=371877 nbPropagations=13377 nbRevisions=71137 nbUselessRevisions=44946
0.98 nbAssignments=225 nbFailedAssignments=106 nbBacktracks=82 nbVisitedNodes=361 nbRestartNogoods=10 mapSize=63
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.137 cpuTime=0.1 mem=14M928
1.01
1.01 search
1.01 run=4 nbConstraintChecks=596779 nbPropagations=21845 nbRevisions=117945 nbUselessRevisions=73901
1.01 nbAssignments=355 nbFailedAssignments=181 nbBacktracks=132 nbVisitedNodes=597 nbRestartNogoods=16 mapSize=105
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.17 cpuTime=0.13 mem=14M928
1.04
1.04 search
1.04 run=5 nbConstraintChecks=812877 nbPropagations=33295 nbRevisions=181076 nbUselessRevisions=113088
1.04 nbAssignments=491 nbFailedAssignments=236 nbBacktracks=207 nbVisitedNodes=830 nbRestartNogoods=20 mapSize=163
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.201 cpuTime=0.16 mem=14M928
1.09
1.09 search
1.09 run=6 nbConstraintChecks=1156507 nbPropagations=49688 nbRevisions=271292 nbUselessRevisions=169319
1.09 nbAssignments=705 nbFailedAssignments=325 nbBacktracks=321 nbVisitedNodes=1190 nbRestartNogoods=24 mapSize=257
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.248 cpuTime=0.2 mem=14M928
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1923621 nbPropagations=75773 nbRevisions=421598 nbUselessRevisions=262801
1.19 nbAssignments=1150 nbFailedAssignments=595 nbBacktracks=491 nbVisitedNodes=2023 nbRestartNogoods=31
1.19 mapSize=407 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.356 cpuTime=0.3 mem=14M928
1.31
1.31 search
1.31 run=8 nbConstraintChecks=2702400 nbPropagations=112693 nbRevisions=630338 nbUselessRevisions=391652
1.31 nbAssignments=1634 nbFailedAssignments=801 nbBacktracks=748 nbVisitedNodes=2823 nbRestartNogoods=43
1.31 mapSize=590 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.471 cpuTime=0.39 mem=14M928
1.51
1.51 search
1.51 run=9 nbConstraintChecks=4319698 nbPropagations=170487 nbRevisions=965094 nbUselessRevisions=597306
1.51 nbAssignments=2496 nbFailedAssignments=1275 nbBacktracks=1133 nbVisitedNodes=4419 nbRestartNogoods=51
1.51 mapSize=914 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.667 cpuTime=0.58 mem=14M928
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=14M928)
1.73
1.74 search
1.74 run=10 nbConstraintChecks=6228778 nbPropagations=254444 nbRevisions=1447380 nbUselessRevisions=892108
1.74 nbAssignments=3625 nbFailedAssignments=1825 nbBacktracks=1710 nbVisitedNodes=6422 nbRestartNogoods=58
1.74 => wckTime=0.897 cpuTime=0.8 mem=14M928
2.13
2.13 search
2.13 run=11 nbConstraintChecks=9894743 nbPropagations=385186 nbRevisions=2206694 nbUselessRevisions=1356919
2.13 nbAssignments=5559 nbFailedAssignments=2890 nbBacktracks=2574 nbVisitedNodes=10013 nbRestartNogoods=72
2.13 => wckTime=1.296 cpuTime=1.2 mem=15M904
2.66
2.66 search
2.66 run=12 nbConstraintChecks=14853721 nbPropagations=577852 nbRevisions=3324652 nbUselessRevisions=2043216
2.66 nbAssignments=8310 nbFailedAssignments=4339 nbBacktracks=3871 nbVisitedNodes=14999 nbRestartNogoods=80
2.66 => wckTime=1.821 cpuTime=1.72 mem=15M904
2.97
2.97 search
2.97 run=13 nbConstraintChecks=17673157 nbPropagations=809044 nbRevisions=4656209 nbUselessRevisions=2859448
2.97 nbAssignments=10059 nbFailedAssignments=5067 nbBacktracks=4852 nbVisitedNodes=17991 nbRestartNogoods=85
2.97 => wckTime=2.134 cpuTime=2.03 mem=15M904
2.97
2.97 global
2.97 nbConstraintChecks=17761313 nbPropagations=809925 nbRevisions=4660208 nbUselessRevisions=2862080
2.97 nbRestartNogoods=85 solvingWckTime=2.135 solvingCpuTime=2.03 expiredTime=no totalExploration=no
2.97 nbFoundSolutions=1 globalCpuTime=2.48
2.97 => wckTime=2.654 cpuTime=2.43 mem=15M904
2.98
2.98 s SATISFIABLE
2.98 v 39 11 15 39 20 37 36 27 27 26 21 25 30 5 10 21 4 22 20 33 13 27 28 10 21 13 13 3 21 19 9 37 7 32 6 10 0 4 28 30
2.98 d NODES 10059
2.98 d CHECKS 17761313
2.98
2.98 totalWckTime=2.735 totalCpuTime=2.48
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-226824-1168276646 -o ROOT/results/node44/solver-226824-1168276646 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226824-1168276646/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: 2.00 2.05 2.03 3/76 11688
/proc/meminfo: memFree=1666424/2055920 swapFree=4191892/4192956
[pid=11687] ppid=11685 vsize=18540 CPUtime=0
/proc/11687/stat : 11687 (runsolver) R 11685 11687 11011 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 176063686 18984960 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11687/statm: 4635 280 244 17 0 2626 0
[startup+0.107215 s]
/proc/loadavg: 2.00 2.05 2.03 3/76 11688
/proc/meminfo: memFree=1666424/2055920 swapFree=4191892/4192956
[pid=11687] ppid=11685 vsize=914988 CPUtime=0.08
/proc/11687/stat : 11687 (java) R 11685 11687 11011 0 -1 0 2979 0 1 0 6 2 0 0 19 0 8 0 176063686 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155082438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11687/statm: 228747 2725 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515256 s]
/proc/loadavg: 2.00 2.05 2.03 3/76 11688
/proc/meminfo: memFree=1666424/2055920 swapFree=4191892/4192956
[pid=11687] ppid=11685 vsize=915328 CPUtime=0.49
/proc/11687/stat : 11687 (java) R 11685 11687 11011 0 -1 0 7164 0 1 0 44 5 0 0 18 0 8 0 176063686 937295872 6903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11687/statm: 228832 6903 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33634 s]
/proc/loadavg: 2.00 2.05 2.03 3/83 11695
/proc/meminfo: memFree=1640896/2055920 swapFree=4191892/4192956
[pid=11687] ppid=11685 vsize=915464 CPUtime=1.3
/proc/11687/stat : 11687 (java) R 11685 11687 11011 0 -1 0 9102 0 1 0 124 6 0 0 24 0 8 0 176063686 937435136 8840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11687/statm: 228866 8840 2524 14 0 215336 0
[pid=11687/tid=11689] ppid=11685 vsize=915464 CPUtime=0.03
/proc/11687/task/11689/stat : 11689 (java) S 11685 11687 11011 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 176063690 937435136 8840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11690] ppid=11685 vsize=915464 CPUtime=0
/proc/11687/task/11690/stat : 11690 (java) S 11685 11687 11011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176063691 937435136 8840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11691] ppid=11685 vsize=915464 CPUtime=0
/proc/11687/task/11691/stat : 11691 (java) S 11685 11687 11011 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176063691 937435136 8840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11692] ppid=11685 vsize=915464 CPUtime=0
/proc/11687/task/11692/stat : 11692 (java) S 11685 11687 11011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176063694 937435136 8840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11693] ppid=11685 vsize=915464 CPUtime=0.2
/proc/11687/task/11693/stat : 11693 (java) S 11685 11687 11011 0 -1 64 373 0 0 0 19 1 0 0 15 0 8 0 176063694 937435136 8840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11694] ppid=11685 vsize=915464 CPUtime=0
/proc/11687/task/11694/stat : 11694 (java) S 11685 11687 11011 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176063694 937435136 8840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11695] ppid=11685 vsize=915464 CPUtime=0
/proc/11687/task/11695/stat : 11695 (java) S 11685 11687 11011 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176063694 937435136 8840 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+2.9735 s]
/proc/loadavg: 2.00 2.05 2.03 3/83 11695
/proc/meminfo: memFree=1640832/2055920 swapFree=4191892/4192956
[pid=11687] ppid=11685 vsize=915464 CPUtime=2.94
/proc/11687/stat : 11687 (java) R 11685 11687 11011 0 -1 0 9110 0 1 0 287 7 0 0 25 0 8 0 176063686 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11687/statm: 228866 8847 2524 14 0 215336 0
[pid=11687/tid=11689] ppid=11685 vsize=915464 CPUtime=0.03
/proc/11687/task/11689/stat : 11689 (java) S 11685 11687 11011 0 -1 64 254 0 0 0 3 0 0 0 17 0 8 0 176063690 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11690] ppid=11685 vsize=915464 CPUtime=0
/proc/11687/task/11690/stat : 11690 (java) S 11685 11687 11011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176063691 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11691] ppid=11685 vsize=915464 CPUtime=0
/proc/11687/task/11691/stat : 11691 (java) S 11685 11687 11011 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176063691 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11692] ppid=11685 vsize=915464 CPUtime=0
/proc/11687/task/11692/stat : 11692 (java) S 11685 11687 11011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176063694 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11693] ppid=11685 vsize=915464 CPUtime=0.21
/proc/11687/task/11693/stat : 11693 (java) S 11685 11687 11011 0 -1 64 379 0 0 0 20 1 0 0 15 0 8 0 176063694 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11694] ppid=11685 vsize=915464 CPUtime=0
/proc/11687/task/11694/stat : 11694 (java) S 11685 11687 11011 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176063694 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11687/tid=11695] ppid=11685 vsize=915464 CPUtime=0
/proc/11687/task/11695/stat : 11695 (java) S 11685 11687 11011 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 176063694 937435136 8847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 3.02093
CPU time (s): 2.95655
CPU user time (s): 2.87956
CPU system time (s): 0.076988
CPU usage (%): 97.8688
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.87956
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9118
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= 1102
involuntary context switches= 1217
runsolver used 0.003999 s user time and 0.018997 s system time
The end
Begin job on node44 on Mon Jan 8 17:17:26 UTC 2007
IDJOB= 226824
IDBENCH= 6016
FILE ID= node44/226824-1168276646
PBS_JOBID= 3483287
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226824-1168276646/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-226824-1168276646 -o ROOT/results/node44/solver-226824-1168276646 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226824-1168276646/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4bfb322883d297fb1b0c9701c3ef2223
RANDOM SEED= 61313846
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.213
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.213
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: 1666904 kB
Buffers: 46320 kB
Cached: 222044 kB
SwapCached: 304 kB
Active: 189720 kB
Inactive: 143280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1666904 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 74796 kB
Slab: 41252 kB
Committed_AS: 3994052 kB
PageTables: 1836 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= 66543 MiB
End job on node44 on Mon Jan 8 17:17:29 UTC 2007