0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/230250-1168081045/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=462 nbRelationTypes=462 nbExtensionStructures=462 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=462 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4535 maxDegree=28
0.64 maxArity=2
0.64 => wckTime=0.35 cpuTime=0.27 mem=15M728
0.69
0.69 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.537 cpuTime=0.38 mem=15M219
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0070 cpuTime=0.0 mem=15M219
0.89
0.89 search
0.89 run=0 nbConstraintChecks=41722 nbPropagations=556 nbRevisions=6376 nbUselessRevisions=5312 nbAssignments=25
0.89 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.052 cpuTime=0.03 mem=15M219
0.92
0.92 search
0.92 run=1 nbConstraintChecks=106566 nbPropagations=1854 nbRevisions=23158 nbUselessRevisions=19159
0.92 nbAssignments=60 nbFailedAssignments=20 nbBacktracks=25 nbVisitedNodes=99 nbRestartNogoods=4 mapSize=22
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.081 cpuTime=0.04 mem=15M219
0.93
0.93 search
0.93 run=2 nbConstraintChecks=169608 nbPropagations=3923 nbRevisions=50050 nbUselessRevisions=41229
0.93 nbAssignments=105 nbFailedAssignments=35 nbBacktracks=47 nbVisitedNodes=169 nbRestartNogoods=8 mapSize=40
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.096 cpuTime=0.05 mem=15M219
0.95
0.95 search
0.95 run=3 nbConstraintChecks=297506 nbPropagations=7327 nbRevisions=96649 nbUselessRevisions=79294
0.95 nbAssignments=172 nbFailedAssignments=63 nbBacktracks=80 nbVisitedNodes=287 nbRestartNogoods=12 mapSize=70
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.118 cpuTime=0.08 mem=15M219
0.99
0.99 search
0.99 run=4 nbConstraintChecks=485517 nbPropagations=12583 nbRevisions=172409 nbUselessRevisions=141106
0.99 nbAssignments=271 nbFailedAssignments=107 nbBacktracks=130 nbVisitedNodes=465 nbRestartNogoods=15 mapSize=116
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.151 cpuTime=0.11 mem=15M219
1.03
1.03 search
1.03 run=5 nbConstraintChecks=726405 nbPropagations=20322 nbRevisions=285383 nbUselessRevisions=233532
1.03 nbAssignments=410 nbFailedAssignments=164 nbBacktracks=205 nbVisitedNodes=706 nbRestartNogoods=20 mapSize=183
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.192 cpuTime=0.14 mem=15M219
1.09
1.09 search
1.09 run=6 nbConstraintChecks=1104297 nbPropagations=32058 nbRevisions=460321 nbUselessRevisions=377003
1.09 nbAssignments=627 nbFailedAssignments=261 nbBacktracks=319 nbVisitedNodes=1094 nbRestartNogoods=24 mapSize=291
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.254 cpuTime=0.2 mem=15M219
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1707968 nbPropagations=49898 nbRevisions=726458 nbUselessRevisions=594096
1.18 nbAssignments=938 nbFailedAssignments=395 nbBacktracks=490 nbVisitedNodes=1648 nbRestartNogoods=31 mapSize=447
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.349 cpuTime=0.29 mem=15M219
1.32
1.32 search
1.32 run=8 nbConstraintChecks=2613229 nbPropagations=76554 nbRevisions=1125381 nbUselessRevisions=917874
1.32 nbAssignments=1418 nbFailedAssignments=613 nbBacktracks=747 nbVisitedNodes=2517 nbRestartNogoods=35
1.32 mapSize=683 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.487 cpuTime=0.42 mem=15M219
1.51
1.51 search
1.51 run=9 nbConstraintChecks=3772372 nbPropagations=115271 nbRevisions=1709164 nbUselessRevisions=1392547
1.51 nbAssignments=2081 nbFailedAssignments=886 nbBacktracks=1133 nbVisitedNodes=3686 nbRestartNogoods=39
1.51 mapSize=1024 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.675 cpuTime=0.59 mem=15M219
1.52
1.52 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=15M219)
1.66
1.66 search
1.66 run=10 nbConstraintChecks=4814069 nbPropagations=164037 nbRevisions=2443821 nbUselessRevisions=1988098
1.66 nbAssignments=2648 nbFailedAssignments=1111 nbBacktracks=1425 nbVisitedNodes=4675 nbRestartNogoods=48
1.66 => wckTime=0.822 cpuTime=0.73 mem=15M219
1.66
1.66 global
1.66 nbConstraintChecks=4814069 nbPropagations=164087 nbRevisions=2443821 nbUselessRevisions=1988098
1.66 nbRestartNogoods=48 solvingWckTime=0.824 solvingCpuTime=0.73 expiredTime=no totalExploration=no
1.66 nbFoundSolutions=1 globalCpuTime=1.17
1.66 => wckTime=1.364 cpuTime=1.12 mem=15M219
1.66
1.66 s SATISFIABLE
1.66 v 18 6 9 3 13 14 15 8 16 19 10 1 10 10 10 11 8 20 11 9 3 20 3 18 5 5 3 11 6 15 13 15 12 9 11 10 3 12 11 19 5 7 18 7 4 18 18 18 8 5
1.66 d NODES 2648
1.66 d CHECKS 4814069
1.66
1.66 totalWckTime=1.439 totalCpuTime=1.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-230250-1168081045 -o ROOT/results/node15/solver-230250-1168081045 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230250-1168081045/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.64 0.78 1.36 5/93 16165
/proc/meminfo: memFree=972472/2055920 swapFree=4174172/4192956
[pid=16164] ppid=16162 vsize=18540 CPUtime=0
/proc/16164/stat : 16164 (runsolver) R 16162 16164 15847 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156501466 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16164/statm: 4635 279 244 17 0 2626 0
[startup+0.108393 s]
/proc/loadavg: 0.64 0.78 1.36 5/93 16165
/proc/meminfo: memFree=972472/2055920 swapFree=4174172/4192956
[pid=16164] ppid=16162 vsize=914988 CPUtime=0.09
/proc/16164/stat : 16164 (java) R 16162 16164 15847 0 -1 0 3070 0 1 0 8 1 0 0 24 0 8 0 156501466 936947712 2816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942288 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16164/statm: 228747 2816 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516462 s]
/proc/loadavg: 0.64 0.78 1.36 5/93 16165
/proc/meminfo: memFree=972472/2055920 swapFree=4174172/4192956
[pid=16164] ppid=16162 vsize=915328 CPUtime=0.49
/proc/16164/stat : 16164 (java) R 16162 16164 15847 0 -1 0 7091 0 1 0 44 5 0 0 25 0 8 0 156501466 937295872 6830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16164/statm: 228832 6830 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3386 s]
/proc/loadavg: 0.64 0.78 1.36 3/100 16172
/proc/meminfo: memFree=947136/2055920 swapFree=4174172/4192956
[pid=16164] ppid=16162 vsize=915460 CPUtime=1.3
/proc/16164/stat : 16164 (java) R 16162 16164 15847 0 -1 0 9074 0 1 0 123 7 0 0 25 0 8 0 156501466 937431040 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812420 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16164/statm: 228865 8812 2513 14 0 215335 0
[pid=16164/tid=16166] ppid=16162 vsize=915460 CPUtime=0.03
/proc/16164/task/16166/stat : 16166 (java) S 16162 16164 15847 0 -1 64 371 0 0 0 3 0 0 0 16 0 8 0 156501470 937431040 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16164/tid=16167] ppid=16162 vsize=915460 CPUtime=0
/proc/16164/task/16167/stat : 16167 (java) S 16162 16164 15847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156501471 937431040 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16164/tid=16168] ppid=16162 vsize=915460 CPUtime=0
/proc/16164/task/16168/stat : 16168 (java) S 16162 16164 15847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501471 937431040 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16164/tid=16169] ppid=16162 vsize=915460 CPUtime=0
/proc/16164/task/16169/stat : 16169 (java) S 16162 16164 15847 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501474 937431040 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16164/tid=16170] ppid=16162 vsize=915460 CPUtime=0.21
/proc/16164/task/16170/stat : 16170 (java) S 16162 16164 15847 0 -1 64 380 0 0 0 19 2 0 0 15 0 8 0 156501474 937431040 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16164/tid=16171] ppid=16162 vsize=915460 CPUtime=0
/proc/16164/task/16171/stat : 16171 (java) S 16162 16164 15847 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156501474 937431040 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16164/tid=16172] ppid=16162 vsize=915460 CPUtime=0
/proc/16164/task/16172/stat : 16172 (java) S 16162 16164 15847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501474 937431040 8812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1.69952
CPU time (s): 1.64075
CPU user time (s): 1.55276
CPU system time (s): 0.087986
CPU usage (%): 96.5417
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.55276
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9093
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= 1153
involuntary context switches= 1360
runsolver used 0.004999 s user time and 0.011998 s system time
The end
Begin job on node15 on Sat Jan 6 10:57:36 UTC 2007
IDJOB= 230250
IDBENCH= 6404
FILE ID= node15/230250-1168081045
PBS_JOBID= 3475877
Free space on /tmp= 66283 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230250-1168081045/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-230250-1168081045 -o ROOT/results/node15/solver-230250-1168081045 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230250-1168081045/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7e88292a7bb237ba62e7c0c98d095d9a
RANDOM SEED= 576376884
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.276
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.276
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: 973120 kB
Buffers: 85564 kB
Cached: 829048 kB
SwapCached: 7128 kB
Active: 382932 kB
Inactive: 596188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 973120 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2028 kB
Writeback: 0 kB
Mapped: 83120 kB
Slab: 88280 kB
Committed_AS: 4996568 kB
PageTables: 2496 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= 66283 MiB
End job on node15 on Sat Jan 6 10:58:07 UTC 2007