0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/229048-1168303460/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.43 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1360 maxDegree=20
0.62 maxArity=2
0.62 => wckTime=0.298 cpuTime=0.21 mem=11M893
0.66
0.66 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.516 cpuTime=0.35 mem=14M826
0.89
0.89 preprocessing
0.89 nbConstraintChecks=51831 nbPropagations=805 nbRevisions=5975 nbUselessRevisions=4741 nbSingletonTests=48
0.89 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.051 cpuTime=0.03 mem=14M826
0.92
0.92 search
0.92 run=0 nbConstraintChecks=23947 nbPropagations=1217 nbRevisions=9888 nbUselessRevisions=7730 nbAssignments=25
0.92 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.074 cpuTime=0.04 mem=14M826
0.94
0.94 search
0.94 run=1 nbConstraintChecks=57208 nbPropagations=3064 nbRevisions=25858 nbUselessRevisions=20233 nbAssignments=63
0.94 nbFailedAssignments=19 nbBacktracks=28 nbVisitedNodes=98 nbRestartNogoods=1 mapSize=23 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.094 cpuTime=0.05 mem=14M826
0.96
0.96 search
0.96 run=2 nbConstraintChecks=125827 nbPropagations=6080 nbRevisions=53066 nbUselessRevisions=41445
0.96 nbAssignments=124 nbFailedAssignments=36 nbBacktracks=50 nbVisitedNodes=173 nbRestartNogoods=6 mapSize=42
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.114 cpuTime=0.07 mem=14M826
0.97
0.97 search
0.97 run=3 nbConstraintChecks=193561 nbPropagations=10251 nbRevisions=92491 nbUselessRevisions=71949
0.97 nbAssignments=188 nbFailedAssignments=61 nbBacktracks=84 nbVisitedNodes=282 nbRestartNogoods=8 mapSize=73
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.13 cpuTime=0.09 mem=14M826
1.00
1.00 search
1.00 run=4 nbConstraintChecks=287296 nbPropagations=16091 nbRevisions=149104 nbUselessRevisions=115651
1.00 nbAssignments=278 nbFailedAssignments=95 nbBacktracks=136 nbVisitedNodes=430 nbRestartNogoods=10 mapSize=113
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.153 cpuTime=0.11 mem=14M826
1.03
1.03 search
1.03 run=5 nbConstraintChecks=405797 nbPropagations=24100 nbRevisions=228449 nbUselessRevisions=176650
1.03 nbAssignments=407 nbFailedAssignments=141 nbBacktracks=212 nbVisitedNodes=646 nbRestartNogoods=13 mapSize=170
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.184 cpuTime=0.14 mem=14M826
1.07
1.07 search
1.07 run=6 nbConstraintChecks=579918 nbPropagations=35429 nbRevisions=342793 nbUselessRevisions=264724
1.07 nbAssignments=591 nbFailedAssignments=208 nbBacktracks=325 nbVisitedNodes=961 nbRestartNogoods=20 mapSize=266
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.223 cpuTime=0.18 mem=14M826
1.13
1.13 search
1.13 run=7 nbConstraintChecks=842149 nbPropagations=51709 nbRevisions=508631 nbUselessRevisions=392635
1.13 nbAssignments=879 nbFailedAssignments=318 nbBacktracks=495 nbVisitedNodes=1454 nbRestartNogoods=24 mapSize=404
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.286 cpuTime=0.23 mem=14M826
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1254396 nbPropagations=75922 nbRevisions=757872 nbUselessRevisions=584749
1.22 nbAssignments=1339 nbFailedAssignments=513 nbBacktracks=753 nbVisitedNodes=2261 nbRestartNogoods=32
1.22 mapSize=631 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.38 cpuTime=0.32 mem=14M826
1.36
1.36 search
1.36 run=9 nbConstraintChecks=1922320 nbPropagations=111569 nbRevisions=1127046 nbUselessRevisions=867575
1.36 nbAssignments=1962 nbFailedAssignments=747 nbBacktracks=1138 nbVisitedNodes=3327 nbRestartNogoods=36
1.36 mapSize=944 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.521 cpuTime=0.44 mem=14M826
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=14M826)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=2877659 nbPropagations=164692 nbRevisions=1677418 nbUselessRevisions=1288892
1.55 nbAssignments=2896 nbFailedAssignments=1099 nbBacktracks=1715 nbVisitedNodes=4945 nbRestartNogoods=44
1.55 => wckTime=0.703 cpuTime=0.61 mem=14M826
1.80
1.80 search
1.80 run=11 nbConstraintChecks=4418066 nbPropagations=244864 nbRevisions=2515099 nbUselessRevisions=1928905
1.80 nbAssignments=4364 nbFailedAssignments=1686 nbBacktracks=2580 nbVisitedNodes=7495 nbRestartNogoods=53
1.80 => wckTime=0.962 cpuTime=0.87 mem=14M826
2.19
2.19 search
2.19 run=12 nbConstraintChecks=6718922 nbPropagations=364783 nbRevisions=3771004 nbUselessRevisions=2886265
2.19 nbAssignments=6570 nbFailedAssignments=2588 nbBacktracks=3878 nbVisitedNodes=11317 nbRestartNogoods=63
2.19 => wckTime=1.346 cpuTime=1.25 mem=14M826
2.47
2.47 search
2.47 run=13 nbConstraintChecks=8316077 nbPropagations=514092 nbRevisions=5334543 nbUselessRevisions=4079987
2.47 nbAssignments=8213 nbFailedAssignments=3226 nbBacktracks=4843 nbVisitedNodes=14125 nbRestartNogoods=69
2.47 => wckTime=1.624 cpuTime=1.52 mem=14M826
2.47
2.47 global
2.47 nbConstraintChecks=8367908 nbPropagations=514897 nbRevisions=5340518 nbUselessRevisions=4084728
2.47 nbRestartNogoods=69 solvingWckTime=1.626 solvingCpuTime=1.52 expiredTime=no totalExploration=no
2.47 nbFoundSolutions=1 globalCpuTime=1.93
2.47 => wckTime=2.146 cpuTime=1.87 mem=14M826
2.47
2.47 s SATISFIABLE
2.47 v 15 12 4 4 12 12 5 1 2 0 15 6 3 15 8 14 5 10 2 6 12 12 8 11 7 4 4 12 1 9 10 15 10 12 0 8 7 7 9 1
2.47 d NODES 8213
2.47 d CHECKS 8367908
2.47
2.47 totalWckTime=2.231 totalCpuTime=1.93
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-229048-1168303460 -o ROOT/results/node5/solver-229048-1168303460 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229048-1168303460/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.87 1.42 1.16 4/98 25747
/proc/meminfo: memFree=1058952/2055920 swapFree=4192812/4192956
[pid=25746] ppid=25744 vsize=9948 CPUtime=0
/proc/25746/stat : 25746 (java) S 25744 25746 25406 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 158960484 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/25746/statm: 2487 472 386 14 0 1142 0
[startup+0.103252 s]
/proc/loadavg: 1.87 1.42 1.16 4/98 25747
/proc/meminfo: memFree=1058952/2055920 swapFree=4192812/4192956
[pid=25746] ppid=25744 vsize=914988 CPUtime=0.09
/proc/25746/stat : 25746 (java) R 25744 25746 25406 0 -1 0 2975 0 1 0 7 2 0 0 17 0 8 0 158960484 936947712 2721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25746/statm: 228747 2721 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511294 s]
/proc/loadavg: 1.87 1.42 1.16 4/98 25747
/proc/meminfo: memFree=1058952/2055920 swapFree=4192812/4192956
[pid=25746] ppid=25744 vsize=915328 CPUtime=0.49
/proc/25746/stat : 25746 (java) R 25744 25746 25406 0 -1 0 6626 0 1 0 44 5 0 0 18 0 8 0 158960484 937295872 6365 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942418 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25746/statm: 228832 6365 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33438 s]
/proc/loadavg: 1.87 1.42 1.16 3/105 25754
/proc/meminfo: memFree=1035152/2055920 swapFree=4192812/4192956
[pid=25746] ppid=25744 vsize=915452 CPUtime=1.3
/proc/25746/stat : 25746 (java) R 25744 25746 25406 0 -1 0 8685 0 1 0 123 7 0 0 24 0 8 0 158960484 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25746/statm: 228863 8423 2524 14 0 215333 0
[pid=25746/tid=25748] ppid=25744 vsize=915452 CPUtime=0.03
/proc/25746/task/25748/stat : 25748 (java) S 25744 25746 25406 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 158960488 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25746/tid=25749] ppid=25744 vsize=915452 CPUtime=0
/proc/25746/task/25749/stat : 25749 (java) S 25744 25746 25406 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158960489 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25746/tid=25750] ppid=25744 vsize=915452 CPUtime=0
/proc/25746/task/25750/stat : 25750 (java) S 25744 25746 25406 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158960489 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25746/tid=25751] ppid=25744 vsize=915452 CPUtime=0
/proc/25746/task/25751/stat : 25751 (java) S 25744 25746 25406 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158960492 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25746/tid=25752] ppid=25744 vsize=915452 CPUtime=0.23
/proc/25746/task/25752/stat : 25752 (java) S 25744 25746 25406 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 158960492 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25746/tid=25753] ppid=25744 vsize=915452 CPUtime=0
/proc/25746/task/25753/stat : 25753 (java) S 25744 25746 25406 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158960492 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25746/tid=25754] ppid=25744 vsize=915452 CPUtime=0
/proc/25746/task/25754/stat : 25754 (java) S 25744 25746 25406 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158960492 937422848 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 2.49606
CPU time (s): 2.44963
CPU user time (s): 2.36564
CPU system time (s): 0.083987
CPU usage (%): 98.1397
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.36564
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8805
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= 1142
involuntary context switches= 1380
runsolver used 0.004999 s user time and 0.016997 s system time
The end
Begin job on node5 on Tue Jan 9 00:44:20 UTC 2007
IDJOB= 229048
IDBENCH= 6274
FILE ID= node5/229048-1168303460
PBS_JOBID= 3502237
Free space on /tmp= 66354 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-51_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229048-1168303460/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-229048-1168303460 -o ROOT/results/node5/solver-229048-1168303460 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229048-1168303460/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5c7d52ecb0854a6f9996890e2a59c7a0
RANDOM SEED= 330951693
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: 1059368 kB
Buffers: 79568 kB
Cached: 696108 kB
SwapCached: 0 kB
Active: 450936 kB
Inactive: 479564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1059368 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 183792 kB
Slab: 50688 kB
Committed_AS: 5104428 kB
PageTables: 2428 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= 66354 MiB
End job on node5 on Tue Jan 9 00:44:23 UTC 2007