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/216636-1168243675/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.46 nbVariables=400 nbDomainTypes=4 minDomainSize=6 maxDomainSize=34
0.46 => wckTime=0.142 cpuTime=0.12 mem=7M861
0.46
0.46 predicates being loaded...
0.47
0.47 constraints being loaded...
1.08 nbConstraints=2760 nbConvertedConstraints=2760 nbConvertConstraintsChecks=131230 nbExtensionStructures=153
1.08 nbSharedExtensionStructures=2607 nbConflictsStructures=153 nbSharedConflictsStructures=2607
1.08 nbSharedBinaryRepresentations=8556 maxDegree=61 maxArity=2
1.08 => wckTime=0.754 cpuTime=0.6 mem=22M489
1.14
1.14 solver IterativeSystematicSolver being built...
1.33 => wckTime=1.013 cpuTime=0.75 mem=18M146
1.47
1.47 preprocessing
1.47 nbConstraintChecks=144738 nbPropagations=3256 nbRevisions=11309 nbUselessRevisions=7017 nbSingletonTests=419
1.47 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=3718 detectedInconsistency=no
1.47 => wckTime=0.134 cpuTime=0.11 mem=18M146
1.52
1.52 search
1.52 run=0 nbConstraintChecks=33284 nbPropagations=3812 nbRevisions=14520 nbUselessRevisions=8805 nbAssignments=45
1.52 nbFailedAssignments=19 nbBacktracks=12 nbVisitedNodes=70 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.52 nbTooLargeKeys=0
1.52 => wckTime=0.179 cpuTime=0.15 mem=18M146
1.53
1.53 search
1.53 run=1 nbConstraintChecks=77161 nbPropagations=8356 nbRevisions=33502 nbUselessRevisions=20362 nbAssignments=94
1.54 nbFailedAssignments=37 nbBacktracks=28 nbVisitedNodes=147 nbRestartNogoods=2 mapSize=13 nbInferences=3
1.54 nbTooLargeKeys=0
1.54 => wckTime=0.198 cpuTime=0.16 mem=18M146
1.57
1.57 search
1.57 run=2 nbConstraintChecks=160083 nbPropagations=14423 nbRevisions=60723 nbUselessRevisions=37082
1.57 nbAssignments=184 nbFailedAssignments=59 nbBacktracks=50 nbVisitedNodes=237 nbRestartNogoods=8 mapSize=24
1.57 nbInferences=3 nbTooLargeKeys=0
1.57 => wckTime=0.231 cpuTime=0.2 mem=18M146
1.60
1.60 search
1.60 run=3 nbConstraintChecks=236346 nbPropagations=21539 nbRevisions=95236 nbUselessRevisions=57274
1.60 nbAssignments=278 nbFailedAssignments=115 nbBacktracks=86 nbVisitedNodes=405 nbRestartNogoods=10 mapSize=43
1.60 nbInferences=3 nbTooLargeKeys=0
1.60 => wckTime=0.26 cpuTime=0.22 mem=18M146
1.68
1.68 search
1.68 run=4 nbConstraintChecks=355550 nbPropagations=30745 nbRevisions=140515 nbUselessRevisions=84149
1.68 nbAssignments=729 nbFailedAssignments=150 nbBacktracks=102 nbVisitedNodes=899 nbRestartNogoods=15 mapSize=51
1.68 nbInferences=3 nbTooLargeKeys=0
1.68 => wckTime=0.34 cpuTime=0.29 mem=19M121
1.68
1.68 global
1.68 nbConstraintChecks=500288 nbPropagations=34001 nbRevisions=151824 nbUselessRevisions=91166 nbRestartNogoods=15
1.68 solvingWckTime=0.344 solvingCpuTime=0.29 expiredTime=no totalExploration=no nbFoundSolutions=1
1.68 globalCpuTime=1.09
1.68 => wckTime=1.358 cpuTime=1.04 mem=19M121
1.68
1.68 s SATISFIABLE
1.68 v 16 254 16 254 142 380 156 394 652 414 254 16 254 16 414 652 156 394 652 414 16 254 414 652 652 414 16 254 114 352 652 414 414 652 254 16 156 394 30 268 282 44 366 128 652 414 268 30 394 156 156 394 16 254 652 414 16 254 254 16 30 268 414 652 114 352 414 652 142 380 352 114 30 268 268 30 16 254 254 16 414 652 16 254 652 414 652 414 254 16 254 16 652 414 16 254 142 380 142 380 652 414 254 16 156 394 170 408 394 156 142 380 282 44 254 16 652 414 254 16 156 394 652 414 652 414 16 254 16 254 394 156 296 58 254 16 156 394 254 16 254 16 44 282 114 352 142 380 142 380 366 128 142 380 44 282 30 268 142 380 296 58 30 268 282 44 652 414 142 380 366 128 44 282 30 268 652 414 142 380 296 58 30 268 58 296 268 30 652 414 128 366 30 268 142 380 30 268 128 366 254 16 30 268 30 268 380 142 156 394 254 16 652 414 44 282 30 268 142 380 114 352 30 268 268 30 142 380 44 282 652 414 652 414 652 414 58 296 156 394 254 16 652 414 268 30 44 282 30 268 128 366 142 380 44 282 30 268 30 268 142 380 142 380 30 268 380 142 380 142 128 366 380 142 30 268 30 268 142 380 282 44 366 128 652 414 30 268 268 30 380 142 156 394 156 394 30 268 414 652 652 414 394 156 156 394 156 394 652 414 296 58 352 114 254 16 30 268 30 268 366 128 366 128 142 380 414 652 268 30 282 44 44 282 30 268 142 380 142 380 156 394 652 414 380 142 156 394 254 16 282 44 16 254 366 128 268 30 142 380 30 268 142 380 30 268 380 142 44 282 142 380 268 30 72 310 652 414 100 338 142 380 30 268 30 268 128 366 142 380 268 30 128 366 44 282 652 414 366 128
1.68 d NODES 729
1.68 d CHECKS 500288
1.68
1.68 totalWckTime=1.438 totalCpuTime=1.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-216636-1168243675 -o ROOT/results/node14/solver-216636-1168243675 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216636-1168243675/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.23 2.07 2.02 2/86 18282
/proc/meminfo: memFree=1830608/2055920 swapFree=4182236/4192956
[pid=18281] ppid=18279 vsize=18540 CPUtime=0
/proc/18281/stat : 18281 (runsolver) R 18279 18281 17960 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 172762683 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18281/statm: 4635 279 244 17 0 2626 0
[startup+0.103285 s]
/proc/loadavg: 2.23 2.07 2.02 2/86 18282
/proc/meminfo: memFree=1830608/2055920 swapFree=4182236/4192956
[pid=18281] ppid=18279 vsize=914988 CPUtime=0.08
/proc/18281/stat : 18281 (java) R 18279 18281 17960 0 -1 0 2960 0 1 0 6 2 0 0 17 0 8 0 172762683 936947712 2706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155177366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18281/statm: 228747 2706 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514324 s]
/proc/loadavg: 2.23 2.07 2.02 2/86 18282
/proc/meminfo: memFree=1830608/2055920 swapFree=4182236/4192956
[pid=18281] ppid=18279 vsize=915328 CPUtime=0.49
/proc/18281/stat : 18281 (java) S 18279 18281 17960 0 -1 0 6398 0 1 0 45 4 0 0 18 0 8 0 172762683 937295872 6137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18281/statm: 228832 6137 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3434 s]
/proc/loadavg: 2.23 2.07 2.02 4/93 18289
/proc/meminfo: memFree=1797592/2055920 swapFree=4182236/4192956
[pid=18281] ppid=18279 vsize=915760 CPUtime=1.31
/proc/18281/stat : 18281 (java) R 18279 18281 17960 0 -1 0 11100 0 1 0 112 19 0 0 20 0 8 0 172762683 937738240 10837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18281/statm: 228940 10837 2538 14 0 215410 0
[pid=18281/tid=18283] ppid=18279 vsize=915760 CPUtime=0.04
/proc/18281/task/18283/stat : 18283 (java) S 18279 18281 17960 0 -1 64 591 0 0 0 4 0 0 0 16 0 8 0 172762687 937738240 10837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18281/tid=18284] ppid=18279 vsize=915760 CPUtime=0
/proc/18281/task/18284/stat : 18284 (java) S 18279 18281 17960 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 172762688 937738240 10837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18281/tid=18285] ppid=18279 vsize=915760 CPUtime=0
/proc/18281/task/18285/stat : 18285 (java) S 18279 18281 17960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172762688 937738240 10837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18281/tid=18286] ppid=18279 vsize=915760 CPUtime=0
/proc/18281/task/18286/stat : 18286 (java) S 18279 18281 17960 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172762691 937738240 10837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18281/tid=18287] ppid=18279 vsize=915760 CPUtime=0.24
/proc/18281/task/18287/stat : 18287 (java) R 18279 18281 17960 0 -1 64 460 0 0 0 23 1 0 0 16 0 8 0 172762691 937738240 10837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153326708 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18281/tid=18288] ppid=18279 vsize=915760 CPUtime=0
/proc/18281/task/18288/stat : 18288 (java) S 18279 18281 17960 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172762691 937738240 10837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18281/tid=18289] ppid=18279 vsize=915760 CPUtime=0
/proc/18281/task/18289/stat : 18289 (java) S 18279 18281 17960 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172762691 937738240 10837 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) 915760
Child status: 0
Real time (s): 1.70954
CPU time (s): 1.66375
CPU user time (s): 1.45678
CPU system time (s): 0.206968
CPU usage (%): 97.321
Max. virtual memory (cumulated for all children) (KiB): 915760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.45678
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11139
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= 1130
involuntary context switches= 1269
runsolver used 0.006998 s user time and 0.008998 s system time
The end
Begin job on node14 on Mon Jan 8 08:07:56 UTC 2007
IDJOB= 216636
IDBENCH= 5092
FILE ID= node14/216636-1168243675
PBS_JOBID= 3481574
Free space on /tmp= 66341 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScensMod/scen3-f10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216636-1168243675/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-216636-1168243675 -o ROOT/results/node14/solver-216636-1168243675 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216636-1168243675/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3422f7119b184255eb78090900f99fab
RANDOM SEED= 281768
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: 1831088 kB
Buffers: 37888 kB
Cached: 79312 kB
SwapCached: 4180 kB
Active: 103748 kB
Inactive: 71008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1831088 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 2136 kB
Writeback: 0 kB
Mapped: 69836 kB
Slab: 35080 kB
Committed_AS: 5581208 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:59 UTC 2007