0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/230478-1168081069/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.45 => wckTime=0.097 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
0.57
0.57 constraints being loaded...
0.70 nbConstraints=467 nbRelationTypes=467 nbExtensionStructures=467 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=467 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4640 maxDegree=30
0.70 maxArity=2
0.70 => wckTime=0.35 cpuTime=0.26 mem=15M762
0.74
0.74 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.54 cpuTime=0.38 mem=15M227
0.90
0.90 preprocessing
0.90 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.90 detectedInconsistency=no
0.90 => wckTime=0.0080 cpuTime=0.01 mem=15M227
0.95
0.95 search
0.95 run=0 nbConstraintChecks=55544 nbPropagations=611 nbRevisions=8494 nbUselessRevisions=7016 nbAssignments=29
0.95 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.056 cpuTime=0.04 mem=15M227
0.98
0.98 search
0.98 run=1 nbConstraintChecks=117994 nbPropagations=1937 nbRevisions=26928 nbUselessRevisions=22181
0.98 nbAssignments=66 nbFailedAssignments=27 nbBacktracks=26 nbVisitedNodes=115 nbRestartNogoods=3 mapSize=26
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.083 cpuTime=0.06 mem=15M227
0.99
0.99 search
0.99 run=2 nbConstraintChecks=186087 nbPropagations=4015 nbRevisions=55535 nbUselessRevisions=45681
0.99 nbAssignments=106 nbFailedAssignments=38 nbBacktracks=49 nbVisitedNodes=178 nbRestartNogoods=5 mapSize=41
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.099 cpuTime=0.07 mem=15M227
1.01
1.01 search
1.01 run=3 nbConstraintChecks=294223 nbPropagations=7293 nbRevisions=102106 nbUselessRevisions=83764
1.01 nbAssignments=169 nbFailedAssignments=61 nbBacktracks=83 nbVisitedNodes=286 nbRestartNogoods=8 mapSize=70
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.12 cpuTime=0.09 mem=15M227
1.04
1.04 search
1.04 run=4 nbConstraintChecks=479869 nbPropagations=12440 nbRevisions=176947 nbUselessRevisions=144571
1.04 nbAssignments=262 nbFailedAssignments=98 nbBacktracks=133 nbVisitedNodes=445 nbRestartNogoods=11 mapSize=114
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.152 cpuTime=0.12 mem=15M227
1.09
1.09 search
1.09 run=5 nbConstraintChecks=739347 nbPropagations=20324 nbRevisions=295644 nbUselessRevisions=241419
1.09 nbAssignments=399 nbFailedAssignments=154 nbBacktracks=211 nbVisitedNodes=688 nbRestartNogoods=16 mapSize=184
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.198 cpuTime=0.16 mem=15M227
1.14
1.14 search
1.14 run=6 nbConstraintChecks=1084763 nbPropagations=31696 nbRevisions=464382 nbUselessRevisions=378111
1.14 nbAssignments=588 nbFailedAssignments=222 nbBacktracks=326 nbVisitedNodes=1007 nbRestartNogoods=18 mapSize=276
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.253 cpuTime=0.21 mem=15M227
1.24
1.24 search
1.24 run=7 nbConstraintChecks=1724851 nbPropagations=49398 nbRevisions=725941 nbUselessRevisions=588032
1.24 nbAssignments=889 nbFailedAssignments=349 nbBacktracks=496 nbVisitedNodes=1547 nbRestartNogoods=23 mapSize=431
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.348 cpuTime=0.31 mem=15M227
1.38
1.38 search
1.38 run=8 nbConstraintChecks=2635873 nbPropagations=76384 nbRevisions=1138156 nbUselessRevisions=921854
1.38 nbAssignments=1349 nbFailedAssignments=546 nbBacktracks=753 nbVisitedNodes=2383 nbRestartNogoods=27
1.39 mapSize=676 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.493 cpuTime=0.45 mem=15M227
1.58
1.58 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=15M227)
1.60
1.60 search
1.60 run=9 nbConstraintChecks=4031789 nbPropagations=117210 nbRevisions=1776568 nbUselessRevisions=1440638
1.60 nbAssignments=2069 nbFailedAssignments=877 nbBacktracks=1137 nbVisitedNodes=3683 nbRestartNogoods=33
1.60 => wckTime=0.708 cpuTime=0.65 mem=15M227
1.81
1.81 search
1.81 run=10 nbConstraintChecks=5509720 nbPropagations=172732 nbRevisions=2639698 nbUselessRevisions=2140309
1.81 nbAssignments=2853 nbFailedAssignments=1179 nbBacktracks=1569 nbVisitedNodes=5020 nbRestartNogoods=44
1.81 => wckTime=0.918 cpuTime=0.85 mem=15M227
1.81
1.81 global
1.81 nbConstraintChecks=5509720 nbPropagations=172782 nbRevisions=2639698 nbUselessRevisions=2140309
1.81 nbRestartNogoods=44 solvingWckTime=0.92 solvingCpuTime=0.85 expiredTime=no totalExploration=no
1.81 nbFoundSolutions=1 globalCpuTime=1.27
1.81 => wckTime=1.463 cpuTime=1.23 mem=15M227
1.81
1.81 s SATISFIABLE
1.81 v 7 8 6 10 15 3 15 13 14 4 12 20 15 8 10 11 19 8 8 7 6 5 10 4 16 7 10 17 10 5 9 3 10 7 14 18 3 3 16 18 18 6 10 8 7 13 4 1 9 1
1.81 d NODES 2853
1.81 d CHECKS 5509720
1.81
1.81 totalWckTime=1.538 totalCpuTime=1.27
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-230478-1168081069 -o ROOT/results/node9/solver-230478-1168081069 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230478-1168081069/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.06 1.50 1.72 4/93 19177
/proc/meminfo: memFree=1167232/2055920 swapFree=4191880/4192956
[pid=19176] ppid=19174 vsize=172 CPUtime=0
/proc/19176/stat : 19176 (java) R 19174 19176 17479 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156505075 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663339 0 0 4096 0 0 0 0 17 0 0 0
/proc/19176/statm: 43 24 18 14 0 3 0
[startup+0.108424 s]
/proc/loadavg: 1.06 1.50 1.72 4/93 19177
/proc/meminfo: memFree=1167232/2055920 swapFree=4191880/4192956
[pid=19176] ppid=19174 vsize=914988 CPUtime=0.08
/proc/19176/stat : 19176 (java) D 19174 19176 17479 0 -1 0 2988 0 1 0 6 2 0 0 23 0 8 0 156505075 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19176/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519469 s]
/proc/loadavg: 1.06 1.50 1.72 4/93 19177
/proc/meminfo: memFree=1167232/2055920 swapFree=4191880/4192956
[pid=19176] ppid=19174 vsize=915328 CPUtime=0.44
/proc/19176/stat : 19176 (java) R 19174 19176 17479 0 -1 0 6616 0 1 0 40 4 0 0 22 0 8 0 156505075 937295872 6355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19176/statm: 228832 6356 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.34856 s]
/proc/loadavg: 1.06 1.50 1.72 3/100 19184
/proc/meminfo: memFree=1141768/2055920 swapFree=4191880/4192956
[pid=19176] ppid=19174 vsize=915460 CPUtime=1.27
/proc/19176/stat : 19176 (java) R 19174 19176 17479 0 -1 0 9095 0 1 0 120 7 0 0 25 0 8 0 156505075 937431040 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19176/statm: 228865 8833 2513 14 0 215335 0
[pid=19176/tid=19178] ppid=19174 vsize=915460 CPUtime=0.03
/proc/19176/task/19178/stat : 19178 (java) S 19174 19176 17479 0 -1 64 372 0 0 0 3 0 0 0 16 0 8 0 156505079 937431040 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19176/tid=19179] ppid=19174 vsize=915460 CPUtime=0
/proc/19176/task/19179/stat : 19179 (java) S 19174 19176 17479 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156505079 937431040 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19176/tid=19180] ppid=19174 vsize=915460 CPUtime=0
/proc/19176/task/19180/stat : 19180 (java) S 19174 19176 17479 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156505079 937431040 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19176/tid=19181] ppid=19174 vsize=915460 CPUtime=0
/proc/19176/task/19181/stat : 19181 (java) S 19174 19176 17479 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156505082 937431040 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19176/tid=19182] ppid=19174 vsize=915460 CPUtime=0.2
/proc/19176/task/19182/stat : 19182 (java) S 19174 19176 17479 0 -1 64 380 0 0 0 19 1 0 0 15 0 8 0 156505082 937431040 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19176/tid=19183] ppid=19174 vsize=915460 CPUtime=0
/proc/19176/task/19183/stat : 19183 (java) S 19174 19176 17479 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156505082 937431040 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19176/tid=19184] ppid=19174 vsize=915460 CPUtime=0
/proc/19176/task/19184/stat : 19184 (java) S 19174 19176 17479 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156505082 937431040 8833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1.85521
CPU time (s): 1.75573
CPU user time (s): 1.67774
CPU system time (s): 0.077988
CPU usage (%): 94.6381
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.67774
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9117
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= 1213
involuntary context switches= 1374
runsolver used 0.005999 s user time and 0.013997 s system time
The end
Begin job on node9 on Sat Jan 6 10:58:08 UTC 2007
IDJOB= 230478
IDBENCH= 6416
FILE ID= node9/230478-1168081069
PBS_JOBID= 3475831
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-55_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230478-1168081069/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-230478-1168081069 -o ROOT/results/node9/solver-230478-1168081069 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230478-1168081069/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5453b1a3676c640fde119952c966618c
RANDOM SEED= 25100125
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.231
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.231
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: 1167712 kB
Buffers: 83932 kB
Cached: 583764 kB
SwapCached: 268 kB
Active: 396636 kB
Inactive: 389296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1167712 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1972 kB
Writeback: 0 kB
Mapped: 139980 kB
Slab: 86720 kB
Committed_AS: 4816620 kB
PageTables: 2480 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= 66541 MiB
End job on node9 on Sat Jan 6 10:58:24 UTC 2007