0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/198839-1168071298/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.46 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=38
0.46 => wckTime=0.161 cpuTime=0.12 mem=8M836
0.46
0.46 predicates being loaded...
0.46
0.46 constraints being loaded...
1.17 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=177404 nbExtensionStructures=173
1.17 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930
1.17 nbSharedBinaryRepresentations=10590 maxDegree=62 maxArity=2
1.17 => wckTime=0.867 cpuTime=0.7 mem=29M323
1.24
1.24 solver IterativeSystematicSolver being built...
1.42 => wckTime=1.121 cpuTime=0.86 mem=20M190
1.49
1.49 preprocessing
1.49 nbConstraintChecks=22964 nbPropagations=1014 nbRevisions=668 nbUselessRevisions=0 nbRemovedValues=3660
1.49 detectedInconsistency=no
1.49 => wckTime=0.065 cpuTime=0.04 mem=20M190
1.57
1.57 search
1.57 run=0 nbConstraintChecks=52356 nbPropagations=1655 nbRevisions=4243 nbUselessRevisions=1916 nbAssignments=57
1.57 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=84 nbRestartNogoods=0 mapSize=5 nbInferences=0
1.57 nbTooLargeKeys=0
1.57 => wckTime=0.147 cpuTime=0.1 mem=20M190
1.61
1.61 search
1.61 run=1 nbConstraintChecks=140318 nbPropagations=4040 nbRevisions=13217 nbUselessRevisions=5652
1.61 nbAssignments=128 nbFailedAssignments=58 nbBacktracks=26 nbVisitedNodes=200 nbRestartNogoods=3 mapSize=13
1.61 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.184 cpuTime=0.14 mem=20M190
1.64
1.64 search
1.64 run=2 nbConstraintChecks=236695 nbPropagations=7124 nbRevisions=27634 nbUselessRevisions=11452
1.64 nbAssignments=205 nbFailedAssignments=105 nbBacktracks=48 nbVisitedNodes=335 nbRestartNogoods=13 mapSize=24
1.64 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.22 cpuTime=0.17 mem=21M164
1.69
1.69 search
1.69 run=3 nbConstraintChecks=368218 nbPropagations=11232 nbRevisions=51372 nbUselessRevisions=22368
1.69 nbAssignments=316 nbFailedAssignments=170 nbBacktracks=82 nbVisitedNodes=527 nbRestartNogoods=16 mapSize=41
1.69 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.271 cpuTime=0.22 mem=21M164
1.77
1.77 search
1.77 run=4 nbConstraintChecks=570685 nbPropagations=16928 nbRevisions=89817 nbUselessRevisions=41624
1.77 nbAssignments=489 nbFailedAssignments=284 nbBacktracks=133 nbVisitedNodes=839 nbRestartNogoods=21 mapSize=66
1.77 nbInferences=4 nbTooLargeKeys=0
1.77 => wckTime=0.346 cpuTime=0.3 mem=21M164
1.87
1.88 search
1.88 run=5 nbConstraintChecks=837823 nbPropagations=24919 nbRevisions=150699 nbUselessRevisions=74341
1.88 nbAssignments=723 nbFailedAssignments=436 nbBacktracks=208 nbVisitedNodes=1261 nbRestartNogoods=31 mapSize=103
1.88 nbInferences=5 nbTooLargeKeys=0
1.88 => wckTime=0.453 cpuTime=0.4 mem=21M164
2.04
2.04 search
2.04 run=6 nbConstraintChecks=1263654 nbPropagations=36292 nbRevisions=237752 nbUselessRevisions=118569
2.04 nbAssignments=1081 nbFailedAssignments=660 nbBacktracks=322 nbVisitedNodes=1912 nbRestartNogoods=39
2.04 mapSize=160 nbInferences=23 nbTooLargeKeys=0
2.04 => wckTime=0.619 cpuTime=0.56 mem=22M138
2.28
2.28 search
2.28 run=7 nbConstraintChecks=1908713 nbPropagations=53240 nbRevisions=369979 nbUselessRevisions=187721
2.28 nbAssignments=1571 nbFailedAssignments=945 nbBacktracks=492 nbVisitedNodes=2785 nbRestartNogoods=45
2.28 mapSize=244 nbInferences=56 nbTooLargeKeys=0
2.28 => wckTime=0.86 cpuTime=0.79 mem=23M112
2.60
2.60 search
2.60 run=8 nbConstraintChecks=2811363 nbPropagations=78181 nbRevisions=559771 nbUselessRevisions=284763
2.60 nbAssignments=2252 nbFailedAssignments=1306 nbBacktracks=748 nbVisitedNodes=3988 nbRestartNogoods=58
2.60 mapSize=372 nbInferences=118 nbTooLargeKeys=0
2.60 => wckTime=1.177 cpuTime=1.09 mem=24M86
2.63
2.63 search
2.63 run=9 nbConstraintChecks=2904095 nbPropagations=103860 nbRevisions=755306 nbUselessRevisions=384345
2.63 nbAssignments=2326 nbFailedAssignments=1350 nbBacktracks=775 nbVisitedNodes=4121 nbRestartNogoods=59
2.63 mapSize=385 nbInferences=122 nbTooLargeKeys=0
2.63 => wckTime=1.209 cpuTime=1.12 mem=25M60
2.63
2.63 global
2.63 nbConstraintChecks=2927059 nbPropagations=104874 nbRevisions=755974 nbUselessRevisions=384345
2.63 nbRestartNogoods=59 solvingWckTime=1.211 solvingCpuTime=1.12 expiredTime=no totalExploration=yes
2.63 nbFoundSolutions=0 globalCpuTime=2.03
2.63 => wckTime=2.334 cpuTime=1.98 mem=25M60
2.63
2.63 s UNSATISFIABLE
2.63 d NODES 2326
2.63 d CHECKS 2927059
2.63
2.64 totalWckTime=2.409 totalCpuTime=2.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-198839-1168071298 -o ROOT/results/node60/solver-198839-1168071298 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198839-1168071298/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.00 1.96 5/80 11401
/proc/meminfo: memFree=1466328/2055920 swapFree=4192812/4192956
[pid=11400] ppid=11398 vsize=18540 CPUtime=0
/proc/11400/stat : 11400 (runsolver) R 11398 11400 10615 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155528050 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/11400/statm: 4635 279 244 17 0 2626 0
[startup+0.107806 s]
/proc/loadavg: 1.99 2.00 1.96 5/80 11401
/proc/meminfo: memFree=1466328/2055920 swapFree=4192812/4192956
[pid=11400] ppid=11398 vsize=914988 CPUtime=0.08
/proc/11400/stat : 11400 (java) R 11398 11400 10615 0 -1 0 3019 0 1 0 7 1 0 0 24 0 8 0 155528050 936947712 2765 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072943170 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11400/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519385 s]
/proc/loadavg: 1.99 2.00 1.96 5/80 11401
/proc/meminfo: memFree=1466328/2055920 swapFree=4192812/4192956
[pid=11400] ppid=11398 vsize=915328 CPUtime=0.48
/proc/11400/stat : 11400 (java) R 11398 11400 10615 0 -1 0 6631 0 1 0 45 3 0 0 25 0 8 0 155528050 937295872 6370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072925484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11400/statm: 228832 6370 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34046 s]
/proc/loadavg: 1.99 2.00 1.96 3/87 11408
/proc/meminfo: memFree=1428896/2055920 swapFree=4192812/4192956
[pid=11400] ppid=11398 vsize=915720 CPUtime=1.29
/proc/11400/stat : 11400 (java) R 11398 11400 10615 0 -1 0 13101 0 1 0 106 23 0 0 25 0 8 0 155528050 937697280 12838 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155839963 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11400/statm: 228930 12838 2503 14 0 215400 0
[pid=11400/tid=11402] ppid=11398 vsize=915720 CPUtime=0.05
/proc/11400/task/11402/stat : 11402 (java) S 11398 11400 10615 0 -1 64 871 0 0 0 5 0 0 0 16 0 8 0 155528054 937697280 12838 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11400/tid=11403] ppid=11398 vsize=915720 CPUtime=0
/proc/11400/task/11403/stat : 11403 (java) S 11398 11400 10615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155528055 937697280 12838 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11400/tid=11404] ppid=11398 vsize=915720 CPUtime=0
/proc/11400/task/11404/stat : 11404 (java) S 11398 11400 10615 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155528055 937697280 12838 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11400/tid=11405] ppid=11398 vsize=915720 CPUtime=0
/proc/11400/task/11405/stat : 11405 (java) S 11398 11400 10615 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155528058 937697280 12838 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11400/tid=11406] ppid=11398 vsize=915720 CPUtime=0.21
/proc/11400/task/11406/stat : 11406 (java) S 11398 11400 10615 0 -1 64 453 0 0 0 21 0 0 0 15 0 8 0 155528058 937697280 12838 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11400/tid=11407] ppid=11398 vsize=915720 CPUtime=0
/proc/11400/task/11407/stat : 11407 (java) S 11398 11400 10615 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155528058 937697280 12838 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11400/tid=11408] ppid=11398 vsize=915720 CPUtime=0
/proc/11400/task/11408/stat : 11408 (java) S 11398 11400 10615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155528058 937697280 12838 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915720
Child status: 0
Real time (s): 2.69618
CPU time (s): 2.5956
CPU user time (s): 2.33964
CPU system time (s): 0.255961
CPU usage (%): 96.2698
Max. virtual memory (cumulated for all children) (KiB): 915720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.33964
system time used= 0.255961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13203
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= 1500
involuntary context switches= 1645
runsolver used 0.009998 s user time and 0.014997 s system time
The end
Begin job on node60 on Sat Jan 6 08:15:00 UTC 2007
IDJOB= 198839
IDBENCH= 3578
FILE ID= node60/198839-1168071298
PBS_JOBID= 3475638
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198839-1168071298/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-198839-1168071298 -o ROOT/results/node60/solver-198839-1168071298 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198839-1168071298/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c80f0bde8ed46737c0d5776e08f1a3ef
RANDOM SEED= 284572962
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.236
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.236
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: 1466872 kB
Buffers: 46880 kB
Cached: 418784 kB
SwapCached: 0 kB
Active: 88640 kB
Inactive: 425536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1466872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2288 kB
Writeback: 0 kB
Mapped: 68744 kB
Slab: 60128 kB
Committed_AS: 4069076 kB
PageTables: 1956 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= 66549 MiB
End job on node60 on Sat Jan 6 08:15:06 UTC 2007