0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/228851-1168080912/unknown.xml
0.34
0.34 domains being loaded...
0.34
0.34 variables being loaded...
0.37 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.37 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.37
0.37 relations being loaded...
0.44
0.44 constraints being loaded...
0.54 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.54 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1382 maxDegree=19
0.54 maxArity=2
0.54 => wckTime=0.26 cpuTime=0.19 mem=11M893
0.58
0.58 solver IterativeSystematicSolver being built...
0.72 => wckTime=0.439 cpuTime=0.3 mem=13M734
0.73
0.73 preprocessing
0.73 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.73 detectedInconsistency=no
0.73 => wckTime=0.0030 cpuTime=0.0 mem=13M734
0.77
0.77 search
0.77 run=0 nbConstraintChecks=23302 nbPropagations=463 nbRevisions=4152 nbUselessRevisions=3237 nbAssignments=22
0.77 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.046 cpuTime=0.02 mem=14M709
0.79
0.79 search
0.79 run=1 nbConstraintChecks=60591 nbPropagations=1584 nbRevisions=14706 nbUselessRevisions=11379 nbAssignments=57
0.79 nbFailedAssignments=20 nbBacktracks=25 nbVisitedNodes=95 nbRestartNogoods=1 mapSize=23 nbInferences=0
0.79 nbTooLargeKeys=0
0.79 => wckTime=0.063 cpuTime=0.03 mem=14M709
0.81
0.81 search
0.81 run=2 nbConstraintChecks=112859 nbPropagations=3649 nbRevisions=34849 nbUselessRevisions=26860
0.81 nbAssignments=105 nbFailedAssignments=40 nbBacktracks=48 nbVisitedNodes=177 nbRestartNogoods=6 mapSize=44
0.81 nbInferences=0 nbTooLargeKeys=0
0.81 => wckTime=0.083 cpuTime=0.05 mem=14M709
0.82
0.82 search
0.82 run=3 nbConstraintChecks=172837 nbPropagations=6750 nbRevisions=65393 nbUselessRevisions=50184
0.82 nbAssignments=158 nbFailedAssignments=57 nbBacktracks=81 nbVisitedNodes=265 nbRestartNogoods=10 mapSize=70
0.82 nbInferences=0 nbTooLargeKeys=0
0.82 => wckTime=0.097 cpuTime=0.06 mem=14M709
0.84
0.84 search
0.84 run=4 nbConstraintChecks=257020 nbPropagations=11447 nbRevisions=112255 nbUselessRevisions=85860
0.84 nbAssignments=247 nbFailedAssignments=91 nbBacktracks=131 nbVisitedNodes=417 nbRestartNogoods=13 mapSize=111
0.84 nbInferences=0 nbTooLargeKeys=0
0.84 => wckTime=0.117 cpuTime=0.08 mem=14M709
0.87
0.87 search
0.87 run=5 nbConstraintChecks=405523 nbPropagations=18997 nbRevisions=189261 nbUselessRevisions=144684
0.87 nbAssignments=390 nbFailedAssignments=153 nbBacktracks=208 nbVisitedNodes=666 nbRestartNogoods=15 mapSize=179
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.149 cpuTime=0.11 mem=14M709
0.91
0.91 search
0.91 run=6 nbConstraintChecks=604811 nbPropagations=30211 nbRevisions=304730 nbUselessRevisions=233128
0.91 nbAssignments=580 nbFailedAssignments=225 nbBacktracks=323 nbVisitedNodes=994 nbRestartNogoods=17 mapSize=274
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.191 cpuTime=0.15 mem=14M709
0.97
0.97 search
0.97 run=7 nbConstraintChecks=874304 nbPropagations=46422 nbRevisions=471981 nbUselessRevisions=361102
0.97 nbAssignments=863 nbFailedAssignments=331 nbBacktracks=493 nbVisitedNodes=1478 nbRestartNogoods=20 mapSize=415
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.245 cpuTime=0.2 mem=14M709
1.06
1.06 search
1.06 run=8 nbConstraintChecks=1330674 nbPropagations=70825 nbRevisions=727121 nbUselessRevisions=556523
1.06 nbAssignments=1310 nbFailedAssignments=517 nbBacktracks=750 nbVisitedNodes=2256 nbRestartNogoods=24
1.06 mapSize=638 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.333 cpuTime=0.28 mem=14M709
1.20
1.20 search
1.20 run=9 nbConstraintChecks=2074861 nbPropagations=108495 nbRevisions=1126963 nbUselessRevisions=862803
1.20 nbAssignments=2005 nbFailedAssignments=823 nbBacktracks=1134 nbVisitedNodes=3488 nbRestartNogoods=29
1.20 mapSize=977 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.477 cpuTime=0.41 mem=14M709
1.23
1.23 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=14M709)
1.38
1.38 search
1.38 run=10 nbConstraintChecks=3118609 nbPropagations=164881 nbRevisions=1725815 nbUselessRevisions=1320477
1.38 nbAssignments=3009 nbFailedAssignments=1246 nbBacktracks=1710 nbVisitedNodes=5237 nbRestartNogoods=37
1.38 => wckTime=0.656 cpuTime=0.58 mem=14M709
1.65
1.65 search
1.65 run=11 nbConstraintChecks=4837274 nbPropagations=251442 nbRevisions=2658168 nbUselessRevisions=2033951
1.65 nbAssignments=4597 nbFailedAssignments=1963 nbBacktracks=2574 nbVisitedNodes=8082 nbRestartNogoods=40
1.65 => wckTime=0.925 cpuTime=0.85 mem=14M709
2.00
2.00 search
2.00 run=12 nbConstraintChecks=7107555 nbPropagations=379461 nbRevisions=4041235 nbUselessRevisions=3094406
2.00 nbAssignments=6827 nbFailedAssignments=2890 nbBacktracks=3871 nbVisitedNodes=11960 nbRestartNogoods=47
2.00 => wckTime=1.282 cpuTime=1.21 mem=14M709
2.54
2.54 search
2.54 run=13 nbConstraintChecks=10573335 nbPropagations=569962 nbRevisions=6083914 nbUselessRevisions=4657657
2.54 nbAssignments=10132 nbFailedAssignments=4241 nbBacktracks=5817 nbVisitedNodes=17746 nbRestartNogoods=51
2.54 => wckTime=1.821 cpuTime=1.74 mem=14M709
3.29
3.29 search
3.29 run=14 nbConstraintChecks=15305014 nbPropagations=846730 nbRevisions=9044705 nbUselessRevisions=6923007
3.29 nbAssignments=14928 nbFailedAssignments=6111 nbBacktracks=8737 nbVisitedNodes=25999 nbRestartNogoods=62
3.29 => wckTime=2.562 cpuTime=2.48 mem=14M709
3.80
3.80 search
3.80 run=15 nbConstraintChecks=18646208 nbPropagations=1183054 nbRevisions=12652191 nbUselessRevisions=9685248
3.80 nbAssignments=18109 nbFailedAssignments=7437 nbBacktracks=10552 nbVisitedNodes=31615 nbRestartNogoods=72
3.80 => wckTime=3.079 cpuTime=3.0 mem=14M709
3.80
3.80 global
3.80 nbConstraintChecks=18646208 nbPropagations=1183094 nbRevisions=12652191 nbUselessRevisions=9685248
3.80 nbRestartNogoods=72 solvingWckTime=3.08 solvingCpuTime=3.0 expiredTime=no totalExploration=no
3.80 nbFoundSolutions=1 globalCpuTime=3.36
3.80 => wckTime=3.522 cpuTime=3.31 mem=14M709
3.81
3.81 s SATISFIABLE
3.81 v 15 4 1 1 15 12 10 3 9 14 1 3 3 13 1 0 1 8 14 8 9 0 11 10 3 0 5 7 5 2 12 11 6 15 3 8 10 14 4 1
3.81 d NODES 18109
3.81 d CHECKS 18646208
3.81
3.81 totalWckTime=3.595 totalCpuTime=3.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-228851-1168080912 -o ROOT/results/node75/solver-228851-1168080912 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228851-1168080912/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.10 0.53 0.85 3/68 23942
/proc/meminfo: memFree=1715008/2055920 swapFree=4184496/4192956
[pid=23941] ppid=23939 vsize=1500 CPUtime=0
/proc/23941/stat : 23941 (java) R 23939 23941 23566 0 -1 0 264 0 0 0 0 0 0 0 18 0 1 0 156491850 1536000 69 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6705760 0 0 4096 0 0 0 0 17 0 0 0
/proc/23941/statm: 375 69 55 14 0 8 0
[startup+0.107267 s]
/proc/loadavg: 0.10 0.53 0.85 3/68 23942
/proc/meminfo: memFree=1715008/2055920 swapFree=4184496/4192956
[pid=23941] ppid=23939 vsize=914988 CPUtime=0.09
/proc/23941/stat : 23941 (java) R 23939 23941 23566 0 -1 0 3124 0 1 0 8 1 0 0 16 0 8 0 156491850 936947712 2870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582810 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23941/statm: 228747 2870 1471 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515314 s]
/proc/loadavg: 0.10 0.53 0.85 3/68 23942
/proc/meminfo: memFree=1715008/2055920 swapFree=4184496/4192956
[pid=23941] ppid=23939 vsize=915328 CPUtime=0.5
/proc/23941/stat : 23941 (java) R 23939 23941 23566 0 -1 0 7002 0 1 0 47 3 0 0 16 0 8 0 156491850 937295872 6741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23941/statm: 228832 6741 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33641 s]
/proc/loadavg: 0.10 0.53 0.85 2/75 23949
/proc/meminfo: memFree=1691528/2055920 swapFree=4184496/4192956
[pid=23941] ppid=23939 vsize=915452 CPUtime=1.31
/proc/23941/stat : 23941 (java) R 23939 23941 23566 0 -1 0 8596 0 1 0 126 5 0 0 16 0 8 0 156491850 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806293 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23941/statm: 228863 8334 2513 14 0 215333 0
[pid=23941/tid=23943] ppid=23939 vsize=915452 CPUtime=0.02
/proc/23941/task/23943/stat : 23943 (java) S 23939 23941 23566 0 -1 64 243 0 0 0 2 0 0 0 16 0 8 0 156491853 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23941/tid=23944] ppid=23939 vsize=915452 CPUtime=0
/proc/23941/task/23944/stat : 23944 (java) S 23939 23941 23566 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156491853 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23941/tid=23945] ppid=23939 vsize=915452 CPUtime=0
/proc/23941/task/23945/stat : 23945 (java) S 23939 23941 23566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491853 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23941/tid=23946] ppid=23939 vsize=915452 CPUtime=0
/proc/23941/task/23946/stat : 23946 (java) S 23939 23941 23566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156491856 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23941/tid=23947] ppid=23939 vsize=915452 CPUtime=0.19
/proc/23941/task/23947/stat : 23947 (java) S 23939 23941 23566 0 -1 64 386 0 0 0 19 0 0 0 16 0 8 0 156491856 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23941/tid=23948] ppid=23939 vsize=915452 CPUtime=0
/proc/23941/task/23948/stat : 23948 (java) S 23939 23941 23566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156491856 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23941/tid=23949] ppid=23939 vsize=915452 CPUtime=0
/proc/23941/task/23949/stat : 23949 (java) S 23939 23941 23566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491856 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.9816 s]
/proc/loadavg: 0.10 0.53 0.85 2/75 23949
/proc/meminfo: memFree=1691400/2055920 swapFree=4184496/4192956
[pid=23941] ppid=23939 vsize=915452 CPUtime=2.96
/proc/23941/stat : 23941 (java) R 23939 23941 23566 0 -1 0 8607 0 1 0 290 6 0 0 18 0 8 0 156491850 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823901 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23941/statm: 228863 8344 2513 14 0 215333 0
[pid=23941/tid=23943] ppid=23939 vsize=915452 CPUtime=0.02
/proc/23941/task/23943/stat : 23943 (java) S 23939 23941 23566 0 -1 64 243 0 0 0 2 0 0 0 17 0 8 0 156491853 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23941/tid=23944] ppid=23939 vsize=915452 CPUtime=0
/proc/23941/task/23944/stat : 23944 (java) S 23939 23941 23566 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156491853 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23941/tid=23945] ppid=23939 vsize=915452 CPUtime=0
/proc/23941/task/23945/stat : 23945 (java) S 23939 23941 23566 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491853 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23941/tid=23946] ppid=23939 vsize=915452 CPUtime=0
/proc/23941/task/23946/stat : 23946 (java) S 23939 23941 23566 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156491856 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23941/tid=23947] ppid=23939 vsize=915452 CPUtime=0.19
/proc/23941/task/23947/stat : 23947 (java) S 23939 23941 23566 0 -1 64 387 0 0 0 19 0 0 0 16 0 8 0 156491856 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23941/tid=23948] ppid=23939 vsize=915452 CPUtime=0
/proc/23941/task/23948/stat : 23948 (java) S 23939 23941 23566 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156491856 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23941/tid=23949] ppid=23939 vsize=915452 CPUtime=0
/proc/23941/task/23949/stat : 23949 (java) S 23939 23941 23566 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491856 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 3.82365
CPU time (s): 3.80042
CPU user time (s): 3.73343
CPU system time (s): 0.066989
CPU usage (%): 99.3925
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.73343
system time used= 0.066989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8699
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= 842
involuntary context switches= 169
runsolver used 0.009998 s user time and 0.013997 s system time
The end
Begin job on node75 on Sat Jan 6 10:55:17 UTC 2007
IDJOB= 228851
IDBENCH= 6240
FILE ID= node75/228851-1168080912
PBS_JOBID= 3476172
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228851-1168080912/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-228851-1168080912 -o ROOT/results/node75/solver-228851-1168080912 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228851-1168080912/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ca248090c76bca9732ecf4e065b5c70f
RANDOM SEED= 60813977
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1715424 kB
Buffers: 6104 kB
Cached: 269888 kB
SwapCached: 2468 kB
Active: 93528 kB
Inactive: 196812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1715424 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 3684 kB
Writeback: 0 kB
Mapped: 20476 kB
Slab: 35832 kB
Committed_AS: 3118272 kB
PageTables: 1636 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= 66547 MiB
End job on node75 on Sat Jan 6 10:55:30 UTC 2007