0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/242246-1168085481/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=81 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.44 nbConstraints=54 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=52
0.44 nbConflictsStructures=2 nbSharedConflictsStructures=52 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.44 => wckTime=0.129 cpuTime=0.11 mem=6M951
0.47
0.47 solver IterativeSystematicSolver being built...
0.64 => wckTime=0.335 cpuTime=0.25 mem=14M371
0.64
0.64 preprocessing
0.64 nbConstraintChecks=0 nbPropagations=81 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.64 detectedInconsistency=no
0.64 => wckTime=0.0010 cpuTime=0.0 mem=14M371
0.68
0.68 search
0.68 run=0 nbConstraintChecks=243 nbValidityChecks=432 nbPropagations=186 nbRevisions=241 nbUselessRevisions=162
0.68 nbAssignments=53 nbFailedAssignments=1 nbBacktracks=26 nbVisitedNodes=56 nbRestartNogoods=0 mapSize=1
0.68 nbInferences=0 nbTooLargeKeys=0
0.68 => wckTime=0.037 cpuTime=0.02 mem=15M346
0.69
0.69 search
0.69 run=1 nbConstraintChecks=428 nbValidityChecks=1028 nbPropagations=507 nbRevisions=757 nbUselessRevisions=492
0.69 nbAssignments=124 nbFailedAssignments=7 nbBacktracks=44 nbVisitedNodes=141 nbRestartNogoods=1 mapSize=12
0.69 nbInferences=2 nbTooLargeKeys=0
0.69 => wckTime=0.051 cpuTime=0.03 mem=15M346
0.71
0.71 search
0.71 run=2 nbConstraintChecks=629 nbValidityChecks=1705 nbPropagations=980 nbRevisions=1571 nbUselessRevisions=994
0.71 nbAssignments=202 nbFailedAssignments=14 nbBacktracks=71 nbVisitedNodes=233 nbRestartNogoods=2 mapSize=25
0.71 nbInferences=3 nbTooLargeKeys=0
0.71 => wckTime=0.068 cpuTime=0.04 mem=15M346
0.73
0.73 search
0.73 run=3 nbConstraintChecks=894 nbValidityChecks=2552 nbPropagations=1641 nbRevisions=2746
0.73 nbUselessRevisions=1697 nbAssignments=293 nbFailedAssignments=23 nbBacktracks=104 nbVisitedNodes=343
0.73 nbRestartNogoods=3 mapSize=40 nbInferences=5 nbTooLargeKeys=0
0.73 => wckTime=0.084 cpuTime=0.05 mem=15M346
0.75
0.75 search
0.75 run=4 nbConstraintChecks=1262 nbValidityChecks=3683 nbPropagations=2550 nbRevisions=4400
0.75 nbUselessRevisions=2670 nbAssignments=408 nbFailedAssignments=34 nbBacktracks=156 nbVisitedNodes=486
0.75 nbRestartNogoods=6 mapSize=64 nbInferences=12 nbTooLargeKeys=0
0.75 => wckTime=0.103 cpuTime=0.06 mem=15M346
0.77
0.77 search
0.77 run=5 nbConstraintChecks=1857 nbValidityChecks=5424 nbPropagations=3843 nbRevisions=6783
0.77 nbUselessRevisions=4053 nbAssignments=564 nbFailedAssignments=47 nbBacktracks=235 nbVisitedNodes=687
0.77 nbRestartNogoods=8 mapSize=104 nbInferences=32 nbTooLargeKeys=0
0.77 => wckTime=0.125 cpuTime=0.07 mem=15M346
0.78
0.78 search
0.78 run=6 nbConstraintChecks=2639 nbValidityChecks=7758 nbPropagations=5683 nbRevisions=10174
0.78 nbUselessRevisions=5977 nbAssignments=759 nbFailedAssignments=62 nbBacktracks=351 nbVisitedNodes=938
0.78 nbRestartNogoods=10 mapSize=156 nbInferences=61 nbTooLargeKeys=0
0.78 => wckTime=0.143 cpuTime=0.08 mem=15M346
0.80
0.80 search
0.80 run=7 nbConstraintChecks=3683 nbValidityChecks=10926 nbPropagations=8277 nbRevisions=14922
0.80 nbUselessRevisions=8676 nbAssignments=1040 nbFailedAssignments=64 nbBacktracks=525 nbVisitedNodes=1300
0.80 nbRestartNogoods=14 mapSize=234 nbInferences=138 nbTooLargeKeys=0
0.80 => wckTime=0.161 cpuTime=0.1 mem=15M346
0.83
0.83 search
0.83 run=8 nbConstraintChecks=5186 nbValidityChecks=15463 nbPropagations=11919 nbRevisions=21610
0.83 nbUselessRevisions=12545 nbAssignments=1455 nbFailedAssignments=64 nbBacktracks=781 nbVisitedNodes=1843
0.83 nbRestartNogoods=17 mapSize=359 nbInferences=266 nbTooLargeKeys=0
0.83 => wckTime=0.187 cpuTime=0.12 mem=15M346
0.88
0.88 search
0.88 run=9 nbConstraintChecks=7445 nbValidityChecks=22184 nbPropagations=17134 nbRevisions=31204
0.88 nbUselessRevisions=18115 nbAssignments=2056 nbFailedAssignments=69 nbBacktracks=1169 nbVisitedNodes=2626
0.88 nbRestartNogoods=20 mapSize=537 nbInferences=438 nbTooLargeKeys=0
0.88 => wckTime=0.236 cpuTime=0.15 mem=15M346
0.92
0.92 search
0.92 run=10 nbConstraintChecks=12311 nbValidityChecks=36260 nbPropagations=25587 nbRevisions=47111
0.92 nbUselessRevisions=27249 nbAssignments=2925 nbFailedAssignments=99 nbBacktracks=1748 nbVisitedNodes=3787
0.92 nbRestartNogoods=24 mapSize=827 nbInferences=671 nbTooLargeKeys=0
0.92 => wckTime=0.28 cpuTime=0.19 mem=15M346
0.98
0.98 search
0.98 run=11 nbConstraintChecks=20335 nbValidityChecks=59300 nbPropagations=39266 nbRevisions=72613
0.98 nbUselessRevisions=41756 nbAssignments=4325 nbFailedAssignments=115 nbBacktracks=2614 nbVisitedNodes=5713
0.98 nbRestartNogoods=26 mapSize=1347 nbInferences=1166 nbTooLargeKeys=0
0.98 => wckTime=0.336 cpuTime=0.24 mem=15M346
1.06
1.06 search
1.06 run=12 nbConstraintChecks=34304 nbValidityChecks=98632 nbPropagations=61925 nbRevisions=114752
1.06 nbUselessRevisions=65727 nbAssignments=6542 nbFailedAssignments=115 nbBacktracks=3912 nbVisitedNodes=8825
1.06 nbRestartNogoods=32 mapSize=2234 nbInferences=2061 nbTooLargeKeys=0
1.06 => wckTime=0.422 cpuTime=0.33 mem=15M346
1.19
1.19 search
1.19 run=13 nbConstraintChecks=54623 nbValidityChecks=155962 nbPropagations=97704 nbRevisions=181265
1.19 nbUselessRevisions=103623 nbAssignments=9837 nbFailedAssignments=115 nbBacktracks=5858 nbVisitedNodes=13445
1.19 nbRestartNogoods=40 mapSize=3553 nbInferences=3386 nbTooLargeKeys=0
1.19 => wckTime=0.547 cpuTime=0.45 mem=16M354
1.21
1.21 search
1.21 run=14 nbConstraintChecks=57312 nbValidityChecks=163312 nbPropagations=135118 nbRevisions=250959
1.21 nbUselessRevisions=143451 nbAssignments=10293 nbFailedAssignments=115 nbBacktracks=6124 nbVisitedNodes=14091
1.21 nbRestartNogoods=46 mapSize=3742 nbInferences=3577 nbTooLargeKeys=0
1.21 => wckTime=0.567 cpuTime=0.47 mem=16M354
1.21
1.21 global
1.21 nbConstraintChecks=57312 nbValidityChecks=163312 nbPropagations=135199 nbRevisions=250959
1.21 nbUselessRevisions=143451 nbRestartNogoods=46 solvingWckTime=0.568 solvingCpuTime=0.47 expiredTime=no
1.21 totalExploration=yes nbFoundSolutions=0 globalCpuTime=0.77
1.21 => wckTime=0.905 cpuTime=0.72 mem=16M354
1.21
1.21 s UNSATISFIABLE
1.21 d NODES 10293
1.21 d CHECKS 57312
1.21
1.21 totalWckTime=0.98 totalCpuTime=0.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-242246-1168085481 -o ROOT/results/node62/solver-242246-1168085481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242246-1168085481/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.02 1.32 1.62 4/80 6466
/proc/meminfo: memFree=1056984/2055920 swapFree=4192812/4192956
[pid=6465] ppid=6463 vsize=172 CPUtime=0
/proc/6465/stat : 6465 (java) R 6463 6465 6342 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156947543 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8106788 0 0 4096 0 0 0 0 17 0 0 0
/proc/6465/statm: 43 24 18 14 0 3 0
[startup+0.107697 s]
/proc/loadavg: 1.02 1.32 1.62 4/80 6466
/proc/meminfo: memFree=1056984/2055920 swapFree=4192812/4192956
[pid=6465] ppid=6463 vsize=914988 CPUtime=0.08
/proc/6465/stat : 6465 (java) D 6463 6465 6342 0 -1 0 2987 0 1 0 7 1 0 0 23 0 8 0 156947543 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6465/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515776 s]
/proc/loadavg: 1.02 1.32 1.62 4/80 6466
/proc/meminfo: memFree=1056984/2055920 swapFree=4192812/4192956
[pid=6465] ppid=6463 vsize=915460 CPUtime=0.48
/proc/6465/stat : 6465 (java) R 6463 6465 6342 0 -1 0 6685 0 1 0 45 3 0 0 25 0 8 0 156947543 937431040 6423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153838861 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6465/statm: 228865 6423 2462 14 0 215335 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1.22745
CPU time (s): 1.19582
CPU user time (s): 1.12583
CPU system time (s): 0.069989
CPU usage (%): 97.4226
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.12583
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8935
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= 1035
involuntary context switches= 1226
runsolver used 0.005999 s user time and 0.013997 s system time
The end
Begin job on node62 on Sat Jan 6 12:11:29 UTC 2007
IDJOB= 242246
IDBENCH= 7378
FILE ID= node62/242246-1168085481
PBS_JOBID= 3476317
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242246-1168085481/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-242246-1168085481 -o ROOT/results/node62/solver-242246-1168085481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242246-1168085481/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a0ae8c608b67bcc7ed6701414c2585cf
RANDOM SEED= 940672177
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.259
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.259
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: 1057464 kB
Buffers: 60500 kB
Cached: 784060 kB
SwapCached: 0 kB
Active: 191432 kB
Inactive: 728076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1057464 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1720 kB
Writeback: 0 kB
Mapped: 95168 kB
Slab: 63940 kB
Committed_AS: 3772336 kB
PageTables: 2020 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= 66548 MiB
End job on node62 on Sat Jan 6 12:11:42 UTC 2007