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/224657-1168269421/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.42 => wckTime=0.103 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.60
0.60 constraints being loaded...
0.69 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.69 => wckTime=0.376 cpuTime=0.31 mem=21M601
0.74
0.74 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.583 cpuTime=0.45 mem=15M362
0.96
0.96 preprocessing
0.96 nbConstraintChecks=195083 nbPropagations=1037 nbRevisions=3701 nbUselessRevisions=2109 nbSingletonTests=54
0.96 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=0 detectedInconsistency=no
0.96 => wckTime=0.057 cpuTime=0.04 mem=15M362
1.00
1.00 search
1.00 run=0 nbConstraintChecks=201860 nbPropagations=2340 nbRevisions=10221 nbUselessRevisions=5630 nbAssignments=42
1.00 nbFailedAssignments=30 nbBacktracks=10 nbVisitedNodes=83 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.097 cpuTime=0.07 mem=15M362
1.03
1.03 search
1.03 run=1 nbConstraintChecks=519093 nbPropagations=6397 nbRevisions=28605 nbUselessRevisions=15554
1.03 nbAssignments=101 nbFailedAssignments=71 nbBacktracks=25 nbVisitedNodes=197 nbRestartNogoods=2 mapSize=25
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.128 cpuTime=0.1 mem=15M362
1.06
1.06 search
1.06 run=2 nbConstraintChecks=715936 nbPropagations=11711 nbRevisions=52425 nbUselessRevisions=28263
1.06 nbAssignments=150 nbFailedAssignments=92 nbBacktracks=47 nbVisitedNodes=275 nbRestartNogoods=11 mapSize=40
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.153 cpuTime=0.12 mem=15M362
1.08
1.08 search
1.08 run=3 nbConstraintChecks=956710 nbPropagations=18770 nbRevisions=83970 nbUselessRevisions=44870
1.08 nbAssignments=212 nbFailedAssignments=120 nbBacktracks=80 nbVisitedNodes=382 nbRestartNogoods=17 mapSize=62
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.177 cpuTime=0.14 mem=15M362
1.15
1.15 search
1.15 run=4 nbConstraintChecks=1610081 nbPropagations=30383 nbRevisions=136679 nbUselessRevisions=72583
1.15 nbAssignments=371 nbFailedAssignments=223 nbBacktracks=130 nbVisitedNodes=680 nbRestartNogoods=27 mapSize=105
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.243 cpuTime=0.19 mem=15M362
1.23
1.23 search
1.23 run=5 nbConstraintChecks=2584919 nbPropagations=47798 nbRevisions=215888 nbUselessRevisions=114228
1.23 nbAssignments=578 nbFailedAssignments=341 nbBacktracks=208 nbVisitedNodes=1046 nbRestartNogoods=32 mapSize=164
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.323 cpuTime=0.27 mem=15M362
1.31
1.31 search
1.31 run=6 nbConstraintChecks=3579857 nbPropagations=71962 nbRevisions=325454 nbUselessRevisions=171823
1.31 nbAssignments=814 nbFailedAssignments=463 nbBacktracks=321 nbVisitedNodes=1471 nbRestartNogoods=38 mapSize=249
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.409 cpuTime=0.36 mem=15M362
1.47
1.47 search
1.47 run=7 nbConstraintChecks=5449275 nbPropagations=107840 nbRevisions=488211 nbUselessRevisions=257094
1.47 nbAssignments=1203 nbFailedAssignments=679 nbBacktracks=491 nbVisitedNodes=2185 nbRestartNogoods=40
1.47 mapSize=390 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.561 cpuTime=0.5 mem=15M362
1.69
1.69 search
1.69 run=8 nbConstraintChecks=7998774 nbPropagations=160361 nbRevisions=730703 nbUselessRevisions=384047
1.69 nbAssignments=1765 nbFailedAssignments=983 nbBacktracks=748 nbVisitedNodes=3223 nbRestartNogoods=46
1.69 mapSize=609 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.78 cpuTime=0.71 mem=15M362
2.03
2.03 search
2.03 run=9 nbConstraintChecks=12303307 nbPropagations=241919 nbRevisions=1116515 nbUselessRevisions=586329
2.03 nbAssignments=2722 nbFailedAssignments=1555 nbBacktracks=1132 nbVisitedNodes=5042 nbRestartNogoods=49
2.03 mapSize=967 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=1.123 cpuTime=1.04 mem=16M337
2.09
2.09 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=16M337)
2.50
2.50 search
2.50 run=10 nbConstraintChecks=18442410 nbPropagations=361489 nbRevisions=1679571 nbUselessRevisions=881006
2.50 nbAssignments=4008 nbFailedAssignments=2261 nbBacktracks=1710 nbVisitedNodes=7406 nbRestartNogoods=55
2.50 => wckTime=1.592 cpuTime=1.5 mem=16M337
3.15
3.15 search
3.15 run=11 nbConstraintChecks=27288347 nbPropagations=535321 nbRevisions=2500466 nbUselessRevisions=1311975
3.15 nbAssignments=5889 nbFailedAssignments=3273 nbBacktracks=2574 nbVisitedNodes=10838 nbRestartNogoods=62
3.15 => wckTime=2.241 cpuTime=2.15 mem=16M337
3.20
3.20 search
3.20 run=12 nbConstraintChecks=28090762 nbPropagations=713674 nbRevisions=3343356 nbUselessRevisions=1754783
3.20 nbAssignments=6045 nbFailedAssignments=3354 nbBacktracks=2647 nbVisitedNodes=11120 nbRestartNogoods=73
3.20 => wckTime=2.297 cpuTime=2.2 mem=16M337
3.20
3.20 global
3.20 nbConstraintChecks=28285845 nbPropagations=714711 nbRevisions=3347057 nbUselessRevisions=1756892
3.20 nbRestartNogoods=73 solvingWckTime=2.298 solvingCpuTime=2.2 expiredTime=no totalExploration=yes
3.21 nbFoundSolutions=0 globalCpuTime=2.71
3.21 => wckTime=2.886 cpuTime=2.65 mem=16M337
3.21
3.21 s UNSATISFIABLE
3.21 d NODES 6045
3.21 d CHECKS 28285845
3.21
3.21 totalWckTime=2.966 totalCpuTime=2.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-224657-1168269421 -o ROOT/results/node16/solver-224657-1168269421 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224657-1168269421/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.90 1.91 1.90 4/88 31354
/proc/meminfo: memFree=1653400/2055920 swapFree=4191880/4192956
[pid=31353] ppid=31351 vsize=1784 CPUtime=0
/proc/31353/stat : 31353 (java) R 31351 31353 30448 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 175336938 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/31353/statm: 446 140 106 14 0 91 0
[startup+0.106024 s]
/proc/loadavg: 1.90 1.91 1.90 4/88 31354
/proc/meminfo: memFree=1653400/2055920 swapFree=4191880/4192956
[pid=31353] ppid=31351 vsize=914988 CPUtime=0.08
/proc/31353/stat : 31353 (java) R 31351 31353 30448 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 175336938 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31353/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513946 s]
/proc/loadavg: 1.90 1.91 1.90 4/88 31354
/proc/meminfo: memFree=1653400/2055920 swapFree=4191880/4192956
[pid=31353] ppid=31351 vsize=915328 CPUtime=0.49
/proc/31353/stat : 31353 (java) R 31351 31353 30448 0 -1 0 7290 0 1 0 45 4 0 0 18 0 8 0 175336938 937295872 7029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769781 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31353/statm: 228832 7029 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33879 s]
/proc/loadavg: 1.90 1.91 1.90 3/95 31361
/proc/meminfo: memFree=1621920/2055920 swapFree=4191880/4192956
[pid=31353] ppid=31351 vsize=915464 CPUtime=1.3
/proc/31353/stat : 31353 (java) R 31351 31353 30448 0 -1 0 10540 0 1 0 124 6 0 0 25 0 8 0 175336938 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31353/statm: 228866 10278 2524 14 0 215336 0
[pid=31353/tid=31355] ppid=31351 vsize=915464 CPUtime=0.03
/proc/31353/task/31355/stat : 31355 (java) S 31351 31353 30448 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 175336942 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31356] ppid=31351 vsize=915464 CPUtime=0
/proc/31353/task/31356/stat : 31356 (java) S 31351 31353 30448 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175336942 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31357] ppid=31351 vsize=915464 CPUtime=0
/proc/31353/task/31357/stat : 31357 (java) S 31351 31353 30448 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175336942 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31358] ppid=31351 vsize=915464 CPUtime=0
/proc/31353/task/31358/stat : 31358 (java) S 31351 31353 30448 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175336945 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31359] ppid=31351 vsize=915464 CPUtime=0.17
/proc/31353/task/31359/stat : 31359 (java) S 31351 31353 30448 0 -1 64 361 0 0 0 17 0 0 0 15 0 8 0 175336945 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31360] ppid=31351 vsize=915464 CPUtime=0
/proc/31353/task/31360/stat : 31360 (java) S 31351 31353 30448 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175336945 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31361] ppid=31351 vsize=915464 CPUtime=0
/proc/31353/task/31361/stat : 31361 (java) S 31351 31353 30448 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175336945 937435136 10278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.98649 s]
/proc/loadavg: 1.90 1.91 1.90 3/95 31361
/proc/meminfo: memFree=1621856/2055920 swapFree=4191880/4192956
[pid=31353] ppid=31351 vsize=915464 CPUtime=2.94
/proc/31353/stat : 31353 (java) R 31351 31353 30448 0 -1 0 10557 0 1 0 288 6 0 0 25 0 8 0 175336938 937435136 10294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740714 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31353/statm: 228866 10294 2524 14 0 215336 0
[pid=31353/tid=31355] ppid=31351 vsize=915464 CPUtime=0.03
/proc/31353/task/31355/stat : 31355 (java) S 31351 31353 30448 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 175336942 937435136 10294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31356] ppid=31351 vsize=915464 CPUtime=0
/proc/31353/task/31356/stat : 31356 (java) S 31351 31353 30448 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 175336942 937435136 10294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31357] ppid=31351 vsize=915464 CPUtime=0
/proc/31353/task/31357/stat : 31357 (java) S 31351 31353 30448 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175336942 937435136 10294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31358] ppid=31351 vsize=915464 CPUtime=0
/proc/31353/task/31358/stat : 31358 (java) S 31351 31353 30448 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175336945 937435136 10294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31359] ppid=31351 vsize=915464 CPUtime=0.21
/proc/31353/task/31359/stat : 31359 (java) S 31351 31353 30448 0 -1 64 377 0 0 0 20 1 0 0 15 0 8 0 175336945 937435136 10294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31360] ppid=31351 vsize=915464 CPUtime=0
/proc/31353/task/31360/stat : 31360 (java) S 31351 31353 30448 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175336945 937435136 10294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31353/tid=31361] ppid=31351 vsize=915464 CPUtime=0
/proc/31353/task/31361/stat : 31361 (java) S 31351 31353 30448 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175336945 937435136 10294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 3.27094
CPU time (s): 3.18951
CPU user time (s): 3.11253
CPU system time (s): 0.076988
CPU usage (%): 97.5106
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.11253
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= 10566
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= 1045
involuntary context switches= 1305
runsolver used 0.007998 s user time and 0.017997 s system time
The end
Begin job on node16 on Mon Jan 8 15:17:01 UTC 2007
IDJOB= 224657
IDBENCH= 5778
FILE ID= node16/224657-1168269421
PBS_JOBID= 3482941
Free space on /tmp= 66518 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-71_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224657-1168269421/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-224657-1168269421 -o ROOT/results/node16/solver-224657-1168269421 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224657-1168269421/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 765022ea2040aa1c68968658328a98b9
RANDOM SEED= 967112990
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: 1653880 kB
Buffers: 72676 kB
Cached: 220432 kB
SwapCached: 448 kB
Active: 195324 kB
Inactive: 153292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1653880 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2540 kB
Writeback: 0 kB
Mapped: 75400 kB
Slab: 38176 kB
Committed_AS: 4921176 kB
PageTables: 2392 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= 66518 MiB
End job on node16 on Mon Jan 8 15:17:04 UTC 2007