0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/216620-1168243618/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.51 nbVariables=916 nbDomainTypes=7 minDomainSize=6 maxDomainSize=35
0.51 => wckTime=0.195 cpuTime=0.14 mem=8M846
0.51
0.51 predicates being loaded...
0.51
0.52 constraints being loaded...
1.44 nbConstraints=5548 nbConvertedConstraints=5548 nbConvertConstraintsChecks=221064 nbExtensionStructures=287
1.44 nbSharedExtensionStructures=5261 nbConflictsStructures=287 nbSharedConflictsStructures=5261
1.44 nbSharedBinaryRepresentations=15248 maxDegree=61 maxArity=2
1.44 => wckTime=1.128 cpuTime=0.95 mem=37M160
1.53
1.53 solver IterativeSystematicSolver being built...
1.75 => wckTime=1.433 cpuTime=1.13 mem=22M456
2.07
2.07 preprocessing
2.07 nbConstraintChecks=245733 nbPropagations=6007 nbRevisions=17345 nbUselessRevisions=10363 nbSingletonTests=928
2.07 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=7604 detectedInconsistency=no
2.07 => wckTime=0.319 cpuTime=0.28 mem=22M456
2.13
2.13 search
2.13 run=0 nbConstraintChecks=18646 nbPropagations=6283 nbRevisions=18758 nbUselessRevisions=11102 nbAssignments=25
2.13 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=31 nbRestartNogoods=0 mapSize=3 nbInferences=0
2.13 nbTooLargeKeys=0
2.13 => wckTime=0.376 cpuTime=0.33 mem=22M456
2.16
2.16 search
2.16 run=1 nbConstraintChecks=45658 nbPropagations=12960 nbRevisions=39801 nbUselessRevisions=23424
2.16 nbAssignments=63 nbFailedAssignments=9 nbBacktracks=32 nbVisitedNodes=79 nbRestartNogoods=1 mapSize=10
2.16 nbInferences=0 nbTooLargeKeys=0
2.16 => wckTime=0.403 cpuTime=0.35 mem=23M430
2.18
2.18 search
2.18 run=2 nbConstraintChecks=80821 nbPropagations=20118 nbRevisions=63638 nbUselessRevisions=37096
2.18 nbAssignments=114 nbFailedAssignments=24 nbBacktracks=58 nbVisitedNodes=152 nbRestartNogoods=2 mapSize=20
2.18 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=0.432 cpuTime=0.38 mem=23M430
2.22
2.22 search
2.22 run=3 nbConstraintChecks=116850 nbPropagations=27848 nbRevisions=90302 nbUselessRevisions=52167
2.22 nbAssignments=176 nbFailedAssignments=36 nbBacktracks=96 nbVisitedNodes=232 nbRestartNogoods=4 mapSize=30
2.22 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=0.465 cpuTime=0.42 mem=23M430
2.28
2.28 search
2.28 run=4 nbConstraintChecks=179389 nbPropagations=36490 nbRevisions=122060 nbUselessRevisions=69722
2.28 nbAssignments=258 nbFailedAssignments=60 nbBacktracks=146 nbVisitedNodes=350 nbRestartNogoods=5 mapSize=49
2.28 nbInferences=0 nbTooLargeKeys=0
2.28 => wckTime=0.521 cpuTime=0.46 mem=24M403
2.35
2.35 search
2.35 run=5 nbConstraintChecks=351433 nbPropagations=46592 nbRevisions=166637 nbUselessRevisions=93551
2.35 nbAssignments=401 nbFailedAssignments=121 nbBacktracks=222 nbVisitedNodes=588 nbRestartNogoods=7 mapSize=87
2.35 nbInferences=0 nbTooLargeKeys=0
2.35 => wckTime=0.596 cpuTime=0.54 mem=24M403
2.47
2.47 search
2.47 run=6 nbConstraintChecks=603898 nbPropagations=59113 nbRevisions=230309 nbUselessRevisions=125722
2.47 nbAssignments=626 nbFailedAssignments=225 nbBacktracks=337 nbVisitedNodes=967 nbRestartNogoods=19 mapSize=146
2.47 nbInferences=0 nbTooLargeKeys=0
2.47 => wckTime=0.716 cpuTime=0.66 mem=25M377
2.54
2.54 search
2.54 run=7 nbConstraintChecks=768557 nbPropagations=72968 nbRevisions=306423 nbUselessRevisions=164241
2.54 nbAssignments=761 nbFailedAssignments=280 nbBacktracks=418 nbVisitedNodes=1192 nbRestartNogoods=23 mapSize=188
2.54 nbInferences=0 nbTooLargeKeys=0
2.54 => wckTime=0.788 cpuTime=0.73 mem=25M377
2.54
2.54 global
2.54 nbConstraintChecks=1014290 nbPropagations=78975 nbRevisions=323768 nbUselessRevisions=174604
2.54 nbRestartNogoods=23 solvingWckTime=0.789 solvingCpuTime=0.73 expiredTime=no totalExploration=yes
2.54 nbFoundSolutions=0 globalCpuTime=1.92
2.54 => wckTime=2.226 cpuTime=1.86 mem=25M377
2.54
2.54 s UNSATISFIABLE
2.54 d NODES 761
2.54 d CHECKS 1014290
2.54
2.54 totalWckTime=2.306 totalCpuTime=1.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-216620-1168243618 -o ROOT/results/node14/solver-216620-1168243618 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216620-1168243618/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.99 2.01 2.00 4/86 18102
/proc/meminfo: memFree=1830992/2055920 swapFree=4182236/4192956
[pid=18101] ppid=18099 vsize=906644 CPUtime=0.02
/proc/18101/stat : 18101 (java) S 18099 18101 17960 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 172756701 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 226661 1818 1036 14 0 214244 0
[pid=18101/tid=18103] ppid=18099 vsize=906644 CPUtime=0
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17960 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 172756704 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104742 s]
/proc/loadavg: 1.99 2.01 2.00 4/86 18102
/proc/meminfo: memFree=1830992/2055920 swapFree=4182236/4192956
[pid=18101] ppid=18099 vsize=914988 CPUtime=0.08
/proc/18101/stat : 18101 (java) R 18099 18101 17960 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 172756701 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 228747 2726 1423 14 0 215242 0
[pid=18101/tid=18103] ppid=18099 vsize=914988 CPUtime=0
/proc/18101/task/18103/stat : 18103 (java) S 18099 18101 17960 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 172756704 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516778 s]
/proc/loadavg: 1.99 2.01 2.00 4/86 18102
/proc/meminfo: memFree=1830992/2055920 swapFree=4182236/4192956
[pid=18101] ppid=18099 vsize=915328 CPUtime=0.5
/proc/18101/stat : 18101 (java) R 18099 18101 17960 0 -1 0 6573 0 1 0 46 4 0 0 17 0 8 0 172756701 937295872 6312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 228832 6312 2140 14 0 215302 0
[pid=18101/tid=18103] ppid=18099 vsize=915328 CPUtime=0
/proc/18101/task/18103/stat : 18103 (java) S 18099 18101 17960 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 172756704 937295872 6312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34586 s]
/proc/loadavg: 1.99 2.01 2.00 3/93 18109
/proc/meminfo: memFree=1790680/2055920 swapFree=4182236/4192956
[pid=18101] ppid=18099 vsize=915632 CPUtime=1.31
/proc/18101/stat : 18101 (java) R 18099 18101 17960 0 -1 0 13324 0 1 0 106 25 0 0 22 0 8 0 172756701 937607168 13062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 228908 13062 2170 14 0 215378 0
[pid=18101/tid=18103] ppid=18099 vsize=915632 CPUtime=0
/proc/18101/task/18103/stat : 18103 (java) S 18099 18101 17960 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 172756704 937607168 13062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18101/tid=18104] ppid=18099 vsize=915632 CPUtime=0
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17960 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 172756705 937607168 13062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=915632 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17960 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 172756705 937607168 13062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=915632 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172756709 937607168 13062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=915632 CPUtime=0.18
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17960 0 -1 64 436 0 0 0 18 0 0 0 16 0 8 0 172756709 937607168 13062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=915632 CPUtime=0
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172756709 937607168 13062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18101/tid=18109] ppid=18099 vsize=915632 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17960 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172756709 937607168 13062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 2.61273
CPU time (s): 2.52461
CPU user time (s): 2.20067
CPU system time (s): 0.32395
CPU usage (%): 96.6275
Max. virtual memory (cumulated for all children) (KiB): 915724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.20066
system time used= 0.32395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15424
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1246
involuntary context switches= 1422
runsolver used 0.003999 s user time and 0.017997 s system time
The end
Begin job on node14 on Mon Jan 8 08:06:58 UTC 2007
IDJOB= 216620
IDBENCH= 5091
FILE ID= node14/216620-1168243618
PBS_JOBID= 3481574
Free space on /tmp= 66341 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScensMod/scen1-f9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216620-1168243618/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-216620-1168243618 -o ROOT/results/node14/solver-216620-1168243618 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216620-1168243618/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3cc6acaa1f73e7c39add36f444a58577
RANDOM SEED= 356219790
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.227
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.227
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: 1831408 kB
Buffers: 37708 kB
Cached: 79288 kB
SwapCached: 4180 kB
Active: 101172 kB
Inactive: 73212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1831408 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 2700 kB
Writeback: 0 kB
Mapped: 69752 kB
Slab: 35136 kB
Committed_AS: 5574300 kB
PageTables: 2140 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= 66341 MiB
End job on node14 on Mon Jan 8 08:07:00 UTC 2007