0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/213013-1168225181/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.107 cpuTime=0.09 mem=6M951
0.40
0.40 predicates being loaded...
0.40
0.40 constraints being loaded...
0.55 nbConstraints=260 nbConvertedConstraints=100 nbConvertConstraintsChecks=12 nbExtensionStructures=1
0.55 nbSharedExtensionStructures=99 nbConflictsStructures=2 nbSharedConflictsStructures=258
0.55 nbSharedBinaryRepresentations=2 nbEvaluationManagers=1 nbSharedEvaluationManagers=159 maxDegree=6 maxArity=3
0.55 => wckTime=0.261 cpuTime=0.21 mem=8M904
0.59
0.59 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.488 cpuTime=0.36 mem=16M493
0.83
0.83 preprocessing
0.83 nbConstraintChecks=894 nbValidityChecks=122 nbPropagations=736 nbRevisions=783 nbUselessRevisions=481
0.83 nbSingletonTests=254 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.83 => wckTime=0.051 cpuTime=0.03 mem=16M493
0.87
0.87 search
0.87 run=0 nbConstraintChecks=321 nbValidityChecks=85 nbPropagations=899 nbRevisions=1057 nbUselessRevisions=627
0.87 nbAssignments=106 nbFailedAssignments=2 nbBacktracks=13 nbVisitedNodes=111 nbRestartNogoods=0 mapSize=3
0.87 nbInferences=1 nbTooLargeKeys=0
0.87 => wckTime=0.09 cpuTime=0.05 mem=16M493
0.88
0.88 search
0.88 run=1 nbConstraintChecks=542 nbValidityChecks=197 nbPropagations=1944 nbRevisions=2346 nbUselessRevisions=1362
0.88 nbAssignments=178 nbFailedAssignments=4 nbBacktracks=28 nbVisitedNodes=188 nbRestartNogoods=1 mapSize=7
0.88 nbInferences=1 nbTooLargeKeys=0
0.88 => wckTime=0.102 cpuTime=0.06 mem=16M493
0.90
0.90 search
0.90 run=2 nbConstraintChecks=953 nbValidityChecks=434 nbPropagations=3210 nbRevisions=4027 nbUselessRevisions=2281
0.90 nbAssignments=240 nbFailedAssignments=15 nbBacktracks=53 nbVisitedNodes=271 nbRestartNogoods=2 mapSize=23
0.90 nbInferences=1 nbTooLargeKeys=0
0.90 => wckTime=0.114 cpuTime=0.07 mem=16M493
0.91
0.91 search
0.91 run=3 nbConstraintChecks=1322 nbValidityChecks=633 nbPropagations=4694 nbRevisions=6042
0.91 nbUselessRevisions=3334 nbAssignments=306 nbFailedAssignments=20 nbBacktracks=95 nbVisitedNodes=331
0.91 nbRestartNogoods=5 mapSize=31 nbInferences=1 nbTooLargeKeys=0
0.91 => wckTime=0.124 cpuTime=0.08 mem=16M493
0.93
0.93 search
0.93 run=4 nbConstraintChecks=3033 nbValidityChecks=1866 nbPropagations=7146 nbRevisions=9895
0.93 nbUselessRevisions=5251 nbAssignments=388 nbFailedAssignments=43 nbBacktracks=150 nbVisitedNodes=455
0.93 nbRestartNogoods=6 mapSize=71 nbInferences=1 nbTooLargeKeys=0
0.93 => wckTime=0.148 cpuTime=0.1 mem=16M493
0.95
0.95 search
0.95 run=5 nbConstraintChecks=4294 nbValidityChecks=2693 nbPropagations=10280 nbRevisions=15065
0.95 nbUselessRevisions=7809 nbAssignments=560 nbFailedAssignments=68 nbBacktracks=227 nbVisitedNodes=676
0.95 nbRestartNogoods=7 mapSize=110 nbInferences=2 nbTooLargeKeys=0
0.95 => wckTime=0.169 cpuTime=0.12 mem=16M493
0.97
0.97 search
0.97 run=6 nbConstraintChecks=7149 nbValidityChecks=4456 nbPropagations=15100 nbRevisions=23076
0.97 nbUselessRevisions=11530 nbAssignments=734 nbFailedAssignments=100 nbBacktracks=340 nbVisitedNodes=904
0.97 nbRestartNogoods=13 mapSize=177 nbInferences=2 nbTooLargeKeys=0
0.97 => wckTime=0.19 cpuTime=0.14 mem=16M493
1.00
1.00 search
1.00 run=7 nbConstraintChecks=10346 nbValidityChecks=6525 nbPropagations=21759 nbRevisions=34344
1.00 nbUselessRevisions=16746 nbAssignments=979 nbFailedAssignments=168 nbBacktracks=511 nbVisitedNodes=1277
1.00 nbRestartNogoods=17 mapSize=304 nbInferences=2 nbTooLargeKeys=0
1.00 => wckTime=0.218 cpuTime=0.16 mem=16M493
1.05
1.05 search
1.05 run=8 nbConstraintChecks=14859 nbValidityChecks=9257 nbPropagations=30987 nbRevisions=50077
1.05 nbUselessRevisions=23868 nbAssignments=1328 nbFailedAssignments=243 nbBacktracks=767 nbVisitedNodes=1772
1.05 nbRestartNogoods=18 mapSize=443 nbInferences=2 nbTooLargeKeys=0
1.05 => wckTime=0.266 cpuTime=0.21 mem=16M493
1.12
1.12 search
1.12 run=9 nbConstraintChecks=23576 nbValidityChecks=14635 nbPropagations=45210 nbRevisions=74371
1.12 nbUselessRevisions=34709 nbAssignments=1879 nbFailedAssignments=405 nbBacktracks=1151 nbVisitedNodes=2634
1.12 nbRestartNogoods=24 mapSize=750 nbInferences=2 nbTooLargeKeys=0
1.12 => wckTime=0.337 cpuTime=0.26 mem=16M493
1.19
1.19 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=16M493)
1.20
1.20 search
1.20 run=10 nbConstraintChecks=32650 nbValidityChecks=21015 nbPropagations=64585 nbRevisions=108299
1.20 nbUselessRevisions=50043 nbAssignments=2648 nbFailedAssignments=577 nbBacktracks=1733 nbVisitedNodes=3746
1.20 nbRestartNogoods=27
1.20 => wckTime=0.415 cpuTime=0.33 mem=16M493
1.27
1.27 search
1.27 run=11 nbConstraintChecks=50058 nbValidityChecks=32196 nbPropagations=94307 nbRevisions=159893
1.27 nbUselessRevisions=72826 nbAssignments=3764 nbFailedAssignments=805 nbBacktracks=2603 nbVisitedNodes=5275
1.27 nbRestartNogoods=30
1.27 => wckTime=0.491 cpuTime=0.4 mem=16M493
1.36
1.36 search
1.36 run=12 nbConstraintChecks=66159 nbValidityChecks=43144 nbPropagations=133275 nbRevisions=228802
1.36 nbUselessRevisions=103745 nbAssignments=5383 nbFailedAssignments=1096 nbBacktracks=3900 nbVisitedNodes=7488
1.36 nbRestartNogoods=36
1.36 => wckTime=0.578 cpuTime=0.49 mem=16M493
1.38
1.38 search
1.38 run=13 nbConstraintChecks=69556 nbValidityChecks=45453 nbPropagations=174087 nbRevisions=301541
1.38 nbUselessRevisions=136664 nbAssignments=5715 nbFailedAssignments=1129 nbBacktracks=3999 nbVisitedNodes=7889
1.38 nbRestartNogoods=43
1.38 => wckTime=0.596 cpuTime=0.5 mem=16M493
1.38
1.38 global
1.38 nbConstraintChecks=70450 nbValidityChecks=45575 nbPropagations=174823 nbRevisions=302324
1.38 nbUselessRevisions=137145 nbRestartNogoods=43 solvingWckTime=0.597 solvingCpuTime=0.5 expiredTime=no
1.38 totalExploration=no nbFoundSolutions=1 globalCpuTime=0.91
1.38 => wckTime=1.086 cpuTime=0.86 mem=16M493
1.38
1.38 s SATISFIABLE
1.38 v 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1
1.38 d NODES 5715
1.38 d CHECKS 70450
1.38
1.38 totalWckTime=1.161 totalCpuTime=0.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-213013-1168225181 -o ROOT/results/node38/solver-213013-1168225181 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213013-1168225181/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.12 0.16 0.52 3/68 14082
/proc/meminfo: memFree=1888920/2055920 swapFree=4192812/4192956
[pid=14081] ppid=14078 vsize=1784 CPUtime=0
/proc/14081/stat : 14081 (java) R 14078 14081 13838 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 170918422 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/14081/statm: 454 146 111 14 0 99 0
[startup+0.102879 s]
/proc/loadavg: 0.12 0.16 0.52 3/68 14082
/proc/meminfo: memFree=1888920/2055920 swapFree=4192812/4192956
[pid=14081] ppid=14078 vsize=914988 CPUtime=0.08
/proc/14081/stat : 14081 (java) R 14078 14081 13838 0 -1 0 3075 0 1 0 7 1 0 0 16 0 8 0 170918422 936947712 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14081/statm: 228747 2821 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510953 s]
/proc/loadavg: 0.12 0.16 0.52 3/68 14082
/proc/meminfo: memFree=1888920/2055920 swapFree=4192812/4192956
[pid=14081] ppid=14078 vsize=915460 CPUtime=0.49
/proc/14081/stat : 14081 (java) S 14078 14081 13838 0 -1 0 6601 0 1 0 43 6 0 0 16 0 8 0 170918422 937431040 6340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14081/statm: 228865 6340 2164 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.3331 s]
/proc/loadavg: 0.19 0.17 0.53 2/75 14089
/proc/meminfo: memFree=1863520/2055920 swapFree=4192812/4192956
[pid=14081] ppid=14078 vsize=915460 CPUtime=1.31
/proc/14081/stat : 14081 (java) R 14078 14081 13838 0 -1 0 9118 0 1 0 122 9 0 0 17 0 8 0 170918422 937431040 8856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14081/statm: 228865 8856 2543 14 0 215335 0
[pid=14081/tid=14083] ppid=14078 vsize=915460 CPUtime=0.02
/proc/14081/task/14083/stat : 14083 (java) S 14078 14081 13838 0 -1 64 168 0 0 0 2 0 0 0 16 0 8 0 170918425 937431040 8856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14081/tid=14084] ppid=14078 vsize=915460 CPUtime=0
/proc/14081/task/14084/stat : 14084 (java) S 14078 14081 13838 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 170918425 937431040 8856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14081/tid=14085] ppid=14078 vsize=915460 CPUtime=0
/proc/14081/task/14085/stat : 14085 (java) S 14078 14081 13838 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170918425 937431040 8856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14081/tid=14086] ppid=14078 vsize=915460 CPUtime=0
/proc/14081/task/14086/stat : 14086 (java) S 14078 14081 13838 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170918428 937431040 8856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14081/tid=14087] ppid=14078 vsize=915460 CPUtime=0.21
/proc/14081/task/14087/stat : 14087 (java) S 14078 14081 13838 0 -1 64 401 0 0 0 20 1 0 0 16 0 8 0 170918428 937431040 8856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14081/tid=14088] ppid=14078 vsize=915460 CPUtime=0
/proc/14081/task/14088/stat : 14088 (java) S 14078 14081 13838 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170918429 937431040 8856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14081/tid=14089] ppid=14078 vsize=915460 CPUtime=0
/proc/14081/task/14089/stat : 14089 (java) S 14078 14081 13838 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170918429 937431040 8856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1.43377
CPU time (s): 1.37479
CPU user time (s): 1.27581
CPU system time (s): 0.098984
CPU usage (%): 95.8864
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.27581
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9218
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= 868
involuntary context switches= 144
runsolver used 0.005999 s user time and 0.015997 s system time
The end
Begin job on node38 on Mon Jan 8 02:59:43 UTC 2007
IDJOB= 213013
IDBENCH= 4815
FILE ID= node38/213013-1168225181
PBS_JOBID= 3480990
Free space on /tmp= 66516 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-100-1-6-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213013-1168225181/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-213013-1168225181 -o ROOT/results/node38/solver-213013-1168225181 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213013-1168225181/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 22b798b577373ba00a33870bf23fd512
RANDOM SEED= 432568090
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: 1889464 kB
Buffers: 33532 kB
Cached: 58336 kB
SwapCached: 0 kB
Active: 59520 kB
Inactive: 52484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1889464 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1900 kB
Writeback: 0 kB
Mapped: 30356 kB
Slab: 40144 kB
Committed_AS: 3705592 kB
PageTables: 1692 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= 66516 MiB
End job on node38 on Mon Jan 8 02:59:53 UTC 2007