0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/208501-1168188058/unknown.xml
0.43
0.43 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.46 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.47
0.47 relations being loaded...
0.57
0.57 constraints being loaded...
0.68 nbConstraints=335 nbRelationTypes=335 nbExtensionStructures=335 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=335 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2811 maxDegree=24
0.68 maxArity=2
0.68 => wckTime=0.321 cpuTime=0.23 mem=12M803
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.523 cpuTime=0.36 mem=15M10
0.94
0.94 preprocessing
0.94 nbConstraintChecks=61246 nbPropagations=840 nbRevisions=6275 nbUselessRevisions=5099 nbSingletonTests=48
0.94 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.052 cpuTime=0.03 mem=15M10
0.97
0.97 search
0.97 run=0 nbConstraintChecks=37453 nbPropagations=1395 nbRevisions=13166 nbUselessRevisions=10598 nbAssignments=31
0.97 nbFailedAssignments=11 nbBacktracks=15 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=14 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.076 cpuTime=0.05 mem=15M10
0.99
0.99 search
0.99 run=1 nbConstraintChecks=94502 nbPropagations=3572 nbRevisions=36278 nbUselessRevisions=29257 nbAssignments=68
0.99 nbFailedAssignments=25 nbBacktracks=30 nbVisitedNodes=113 nbRestartNogoods=1 mapSize=29 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.099 cpuTime=0.06 mem=15M10
1.01
1.01 search
1.01 run=2 nbConstraintChecks=165224 nbPropagations=6741 nbRevisions=72144 nbUselessRevisions=58239
1.01 nbAssignments=121 nbFailedAssignments=48 nbBacktracks=52 nbVisitedNodes=202 nbRestartNogoods=3 mapSize=50
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.119 cpuTime=0.08 mem=15M10
1.03
1.03 search
1.03 run=3 nbConstraintChecks=275033 nbPropagations=11394 nbRevisions=125921 nbUselessRevisions=101650
1.03 nbAssignments=196 nbFailedAssignments=72 nbBacktracks=86 nbVisitedNodes=312 nbRestartNogoods=8 mapSize=76
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.14 cpuTime=0.1 mem=15M10
1.06
1.06 search
1.06 run=4 nbConstraintChecks=394441 nbPropagations=17839 nbRevisions=203307 nbUselessRevisions=164084
1.06 nbAssignments=290 nbFailedAssignments=107 nbBacktracks=137 nbVisitedNodes=473 nbRestartNogoods=11 mapSize=119
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.168 cpuTime=0.12 mem=15M10
1.10
1.10 search
1.10 run=5 nbConstraintChecks=586085 nbPropagations=26997 nbRevisions=317776 nbUselessRevisions=256384
1.10 nbAssignments=445 nbFailedAssignments=178 nbBacktracks=212 nbVisitedNodes=746 nbRestartNogoods=14 mapSize=185
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.211 cpuTime=0.16 mem=15M10
1.16
1.16 search
1.16 run=6 nbConstraintChecks=858299 nbPropagations=39895 nbRevisions=483341 nbUselessRevisions=389779
1.16 nbAssignments=645 nbFailedAssignments=258 nbBacktracks=328 nbVisitedNodes=1089 nbRestartNogoods=17 mapSize=281
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.269 cpuTime=0.21 mem=15M10
1.23
1.23 search
1.23 run=7 nbConstraintChecks=1187683 nbPropagations=57817 nbRevisions=715671 nbUselessRevisions=577396
1.23 nbAssignments=930 nbFailedAssignments=366 nbBacktracks=498 nbVisitedNodes=1576 nbRestartNogoods=19 mapSize=420
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.341 cpuTime=0.28 mem=15M10
1.35
1.35 search
1.35 run=8 nbConstraintChecks=1795962 nbPropagations=83803 nbRevisions=1059401 nbUselessRevisions=853938
1.35 nbAssignments=1384 nbFailedAssignments=556 nbBacktracks=755 nbVisitedNodes=2355 nbRestartNogoods=27
1.35 mapSize=628 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.457 cpuTime=0.38 mem=15M10
1.50
1.50 search
1.50 run=9 nbConstraintChecks=2596513 nbPropagations=120537 nbRevisions=1548001 nbUselessRevisions=1246065
1.50 nbAssignments=1999 nbFailedAssignments=783 nbBacktracks=1139 nbVisitedNodes=3391 nbRestartNogoods=31
1.50 mapSize=922 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.612 cpuTime=0.53 mem=15M10
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=15M10)
1.74
1.74 search
1.74 run=10 nbConstraintChecks=3959580 nbPropagations=176240 nbRevisions=2303869 nbUselessRevisions=1853335
1.74 nbAssignments=3034 nbFailedAssignments=1234 nbBacktracks=1719 nbVisitedNodes=5213 nbRestartNogoods=37
1.74 => wckTime=0.855 cpuTime=0.77 mem=15M10
2.07
2.07 search
2.07 run=11 nbConstraintChecks=5982228 nbPropagations=259726 nbRevisions=3445926 nbUselessRevisions=2771203
2.07 nbAssignments=4485 nbFailedAssignments=1817 nbBacktracks=2583 nbVisitedNodes=7770 nbRestartNogoods=41
2.07 => wckTime=1.183 cpuTime=1.09 mem=15M10
2.24
2.24 search
2.24 run=12 nbConstraintChecks=6994942 nbPropagations=357162 nbRevisions=4778018 nbUselessRevisions=3841783
2.24 nbAssignments=5287 nbFailedAssignments=2116 nbBacktracks=3046 nbVisitedNodes=9120 nbRestartNogoods=45
2.24 => wckTime=1.348 cpuTime=1.26 mem=15M10
2.24
2.24 global
2.24 nbConstraintChecks=7056188 nbPropagations=358002 nbRevisions=4784293 nbUselessRevisions=3846882
2.24 nbRestartNogoods=45 solvingWckTime=1.349 solvingCpuTime=1.26 expiredTime=no totalExploration=no
2.24 nbFoundSolutions=1 globalCpuTime=1.68
2.24 => wckTime=1.875 cpuTime=1.62 mem=15M10
2.24
2.24 s SATISFIABLE
2.24 v 15 11 6 6 5 0 5 12 16 7 7 7 5 9 16 6 5 3 16 7 0 12 10 2 9 7 14 1 8 15 0 18 11 8 5 14 16 3 2 10
2.24 d NODES 5287
2.24 d CHECKS 7056188
2.24
2.24 totalWckTime=1.955 totalCpuTime=1.68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-208501-1168188058 -o ROOT/results/node72/solver-208501-1168188058 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208501-1168188058/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.71 1.25 1.28 5/88 1049
/proc/meminfo: memFree=1304872/2055920 swapFree=4191880/4192956
[pid=1048] ppid=1046 vsize=18540 CPUtime=0
/proc/1048/stat : 1048 (runsolver) R 1046 1048 450 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 167214601 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1048/statm: 4635 279 244 17 0 2626 0
[startup+0.102793 s]
/proc/loadavg: 1.71 1.25 1.28 5/88 1049
/proc/meminfo: memFree=1304872/2055920 swapFree=4191880/4192956
[pid=1048] ppid=1046 vsize=907808 CPUtime=0.05
/proc/1048/stat : 1048 (java) D 1046 1048 450 0 -1 0 2505 0 1 0 4 1 0 0 17 0 4 0 167214601 929595392 2252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/1048/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.510834 s]
/proc/loadavg: 1.71 1.25 1.28 5/88 1049
/proc/meminfo: memFree=1304872/2055920 swapFree=4191880/4192956
[pid=1048] ppid=1046 vsize=915328 CPUtime=0.44
/proc/1048/stat : 1048 (java) R 1046 1048 450 0 -1 0 6284 0 1 0 40 4 0 0 18 0 8 0 167214601 937295872 6023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1048/statm: 228832 6023 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33207 s]
/proc/loadavg: 1.71 1.25 1.28 4/95 1056
/proc/meminfo: memFree=1280880/2055920 swapFree=4191880/4192956
[pid=1048] ppid=1046 vsize=915456 CPUtime=1.24
/proc/1048/stat : 1048 (java) R 1046 1048 450 0 -1 0 8720 0 1 0 118 6 0 0 24 0 8 0 167214601 937426944 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1048/statm: 228864 8458 2524 14 0 215334 0
[pid=1048/tid=1050] ppid=1046 vsize=915456 CPUtime=0.03
/proc/1048/task/1050/stat : 1050 (java) S 1046 1048 450 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 167214605 937426944 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1048/tid=1051] ppid=1046 vsize=915456 CPUtime=0
/proc/1048/task/1051/stat : 1051 (java) S 1046 1048 450 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167214605 937426944 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1048/tid=1052] ppid=1046 vsize=915456 CPUtime=0
/proc/1048/task/1052/stat : 1052 (java) S 1046 1048 450 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167214605 937426944 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1048/tid=1053] ppid=1046 vsize=915456 CPUtime=0
/proc/1048/task/1053/stat : 1053 (java) S 1046 1048 450 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167214613 937426944 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1048/tid=1054] ppid=1046 vsize=915456 CPUtime=0.22
/proc/1048/task/1054/stat : 1054 (java) S 1046 1048 450 0 -1 64 378 0 0 0 21 1 0 0 15 0 8 0 167214613 937426944 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1048/tid=1055] ppid=1046 vsize=915456 CPUtime=0
/proc/1048/task/1055/stat : 1055 (java) S 1046 1048 450 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167214613 937426944 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1048/tid=1056] ppid=1046 vsize=915456 CPUtime=0
/proc/1048/task/1056/stat : 1056 (java) R 1046 1048 450 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167214614 937426944 8458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 2.27607
CPU time (s): 2.17767
CPU user time (s): 2.09868
CPU system time (s): 0.078987
CPU usage (%): 95.6766
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.09868
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8863
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= 1154
involuntary context switches= 1369
runsolver used 0.006998 s user time and 0.017997 s system time
The end
Begin job on node72 on Sun Jan 7 16:40:58 UTC 2007
IDJOB= 208501
IDBENCH= 4399
FILE ID= node72/208501-1168188058
PBS_JOBID= 3479293
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208501-1168188058/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-208501-1168188058 -o ROOT/results/node72/solver-208501-1168188058 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208501-1168188058/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f75720650ca6373fb2e3d0a4452f81c0
RANDOM SEED= 918190796
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: 1305288 kB
Buffers: 49716 kB
Cached: 575272 kB
SwapCached: 408 kB
Active: 153376 kB
Inactive: 522172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1305288 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1968 kB
Writeback: 0 kB
Mapped: 69384 kB
Slab: 59864 kB
Committed_AS: 3065640 kB
PageTables: 2300 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= 66554 MiB
End job on node72 on Sun Jan 7 16:41:00 UTC 2007