0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/227975-1168080840/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8223 maxDegree=25
0.58 maxArity=2
0.58 => wckTime=0.279 cpuTime=0.19 mem=10M852
0.61
0.61 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.487 cpuTime=0.3 mem=13M695
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0070 cpuTime=0.01 mem=13M695
0.83
0.83 search
0.83 run=0 nbConstraintChecks=14744 nbPropagations=381 nbRevisions=3870 nbUselessRevisions=3237 nbAssignments=24
0.83 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.043 cpuTime=0.03 mem=14M671
0.85
0.85 search
0.85 run=1 nbConstraintChecks=37964 nbPropagations=1254 nbRevisions=13755 nbUselessRevisions=11385 nbAssignments=59
0.85 nbFailedAssignments=14 nbBacktracks=35 nbVisitedNodes=90 nbRestartNogoods=1 mapSize=25 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.066 cpuTime=0.06 mem=14M671
0.87
0.87 search
0.87 run=2 nbConstraintChecks=73136 nbPropagations=2820 nbRevisions=32501 nbUselessRevisions=26787
0.87 nbAssignments=101 nbFailedAssignments=26 nbBacktracks=58 nbVisitedNodes=155 nbRestartNogoods=2 mapSize=43
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.087 cpuTime=0.07 mem=14M671
0.89
0.89 search
0.89 run=3 nbConstraintChecks=114782 nbPropagations=5171 nbRevisions=61618 nbUselessRevisions=50742
0.89 nbAssignments=154 nbFailedAssignments=40 nbBacktracks=91 nbVisitedNodes=240 nbRestartNogoods=6 mapSize=69
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.1 cpuTime=0.08 mem=14M671
0.90
0.90 search
0.90 run=4 nbConstraintChecks=169374 nbPropagations=8604 nbRevisions=106077 nbUselessRevisions=87488
0.90 nbAssignments=239 nbFailedAssignments=68 nbBacktracks=142 nbVisitedNodes=377 nbRestartNogoods=8 mapSize=109
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.118 cpuTime=0.1 mem=14M671
0.94
0.94 search
0.94 run=5 nbConstraintChecks=280869 nbPropagations=14068 nbRevisions=180895 nbUselessRevisions=149465
0.94 nbAssignments=360 nbFailedAssignments=106 nbBacktracks=217 nbVisitedNodes=584 nbRestartNogoods=10 mapSize=174
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.152 cpuTime=0.13 mem=14M671
0.98
0.98 search
0.98 run=6 nbConstraintChecks=425651 nbPropagations=22174 nbRevisions=291633 nbUselessRevisions=240280
0.98 nbAssignments=532 nbFailedAssignments=157 nbBacktracks=331 nbVisitedNodes=867 nbRestartNogoods=16 mapSize=262
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.191 cpuTime=0.16 mem=14M671
1.04
1.04 search
1.04 run=7 nbConstraintChecks=650107 nbPropagations=34547 nbRevisions=465170 nbUselessRevisions=383226
1.04 nbAssignments=815 nbFailedAssignments=258 nbBacktracks=506 nbVisitedNodes=1340 nbRestartNogoods=22 mapSize=404
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.251 cpuTime=0.22 mem=14M671
1.12
1.12 search
1.12 run=8 nbConstraintChecks=974856 nbPropagations=52778 nbRevisions=722134 nbUselessRevisions=594575
1.12 nbAssignments=1191 nbFailedAssignments=371 nbBacktracks=762 nbVisitedNodes=1967 nbRestartNogoods=26
1.12 mapSize=614 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.335 cpuTime=0.3 mem=14M671
1.24
1.24 search
1.24 run=9 nbConstraintChecks=1420381 nbPropagations=79377 nbRevisions=1101735 nbUselessRevisions=908496
1.24 nbAssignments=1784 nbFailedAssignments=573 nbBacktracks=1147 nbVisitedNodes=2951 nbRestartNogoods=30
1.24 mapSize=932 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.456 cpuTime=0.41 mem=14M671
1.27
1.27 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=14M671)
1.41
1.41 search
1.41 run=10 nbConstraintChecks=2119800 nbPropagations=119315 nbRevisions=1676076 nbUselessRevisions=1384176
1.41 nbAssignments=2672 nbFailedAssignments=876 nbBacktracks=1724 nbVisitedNodes=4454 nbRestartNogoods=36
1.41 => wckTime=0.619 cpuTime=0.56 mem=14M671
1.65
1.65 search
1.65 run=11 nbConstraintChecks=3331133 nbPropagations=180171 nbRevisions=2568734 nbUselessRevisions=2124233
1.65 nbAssignments=4040 nbFailedAssignments=1370 nbBacktracks=2590 nbVisitedNodes=6781 nbRestartNogoods=41
1.65 => wckTime=0.862 cpuTime=0.8 mem=14M671
1.74
1.74 search
1.74 run=12 nbConstraintChecks=3759819 nbPropagations=249498 nbRevisions=3586545 nbUselessRevisions=2969502
1.74 nbAssignments=4644 nbFailedAssignments=1557 nbBacktracks=2967 nbVisitedNodes=7769 nbRestartNogoods=48
1.74 => wckTime=0.958 cpuTime=0.89 mem=14M671
1.74
1.75 global
1.75 nbConstraintChecks=3759819 nbPropagations=249538 nbRevisions=3586545 nbUselessRevisions=2969502
1.75 nbRestartNogoods=48 solvingWckTime=0.96 solvingCpuTime=0.9 expiredTime=no totalExploration=no
1.75 nbFoundSolutions=1 globalCpuTime=1.25
1.75 => wckTime=1.448 cpuTime=1.2 mem=14M671
1.75
1.75 s SATISFIABLE
1.75 v 1 0 4 0 7 4 4 3 9 9 1 2 8 8 2 2 1 10 3 1 2 4 4 9 9 4 10 9 8 7 4 0 5 3 0 1 10 1 6 4
1.75 d NODES 4644
1.75 d CHECKS 3759819
1.75
1.75 totalWckTime=1.524 totalCpuTime=1.25
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-227975-1168080840 -o ROOT/results/node72/solver-227975-1168080840 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227975-1168080840/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.14 0.77 1.39 4/82 1913
/proc/meminfo: memFree=1446624/2055920 swapFree=4192812/4192956
[pid=1912] ppid=1909 vsize=220 CPUtime=0
/proc/1912/stat : 1912 (java) R 1909 1912 1684 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156494458 225280 25 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2536285 0 0 4096 0 0 0 0 17 0 0 0
/proc/1912/statm: 73 31 25 14 0 3 0
[startup+0.103452 s]
/proc/loadavg: 0.14 0.77 1.39 4/82 1913
/proc/meminfo: memFree=1446624/2055920 swapFree=4192812/4192956
[pid=1912] ppid=1909 vsize=914988 CPUtime=0.08
/proc/1912/stat : 1912 (java) S 1909 1912 1684 0 -1 0 2997 0 1 0 7 1 0 0 22 0 8 0 156494458 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1912/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511491 s]
/proc/loadavg: 0.14 0.77 1.39 4/82 1913
/proc/meminfo: memFree=1446624/2055920 swapFree=4192812/4192956
[pid=1912] ppid=1909 vsize=915328 CPUtime=0.49
/proc/1912/stat : 1912 (java) R 1909 1912 1684 0 -1 0 6636 0 1 0 46 3 0 0 25 0 8 0 156494458 937295872 6375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1912/statm: 228832 6375 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33456 s]
/proc/loadavg: 0.14 0.77 1.39 4/100 1932
/proc/meminfo: memFree=1399504/2055920 swapFree=4192812/4192956
[pid=1912] ppid=1909 vsize=915456 CPUtime=1.29
/proc/1912/stat : 1912 (java) R 1909 1912 1684 0 -1 0 8582 0 1 0 124 5 0 0 25 0 8 0 156494458 937426944 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1912/statm: 228864 8320 2513 14 0 215334 0
[pid=1912/tid=1919] ppid=1909 vsize=915456 CPUtime=0.02
/proc/1912/task/1919/stat : 1919 (java) S 1909 1912 1684 0 -1 64 227 0 0 0 2 0 0 0 16 0 8 0 156494462 937426944 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1912/tid=1920] ppid=1909 vsize=915456 CPUtime=0
/proc/1912/task/1920/stat : 1920 (java) S 1909 1912 1684 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156494463 937426944 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1912/tid=1921] ppid=1909 vsize=915456 CPUtime=0
/proc/1912/task/1921/stat : 1921 (java) S 1909 1912 1684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156494463 937426944 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1912/tid=1925] ppid=1909 vsize=915456 CPUtime=0
/proc/1912/task/1925/stat : 1925 (java) S 1909 1912 1684 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156494466 937426944 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1912/tid=1926] ppid=1909 vsize=915456 CPUtime=0.22
/proc/1912/task/1926/stat : 1926 (java) S 1909 1912 1684 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 156494466 937426944 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1912/tid=1927] ppid=1909 vsize=915456 CPUtime=0
/proc/1912/task/1927/stat : 1927 (java) S 1909 1912 1684 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156494466 937426944 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1912/tid=1928] ppid=1909 vsize=915456 CPUtime=0
/proc/1912/task/1928/stat : 1928 (java) S 1909 1912 1684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156494466 937426944 8320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 1.7781
CPU time (s): 1.71774
CPU user time (s): 1.65575
CPU system time (s): 0.06199
CPU usage (%): 96.6055
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.65575
system time used= 0.06199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8682
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= 1188
involuntary context switches= 1304
runsolver used 0.004999 s user time and 0.014997 s system time
The end
Begin job on node72 on Sat Jan 6 10:54:11 UTC 2007
IDJOB= 227975
IDBENCH= 6138
FILE ID= node72/227975-1168080840
PBS_JOBID= 3476177
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227975-1168080840/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-227975-1168080840 -o ROOT/results/node72/solver-227975-1168080840 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227975-1168080840/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0bcab684507c2242bc85ead7407a33a2
RANDOM SEED= 518985209
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.223
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.223
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: 1447432 kB
Buffers: 42088 kB
Cached: 446084 kB
SwapCached: 0 kB
Active: 152228 kB
Inactive: 384152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1447432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3572 kB
Writeback: 0 kB
Mapped: 67168 kB
Slab: 57232 kB
Committed_AS: 2618544 kB
PageTables: 2112 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= 66550 MiB
End job on node72 on Sat Jan 6 10:54:23 UTC 2007