0.30
0.30 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/223528-1168080441/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=2
0.61 => wckTime=0.305 cpuTime=0.24 mem=13M810
0.65
0.65 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.499 cpuTime=0.37 mem=13M749
0.81
0.81 preprocessing
0.81 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.81 detectedInconsistency=no
0.81 => wckTime=0.0030 cpuTime=0.0 mem=13M749
0.87
0.87 search
0.87 run=0 nbConstraintChecks=47465 nbPropagations=770 nbRevisions=5795 nbUselessRevisions=3947 nbAssignments=31
0.87 nbFailedAssignments=15 nbBacktracks=12 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.057 cpuTime=0.04 mem=14M724
0.88
0.88 search
0.89 run=1 nbConstraintChecks=91809 nbPropagations=2206 nbRevisions=16599 nbUselessRevisions=11432 nbAssignments=61
0.89 nbFailedAssignments=27 nbBacktracks=27 nbVisitedNodes=103 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.075 cpuTime=0.05 mem=14M724
0.91
0.91 search
0.91 run=2 nbConstraintChecks=166420 nbPropagations=4800 nbRevisions=36708 nbUselessRevisions=25330
0.91 nbAssignments=118 nbFailedAssignments=56 nbBacktracks=50 nbVisitedNodes=202 nbRestartNogoods=3 mapSize=39
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.099 cpuTime=0.06 mem=14M724
0.93
0.93 search
0.93 run=3 nbConstraintChecks=251162 nbPropagations=8738 nbRevisions=67217 nbUselessRevisions=46499
0.93 nbAssignments=180 nbFailedAssignments=79 nbBacktracks=83 nbVisitedNodes=306 nbRestartNogoods=10 mapSize=63
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.116 cpuTime=0.08 mem=14M724
0.95
0.95 search
0.95 run=4 nbConstraintChecks=402099 nbPropagations=15006 nbRevisions=116064 nbUselessRevisions=80356
0.95 nbAssignments=286 nbFailedAssignments=130 nbBacktracks=133 nbVisitedNodes=495 nbRestartNogoods=15 mapSize=106
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.142 cpuTime=0.11 mem=14M724
0.99
0.99 search
0.99 run=5 nbConstraintChecks=569613 nbPropagations=24079 nbRevisions=186691 nbUselessRevisions=129167
0.99 nbAssignments=413 nbFailedAssignments=177 nbBacktracks=210 nbVisitedNodes=712 nbRestartNogoods=20 mapSize=168
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.175 cpuTime=0.13 mem=14M724
1.03
1.03 search
1.03 run=6 nbConstraintChecks=865877 nbPropagations=37869 nbRevisions=293886 nbUselessRevisions=203300
1.03 nbAssignments=631 nbFailedAssignments=276 nbBacktracks=325 nbVisitedNodes=1099 nbRestartNogoods=23 mapSize=269
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.225 cpuTime=0.18 mem=14M724
1.11
1.11 search
1.11 run=7 nbConstraintChecks=1325749 nbPropagations=58617 nbRevisions=455764 nbUselessRevisions=314879
1.11 nbAssignments=940 nbFailedAssignments=410 nbBacktracks=495 nbVisitedNodes=1645 nbRestartNogoods=28 mapSize=421
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.298 cpuTime=0.25 mem=14M724
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1994152 nbPropagations=90089 nbRevisions=700846 nbUselessRevisions=482994
1.22 nbAssignments=1413 nbFailedAssignments=623 nbBacktracks=752 nbVisitedNodes=2476 nbRestartNogoods=36
1.22 mapSize=639 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.407 cpuTime=0.36 mem=14M724
1.38
1.38 search
1.38 run=9 nbConstraintChecks=2971354 nbPropagations=138165 nbRevisions=1075209 nbUselessRevisions=740047
1.38 nbAssignments=2155 nbFailedAssignments=972 nbBacktracks=1141 nbVisitedNodes=3808 nbRestartNogoods=41
1.38 mapSize=988 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.571 cpuTime=0.51 mem=14M724
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=14M724)
1.60
1.60 search
1.60 run=10 nbConstraintChecks=4474496 nbPropagations=209450 nbRevisions=1632955 nbUselessRevisions=1122665
1.60 nbAssignments=3179 nbFailedAssignments=1414 nbBacktracks=1718 nbVisitedNodes=5619 nbRestartNogoods=46
1.60 => wckTime=0.787 cpuTime=0.71 mem=14M724
1.71
1.71 search
1.71 run=11 nbConstraintChecks=5292650 nbPropagations=294692 nbRevisions=2300310 nbUselessRevisions=1582350
1.71 nbAssignments=3843 nbFailedAssignments=1708 nbBacktracks=2048 nbVisitedNodes=6786 nbRestartNogoods=55
1.71 => wckTime=0.903 cpuTime=0.83 mem=14M724
1.71
1.71 global
1.71 nbConstraintChecks=5292650 nbPropagations=294732 nbRevisions=2300310 nbUselessRevisions=1582350
1.71 nbRestartNogoods=55 solvingWckTime=0.904 solvingCpuTime=0.83 expiredTime=no totalExploration=no
1.71 nbFoundSolutions=1 globalCpuTime=1.24
1.71 => wckTime=1.407 cpuTime=1.2 mem=14M724
1.72
1.72 s SATISFIABLE
1.72 v 5 6 16 4 16 6 13 7 10 9 12 17 8 5 11 6 1 24 24 4 11 13 0 15 8 2 6 0 16 5 1 19 4 24 18 8 17 0 15 12
1.72 d NODES 3843
1.72 d CHECKS 5292650
1.72
1.72 totalWckTime=1.487 totalCpuTime=1.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-223528-1168080441 -o ROOT/results/node39/solver-223528-1168080441 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223528-1168080441/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.36 1.05 1.52 4/80 20900
/proc/meminfo: memFree=1714048/2055920 swapFree=4192812/4192956
[pid=20899] ppid=20897 vsize=172 CPUtime=0
/proc/20899/stat : 20899 (java) R 20897 20899 20700 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156444145 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11092267 0 0 4096 0 0 0 0 17 1 0 0
/proc/20899/statm: 43 24 18 14 0 3 0
[startup+0.10417 s]
/proc/loadavg: 0.36 1.05 1.52 4/80 20900
/proc/meminfo: memFree=1714048/2055920 swapFree=4192812/4192956
[pid=20899] ppid=20897 vsize=914988 CPUtime=0.08
/proc/20899/stat : 20899 (java) R 20897 20899 20700 0 -1 0 3020 0 1 0 7 1 0 0 17 0 8 0 156444145 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20899/statm: 228747 2766 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512206 s]
/proc/loadavg: 0.36 1.05 1.52 4/80 20900
/proc/meminfo: memFree=1714048/2055920 swapFree=4192812/4192956
[pid=20899] ppid=20897 vsize=915328 CPUtime=0.49
/proc/20899/stat : 20899 (java) R 20897 20899 20700 0 -1 0 7268 0 1 0 46 3 0 0 18 0 8 0 156444145 937295872 7007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20899/statm: 228832 7008 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33728 s]
/proc/loadavg: 0.36 1.05 1.52 4/87 20907
/proc/meminfo: memFree=1690504/2055920 swapFree=4192812/4192956
[pid=20899] ppid=20897 vsize=915452 CPUtime=1.32
/proc/20899/stat : 20899 (java) R 20897 20899 20700 0 -1 0 8644 0 1 0 127 5 0 0 20 0 8 0 156444145 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20899/statm: 228863 8382 2513 14 0 215333 0
[pid=20899/tid=20901] ppid=20897 vsize=915452 CPUtime=0.03
/proc/20899/task/20901/stat : 20901 (java) S 20897 20899 20700 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 156444148 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20899/tid=20902] ppid=20897 vsize=915452 CPUtime=0
/proc/20899/task/20902/stat : 20902 (java) S 20897 20899 20700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156444149 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20899/tid=20903] ppid=20897 vsize=915452 CPUtime=0
/proc/20899/task/20903/stat : 20903 (java) S 20897 20899 20700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156444149 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20899/tid=20904] ppid=20897 vsize=915452 CPUtime=0
/proc/20899/task/20904/stat : 20904 (java) S 20897 20899 20700 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156444152 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20899/tid=20905] ppid=20897 vsize=915452 CPUtime=0.2
/proc/20899/task/20905/stat : 20905 (java) S 20897 20899 20700 0 -1 64 379 0 0 0 20 0 0 0 16 0 8 0 156444152 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20899/tid=20906] ppid=20897 vsize=915452 CPUtime=0
/proc/20899/task/20906/stat : 20906 (java) S 20897 20899 20700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156444152 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20899/tid=20907] ppid=20897 vsize=915452 CPUtime=0
/proc/20899/task/20907/stat : 20907 (java) S 20897 20899 20700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156444152 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 1.75976
CPU time (s): 1.71674
CPU user time (s): 1.65775
CPU system time (s): 0.058991
CPU usage (%): 97.5551
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.65775
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8715
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= 821
involuntary context switches= 991
runsolver used 0.005999 s user time and 0.010998 s system time
The end
Begin job on node39 on Sat Jan 6 10:47:23 UTC 2007
IDJOB= 223528
IDBENCH= 5652
FILE ID= node39/223528-1168080441
PBS_JOBID= 3476098
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223528-1168080441/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-223528-1168080441 -o ROOT/results/node39/solver-223528-1168080441 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223528-1168080441/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 79442430b849d38f80c3f7e5db722822
RANDOM SEED= 233267821
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: 1714656 kB
Buffers: 26948 kB
Cached: 199084 kB
SwapCached: 0 kB
Active: 93944 kB
Inactive: 176012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1714656 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4304 kB
Writeback: 0 kB
Mapped: 64200 kB
Slab: 56644 kB
Committed_AS: 3801340 kB
PageTables: 1876 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= 66529 MiB
End job on node39 on Sat Jan 6 10:47:27 UTC 2007