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/213650-1168226074/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=200 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.108 cpuTime=0.09 mem=6M951
0.41
0.41 predicates being loaded...
0.42
0.42 constraints being loaded...
0.75 nbConstraints=900 nbConvertedConstraints=157 nbConvertConstraintsChecks=4096 nbExtensionStructures=2
0.75 nbSharedExtensionStructures=155 nbConflictsStructures=11 nbSharedConflictsStructures=889
0.75 nbSharedBinaryRepresentations=5 nbEvaluationManagers=9 nbSharedEvaluationManagers=734 maxDegree=33 maxArity=11
0.75 => wckTime=0.456 cpuTime=0.34 mem=16M703
0.80
0.80 solver IterativeSystematicSolver being built...
1.01 => wckTime=0.717 cpuTime=0.51 mem=22M332
1.12
1.12 preprocessing
1.12 nbConstraintChecks=3567 nbValidityChecks=1021 nbPropagations=1266 nbRevisions=3534 nbUselessRevisions=2594
1.12 nbSingletonTests=219 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=0 detectedInconsistency=no
1.12 => wckTime=0.106 cpuTime=0.08 mem=23M307
1.17
1.17 search
1.17 run=0 nbConstraintChecks=919 nbValidityChecks=578 nbPropagations=1488 nbRevisions=4572 nbUselessRevisions=3392
1.17 nbAssignments=65 nbFailedAssignments=2 nbBacktracks=22 nbVisitedNodes=69 nbRestartNogoods=0 mapSize=1
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.149 cpuTime=0.11 mem=23M307
1.20
1.20 search
1.20 run=1 nbConstraintChecks=2185 nbValidityChecks=1617 nbPropagations=3410 nbRevisions=10825
1.20 nbUselessRevisions=8015 nbAssignments=194 nbFailedAssignments=5 nbBacktracks=37 nbVisitedNodes=138
1.20 nbRestartNogoods=2 mapSize=4 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.18 cpuTime=0.14 mem=23M307
1.21
1.21 search
1.21 run=2 nbConstraintChecks=2749 nbValidityChecks=1888 nbPropagations=5547 nbRevisions=17622
1.21 nbUselessRevisions=12977 nbAssignments=317 nbFailedAssignments=6 nbBacktracks=59 nbVisitedNodes=202
1.21 nbRestartNogoods=4 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.196 cpuTime=0.16 mem=23M307
1.23
1.23 search
1.23 run=3 nbConstraintChecks=3452 nbValidityChecks=2446 nbPropagations=7888 nbRevisions=25258
1.23 nbUselessRevisions=18561 nbAssignments=393 nbFailedAssignments=7 nbBacktracks=133 nbVisitedNodes=283
1.23 nbRestartNogoods=5 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.212 cpuTime=0.17 mem=23M307
1.26
1.26 search
1.26 run=4 nbConstraintChecks=5750 nbValidityChecks=4383 nbPropagations=10842 nbRevisions=35772
1.26 nbUselessRevisions=26337 nbAssignments=497 nbFailedAssignments=14 nbBacktracks=197 nbVisitedNodes=403
1.26 nbRestartNogoods=6 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.242 cpuTime=0.2 mem=23M307
1.30
1.30 search
1.30 run=5 nbConstraintChecks=9332 nbValidityChecks=7310 nbPropagations=14916 nbRevisions=50674
1.30 nbUselessRevisions=37233 nbAssignments=626 nbFailedAssignments=26 nbBacktracks=291 nbVisitedNodes=565
1.30 nbRestartNogoods=7 mapSize=56 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.288 cpuTime=0.25 mem=23M307
1.43
1.43 search
1.43 run=6 nbConstraintChecks=13234 nbValidityChecks=10737 nbPropagations=19688 nbRevisions=70998
1.43 nbUselessRevisions=52837 nbAssignments=876 nbFailedAssignments=31 nbBacktracks=336 nbVisitedNodes=825
1.43 nbRestartNogoods=8 mapSize=62 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.414 cpuTime=0.37 mem=23M307
1.43
1.43 global
1.43 nbConstraintChecks=16801 nbValidityChecks=11758 nbPropagations=20954 nbRevisions=74532 nbUselessRevisions=55431
1.43 nbRestartNogoods=8 solvingWckTime=0.415 solvingCpuTime=0.37 expiredTime=no totalExploration=no
1.43 nbFoundSolutions=1 globalCpuTime=0.94
1.43 => wckTime=1.133 cpuTime=0.88 mem=23M307
1.43
1.43 s SATISFIABLE
1.43 v 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 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 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0
1.43 d NODES 876
1.43 d CHECKS 16801
1.43
1.43 totalWckTime=1.208 totalCpuTime=0.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-213650-1168226074 -o ROOT/results/node10/solver-213650-1168226074 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213650-1168226074/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.03 0.40 1.03 3/81 29951
/proc/meminfo: memFree=1831248/2055920 swapFree=4178216/4192956
[pid=29950] ppid=29948 vsize=292 CPUtime=0
/proc/29950/stat : 29950 (java) R 29948 29950 29169 0 -1 0 49 0 0 0 0 0 0 0 20 0 1 0 171003928 299008 33 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 8859740 0 0 4096 0 0 0 0 17 1 0 0
/proc/29950/statm: 73 35 27 14 0 5 0
[startup+0.106123 s]
/proc/loadavg: 0.03 0.40 1.03 3/81 29951
/proc/meminfo: memFree=1831248/2055920 swapFree=4178216/4192956
[pid=29950] ppid=29948 vsize=914988 CPUtime=0.09
/proc/29950/stat : 29950 (java) R 29948 29950 29169 0 -1 0 3066 0 1 0 8 1 0 0 16 0 8 0 171003928 936947712 2812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153615851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29950/statm: 228747 2812 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518193 s]
/proc/loadavg: 0.03 0.40 1.03 3/81 29951
/proc/meminfo: memFree=1831248/2055920 swapFree=4178216/4192956
[pid=29950] ppid=29948 vsize=915328 CPUtime=0.49
/proc/29950/stat : 29950 (java) S 29948 29950 29169 0 -1 0 6749 0 1 0 45 4 0 0 16 0 8 0 171003928 937295872 6488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29950/statm: 228832 6488 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33929 s]
/proc/loadavg: 0.03 0.40 1.03 2/88 29958
/proc/meminfo: memFree=1799512/2055920 swapFree=4178216/4192956
[pid=29950] ppid=29948 vsize=915576 CPUtime=1.32
/proc/29950/stat : 29950 (java) R 29948 29950 29169 0 -1 0 10786 0 1 0 120 12 0 0 16 0 8 0 171003928 937549824 10524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29950/statm: 228894 10524 2543 14 0 215364 0
[pid=29950/tid=29952] ppid=29948 vsize=915576 CPUtime=0.03
/proc/29950/task/29952/stat : 29952 (java) S 29948 29950 29169 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 171003931 937549824 10524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29950/tid=29953] ppid=29948 vsize=915576 CPUtime=0
/proc/29950/task/29953/stat : 29953 (java) S 29948 29950 29169 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171003932 937549824 10524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29950/tid=29954] ppid=29948 vsize=915576 CPUtime=0
/proc/29950/task/29954/stat : 29954 (java) S 29948 29950 29169 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171003932 937549824 10524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29950/tid=29955] ppid=29948 vsize=915576 CPUtime=0
/proc/29950/task/29955/stat : 29955 (java) S 29948 29950 29169 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171003935 937549824 10524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29950/tid=29956] ppid=29948 vsize=915576 CPUtime=0.23
/proc/29950/task/29956/stat : 29956 (java) S 29948 29950 29169 0 -1 64 424 0 0 0 22 1 0 0 16 0 8 0 171003935 937549824 10524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29950/tid=29957] ppid=29948 vsize=915576 CPUtime=0
/proc/29950/task/29957/stat : 29957 (java) S 29948 29950 29169 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171003935 937549824 10524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29950/tid=29958] ppid=29948 vsize=915576 CPUtime=0
/proc/29950/task/29958/stat : 29958 (java) S 29948 29950 29169 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171003935 937549824 10524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915576
Child status: 0
Real time (s): 1.49164
CPU time (s): 1.43278
CPU user time (s): 1.3038
CPU system time (s): 0.12898
CPU usage (%): 96.0539
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3038
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10884
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= 866
involuntary context switches= 72
runsolver used 0.004999 s user time and 0.011998 s system time
The end
Begin job on node10 on Mon Jan 8 03:14:40 UTC 2007
IDJOB= 213650
IDBENCH= 4864
FILE ID= node10/213650-1168226074
PBS_JOBID= 3481084
Free space on /tmp= 66383 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/jnh/jnh-204.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213650-1168226074/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-213650-1168226074 -o ROOT/results/node10/solver-213650-1168226074 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213650-1168226074/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 62bfd92a7a83b75200cab43bacd65db8
RANDOM SEED= 310400533
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.232
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.232
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: 1831728 kB
Buffers: 34684 kB
Cached: 101812 kB
SwapCached: 2020 kB
Active: 98976 kB
Inactive: 71620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1831728 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 43744 kB
Slab: 38788 kB
Committed_AS: 4332800 kB
PageTables: 2064 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= 66383 MiB
End job on node10 on Mon Jan 8 03:14:57 UTC 2007