0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.35 instance
0.35 name=/tmp/evaluation/198901-1168071306/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.48 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=35
0.48 => wckTime=0.169 cpuTime=0.13 mem=7M861
0.48
0.48 predicates being loaded...
0.49
0.49 constraints being loaded...
1.25 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=150311 nbExtensionStructures=173
1.25 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930
1.25 nbSharedBinaryRepresentations=9733 maxDegree=62 maxArity=2
1.25 => wckTime=0.933 cpuTime=0.74 mem=29M350
1.32
1.32 solver IterativeSystematicSolver being built...
1.52 => wckTime=1.207 cpuTime=0.91 mem=20M135
1.59
1.59 preprocessing
1.59 nbConstraintChecks=20964 nbPropagations=1014 nbRevisions=668 nbUselessRevisions=0 nbRemovedValues=5660
1.59 detectedInconsistency=no
1.59 => wckTime=0.065 cpuTime=0.05 mem=20M135
1.67
1.67 search
1.67 run=0 nbConstraintChecks=30416 nbPropagations=1551 nbRevisions=3244 nbUselessRevisions=1489 nbAssignments=50
1.67 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=63 nbRestartNogoods=0 mapSize=4 nbInferences=0
1.67 nbTooLargeKeys=0
1.67 => wckTime=0.145 cpuTime=0.11 mem=20M135
1.70
1.70 search
1.70 run=1 nbConstraintChecks=66885 nbPropagations=3749 nbRevisions=9770 nbUselessRevisions=4884 nbAssignments=112
1.70 nbFailedAssignments=19 nbBacktracks=30 nbVisitedNodes=146 nbRestartNogoods=1 mapSize=11 nbInferences=3
1.70 nbTooLargeKeys=0
1.70 => wckTime=0.177 cpuTime=0.14 mem=20M135
1.73
1.73 search
1.73 run=2 nbConstraintChecks=107731 nbPropagations=6601 nbRevisions=20281 nbUselessRevisions=10458
1.73 nbAssignments=179 nbFailedAssignments=52 nbBacktracks=52 nbVisitedNodes=257 nbRestartNogoods=4 mapSize=22
1.73 nbInferences=3 nbTooLargeKeys=0
1.73 => wckTime=0.206 cpuTime=0.17 mem=21M109
1.79
1.79 search
1.79 run=3 nbConstraintChecks=222306 nbPropagations=10895 nbRevisions=42566 nbUselessRevisions=23435
1.79 nbAssignments=323 nbFailedAssignments=111 nbBacktracks=86 nbVisitedNodes=476 nbRestartNogoods=7 mapSize=39
1.79 nbInferences=3 nbTooLargeKeys=0
1.79 => wckTime=0.265 cpuTime=0.22 mem=21M109
1.87
1.87 search
1.87 run=4 nbConstraintChecks=422661 nbPropagations=17066 nbRevisions=79211 nbUselessRevisions=42681
1.87 nbAssignments=514 nbFailedAssignments=215 nbBacktracks=138 nbVisitedNodes=796 nbRestartNogoods=12 mapSize=65
1.87 nbInferences=4 nbTooLargeKeys=0
1.87 => wckTime=0.344 cpuTime=0.3 mem=21M109
1.97
1.97 search
1.97 run=5 nbConstraintChecks=708328 nbPropagations=25481 nbRevisions=137382 nbUselessRevisions=71462
1.97 nbAssignments=754 nbFailedAssignments=376 nbBacktracks=214 nbVisitedNodes=1233 nbRestartNogoods=21 mapSize=103
1.97 nbInferences=7 nbTooLargeKeys=0
1.97 => wckTime=0.443 cpuTime=0.4 mem=22M82
2.01
2.01 search
2.01 run=6 nbConstraintChecks=820523 nbPropagations=34871 nbRevisions=204388 nbUselessRevisions=105033
2.01 nbAssignments=841 nbFailedAssignments=423 nbBacktracks=251 nbVisitedNodes=1387 nbRestartNogoods=21 mapSize=121
2.01 nbInferences=11 nbTooLargeKeys=0
2.01 => wckTime=0.488 cpuTime=0.44 mem=22M82
2.01
2.01 global
2.01 nbConstraintChecks=841487 nbPropagations=35885 nbRevisions=205056 nbUselessRevisions=105033 nbRestartNogoods=21
2.01 solvingWckTime=0.489 solvingCpuTime=0.44 expiredTime=no totalExploration=yes nbFoundSolutions=0
2.01 globalCpuTime=1.41
2.01 => wckTime=1.699 cpuTime=1.35 mem=22M82
2.02
2.02 s UNSATISFIABLE
2.02 d NODES 841
2.02 d CHECKS 841487
2.02
2.02 totalWckTime=1.781 totalCpuTime=1.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-198901-1168071306 -o ROOT/results/node5/solver-198901-1168071306 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198901-1168071306/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.43 1.78 1.85 4/93 5265
/proc/meminfo: memFree=1305976/2055920 swapFree=4192812/4192956
[pid=5264] ppid=5262 vsize=18540 CPUtime=0
/proc/5264/stat : 5264 (runsolver) R 5262 5264 5197 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 135745431 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5264/statm: 4635 279 244 17 0 2626 0
[startup+0.109739 s]
/proc/loadavg: 1.43 1.78 1.85 4/93 5265
/proc/meminfo: memFree=1305976/2055920 swapFree=4192812/4192956
[pid=5264] ppid=5262 vsize=914988 CPUtime=0.09
/proc/5264/stat : 5264 (java) R 5262 5264 5197 0 -1 0 3046 0 1 0 8 1 0 0 17 0 8 0 135745431 936947712 2792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5264/statm: 228747 2792 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.521785 s]
/proc/loadavg: 1.43 1.78 1.85 4/93 5265
/proc/meminfo: memFree=1305976/2055920 swapFree=4192812/4192956
[pid=5264] ppid=5262 vsize=915328 CPUtime=0.49
/proc/5264/stat : 5264 (java) S 5262 5264 5197 0 -1 0 6473 0 1 0 45 4 0 0 18 0 8 0 135745431 937295872 6212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5264/statm: 228832 6212 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34588 s]
/proc/loadavg: 1.48 1.78 1.85 4/100 5272
/proc/meminfo: memFree=1270144/2055920 swapFree=4192812/4192956
[pid=5264] ppid=5262 vsize=915720 CPUtime=1.31
/proc/5264/stat : 5264 (java) R 5262 5264 5197 0 -1 0 12916 0 1 0 107 24 0 0 20 0 8 0 135745431 937697280 12653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5264/statm: 228930 12653 2391 14 0 215400 0
[pid=5264/tid=5266] ppid=5262 vsize=915720 CPUtime=0.06
/proc/5264/task/5266/stat : 5266 (java) S 5262 5264 5197 0 -1 64 854 0 0 0 6 0 0 0 16 0 8 0 135745434 937697280 12653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5264/tid=5267] ppid=5262 vsize=915720 CPUtime=0
/proc/5264/task/5267/stat : 5267 (java) S 5262 5264 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135745435 937697280 12653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5264/tid=5268] ppid=5262 vsize=915720 CPUtime=0
/proc/5264/task/5268/stat : 5268 (java) S 5262 5264 5197 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 135745435 937697280 12653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5264/tid=5269] ppid=5262 vsize=915720 CPUtime=0
/proc/5264/task/5269/stat : 5269 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135745438 937697280 12653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5264/tid=5270] ppid=5262 vsize=915720 CPUtime=0.22
/proc/5264/task/5270/stat : 5270 (java) S 5262 5264 5197 0 -1 64 436 0 0 0 21 1 0 0 16 0 8 0 135745438 937697280 12653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5264/tid=5271] ppid=5262 vsize=915720 CPUtime=0
/proc/5264/task/5271/stat : 5271 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 135745438 937697280 12653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5264/tid=5272] ppid=5262 vsize=915720 CPUtime=0
/proc/5264/task/5272/stat : 5272 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135745438 937697280 12653 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) 915720
Child status: 0
Real time (s): 2.07356
CPU time (s): 2.00269
CPU user time (s): 1.73574
CPU system time (s): 0.266959
CPU usage (%): 96.5825
Max. virtual memory (cumulated for all children) (KiB): 915720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.73574
system time used= 0.266959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13154
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= 1087
involuntary context switches= 1284
runsolver used 0.006998 s user time and 0.009998 s system time
The end
Begin job on node5 on Sat Jan 6 08:15:08 UTC 2007
IDJOB= 198901
IDBENCH= 3581
FILE ID= node5/198901-1168071306
PBS_JOBID= 3475736
Free space on /tmp= 66331 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198901-1168071306/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-198901-1168071306 -o ROOT/results/node5/solver-198901-1168071306 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198901-1168071306/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 303b14d16d52fc4550642f8ac6f320b0
RANDOM SEED= 367602044
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.240
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.240
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: 1306392 kB
Buffers: 55124 kB
Cached: 484932 kB
SwapCached: 0 kB
Active: 280160 kB
Inactive: 379856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1306392 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2424 kB
Writeback: 0 kB
Mapped: 149012 kB
Slab: 74016 kB
Committed_AS: 3934048 kB
PageTables: 2356 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= 66331 MiB
End job on node5 on Sat Jan 6 08:15:13 UTC 2007