0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.35 instance
0.35 name=/tmp/evaluation/223149-1168080400/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=222 nbRelationTypes=222 nbExtensionStructures=222 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=222 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2748 maxDegree=21
0.59 maxArity=2
0.59 => wckTime=0.275 cpuTime=0.19 mem=10M860
0.63
0.63 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.475 cpuTime=0.32 mem=13M589
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=30 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0020 cpuTime=0.01 mem=13M589
0.85
0.85 search
0.85 run=0 nbConstraintChecks=23079 nbPropagations=451 nbRevisions=4666 nbUselessRevisions=3689 nbAssignments=25
0.85 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.051 cpuTime=0.04 mem=14M580
0.86
0.86 search
0.86 run=1 nbConstraintChecks=53361 nbPropagations=1427 nbRevisions=14958 nbUselessRevisions=11801 nbAssignments=56
0.86 nbFailedAssignments=21 nbBacktracks=26 nbVisitedNodes=94 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.066 cpuTime=0.05 mem=14M580
0.89
0.89 search
0.89 run=2 nbConstraintChecks=97926 nbPropagations=3138 nbRevisions=33432 nbUselessRevisions=26187 nbAssignments=95
0.89 nbFailedAssignments=35 nbBacktracks=48 nbVisitedNodes=162 nbRestartNogoods=6 mapSize=44 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.092 cpuTime=0.06 mem=14M580
0.90
0.90 search
0.90 run=3 nbConstraintChecks=161439 nbPropagations=6010 nbRevisions=65054 nbUselessRevisions=50845
0.90 nbAssignments=165 nbFailedAssignments=67 nbBacktracks=83 nbVisitedNodes=285 nbRestartNogoods=9 mapSize=73
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.109 cpuTime=0.08 mem=14M580
0.92
0.92 search
0.92 run=4 nbConstraintChecks=251529 nbPropagations=10418 nbRevisions=114566 nbUselessRevisions=89505
0.92 nbAssignments=255 nbFailedAssignments=104 nbBacktracks=134 nbVisitedNodes=444 nbRestartNogoods=11 mapSize=120
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.13 cpuTime=0.1 mem=14M580
0.96
0.96 search
0.96 run=5 nbConstraintChecks=371168 nbPropagations=17004 nbRevisions=188458 nbUselessRevisions=147285
0.96 nbAssignments=386 nbFailedAssignments=155 nbBacktracks=211 nbVisitedNodes=673 nbRestartNogoods=14 mapSize=186
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.161 cpuTime=0.12 mem=14M580
1.00
1.00 search
1.00 run=6 nbConstraintChecks=565496 nbPropagations=26922 nbRevisions=302908 nbUselessRevisions=237159
1.00 nbAssignments=595 nbFailedAssignments=245 nbBacktracks=324 nbVisitedNodes=1048 nbRestartNogoods=18 mapSize=285
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.206 cpuTime=0.17 mem=14M580
1.05
1.05 search
1.05 run=7 nbConstraintChecks=816187 nbPropagations=41342 nbRevisions=468501 nbUselessRevisions=367474
1.05 nbAssignments=884 nbFailedAssignments=358 nbBacktracks=494 nbVisitedNodes=1553 nbRestartNogoods=27 mapSize=435
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.26 cpuTime=0.22 mem=14M580
1.15
1.15 search
1.15 run=8 nbConstraintChecks=1261941 nbPropagations=63135 nbRevisions=721861 nbUselessRevisions=566221
1.15 nbAssignments=1335 nbFailedAssignments=549 nbBacktracks=752 nbVisitedNodes=2348 nbRestartNogoods=33
1.15 mapSize=657 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.361 cpuTime=0.31 mem=14M580
1.30
1.30 search
1.30 run=9 nbConstraintChecks=1924590 nbPropagations=96154 nbRevisions=1105538 nbUselessRevisions=866586
1.30 nbAssignments=2010 nbFailedAssignments=836 nbBacktracks=1138 nbVisitedNodes=3548 nbRestartNogoods=37
1.30 mapSize=995 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.504 cpuTime=0.44 mem=14M580
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M580)
1.47
1.47 search
1.48 run=10 nbConstraintChecks=2835600 nbPropagations=145464 nbRevisions=1680939 nbUselessRevisions=1317869
1.48 nbAssignments=3038 nbFailedAssignments=1283 nbBacktracks=1716 nbVisitedNodes=5386 nbRestartNogoods=42
1.48 => wckTime=0.682 cpuTime=0.6 mem=14M580
1.75
1.75 search
1.75 run=11 nbConstraintChecks=4380951 nbPropagations=220448 nbRevisions=2564008 nbUselessRevisions=2011261
1.75 nbAssignments=4560 nbFailedAssignments=1938 nbBacktracks=2580 nbVisitedNodes=8113 nbRestartNogoods=51
1.75 => wckTime=0.953 cpuTime=0.87 mem=14M580
1.95
1.95 search
1.95 run=12 nbConstraintChecks=5580524 nbPropagations=315455 nbRevisions=3686289 nbUselessRevisions=2892351
1.95 nbAssignments=5792 nbFailedAssignments=2478 nbBacktracks=3242 nbVisitedNodes=10307 nbRestartNogoods=54
1.95 => wckTime=1.156 cpuTime=1.07 mem=14M580
1.95
1.95 global
1.95 nbConstraintChecks=5580524 nbPropagations=315485 nbRevisions=3686289 nbUselessRevisions=2892351
1.95 nbRestartNogoods=54 solvingWckTime=1.157 solvingCpuTime=1.07 expiredTime=no totalExploration=no
1.95 nbFoundSolutions=1 globalCpuTime=1.44
1.95 => wckTime=1.635 cpuTime=1.39 mem=14M580
1.95
1.95 s SATISFIABLE
1.95 v 12 11 9 5 3 11 4 9 1 0 1 9 9 0 9 10 12 14 4 7 2 1 9 8 11 4 10 10 8 5
1.95 d NODES 5792
1.95 d CHECKS 5580524
1.95
1.95 totalWckTime=1.717 totalCpuTime=1.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-223149-1168080400 -o ROOT/results/node18/solver-223149-1168080400 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223149-1168080400/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.15 1.53 1.70 4/93 26222
/proc/meminfo: memFree=1058584/2055920 swapFree=4192812/4192956
[pid=26221] ppid=26219 vsize=18540 CPUtime=0
/proc/26221/stat : 26221 (runsolver) R 26219 26221 26154 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156435163 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26221/statm: 4635 279 244 17 0 2626 0
[startup+0.109713 s]
/proc/loadavg: 1.15 1.53 1.70 4/93 26222
/proc/meminfo: memFree=1058584/2055920 swapFree=4192812/4192956
[pid=26221] ppid=26219 vsize=914988 CPUtime=0.09
/proc/26221/stat : 26221 (java) R 26219 26221 26154 0 -1 0 3019 0 1 0 8 1 0 0 17 0 8 0 156435163 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51775 s]
/proc/loadavg: 1.15 1.53 1.70 4/93 26222
/proc/meminfo: memFree=1058584/2055920 swapFree=4192812/4192956
[pid=26221] ppid=26219 vsize=915328 CPUtime=0.49
/proc/26221/stat : 26221 (java) S 26219 26221 26154 0 -1 0 6514 0 1 0 46 3 0 0 18 0 8 0 156435163 937295872 6253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228832 6253 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33883 s]
/proc/loadavg: 1.15 1.53 1.70 4/100 26229
/proc/meminfo: memFree=1035360/2055920 swapFree=4192812/4192956
[pid=26221] ppid=26219 vsize=915452 CPUtime=1.3
/proc/26221/stat : 26221 (java) R 26219 26221 26154 0 -1 0 8533 0 1 0 124 6 0 0 20 0 8 0 156435163 937422848 8271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228863 8271 2513 14 0 215333 0
[pid=26221/tid=26223] ppid=26219 vsize=915452 CPUtime=0.03
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 26154 0 -1 64 205 0 0 0 3 0 0 0 16 0 8 0 156435167 937422848 8271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26224] ppid=26219 vsize=915452 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 26154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156435167 937422848 8271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26225] ppid=26219 vsize=915452 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 26154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156435167 937422848 8271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26226] ppid=26219 vsize=915452 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 26154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156435170 937422848 8271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26227] ppid=26219 vsize=915452 CPUtime=0.22
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 26154 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 156435170 937422848 8271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26228] ppid=26219 vsize=915452 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 26154 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156435170 937422848 8271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26229] ppid=26219 vsize=915452 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 26154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156435170 937422848 8271 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): 1.97363
CPU time (s): 1.9337
CPU user time (s): 1.86272
CPU system time (s): 0.070989
CPU usage (%): 97.9773
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.86272
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8635
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= 834
involuntary context switches= 1099
runsolver used 0.005999 s user time and 0.011998 s system time
The end
Begin job on node18 on Sat Jan 6 10:46:43 UTC 2007
IDJOB= 223149
IDBENCH= 5603
FILE ID= node18/223149-1168080400
PBS_JOBID= 3475861
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15-fcd/rand-2-30-15-306-230-fcd-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223149-1168080400/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-223149-1168080400 -o ROOT/results/node18/solver-223149-1168080400 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223149-1168080400/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 930eccbf866e96db5029f6911fbb3ca8
RANDOM SEED= 142374967
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: 1059000 kB
Buffers: 70508 kB
Cached: 709248 kB
SwapCached: 0 kB
Active: 493792 kB
Inactive: 404036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1059000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 147132 kB
Slab: 83840 kB
Committed_AS: 4927688 kB
PageTables: 2244 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= 66285 MiB
End job on node18 on Sat Jan 6 10:46:47 UTC 2007